Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
ghostq-cegar | 34.07 | 8.52 | 12 | 2.46 | 16.69 | 1 |
ghostq-plain | 5.63 | 1.41 | 2.08 | 0.27 | 2.51 | 1 |
qsts | 1199.54 | 299.89 | 299.88 | 299.87 | 599.75 | 0.5 |
quabs-minisat | 130.41 | 32.6 | 34.74 | 23.39 | 64.07 | 1 |
quabs-picosat | 19.64 | 4.91 | 7.97 | 0.46 | 9.7 | 1 |
rareqs-nn | 456.49 | 114.12 | 111.49 | 82.73 | 191.15 | 1 |
xb-bid-qsts | 25.91 | 6.48 | 11.1 | 0.07 | 12.82 | 1 |
xb-qsts | 0.57 | 0.14 | 0.13 | 0.07 | 0.15 | 1 |