Instances of family FPGA_PLB_FIT_SLOW solved by nenofex-qbfeval10
QBFEVAL'10 - Competitive Track.

InstanceResultTime
lut4_2_f2UNSAT9.09