| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 576 | 53212 | 19.38 | 16.04 | 3.90 | 3.71 | 4.57 |
|---|
| zChaff | minisat | SatELite |
| 0.006999 |
0.055991 |
1.84372 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 11.51 | 8.45 | 1.44 | 1.62 | 2.35 | 0 | 9397 | 18 | 9397 | 18 | 1282829 | 81.4086 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.007999 |
0.046992 |
0.594909 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 21.37 | 7.45 | 3.12 | 1.09 | 5.06 | 0 | 4939 | 9 | 4939 | 9 | 1027914 | 68.1016 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.009998 |
0.042993 |
1.17482 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 13.15 | 10.92 | 4.59 | 2.76 | 2.73 | 0 | 7952 | 15 | 7952 | 15 | 1188865 | 76.8563 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.007999 |
0.045993 |
0.630904 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 21.12 | 8.53 | 4.25 | 2.25 | 5.01 | 0 | 4367 | 8 | 4367 | 8 | 1036994 | 69.3505 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.009998 |
0.049992 |
1.20182 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 11.75 | 8.78 | 1.85 | 1.75 | 2.40 | 0 | 9213 | 17 | 9213 | 17 | 1275058 | 78.829 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.005999 |
0.045993 |
0.614906 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 21.34 | 7.57 | 3.24 | 1.22 | 5.06 | 0 | 4877 | 9 | 4877 | 9 | 1023289 | 68.1526 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.009999 |
0.049992 |
1.18482 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 13.15 | 10.92 | 4.59 | 2.76 | 2.73 | 0 | 7952 | 15 | 7952 | 15 | 1188865 | 77.8782 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.007 |
0.044993 |
0.606907 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 21.12 | 8.53 | 4.25 | 2.25 | 5.01 | 0 | 4367 | 8 | 4367 | 8 | 1036994 | 64.7042 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.009999 |
0.051992 |
1.20082 |