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

InstanceResultTime
k3_1_2SAT0.1
k4_2_2FAIL1200.05
k5_3_2FAIL1200.1