Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
ghostq-cegar | 557.69 | 139.42 | 27.53 | 142.43 | 52.4 | 0 |
ghostq-plain | 532.39 | 133.1 | 23.36 | 136.82 | 44.06 | 0 |
qsts | 2396.65 | 599.16 | 0.11 | 599.16 | 0.19 | 0 |
quabs-minisat | 2398.85 | 599.71 | 0 | 599.71 | 0 | 0 |
quabs-picosat | 2399.04 | 599.76 | 0.05 | 599.76 | 0.1 | 0 |
rareqs-nn | 838.39 | 209.6 | 14.23 | 206.98 | 23.95 | 0 |
xb-bid-qsts | 2398.88 | 599.72 | 0 | 599.72 | 0 | 0 |
xb-qsts | 2399.15 | 599.79 | 0.08 | 599.77 | 0.14 | 0 |