| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 31767 | 127902 | 78.17 | 72.07 | 80.68 | 8.26 | 16.28 |
|---|
| zChaff | minisat | SatELite |
| 5.36818 |
1.42978 |
4.94525 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 77.48 | 72.33 | 80.11 | 8.92 | 16.09 | 1 | 5514 | 4 | 5514 | 4 | 14876817 | 12.5401 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 6.73498 |
1.19382 |
5.2492 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 78.46 | 72.15 | 80.85 | 8.52 | 16.68 | 0 | 473 | 0 | 473 | 0 | 2831232 | 2.40563 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 3.21751 |
0.712891 |
7.74282 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 78.30 | 72.22 | 80.91 | 8.64 | 16.67 | 0 | 360 | 0 | 360 | 0 | 2043571 | 1.68774 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 3.61845 |
0.867868 |
6.24105 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 78.35 | 72.19 | 80.87 | 8.64 | 16.66 | 0 | 301 | 0 | 301 | 0 | 1604892 | 1.39079 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 3.76243 |
0.664898 |
6.89395 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 77.85 | 72.79 | 80.43 | 8.77 | 15.83 | 1 | 3455 | 3 | 3455 | 3 | 12612321 | 10.5044 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 3.54646 |
0.779881 |
6.28204 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 78.46 | 72.15 | 80.85 | 8.52 | 16.68 | 0 | 473 | 0 | 473 | 0 | 2726044 | 2.39864 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 3.35949 |
0.690894 |
7.82481 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 78.30 | 72.22 | 80.91 | 8.64 | 16.67 | 0 | 360 | 0 | 360 | 0 | 2042213 | 1.77973 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 3.52746 |
0.867868 |
6.23305 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 78.35 | 72.19 | 80.87 | 8.64 | 16.66 | 0 | 301 | 0 | 301 | 0 | 1604892 | 1.41778 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 3.77843 |
0.658899 |
6.85596 |