Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
ghostq-cegar | 212.11 | 42.42 | 37.58 | 17.42 | 35.67 | 0.8 |
ghostq-plain | 212.12 | 42.42 | 37.67 | 17.44 | 35.52 | 0.8 |
qsts | 12.3 | 2.46 | 2.48 | 0.8 | 2.29 | 1 |
quabs-minisat | 1261.61 | 252.32 | 283.94 | 43.68 | 312.45 | 0.6 |
quabs-picosat | 1267.47 | 253.49 | 283.02 | 46.63 | 312.47 | 0.6 |
rareqs-nn | 362.8 | 72.56 | 68.81 | 26.06 | 64.57 | 1 |
xb-bid-qsts | 1961.14 | 392.23 | 255.83 | 598.65 | 517.66 | 0.6 |
xb-qsts | 1956.39 | 391.28 | 255.43 | 594.87 | 516.31 | 0.6 |