Instances of family circuits solved by cheq
QBFEVAL'16 - Evaluate & Certify (non-competitive) Track.

InstanceResultTime
k3_1_1SAT1.84
k12_4_2FAIL600.03
k6_2_3FAIL600.43
k8_3_2FAIL604.53
k8_3_4FAIL606.81
k14_2_3FAIL607.45
k5_2_3FAIL609.73
k8_4_3FAIL622.41
k8_2_3FAIL625.52
k5_3_2FAIL637.3