| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 100 | 850 | 23.06 | 27.18 | 6.47 | 8.47 | 6.00 |
|---|
| zChaff | minisat | SatELite |
| 0.029996 |
0.008998 |
0.047992 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 25.10 | 30.01 | 7.37 | 9.69 | 6.68 | 0 | 117 | 14 | 117 | 14 | 10956 | 0.025996 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.022996 |
0.010998 |
0.053991 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 24.87 | 31.05 | 7.39 | 9.68 | 6.59 | 0 | 106 | 12 | 106 | 12 | 8943 | 0.021996 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.020997 |
0.010998 |
0.058991 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 25.20 | 30.11 | 7.49 | 9.67 | 6.68 | 0 | 116 | 14 | 116 | 14 | 10729 | 0.024996 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.019997 |
0.009998 |
0.06099 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 24.87 | 31.05 | 7.39 | 9.68 | 6.59 | 0 | 106 | 12 | 106 | 12 | 8882 | 0.021996 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.020997 |
0.009998 |
0.06099 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 25.03 | 29.91 | 7.31 | 9.61 | 6.63 | 0 | 111 | 13 | 111 | 13 | 10022 | 0.022996 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.021997 |
0.008998 |
0.052991 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 24.83 | 30.84 | 7.34 | 9.61 | 6.54 | 0 | 101 | 12 | 101 | 12 | 8319 | 0.019996 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.016997 |
0.009998 |
0.06499 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 25.14 | 30.00 | 7.43 | 9.59 | 6.62 | 0 | 110 | 13 | 110 | 13 | 9864 | 0.021996 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.020997 |
0.009998 |
0.057991 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 24.83 | 30.84 | 7.34 | 9.61 | 6.54 | 0 | 101 | 12 | 101 | 12 | 8274 | 0.021996 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 0.016998 |
0.008998 |
0.06199 |