| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 51194 | 229558 | 79.08 | 74.31 | 74.57 | 8.57 | 10.48 |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
830.78 |
5445.14 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 78.06 | 74.08 | 72.69 | 8.75 | 9.74 | 1 | 16463 | 7 | 16463 | 7 | 41877982 | 40.7288 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
21.6577 |
688.364 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 79.67 | 74.13 | 74.42 | 8.00 | 10.71 | 0 | 1696 | 1 | 1696 | 1 | 5377555 | 5.2712 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
76.3834 |
347.573 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 79.11 | 74.33 | 74.63 | 8.64 | 10.63 | 0 | 184 | 0 | 184 | 0 | 4448532 | 4.36434 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
59.394 |
1366.46 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 79.12 | 74.31 | 74.60 | 8.64 | 10.63 | 0 | 102 | 0 | 102 | 0 | 3275013 | 3.20151 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
2864.46 |
2834.21 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 78.70 | 74.87 | 73.50 | 8.52 | 9.45 | 1 | 9701 | 4 | 9701 | 4 | 31037744 | 29.4765 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
1185.35 |
6096.01 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 79.65 | 74.14 | 74.40 | 8.03 | 10.70 | 0 | 1623 | 1 | 1623 | 1 | 5367990 | 5.2642 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
790.591 |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 79.08 | 74.34 | 74.60 | 8.67 | 10.63 | 0 | 111 | 0 | 111 | 0 | 4431095 | 4.36134 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
1111.89 |
5616.92 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 79.09 | 74.32 | 74.58 | 8.67 | 10.63 | 0 | 29 | 0 | 29 | 0 | 3265624 | 3.01954 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
3748.23 |
5079.25 |