| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 134106 | 555835 | 81.67 | 77.10 | 77.98 | 5.47 | 9.81 |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
5061.77 |
1612.1 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 80.41 | 75.67 | 76.11 | 5.81 | 10.37 | 2 | 47836 | 9 | 47836 | 9 | 117218949 | 96.4943 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
TimeOut |
8818.9 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 82.13 | 77.14 | 78.04 | 5.21 | 10.02 | 0 | 3102 | 1 | 3102 | 1 | 23717150 | 19.2111 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
TimeOut |
1745.4 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 81.82 | 77.23 | 78.12 | 5.56 | 9.98 | 0 | 1037 | 0 | 1037 | 0 | 12537343 | 10.8923 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
TimeOut |
1374.73 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 81.82 | 77.23 | 78.12 | 5.56 | 9.98 | 0 | 1035 | 0 | 1035 | 0 | 10937070 | 8.95464 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
TimeOut |
1308.37 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 81.62 | 77.25 | 77.51 | 5.41 | 9.61 | 2 | 16109 | 3 | 16109 | 3 | 78865004 | 64.1912 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
8372.5 |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 82.13 | 77.14 | 78.04 | 5.21 | 10.02 | 0 | 3102 | 1 | 3102 | 1 | 23538590 | 19.0681 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
TimeOut |
1711.49 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 81.82 | 77.23 | 78.12 | 5.56 | 9.98 | 0 | 1037 | 0 | 1037 | 0 | 12537343 | 10.8923 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
TimeOut |
1273.44 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 81.82 | 77.23 | 78.12 | 5.56 | 9.98 | 0 | 1035 | 0 | 1035 | 0 | 10937070 | 9.06162 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
TimeOut |
1332.92 |