Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
CLearn | 2871.1 | 358.89 | 335.27 | 347.85 | 599.28 | 0.875 |
CSBJ | 5835.61 | 729.45 | 297.34 | 901 | 332.32 | 0.25 |
GRL | 4715.36 | 589.42 | 404.71 | 901 | 805.14 | 0.375 |
openQbf | 7208.07 | 901.01 | 0 | 901.01 | 0 | 0 |
orSAT | 6262.05 | 782.76 | 158.25 | 901.01 | 283.37 | 0 |
QBFL-BS | 7208.04 | 901.01 | 0.01 | 901 | 0.01 | 0 |
QBFL-JW | 7208.07 | 901.01 | 0.01 | 901.01 | 0.01 | 0 |
QMRes | 9.19 | 1.15 | 0.76 | 1.14 | 1.33 | 1 |
QSAT | 7208.04 | 901.01 | 0.01 | 901.01 | 0.01 | 0 |
QUANTOR | 155.91 | 19.49 | 14.78 | 19.21 | 29.49 | 0.875 |
QUBE-BJ | 3207.49 | 400.94 | 381 | 330.98 | 776.14 | 0.75 |
QUBE-LRN | 4836.29 | 604.54 | 390.44 | 901.03 | 745.21 | 0.375 |
semprop | 3732.15 | 466.52 | 436.07 | 512 | 898.61 | 0.5 |
sSolve | 7208.06 | 901.01 | 0 | 901.01 | 0 | 0 |
WalkQSAT | 4250.7 | 531.34 | 398.5 | 710.99 | 843.65 | 0.5 |
yQuaffle | 4942.32 | 617.79 | 368.58 | 901 | 722.67 | 0.375 |