| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 42467 | 171282 | 78.14 | 72.01 | 80.66 | 8.25 | 16.34 |
|---|
| zChaff | minisat | SatELite |
| 9.72152 |
1.35979 |
10.4164 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 77.44 | 72.27 | 80.08 | 8.87 | 16.07 | 1 | 7414 | 4 | 7414 | 4 | 20347527 | 18.0323 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 12.5011 |
6.68898 |
21.4927 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 78.43 | 72.09 | 80.82 | 8.47 | 16.67 | 0 | 633 | 0 | 633 | 0 | 3897592 | 3.50547 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 8.18076 |
6.64099 |
26.017 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 78.27 | 72.16 | 80.88 | 8.60 | 16.65 | 0 | 480 | 0 | 480 | 0 | 2814631 | 2.57661 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 10.4314 |
2.6406 |
7.53485 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 78.32 | 72.13 | 80.85 | 8.59 | 16.64 | 0 | 401 | 0 | 401 | 0 | 2229032 | 1.9987 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 14.3668 |
11.1023 |
16.5895 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 77.82 | 72.73 | 80.41 | 8.72 | 15.80 | 1 | 4635 | 3 | 4635 | 3 | 17295011 | 15.3567 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 10.2634 |
2.14467 |
28.9006 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 78.43 | 72.09 | 80.82 | 8.47 | 16.67 | 0 | 633 | 0 | 633 | 0 | 3756364 | 3.40148 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 8.10477 |
6.70898 |
25.9261 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 78.27 | 72.16 | 80.88 | 8.60 | 16.65 | 0 | 480 | 0 | 480 | 0 | 2812793 | 2.52462 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 10.5334 |
2.6196 |
7.56785 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 78.32 | 72.13 | 80.85 | 8.59 | 16.64 | 0 | 401 | 0 | 401 | 0 | 2229032 | 2.01469 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 14.3578 |
11.1153 |
16.5835 |