| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 9197 | 25271 | 66.00 | 65.97 | 64.26 | 20.15 | 21.07 |
|---|
| zChaff | minisat | SatELite |
| 5287.31 |
158.406 |
914.591 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 65.31 | 66.16 | 63.25 | 20.47 | 20.58 | 684 | 1063 | 4 | 1063 | 4 | 9243629 | 6.17006 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
182.985 |
1498.16 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 66.53 | 65.70 | 64.23 | 19.75 | 21.27 | 684 | 198 | 1 | 198 | 1 | 1931712 | 1.3138 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
165.605 |
1144.09 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 66.08 | 66.07 | 64.60 | 20.23 | 21.15 | 684 | 136 | 1 | 136 | 1 | 2131095 | 1.43978 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 5483.5 |
150.068 |
1821.37 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 66.17 | 65.89 | 64.42 | 20.17 | 21.16 | 684 | 65 | 0 | 65 | 0 | 1010116 | 0.712891 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 8974.75 |
241.959 |
1165.97 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 65.38 | 66.18 | 63.39 | 20.45 | 20.61 | 684 | 968 | 4 | 968 | 4 | 8533624 | 5.58715 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
185.56 |
2690.19 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 66.48 | 65.73 | 64.26 | 19.80 | 21.26 | 684 | 182 | 1 | 182 | 1 | 1770427 | 1.23281 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| TimeOut |
210.729 |
1262.62 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 66.08 | 66.07 | 64.60 | 20.23 | 21.15 | 684 | 136 | 1 | 136 | 1 | 2131095 | 1.46778 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 5466.05 |
138.748 |
1845.59 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 66.17 | 65.89 | 64.42 | 20.17 | 21.16 | 684 | 65 | 0 | 65 | 0 | 1010116 | 0.706892 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 8815.97 |
246.389 |
1166 |