QBF Solver Evaluation Portal
qbflib.orgFamily conformant_planning 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 | 1498.72 | 249.79 | 262.97 | 157.07 | 298.49 | 0.667 |
| ghostq-plain | 1523.3 | 253.88 | 252.82 | 159.49 | 173.12 | 0.667 |
| qsts | 2401.43 | 400.24 | 282.05 | 599.63 | 599.65 | 0.333 |
| quabs-minisat | 2401 | 400.17 | 282.2 | 599.71 | 599.6 | 0.333 |
| quabs-picosat | 2399.56 | 399.93 | 282.54 | 599.71 | 599.55 | 0.333 |
| rareqs-nn | 1829.62 | 304.94 | 294.45 | 308 | 597.72 | 0.5 |
| xb-bid-qsts | 1328.47 | 221.41 | 268.82 | 61.45 | 94.96 | 0.667 |
| xb-qsts | 1301.24 | 216.87 | 272.26 | 50.78 | 94.49 | 0.667 |