Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
GRL | 14454.05 | 120.45 | 143.61 | 61.59 | 200.98 | 0.825 |
openQbf | 48212.07 | 401.77 | 376.14 | 313.57 | 897.97 | 0.667 |
qbfbdd | 32144.62 | 267.87 | 404.5 | 1.86 | 900.83 | 0.725 |
QbflHR | 53714.1 | 447.62 | 432.84 | 121.96 | 900.69 | 0.525 |
QChaffLearn | 32545.26 | 271.21 | 374.27 | 50.93 | 876.56 | 0.742 |
QMRes | 108030.61 | 900.26 | 0.41 | 900.27 | 0.36 | 0 |
QUANTOR | 2642.87 | 22.02 | 26.31 | 9.02 | 35.99 | 0.333 |
semprop | 51661.44 | 430.51 | 406.11 | 300.32 | 900.48 | 0.617 |
skizzo_v0.4 | 26238.89 | 218.66 | 259.74 | 87.35 | 409.53 | 0.333 |
skizzo_v0.5 | 24676.58 | 205.64 | 269.09 | 75.96 | 339.04 | 0.592 |
sSolve | 33400.49 | 278.34 | 388.32 | 37.57 | 900.57 | 0.733 |
WalkQSAT | 11542.95 | 96.19 | 84.28 | 69.19 | 172.19 | 0.008 |
yQuaffle | 27999.02 | 233.33 | 348.79 | 3.06 | 761.13 | 0.708 |