+
+
+#if MAXMIN_PROF==CSV_PROF
+ high_resolution_clock::time_point start_main = high_resolution_clock::now();//FABIENDBG
+ int NVars=saturated_variable_set.size();//FABIENDBG
+ float init_duration1=duration_cast<duration<float> >(start_init2 - start_init).count();//FABIENDBG
+ float init_duration2=duration_cast<duration<float> >(start_main - start_init2).count();//FABIENDBG
+ float loop_duration;//FABIENDBG
+ float loop_max=0;//FABIENDBG
+ float loop_min=1E9;//FABIENDBG
+ float loop_avg=0;//FABIENDBG
+ float loop_std=0;//FABIENDBG
+ int loop_count=0;//FABIENDBG
+ high_resolution_clock::time_point start_loop,end_loop;//FABIENDBG
+#endif