Instances of family LTL2DPA solved by caqe-pre
Prenex CNF Track

InstanceResultTime
ltl2dpa_C26_comp2_REAL.satSAT451.13