Instances of family FPGA_PLB_FIT_FAST solved by yQuaffle
QBFEVAL'05

InstanceResultTime
lut4_XOR_f1SAT0.03
lut4_XOR_fORUNSAT0.04
lut4_2_fXORSAT0.04
lut4_AND_f1SAT0.27
lut4_3_fANDSAT0.46