Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
CLearn | 3604.93 | 450.62 | 450.39 | 450.78 | 900.84 | 0.5 |
CSBJ | 4569.29 | 571.16 | 426.23 | 901 | 868.89 | 0.375 |
GRL | 3609.54 | 451.19 | 449.82 | 452.62 | 900.38 | 0.5 |
openQbf | 5409.13 | 676.14 | 389.48 | 901.01 | 449.47 | 0.25 |
orSAT | 5407.5 | 675.94 | 389.82 | 901 | 449.8 | 0.25 |
QBFL-BS | 5416.71 | 677.09 | 387.85 | 901.01 | 445.46 | 0.25 |
QBFL-JW | 5416.69 | 677.09 | 387.85 | 901.01 | 445.72 | 0.25 |
QMRes | 3734.88 | 466.86 | 434.82 | 490.72 | 875.79 | 0.5 |
QSAT | 4540.65 | 567.58 | 430.57 | 901 | 883.19 | 0.375 |
QUANTOR | 2716.38 | 339.55 | 434.92 | 6.67 | 900.99 | 0.5 |
QUBE-BJ | 3656.1 | 457.01 | 444.2 | 472.29 | 897.31 | 0.5 |
QUBE-LRN | 3608.69 | 451.09 | 449.95 | 451.29 | 900.01 | 0.5 |
semprop | 3605.53 | 450.69 | 450.32 | 451.22 | 900.98 | 0.5 |
sSolve | 5406.07 | 675.76 | 390.14 | 901 | 450.5 | 0.25 |
WalkQSAT | 5406.16 | 675.77 | 390.12 | 901 | 450.46 | 0.25 |
yQuaffle | 3230.69 | 403.84 | 419.63 | 263.76 | 900.92 | 0.5 |