Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
ghostq-cegar | 896.22 | 298.74 | 212.46 | 419.62 | 419.54 | 0.333 |
ghostq-plain | 662.73 | 220.91 | 158.67 | 296.83 | 296.75 | 0.333 |
qsts | 1199.26 | 399.75 | 282.65 | 599.52 | 599.5 | 0.333 |
quabs-minisat | 1199.52 | 399.84 | 282.73 | 599.71 | 599.71 | 0.333 |
quabs-picosat | 1199.52 | 399.84 | 282.73 | 599.71 | 599.71 | 0.333 |
rareqs-nn | 1197.82 | 399.27 | 282.27 | 598.42 | 598.34 | 0.333 |
xb-bid-qsts | 626.9 | 208.97 | 275.9 | 28.01 | 27.94 | 0.667 |
xb-qsts | 628.71 | 209.57 | 275.51 | 29.82 | 29.75 | 0.667 |