Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
GRL | 5495.53 | 549.55 | 430.6 | 900.9 | 892.02 | 0.4 |
openQbf | 9009.27 | 900.93 | 0.02 | 900.93 | 0.02 | 0 |
qbfbdd | 9009.95 | 901 | 0.01 | 901 | 0.02 | 0 |
QbflHR | 0.11 | 0.01 | 0.01 | 0.01 | 0 | 1 |
QChaffLearn | 3876.22 | 387.62 | 405.03 | 180.5 | 862.37 | 0.6 |
QMRes | 8958.28 | 895.83 | 9.12 | 900.26 | 16.93 | 0 |
QUANTOR | 109.95 | 11 | 1.16 | 10.89 | 1.99 | 0 |
semprop | 3608.97 | 360.9 | 440.98 | 1.77 | 900.85 | 0.6 |
skizzo_v0.4 | 9008.85 | 900.89 | 0.09 | 900.89 | 0.09 | 0 |
skizzo_v0.5 | 9009.17 | 900.92 | 0.11 | 900.93 | 0.17 | 0 |
sSolve | 9009.77 | 900.98 | 0.01 | 900.98 | 0.02 | 0 |
WalkQSAT | 4676.07 | 467.61 | 433.98 | 492.7 | 900.34 | 0.5 |
yQuaffle | 8943.35 | 894.34 | 0.67 | 894.56 | 0.89 | 0 |