Instances of family ltl2aig-comp solved by iProver-qbf-2017-07-27-v3
QBFEVAL'17 - Prenex 2QBF Track

InstanceResultTime
load_3c_comp_comp6_REAL.satFAIL900
load_4c_comp_comp4_REAL.satFAIL900
load_full_3_comp5_REAL.satFAIL900
load_2c_comp_comp7_REAL.satFAIL900