| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 73033 | 374515 | 81.10 | 79.10 | 77.09 | 9.21 | 5.93 |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
589.2 |
406.149 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 81.11 | 77.83 | 75.38 | 8.47 | 6.17 | 0 | 26010 | 7 | 26010 | 7 | 52733642 | 39.539 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 2055.12 |
637.628 |
793.165 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 82.26 | 78.80 | 76.76 | 7.91 | 6.10 | 0 | 5298 | 1 | 5298 | 1 | 8031146 | 6.19506 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
850.148 |
1097.39 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 81.10 | 79.10 | 77.09 | 9.21 | 6.01 | 0 | 0 | 0 | 0 | 0 | 5322900 | 4.42433 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
589.2 |
406.149 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 81.10 | 79.10 | 77.09 | 9.21 | 6.01 | 0 | 0 | 0 | 0 | 0 | 3974281 | 3.2845 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
589.2 |
406.149 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 81.87 | 78.71 | 76.25 | 8.08 | 5.86 | 0 | 13124 | 4 | 13124 | 4 | 22164028 | 17.7533 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
455.725 |
1404.03 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 82.26 | 78.80 | 76.76 | 7.91 | 6.10 | 0 | 5286 | 1 | 5286 | 1 | 7978411 | 6.16606 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 1517.93 |
886.295 |
1104.43 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 81.10 | 79.10 | 77.09 | 9.21 | 6.01 | 0 | 0 | 0 | 0 | 0 | 5239423 | 4.40533 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
589.2 |
406.149 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 81.10 | 79.10 | 77.09 | 9.21 | 6.01 | 0 | 0 | 0 | 0 | 0 | 3940866 | 3.2745 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
589.2 |
406.149 |