| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 17064 | 545612 | 69.59 | 71.98 | 87.41 | 24.20 | 22.00 |
|---|
| zChaff | minisat | SatELite |
| 343.61 |
2121.48 |
2517.39 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 68.67 | 70.25 | 83.16 | 23.18 | 21.85 | 0 | 146300 | 27 | 146300 | 27 | 973143619 | 6503.29 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 280.626 |
1833.89 |
4827.06 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 67.69 | 77.06 | 86.79 | 25.91 | 16.74 | 0 | 35996 | 7 | 35996 | 7 | 254011826 | 2071.86 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 328.664 |
3868.31 |
4581.11 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 69.75 | 72.15 | 87.64 | 24.26 | 22.05 | 0 | 1427 | 0 | 1427 | 0 | 23525204 | 148.724 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 360.29 |
2421.91 |
2764.55 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 69.74 | 72.15 | 87.63 | 24.26 | 22.05 | 0 | 1348 | 0 | 1348 | 0 | 18500239 | 137.068 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 354.986 |
2681.51 |
5240.12 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 69.75 | 72.12 | 87.59 | 24.25 | 22.05 | 0 | 2422 | 0 | 2422 | 0 | 33726490 | 217.664 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 307.808 |
1382.05 |
2512.57 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 69.74 | 72.17 | 87.61 | 24.27 | 22.01 | 0 | 1477 | 0 | 1477 | 0 | 20108893 | 148.4 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 366.258 |
1185.02 |
4301.13 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 69.75 | 72.14 | 87.61 | 24.26 | 22.05 | 0 | 1246 | 0 | 1246 | 0 | 20781368 | 140.624 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 345.875 |
1586.36 |
2283.88 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 69.75 | 72.14 | 87.61 | 24.26 | 22.05 | 0 | 1244 | 0 | 1244 | 0 | 17173595 | 127.72 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 342.314 |
2309.46 |
2329.04 |