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

InstanceResultTime
ltl2dba_C2-6_comp3_REAL.unsatUNSAT1.07
ltl2dba_C2-6_comp3_REAL.satSAT1.4