Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
ghostq-cegar | 1208 | 241.6 | 292.29 | 5.76 | 301.1 | 0.6 |
ghostq-plain | 1208.42 | 241.68 | 292.21 | 4.75 | 299.87 | 0.6 |
qsts | 0.5 | 0.1 | 0.07 | 0.06 | 0.07 | 1 |
quabs-minisat | 1200.43 | 240.09 | 293.63 | 0.63 | 299.98 | 0.6 |
quabs-picosat | 1200.78 | 240.16 | 293.57 | 0.86 | 300.04 | 0.6 |
rareqs-nn | 1683.22 | 336.64 | 232.95 | 277.18 | 334.59 | 0.6 |
xb-bid-qsts | 2400.67 | 480.13 | 238.83 | 599.53 | 298.62 | 0.2 |
xb-qsts | 2400.56 | 480.11 | 238.81 | 599.53 | 298.67 | 0.2 |