Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
ghostq-cegar | 2998 | 599.6 | 0.09 | 599.53 | 0.1 | 0 |
ghostq-plain | 2025.82 | 405.16 | 90.48 | 356.82 | 109.14 | 0 |
qsts | 2998.19 | 599.64 | 0.07 | 599.62 | 0.1 | 0 |
quabs-minisat | 2998.65 | 599.73 | 0.04 | 599.71 | 0 | 0 |
quabs-picosat | 2998.55 | 599.71 | 0 | 599.71 | 0 | 0 |
rareqs-nn | 2427.92 | 485.58 | 227.67 | 599.31 | 284.69 | 0.2 |
xb-bid-qsts | 2997.37 | 599.47 | 0.12 | 599.42 | 0.15 | 0 |
xb-qsts | 2997.48 | 599.5 | 0.09 | 599.42 | 0.1 | 0 |