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

InstanceResultTime
k3_1_1SAT0.34
k5_2_3SAT29.76
k14_2_3FAIL58.47
k5_3_2SAT58.53
k12_4_2FAIL173.77
k6_2_3SAT178.62
k8_3_4FAIL362.03
k8_3_2FAIL480.76
k8_2_3FAIL583.25
k8_4_3FAIL599.22