Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
ghostq-cegar | 1767.56 | 441.89 | 255.23 | 583.67 | 315.74 | 0.5 |
ghostq-plain | 1590.61 | 397.65 | 234.21 | 493.79 | 345.73 | 0.75 |
qsts | 0.56 | 0.14 | 0.12 | 0.11 | 0.2 | 1 |
quabs-minisat | 1820.01 | 455 | 250.64 | 599.71 | 289.42 | 0.25 |
quabs-picosat | 1811.22 | 452.81 | 254.56 | 599.76 | 294.01 | 0.25 |
rareqs-nn | 1521.33 | 380.33 | 245.89 | 458.77 | 438.87 | 0.5 |
xb-bid-qsts | 410.55 | 102.64 | 174.57 | 2.76 | 205.13 | 1 |
xb-qsts | 408.34 | 102.09 | 173.64 | 2.73 | 204.02 | 1 |