Timeout/Unknown for test 1523 with Z3 4.8.9

Description

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}

Environment

None

Activity

Show:

Details

Assignee

Reporter

Priority

Created October 30, 2020 at 10:48 AM
Updated October 30, 2020 at 10:48 AM