| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 892 | 6695 | 67.14 | 68.02 | 86.59 | 22.78 | 21.70 |
|---|
| zChaff | minisat | SatELite |
| 0.06699 |
0.215967 |
1.06384 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 66.49 | 67.20 | 85.49 | 22.69 | 21.75 | 35 | 658 | 10 | 658 | 10 | 728319 | 0.685895 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.082988 |
0.230964 |
0.91486 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 66.55 | 69.90 | 86.55 | 23.42 | 19.86 | 31 | 180 | 3 | 180 | 3 | 222710 | 0.224965 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.070989 |
0.25896 |
1.55076 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 67.35 | 68.25 | 86.87 | 22.87 | 21.76 | 31 | 22 | 0 | 22 | 0 | 69761 | 0.06399 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.075989 |
0.301954 |
1.47578 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 67.35 | 68.25 | 86.87 | 22.87 | 21.76 | 31 | 22 | 0 | 22 | 0 | 60786 | 0.06099 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.074989 |
0.305953 |
1.35079 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 67.25 | 68.23 | 86.79 | 22.90 | 21.71 | 31 | 62 | 1 | 62 | 1 | 101333 | 0.093985 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.074988 |
0.469928 |
1.2898 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 67.28 | 68.39 | 86.84 | 22.92 | 21.59 | 31 | 36 | 1 | 36 | 1 | 67036 | 0.06499 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.082988 |
0.290955 |
1.38179 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 67.35 | 68.25 | 86.87 | 22.87 | 21.76 | 31 | 22 | 0 | 22 | 0 | 62054 | 0.06299 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.073989 |
0.303953 |
1.35879 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 67.35 | 68.25 | 86.87 | 22.87 | 21.76 | 31 | 22 | 0 | 22 | 0 | 57358 | 0.05999 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.074989 |
0.305953 |
1.34479 |