Instances of family FPGA_PLB_FIT_SLOW solved by ssolveB
QBFEVAL'08

InstanceResultTime
lut4_2_f1SAT9.63
lut4_2_f2UNSAT46.64
lut4_AND_fXORUNSAT179.06