| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 104871 | 355779 | 67.22 | 67.18 | 70.67 | 21.20 | 21.28 |
|---|
| zChaff | minisat | SatELite |
| 4302.94 |
84.0962 |
526.207 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 67.15 | 67.05 | 70.20 | 21.14 | 21.26 | 0 | 16364 | 5 | 16364 | 5 | 130255584 | 245.155 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 4016.09 |
83.6353 |
457.53 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 68.23 | 66.77 | 70.74 | 20.46 | 21.61 | 0 | 5241 | 1 | 5241 | 1 | 44365754 | 83.5233 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 4295.27 |
74.4937 |
549.255 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 67.43 | 67.37 | 71.31 | 21.33 | 21.39 | 0 | 3183 | 1 | 3183 | 1 | 44210965 | 83.9392 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 4347.19 |
76.4644 |
497.37 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 67.56 | 67.10 | 71.03 | 21.24 | 21.39 | 0 | 1765 | 0 | 1765 | 0 | 22709573 | 43.9333 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 4093.3 |
78.4791 |
503.891 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 67.22 | 67.11 | 70.41 | 21.18 | 21.29 | 0 | 13960 | 4 | 13960 | 4 | 124903090 | 221.027 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 4943.23 |
78.2121 |
602.447 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 68.12 | 66.82 | 70.78 | 20.58 | 21.57 | 0 | 4698 | 1 | 4698 | 1 | 42938205 | 75.3265 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 4053.67 |
77.8932 |
624.967 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 67.43 | 67.37 | 71.31 | 21.33 | 21.39 | 0 | 3183 | 1 | 3183 | 1 | 44209973 | 80.5578 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 4219.07 |
77.3542 |
497.294 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 67.56 | 67.10 | 71.03 | 21.24 | 21.39 | 0 | 1765 | 0 | 1765 | 0 | 22709187 | 41.5947 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 4172.45 |
86.6098 |
504.247 |