| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 54564 | 244708 | 79.08 | 74.31 | 74.57 | 8.57 | 10.49 |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
1244.81 |
306.938 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 78.05 | 74.07 | 72.69 | 8.75 | 9.74 | 1 | 17553 | 7 | 17553 | 7 | 46167417 | 43.3524 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
727.514 |
6500.65 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 79.67 | 74.12 | 74.43 | 7.99 | 10.70 | 0 | 1806 | 1 | 1806 | 1 | 5828575 | 5.80812 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
633 |
852.803 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 79.11 | 74.33 | 74.63 | 8.63 | 10.63 | 0 | 194 | 0 | 194 | 0 | 4839682 | 4.73028 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
76.6264 |
6110.3 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 79.11 | 74.30 | 74.60 | 8.63 | 10.63 | 0 | 107 | 0 | 107 | 0 | 3588278 | 3.50347 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
368.184 |
3344.74 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 78.69 | 74.87 | 73.50 | 8.51 | 9.44 | 1 | 10346 | 4 | 10346 | 4 | 34351714 | 32.787 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
165.532 |
4263 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 79.64 | 74.13 | 74.40 | 8.02 | 10.70 | 0 | 1728 | 1 | 1728 | 1 | 5818400 | 5.78612 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
188.752 |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 79.08 | 74.34 | 74.61 | 8.66 | 10.63 | 0 | 116 | 0 | 116 | 0 | 4821125 | 4.70528 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
95.5035 |
4992.28 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 79.09 | 74.31 | 74.58 | 8.66 | 10.63 | 0 | 29 | 0 | 29 | 0 | 3578279 | 3.51647 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
239.255 |
8815.93 |