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

InstanceResultTime
k3_1_1SAT0.11
k5_2_3FAIL599.81
k6_2_3FAIL599.82
k8_2_3FAIL599.82
k8_4_3FAIL599.83
k8_3_2FAIL599.83
k12_4_2FAIL599.86
k5_3_2FAIL599.92
k8_3_4FAIL599.93
k14_2_3FAIL600