Sota solver results for family FPGA_PLB_FIT_FAST
QBFEVAL'16 - Evaluate & Certify (non-competitive) Track.


InstanceSolverResultTime
lut4_2_fXORcheqSAT0.04
lut4_3_fANDcheqSAT1.32
lut4_AND_f1depqbf-cert-v2SAT0.31
lut4_XOR_f1cheqSAT0.02
lut4_XOR_fORdepqbf-cert-v2UNSAT0.11