| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 47824 | 214408 | 79.09 | 74.32 | 74.56 | 8.57 | 10.47 |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
831.379 |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 78.06 | 74.08 | 72.69 | 8.76 | 9.75 | 1 | 15373 | 7 | 15373 | 7 | 37776947 | 35.8505 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
176.019 |
351.776 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 79.67 | 74.13 | 74.42 | 8.01 | 10.71 | 0 | 1586 | 1 | 1586 | 1 | 4938535 | 4.88326 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
4480.29 |
4424.29 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 79.11 | 74.34 | 74.62 | 8.65 | 10.64 | 0 | 174 | 0 | 174 | 0 | 4069382 | 3.88541 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
377.638 |
2621.69 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 79.12 | 74.31 | 74.60 | 8.64 | 10.63 | 0 | 97 | 0 | 97 | 0 | 2973748 | 2.85956 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
400.665 |
2421.38 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 78.70 | 74.88 | 73.49 | 8.53 | 9.45 | 1 | 9056 | 4 | 9056 | 4 | 27880474 | 26.23 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
1652.32 |
9620.91 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 79.65 | 74.14 | 74.40 | 8.03 | 10.70 | 0 | 1518 | 1 | 1518 | 1 | 4929580 | 4.87226 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
1903.52 |
3293.42 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 79.09 | 74.35 | 74.60 | 8.68 | 10.63 | 0 | 106 | 0 | 106 | 0 | 4053065 | 3.90041 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
913.093 |
6891.76 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 79.10 | 74.32 | 74.57 | 8.67 | 10.63 | 0 | 29 | 0 | 29 | 0 | 2964969 | 2.97755 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
1046.55 |
8156.49 |