| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 53167 | 214662 | 78.12 | 71.97 | 80.64 | 8.24 | 16.37 |
|---|
| zChaff | minisat | SatELite |
| 24.9242 |
1.81572 |
47.9087 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 77.42 | 72.23 | 80.06 | 8.84 | 16.06 | 1 | 9314 | 4 | 9314 | 4 | 25946637 | 22.0986 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 25.9301 |
1.53077 |
10.7014 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 78.41 | 72.06 | 80.81 | 8.44 | 16.66 | 0 | 793 | 0 | 793 | 0 | 5001552 | 4.50232 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 24.4743 |
1.78773 |
12.1302 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 78.25 | 72.13 | 80.87 | 8.57 | 16.64 | 0 | 600 | 0 | 600 | 0 | 3612891 | 3.2815 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 26.218 |
1.83072 |
53.3029 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 78.30 | 72.09 | 80.83 | 8.57 | 16.63 | 0 | 501 | 0 | 501 | 0 | 2884372 | 2.57861 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 17.7143 |
2.54761 |
14.7718 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 77.80 | 72.70 | 80.39 | 8.69 | 15.79 | 1 | 5815 | 3 | 5815 | 3 | 22106101 | 19.669 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 42.2556 |
9.49956 |
29.6585 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 78.41 | 72.06 | 80.81 | 8.44 | 16.66 | 0 | 793 | 0 | 793 | 0 | 4824284 | 4.30835 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 24.4053 |
1.75873 |
12.1312 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 78.25 | 72.13 | 80.87 | 8.57 | 16.64 | 0 | 600 | 0 | 600 | 0 | 3610573 | 3.2695 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 26.103 |
1.88271 |
53.3599 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 78.30 | 72.09 | 80.83 | 8.57 | 16.63 | 0 | 501 | 0 | 501 | 0 | 2884372 | 2.45163 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 18.7112 |
2.52861 |
14.7758 |