Instances of family FPGA_PLB_FIT_FAST solved by depqbf-cert-v2
QBFEVAL'16 - Evaluate & Certify (non-competitive) Track.

InstanceResultTime
lut4_XOR_fORUNSAT0.11
lut4_2_fXORSAT0.11
lut4_XOR_f1SAT0.12
lut4_AND_f1SAT0.31
lut4_3_fANDSAT3.41