Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
GRL | 6303.83 | 900.55 | 0.07 | 900.54 | 0.12 | 0 |
openQbf | 6306.48 | 900.93 | 0.02 | 900.93 | 0.06 | 0 |
qbfbdd | 6304.82 | 900.69 | 0.07 | 900.68 | 0.17 | 0 |
QbflHR | 6306.95 | 900.99 | 0.02 | 900.99 | 0.03 | 0 |
QChaffLearn | 6303.72 | 900.53 | 0.2 | 900.58 | 0.56 | 0 |
QMRes | 6303.95 | 900.56 | 0.13 | 900.49 | 0.3 | 0 |
QUANTOR | 6303.71 | 900.53 | 0.15 | 900.58 | 0.29 | 0 |
semprop | 6306.82 | 900.97 | 0.02 | 900.97 | 0.04 | 0 |
skizzo_v0.4 | 4106.27 | 586.61 | 310.13 | 677.15 | 798 | 0.143 |
skizzo_v0.5 | 3794.8 | 542.11 | 334.58 | 449.59 | 893.65 | 0.143 |
sSolve | 6306.53 | 900.93 | 0.02 | 900.92 | 0.01 | 0 |
WalkQSAT | 6306.74 | 900.96 | 0.02 | 900.97 | 0.06 | 0 |
yQuaffle | 5940.27 | 848.61 | 7.55 | 845.57 | 6.29 | 0 |