| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 120367 | 425316 | 67.23 | 67.02 | 80.94 | 21.64 | 21.90 |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
516.366 |
794.85 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 66.18 | 66.14 | 78.62 | 21.33 | 21.43 | 0 | 50717 | 12 | 50717 | 12 | 156879557 | 306.064 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 2287.73 |
334.073 |
261.704 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 69.33 | 66.06 | 80.49 | 19.32 | 22.59 | 0 | 12909 | 3 | 12909 | 3 | 50531303 | 100.14 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 8891.1 |
257.937 |
575.303 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 67.30 | 67.10 | 81.12 | 21.68 | 21.93 | 0 | 979 | 0 | 979 | 0 | 23662027 | 47.7457 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
452.949 |
556.984 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 67.32 | 67.04 | 81.05 | 21.66 | 21.94 | 0 | 609 | 0 | 609 | 0 | 16166909 | 34.0078 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 3969.27 |
369.695 |
441.523 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 66.82 | 66.75 | 80.13 | 21.57 | 21.70 | 0 | 22217 | 5 | 22217 | 5 | 102005312 | 209.559 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 4456.24 |
378.889 |
316.324 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 68.14 | 66.64 | 80.82 | 20.70 | 22.20 | 0 | 5709 | 1 | 5709 | 1 | 36372747 | 77.2203 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 2880.15 |
155.707 |
293.828 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 67.30 | 67.10 | 81.12 | 21.68 | 21.93 | 0 | 979 | 0 | 979 | 0 | 23662027 | 51.0452 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
483.392 |
549.231 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 67.32 | 67.04 | 81.05 | 21.66 | 21.94 | 0 | 609 | 0 | 609 | 0 | 16166909 | 33.3289 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 4028.04 |
371.516 |
469.283 |