Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
CLearn | 3177.92 | 397.24 | 398.61 | 219.77 | 883.91 | 0.625 |
CSBJ | 5833.39 | 729.17 | 298.37 | 901.01 | 322.57 | 0.25 |
GRL | 4814.84 | 601.86 | 394.4 | 901 | 748.61 | 0.375 |
openQbf | 7208.04 | 901.01 | 0.01 | 901.01 | 0.01 | 0 |
orSAT | 5719.5 | 714.94 | 146.77 | 638.37 | 309.47 | 0 |
QBFL-BS | 7208.1 | 901.01 | 0.01 | 901.01 | 0.01 | 0 |
QBFL-JW | 7208.07 | 901.01 | 0.01 | 901.01 | 0 | 0 |
QMRes | 877.33 | 109.67 | 196.98 | 3.53 | 133.04 | 1 |
QSAT | 5478.56 | 684.82 | 374.55 | 901 | 423.29 | 0.25 |
QUANTOR | 141.75 | 17.72 | 15.24 | 14.05 | 32.06 | 0.875 |
QUBE-BJ | 2314.77 | 289.35 | 308.98 | 160.41 | 519.53 | 0.875 |
QUBE-LRN | 4558.78 | 569.85 | 427.77 | 901.03 | 875.16 | 0.375 |
semprop | 2389.06 | 298.63 | 314.44 | 229.55 | 509.47 | 0.875 |
sSolve | 4511.01 | 563.88 | 435.23 | 901 | 898.23 | 0.375 |
WalkQSAT | 3449.16 | 431.15 | 385.67 | 344.4 | 874.16 | 0.625 |
yQuaffle | 5480.73 | 685.09 | 374.05 | 901 | 424.2 | 0.25 |