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

InstanceResultTime
k5_2_2FAIL43200