Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
ghostq-cegar | 1312.64 | 262.53 | 191.87 | 178.57 | 167.32 | 0.4 |
ghostq-plain | 1064.63 | 212.93 | 196.29 | 100.72 | 49.71 | 0.4 |
qsts | 20.92 | 4.18 | 4.53 | 0.9 | 4.55 | 1 |
quabs-minisat | 1813.31 | 362.66 | 290.34 | 599.71 | 592.62 | 0.4 |
quabs-picosat | 1818.85 | 363.77 | 289.04 | 599.71 | 589.9 | 0.4 |
rareqs-nn | 2986.56 | 597.31 | 2.63 | 599.31 | 5.26 | 0 |
xb-bid-qsts | 1993.16 | 398.63 | 253.3 | 599.42 | 502.41 | 0.4 |
xb-qsts | 1997.85 | 399.57 | 252.54 | 599.42 | 500.06 | 0.4 |