Instances of family FPGA_PLB_FIT_SLOW solved by skizzo_v0.4
QBFEVAL'05

InstanceResultTime
lut4_2_f1SAT0.53
lut4_AND_fXORUNSAT0.8
lut4_2_f2UNSAT2.85