| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 64762 | 176313 | 68.81 | 68.89 | 77.71 | 21.99 | 21.79 |
|---|
| zChaff | minisat | SatELite |
| 70.9192 |
13.6689 |
9.27859 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 68.81 | 68.88 | 77.70 | 22.43 | 22.23 | 0 | 62 | 0 | 62 | 0 | 17580936 | 26.368 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 48.1737 |
14.6258 |
9.12761 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 68.81 | 68.89 | 77.71 | 22.43 | 22.22 | 0 | 16 | 0 | 16 | 0 | 5125335 | 7.76682 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 37.7573 |
14.0829 |
9.23659 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 68.81 | 68.89 | 77.71 | 22.43 | 22.23 | 0 | 7 | 0 | 7 | 0 | 2909898 | 4.66129 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 72.205 |
13.195 |
9.26059 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 68.81 | 68.89 | 77.71 | 22.43 | 22.23 | 0 | 5 | 0 | 5 | 0 | 1599474 | 2.53961 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 68.8345 |
13.251 |
9.24659 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 68.81 | 68.88 | 77.70 | 22.43 | 22.23 | 0 | 62 | 0 | 62 | 0 | 16922929 | 24.8982 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 48.5686 |
13.217 |
9.30259 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 68.81 | 68.89 | 77.71 | 22.43 | 22.22 | 0 | 16 | 0 | 16 | 0 | 4966728 | 7.41187 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 38.4492 |
13.8079 |
9.09762 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 68.81 | 68.89 | 77.71 | 22.43 | 22.23 | 0 | 7 | 0 | 7 | 0 | 2909898 | 4.5913 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 69.5384 |
13.22 |
9.13361 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 68.81 | 68.89 | 77.71 | 22.43 | 22.23 | 0 | 5 | 0 | 5 | 0 | 1599474 | 2.66859 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 70.0294 |
14.0819 |
8.98763 |