Bitwuzllob 2026 submission

[mpreiner]

No description provided.

[github-actions]

Summary of modified submissions

Bitwuzllob

• 3 authors
• website: https://zenodo.org/records/20631919
• Participations
  • Parallel
    • Bitvec
      • all
    • Equality+MachineArith
      • ABV
      • ABVFP
      • ABVFPLRA
      • AUFBV
      • AUFBVFP
      • UFBV
      • UFBVFP
    • FPArith
      • all
    • QF_Bitvec
      • all
    • QF_Equality+Bitvec
      • QF_UFBVDT
    • QF_FPArith
      • QF_UFFPDTNIRA

[Tomaqa]

OK!

[martinjonas]

@mpreiner Thanks for submitting Bitwuzllob to this year's SMT-COMP! One important information: we decided to extend the deadline for solvers competing in Parallel track to Sunday, June 21 (AoE). Feel free to update your solver until then.

In the meantime, we have executed your solver on a small number of benchmarks from each competitive logic your solver competes in. You can find the results here:

• https://www.fi.muni.cz/~xjonas/smtcomp/tables/bitwuzllob_parallel.table.html#/table

We have not seen any incorrect results returned by your solver (compared to the expected status of the benchmarks) and everything seems to be looking fine.

You can check whether all the results we have obtained are expected. If not, please let us know here.

Some notes:

• We have used smaller resource limits than will be used in the final runs.
• The benchmarks are scrambled by the official scrambler with seed 1.
• The column status shows whether your solver decided the benchmark as sat (true) or unsat (false).
• You can click on the value in the status column to see the output of your solver on that benchmark.

If you upload a new version of the solver and want to have another test run, let me know. We still have some time for that.

Happy rest of the competition!
Martin

[mpreiner]

@martinjonas Just to make sure, the test run was done with the final version, right?

[martinjonas]

@mpreiner Yes, that's correct. I used the version from 64c2933

[mpreiner]

Perfect, thanks!