Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
ghostq-cegar | 12.45 | 6.23 | 1.48 | 6.23 | 0 | 1 |
ghostq-plain | 1199.72 | 599.86 | 0.05 | 599.86 | 0 | 0 |
qsts | 992.47 | 496.24 | 103.48 | 496.24 | 0 | 0.5 |
quabs-minisat | 252.67 | 126.34 | 11.09 | 126.34 | 0 | 1 |
quabs-picosat | 1199.78 | 599.89 | 0.18 | 599.89 | 0 | 0 |
rareqs-nn | 62.44 | 31.22 | 25.21 | 31.22 | 0 | 1 |
xb-bid-qsts | 31.2 | 15.6 | 12.72 | 15.6 | 0 | 1 |
xb-qsts | 6.56 | 3.28 | 0.46 | 3.28 | 0 | 1 |