Instances of family ltl2aig-comp solved by Caqe-hqspre
Prenex CNF Track

InstanceResultTime
load_3c_comp_comp7_REAL.unsatUNSAT8.76
load_full_4_comp3_REAL.unsatUNSAT348.37
load_2c_comp_comp7_REAL.satFAIL900