Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
ghostq-cegar | 2998.75 | 599.75 | 0.05 | 599.71 | 0.05 | 0 |
ghostq-plain | 2999.15 | 599.83 | 0.07 | 599.81 | 0.1 | 0 |
qsts | 2803.89 | 560.78 | 72.79 | 599.71 | 97.44 | 0 |
quabs-minisat | 2998.55 | 599.71 | 0 | 599.71 | 0 | 0 |
quabs-picosat | 3001.24 | 600.25 | 1.08 | 599.71 | 0 | 0 |
rareqs-nn | 2998.45 | 599.69 | 0.04 | 599.71 | 0.05 | 0 |
xb-bid-qsts | 3.67 | 0.73 | 0.23 | 0.79 | 0.35 | 1 |
xb-qsts | 3.4 | 0.68 | 0.22 | 0.7 | 0.28 | 1 |