| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 32318 | 108045 | 65.68 | 65.44 | 68.73 | 20.74 | 20.75 |
|---|
| zChaff | minisat | SatELite |
| 35.9695 |
8.66068 |
5.76412 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 65.83 | 65.98 | 69.75 | 21.08 | 20.79 | 0 | 22357 | 21 | 22357 | 21 | 17860298 | 22.4516 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 55.4806 |
10.4494 |
9.14761 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 70.86 | 63.51 | 70.46 | 17.94 | 22.42 | 0 | 7903 | 7 | 7903 | 7 | 6113845 | 8.81266 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 45.2391 |
10.3674 |
11.4983 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 67.19 | 67.17 | 74.13 | 21.63 | 21.52 | 0 | 7865 | 7 | 7865 | 7 | 5353429 | 7.41887 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 48.1677 |
8.73067 |
7.81481 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 68.34 | 64.81 | 71.52 | 20.87 | 21.63 | 0 | 4211 | 4 | 4211 | 4 | 2898423 | 4.24535 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 31.7252 |
6.95494 |
9.76851 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 66.38 | 66.49 | 71.56 | 21.33 | 21.08 | 0 | 16927 | 16 | 16927 | 16 | 14937420 | 20.2279 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 52.0211 |
7.72382 |
9.33558 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 69.92 | 64.00 | 70.85 | 19.04 | 22.13 | 0 | 6549 | 6 | 6549 | 6 | 5368659 | 7.71183 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 40.6218 |
8.37673 |
10.5704 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 67.19 | 67.17 | 74.13 | 21.63 | 21.52 | 0 | 7865 | 7 | 7865 | 7 | 5347956 | 7.2569 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 47.9667 |
8.74267 |
7.80781 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 68.34 | 64.81 | 71.52 | 20.87 | 21.63 | 0 | 4211 | 4 | 4211 | 4 | 2896178 | 4.11737 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 32.2621 |
6.64699 |
9.58854 |