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

InstanceResultTime
k5_2_2FAIL15367.4