Instances of family FPGA_PLB_FIT_SLOW solved by ssolve-A
QBFEVAL'08

InstanceResultTime
lut4_2_f1SAT8.74
lut4_2_f2UNSAT41.9
lut4_AND_fXORUNSAT157.13