QBF Solver Evaluation Portal
qbflib.orgSota solver results for family LTL2DPA
QBFEVAL'18 - Prenex non-CNF Track
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| ltl2dpa_C26_comp2_REAL.unsat | QFUN | UNSAT | 0 |  |
| ltl2dpa_C26_comp3_REAL.sat | quabs___caqe-bloqqer | SAT | 0.99 | |
| ltl2dpa_C26_comp3_REAL.unsat | QFUN | UNSAT | 0 | |