|
|
|
|
|
|
by KsassPeuk
684 days ago
|
|
|
What do you mean by "non determinism of solvers"? AFAIK, unless your proof finishes really close to the timeout, it is pretty uncommon that a failed PO suddenly succeeds and vice-versa if the code/the annotation are not modified. |
|
|