Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
ghostq-cegar | 9151.81 | 36.61 | 137.31 | 2.79 | 3.13 | 0.044 |
ghostq-plain | 9466.24 | 37.86 | 139.02 | 2.58 | 3.14 | 0.044 |
qsts | 54253.08 | 217.01 | 247.2 | 44.14 | 452.79 | 0 |
quabs-minisat | 36116.05 | 144.46 | 145.58 | 107.74 | 109.31 | 0.02 |
quabs-picosat | 49965.1 | 199.86 | 196.71 | 135.98 | 92.6 | 0.012 |
rareqs-nn | 13856.36 | 55.43 | 169.08 | 3.04 | 3.09 | 0.012 |
xb-bid-qsts | 23.75 | 0.1 | 0.13 | 0.05 | 0 | 1 |
xb-qsts | 23.53 | 0.09 | 0.16 | 0.05 | 0 | 1 |