Instances of family FPGA_PLB_FIT_FAST solved by QUANTOR
QBFEVAL'05

InstanceResultTime
lut4_XOR_f1SAT0.02
lut4_XOR_fORUNSAT0.03
lut4_2_fXORSAT0.12
lut4_AND_f1SAT1.05
lut4_3_fANDSAT3.31