| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 679 | 16124 | 94.23 | 6.85 | 94.23 | 0.06 | 93.15 |
|---|
| zChaff | minisat | SatELite |
| 0.002999 |
0.012998 |
0.208968 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 94.06 | 7.46 | 94.06 | 0.08 | 92.54 | 0 | 4720 | 29 | 4720 | 29 | 1896821 | 0.78788 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.005999 |
0.011998 |
0.203968 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 95.40 | 5.70 | 95.40 | 0.06 | 94.30 | 0 | 198 | 1 | 198 | 1 | 96390 | 0.051992 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.008999 |
0.013997 |
0.279957 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 95.73 | 5.36 | 95.73 | 0.06 | 94.64 | 0 | 254 | 2 | 254 | 2 | 94515 | 0.053991 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.013998 |
0.011998 |
0.241963 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 95.40 | 5.70 | 95.40 | 0.06 | 94.30 | 0 | 198 | 1 | 198 | 1 | 96390 | 0.050992 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.008998 |
0.011998 |
0.277957 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 95.63 | 5.49 | 95.63 | 0.06 | 94.51 | 0 | 629 | 4 | 629 | 4 | 194895 | 0.114982 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.016997 |
0.011998 |
0.237963 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 95.40 | 5.70 | 95.40 | 0.06 | 94.30 | 0 | 198 | 1 | 198 | 1 | 96390 | 0.049992 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.008999 |
0.010998 |
0.274958 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 95.73 | 5.36 | 95.73 | 0.06 | 94.64 | 0 | 254 | 2 | 254 | 2 | 94515 | 0.052991 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.011998 |
0.009998 |
0.233964 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 95.40 | 5.70 | 95.40 | 0.06 | 94.30 | 0 | 198 | 1 | 198 | 1 | 96390 | 0.050992 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.008999 |
0.014997 |
0.272958 |