Z3 TAR implementation has wrong answers
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
verifypn |
New
|
Undecided
|
Peter Gjøl Jensen |
Bug Description
The following list of models and queries from MCC'19-set yield wrong answers:
RefineWMG-
RefineWMG-
RefineWMG-
RefineWMG-
RefineWMG-
RefineWMG-
RefineWMG-
RefineWMG-
RefineWMG-
RefineWMG-
RefineWMG-
RefineWMG-
RefineWMG-
RefineWMG-
run with "-q 0 -tar -r 1 "