Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
GRL | 4504.22 | 900.84 | 0.1 | 900.9 | 0.15 | 0 |
openQbf | 4504.66 | 900.93 | 0.01 | 900.93 | 0.01 | 0 |
qbfbdd | 4504.66 | 900.93 | 0.03 | 900.94 | 0.04 | 0 |
QbflHR | 4504.91 | 900.98 | 0.02 | 900.98 | 0.03 | 0 |
QChaffLearn | 1802.68 | 360.54 | 441 | 0.64 | 450.21 | 0 |
QMRes | 966.25 | 193.25 | 352.63 | 17.58 | 2.08 | 0 |
QUANTOR | 4491.6 | 898.32 | 1.34 | 898.09 | 1.82 | 0 |
semprop | 3604.44 | 720.89 | 360.18 | 900.97 | 450.24 | 0 |
skizzo_v0.4 | 3940.56 | 788.11 | 223.21 | 899.65 | 279.91 | 0 |
skizzo_v0.5 | 3776.67 | 755.33 | 280.06 | 896.48 | 355.44 | 0 |
sSolve | 4504.27 | 900.85 | 0.29 | 900.99 | 0.36 | 0 |
WalkQSAT | 3604.08 | 720.82 | 360.16 | 900.85 | 450.29 | 0 |
yQuaffle | 4498.94 | 899.79 | 0.63 | 899.56 | 0.84 | 0 |