Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
ghostq-cegar | 72.77 | 14.55 | 15.58 | 6.47 | 16.39 | 1 |
ghostq-plain | 55.66 | 11.13 | 12.99 | 1.46 | 12.29 | 1 |
qsts | 0.66 | 0.13 | 0.12 | 0.06 | 0.14 | 1 |
quabs-minisat | 8.51 | 1.7 | 1.91 | 0.42 | 2.02 | 1 |
quabs-picosat | 32.4 | 6.48 | 7.72 | 0.69 | 7.28 | 1 |
rareqs-nn | 1607.95 | 321.59 | 271.46 | 407.75 | 503.34 | 0.6 |
xb-bid-qsts | 3.47 | 0.69 | 0.41 | 0.74 | 0.61 | 1 |
xb-qsts | 3.42 | 0.68 | 0.4 | 0.75 | 0.62 | 1 |