You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
One possible cause is the definition of intermediary arrays during array definitions/updates. These are quite numerous, with a new array being created for the update of every single element, and are probably slowing down the solver. To improve performance we should collapse sequences of SMT store operators into a single clause.
The text was updated successfully, but these errors were encountered:
The evaluation results of the current state of the arrays encoding are very poor, as shown by following reports.
One possible cause is the definition of intermediary arrays during array definitions/updates. These are quite numerous, with a new array being created for the update of every single element, and are probably slowing down the solver. To improve performance we should collapse sequences of SMT
store
operators into a single clause.The text was updated successfully, but these errors were encountered: