| variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
| 26417 | 106212 | 78.19 | 72.12 | 80.70 | 8.27 | 16.23 |
|---|
| zChaff | minisat | SatELite |
| 1.73274 |
0.957854 |
4.53631 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rc | 77.51 | 72.38 | 80.13 | 8.95 | 16.11 | 1 | 4564 | 4 | 4564 | 4 | 12189612 | 9.8725 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 2.81257 |
0.795879 |
5.04823 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcn | 78.48 | 72.20 | 80.87 | 8.56 | 16.70 | 0 | 393 | 0 | 393 | 0 | 2312152 | 1.89571 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 2.24366 |
0.569913 |
3.9644 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcb | 78.33 | 72.27 | 80.93 | 8.68 | 16.68 | 0 | 300 | 0 | 300 | 0 | 1668241 | 1.38779 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 2.14367 |
0.832873 |
3.40148 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcnb | 78.38 | 72.24 | 80.89 | 8.68 | 16.68 | 0 | 251 | 0 | 251 | 0 | 1304522 | 1.09383 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 2.54261 |
0.804877 |
3.25251 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcw | 77.88 | 72.84 | 80.46 | 8.81 | 15.85 | 1 | 2865 | 3 | 2865 | 3 | 10319126 | 8.39972 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 3.17352 |
0.582911 |
3.34649 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwn | 78.48 | 72.20 | 80.87 | 8.56 | 16.70 | 0 | 393 | 0 | 393 | 0 | 2224984 | 1.84272 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 2.23466 |
0.596909 |
3.9734 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwb | 78.33 | 72.27 | 80.93 | 8.68 | 16.68 | 0 | 300 | 0 | 300 | 0 | 1667123 | 1.40679 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 2.23966 |
0.831873 |
3.43248 |
| simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
| rcwnb | 78.38 | 72.24 | 80.89 | 8.68 | 16.68 | 0 | 251 | 0 | 251 | 0 | 1304522 | 1.11083 | UNKNOWN |
|---|
| zChaff | minisat | SatELite |
| 2.53561 |
0.793879 |
3.2785 |