-
Notifications
You must be signed in to change notification settings - Fork 138
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
[BUG] Wrong solution on evm-super-compilation (only in parallel mode) #1094
Comments
Thank you for the bug reporting.
And obviously, it takes ages to find a solution on my laptop 🤕 |
In the .dzn below, I've added the Note that I'm not sure it's a bug due to parallelism, perhaps it's just that the single-threaded version of Choco didn't have time to find this particular solution. evmopt-generic.txt |
I have run benchmarks on the Minizinc competition 2023. After checking the results using mzn-bench, it seems that Choco in parallel mode gives wrong results on two instances:
I ran the experiments with 1, 2, 4, 8, 16, 32, 64, 128 and 256 threads, and the issue occurs only with -p N where N > 1.
Please find attached a .zip with:
*.json
: the output of the solver in JSON format for all instances. You can copy the .dzn part to try directly in the minizinc editor. I have checked one with ortools in the editor and it returned unsatisfiable confirming a bug.bug-choco.zip
The text was updated successfully, but these errors were encountered: