Instances of family circuits solved by AIGSolve
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
k3_1_1SAT0
k5_2_3SAT8.39
k5_3_2SAT15.14
k8_2_3FAIL599.73
k8_3_2FAIL599.74
k8_4_3FAIL599.75
k6_2_3FAIL599.82
k8_3_4FAIL599.84
k12_4_2FAIL599.87
k14_2_3FAIL599.96