Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
GRL | 7207.05 | 900.88 | 0.12 | 900.95 | 0.16 | 0 |
openQbf | 7207.52 | 900.94 | 0.03 | 900.95 | 0.06 | 0 |
qbfbdd | 7207.3 | 900.91 | 0.08 | 900.94 | 0.11 | 0 |
QbflHR | 7207.93 | 900.99 | 0.01 | 901 | 0.01 | 0 |
QChaffLearn | 7202.27 | 900.28 | 0.32 | 900.26 | 0.62 | 0 |
QMRes | 7204.37 | 900.55 | 0.19 | 900.51 | 0.32 | 0 |
QUANTOR | 100.67 | 12.58 | 1.49 | 13.11 | 2.66 | 0 |
semprop | 6310.89 | 788.86 | 296.65 | 900.99 | 0.01 | 0.125 |
skizzo_v0.4 | 3193.69 | 399.21 | 306.06 | 315.75 | 416.87 | 0.125 |
skizzo_v0.5 | 3303.08 | 412.89 | 281.21 | 328.33 | 341.69 | 0.125 |
sSolve | 7207.86 | 900.98 | 0.02 | 900.99 | 0.04 | 0 |
WalkQSAT | 3707.82 | 463.48 | 437.86 | 479.44 | 878.97 | 0 |
yQuaffle | 7202.76 | 900.35 | 0.23 | 900.46 | 0.3 | 0 |