| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 1275 | 18487 | 34.99 | 29.13 | 6.03 | 6.82 | 9.09 |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
TimeOut |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 28.60 | 23.22 | 2.75 | 5.47 | 6.90 | 0 | 4637 | 25 | 4637 | 25 | 271843 | 1.76773 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
4801.34 |
9226.15 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 40.58 | 19.84 | 5.69 | 4.20 | 10.64 | 0 | 2550 | 14 | 2550 | 14 | 162971 | 1.26981 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
8735.69 |
9070.42 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 31.26 | 25.50 | 7.64 | 6.13 | 8.14 | 0 | 3904 | 21 | 3904 | 21 | 207025 | 1.55676 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
2179.08 |
8626.09 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 40.06 | 20.87 | 6.90 | 5.43 | 10.51 | 0 | 2343 | 13 | 2343 | 13 | 153164 | 1.25581 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
9101.34 |
8873.42 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 31.26 | 25.51 | 7.63 | 6.13 | 8.14 | 0 | 3895 | 21 | 3895 | 21 | 122631 | 0.636903 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
2273.63 |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 40.05 | 20.88 | 6.90 | 5.43 | 10.50 | 0 | 2338 | 13 | 2338 | 13 | 80835 | 0.463929 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
3521.42 |
7306.25 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 31.26 | 25.51 | 7.63 | 6.13 | 8.14 | 0 | 3895 | 21 | 3895 | 21 | 122505 | 0.628904 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
2340.73 |
TimeOut |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 40.05 | 20.88 | 6.90 | 5.43 | 10.50 | 0 | 2338 | 13 | 2338 | 13 | 80815 | 0.461929 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
3471.65 |
7061.98 |