Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
ghostq-cegar | 2399.27 | 479.85 | 239.88 | 599.71 | 300 | 0.2 |
ghostq-plain | 2398.85 | 479.77 | 239.84 | 599.62 | 299.81 | 0.2 |
qsts | 2398.96 | 479.79 | 239.89 | 599.71 | 299.85 | 0.2 |
quabs-minisat | 2398.98 | 479.8 | 239.83 | 599.71 | 299.79 | 0.2 |
quabs-picosat | 2399.24 | 479.85 | 239.82 | 599.71 | 299.81 | 0.2 |
rareqs-nn | 2398.65 | 479.73 | 239.68 | 599.43 | 299.68 | 0.2 |
xb-bid-qsts | 1651.07 | 330.21 | 263.07 | 413.12 | 486.96 | 0.6 |
xb-qsts | 2398.47 | 479.69 | 239.8 | 599.52 | 299.85 | 0.2 |