Sota solver results for family LTL2DPA
QBFEVAL'18 - Prenex CNF Track


InstanceSolverResultTime
ltl2dpa_C26_comp2_REAL.satijtihadSAT1.07