Instances of family FPGA_PLB_FIT_FAST solved by hordeqbf
QBFEVAL'16 - Parallel QBF Solvers (non-competitive) Track.

InstanceResultTime
lut4_2_fXORSAT1.05
lut4_AND_f1SAT1.05
lut4_XOR_fORUNSAT1.06
lut4_3_fANDSAT1.06
lut4_XOR_f1SAT1.06