QBF Solver Evaluation Portal
qbflib.orgSota solver results for family conformant_planning
QBFEVAL'17 - Prenex non-CNF Track
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| cube_c7_ser--opt-24_ | qfun0.1 | SAT | 7.89 |  |
| emptyroom_e4_ser--opt-44_ | qfun0.1 | SAT | 109.72 | |