| 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 |