Instances of family LTL2DBA solved by CUED1919_NNL
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
ltl2dba_C2-6_comp3_REAL.unsatFAIL0.58
ltl2dba_C2-6_comp3_REAL.satFAIL900