| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 1000 | 43540 | 59.16 | 56.55 | 32.34 | 14.92 | 17.81 |
|---|
| zChaff | minisat | SatELite |
| 0.034995 |
0.041993 |
0.272958 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 61.88 | 58.15 | 43.18 | 15.91 | 19.63 | 0 | 25134 | 58 | 25134 | 58 | 2117565 | 6.12107 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.048993 |
0.028995 |
0.245962 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 81.61 | 40.12 | 40.37 | 9.75 | 25.08 | 0 | 11975 | 28 | 11975 | 28 | 974096 | 3.88141 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.055991 |
0.033994 |
0.213967 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 65.88 | 62.09 | 57.38 | 18.02 | 21.83 | 0 | 19002 | 44 | 19002 | 44 | 1666905 | 5.53616 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.051991 |
0.032994 |
0.186971 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 79.05 | 42.02 | 43.21 | 13.25 | 24.29 | 0 | 10952 | 25 | 10952 | 25 | 877556 | 3.22051 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.051992 |
0.037994 |
0.237963 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 65.78 | 61.98 | 57.05 | 17.98 | 21.79 | 0 | 19192 | 44 | 19192 | 44 | 1687665 | 5.33819 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.052991 |
0.030995 |
0.176973 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 79.08 | 41.98 | 43.11 | 13.17 | 24.30 | 0 | 10966 | 25 | 10966 | 25 | 916068 | 3.35949 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.052992 |
0.036994 |
0.235964 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 65.88 | 62.09 | 57.38 | 18.02 | 21.83 | 0 | 19002 | 44 | 19002 | 44 | 1666905 | 5.10122 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.051992 |
0.029995 |
0.179972 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 79.05 | 42.02 | 43.21 | 13.25 | 24.29 | 0 | 10952 | 25 | 10952 | 25 | 877556 | 3.2875 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.052992 |
0.034994 |
0.240963 |