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

InstanceResultTime
k3_1_1SAT0.71
k5_2_3SAT99.92
k5_3_2SAT146.01
k6_2_3SAT220.79
k8_3_4FAIL295.98
k8_2_3FAIL300.46
k8_3_2FAIL312.35
k8_4_3FAIL342.34
k12_4_2FAIL599.13
k14_2_3FAIL599.22