| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 128113 | 531729 | 81.35 | 77.32 | 77.94 | 5.72 | 9.48 |
|---|
| zChaff | minisat | SatELite |
| 6341.71 |
1374.08 |
1242.41 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 80.21 | 76.00 | 76.22 | 6.10 | 10.09 | 3 | 46478 | 9 | 46478 | 9 | 148606839 | 115.753 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 7559.26 |
1331.95 |
752.741 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 81.93 | 77.49 | 78.13 | 5.49 | 9.71 | 0 | 3766 | 1 | 3766 | 1 | 34441357 | 26.8789 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 3520.77 |
2310.7 |
1274.97 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 81.64 | 77.58 | 78.22 | 5.83 | 9.68 | 0 | 1925 | 0 | 1925 | 0 | 21269946 | 16.4035 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 4012.79 |
1769.62 |
1577.68 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 81.63 | 77.57 | 78.21 | 5.83 | 9.67 | 0 | 1843 | 0 | 1843 | 0 | 18832571 | 14.7128 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 3385.89 |
2041.74 |
916.344 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 81.41 | 77.51 | 77.57 | 5.69 | 9.37 | 3 | 17171 | 3 | 17171 | 3 | 107040872 | 82.0605 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 2501.06 |
2065.36 |
1737.39 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 81.93 | 77.49 | 78.13 | 5.49 | 9.71 | 0 | 3766 | 1 | 3766 | 1 | 34312676 | 27.1669 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 3599.71 |
2214.8 |
1272.81 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 81.64 | 77.58 | 78.22 | 5.83 | 9.68 | 0 | 1925 | 0 | 1925 | 0 | 21269946 | 16.7924 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 3880.87 |
1701.38 |
1499.28 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 81.63 | 77.57 | 78.21 | 5.83 | 9.67 | 0 | 1843 | 0 | 1843 | 0 | 18832571 | 14.4088 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 3295.96 |
1977.7 |
927.517 |