| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 145523 | 578670 | 82.31 | 77.96 | 76.42 | 4.29 | 8.39 |
|---|
| zChaff | minisat | SatELite |
| 1704.68 |
169.857 |
147.949 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 80.47 | 76.40 | 73.69 | 4.88 | 8.87 | 2 | 68661 | 12 | 68661 | 12 | 105175504 | 87.1847 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 4009.57 |
182.274 |
151.686 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 82.78 | 78.23 | 76.68 | 4.23 | 8.72 | 0 | 3287 | 1 | 3287 | 1 | 14936969 | 13.338 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 4233.47 |
117.164 |
109.284 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 82.64 | 78.26 | 76.72 | 4.40 | 8.70 | 0 | 2292 | 0 | 2292 | 0 | 10077671 | 9.54455 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 1785 |
119.665 |
189.502 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 82.64 | 78.26 | 76.72 | 4.40 | 8.70 | 0 | 2291 | 0 | 2291 | 0 | 8655670 | 7.98879 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 2694.46 |
131.798 |
185.752 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 82.15 | 78.46 | 75.85 | 4.40 | 8.02 | 2 | 23110 | 4 | 23110 | 4 | 51312840 | 45.1151 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 3027.24 |
105.475 |
160.523 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 82.78 | 78.23 | 76.68 | 4.23 | 8.72 | 0 | 3287 | 1 | 3287 | 1 | 14851202 | 13.4969 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 3941.14 |
125.942 |
116.211 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 82.64 | 78.26 | 76.72 | 4.40 | 8.70 | 0 | 2292 | 0 | 2292 | 0 | 10072941 | 9.59754 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 1853.74 |
136.533 |
199.328 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 82.64 | 78.26 | 76.72 | 4.40 | 8.70 | 0 | 2291 | 0 | 2291 | 0 | 8654703 | 7.85381 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 2823.56 |
129.818 |
192.823 |