| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 2125 | 12677 | 42.58 | 42.60 | 8.04 | 11.21 | 10.34 |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
72.022 |
3797.09 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 43.34 | 43.36 | 9.12 | 11.67 | 10.67 | 0 | 1502 | 12 | 1502 | 12 | 1915232 | 1.67274 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
681.139 |
8722.17 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 41.17 | 46.13 | 8.70 | 12.36 | 10.21 | 0 | 970 | 8 | 970 | 8 | 1104603 | 1.08583 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
115.103 |
6433.99 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 43.34 | 43.36 | 9.12 | 11.67 | 10.67 | 0 | 1502 | 12 | 1502 | 12 | 1891312 | 1.64175 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
676.318 |
8248.82 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 41.17 | 46.13 | 8.70 | 12.36 | 10.21 | 0 | 970 | 8 | 970 | 8 | 1101387 | 1.08683 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
114.063 |
6468.89 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 42.55 | 42.70 | 8.08 | 11.45 | 10.53 | 0 | 60 | 0 | 60 | 0 | 202889 | 0.202969 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
72.171 |
4125.99 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 42.50 | 42.76 | 8.07 | 11.46 | 10.51 | 0 | 47 | 0 | 47 | 0 | 144007 | 0.153976 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
71.7671 |
3969.34 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 42.55 | 42.70 | 8.08 | 11.45 | 10.53 | 0 | 60 | 0 | 60 | 0 | 202889 | 0.220966 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
71.9221 |
4115.3 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 42.50 | 42.76 | 8.07 | 11.46 | 10.51 | 0 | 47 | 0 | 47 | 0 | 144007 | 0.152976 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
72.673 |
3998.45 |