Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
ghostq-cegar | 1357.03 | 271.41 | 274.11 | 157.09 | 378.09 | 0.6 |
ghostq-plain | 1216.41 | 243.28 | 291.01 | 16.8 | 307.98 | 0.6 |
qsts | 1383.88 | 276.78 | 255.51 | 245.94 | 391.68 | 0.8 |
quabs-minisat | 677.79 | 135.56 | 232.75 | 33.49 | 38.86 | 0.8 |
quabs-picosat | 629.95 | 125.99 | 237.01 | 11.34 | 14.65 | 0.8 |
rareqs-nn | 1807.13 | 361.43 | 291.72 | 599.52 | 595.42 | 0.4 |
xb-bid-qsts | 1806.37 | 361.27 | 291.95 | 599.52 | 595.91 | 0.4 |
xb-qsts | 1806.06 | 361.21 | 292.03 | 599.53 | 596.07 | 0.4 |