variables | clauses | Horn % | ReverseHorn % |
Binaire % | Pos % | Neg % |
81606 | 337735 | 81.71 | 77.16 | 78.03 | 5.46 | 9.79 |
---|
zChaff | minisat | SatELite |
2918.59 |
1070.27 |
1403.13 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rc | 80.45 | 75.75 | 76.17 | 5.86 | 10.44 | 2 | 29036 | 9 | 29036 | 9 | 61769820 | 45.3381 | UNKNOWN |
---|
zChaff | minisat | SatELite |
4563.79 |
2216.11 |
4825.24 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcn | 82.17 | 77.21 | 78.10 | 5.25 | 10.10 | 0 | 1877 | 1 | 1877 | 1 | 11521450 | 8.58469 | UNKNOWN |
---|
zChaff | minisat | SatELite |
3462.26 |
1593.52 |
3107.5 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcb | 81.86 | 77.30 | 78.18 | 5.60 | 10.06 | 0 | 637 | 0 | 637 | 0 | 6397918 | 5.2692 | UNKNOWN |
---|
zChaff | minisat | SatELite |
2029.17 |
2526.22 |
1380.47 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcnb | 81.86 | 77.30 | 78.18 | 5.60 | 10.06 | 0 | 635 | 0 | 635 | 0 | 5493220 | 4.23836 | UNKNOWN |
---|
zChaff | minisat | SatELite |
1761.18 |
2543.72 |
1342.67 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcw | 81.66 | 77.32 | 77.57 | 5.46 | 9.68 | 2 | 9784 | 3 | 9784 | 3 | 39559101 | 29.6975 | UNKNOWN |
---|
zChaff | minisat | SatELite |
6516.41 |
1792.65 |
2274.17 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwn | 82.17 | 77.21 | 78.10 | 5.25 | 10.10 | 0 | 1877 | 1 | 1877 | 1 | 11443390 | 8.5257 | UNKNOWN |
---|
zChaff | minisat | SatELite |
3333.06 |
1574.19 |
3194.13 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwb | 81.86 | 77.30 | 78.18 | 5.60 | 10.06 | 0 | 637 | 0 | 637 | 0 | 6397918 | 5.2892 | UNKNOWN |
---|
zChaff | minisat | SatELite |
1918.72 |
2532.47 |
1350.73 |
simplif | % horn | % Rhorn | Binaire % | Pos % | Neg % |
var sup | cla sup | % | cla red | % | pu | time | resultat |
rcwnb | 81.86 | 77.30 | 78.18 | 5.60 | 10.06 | 0 | 635 | 0 | 635 | 0 | 5493220 | 4.21436 | UNKNOWN |
---|
zChaff | minisat | SatELite |
1777.64 |
2568.81 |
1355.16 |