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

InstanceResultTime
lut4_XOR_fORUNSAT0.2
lut4_3_fANDSAT0.78
lut4_2_fXORSAT1.05