| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 2435 | 16023 | 13.57 | 15.66 | 2.62 | 3.76 | 2.47 |
|---|
| zChaff | minisat | SatELite |
| 1603.29 |
4962.62 |
6766.92 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 11.47 | 12.54 | 0.91 | 2.59 | 2.22 | 0 | 2876 | 18 | 2876 | 18 | 191301 | 1.17682 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 1400.43 |
6142.91 |
3873.98 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 11.12 | 18.07 | 2.87 | 4.44 | 2.05 | 0 | 2135 | 13 | 2135 | 13 | 165609 | 1.09983 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 1998.87 |
7079.5 |
6041.46 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 12.52 | 14.36 | 3.12 | 3.51 | 2.31 | 0 | 2575 | 16 | 2575 | 16 | 183427 | 1.17082 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 1760.69 |
7811.81 |
5188.1 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 11.27 | 18.04 | 3.02 | 4.44 | 2.21 | 0 | 2113 | 13 | 2113 | 13 | 166799 | 1.07883 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 1549.92 |
7012.33 |
6071.52 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 12.52 | 14.36 | 3.12 | 3.51 | 2.31 | 0 | 2575 | 16 | 2575 | 16 | 123073 | 0.632903 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 1782.87 |
7847.22 |
5074.2 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 11.27 | 18.04 | 3.02 | 4.44 | 2.21 | 0 | 2113 | 13 | 2113 | 13 | 112673 | 0.623905 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 1590.12 |
7016.25 |
6497.67 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 12.52 | 14.36 | 3.12 | 3.51 | 2.31 | 0 | 2575 | 16 | 2575 | 16 | 122947 | 0.636903 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 1745.92 |
7821.45 |
5212.96 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 11.27 | 18.04 | 3.02 | 4.44 | 2.21 | 0 | 2113 | 13 | 2113 | 13 | 112655 | 0.637903 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 1622.43 |
7021.28 |
6176.58 |