Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
GRL | 82026.62 | 719.53 | 346.26 | 900.53 | 0.41 | 0.219 |
openQbf | 92990.96 | 815.71 | 260.98 | 900.92 | 0.05 | 0.096 |
qbfbdd | 100921.9 | 885.28 | 116.96 | 900.98 | 0.11 | 0.018 |
QbflHR | 92489.55 | 811.31 | 261.19 | 901 | 0.04 | 0.114 |
QChaffLearn | 69993.44 | 613.98 | 401.99 | 884.73 | 855.05 | 0.325 |
QMRes | 29972.1 | 262.91 | 399.99 | 3.71 | 899.22 | 0.693 |
QUANTOR | 5903.6 | 51.79 | 199.8 | 0.11 | 11.03 | 0.693 |
semprop | 46878.53 | 411.22 | 428.68 | 142.57 | 900.31 | 0.588 |
skizzo_v0.4 | 28988.42 | 254.28 | 348.92 | 18.66 | 628.68 | 0.491 |
skizzo_v0.5 | 12055.12 | 105.75 | 213.38 | 3.28 | 111.52 | 0.772 |
sSolve | 80484.3 | 706 | 361.84 | 900.97 | 0.8 | 0.237 |
WalkQSAT | 85553.74 | 750.47 | 321.49 | 900.99 | 0.12 | 0.175 |
yQuaffle | 74721.75 | 655.45 | 380.33 | 899.87 | 790.9 | 0.281 |