Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
CLearn | 15.71 | 1.96 | 1.57 | 1.56 | 2.51 | 0.875 |
CSBJ | 15.9 | 1.99 | 1.58 | 1.6 | 2.58 | 0.875 |
GRL | 15.5 | 1.94 | 1.53 | 1.57 | 2.49 | 0.875 |
openQbf | 22.17 | 2.77 | 1.85 | 2.35 | 2.99 | 0.875 |
orSAT | 4564.23 | 570.53 | 426.91 | 901.01 | 872.14 | 0.25 |
QBFL-BS | 4.04 | 0.51 | 0.37 | 0.43 | 0.6 | 1 |
QBFL-JW | 3.99 | 0.5 | 0.38 | 0.43 | 0.65 | 1 |
QMRes | 1000.49 | 125.06 | 293.47 | 14.15 | 24.88 | 0 |
QSAT | 4940.27 | 617.53 | 376.74 | 891.81 | 675.43 | 0.5 |
QUANTOR | 16.58 | 2.07 | 1.58 | 1.73 | 2.78 | 1 |
QUBE-BJ | 22.58 | 2.82 | 1.58 | 2.54 | 2.67 | 0.5 |
QUBE-LRN | 23.06 | 2.88 | 1.6 | 2.93 | 1.6 | 0.5 |
semprop | 34.79 | 4.35 | 3.55 | 3.58 | 5.68 | 1 |
sSolve | 13.93 | 1.74 | 1.2 | 1.7 | 1.82 | 1 |
WalkQSAT | 13.48 | 1.69 | 1.26 | 1.29 | 1.93 | 0.25 |
yQuaffle | 28.88 | 3.61 | 2.8 | 3 | 4.65 | 1 |