Instances of family FPGA_PLB_FIT_SLOW solved by sKizzo-0.10-qck
QBFEVAL'07

InstanceResultTime
lut4_2_f2UNSAT3.92