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

InstanceResultTime
k5_2_3FAIL15.81
k5_3_2FAIL19.72
k6_2_3FAIL34.02
k7_2_2FAIL103.66
k8_3_2FAIL339.09
k7_4_4FAIL346.05
k8_4_3FAIL372.16
k8_3_4FAIL395.4
k10_4_3FAIL406.3
k12_4_2FAIL415.04
k12_3_2FAIL436.62
k8_2_3FAIL438.02
k14_2_3FAIL619.35
k14_4_4FAIL668.25