QBF Solver Evaluation Portal
qbflib.orgFamily Planning-CTE 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 | 827.01 | 275.67 | 137.68 | 258.62 | 142.4 | 0.333 |
| ghostq-plain | 378.2 | 126.07 | 104.12 | 116.22 | 112.47 | 0.333 |
| qsts | 1195.66 | 398.55 | 281.45 | 596.71 | 596.19 | 0.333 |
| quabs-minisat | 1794.93 | 598.31 | 1.99 | 599.71 | 4.21 | 0.333 |
| quabs-picosat | 1217.88 | 405.96 | 274.01 | 599.71 | 581.26 | 0.333 |
| rareqs-nn | 1182.86 | 394.29 | 275.9 | 585.31 | 581.17 | 0.333 |
| xb-bid-qsts | 1202.13 | 400.71 | 281.44 | 599.72 | 597.03 | 0.333 |
| xb-qsts | 1202.17 | 400.72 | 281.49 | 599.72 | 597.09 | 0.333 |