| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 42368 | 139248 | 65.99 | 65.71 | 68.15 | 20.35 | 20.67 |
|---|
| zChaff | minisat | SatELite |
| 21.1518 |
6.03608 |
11.2203 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 65.91 | 65.89 | 67.62 | 20.43 | 20.63 | 0 | 31210 | 22 | 31210 | 22 | 45727887 | 66.8818 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 24.5163 |
5.41718 |
9.80751 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 71.50 | 63.70 | 69.49 | 17.00 | 22.41 | 0 | 10728 | 8 | 10728 | 8 | 16258885 | 25.7941 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 25.2682 |
7.02993 |
9.26459 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 67.52 | 67.31 | 73.07 | 21.12 | 21.49 | 0 | 9367 | 7 | 9367 | 7 | 14339159 | 22.1396 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 25.4201 |
5.82012 |
10.3194 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 68.54 | 65.20 | 70.78 | 20.46 | 21.49 | 0 | 5172 | 4 | 5172 | 4 | 8057435 | 12.919 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 24.0163 |
8.5427 |
9.31558 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 66.51 | 66.42 | 69.60 | 20.67 | 20.94 | 0 | 24175 | 17 | 24175 | 17 | 37295436 | 52.883 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 22.8625 |
5.71013 |
10.3574 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 70.56 | 64.18 | 69.89 | 18.10 | 22.12 | 0 | 9007 | 6 | 9007 | 6 | 14019232 | 22.0277 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 25.9721 |
5.07523 |
9.8775 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 67.52 | 67.31 | 73.07 | 21.12 | 21.49 | 0 | 9367 | 7 | 9367 | 7 | 14339159 | 22.1856 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 25.4541 |
6.10707 |
9.78251 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 68.54 | 65.20 | 70.78 | 20.46 | 21.49 | 0 | 5172 | 4 | 5172 | 4 | 8057435 | 12.7801 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 23.3255 |
9.42957 |
9.50955 |