Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
GRL | 8050.38 | 805.04 | 268.89 | 900.98 | 58.49 | 0.2 |
openQbf | 9009.14 | 900.91 | 0.02 | 900.92 | 0.03 | 0 |
qbfbdd | 9009.51 | 900.95 | 0.03 | 900.96 | 0.04 | 0 |
QbflHR | 8036.58 | 803.66 | 253.5 | 901 | 123.69 | 0.2 |
QChaffLearn | 7465.48 | 746.55 | 248.4 | 829.94 | 10.13 | 0.1 |
QMRes | 4544.37 | 454.44 | 310.68 | 365.94 | 284.71 | 0.7 |
QUANTOR | 188.76 | 18.88 | 12.87 | 21.09 | 18.43 | 0.4 |
semprop | 6415.47 | 641.55 | 363.14 | 901 | 896.46 | 0.4 |
skizzo_v0.4 | 7081.65 | 708.17 | 344.37 | 900.77 | 870.35 | 0.2 |
skizzo_v0.5 | 6769.46 | 676.95 | 338.82 | 900.47 | 775.93 | 0.2 |
sSolve | 0.29 | 0.03 | 0.01 | 0.03 | 0.01 | 1 |
WalkQSAT | 7556.55 | 755.66 | 280.16 | 901 | 404.75 | 0.3 |
yQuaffle | 8188.47 | 818.85 | 244.72 | 900.45 | 0.46 | 0.1 |