Z3-GEX submissions

[b1uerar]

No description provided.

[github-actions]

Summary of modified submissions

Z3-GEX-base

• 1 authors
• website: https://github.com/Z3Prover/z3
• Participations
  • SingleQuery
    • Arith
      • all
    • QF_Bitvec
      • all
    • QF_LinearIntArith
      • all
    • QF_LinearRealArith
      • all
    • QF_NonLinearIntArith
      • all
    • QF_NonLinearRealArith
      • all
    • QF_Strings
      • all

Z3-GEX

• 4 authors
• website: https://github.com/moyvbai/smt-comp2026
• Participations
  • SingleQuery
    • Arith
      • all
    • QF_Bitvec
      • all
    • QF_LinearIntArith
      • all
    • QF_LinearRealArith
      • all
    • QF_NonLinearIntArith
      • all
    • QF_NonLinearRealArith
      • all
    • QF_Strings
      • all

[Tomaqa]

Thank you for the submission. Remember that for the final submission, you will need to include the source code in the permanent archive, hence satisfying the rule "Submitters of a derived tool must submit their tool’s binary and source code ...".

[martinjonas]

@b1uerar Thanks for submitting Z3-GEX to this year's SMT-COMP!

We have executed your solver on a small number of benchmarks from each logic it should compete in (except for the parallel track). You can find the results here:

• Single Query Track: https://www.fi.muni.cz/~xjonas/smtcomp/tables/z3gex.table.html#/table

We have not seen any incorrect results returned by your solver (compared to the expected status of the benchmarks).

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

[Tomaqa]

Thanks. Remember to add the final flag to both JSON files before the deadline.

[b1uerar]

Thanks. Remember to add the final flag to both JSON files before the deadline.

I noticed that I forgot to add "competitive": false to z3gex-base.json. Is there anything I can do to correct this?

[Tomaqa]

Please add the flag using a separate commit so we can see the change. Thanks!

[b1uerar]

Please add the flag using a separate commit so we can see the change. Thanks!

I've updated it. Thanks for your guidance!