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


InstanceSolverResultTime
load_3c_comp_comp7_REAL.unsatRareqs_2018UNSAT1.79
load_full_4_comp3_REAL.unsatRareqs_2018UNSAT30.34