variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
1024 | 11657 | 64.69 | 66.11 | 63.76 | 20.81 | 19.66 |
---|
zChaff | minisat | SatELite |
2.99654 |
0.142978 |
1.02984 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rc | 65.24 | 66.79 | 66.32 | 22.03 | 20.96 | 0 | 450 | 4 | 450 | 4 | 445346 | 0.361944 | UNKNOWN |
---|
zChaff | minisat | SatELite |
3.52546 |
0.143978 |
1.02484 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcn | 63.98 | 67.43 | 65.04 | 22.09 | 20.55 | 0 | 229 | 2 | 229 | 2 | 159700 | 0.120981 | UNKNOWN |
---|
zChaff | minisat | SatELite |
3.78242 |
0.143978 |
1.01885 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcb | 65.24 | 66.79 | 66.32 | 22.03 | 20.96 | 0 | 450 | 4 | 450 | 4 | 210282 | 0.172973 | UNKNOWN |
---|
zChaff | minisat | SatELite |
3.54246 |
0.145977 |
1.02684 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcnb | 63.98 | 67.43 | 65.04 | 22.09 | 20.55 | 0 | 229 | 2 | 229 | 2 | 102666 | 0.082987 | UNKNOWN |
---|
zChaff | minisat | SatELite |
3.81642 |
0.141978 |
1.01885 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcw | 65.24 | 66.79 | 66.32 | 22.03 | 20.96 | 0 | 450 | 4 | 450 | 4 | 214916 | 0.166974 | UNKNOWN |
---|
zChaff | minisat | SatELite |
3.55846 |
0.141978 |
1.01684 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwn | 63.98 | 67.43 | 65.04 | 22.09 | 20.55 | 0 | 229 | 2 | 229 | 2 | 103843 | 0.087986 | UNKNOWN |
---|
zChaff | minisat | SatELite |
3.78443 |
0.140978 |
1.03184 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwb | 65.24 | 66.79 | 66.32 | 22.03 | 20.96 | 0 | 450 | 4 | 450 | 4 | 210282 | 0.164974 | UNKNOWN |
---|
zChaff | minisat | SatELite |
3.51347 |
0.143978 |
1.01984 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwnb | 63.98 | 67.43 | 65.04 | 22.09 | 20.55 | 0 | 229 | 2 | 229 | 2 | 102666 | 0.082987 | UNKNOWN |
---|
zChaff | minisat | SatELite |
3.76643 |
0.142978 |
1.02984 |