-
-
-#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