| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 41148 | 210435 | 81.06 | 79.03 | 76.98 | 9.24 | 5.92 |
|---|
| zChaff | minisat | SatELite |
| 171.541 |
27.1999 |
127.569 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 81.07 | 77.78 | 75.28 | 8.51 | 6.18 | 0 | 14495 | 7 | 14495 | 7 | 28483612 | 22.7995 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 1181.38 |
30.8623 |
37.0844 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 82.21 | 78.73 | 76.66 | 7.95 | 6.12 | 0 | 2953 | 1 | 2953 | 1 | 4389081 | 3.34049 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 58.0992 |
27.9897 |
206.593 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 81.06 | 79.03 | 76.98 | 9.24 | 6.03 | 0 | 0 | 0 | 0 | 0 | 2888335 | 2.35964 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 171.541 |
27.1999 |
127.569 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 81.06 | 79.03 | 76.98 | 9.24 | 6.03 | 0 | 0 | 0 | 0 | 0 | 2129081 | 1.70874 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 171.541 |
27.1999 |
127.569 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 81.82 | 78.65 | 76.15 | 8.13 | 5.88 | 0 | 7314 | 3 | 7314 | 3 | 12081928 | 9.47056 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 52.0671 |
54.4567 |
31.3752 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 82.21 | 78.74 | 76.66 | 7.95 | 6.12 | 0 | 2941 | 1 | 2941 | 1 | 4350871 | 3.3165 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 75.7485 |
27.8968 |
208.88 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 81.06 | 79.03 | 76.98 | 9.24 | 6.03 | 0 | 0 | 0 | 0 | 0 | 2841293 | 2.41663 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 171.541 |
27.1999 |
127.569 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 81.06 | 79.03 | 76.98 | 9.24 | 6.03 | 0 | 0 | 0 | 0 | 0 | 2110191 | 1.71074 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 171.541 |
27.1999 |
127.569 |