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

InstanceResultTime
lut4_XOR_fORUNSAT0.13
lut4_XOR_f1SAT0.15
lut4_2_fXORSAT0.2
lut4_AND_f1SAT0.2
lut4_3_fANDSAT0.4