Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
ghostq-cegar | 2399.03 | 479.81 | 239.76 | 599.71 | 299.76 | 0.2 |
ghostq-plain | 2418.84 | 483.77 | 241.86 | 599.91 | 303.14 | 0.2 |
qsts | 2132.04 | 426.41 | 221.57 | 480.63 | 314.23 | 0.2 |
quabs-minisat | 2398.94 | 479.79 | 239.84 | 599.71 | 299.81 | 0.2 |
quabs-picosat | 2399.2 | 479.84 | 239.84 | 599.71 | 299.83 | 0.2 |
rareqs-nn | 2398.59 | 479.72 | 239.76 | 599.62 | 299.76 | 0.2 |
xb-bid-qsts | 987.84 | 197.57 | 224.73 | 75.28 | 166.92 | 0.8 |
xb-qsts | 2398.31 | 479.66 | 239.78 | 599.52 | 299.76 | 0.2 |