Instances of family circuits solved by QuAbS_2017
QBFEVAL'17 - Prenex non-CNF Track

InstanceResultTime
k12_4_2FAIL900
k8_2_3FAIL900
k14_2_3FAIL900
k5_2_3FAIL900