Instances of family ltl2aig-comp solved by caqe_2017_v1
QBFEVAL'17 - Prenex 2QBF Track

InstanceResultTime
load_2c_comp_comp7_REAL.satSAT20.7
load_3c_comp_comp6_REAL.satFAIL900
load_4c_comp_comp4_REAL.satFAIL900
load_full_3_comp5_REAL.satFAIL900