Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
GRL | 7600.27 | 760.03 | 294.77 | 900.96 | 511.82 | 0.2 |
openQbf | 9009.17 | 900.92 | 0.02 | 900.92 | 0.04 | 0 |
qbfbdd | 9009.91 | 900.99 | 0.01 | 900.99 | 0.02 | 0 |
QbflHR | 2054.74 | 205.47 | 267.27 | 104.82 | 83.32 | 0.9 |
QChaffLearn | 8061.9 | 806.19 | 15.37 | 800.11 | 23.76 | 0 |
QMRes | 9004.18 | 900.42 | 0.16 | 900.39 | 0.23 | 0 |
QUANTOR | 169.8 | 16.98 | 10.08 | 11.97 | 4.04 | 0 |
semprop | 2724.16 | 272.42 | 411.51 | 4.12 | 4.73 | 0 |
skizzo_v0.4 | 8121.26 | 812.13 | 266.15 | 900.85 | 0.26 | 0.1 |
skizzo_v0.5 | 8136.78 | 813.68 | 261.5 | 900.86 | 0.16 | 0.1 |
sSolve | 912.64 | 91.26 | 269.91 | 0.01 | 0.1 | 0.9 |
WalkQSAT | 5552.73 | 555.27 | 386.41 | 792.51 | 850.94 | 0.5 |
yQuaffle | 8986.64 | 898.66 | 0.37 | 898.75 | 0.41 | 0 |