Instances of family FPGA_PLB_FIT_SLOW solved by QuBE6.1
QBFEVAL'08

InstanceResultTime
lut4_2_f1SAT0.27
lut4_AND_fXORUNSAT146.05
lut4_2_f2FAIL600