| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 29092 | 117057 | 78.18 | 72.09 | 80.69 | 8.27 | 16.26 |
|---|
| zChaff | minisat | SatELite |
| 3.9844 |
0.6569 |
5.87111 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 77.49 | 72.36 | 80.12 | 8.93 | 16.10 | 1 | 5039 | 4 | 5039 | 4 | 13529202 | 11.3533 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 5.66914 |
0.727889 |
6.84996 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 78.47 | 72.18 | 80.85 | 8.54 | 16.69 | 0 | 433 | 0 | 433 | 0 | 2570517 | 2.13167 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 2.33764 |
0.841872 |
4.04738 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 78.31 | 72.25 | 80.92 | 8.66 | 16.68 | 0 | 330 | 0 | 330 | 0 | 1855056 | 1.50977 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 1.46878 |
0.927858 |
4.14837 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 78.36 | 72.21 | 80.88 | 8.66 | 16.67 | 0 | 276 | 0 | 276 | 0 | 1453732 | 1.24281 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 2.09568 |
1.60076 |
7.80981 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 77.86 | 72.81 | 80.44 | 8.79 | 15.84 | 1 | 3160 | 3 | 3160 | 3 | 11461711 | 9.63753 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 3.67044 |
1.11083 |
7.16291 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 78.47 | 72.18 | 80.85 | 8.54 | 16.69 | 0 | 433 | 0 | 433 | 0 | 2474339 | 2.05469 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 2.34964 |
0.837872 |
4.05238 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 78.31 | 72.25 | 80.92 | 8.66 | 16.68 | 0 | 330 | 0 | 330 | 0 | 1853818 | 1.56676 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 1.45778 |
0.929858 |
4.19036 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 78.36 | 72.21 | 80.88 | 8.66 | 16.67 | 0 | 276 | 0 | 276 | 0 | 1453732 | 1.14583 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 2.08968 |
1.59376 |
7.8858 |