| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 262808 | 1045990 | 82.27 | 77.85 | 76.31 | 4.28 | 8.43 |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
2893.74 |
2508.5 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 80.41 | 76.27 | 73.55 | 4.83 | 8.76 | 2 | 124871 | 12 | 124871 | 12 | 196255061 | 203.309 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
3836.73 |
884.495 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 82.74 | 78.11 | 76.58 | 4.19 | 8.63 | 0 | 5982 | 1 | 5982 | 1 | 28259124 | 25.1882 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
3718.58 |
1623 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 82.60 | 78.15 | 76.62 | 4.35 | 8.62 | 0 | 4182 | 0 | 4182 | 0 | 19125836 | 18.1462 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
3621.39 |
3007.95 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 82.60 | 78.15 | 76.62 | 4.35 | 8.62 | 0 | 4181 | 0 | 4181 | 0 | 16429695 | 14.8467 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
3868.41 |
2943.16 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 82.10 | 78.35 | 75.73 | 4.35 | 7.92 | 2 | 42395 | 4 | 42395 | 4 | 97084801 | 86.6088 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
4708.67 |
2334.05 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 82.74 | 78.11 | 76.58 | 4.19 | 8.63 | 0 | 5982 | 1 | 5982 | 1 | 28026707 | 24.8762 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
3981.64 |
1728.74 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 82.60 | 78.15 | 76.62 | 4.35 | 8.62 | 0 | 4182 | 0 | 4182 | 0 | 19117186 | 18.5562 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
3846.54 |
3116.47 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 82.60 | 78.15 | 76.62 | 4.35 | 8.62 | 0 | 4181 | 0 | 4181 | 0 | 16427923 | 15.6726 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
3869.59 |
3012.18 |