| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 100409 | 412015 | 77.95 | 75.11 | 69.75 | 7.61 | 9.47 |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
196.958 |
558.916 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 77.15 | 74.84 | 68.42 | 7.89 | 9.25 | 0 | 19173 | 5 | 19173 | 5 | 98731789 | 80.2928 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
22.9205 |
305.8 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 78.20 | 75.11 | 69.76 | 7.50 | 9.66 | 0 | 1271 | 0 | 1271 | 0 | 16610718 | 13.277 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
177.277 |
757.788 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 78.03 | 75.19 | 69.84 | 7.69 | 9.62 | 0 | 567 | 0 | 567 | 0 | 16434953 | 13.434 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
152.794 |
467.401 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 78.04 | 75.16 | 69.82 | 7.69 | 9.64 | 0 | 437 | 0 | 437 | 0 | 9215811 | 7.34288 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
275.945 |
387.61 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 77.66 | 75.64 | 69.12 | 7.71 | 8.80 | 0 | 10252 | 2 | 10252 | 2 | 58219239 | 44.9332 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
165.912 |
524.924 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 78.20 | 75.11 | 69.76 | 7.50 | 9.66 | 0 | 1271 | 0 | 1271 | 0 | 16607184 | 13.252 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
177.43 |
751.781 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 78.03 | 75.19 | 69.84 | 7.69 | 9.62 | 0 | 567 | 0 | 567 | 0 | 16417883 | 13.205 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
154.934 |
470.749 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 78.04 | 75.16 | 69.82 | 7.69 | 9.64 | 0 | 437 | 0 | 437 | 0 | 9212277 | 7.36388 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
279.419 |
392.303 |