Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
GRL | 20502.29 | 288.76 | 381.8 | 29.12 | 688.18 | 0.549 |
openQbf | 30665.39 | 431.91 | 436.15 | 138.57 | 899.57 | 0.549 |
qbfbdd | 37275.63 | 525.01 | 439.84 | 900.78 | 898.93 | 0.423 |
QbflHR | 29757.4 | 419.12 | 439.87 | 74.64 | 900.88 | 0.549 |
QChaffLearn | 14381.33 | 202.55 | 361.82 | 0.69 | 80.14 | 0.31 |
QMRes | 19510.85 | 274.8 | 381.09 | 15.66 | 571.53 | 0.408 |
QUANTOR | 2524.93 | 35.56 | 148.15 | 9.22 | 13.33 | 0.479 |
semprop | 35530.55 | 500.43 | 442.91 | 900.91 | 900 | 0.451 |
skizzo_v0.4 | 20863.24 | 293.85 | 387.69 | 8.09 | 783.18 | 0.577 |
skizzo_v0.5 | 17376.82 | 244.74 | 364.85 | 10.18 | 365.71 | 0.592 |
sSolve | 25829.19 | 363.79 | 434.85 | 4.66 | 900.89 | 0.606 |
WalkQSAT | 23301.97 | 328.2 | 416.27 | 2.81 | 900.65 | 0.352 |
yQuaffle | 37231.11 | 524.38 | 398.84 | 769.4 | 849.69 | 0.366 |