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 |