| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 2473 | 19476 | 37.28 | 36.20 | 11.50 | 9.64 | 10.04 |
|---|
| zChaff | minisat | SatELite |
| 0.034993 |
0.161975 |
1.85872 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 21.06 | 21.07 | 7.66 | 6.07 | 6.11 | 832 | 9569 | 49 | 9569 | 49 | 408361 | 6.53901 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.13198 |
0.047992 |
1.78973 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 51.18 | 13.29 | 12.88 | 3.09 | 14.27 | 832 | 5288 | 27 | 5288 | 27 | 271100 | 6.52501 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.103984 |
0.046992 |
1.78773 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 27.87 | 27.86 | 19.66 | 8.76 | 8.82 | 832 | 8089 | 42 | 8089 | 42 | 318008 | 6.562 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.021997 |
0.06399 |
1.69274 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 49.74 | 15.73 | 15.34 | 5.82 | 13.86 | 832 | 4877 | 25 | 4877 | 25 | 248650 | 6.47102 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.046993 |
0.046992 |
1.9547 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 21.85 | 21.96 | 9.36 | 6.57 | 6.55 | 832 | 9321 | 48 | 9321 | 48 | 284163 | 1.80573 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.036994 |
0.05999 |
1.73673 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 50.75 | 13.69 | 13.24 | 3.52 | 14.15 | 832 | 5169 | 27 | 5169 | 27 | 141959 | 1.61975 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.088986 |
0.044993 |
1.76973 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 27.75 | 27.78 | 19.57 | 8.72 | 8.77 | 832 | 8033 | 41 | 8033 | 41 | 192708 | 1.71574 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.098985 |
0.06199 |
1.70874 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 49.56 | 15.72 | 15.28 | 5.79 | 13.81 | 832 | 4824 | 25 | 4824 | 25 | 123840 | 1.58976 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.039994 |
0.045993 |
1.83072 |