| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 71615 | 248504 | 67.41 | 67.15 | 80.91 | 21.54 | 22.00 |
|---|
| zChaff | minisat | SatELite |
| 160.334 |
23.2035 |
40.7268 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 66.44 | 66.31 | 78.64 | 21.20 | 21.56 | 0 | 30224 | 12 | 30224 | 12 | 101453217 | 182.689 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 94.5856 |
15.3487 |
31.5162 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 69.61 | 66.17 | 80.50 | 19.17 | 22.73 | 0 | 7859 | 3 | 7859 | 3 | 33434941 | 62.7165 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 121.177 |
19.1731 |
34.2378 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 67.51 | 67.26 | 81.18 | 21.59 | 22.05 | 0 | 823 | 0 | 823 | 0 | 16246399 | 29.7365 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 142.664 |
20.9458 |
44.4892 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 67.56 | 67.18 | 81.08 | 21.56 | 22.05 | 0 | 527 | 0 | 527 | 0 | 10834926 | 20.1579 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 134.197 |
23.9424 |
38.3492 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 67.05 | 66.90 | 80.15 | 21.46 | 21.83 | 0 | 13633 | 5 | 13633 | 5 | 67464767 | 123.526 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 118.631 |
24.3693 |
32.819 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 68.42 | 66.76 | 80.83 | 20.55 | 22.34 | 0 | 3662 | 1 | 3662 | 1 | 24443044 | 45.5411 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 130.92 |
19.2091 |
35.1217 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 67.51 | 67.26 | 81.18 | 21.59 | 22.05 | 0 | 823 | 0 | 823 | 0 | 16246399 | 30.0364 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 150.772 |
19.826 |
45.3501 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 67.56 | 67.18 | 81.08 | 21.56 | 22.05 | 0 | 527 | 0 | 527 | 0 | 10834926 | 21.0758 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 141.11 |
22.6186 |
37.0904 |