Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
GRL | 16536.52 | 516.77 | 373.04 | 522.96 | 775.6 | 0.125 |
openQbf | 25230.45 | 788.45 | 297.56 | 900.93 | 0.05 | 0.125 |
qbfbdd | 25227.56 | 788.36 | 297.92 | 900.98 | 0.08 | 0.125 |
QbflHR | 25229.21 | 788.41 | 297.87 | 901 | 0.01 | 0.125 |
QChaffLearn | 11675.34 | 364.85 | 417.01 | 65.73 | 891.44 | 0.344 |
QMRes | 9340 | 291.88 | 354.38 | 86.98 | 538.65 | 0.625 |
QUANTOR | 2317.47 | 72.42 | 214.87 | 13.23 | 9.95 | 0.25 |
semprop | 23516.23 | 734.88 | 345.95 | 900.98 | 0.07 | 0.188 |
skizzo_v0.4 | 12366.31 | 386.45 | 391.06 | 179.47 | 825.01 | 0.313 |
skizzo_v0.5 | 10923.15 | 341.35 | 381.38 | 88.01 | 851.35 | 0.344 |
sSolve | 25227.66 | 788.36 | 297.92 | 900.97 | 0.07 | 0.125 |
WalkQSAT | 19661.22 | 614.41 | 380.09 | 900.99 | 733.54 | 0.094 |
yQuaffle | 23634.33 | 738.57 | 282.16 | 843.86 | 98.4 | 0.125 |