Aina Niemetz

Sr. Research Scientist, Computer Science
Stanford University

           

Publications
Talks
Tools
Awards

Bitwuzla at SMT-COMP 2023

https://smt-comp.github.io/2023
https://bitwuzla.github.io

Single Query Track

Results: https://smt-comp.github.io/2023/results/results-single-query
Awards: sequential (seq), parallell (par), sat, unsat, 24s

  1st place in division Bitvec (sat, 24s)
  1st place in division FPArith (all)
  1st place in division QF_Equality+Bitvec (all)
  1st place in division QF_FPArith (all)

Honorable Mentions

In division Equality+MachineArith:
  1st place in logic ABVFP (sat, 24s)
  1st place in logic ABVFPLRA (24s)
  1st place in logic AUFBV (all)
  1st place in logic AUFBVFP (all)
  1st place in logic UFBV (all)
  1st place in logic UFBV (seq, par, unsat)

Incremental Track

Results: https://smt-comp.github.io/2023/results/results-incremental
Awards: parallell (par)

  1st place in division Equality+MachineArith (all)
  1st place in division FPArith (all)
  1st place in division QF_Bitvec (all)
  1st place in division QF_Equality+Bitvec (all)
  1st place in division QF_FPArith (all)

Model Validation Track

Results: https://smt-comp.github.io/2023/results/results-model-validation
Awards: sequential (seq), parallell (par)

  1st place in division QF_Equality+Bitvec (all)

Unsat Core Track

Results: https://smt-comp.github.io/2023/results/results-unsat-core
Awards: sequential (seq), parallell (par)

  1st place in division FPArith (all)

Honorable Mentions

In division QF_FPArith:
  1st place in logic QF_ABVFP (all)
  1st place in logic QF_ABVFPLRA (all)
  1st place in logic QF_BVFP (all)
  1st place in logic QF_BVFPLRA (all)

Biggest Lead

  1st place (gold) in the Incremental Track (all)
  2nd place (silver) in the Model Validation Track (all)
  2nd place (silver) in the Single Query Track (seq, par, sat, unsat)
  3rd place (bronze) in the Unsat Core Track (all)

Largest Contribution

  2nd place (silver) in the Single Query Track (sat)
  3rd place (bronze) in the Single Query Track (seq, par)
  3rd place (bronze) in the Incremental Track (all)
  3rd place (bronze) in the Unsat Core Track (seq, par)