Sota solver results for family LTL2DBA
Prenex CNF Track


InstanceSolverResultTime
ltl2dba_C2-6_comp3_REAL.satRareqs_2018SAT0
ltl2dba_C2-8_comp4_REAL.satRareqs_2018SAT0