| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 113106 | 468595 | 81.68 | 77.12 | 77.99 | 5.47 | 9.81 |
|---|
| zChaff | minisat | SatELite |
| 8829.6 |
1658.06 |
2349.53 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 80.42 | 75.69 | 76.12 | 5.83 | 10.39 | 2 | 40316 | 9 | 40316 | 9 | 93646454 | 73.4348 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
2042.56 |
7400.78 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 82.14 | 77.16 | 78.06 | 5.22 | 10.04 | 0 | 2612 | 1 | 2612 | 1 | 18400645 | 13.6659 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
7945.16 |
2420 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 81.83 | 77.25 | 78.14 | 5.57 | 10.01 | 0 | 877 | 0 | 877 | 0 | 9898648 | 8.48671 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
7120.87 |
4407.86 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 81.84 | 77.25 | 78.14 | 5.57 | 10.01 | 0 | 875 | 0 | 875 | 0 | 8585755 | 6.81896 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
6888.82 |
4249.94 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 81.63 | 77.27 | 77.53 | 5.43 | 9.63 | 2 | 13579 | 3 | 13579 | 3 | 61883609 | 49.6105 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 10602 |
7007.98 |
4303.2 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 82.14 | 77.16 | 78.06 | 5.22 | 10.04 | 0 | 2612 | 1 | 2612 | 1 | 18266935 | 14.4598 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
7499.27 |
2533.59 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 81.83 | 77.25 | 78.14 | 5.57 | 10.01 | 0 | 877 | 0 | 877 | 0 | 9898648 | 8.49471 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
6913.24 |
4478.21 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 81.84 | 77.25 | 78.14 | 5.57 | 10.01 | 0 | 875 | 0 | 875 | 0 | 8585755 | 6.80797 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
7100.83 |
4476.69 |