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

InstanceResultTime
k3_1_2SAT0.09
k4_2_2SAT106.24
k5_3_2FAIL1200.16