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

InstanceResultTime
lut4_AND_fXORUNSAT2.82
lut4_2_f2UNSAT3.74