| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 32456 | 105111 | 67.50 | 67.20 | 77.60 | 21.13 | 21.49 |
|---|
| zChaff | minisat | SatELite |
| 25.9481 |
6.49901 |
8.19575 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 67.46 | 67.18 | 77.49 | 21.43 | 21.77 | 0 | 917 | 1 | 917 | 1 | 18721205 | 26.186 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 36.2825 |
4.47032 |
8.5757 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 67.67 | 67.12 | 77.59 | 21.29 | 21.87 | 0 | 257 | 0 | 257 | 0 | 6195239 | 8.41272 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 39.48 |
6.72798 |
11.9242 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 67.52 | 67.21 | 77.67 | 21.46 | 21.82 | 0 | 97 | 0 | 97 | 0 | 3945478 | 5.03923 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 28.4767 |
5.96809 |
6.79397 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 67.54 | 67.18 | 77.63 | 21.45 | 21.83 | 0 | 53 | 0 | 53 | 0 | 2512660 | 3.40148 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 26.7099 |
6.83896 |
9.93549 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 67.46 | 67.18 | 77.49 | 21.43 | 21.78 | 0 | 911 | 1 | 911 | 1 | 15541231 | 21.7827 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 49.1595 |
4.51131 |
8.45371 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 67.67 | 67.12 | 77.59 | 21.29 | 21.87 | 0 | 257 | 0 | 257 | 0 | 5408930 | 7.27989 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 39.724 |
6.73198 |
11.2293 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 67.52 | 67.21 | 77.67 | 21.46 | 21.82 | 0 | 97 | 0 | 97 | 0 | 3945478 | 5.51116 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 29.0106 |
5.78212 |
6.94094 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 67.54 | 67.18 | 77.63 | 21.45 | 21.83 | 0 | 53 | 0 | 53 | 0 | 2512660 | 3.37349 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 26.7549 |
6.57 |
10.0685 |