QBF Solver Evaluation Portal
qbflib.orgFamily evader-pursuer-4x4-logarithmic results for solvers
QBFEVAL'16 - Prenex non-CNF Track.
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| ghostq-cegar | 1078.86 | 269.72 | 222.46 | 229.64 | 397.99 | 0.75 |
| ghostq-plain | 29.2 | 7.3 | 3.71 | 7.5 | 6.41 | 1 |
| qsts | 976.73 | 244.18 | 69.24 | 261.68 | 100.7 | 0.25 |
| quabs-minisat | 1630.14 | 407.54 | 225.07 | 490.38 | 384.35 | 0.5 |
| quabs-picosat | 1476.81 | 369.2 | 242.47 | 422.17 | 461.22 | 0.5 |
| rareqs-nn | 2398.64 | 599.66 | 0.05 | 599.66 | 0.1 | 0 |
| xb-bid-qsts | 102.97 | 25.74 | 15.36 | 27.6 | 29.69 | 1 |
| xb-qsts | 61.63 | 15.41 | 14.11 | 10.55 | 23.28 | 1 |