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

InstanceResultTime
k5_2_2SAT1993.14