Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
ghostq-cegar | 5.85 | 1.17 | 0.86 | 1.11 | 1.16 | 1 |
ghostq-plain | 4.96 | 0.99 | 0.73 | 0.9 | 0.94 | 1 |
qsts | 0.2 | 0.04 | 0.02 | 0.04 | 0.04 | 1 |
quabs-minisat | 0.58 | 0.12 | 0.09 | 0.12 | 0.13 | 1 |
quabs-picosat | 1.39 | 0.28 | 0.22 | 0.31 | 0.34 | 1 |
rareqs-nn | 33.21 | 6.64 | 5.74 | 5.93 | 7.37 | 1 |
xb-bid-qsts | 3.48 | 0.7 | 0.43 | 0.71 | 0.64 | 1 |
xb-qsts | 3.5 | 0.7 | 0.44 | 0.71 | 0.63 | 1 |