Instances of family k_branch_n solved by GhostQ_PG___plain_qcir_2018
QBFEVAL'18 - Prenex non-CNF Track

InstanceResultTime
k_branch_n-12FAIL900.01
k_branch_n-10FAIL900.08