Sota solver results for family FPGA_PLB_FIT_SLOW
QBFEVAL'16 - Prenex CNF Track.


InstanceSolverResultTime
lut4_2_f1rareqsSAT0.05
lut4_2_f2rareqsUNSAT0.26
lut4_AND_fXORrareqsUNSAT0.05