updated expected results due to changes in z3process