Timeout/Unknown for test 1523 with Z3 4.8.9
Description
Environment
None
Activity
Show:
Details
Details
Assignee
Michael Leuschel
Michael LeuschelReporter
Michael Leuschel
Michael LeuschelPriority
Created October 30, 2020 at 10:48 AM
Updated October 30, 2020 at 10:48 AM
With Z3 4.8.9 one constraint of test 1523 now returns Unknown:
:z3-double-check x = %i.(i:1..10|i+i) & x[{5,j}]={16,10}