Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
ghostq-cegar | 267.5 | 53.5 | 104.23 | 1.14 | 2.5 | 1 |
ghostq-plain | 54.67 | 10.93 | 21.21 | 0.3 | 0.4 | 1 |
qsts | 601.59 | 120.32 | 239.7 | 0.27 | 0.9 | 0.8 |
quabs-minisat | 11.24 | 2.25 | 3.6 | 0.52 | 0.76 | 1 |
quabs-picosat | 201.6 | 40.32 | 79.73 | 0.48 | 0.79 | 1 |
rareqs-nn | 602.26 | 120.45 | 239.63 | 0.61 | 0.59 | 0.8 |
xb-bid-qsts | 11.97 | 2.39 | 4.25 | 0.36 | 0.23 | 1 |
xb-qsts | 57.57 | 11.51 | 22.51 | 0.35 | 0.23 | 1 |