variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
15184 | 239711 | 72.94 | 74.57 | 98.20 | 25.31 | 23.68 |
---|
zChaff | minisat | SatELite |
TimeOut |
TimeOut |
TimeOut |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rc | 72.94 | 74.57 | 98.20 | 25.31 | 23.68 | 0 | 0 | 0 | 0 | 0 | 12867759 | 18.5432 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
TimeOut |
TimeOut |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcn | 72.94 | 74.57 | 98.20 | 25.31 | 23.68 | 0 | 0 | 0 | 0 | 0 | 3143675 | 4.5683 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
TimeOut |
TimeOut |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcb | 72.94 | 74.57 | 98.20 | 25.31 | 23.68 | 0 | 0 | 0 | 0 | 0 | 45552 | 0.19297 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
TimeOut |
TimeOut |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcnb | 72.94 | 74.57 | 98.20 | 25.31 | 23.68 | 0 | 0 | 0 | 0 | 0 | 44889 | 0.141978 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
TimeOut |
TimeOut |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcw | 72.94 | 74.57 | 98.20 | 25.31 | 23.68 | 0 | 0 | 0 | 0 | 0 | 45552 | 0.223965 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
TimeOut |
TimeOut |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwn | 72.94 | 74.57 | 98.20 | 25.31 | 23.68 | 0 | 0 | 0 | 0 | 0 | 44889 | 0.158975 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
TimeOut |
TimeOut |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwb | 72.94 | 74.57 | 98.20 | 25.31 | 23.68 | 0 | 0 | 0 | 0 | 0 | 45552 | 0.208968 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
TimeOut |
TimeOut |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwnb | 72.94 | 74.57 | 98.20 | 25.31 | 23.68 | 0 | 0 | 0 | 0 | 0 | 44889 | 0.162975 | UNKNOWN |
---|
zChaff | minisat | SatELite |
TimeOut |
TimeOut |
TimeOut |