Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
ghostq-cegar | 1.02 | 0.2 | 0.14 | 0.16 | 0.13 | 1 |
ghostq-plain | 1203.27 | 240.65 | 293.25 | 3.49 | 301.57 | 0.6 |
qsts | 1424.96 | 284.99 | 269.82 | 225.38 | 412.48 | 0.6 |
quabs-minisat | 1542.93 | 308.59 | 268.74 | 343.41 | 471.51 | 0.6 |
quabs-picosat | 1799.33 | 359.87 | 293.75 | 599.71 | 599.61 | 0.4 |
rareqs-nn | 2.08 | 0.42 | 0.39 | 0.23 | 0.34 | 1 |
xb-bid-qsts | 1.24 | 0.25 | 0.18 | 0.2 | 0.19 | 1 |
xb-qsts | 1.21 | 0.24 | 0.18 | 0.19 | 0.19 | 1 |