| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 95353 | 395424 | 81.37 | 77.36 | 77.97 | 5.72 | 9.46 |
|---|
| zChaff | minisat | SatELite |
| 147.636 |
92.7169 |
227.335 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 80.23 | 76.05 | 76.25 | 6.13 | 10.13 | 3 | 34628 | 9 | 34628 | 9 | 97942374 | 77.5452 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 204.52 |
106.09 |
198.007 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 81.95 | 77.53 | 78.16 | 5.51 | 9.75 | 0 | 2798 | 1 | 2798 | 1 | 21568184 | 15.2857 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 251.12 |
89.3384 |
215.723 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 81.66 | 77.62 | 78.25 | 5.86 | 9.71 | 0 | 1445 | 0 | 1445 | 0 | 13356111 | 10.4034 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 173.896 |
124.772 |
191.059 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 81.65 | 77.61 | 78.24 | 5.85 | 9.71 | 0 | 1370 | 0 | 1370 | 0 | 11635548 | 8.99763 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 379.927 |
94.5916 |
178.088 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 81.43 | 77.56 | 77.61 | 5.72 | 9.41 | 3 | 12761 | 3 | 12761 | 3 | 68009462 | 52.0581 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 547.461 |
106.738 |
161.364 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 81.95 | 77.53 | 78.16 | 5.51 | 9.75 | 0 | 2798 | 1 | 2798 | 1 | 21489558 | 16.5605 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 253.552 |
82.0535 |
223.356 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 81.66 | 77.62 | 78.25 | 5.86 | 9.71 | 0 | 1445 | 0 | 1445 | 0 | 13356111 | 10.6614 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 189.15 |
114.47 |
190.506 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 81.65 | 77.61 | 78.24 | 5.85 | 9.71 | 0 | 1370 | 0 | 1370 | 0 | 11635548 | 8.65468 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 371.624 |
89.1115 |
181.363 |