Instances of family C880 solved by semprop
QBFEVAL'06

InstanceResultTime
C880.blif_0.10_1.00_0_1_inp_exactSAT1.3
C880.blif_0.10_1.00_0_1_out_exactSAT5.83