Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
ghostq-cegar | 1105.58 | 276.4 | 31.79 | 287.87 | 51.85 | 0 |
ghostq-plain | 1009 | 252.25 | 49.97 | 230.28 | 66.25 | 0 |
qsts | 2081.57 | 520.39 | 71.75 | 533.37 | 130.13 | 0 |
quabs-minisat | 2398.84 | 599.71 | 0 | 599.71 | 0 | 0 |
quabs-picosat | 2398.94 | 599.74 | 0.04 | 599.71 | 0.05 | 0 |
rareqs-nn | 2397.35 | 599.34 | 0.11 | 599.31 | 0.15 | 0 |
xb-bid-qsts | 2397.47 | 599.37 | 0.12 | 599.37 | 0.21 | 0 |
xb-qsts | 2397.45 | 599.36 | 0.12 | 599.36 | 0.2 | 0 |