Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
GRL | 807205.11 | 747.41 | 333.86 | 900.85 | 0.18 | 0.18 |
openQbf | 730405.97 | 676.3 | 381.78 | 900.92 | 638.49 | 0.262 |
qbfbdd | 969359.71 | 897.56 | 54.71 | 900.94 | 0.18 | 0.004 |
QbflHR | 777325.98 | 719.75 | 355.16 | 901 | 0.01 | 0.213 |
QChaffLearn | 731317.72 | 677.15 | 350.36 | 864.47 | 57.63 | 0.234 |
QMRes | 955876.45 | 885.07 | 114.97 | 900.8 | 0.25 | 0.019 |
QUANTOR | 18113.91 | 16.77 | 44.24 | 15.07 | 4.24 | 0.181 |
semprop | 635057.05 | 588.02 | 416.95 | 900.99 | 894.77 | 0.364 |
skizzo_v0.4 | 724693.15 | 671.01 | 382.18 | 900.66 | 439.29 | 0.245 |
skizzo_v0.5 | 682977.67 | 632.39 | 394.93 | 900.38 | 826.87 | 0.277 |
sSolve | 649714.7 | 601.59 | 416.24 | 900.98 | 897.12 | 0.351 |
WalkQSAT | 579396.41 | 536.48 | 435.58 | 900.97 | 900.88 | 0.412 |
yQuaffle | 699048.17 | 647.27 | 372.64 | 864.63 | 629.33 | 0.269 |