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


InstanceSolverResultTime
term1.blif_0.10_0.20_0_0_inp_exactdepqbf-cert-v1UNSAT269.43
term1.blif_0.10_0.20_0_1_inp_exactcheqSAT0.88
term1.blif_0.10_0.20_0_1_out_exactdepqbf-cert-v2SAT0.21
term1.blif_0.10_1.00_0_0_inp_exactcaqe-minisat-certUNSAT0.13
term1.blif_0.10_1.00_0_0_out_exactdepqbf-cert-v1UNSAT3.61
term1.blif_0.10_1.00_0_1_inp_exactcaqe-minisat-certSAT0.12
term1.blif_0.10_1.00_0_1_out_exactdepqbf-cert-v2SAT0.11