Instances of family LTL2DPA solved by <a href='solver_detail.php?solver=302'>aspq3alt</a> <br> QBFEVAL'18

Instance	Result	Time
ltl2dpa_C26_comp2_REAL.sat	SAT	3.92

QBF Solver Evaluation Portal