Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
CLearn | 3088.32 | 386.04 | 412.46 | 190.07 | 898.42 | 0.625 |
CSBJ | 4848.31 | 606.04 | 391.95 | 901 | 729.39 | 0.375 |
GRL | 4005.67 | 500.71 | 417.11 | 644.23 | 893.91 | 0.5 |
openQbf | 5426.54 | 678.32 | 385.73 | 901 | 440.5 | 0.25 |
orSAT | 6601.77 | 825.22 | 200.54 | 901.02 | 0.02 | 0 |
QBFL-BS | 5664.28 | 708.04 | 340.41 | 901.01 | 321.42 | 0.25 |
QBFL-JW | 6307.09 | 788.39 | 297.96 | 901 | 0.01 | 0.125 |
QMRes | 3.55 | 0.44 | 0.47 | 0.29 | 0.42 | 1 |
QSAT | 3917.07 | 489.63 | 419.18 | 587.54 | 881.53 | 0.5 |
QUANTOR | 0.12 | 0.02 | 0.01 | 0.02 | 0.01 | 1 |
QUBE-BJ | 3109.13 | 388.64 | 410.31 | 198.11 | 896.6 | 0.625 |
QUBE-LRN | 4530.4 | 566.3 | 432.19 | 901.03 | 888.92 | 0.375 |
semprop | 6.14 | 0.77 | 1.28 | 0.24 | 0.71 | 1 |
sSolve | 3506.47 | 438.31 | 419.08 | 395.67 | 894.94 | 0.625 |
WalkQSAT | 3572.11 | 446.51 | 428.55 | 430.28 | 896.74 | 0.625 |
yQuaffle | 3906.83 | 488.35 | 408.86 | 587.88 | 886.98 | 0.375 |