| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 1225 | 9579 | 87.59 | 38.09 | 82.55 | 0.44 | 50.67 |
|---|
| zChaff | minisat | SatELite |
| 0.208968 |
0.158975 |
3.3085 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 86.30 | 40.23 | 80.71 | 0.49 | 47.38 | 0 | 1025 | 11 | 1025 | 11 | 1192396 | 1.19482 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.192971 |
0.141978 |
0.947855 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 87.74 | 38.09 | 82.68 | 0.44 | 50.76 | 0 | 17 | 0 | 17 | 0 | 69496 | 0.073988 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.196969 |
0.160975 |
2.08068 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 87.73 | 38.12 | 82.74 | 0.45 | 50.79 | 0 | 22 | 0 | 22 | 0 | 128787 | 0.118981 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.209969 |
0.158975 |
2.18067 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 87.73 | 38.09 | 82.68 | 0.45 | 50.76 | 0 | 16 | 0 | 16 | 0 | 69321 | 0.073988 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.195971 |
0.163975 |
2.07968 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 87.20 | 39.14 | 81.94 | 0.46 | 49.24 | 0 | 423 | 4 | 423 | 4 | 380050 | 0.375942 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.26196 |
0.168974 |
1.92271 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 87.74 | 38.09 | 82.68 | 0.44 | 50.76 | 0 | 17 | 0 | 17 | 0 | 69496 | 0.072988 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.19597 |
0.156976 |
2.10368 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 87.73 | 38.10 | 82.70 | 0.45 | 50.77 | 0 | 18 | 0 | 18 | 0 | 95178 | 0.096985 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.19297 |
0.160975 |
2.03269 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 87.73 | 38.09 | 82.68 | 0.45 | 50.76 | 0 | 16 | 0 | 16 | 0 | 69321 | 0.074988 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.191971 |
0.160975 |
2.15367 |