Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
ghostq-cegar | 1202.58 | 240.52 | 293.21 | 2.56 | 300.66 | 0.6 |
ghostq-plain | 1212.35 | 242.47 | 291.65 | 12.47 | 305.68 | 0.6 |
qsts | 1815.37 | 363.07 | 289.82 | 599.71 | 591.59 | 0.4 |
quabs-minisat | 1216.67 | 243.33 | 291.04 | 16.75 | 307.98 | 0.6 |
quabs-picosat | 1384.49 | 276.9 | 272.01 | 184.35 | 391.68 | 0.6 |
rareqs-nn | 1407.3 | 281.46 | 270.32 | 206.46 | 402.04 | 0.6 |
xb-bid-qsts | 1205.37 | 241.07 | 292.67 | 4.53 | 301.07 | 0.6 |
xb-qsts | 1205.3 | 241.06 | 292.72 | 4.38 | 301.06 | 0.6 |