Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
ghostq-cegar | 2997.75 | 599.55 | 0.21 | 599.61 | 0.35 | 0 |
ghostq-plain | 2997.97 | 599.59 | 0.24 | 599.71 | 0.44 | 0 |
qsts | 700.77 | 140.15 | 219.06 | 1.39 | 67.17 | 1 |
quabs-minisat | 2998.55 | 599.71 | 0 | 599.71 | 0 | 0 |
quabs-picosat | 728.38 | 145.68 | 196.36 | 6.53 | 112.89 | 1 |
rareqs-nn | 1962.54 | 392.51 | 256.95 | 599.01 | 516.76 | 0.4 |
xb-bid-qsts | 1104.82 | 220.96 | 268.8 | 7.36 | 250.68 | 0.8 |
xb-qsts | 1116.84 | 223.37 | 271.32 | 7.34 | 256.74 | 0.8 |