Instances of family k_branch_n solved by GhostQ-PG_plain
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
k_branch_n-12FAIL900
k_branch_n-20FAIL900
k_branch_n-21FAIL900
k_branch_n-10FAIL900
k_branch_n-11FAIL900
k_branch_n-17FAIL900