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

InstanceResultTime
k5_2_3SAT299.75
k12_3_2FAIL900
k14_2_3FAIL900
k10_4_3FAIL900
k8_4_3FAIL900
k5_3_2FAIL900
k6_2_3FAIL900
k8_2_3FAIL900
k7_4_4FAIL900
k7_2_2FAIL900
k12_4_2FAIL900
k8_3_2FAIL900
k8_3_4FAIL900
k14_4_4FAIL900