Instances of family k_branch_n solved by ghostq-cegar
QBFEVAL'17 - Prenex non-CNF Track

InstanceResultTime
k_branch_n-12FAIL900
k_branch_n-10FAIL900