| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 192350 | 756981 | 81.11 | 77.19 | 77.21 | 7.56 | 8.96 |
|---|
| zChaff | minisat | SatELite |
| 1.38979 |
0.599908 |
23.6614 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 80.03 | 75.67 | 75.56 | 8.01 | 9.65 | 4 | 58699 | 8 | 58699 | 8 | 92164941 | 69.8474 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
614.109 |
65.987 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 81.57 | 77.19 | 77.30 | 7.33 | 9.16 | 0 | 4319 | 1 | 4319 | 1 | 17112807 | 13.8059 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
49.1635 |
182.688 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 81.27 | 77.30 | 77.40 | 7.67 | 9.13 | 0 | 1865 | 0 | 1865 | 0 | 12157344 | 10.4784 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
3.62745 |
28.1177 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 81.28 | 77.27 | 77.38 | 7.67 | 9.13 | 0 | 1616 | 0 | 1616 | 0 | 9443711 | 7.76382 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
3.65544 |
28.3107 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 81.14 | 76.99 | 76.90 | 7.55 | 9.13 | 1 | 18435 | 2 | 18435 | 2 | 61602825 | 48.5556 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
36.1535 |
124.938 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 81.57 | 77.19 | 77.30 | 7.33 | 9.16 | 0 | 4319 | 1 | 4319 | 1 | 17112801 | 14.7088 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
47.7037 |
180.698 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 81.27 | 77.30 | 77.40 | 7.67 | 9.13 | 0 | 1865 | 0 | 1865 | 0 | 12157344 | 10.6614 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
3.87241 |
28.9126 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 81.28 | 77.27 | 77.38 | 7.67 | 9.13 | 0 | 1616 | 0 | 1616 | 0 | 9443711 | 7.77282 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
3.88641 |
28.4107 |