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

Instance	Result	Time
load_2c_comp_comp7_REAL.sat	SAT	12.06

QBF Solver Evaluation Portal