Instances of family ltl2aig-comp solved by GhostQ-PG_plain
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