Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
GRL | 5403.95 | 900.66 | 0.11 | 900.68 | 0.22 | 0 |
openQbf | 5405.57 | 900.93 | 0.02 | 900.93 | 0.05 | 0 |
qbfbdd | 5402.16 | 900.36 | 0.13 | 900.38 | 0.26 | 0 |
QbflHR | 5405.92 | 900.99 | 0.01 | 900.99 | 0.02 | 0 |
QChaffLearn | 3599.44 | 599.91 | 423.96 | 899.13 | 899.17 | 0 |
QMRes | 1867.73 | 311.29 | 416.05 | 18.16 | 4.09 | 0.167 |
QUANTOR | 3752.83 | 625.47 | 390.07 | 898.66 | 899.61 | 0.333 |
semprop | 5405.96 | 900.99 | 0.01 | 901 | 0.03 | 0 |
skizzo_v0.4 | 4501.57 | 750.26 | 335.46 | 900.23 | 900.11 | 0.167 |
skizzo_v0.5 | 2768.23 | 461.37 | 367.98 | 453.79 | 623.37 | 0.333 |
sSolve | 5401.75 | 900.29 | 0.09 | 900.27 | 0.08 | 0 |
WalkQSAT | 3604.31 | 600.72 | 424.6 | 900.91 | 900.67 | 0 |
yQuaffle | 5396.89 | 899.48 | 1.17 | 899.47 | 2.31 | 0 |