Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
ghostq-cegar | 2653.68 | 530.74 | 138.15 | 599.81 | 172.74 | 0.2 |
ghostq-plain | 2409.68 | 481.94 | 235.9 | 599.91 | 294.99 | 0.2 |
qsts | 2088.75 | 417.75 | 218.2 | 493.44 | 348.63 | 0.4 |
quabs-minisat | 2642.95 | 528.59 | 142.24 | 599.71 | 177.8 | 0.2 |
quabs-picosat | 2998.55 | 599.71 | 0 | 599.71 | 0 | 0 |
rareqs-nn | 2998.56 | 599.71 | 0.06 | 599.71 | 0.05 | 0 |
xb-bid-qsts | 1380.94 | 276.19 | 266.11 | 119.19 | 328.29 | 0.6 |
xb-qsts | 2516.63 | 503.33 | 192.77 | 599.71 | 240.97 | 0.2 |