Instances of family term1 solved by aigqbf_s
QBFEVAL'07

InstanceResultTime
term1.blif_0.10_0.20_0_0_out_exactUNSAT5.26
term1.blif_0.10_0.20_0_0_inp_exactUNSAT9.81