| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 20864 | 93208 | 79.14 | 74.44 | 74.49 | 8.60 | 10.31 |
|---|
| zChaff | minisat | SatELite |
| 635.559 |
986.896 |
84.0382 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 78.16 | 74.18 | 72.64 | 8.91 | 9.84 | 1 | 6653 | 7 | 6653 | 7 | 11751067 | 9.65853 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 1178.6 |
514.984 |
951.531 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 79.74 | 74.26 | 74.36 | 8.17 | 10.75 | 0 | 706 | 1 | 706 | 1 | 1858375 | 1.57076 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 2262.27 |
794.787 |
3328.7 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 79.18 | 74.47 | 74.57 | 8.81 | 10.68 | 0 | 94 | 0 | 94 | 0 | 1468182 | 1.23881 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 1048.64 |
273.68 |
9229.01 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 79.19 | 74.44 | 74.54 | 8.81 | 10.68 | 0 | 57 | 0 | 57 | 0 | 995628 | 0.85187 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 1326.4 |
313.305 |
7689.65 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 78.80 | 74.98 | 73.45 | 8.68 | 9.55 | 1 | 3896 | 4 | 3896 | 4 | 8263514 | 6.64799 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 1400.09 |
1366.14 |
2695.22 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 79.72 | 74.27 | 74.33 | 8.20 | 10.75 | 0 | 678 | 1 | 678 | 1 | 1854300 | 1.46678 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 741.947 |
2303.92 |
3595.67 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 79.16 | 74.48 | 74.54 | 8.84 | 10.68 | 0 | 66 | 0 | 66 | 0 | 1460825 | 1.23081 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 3668.94 |
362.241 |
3455.8 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 79.16 | 74.45 | 74.51 | 8.84 | 10.68 | 0 | 29 | 0 | 29 | 0 | 991729 | 0.856869 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 2173.52 |
956.595 |
TimeOut |