Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
ghostq-cegar | 601.74 | 120.35 | 239.68 | 0.29 | 0.85 | 0.8 |
ghostq-plain | 93.32 | 18.66 | 36.72 | 0.26 | 0.45 | 1 |
qsts | 644.01 | 128.8 | 236.08 | 0.05 | 22.15 | 0.8 |
quabs-minisat | 17.51 | 3.5 | 4.56 | 0.05 | 3.13 | 1 |
quabs-picosat | 9.44 | 1.89 | 3.64 | 0.08 | 0.14 | 1 |
rareqs-nn | 443.22 | 88.64 | 170.62 | 5.44 | 6.53 | 1 |
xb-bid-qsts | 6.15 | 1.23 | 1.24 | 0.57 | 1.33 | 1 |
xb-qsts | 5.66 | 1.13 | 1.14 | 0.56 | 1.18 | 1 |