| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 47273 | 153368 | 67.41 | 67.17 | 77.55 | 21.21 | 21.53 |
|---|
| zChaff | minisat | SatELite |
| 197.012 |
23.4564 |
46.4199 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 67.36 | 67.14 | 77.45 | 21.50 | 21.81 | 0 | 1376 | 1 | 1376 | 1 | 27365828 | 42.9145 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 256.043 |
34.8377 |
33.2499 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 67.59 | 67.09 | 77.54 | 21.35 | 21.90 | 0 | 397 | 0 | 397 | 0 | 8992521 | 14.2398 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 162.331 |
46.6349 |
45.919 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 67.43 | 67.19 | 77.63 | 21.52 | 21.85 | 0 | 148 | 0 | 148 | 0 | 5779292 | 8.80466 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 257.609 |
22.5676 |
80.2578 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 67.45 | 67.16 | 77.59 | 21.51 | 21.85 | 0 | 79 | 0 | 79 | 0 | 3657419 | 5.9351 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 378.046 |
22.1586 |
71.2072 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 67.37 | 67.14 | 77.45 | 21.50 | 21.81 | 0 | 1370 | 1 | 1370 | 1 | 22704921 | 35.4206 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 129.924 |
34.6317 |
32.722 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 67.59 | 67.09 | 77.54 | 21.35 | 21.90 | 0 | 397 | 0 | 397 | 0 | 7849662 | 12.3621 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 169.504 |
44.1613 |
44.9382 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 67.43 | 67.19 | 77.63 | 21.52 | 21.85 | 0 | 148 | 0 | 148 | 0 | 5779292 | 8.5407 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 268.721 |
23.0015 |
80.1988 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 67.45 | 67.16 | 77.59 | 21.51 | 21.85 | 0 | 79 | 0 | 79 | 0 | 3657419 | 5.66714 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 360.466 |
22.3386 |
75.2276 |