Instances of family FPGA_PLB_FIT_SLOW solved by QChaffLearn
QBFEVAL'05

InstanceResultTime
lut4_2_f2FAIL63.4
lut4_2_f1FAIL63.82
lut4_AND_fXORFAIL73.23