QBF Solver Evaluation Portal
qbflib.orgSota solver results for family ltl2aig-comp
QBFEVAL'17 - Prenex CNF Track
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| load_3c_comp_comp7_REAL.unsat | rareqs | UNSAT | 1.85 |  |
| load_full_4_comp3_REAL.unsat | AIGSolve | UNSAT | 19.76 | |