Instances of family circuits solved by QuBE7-c
QBFEVAL'10 - Small Hard Track.

InstanceResultTime
k5_2_2FAIL6198.81