Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
GRL | 5403.85 | 900.64 | 0.11 | 900.61 | 0.08 | 0 |
openQbf | 5405.57 | 900.93 | 0.02 | 900.93 | 0.04 | 0 |
qbfbdd | 5405.88 | 900.98 | 0.04 | 901 | 0.1 | 0 |
QbflHR | 5406.04 | 901.01 | 0.01 | 901.01 | 0.01 | 0 |
QChaffLearn | 5252.67 | 875.45 | 4.2 | 876.07 | 8.73 | 0 |
QMRes | 2705.43 | 450.91 | 449.48 | 451.89 | 900.1 | 0.5 |
QUANTOR | 0.11 | 0.02 | 0.01 | 0.02 | 0.01 | 1 |
semprop | 0.92 | 0.15 | 0.11 | 0.13 | 0.15 | 1 |
skizzo_v0.4 | 4729.59 | 788.27 | 28.99 | 800.54 | 66.69 | 0 |
skizzo_v0.5 | 7.06 | 1.18 | 0.89 | 1.02 | 1.15 | 1 |
sSolve | 5405.72 | 900.95 | 0.03 | 900.96 | 0.06 | 0 |
WalkQSAT | 5405.96 | 900.99 | 0.01 | 900.99 | 0 | 0 |
yQuaffle | 5396.71 | 899.45 | 0.51 | 899.35 | 0.7 | 0 |