Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
GRL | 11.45 | 1.15 | 1.8 | 0.04 | 0.31 | 1 |
openQbf | 7.31 | 0.73 | 0.75 | 0.41 | 0.23 | 1 |
qbfbdd | 6305.24 | 630.52 | 412.77 | 900.72 | 900.73 | 0.3 |
QbflHR | 0.55 | 0.06 | 0.06 | 0.03 | 0.04 | 1 |
QChaffLearn | 0.46 | 0.05 | 0.06 | 0.02 | 0.01 | 1 |
QMRes | 9004.55 | 900.46 | 0.11 | 900.49 | 0.18 | 0 |
QUANTOR | 95.48 | 9.55 | 0.08 | 9.56 | 0.11 | 0 |
semprop | 0.13 | 0.01 | 0.01 | 0.01 | 0.01 | 1 |
skizzo_v0.4 | 539.87 | 53.99 | 45.27 | 28.01 | 43.32 | 1 |
skizzo_v0.5 | 762.04 | 76.2 | 66.94 | 35.88 | 100.69 | 1 |
sSolve | 0.11 | 0.01 | 0 | 0.01 | 0 | 1 |
WalkQSAT | 5406.07 | 540.61 | 441.39 | 901 | 900.99 | 0.4 |
yQuaffle | 126.07 | 12.61 | 36.56 | 0.38 | 0.51 | 1 |