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


InstanceSolverResultTime
ltl2dpa_C26_comp2_REAL.sataspq2v3SAT1.13