Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
CLearn | 2762.19 | 345.27 | 430.62 | 29.44 | 900.85 | 0.625 |
CSBJ | 4507.86 | 563.48 | 435.74 | 901 | 899.58 | 0.375 |
GRL | 3064.68 | 383.09 | 409.33 | 180.39 | 900.55 | 0.625 |
openQbf | 5626.01 | 703.25 | 346.89 | 901 | 340.59 | 0.25 |
orSAT | 6028.08 | 753.51 | 299.08 | 901 | 139.49 | 0.125 |
QBFL-BS | 5428.21 | 678.53 | 385.38 | 901 | 439.42 | 0.25 |
QBFL-JW | 5462.3 | 682.79 | 378.23 | 901.01 | 422.39 | 0.25 |
QMRes | 4180.82 | 522.6 | 417.42 | 738.43 | 900.53 | 0.5 |
QSAT | 3240.89 | 405.11 | 400.18 | 267.27 | 899.34 | 0.625 |
QUANTOR | 2999.12 | 374.89 | 413.46 | 147.97 | 900.97 | 0.625 |
QUBE-BJ | 3616.72 | 452.09 | 448.95 | 455.27 | 899.99 | 0.5 |
QUBE-LRN | 1070.65 | 133.83 | 207.95 | 7.32 | 209.8 | 1 |
semprop | 18.75 | 2.34 | 3.33 | 0.22 | 4.16 | 1 |
sSolve | 1279.28 | 159.91 | 289.76 | 10.42 | 178.1 | 0.875 |
WalkQSAT | 3621.5 | 452.69 | 448.33 | 457.52 | 899.27 | 0.375 |
yQuaffle | 494.79 | 61.85 | 50.61 | 82.46 | 108.51 | 0.625 |