Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
GRL | 4503.36 | 900.67 | 0.15 | 900.73 | 0.25 | 0 |
openQbf | 4504.64 | 900.93 | 0.04 | 900.93 | 0.07 | 0 |
qbfbdd | 4500.69 | 900.14 | 0.23 | 900.28 | 0.42 | 0 |
QbflHR | 4504.94 | 900.99 | 0.01 | 900.99 | 0.02 | 0 |
QChaffLearn | 3600.32 | 720.06 | 359.83 | 899.46 | 450.25 | 0 |
QMRes | 1849.97 | 369.99 | 432.86 | 17.03 | 442.15 | 0 |
QUANTOR | 3652.68 | 730.54 | 337.87 | 899.43 | 422.53 | 0.2 |
semprop | 4504.96 | 900.99 | 0.01 | 900.99 | 0.01 | 0 |
skizzo_v0.4 | 3640.24 | 728.05 | 344.24 | 899.95 | 430.41 | 0.2 |
skizzo_v0.5 | 3621.64 | 724.33 | 345.92 | 896.14 | 433.98 | 0.2 |
sSolve | 4501.88 | 900.38 | 0.07 | 900.38 | 0.09 | 0 |
WalkQSAT | 4504.57 | 900.91 | 0.07 | 900.92 | 0.12 | 0 |
yQuaffle | 4499.67 | 899.93 | 0.6 | 900.23 | 1.15 | 0 |