Instances of family FPGA_PLB_FIT_FAST solved by ssolve+ut
QBFEVAL'06

InstanceResultTime
lut4_3_fANDFAIL0
lut4_2_fXORSAT0.26
lut4_AND_f1SAT22.68