| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 104371 | 353919 | 67.35 | 67.31 | 70.85 | 21.11 | 21.23 |
|---|
| zChaff | minisat | SatELite |
| 68.3116 |
7.67883 |
212.204 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 67.22 | 67.19 | 70.34 | 21.07 | 21.20 | 0 | 15778 | 4 | 15778 | 4 | 129752224 | 225.823 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 31.6812 |
9.57954 |
200.506 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 68.28 | 66.93 | 70.89 | 20.39 | 21.55 | 0 | 4823 | 1 | 4823 | 1 | 44239802 | 77.7422 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 23.0645 |
9.62754 |
199.604 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 67.52 | 67.49 | 71.43 | 21.21 | 21.35 | 0 | 2893 | 1 | 2893 | 1 | 43987375 | 80.4968 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 83.4663 |
8.12776 |
199.036 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 67.64 | 67.23 | 71.16 | 21.13 | 21.35 | 0 | 1544 | 0 | 1544 | 0 | 22539670 | 39.641 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 65.977 |
8.40872 |
199.718 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 67.29 | 67.25 | 70.55 | 21.09 | 21.25 | 0 | 13384 | 4 | 13384 | 4 | 124499606 | 214.201 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 65.3171 |
9.47856 |
197.767 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 68.18 | 66.98 | 70.93 | 20.51 | 21.52 | 0 | 4300 | 1 | 4300 | 1 | 42825617 | 74.2207 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 48.0617 |
8.43272 |
204.486 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 67.52 | 67.49 | 71.43 | 21.21 | 21.35 | 0 | 2893 | 1 | 2893 | 1 | 43986386 | 77.8142 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 83.5153 |
8.12976 |
199.031 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 67.64 | 67.23 | 71.16 | 21.13 | 21.35 | 0 | 1544 | 0 | 1544 | 0 | 22539670 | 39.73 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 66.059 |
8.46871 |
199.69 |