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

InstanceResultTime
lut4_XOR_fORUNSAT0.08
lut4_3_fANDSAT1.03
lut4_2_fXORSAT14.6