Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
ghostq-cegar | 711.77 | 142.35 | 226.02 | 33.94 | 32.12 | 1 |
ghostq-plain | 40.17 | 8.03 | 14.56 | 0.77 | 0.77 | 1 |
qsts | 0.8 | 0.16 | 0.25 | 0.04 | 0.03 | 1 |
quabs-minisat | 4.43 | 0.89 | 1.29 | 0.26 | 0.28 | 1 |
quabs-picosat | 9.71 | 1.94 | 2.54 | 0.66 | 0.83 | 1 |
rareqs-nn | 2491.02 | 498.2 | 202.96 | 599.71 | 253.77 | 0.2 |
xb-bid-qsts | 4.6 | 0.92 | 1.11 | 0.4 | 0.28 | 1 |
xb-qsts | 4.54 | 0.91 | 1.09 | 0.4 | 0.28 | 1 |