Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
ghostq-cegar | 6678.39 | 333.92 | 191.79 | 296.57 | 413.86 | 0.15 |
ghostq-plain | 3958.48 | 197.92 | 128.31 | 189.81 | 213.71 | 0.3 |
qsts | 7587.22 | 379.36 | 158.94 | 306.85 | 336.38 | 0.05 |
quabs-minisat | 11225.51 | 561.28 | 126.65 | 599.71 | 0 | 0.1 |
quabs-picosat | 10543.12 | 527.16 | 176.44 | 599.71 | 0.05 | 0.15 |
rareqs-nn | 10430.02 | 521.5 | 156.08 | 599.47 | 0.36 | 0 |
xb-bid-qsts | 7966.83 | 398.34 | 266.65 | 599.26 | 552.35 | 0.4 |
xb-qsts | 7921.51 | 396.08 | 269.66 | 599.26 | 554.61 | 0.4 |