| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 195788 | 778950 | 82.29 | 77.90 | 76.36 | 4.29 | 8.42 |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
782.682 |
615.073 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 80.44 | 76.33 | 73.61 | 4.85 | 8.81 | 2 | 92751 | 12 | 92751 | 12 | 143755624 | 127.734 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
695.593 |
199.948 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 82.76 | 78.16 | 76.62 | 4.21 | 8.67 | 0 | 4442 | 1 | 4442 | 1 | 20542364 | 18.2462 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
735.25 |
567.513 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 82.62 | 78.20 | 76.66 | 4.37 | 8.65 | 0 | 3102 | 0 | 3102 | 0 | 13881356 | 13.9559 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
391.238 |
354.351 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 82.62 | 78.20 | 76.66 | 4.37 | 8.65 | 0 | 3101 | 0 | 3101 | 0 | 11924245 | 11.5462 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
370.795 |
360.073 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 82.12 | 78.39 | 75.78 | 4.37 | 7.96 | 2 | 31375 | 4 | 31375 | 4 | 70574460 | 66.4739 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
925.856 |
343.574 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 82.76 | 78.16 | 76.62 | 4.21 | 8.67 | 0 | 4442 | 1 | 4442 | 1 | 20402147 | 18.5872 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
747.919 |
571.892 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 82.62 | 78.20 | 76.66 | 4.37 | 8.65 | 0 | 3102 | 0 | 3102 | 0 | 13874946 | 14.0659 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
397.532 |
350.282 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 82.62 | 78.20 | 76.66 | 4.37 | 8.65 | 0 | 3101 | 0 | 3101 | 0 | 11922933 | 11.5622 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
397.684 |
350.864 |