| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 246053 | 979230 | 82.27 | 77.86 | 76.32 | 4.28 | 8.43 |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
1979.8 |
1428.37 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 80.42 | 76.28 | 73.56 | 4.83 | 8.77 | 2 | 116841 | 12 | 116841 | 12 | 183016669 | 162.639 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
3476.11 |
718.106 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 82.75 | 78.12 | 76.58 | 4.19 | 8.64 | 0 | 5597 | 1 | 5597 | 1 | 26303909 | 24.4743 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
2935.96 |
882.588 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 82.60 | 78.16 | 76.63 | 4.36 | 8.63 | 0 | 3912 | 0 | 3912 | 0 | 17796191 | 17.7583 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
1499.76 |
1321.08 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 82.60 | 78.16 | 76.62 | 4.36 | 8.63 | 0 | 3911 | 0 | 3911 | 0 | 15287545 | 14.5448 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
1425.33 |
1313.94 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 82.11 | 78.36 | 75.74 | 4.36 | 7.93 | 2 | 39640 | 4 | 39640 | 4 | 90368430 | 84.2482 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
3297.01 |
735.382 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 82.75 | 78.12 | 76.58 | 4.19 | 8.64 | 0 | 5597 | 1 | 5597 | 1 | 26096642 | 24.2503 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
3001.64 |
882.845 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 82.60 | 78.16 | 76.63 | 4.36 | 8.63 | 0 | 3912 | 0 | 3912 | 0 | 17788101 | 17.8403 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
1500.46 |
1362.2 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 82.60 | 78.16 | 76.62 | 4.36 | 8.63 | 0 | 3911 | 0 | 3911 | 0 | 15285888 | 14.5798 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
1471.87 |
1344.49 |