| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 66131 | 214786 | 67.22 | 67.34 | 77.52 | 21.56 | 21.19 |
|---|
| zChaff | minisat | SatELite |
| 2571.18 |
88.4376 |
79.4549 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 67.18 | 67.29 | 77.42 | 21.83 | 21.50 | 0 | 1823 | 1 | 1823 | 1 | 38530471 | 65.0601 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 675.117 |
61.9556 |
110.371 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 67.15 | 67.50 | 77.52 | 21.90 | 21.36 | 0 | 504 | 0 | 504 | 0 | 12796893 | 22.0267 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 474.645 |
138.905 |
143.307 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 67.23 | 67.36 | 77.59 | 21.86 | 21.52 | 0 | 194 | 0 | 194 | 0 | 8128121 | 14.1119 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 1023.82 |
64.4772 |
150.336 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 67.21 | 67.38 | 77.56 | 21.86 | 21.51 | 0 | 110 | 0 | 110 | 0 | 5276335 | 9.10062 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 1945.87 |
60.1379 |
58.3151 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 67.18 | 67.29 | 77.42 | 21.83 | 21.50 | 0 | 1823 | 1 | 1823 | 1 | 31945250 | 53.9528 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 708.816 |
54.2887 |
113.389 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 67.15 | 67.50 | 77.52 | 21.90 | 21.36 | 0 | 504 | 0 | 504 | 0 | 11238193 | 19.435 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 465.139 |
138.28 |
136.523 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 67.23 | 67.36 | 77.59 | 21.86 | 21.52 | 0 | 194 | 0 | 194 | 0 | 8128121 | 14.2418 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 1091.54 |
67.1758 |
146.687 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 67.21 | 67.38 | 77.56 | 21.86 | 21.51 | 0 | 110 | 0 | 110 | 0 | 5276335 | 9.2126 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 1958 |
52.712 |
60.4648 |