Instances of family FPGA_PLB_FIT_FAST solved by QChaffLearn
QBFEVAL'05

InstanceResultTime
lut4_XOR_fORUNSAT0.01
lut4_XOR_f1UNSAT0.06
lut4_3_fANDFAIL44.56
lut4_2_fXORFAIL63.8
lut4_AND_f1FAIL73.3