| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 1917 | 5096 | 54.32 | 69.96 | 81.30 | 45.17 | 26.69 |
|---|
| zChaff | minisat | SatELite |
| 0.691894 |
0.387941 |
2.6446 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 54.31 | 69.95 | 81.30 | 45.20 | 26.69 | 0 | 1 | 0 | 1 | 0 | 299222 | 0.098984 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.470929 |
0.394939 |
2.69359 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 54.32 | 69.96 | 81.30 | 45.19 | 26.69 | 0 | 0 | 0 | 0 | 0 | 71973 | 0.028995 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.691894 |
0.387941 |
2.6446 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 54.32 | 69.96 | 81.30 | 45.19 | 26.69 | 0 | 0 | 0 | 0 | 0 | 54421 | 0.022996 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.691894 |
0.387941 |
2.6446 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 54.32 | 69.96 | 81.30 | 45.19 | 26.69 | 0 | 0 | 0 | 0 | 0 | 54235 | 0.022996 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.691894 |
0.387941 |
2.6446 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 54.31 | 69.95 | 81.30 | 45.20 | 26.69 | 0 | 1 | 0 | 1 | 0 | 284879 | 0.100984 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.472928 |
0.387941 |
2.59361 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 54.32 | 69.96 | 81.30 | 45.19 | 26.69 | 0 | 0 | 0 | 0 | 0 | 71973 | 0.029995 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.691894 |
0.387941 |
2.6446 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 54.32 | 69.96 | 81.30 | 45.19 | 26.69 | 0 | 0 | 0 | 0 | 0 | 54421 | 0.024996 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.691894 |
0.387941 |
2.6446 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 54.32 | 69.96 | 81.30 | 45.19 | 26.69 | 0 | 0 | 0 | 0 | 0 | 54235 | 0.021996 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.691894 |
0.387941 |
2.6446 |