Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
CLearn | 903.3 | 301.1 | 424.19 | 1.15 | 0 | 0.667 |
CSBJ | 903.3 | 301.1 | 424.2 | 1.15 | 0.01 | 0.667 |
GRL | 903.8 | 301.27 | 424.08 | 1.4 | 0.01 | 0.667 |
openQbf | 904.24 | 301.41 | 423.97 | 1.68 | 0.12 | 0.667 |
orSAT | 1803.95 | 601.32 | 423.83 | 901.01 | 899.08 | 0.333 |
QBFL-BS | 1.5 | 0.5 | 0.01 | 0.49 | 0 | 1 |
QBFL-JW | 1.47 | 0.49 | 0.02 | 0.49 | 0.02 | 1 |
QMRes | 14.45 | 4.82 | 0.01 | 4.82 | 0.01 | 0 |
QSAT | 2.36 | 0.79 | 0.01 | 0.79 | 0.01 | 0 |
QUANTOR | 35.2 | 11.73 | 15.88 | 0.51 | 0.01 | 0.667 |
QUBE-BJ | 11 | 3.67 | 0.64 | 3.56 | 0.62 | 0 |
QUBE-LRN | 9.22 | 3.07 | 0.19 | 2.96 | 0.04 | 0 |
semprop | 902.96 | 300.99 | 424.28 | 0.98 | 0.01 | 0.667 |
sSolve | 902.66 | 300.89 | 424.37 | 0.81 | 0 | 0.667 |
WalkQSAT | 2.76 | 0.92 | 0 | 0.92 | 0 | 0 |
yQuaffle | 310.57 | 103.52 | 143.77 | 1.87 | 0.01 | 0.667 |