Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
CLearn | 2708.25 | 338.53 | 435.69 | 1.31 | 899.94 | 0.625 |
CSBJ | 2708.23 | 338.53 | 435.69 | 1.31 | 899.94 | 0.625 |
GRL | 2709.36 | 338.67 | 435.59 | 1.6 | 899.76 | 0.625 |
openQbf | 2710.82 | 338.85 | 435.44 | 1.87 | 899.59 | 0.625 |
orSAT | 5410.08 | 676.26 | 389.28 | 901.01 | 449.33 | 0.25 |
QBFL-BS | 3.05 | 0.38 | 0.19 | 0.46 | 0.24 | 0.875 |
QBFL-JW | 3.13 | 0.39 | 0.16 | 0.47 | 0.23 | 1 |
QMRes | 1832.79 | 229.1 | 387.93 | 6.13 | 449.44 | 0 |
QSAT | 906.09 | 113.26 | 297.74 | 0.78 | 0.28 | 0.125 |
QUANTOR | 64.3 | 8.04 | 9.78 | 0.63 | 19.23 | 0.625 |
QUBE-BJ | 924.79 | 115.6 | 296.87 | 3.64 | 1.14 | 0.125 |
QUBE-LRN | 422.62 | 52.83 | 131.38 | 3.84 | 1.26 | 0.125 |
semprop | 2708.25 | 338.53 | 435.69 | 1.33 | 900.09 | 0.625 |
sSolve | 2707.15 | 338.39 | 435.84 | 0.95 | 900.27 | 0.625 |
WalkQSAT | 10.15 | 1.27 | 0.98 | 0.94 | 0.19 | 0.25 |
yQuaffle | 707.43 | 88.43 | 117.23 | 2.07 | 191.73 | 0.625 |