Instances of family FPGA_PLB_FIT_SLOW solved by aqua-s2v
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
lut4_2_f1SAT4.26
lut4_AND_fXORUNSAT29.84
lut4_2_f2UNSAT88.44