Sota solver results for family ltl2aig-comp
Prenex CNF Track


InstanceSolverResultTime
load_2c_comp_comp7_REAL.satRareqs_2018SAT10.59
load_3c_comp_comp7_REAL.unsatRareqs_2018UNSAT1.81
load_full_4_comp3_REAL.unsatRareqs_2018UNSAT30.21