variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
414752 | 35817 | 82.41 | 49.99 | 79.28 | 1.24 | 35.69 |
---|
zChaff | minisat | SatELite |
0.698893 |
0.177972 |
5.00024 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rc | 84.97 | 51.51 | 82.15 | 1.19 | 36.59 | 409073 | 2792 | 8 | 2792 | 8 | 21361197 | 11.0473 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.12598 |
0.045993 |
3.47047 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcn | 85.63 | 51.01 | 82.38 | 1.13 | 37.08 | 409073 | 1347 | 4 | 1347 | 4 | 3042382 | 1.72574 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.067991 |
0.050992 |
3.62745 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcb | 85.52 | 51.31 | 82.81 | 1.15 | 37.24 | 409073 | 1527 | 4 | 1527 | 4 | 3491967 | 1.86972 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.06399 |
0.045993 |
3.39848 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcnb | 85.63 | 51.01 | 82.38 | 1.13 | 37.08 | 409073 | 1347 | 4 | 1347 | 4 | 3042382 | 1.72674 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.06799 |
0.054991 |
3.53146 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcw | 84.91 | 51.58 | 82.07 | 1.20 | 36.45 | 409073 | 2662 | 7 | 2662 | 7 | 19725687 | 10.0785 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.072989 |
0.042993 |
3.51647 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwn | 85.53 | 50.97 | 82.28 | 1.14 | 37.04 | 409073 | 1305 | 4 | 1305 | 4 | 3041824 | 1.71074 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.06999 |
0.056991 |
3.53846 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwb | 85.43 | 51.26 | 82.69 | 1.16 | 37.18 | 409073 | 1475 | 4 | 1475 | 4 | 3491257 | 2.00869 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.06699 |
0.046992 |
3.41348 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwnb | 85.53 | 50.97 | 82.28 | 1.14 | 37.04 | 409073 | 1305 | 4 | 1305 | 4 | 3041824 | 1.73873 | UNKNOWN |
---|
zChaff | minisat | SatELite |
0.06699 |
0.055991 |
3.48647 |