QBF Solver Evaluation Portal
qbflib.orgSota solver results for family ltl2aig-comp
QBFEVAL'19 - Prenex non-CNF Track
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| gb_s2_r2_comp3_REAL.unsat | quabs___caqe-hqspre | UNSAT | 57.76 |  |
| load_full_2_comp6_REAL.unsat | quabs___caqe-hqspre | UNSAT | 2.99 | |