Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
ghostq-cegar | 1235 | 247 | 288.21 | 32.65 | 314.72 | 0.6 |
ghostq-plain | 77.59 | 15.52 | 24.68 | 0.66 | 5.71 | 1 |
qsts | 9.82 | 1.96 | 3.76 | 0.07 | 0.12 | 1 |
quabs-minisat | 84 | 16.8 | 19.99 | 0.61 | 19.81 | 1 |
quabs-picosat | 117.67 | 23.53 | 37 | 1.13 | 9.02 | 1 |
rareqs-nn | 2998.46 | 599.69 | 0.04 | 599.71 | 0.05 | 0 |
xb-bid-qsts | 1261.54 | 252.31 | 283.77 | 30.88 | 299.54 | 0.6 |
xb-qsts | 1206.03 | 241.21 | 292.72 | 2.97 | 299.52 | 0.6 |