Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
GRL | 594.42 | 74.3 | 94.03 | 33.93 | 132.22 | 0.5 |
openQbf | 5409.18 | 676.15 | 389.33 | 900.91 | 448.9 | 0.25 |
qbfbdd | 4503.48 | 562.94 | 436 | 900.36 | 900.75 | 0.375 |
QbflHR | 3604.96 | 450.62 | 450.38 | 450.94 | 900.97 | 0.5 |
QChaffLearn | 297.52 | 37.19 | 97 | 0.39 | 0.96 | 0.875 |
QMRes | 1934.31 | 241.79 | 380.4 | 24.52 | 446.81 | 0.75 |
QUANTOR | 1808.27 | 226.03 | 387.14 | 1.99 | 453.3 | 0.75 |
semprop | 200.54 | 25.07 | 43.61 | 2.43 | 33.8 | 0.875 |
skizzo_v0.4 | 422.56 | 52.82 | 96.91 | 0.59 | 60.91 | 0.75 |
skizzo_v0.5 | 306.5 | 38.31 | 63.16 | 3.1 | 69.19 | 0.75 |
sSolve | 3659.8 | 457.48 | 443.51 | 465.37 | 887.66 | 0.5 |
WalkQSAT | 904.56 | 113.07 | 297.81 | 0.45 | 0.55 | 0.25 |
yQuaffle | 1049.12 | 131.14 | 294.64 | 0.29 | 73.95 | 0.875 |