Instances of family FPGA_PLB_FIT_FAST solved by xb-bid-qsts
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
lut4_XOR_fORUNSAT0.14
lut4_XOR_f1SAT0.15
lut4_AND_f1SAT0.25
lut4_3_fANDSAT0.47
lut4_2_fXORSAT27.05