Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
GRL | 18015.25 | 900.76 | 0.17 | 900.81 | 0.23 | 0 |
openQbf | 18018.47 | 900.92 | 0.03 | 900.93 | 0.05 | 0 |
qbfbdd | 18013.22 | 900.66 | 0.22 | 900.76 | 0.32 | 0 |
QbflHR | 18020.02 | 901 | 0.01 | 901 | 0.01 | 0 |
QChaffLearn | 17959.48 | 897.97 | 2 | 898.21 | 3.17 | 0 |
QMRes | 8925.58 | 446.28 | 398.42 | 386.05 | 891.8 | 0.35 |
QUANTOR | 3354.32 | 167.72 | 273.59 | 52.16 | 99.88 | 0 |
semprop | 18019.99 | 901 | 0.01 | 901 | 0.02 | 0 |
skizzo_v0.4 | 16436.44 | 821.82 | 167.42 | 900.63 | 0.28 | 0 |
skizzo_v0.5 | 17151.7 | 857.59 | 126.43 | 900.29 | 0.7 | 0 |
sSolve | 18016.48 | 900.82 | 0.07 | 900.84 | 0.11 | 0 |
WalkQSAT | 17882.57 | 894.13 | 29.93 | 901 | 0.01 | 0.05 |
yQuaffle | 18010.46 | 900.52 | 0.17 | 900.58 | 0.19 | 0 |