Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
CLearn | 5742.79 | 717.85 | 328.13 | 901.01 | 282.49 | 0.25 |
CSBJ | 6362.34 | 795.29 | 279.69 | 901.01 | 0.01 | 0.125 |
GRL | 6307.8 | 788.48 | 297.74 | 901.01 | 0.01 | 0.125 |
openQbf | 6345.21 | 793.15 | 285.36 | 901.01 | 0.01 | 0.125 |
orSAT | 1405.17 | 175.65 | 99.76 | 157.79 | 169.72 | 0 |
QBFL-BS | 7208.06 | 901.01 | 0 | 901.01 | 0 | 0 |
QBFL-JW | 7208.03 | 901 | 0.01 | 901 | 0.01 | 0 |
QMRes | 22.92 | 2.87 | 1.91 | 3.05 | 3.56 | 1 |
QSAT | 6309.04 | 788.63 | 297.31 | 901 | 0.01 | 0.125 |
QUANTOR | 210.89 | 26.36 | 25.74 | 19.09 | 32.46 | 0.5 |
QUBE-BJ | 5701.64 | 712.71 | 334.32 | 901.03 | 303.39 | 0.25 |
QUBE-LRN | 6308.77 | 788.6 | 297.47 | 901.03 | 0 | 0.125 |
semprop | 5408.35 | 676.04 | 389.64 | 901 | 449.39 | 0.25 |
sSolve | 6307.45 | 788.43 | 297.85 | 901.01 | 0.01 | 0.125 |
WalkQSAT | 6309.33 | 788.67 | 297.23 | 901.01 | 0 | 0.125 |
yQuaffle | 3204.48 | 400.56 | 258.03 | 330.3 | 313.8 | 0.125 |