| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 259762 | 707913 | 69.00 | 68.94 | 77.67 | 21.62 | 21.78 |
|---|
| zChaff | minisat | SatELite |
| 1276.83 |
468.787 |
276.414 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 69.00 | 68.94 | 77.67 | 22.04 | 22.21 | 0 | 7 | 0 | 7 | 0 | 71799967 | 148.464 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 1347.67 |
503.972 |
282.699 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 69.00 | 68.94 | 77.67 | 22.04 | 22.21 | 0 | 1 | 0 | 1 | 0 | 21179150 | 45.5751 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 1302.04 |
468.566 |
274.47 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 69.00 | 68.94 | 77.67 | 22.04 | 22.21 | 0 | 3 | 0 | 3 | 0 | 11782051 | 25.0162 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 1272.72 |
455.555 |
269.888 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 69.00 | 68.94 | 77.67 | 22.04 | 22.21 | 0 | 1 | 0 | 1 | 0 | 6599461 | 14.5338 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 1300.46 |
460.654 |
279.241 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 69.00 | 68.94 | 77.67 | 22.04 | 22.21 | 0 | 5 | 0 | 5 | 0 | 69140012 | 141.625 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 1231.4 |
453.017 |
269.676 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 69.00 | 68.94 | 77.67 | 22.04 | 22.21 | 0 | 1 | 0 | 1 | 0 | 20531398 | 44.0733 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 1273.38 |
498.613 |
281.476 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 69.00 | 68.94 | 77.67 | 22.04 | 22.21 | 0 | 3 | 0 | 3 | 0 | 11782051 | 24.8692 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 1367.33 |
490.12 |
275.949 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 69.00 | 68.94 | 77.67 | 22.04 | 22.21 | 0 | 1 | 0 | 1 | 0 | 6599461 | 14.4528 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 1299.99 |
457.175 |
266.525 |