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

InstanceResultTime
k14_2_3FAIL900
k5_2_3FAIL900
k12_4_2FAIL900
k8_2_3FAIL900