Instances of family FPGA_PLB_FIT_FAST solved by ghostq-cegar
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
lut4_XOR_fORUNSAT0.14
lut4_XOR_f1SAT0.14
lut4_2_fXORSAT1.34
lut4_AND_f1SAT3.48
lut4_3_fANDSAT186.54