Sota solver results for family LTL2DPA
Prenex CNF Track


InstanceSolverResultTime
ltl2dpa_C26_comp2_REAL.satRareqs_2018SAT1.17