Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
GRL | 1.01 | 0.1 | 0.09 | 0.06 | 0.07 | 1 |
openQbf | 1678.26 | 167.83 | 230.56 | 43.9 | 35 | 1 |
qbfbdd | 9009.85 | 900.99 | 0.02 | 901 | 0.04 | 0 |
QbflHR | 81.21 | 8.12 | 5.8 | 7.76 | 9.33 | 1 |
QChaffLearn | 15.79 | 1.58 | 3.31 | 0.27 | 0.75 | 1 |
QMRes | 6794.47 | 679.45 | 328.48 | 900.57 | 765.76 | 0.4 |
QUANTOR | 1429.64 | 142.96 | 174.04 | 64.48 | 65.33 | 0 |
semprop | 5.97 | 0.6 | 1.29 | 0.18 | 0.21 | 0.9 |
skizzo_v0.4 | 9008.33 | 900.83 | 0.05 | 900.85 | 0.09 | 0 |
skizzo_v0.5 | 9007.49 | 900.75 | 0.14 | 900.8 | 0.22 | 0 |
sSolve | 0.05 | 0.01 | 0.01 | 0.01 | 0.01 | 1 |
WalkQSAT | 1.01 | 0.1 | 0.13 | 0.03 | 0.04 | 1 |
yQuaffle | 2245.49 | 224.55 | 293.93 | 57.13 | 247.4 | 0.8 |