| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 2125 | 12677 | 42.72 | 42.61 | 8.04 | 10.55 | 10.84 |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
74.9976 |
2097.26 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 43.59 | 43.49 | 9.12 | 11.00 | 11.28 | 0 | 1502 | 12 | 1502 | 12 | 1922752 | 1.71174 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
173.192 |
1378.45 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 46.28 | 41.38 | 8.71 | 10.49 | 11.96 | 0 | 975 | 8 | 975 | 8 | 1111087 | 1.10683 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
864.285 |
83.3053 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 43.59 | 43.49 | 9.12 | 11.00 | 11.28 | 0 | 1502 | 12 | 1502 | 12 | 1898830 | 1.67575 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
176.44 |
1445.78 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 46.28 | 41.38 | 8.71 | 10.49 | 11.96 | 0 | 975 | 8 | 975 | 8 | 1106215 | 1.09783 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
835.693 |
82.5614 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 42.78 | 42.61 | 8.08 | 10.81 | 11.06 | 0 | 60 | 0 | 60 | 0 | 202539 | 0.214967 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
74.2797 |
2143.89 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 42.87 | 42.55 | 8.06 | 10.80 | 11.07 | 0 | 42 | 0 | 42 | 0 | 130383 | 0.138978 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
71.7921 |
2192.52 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 42.78 | 42.61 | 8.08 | 10.81 | 11.06 | 0 | 60 | 0 | 60 | 0 | 202539 | 0.224965 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
72.293 |
2148.04 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 42.87 | 42.55 | 8.06 | 10.80 | 11.07 | 0 | 42 | 0 | 42 | 0 | 130383 | 0.140978 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
74.1017 |
2165.02 |