| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 2672 | 19988 | 36.53 | 36.34 | 11.24 | 9.33 | 9.34 |
|---|
| zChaff | minisat | SatELite |
| 0.104983 |
0.056991 |
1.50077 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 21.28 | 20.84 | 7.54 | 5.68 | 5.97 | 1024 | 9820 | 49 | 9820 | 49 | 430373 | 6.23205 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.06899 |
0.053991 |
1.3188 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 49.89 | 15.03 | 12.22 | 3.05 | 13.19 | 1024 | 5354 | 27 | 5354 | 27 | 291020 | 6.05808 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.065991 |
0.054991 |
1.39079 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 27.49 | 28.43 | 19.29 | 8.80 | 7.70 | 1024 | 8340 | 42 | 8340 | 42 | 333419 | 6.64999 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.06199 |
0.036994 |
1.3288 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 48.38 | 17.61 | 14.89 | 6.00 | 12.79 | 1024 | 4896 | 24 | 4896 | 24 | 262388 | 6.66299 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.06199 |
0.055991 |
1.39079 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 22.09 | 21.81 | 9.18 | 6.15 | 6.26 | 1024 | 9546 | 48 | 9546 | 48 | 296976 | 1.79373 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.076988 |
0.038994 |
1.34879 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 49.45 | 15.31 | 12.48 | 3.41 | 13.07 | 1024 | 5225 | 26 | 5225 | 26 | 161540 | 1.67175 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.067988 |
0.082987 |
1.37279 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 27.36 | 28.29 | 19.16 | 8.76 | 7.67 | 1024 | 8258 | 41 | 8258 | 41 | 207341 | 1.77673 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.071989 |
0.038994 |
1.3108 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 48.14 | 17.56 | 14.82 | 5.99 | 12.72 | 1024 | 4821 | 24 | 4821 | 24 | 137188 | 1.52477 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.054991 |
0.082987 |
1.38479 |