QBF Solver Evaluation Portal
qbflib.orgSota solver results for family ltl2aig-comp
QBFEVAL'17 - Prenex non-CNF Track
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| load_3c_comp_comp7_REAL.unsat | qfun0.1 | UNSAT | 5.21 |  |
| load_full_4_comp3_REAL.unsat | qfun0.1 | UNSAT | 111.07 | |