Here is a list of all variables with links to the files they belong to:

• diff_data : debug_diff_check.c
• file_name_prefix : camp_debug.h
• num_solvers : debug_diff_check.c