Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
ghostq-cegar | 1302.67 | 260.53 | 278.98 | 101.42 | 348.91 | 0.4 |
ghostq-plain | 1311.53 | 262.31 | 277.34 | 100.82 | 343.98 | 0.4 |
qsts | 1796.9 | 359.38 | 293.42 | 597.92 | 598.67 | 0.4 |
quabs-minisat | 1820.09 | 364.02 | 288.71 | 599.71 | 589.28 | 0.4 |
quabs-picosat | 1806.47 | 361.29 | 292.05 | 599.71 | 596.09 | 0.4 |
rareqs-nn | 1884.34 | 376.87 | 270.83 | 593.11 | 549.21 | 0.4 |
xb-bid-qsts | 1801.78 | 360.36 | 292.75 | 599.12 | 597.4 | 0.4 |
xb-qsts | 1801.76 | 360.35 | 292.79 | 599.11 | 597.46 | 0.4 |