Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
ghostq-cegar | 2012.02 | 402.4 | 245.04 | 599.71 | 493.27 | 0.4 |
ghostq-plain | 1801.64 | 360.33 | 293.3 | 599.71 | 598.66 | 0.4 |
qsts | 604.08 | 120.82 | 239.45 | 1.13 | 2.05 | 0.8 |
quabs-minisat | 749 | 149.8 | 227.92 | 48.25 | 73.39 | 0.8 |
quabs-picosat | 87.46 | 17.49 | 21.22 | 3.84 | 14.57 | 1 |
rareqs-nn | 2998.54 | 599.71 | 0.15 | 599.61 | 0.05 | 0 |
xb-bid-qsts | 16.49 | 3.3 | 3.42 | 2.3 | 2.01 | 1 |
xb-qsts | 16.38 | 3.28 | 3.4 | 2.29 | 2 | 1 |