| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 92106 | 381355 | 81.70 | 77.14 | 78.01 | 5.46 | 9.80 |
|---|
| zChaff | minisat | SatELite |
| 5962.46 |
3940.82 |
7829.02 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 80.44 | 75.73 | 76.15 | 5.84 | 10.42 | 2 | 32796 | 9 | 32796 | 9 | 71931059 | 53.2629 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 2833.1 |
3729.01 |
4111.24 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 82.16 | 77.19 | 78.08 | 5.24 | 10.08 | 0 | 2122 | 1 | 2122 | 1 | 13668440 | 10.3334 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 3656.05 |
3568.43 |
4382.78 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 81.85 | 77.28 | 78.16 | 5.59 | 10.04 | 0 | 717 | 0 | 717 | 0 | 7503853 | 6.22105 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 3244.61 |
3625.13 |
3457.46 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 81.85 | 77.28 | 78.16 | 5.59 | 10.04 | 0 | 715 | 0 | 715 | 0 | 6466140 | 5.03923 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 4751.79 |
3541.57 |
3314.55 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 81.64 | 77.30 | 77.55 | 5.44 | 9.66 | 2 | 11049 | 3 | 11049 | 3 | 46580914 | 34.5377 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 4447.15 |
1826.6 |
5836.14 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 82.16 | 77.19 | 78.08 | 5.24 | 10.08 | 0 | 2122 | 1 | 2122 | 1 | 13573380 | 10.3624 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 3698.1 |
3324.82 |
4364.69 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 81.85 | 77.28 | 78.16 | 5.59 | 10.04 | 0 | 717 | 0 | 717 | 0 | 7503853 | 6.23205 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 3283.2 |
3637.35 |
3341 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 81.85 | 77.28 | 78.16 | 5.59 | 10.04 | 0 | 715 | 0 | 715 | 0 | 6466140 | 4.98924 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 4925.58 |
3714.29 |
3311.19 |