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

InstanceResultTime
lut4_2_f1SAT1.3
lut4_AND_fXORUNSAT6.65
lut4_2_f2UNSAT7.67