Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
GRL | 1510.07 | 151.01 | 260.16 | 42.3 | 153 | 0.6 |
openQbf | 9009.17 | 900.92 | 0.03 | 900.93 | 0.04 | 0 |
qbfbdd | 9009.75 | 900.98 | 0.01 | 900.98 | 0.02 | 0 |
QbflHR | 9010.01 | 901 | 0 | 901 | 0 | 0 |
QChaffLearn | 174.45 | 17.45 | 38.61 | 1.85 | 4.29 | 0.9 |
QMRes | 9004.37 | 900.44 | 0.18 | 900.42 | 0.29 | 0 |
QUANTOR | 96.14 | 9.61 | 0.15 | 9.65 | 0.32 | 0 |
semprop | 2.82 | 0.28 | 0.28 | 0.22 | 0.3 | 1 |
skizzo_v0.4 | 78.85 | 7.89 | 7.64 | 5.37 | 9.43 | 1 |
skizzo_v0.5 | 303.4 | 30.34 | 44 | 16.47 | 23.12 | 1 |
sSolve | 0.09 | 0.01 | 0.01 | 0.01 | 0.01 | 1 |
WalkQSAT | 199.03 | 19.9 | 30.99 | 1.58 | 8.33 | 1 |
yQuaffle | 5539.42 | 553.94 | 424.34 | 898.8 | 898.84 | 0.4 |