| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 16228 | 54195 | 65.97 | 65.54 | 68.74 | 20.48 | 20.75 |
|---|
| zChaff | minisat | SatELite |
| 2.78258 |
1.3328 |
2.41963 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 65.84 | 66.24 | 69.75 | 20.90 | 20.75 | 0 | 11266 | 21 | 11266 | 21 | 8222625 | 8.40672 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 4.30435 |
1.52077 |
2.68559 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 70.95 | 63.70 | 70.37 | 17.76 | 22.36 | 0 | 3807 | 7 | 3807 | 7 | 2834255 | 2.89956 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 3.71843 |
1.27981 |
2.51362 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 67.30 | 67.45 | 74.15 | 21.38 | 21.44 | 0 | 3955 | 7 | 3955 | 7 | 2566376 | 2.56961 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 3.41148 |
0.831873 |
2.75658 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 68.51 | 64.95 | 71.39 | 20.59 | 21.59 | 0 | 2015 | 4 | 2015 | 4 | 1388828 | 1.45878 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 3.40048 |
1.09983 |
2.6456 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 66.44 | 66.83 | 71.56 | 21.11 | 20.94 | 0 | 8534 | 16 | 8534 | 16 | 6825787 | 6.563 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 4.23635 |
1.60976 |
2.78458 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 70.03 | 64.17 | 70.75 | 18.83 | 22.07 | 0 | 3146 | 6 | 3146 | 6 | 2470670 | 2.53261 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 3.50047 |
0.962853 |
2.66359 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 67.30 | 67.45 | 74.15 | 21.38 | 21.44 | 0 | 3955 | 7 | 3955 | 7 | 2563574 | 2.6226 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 3.39948 |
0.855869 |
2.70559 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 68.51 | 64.95 | 71.39 | 20.59 | 21.59 | 0 | 2015 | 4 | 2015 | 4 | 1386908 | 1.48977 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 3.49147 |
1.16382 |
2.83157 |