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


InstanceSolverResultTime
C432.blif_0.10_0.20_0_1_inp_exactdepqbf-cert-v2SAT31.41
C432.blif_0.10_1.00_0_0_inp_exactcaqe-minisat-certUNSAT0.05
C432.blif_0.10_1.00_0_1_inp_exactcheqSAT0.03
C432.blif_0.10_1.00_0_1_out_exactcheqSAT0.02