Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
GRL | 371.83 | 37.18 | 7.27 | 36.63 | 14.02 | 0 |
openQbf | 1905.08 | 190.51 | 254.64 | 125.36 | 196.15 | 0.9 |
qbfbdd | 1204.87 | 120.49 | 127.15 | 80.15 | 76.97 | 1 |
QbflHR | 2511.21 | 251.12 | 351.41 | 7.52 | 309.45 | 0.8 |
QChaffLearn | 380.39 | 38.04 | 7.58 | 39.03 | 14.16 | 0 |
QMRes | 9005.39 | 900.54 | 0.14 | 900.61 | 0.31 | 0 |
QUANTOR | 1502.43 | 150.24 | 130.72 | 106.85 | 145.26 | 1 |
semprop | 5133.9 | 513.39 | 425.85 | 763.7 | 900.69 | 0.5 |
skizzo_v0.4 | 252.65 | 25.27 | 74.43 | 0.34 | 0.51 | 1 |
skizzo_v0.5 | 251.72 | 25.17 | 74.14 | 0.35 | 0.57 | 1 |
sSolve | 2.29 | 0.23 | 0.25 | 0.12 | 0.11 | 1 |
WalkQSAT | 375.28 | 37.53 | 7.36 | 37.18 | 13.59 | 0 |
yQuaffle | 122.86 | 12.29 | 17.9 | 2.87 | 5.1 | 1 |