diff --git a/bench/ce/array_records_Z3,4.6.0.oracle b/bench/ce/array_records_Z3,4.6.0.oracle
index ad4504cfde0f834a531710dae5220d400d3765df..b63920279734380c6330995424639daf696d7fe6 100644
--- a/bench/ce/array_records_Z3,4.6.0.oracle
+++ b/bench/ce/array_records_Z3,4.6.0.oracle
@@ -110,17 +110,17 @@ bench/ce/array_records.mlw Array_records VC var_overwrite: Timeout
 Counter-example model:File array_records.mlw:
 Line 23:
 i, [[@introduced], [@model_trace:i]] = {"type" : "Integer" ,
-"val" : "2" }
+"val" : "-176" }
 Line 31:
 i, [[@introduced], [@model_trace:i]] = {"type" : "Integer" ,
-"val" : "2" }
+"val" : "-176" }
 
 bench/ce/array_records.mlw Array_records VC var_overwrite: Timeout
 Counter-example model:File array_records.mlw:
 Line 23:
 i, [[@introduced], [@model_trace:i]] = {"type" : "Integer" ,
-"val" : "2" }
+"val" : "-176" }
 Line 25:
 i, [[@introduced], [@model_trace:i]] = {"type" : "Integer" ,
-"val" : "2" }
+"val" : "-176" }