Bitwuzla-BV_Parti Submission for SMT-COMP 2026#268
Conversation
Summary of modified submissionsBitwuzla-BV_Parti
|
Tomaqa
left a comment
Tomaqa
left a comment
There was a problem hiding this comment.
Dear authors, thank you for the submission. Please update the system description as requested.
| "url": "https://github.com/zmylinxi99/Bitwuzla-BV_Parti-at-SMT-COMP-2026/releases/download/SMT-COMP-2026/Bitwuzla-BV_Parti-at-SMT-COMP-2026-build.zip" | ||
| }, | ||
| "website": "https://github.com/zmylinxi99/Bitwuzla-BV_Parti-at-SMT-COMP-2026", | ||
| "system_description": "https://github.com/zmylinxi99/Bitwuzla-BV_Parti-at-SMT-COMP-2026/blob/master/Bitwuzla-BV_Parti.pdf", |
There was a problem hiding this comment.
The description cannot be found.
There was a problem hiding this comment.
The description cannot be found.
Thank you for the reminder.
We have updated the relevant repository and URL for the system description. It should now be accessible.
Please let me know if there are still any issues.
|
@zmylinxi99 Thanks for submitting Bitwuzla-BV_Parti 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. We are currently working on executing your parallel solver on a small number of test benchmarks to confirm that everything is working correctly. I will send you the results as soon as possible. |
4 participants
No description provided.