| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 60045 | 221149 | 81.59 | 75.41 | 72.12 | 4.76 | 8.34 |
|---|
| zChaff | minisat | SatELite |
| 6.96894 |
3.82042 |
8.03478 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 80.33 | 75.27 | 70.08 | 5.14 | 7.46 | 0 | 16088 | 7 | 16088 | 7 | 18472505 | 15.1787 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 112.419 |
6.27604 |
9.8285 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 81.73 | 75.47 | 72.20 | 4.78 | 8.48 | 0 | 369 | 0 | 369 | 0 | 2953205 | 2.42263 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 34.5967 |
3.9394 |
12.5011 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 81.70 | 75.48 | 72.22 | 4.81 | 8.48 | 0 | 299 | 0 | 299 | 0 | 3240324 | 2.69159 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 23.9294 |
4.12837 |
16.6245 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 81.70 | 75.48 | 72.21 | 4.81 | 8.48 | 0 | 296 | 0 | 296 | 0 | 2339427 | 1.9787 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 34.6977 |
3.9354 |
15.3147 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 81.29 | 76.48 | 71.54 | 4.89 | 7.09 | 0 | 5551 | 3 | 5551 | 3 | 11480440 | 9.1886 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 120.148 |
2.98655 |
10.3964 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 81.73 | 75.47 | 72.20 | 4.78 | 8.48 | 0 | 369 | 0 | 369 | 0 | 2940438 | 2.43363 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 35.7176 |
4.18736 |
12.5571 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 81.70 | 75.48 | 72.22 | 4.81 | 8.48 | 0 | 299 | 0 | 299 | 0 | 3237882 | 2.69159 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 24.9952 |
4.34134 |
16.7245 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 81.70 | 75.48 | 72.21 | 4.81 | 8.48 | 0 | 296 | 0 | 296 | 0 | 2339427 | 1.9737 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 35.7126 |
4.11237 |
15.4766 |