| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 2401 | 15960 | 14.34 | 16.20 | 2.94 | 3.59 | 2.86 |
|---|
| zChaff | minisat | SatELite |
| 3418.17 |
7543.42 |
5181.22 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 11.83 | 13.54 | 1.28 | 2.78 | 2.38 | 0 | 2861 | 18 | 2861 | 18 | 193822 | 1.26681 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 2847.1 |
4357.66 |
4672.43 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 11.29 | 18.80 | 3.14 | 4.33 | 2.17 | 0 | 2208 | 14 | 2208 | 14 | 167075 | 1.18782 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 3353.69 |
7078.84 |
7879.9 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 13.05 | 15.21 | 3.50 | 3.51 | 2.61 | 0 | 2560 | 16 | 2560 | 16 | 186276 | 1.21681 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 1988.37 |
4722.35 |
5146.42 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 11.53 | 18.75 | 3.40 | 4.32 | 2.44 | 0 | 2171 | 14 | 2171 | 14 | 168008 | 1.13983 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 3683.58 |
7370.48 |
7964.11 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 13.05 | 15.21 | 3.50 | 3.51 | 2.61 | 0 | 2560 | 16 | 2560 | 16 | 125922 | 0.6529 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 1986.98 |
4742.55 |
5052.73 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 11.53 | 18.75 | 3.40 | 4.32 | 2.44 | 0 | 2171 | 14 | 2171 | 14 | 116326 | 0.639902 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 3896.93 |
7434.11 |
8046.2 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 13.05 | 15.21 | 3.50 | 3.51 | 2.61 | 0 | 2560 | 16 | 2560 | 16 | 125796 | 0.640902 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 1967.22 |
4615.46 |
5163.37 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 11.53 | 18.75 | 3.40 | 4.32 | 2.44 | 0 | 2171 | 14 | 2171 | 14 | 116300 | 0.645901 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 3873.89 |
7610.16 |
8231.05 |