Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
GRL | 3484.13 | 116.14 | 127.05 | 74.15 | 105.86 | 0.833 |
openQbf | 11693.01 | 389.77 | 379.94 | 316.37 | 898.65 | 0.667 |
qbfbdd | 8125.93 | 270.86 | 412.3 | 1.96 | 898.18 | 0.7 |
QbflHR | 10025.91 | 334.2 | 403.31 | 119.5 | 900.79 | 0.667 |
QChaffLearn | 8179.22 | 272.64 | 374.23 | 78.96 | 299.8 | 0.733 |
QMRes | 27006.83 | 900.23 | 0.47 | 900.26 | 0.24 | 0 |
QUANTOR | 766.24 | 25.54 | 30.92 | 9.03 | 30.94 | 0.333 |
semprop | 11239.13 | 374.64 | 393.28 | 140.26 | 900.62 | 0.7 |
skizzo_v0.4 | 7433.59 | 247.79 | 297.28 | 86.28 | 637.61 | 0.333 |
skizzo_v0.5 | 5262.42 | 175.41 | 248.13 | 38.66 | 155.75 | 0.733 |
sSolve | 8311.63 | 277.05 | 386.78 | 45.68 | 462.73 | 0.733 |
WalkQSAT | 2932.98 | 97.77 | 88.57 | 73.24 | 175.63 | 0 |
yQuaffle | 6951.44 | 231.71 | 350.23 | 3.54 | 756.6 | 0.7 |