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

InstanceResultTime
lut4_2_f1FAIL2.91
lut4_AND_fXORFAIL596.72
lut4_2_f2FAIL603.84