Instances of family ltl2aig-comp solved by DynQBF-bloqqer-variant
QBFEVAL'17 - Prenex 2QBF Track

InstanceResultTime
load_2c_comp_comp7_REAL.satSAT117.34
load_3c_comp_comp6_REAL.satFAIL900
load_4c_comp_comp4_REAL.satFAIL900
load_full_3_comp5_REAL.satFAIL900