Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
GRL | 8108.33 | 810.83 | 270.27 | 900.94 | 0.09 | 0.1 |
openQbf | 9009.01 | 900.9 | 0.04 | 900.92 | 0.06 | 0 |
qbfbdd | 9009.35 | 900.94 | 0.03 | 900.94 | 0.07 | 0 |
QbflHR | 9010.01 | 901 | 0.01 | 901 | 0 | 0 |
QChaffLearn | 7674.64 | 767.46 | 255.85 | 852.3 | 9.03 | 0.1 |
QMRes | 9004.25 | 900.43 | 0.13 | 900.44 | 0.2 | 0 |
QUANTOR | 89.07 | 8.91 | 0.12 | 8.9 | 0.2 | 0 |
semprop | 2852.4 | 285.24 | 403.83 | 33.72 | 74.79 | 0.7 |
skizzo_v0.4 | 1562.49 | 156.25 | 252.62 | 96.46 | 103.92 | 0.9 |
skizzo_v0.5 | 1953.24 | 195.32 | 249.34 | 122.07 | 174.09 | 0.9 |
sSolve | 3.11 | 0.31 | 0.52 | 0.02 | 0.07 | 1 |
WalkQSAT | 8114.39 | 811.44 | 268.68 | 901 | 0.01 | 0.1 |
yQuaffle | 8998.48 | 899.85 | 0.23 | 899.87 | 0.46 | 0 |