Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
GRL | 10811.31 | 180.19 | 326.02 | 0.88 | 187.78 | 0.8 |
openQbf | 22754.27 | 379.24 | 399.67 | 88.34 | 896.07 | 0.7 |
qbfbdd | 16488.04 | 274.8 | 382.27 | 18.27 | 794.14 | 0 |
QbflHR | 15535.55 | 258.93 | 404.07 | 0.27 | 900.5 | 0.717 |
QChaffLearn | 16286.8 | 271.45 | 403.54 | 1.34 | 881.91 | 0.7 |
QMRes | 30705.35 | 511.76 | 433.73 | 900.56 | 893.42 | 0.05 |
QUANTOR | 820.78 | 13.68 | 19.55 | 0.51 | 34.02 | 0.667 |
semprop | 15830.03 | 263.83 | 403.73 | 1.09 | 900.45 | 0.717 |
skizzo_v0.4 | 931.87 | 15.53 | 32.87 | 0.84 | 23.33 | 0.667 |
skizzo_v0.5 | 2960.63 | 49.34 | 106.13 | 0.83 | 41.05 | 0.683 |
sSolve | 15617.82 | 260.3 | 404.13 | 0.69 | 900.65 | 0.717 |
WalkQSAT | 12310.33 | 205.17 | 371.69 | 0.79 | 30.8 | 0.5 |
yQuaffle | 13652.44 | 227.54 | 340.04 | 1.37 | 676.36 | 0.7 |