Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
GRL | 3730.19 | 124.34 | 160.62 | 43.59 | 250.7 | 0.8 |
openQbf | 12707.27 | 423.58 | 370.47 | 386.08 | 897.9 | 0.667 |
qbfbdd | 6859.76 | 228.66 | 363.02 | 2.2 | 411.03 | 0.833 |
QbflHR | 18023.75 | 600.79 | 424.55 | 900.99 | 900.58 | 0.333 |
QChaffLearn | 8430.94 | 281.03 | 398.95 | 29.97 | 873.69 | 0.7 |
QMRes | 27008.75 | 900.29 | 0.21 | 900.25 | 0.36 | 0 |
QUANTOR | 511.58 | 17.05 | 16.68 | 9.01 | 33.88 | 0.333 |
semprop | 16200.03 | 540 | 419.68 | 900.96 | 900.47 | 0.467 |
skizzo_v0.4 | 5727.99 | 190.93 | 215.23 | 91.09 | 365.82 | 0.333 |
skizzo_v0.5 | 10530.26 | 351.01 | 324.84 | 197.52 | 606.43 | 0.333 |
sSolve | 8599.39 | 286.65 | 404.89 | 23.58 | 900.61 | 0.7 |
WalkQSAT | 2838.56 | 94.62 | 85.16 | 60.75 | 172.25 | 0.033 |
yQuaffle | 6349.41 | 211.65 | 329.71 | 2.52 | 425.61 | 0.767 |