| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 5237 | 80213 | 71.74 | 70.17 | 92.73 | 22.58 | 24.21 |
|---|
| zChaff | minisat | SatELite |
| 7.69883 |
459.668 |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 71.59 | 69.63 | 91.93 | 22.21 | 24.24 | 149 | 11831 | 15 | 11831 | 15 | 43686958 | 113.84 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 10.7664 |
1711.46 |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 75.23 | 69.13 | 92.78 | 19.23 | 25.39 | 143 | 3719 | 5 | 3719 | 5 | 11795784 | 32.2711 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 8.5797 |
981.174 |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 72.03 | 70.45 | 93.09 | 22.67 | 24.31 | 141 | 314 | 0 | 314 | 0 | 2506728 | 5.06223 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 6.36903 |
1826.41 |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 72.03 | 70.45 | 93.09 | 22.67 | 24.31 | 141 | 314 | 0 | 314 | 0 | 2209693 | 5.02024 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 6.28904 |
1785.99 |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 72.03 | 70.43 | 93.07 | 22.65 | 24.31 | 141 | 486 | 1 | 486 | 1 | 3084301 | 6.74897 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 7.63184 |
793.727 |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 72.07 | 70.43 | 93.08 | 22.62 | 24.32 | 141 | 365 | 0 | 365 | 0 | 2247575 | 5.34719 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 7.35788 |
144.498 |
9565.62 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 72.02 | 70.45 | 93.09 | 22.67 | 24.31 | 141 | 312 | 0 | 312 | 0 | 2073340 | 4.47232 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 9.59354 |
1184.24 |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 72.02 | 70.45 | 93.09 | 22.67 | 24.31 | 141 | 312 | 0 | 312 | 0 | 1976656 | 4.73128 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 9.18661 |
1132.19 |
TimeOut |