Instances of family ltl2aig-comp solved by quabs___caqe-hqspre
QBFEVAL'19 - Prenex non-CNF Track

InstanceResultTime
load_full_2_comp6_REAL.unsatUNSAT2.99
gb_s2_r2_comp3_REAL.unsatUNSAT57.76