./deagle --no-assertions --datarace --64 /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c


--------------------------------------------------------------------------------


Deagle version 2.1 64-bit x86_64 linux
which contains:
CBMC version 5.67.0 (SVCOMP2023_221122-2-g2121ef1a2) 64-bit x86_64 linux
Parsing /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c
Converting
Type-checking main
Generating GOTO Program
Adding CPROVER library (x86_64)
file <builtin-library-pthread_cond_signal> line 7: 
reason for conflict at #this.__data: names of member 0 differ (__annonCompField1/__wseq)

struct __pthread_cond_s {
  union __anonunion____missing_field_name_419419941 __annonCompField1;
  union __anonunion____missing_field_name_349613679 __annonCompField2;
  unsigned int [2l] __g_refs;
  unsigned int [2l] __g_size;
  unsigned int __g1_orig_size;
  unsigned int __wrefs;
  unsigned int [2l] __g_signals;
}
struct __pthread_cond_s {
  __atomic_wide_counter __wseq;
  __atomic_wide_counter __g1_start;
  unsigned int [2l] __g_refs;
  unsigned int [2l] __g_size;
  unsigned int __g1_orig_size;
  unsigned int __wrefs;
  unsigned int [2l] __g_signals;
}
warning: pointer parameter types differ between declaration and definition "pthread_cond_signal"
old definition in module main file /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c line 16247
signed int (pthread_cond_t *)
new definition in module <built-in-library> file <builtin-library-pthread_cond_signal> line 7
signed int (pthread_cond_t *cond)
file <builtin-library-pthread_mutex_unlock> line 17: warning: pointer parameter types differ between declaration and definition "pthread_mutex_unlock"
old definition in module main file /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c line 16243
signed int (pthread_mutex_t *)
new definition in module <built-in-library> file <builtin-library-pthread_mutex_unlock> line 17
signed int (pthread_mutex_t *pthread_mutex_unlock$$mutex)
file <builtin-library-pthread_mutex_init> line 27: warning: pointer parameter types differ between declaration and definition "pthread_mutex_init"
old definition in module main file /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c line 16239
signed int (pthread_mutex_t *, const pthread_mutexattr_t *)
new definition in module <built-in-library> file <builtin-library-pthread_mutex_init> line 27
signed int (pthread_mutex_t *pthread_mutex_init$$mutex, const pthread_mutexattr_t *mutexattr)
file <builtin-library-pthread_mutex_lock> line 17: warning: pointer parameter types differ between declaration and definition "pthread_mutex_lock"
old definition in module main file /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c line 16242
signed int (pthread_mutex_t *)
new definition in module <built-in-library> file <builtin-library-pthread_mutex_lock> line 17
signed int (pthread_mutex_t *pthread_mutex_lock$$mutex)
file <builtin-library-pthread_cond_broadcast> line 7: 
reason for conflict at #this.__data: names of member 0 differ (__annonCompField1/__wseq)

struct __pthread_cond_s {
  union __anonunion____missing_field_name_419419941 __annonCompField1;
  union __anonunion____missing_field_name_349613679 __annonCompField2;
  unsigned int [2l] __g_refs;
  unsigned int [2l] __g_size;
  unsigned int __g1_orig_size;
  unsigned int __wrefs;
  unsigned int [2l] __g_signals;
}
struct __pthread_cond_s {
  __atomic_wide_counter __wseq;
  __atomic_wide_counter __g1_start;
  unsigned int [2l] __g_refs;
  unsigned int [2l] __g_size;
  unsigned int __g1_orig_size;
  unsigned int __wrefs;
  unsigned int [2l] __g_signals;
}
warning: pointer parameter types differ between declaration and definition "pthread_cond_broadcast"
old definition in module main file /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c line 16248
signed int (pthread_cond_t *)
new definition in module <built-in-library> file <builtin-library-pthread_cond_broadcast> line 7
signed int (pthread_cond_t *cond)
file <builtin-library-pthread_cond_init> line 7: 
reason for conflict at #this.__data: names of member 0 differ (__annonCompField1/__wseq)

struct __pthread_cond_s {
  union __anonunion____missing_field_name_419419941 __annonCompField1;
  union __anonunion____missing_field_name_349613679 __annonCompField2;
  unsigned int [2l] __g_refs;
  unsigned int [2l] __g_size;
  unsigned int __g1_orig_size;
  unsigned int __wrefs;
  unsigned int [2l] __g_signals;
}
struct __pthread_cond_s {
  __atomic_wide_counter __wseq;
  __atomic_wide_counter __g1_start;
  unsigned int [2l] __g_refs;
  unsigned int [2l] __g_size;
  unsigned int __g1_orig_size;
  unsigned int __wrefs;
  unsigned int [2l] __g_signals;
}
warning: pointer parameter types differ between declaration and definition "pthread_cond_init"
old definition in module main file /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c line 16244
signed int (pthread_cond_t *, const pthread_condattr_t *)
new definition in module <built-in-library> file <builtin-library-pthread_cond_init> line 7
signed int (pthread_cond_t *cond, const pthread_condattr_t *attr)
file <builtin-library-pthread_mutex_destroy> line 17: warning: pointer parameter types differ between declaration and definition "pthread_mutex_destroy"
old definition in module main file /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c line 16241
signed int (pthread_mutex_t *)
new definition in module <built-in-library> file <builtin-library-pthread_mutex_destroy> line 17
signed int (pthread_mutex_t *pthread_mutex_destroy$$mutex)
Removal of function pointers and virtual functions
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c line 6028 function main_pid: replacing function pointer by 3 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c line 6103 function main_pid: replacing function pointer by 9 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c line 6134 function main_pid: replacing function pointer by 3 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c line 4500 function extract_esc_user: replacing function pointer by 3 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c line 8097 function do_trace_70: replacing function pointer by 3 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c line 8183 function do_trace_70: replacing function pointer by 3 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c line 9265 function do_trace_71: replacing function pointer by 3 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c line 9351 function do_trace_71: replacing function pointer by 3 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c line 10433 function do_trace_72: replacing function pointer by 3 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c line 10519 function do_trace_72: replacing function pointer by 3 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c line 11601 function do_trace_73: replacing function pointer by 3 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c line 11687 function do_trace_73: replacing function pointer by 3 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c line 12769 function do_trace_74: replacing function pointer by 3 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c line 12855 function do_trace_74: replacing function pointer by 3 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c line 13937 function do_trace_80: replacing function pointer by 3 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c line 14023 function do_trace_80: replacing function pointer by 3 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c line 15105 function do_trace_81: replacing function pointer by 3 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c line 15191 function do_trace_81: replacing function pointer by 3 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c line 8308 function trace_stack_70: replacing function pointer by 3 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c line 8425 function trace_request_info_70: replacing function pointer by 3 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c line 8464 function trace_memory_info_70: replacing function pointer by 3 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c line 8513 function trace_globals_70: replacing function pointer by 3 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c line 8911 function trace_locals_70: replacing function pointer by 3 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c line 9476 function trace_stack_71: replacing function pointer by 3 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c line 9593 function trace_request_info_71: replacing function pointer by 3 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c line 9632 function trace_memory_info_71: replacing function pointer by 3 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c line 9681 function trace_globals_71: replacing function pointer by 3 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c line 10079 function trace_locals_71: replacing function pointer by 3 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c line 10644 function trace_stack_72: replacing function pointer by 3 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c line 10761 function trace_request_info_72: replacing function pointer by 3 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c line 10800 function trace_memory_info_72: replacing function pointer by 3 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c line 10849 function trace_globals_72: replacing function pointer by 3 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c line 11247 function trace_locals_72: replacing function pointer by 3 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c line 11812 function trace_stack_73: replacing function pointer by 3 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c line 11929 function trace_request_info_73: replacing function pointer by 3 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c line 11968 function trace_memory_info_73: replacing function pointer by 3 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c line 12017 function trace_globals_73: replacing function pointer by 3 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c line 12415 function trace_locals_73: replacing function pointer by 3 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c line 12980 function trace_stack_74: replacing function pointer by 3 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c line 13097 function trace_request_info_74: replacing function pointer by 3 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c line 13136 function trace_memory_info_74: replacing function pointer by 3 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c line 13185 function trace_globals_74: replacing function pointer by 3 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c line 13583 function trace_locals_74: replacing function pointer by 3 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c line 14148 function trace_stack_80: replacing function pointer by 3 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c line 14265 function trace_request_info_80: replacing function pointer by 3 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c line 14304 function trace_memory_info_80: replacing function pointer by 3 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c line 14353 function trace_globals_80: replacing function pointer by 3 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c line 14751 function trace_locals_80: replacing function pointer by 3 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c line 15316 function trace_stack_81: replacing function pointer by 3 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c line 15433 function trace_request_info_81: replacing function pointer by 3 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c line 15472 function trace_memory_info_81: replacing function pointer by 3 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c line 15521 function trace_globals_81: replacing function pointer by 3 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c line 15919 function trace_locals_81: replacing function pointer by 3 possible targets
file <builtin-library-__spawned_thread> line 34 function __spawned_thread: replacing function pointer by 11 possible targets
Generic Property Instrumentation
Running with 8 object bits, 56 offset bits (default)
Starting Bounded Model Checking
set limit type 2
Use SV-COMP unwinding strategy: 2
Deagle's solver is set!!!!!!
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 0
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 0
**** WARNING: no body for function fork
**** WARNING: no body for function strstr
**** WARNING: no body for function getpid
**** WARNING: no body for function asprintf
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 0
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 0
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 0
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 0
**** WARNING: no body for function dup2
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 0
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 0
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 0
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 0
**** WARNING: no body for function ptrace
**** WARNING: no body for function execvp
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 0
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 0
**** WARNING: no body for function waitpid
**** WARNING: no body for function vsnprintf
**** WARNING: no body for function popen
**** WARNING: no body for function pclose
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 0
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 0
Unwinding loop popen_read_line.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c line 17789 function popen_read_line thread 0
Not unwinding loop popen_read_line.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c line 17789 function popen_read_line thread 0
**** WARNING: no body for function snprintf
**** WARNING: no body for function access
Unwinding loop strcpy.0 iteration 1 file <builtin-library-strcpy> line 32 function strcpy thread 0
Not unwinding loop strcpy.0 iteration 2 file <builtin-library-strcpy> line 32 function strcpy thread 0
Unwinding loop shell_escape.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c line 17572 function shell_escape thread 0
Not unwinding loop shell_escape.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c line 17572 function shell_escape thread 0
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 0
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 0
Unwinding loop popen_read_line.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c line 17789 function popen_read_line thread 0
Not unwinding loop popen_read_line.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c line 17789 function popen_read_line thread 0
**** WARNING: no body for function strtoull
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 0
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 0
Unwinding loop popen_read_line.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c line 17789 function popen_read_line thread 0
Not unwinding loop popen_read_line.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c line 17789 function popen_read_line thread 0
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 0
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 0
Unwinding loop popen_read_line.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c line 17789 function popen_read_line thread 0
Not unwinding loop popen_read_line.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c line 17789 function popen_read_line thread 0
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 0
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 0
Unwinding loop popen_read_line.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c line 17789 function popen_read_line thread 0
Not unwinding loop popen_read_line.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c line 17789 function popen_read_line thread 0
Unwinding loop strcpy.0 iteration 1 file <builtin-library-strcpy> line 32 function strcpy thread 0
Not unwinding loop strcpy.0 iteration 2 file <builtin-library-strcpy> line 32 function strcpy thread 0
Unwinding loop shell_escape.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c line 17572 function shell_escape thread 0
Not unwinding loop shell_escape.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c line 17572 function shell_escape thread 0
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 0
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 0
Unwinding loop popen_read_line.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c line 17789 function popen_read_line thread 0
Not unwinding loop popen_read_line.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c line 17789 function popen_read_line thread 0
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 0
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 0
Unwinding loop popen_read_line.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c line 17789 function popen_read_line thread 0
Not unwinding loop popen_read_line.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c line 17789 function popen_read_line thread 0
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 0
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 0
Unwinding loop popen_read_line.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c line 17789 function popen_read_line thread 0
Not unwinding loop popen_read_line.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c line 17789 function popen_read_line thread 0
Unwinding loop strcmp.0 iteration 1 file <builtin-library-strcmp> line 44 function strcmp thread 0
**** WARNING: no body for function dup

runtime: 00:00:10.303
vars: 1243, evals: 4554

|rho|=1243
|called|=277
|stable|=1090
|infl|=1229
|wpoint|=10
Found 16 contexts for 7 functions. Top 5 functions:
4	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
2	contexts for entry state of glopeek_add on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7351:1
2	contexts for entry state of parse_opts on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5648:1
2	contexts for entry state of varpeek_add on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6634:1
2	contexts for entry state of cleanup on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6178:1

Memory statistics: total=37498.92MB, max=57.06MB, minor=37495.95MB, major=115.13MB, promoted=112.17MB
    minor collections=17887  major collections=15 compactions=0


runtime: 00:00:20.327
vars: 2675, evals: 8761

|rho|=2675
|called|=99
|stable|=2565
|infl|=2661
|wpoint|=4
Found 44 contexts for 9 functions. Top 5 functions:
12	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
8	contexts for entry state of strtol_with_min_or_exit on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5606:1
5	contexts for entry state of atoi_with_min_or_exit on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5632:1
5	contexts for entry state of usage on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5503:1
4	contexts for entry state of cleanup on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6178:1

Memory statistics: total=74186.01MB, max=57.06MB, minor=74182.88MB, major=205.88MB, promoted=202.75MB
    minor collections=35383  major collections=20 compactions=0


runtime: 00:00:30.338
vars: 3911, evals: 12840

|rho|=3911
|called|=148
|stable|=3779
|infl|=3897
|wpoint|=5
Found 68 contexts for 9 functions. Top 5 functions:
20	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
15	contexts for entry state of strtol_with_min_or_exit on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5606:1
9	contexts for entry state of atoi_with_min_or_exit on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5632:1
7	contexts for entry state of usage on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5503:1
5	contexts for entry state of cleanup on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6178:1

Memory statistics: total=110879.88MB, max=57.06MB, minor=110876.70MB, major=297.50MB, promoted=294.32MB
    minor collections=52883  major collections=26 compactions=0


runtime: 00:00:40.366
vars: 5488, evals: 16474

|rho|=5488
|called|=84
|stable|=5477
|infl|=5408
|wpoint|=3
Found 153 contexts for 24 functions. Top 5 functions:
42	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
22	contexts for entry state of strtol_with_min_or_exit on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5606:1
13	contexts for entry state of atoi_with_min_or_exit on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5632:1
9	contexts for entry state of usage on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5503:1
8	contexts for entry state of popen_read_line on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17756:1

Memory statistics: total=147928.91MB, max=75.46MB, minor=147925.29MB, major=395.19MB, promoted=391.58MB
    minor collections=70552  major collections=31 compactions=0


runtime: 00:00:50.409
vars: 8482, evals: 37739

|rho|=8482
|called|=370
|stable|=8181
|infl|=8416
|wpoint|=22
Found 234 contexts for 39 functions. Top 5 functions:
53	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
25	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
22	contexts for entry state of strtol_with_min_or_exit on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5606:1
13	contexts for entry state of atoi_with_min_or_exit on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5632:1
9	contexts for entry state of usage on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5503:1

Memory statistics: total=170196.25MB, max=86.78MB, minor=170191.73MB, major=484.10MB, promoted=479.58MB
    minor collections=81172  major collections=35 compactions=0


runtime: 00:01:00.464
vars: 13458, evals: 61838

|rho|=13458
|called|=251
|stable|=13161
|infl|=13391
|wpoint|=23
Found 391 contexts for 45 functions. Top 5 functions:
67	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
53	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
39	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
22	contexts for entry state of strtol_with_min_or_exit on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5606:1
15	contexts for entry state of sprint_zstring_81 on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16024:1

Memory statistics: total=191642.38MB, max=86.78MB, minor=191637.57MB, major=566.55MB, promoted=561.74MB
    minor collections=91400  major collections=39 compactions=0


runtime: 00:01:10.528
vars: 17714, evals: 85008

|rho|=17714
|called|=86
|stable|=17148
|infl|=17646
|wpoint|=19
Found 509 contexts for 45 functions. Top 5 functions:
82	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
80	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
61	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
23	contexts for entry state of sprint_zstring_81 on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16024:1
22	contexts for entry state of strtol_with_min_or_exit on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5606:1

Memory statistics: total=213357.77MB, max=99.80MB, minor=213351.97MB, major=645.99MB, promoted=640.19MB
    minor collections=101756  major collections=42 compactions=0


runtime: 00:01:20.564
vars: 21278, evals: 107443

|rho|=21278
|called|=89
|stable|=18763
|infl|=21221
|wpoint|=25
Found 605 contexts for 46 functions. Top 5 functions:
114	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
93	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
66	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
26	contexts for entry state of sprint_zstring_81 on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16024:1
22	contexts for entry state of strtol_with_min_or_exit on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:5606:1

Memory statistics: total=233925.73MB, max=99.80MB, minor=233919.57MB, major=730.54MB, promoted=724.38MB
    minor collections=111565  major collections=45 compactions=0


runtime: 00:01:30.595
vars: 25364, evals: 130082

|rho|=25364
|called|=82
|stable|=22112
|infl|=25322
|wpoint|=30
Found 724 contexts for 51 functions. Top 5 functions:
142	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
107	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
82	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
32	contexts for entry state of sprint_zstring_81 on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16024:1
25	contexts for entry state of sprint_zval_81 on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16070:1

Memory statistics: total=254234.59MB, max=114.77MB, minor=254227.81MB, major=825.07MB, promoted=818.30MB
    minor collections=121251  major collections=48 compactions=0


runtime: 00:01:40.647
vars: 29091, evals: 152224

|rho|=29091
|called|=65
|stable|=25995
|infl|=29062
|wpoint|=28
Found 808 contexts for 51 functions. Top 5 functions:
156	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
116	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
96	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
38	contexts for entry state of sprint_zstring_81 on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16024:1
31	contexts for entry state of sprint_zval_81 on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16070:1

Memory statistics: total=276658.28MB, max=114.77MB, minor=276651.23MB, major=908.34MB, promoted=901.29MB
    minor collections=131945  major collections=51 compactions=0


runtime: 00:01:50.690
vars: 31996, evals: 174503

|rho|=31996
|called|=247
|stable|=25030
|infl|=31930
|wpoint|=38
Found 869 contexts for 53 functions. Top 5 functions:
182	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
123	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
97	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
38	contexts for entry state of sprint_zstring_81 on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16024:1
31	contexts for entry state of sprint_zval_81 on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16070:1

Memory statistics: total=298025.92MB, max=131.99MB, minor=298018.77MB, major=984.93MB, promoted=977.77MB
    minor collections=142135  major collections=53 compactions=0


runtime: 00:02:00.734
vars: 36972, evals: 197592

|rho|=36972
|called|=98
|stable|=30049
|infl|=36905
|wpoint|=38
Found 1026 contexts for 59 functions. Top 5 functions:
210	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
137	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
132	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
38	contexts for entry state of sprint_zstring_81 on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16024:1
33	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1

Memory statistics: total=319418.22MB, max=151.79MB, minor=319409.83MB, major=1065.17MB, promoted=1056.78MB
    minor collections=152336  major collections=55 compactions=0


runtime: 00:02:10.797
vars: 41228, evals: 220690

|rho|=41228
|called|=180
|stable|=34275
|infl|=41160
|wpoint|=43
Found 1144 contexts for 59 functions. Top 5 functions:
237	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
154	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
152	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
38	contexts for entry state of sprint_zstring_81 on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16024:1
37	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1

Memory statistics: total=340641.89MB, max=174.56MB, minor=340632.83MB, major=1143.23MB, promoted=1134.17MB
    minor collections=162457  major collections=57 compactions=0


runtime: 00:02:20.861
vars: 45437, evals: 244461

|rho|=45437
|called|=317
|stable|=38440
|infl|=45378
|wpoint|=51
Found 1242 contexts for 60 functions. Top 5 functions:
271	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
163	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
159	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
44	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
44	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=362163.91MB, max=174.56MB, minor=362154.73MB, major=1221.95MB, promoted=1212.77MB
    minor collections=172721  major collections=59 compactions=0


runtime: 00:02:30.916
vars: 51208, evals: 268106

|rho|=51208
|called|=75
|stable|=44272
|infl|=51161
|wpoint|=50
Found 1432 contexts for 64 functions. Top 5 functions:
313	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
189	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
184	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
50	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
50	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=383515.04MB, max=174.56MB, minor=383505.68MB, major=1302.46MB, promoted=1293.10MB
    minor collections=182902  major collections=60 compactions=0


runtime: 00:02:40.952
vars: 54604, evals: 290214

|rho|=54604
|called|=72
|stable|=47683
|infl|=54536
|wpoint|=49
Found 1496 contexts for 66 functions. Top 5 functions:
339	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
193	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
190	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
53	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
52	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=405950.18MB, max=174.56MB, minor=405940.75MB, major=1376.43MB, promoted=1366.99MB
    minor collections=193601  major collections=62 compactions=0


runtime: 00:02:51.008
vars: 59734, evals: 313916

|rho|=59734
|called|=102
|stable|=52786
|infl|=59664
|wpoint|=59
Found 1657 contexts for 72 functions. Top 5 functions:
367	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
225	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
207	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
57	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
57	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=427311.99MB, max=174.56MB, minor=427302.40MB, major=1455.88MB, promoted=1446.28MB
    minor collections=203789  major collections=64 compactions=0


runtime: 00:03:01.055
vars: 63990, evals: 336508

|rho|=63990
|called|=96
|stable|=57070
|infl|=63919
|wpoint|=62
Found 1775 contexts for 72 functions. Top 5 functions:
394	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
247	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
222	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
61	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
61	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=448373.66MB, max=174.56MB, minor=448363.92MB, major=1531.87MB, promoted=1522.13MB
    minor collections=213832  major collections=65 compactions=0


runtime: 00:03:11.087
vars: 67933, evals: 358878

|rho|=67933
|called|=70
|stable|=61012
|infl|=67868
|wpoint|=59
Found 1865 contexts for 73 functions. Top 5 functions:
424	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
252	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
233	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
68	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
67	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=469539.27MB, max=200.75MB, minor=469527.33MB, major=1609.28MB, promoted=1597.34MB
    minor collections=223925  major collections=67 compactions=0


runtime: 00:03:21.130
vars: 72390, evals: 382613

|rho|=72390
|called|=80
|stable|=65446
|infl|=72348
|wpoint|=70
Found 1992 contexts for 77 functions. Top 5 functions:
456	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
268	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
247	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
72	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
72	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=490335.36MB, max=200.75MB, minor=490323.27MB, major=1683.86MB, promoted=1671.77MB
    minor collections=233842  major collections=68 compactions=0


runtime: 00:03:31.193
vars: 76854, evals: 404797

|rho|=76854
|called|=58
|stable|=69930
|infl|=76816
|wpoint|=71
Found 2101 contexts for 77 functions. Top 5 functions:
484	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
282	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
259	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
76	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
76	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=512795.78MB, max=230.86MB, minor=512782.52MB, major=1761.38MB, promoted=1748.13MB
    minor collections=244552  major collections=69 compactions=0


runtime: 00:03:41.241
vars: 81160, evals: 428436

|rho|=81160
|called|=110
|stable|=74216
|infl|=81094
|wpoint|=79
Found 2225 contexts for 85 functions. Top 5 functions:
510	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
306	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
270	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
79	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
79	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=534204.73MB, max=230.86MB, minor=534191.34MB, major=1838.03MB, promoted=1824.64MB
    minor collections=254761  major collections=70 compactions=0


runtime: 00:03:51.285
vars: 85553, evals: 452220

|rho|=85553
|called|=306
|stable|=78558
|infl|=85488
|wpoint|=84
Found 2329 contexts for 85 functions. Top 5 functions:
537	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
318	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
283	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
83	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
83	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=555571.97MB, max=230.86MB, minor=555558.47MB, major=1913.19MB, promoted=1899.70MB
    minor collections=264951  major collections=72 compactions=0


runtime: 00:04:01.328
vars: 89831, evals: 474659

|rho|=89831
|called|=334
|stable|=82834
|infl|=89766
|wpoint|=90
Found 2449 contexts for 85 functions. Top 5 functions:
565	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
340	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
299	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
87	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
87	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=576620.09MB, max=230.86MB, minor=576606.46MB, major=1989.08MB, promoted=1975.44MB
    minor collections=274988  major collections=73 compactions=0


runtime: 00:04:11.356
vars: 93433, evals: 495734

|rho|=93433
|called|=77
|stable|=86507
|infl|=93382
|wpoint|=87
Found 2547 contexts for 87 functions. Top 5 functions:
599	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
347	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
310	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
94	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
94	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=597744.38MB, max=230.86MB, minor=597730.65MB, major=2062.94MB, promoted=2049.21MB
    minor collections=285062  major collections=74 compactions=0


runtime: 00:04:21.431
vars: 98985, evals: 520030

|rho|=98985
|called|=305
|stable|=91988
|infl|=98941
|wpoint|=96
Found 2703 contexts for 90 functions. Top 5 functions:
627	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
375	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
324	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
98	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
98	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=618577.66MB, max=265.49MB, minor=618563.78MB, major=2141.00MB, promoted=2127.12MB
    minor collections=294997  major collections=75 compactions=0


runtime: 00:04:31.487
vars: 102535, evals: 541982

|rho|=102535
|called|=318
|stable|=95539
|infl|=102469
|wpoint|=98
Found 2771 contexts for 92 functions. Top 5 functions:
653	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
376	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
333	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
101	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
101	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=640676.81MB, max=265.49MB, minor=640662.85MB, major=2212.98MB, promoted=2199.02MB
    minor collections=305535  major collections=76 compactions=0


runtime: 00:04:41.539
vars: 107511, evals: 564488

|rho|=107511
|called|=334
|stable|=100514
|infl|=107444
|wpoint|=107
Found 2928 contexts for 98 functions. Top 5 functions:
681	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
411	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
347	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
105	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
105	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=661839.67MB, max=265.49MB, minor=661825.52MB, major=2290.89MB, promoted=2276.74MB
    minor collections=315627  major collections=77 compactions=0


runtime: 00:04:51.582
vars: 111767, evals: 586789

|rho|=111767
|called|=406
|stable|=104760
|infl|=111699
|wpoint|=111
Found 3046 contexts for 98 functions. Top 5 functions:
708	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
433	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
362	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
109	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
109	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=682641.87MB, max=305.32MB, minor=682627.59MB, major=2366.13MB, promoted=2351.84MB
    minor collections=325547  major collections=78 compactions=0


runtime: 00:05:01.630
vars: 115331, evals: 607671

|rho|=115331
|called|=93
|stable|=108375
|infl|=115274
|wpoint|=105
Found 3142 contexts for 99 functions. Top 5 functions:
742	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
438	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
373	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
116	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
116	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=703602.12MB, max=305.32MB, minor=703587.74MB, major=2439.98MB, promoted=2425.59MB
    minor collections=335542  major collections=79 compactions=0


runtime: 00:05:11.670
vars: 120061, evals: 631310

|rho|=120061
|called|=254
|stable|=113074
|infl|=120017
|wpoint|=112
Found 3262 contexts for 103 functions. Top 5 functions:
770	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
454	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
387	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
120	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
120	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=724865.94MB, max=305.32MB, minor=724851.44MB, major=2514.14MB, promoted=2499.64MB
    minor collections=345682  major collections=80 compactions=0


runtime: 00:05:21.701
vars: 123986, evals: 652680

|rho|=123986
|called|=58
|stable|=117064
|infl|=123953
|wpoint|=111
Found 3370 contexts for 103 functions. Top 5 functions:
798	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
468	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
399	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
124	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
124	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=746951.16MB, max=305.32MB, minor=746936.54MB, major=2589.63MB, promoted=2575.01MB
    minor collections=356214  major collections=81 compactions=0


runtime: 00:05:31.737
vars: 128186, evals: 674732

|rho|=128186
|called|=109
|stable|=121247
|infl|=128120
|wpoint|=119
Found 3493 contexts for 111 functions. Top 5 functions:
824	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
492	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
410	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
127	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
127	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=768170.53MB, max=305.32MB, minor=768155.79MB, major=2664.59MB, promoted=2649.85MB
    minor collections=366333  major collections=82 compactions=0


runtime: 00:05:41.804
vars: 132579, evals: 697738

|rho|=132579
|called|=342
|stable|=125583
|infl|=132514
|wpoint|=125
Found 3597 contexts for 111 functions. Top 5 functions:
851	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
504	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
423	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
131	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
131	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=788927.92MB, max=351.12MB, minor=788908.88MB, major=2741.79MB, promoted=2722.75MB
    minor collections=376230  major collections=82 compactions=0


runtime: 00:05:51.860
vars: 136212, evals: 718615

|rho|=136212
|called|=104
|stable|=129268
|infl|=136149
|wpoint|=124
Found 3715 contexts for 111 functions. Top 5 functions:
879	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
526	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
439	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
135	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
135	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=810097.28MB, max=351.12MB, minor=810078.11MB, major=2816.25MB, promoted=2797.07MB
    minor collections=386325  major collections=83 compactions=0


runtime: 00:06:01.927
vars: 140459, evals: 740331

|rho|=140459
|called|=78
|stable|=133537
|infl|=140408
|wpoint|=128
Found 3815 contexts for 113 functions. Top 5 functions:
913	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
533	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
450	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
142	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
142	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=831024.68MB, max=403.79MB, minor=831003.30MB, major=2890.55MB, promoted=2869.17MB
    minor collections=396304  major collections=84 compactions=0


runtime: 00:06:11.979
vars: 145366, evals: 762771

|rho|=145366
|called|=58
|stable|=138361
|infl|=145324
|wpoint|=128
Found 3969 contexts for 116 functions. Top 5 functions:
941	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
561	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
464	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
146	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
146	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=852235.66MB, max=403.79MB, minor=852214.06MB, major=2966.73MB, promoted=2945.13MB
    minor collections=406418  major collections=85 compactions=0


runtime: 00:06:22.015
vars: 148916, evals: 784813

|rho|=148916
|called|=99
|stable|=141960
|infl|=148852
|wpoint|=135
Found 4037 contexts for 118 functions. Top 5 functions:
967	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
562	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
473	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
149	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
149	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=874825.50MB, max=403.79MB, minor=874803.82MB, major=3039.54MB, promoted=3017.86MB
    minor collections=417190  major collections=85 compactions=0


runtime: 00:06:32.098
vars: 153892, evals: 806916

|rho|=153892
|called|=104
|stable|=146969
|infl|=153827
|wpoint|=142
Found 4194 contexts for 124 functions. Top 5 functions:
995	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
597	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
487	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
153	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
153	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=895790.31MB, max=403.79MB, minor=895768.47MB, major=3115.80MB, promoted=3093.96MB
    minor collections=427188  major collections=86 compactions=0


runtime: 00:06:42.134
vars: 158042, evals: 827769

|rho|=158042
|called|=100
|stable|=151120
|infl|=157971
|wpoint|=142
Found 4311 contexts for 124 functions. Top 5 functions:
1022	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
619	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
502	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
157	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
157	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=916890.80MB, max=403.79MB, minor=916868.83MB, major=3189.68MB, promoted=3167.71MB
    minor collections=437250  major collections=87 compactions=0


runtime: 00:06:52.185
vars: 161868, evals: 849919

|rho|=161868
|called|=66
|stable|=154948
|infl|=161807
|wpoint|=139
Found 4397 contexts for 125 functions. Top 5 functions:
1048	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
624	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
513	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
164	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
163	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=938566.82MB, max=403.79MB, minor=938544.75MB, major=3264.75MB, promoted=3242.68MB
    minor collections=447586  major collections=88 compactions=0


runtime: 00:07:02.221
vars: 166336, evals: 871806

|rho|=166336
|called|=79
|stable|=159381
|infl|=166289
|wpoint|=148
Found 4527 contexts for 129 functions. Top 5 functions:
1084	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
640	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
527	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
168	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
168	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=959436.27MB, max=403.79MB, minor=959414.08MB, major=3336.82MB, promoted=3314.63MB
    minor collections=457538  major collections=88 compactions=0


runtime: 00:07:12.265
vars: 170169, evals: 893135

|rho|=170169
|called|=62
|stable|=163245
|infl|=170134
|wpoint|=149
Found 4612 contexts for 129 functions. Top 5 functions:
1098	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
654	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
536	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
171	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1
170	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1

Memory statistics: total=981664.81MB, max=403.79MB, minor=981642.51MB, major=3408.27MB, promoted=3385.97MB
    minor collections=468138  major collections=89 compactions=0


runtime: 00:07:22.304
vars: 173064, evals: 914184

|rho|=173064
|called|=85
|stable|=167559
|infl|=173041
|wpoint|=152
Found 4673 contexts for 129 functions. Top 5 functions:
1124	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
654	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
545	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
173	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
173	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=1003666.64MB, max=403.79MB, minor=1003644.17MB, major=3483.75MB, promoted=3461.28MB
    minor collections=478629  major collections=89 compactions=0


runtime: 00:07:32.376
vars: 173078, evals: 927721

|rho|=173078
|called|=47
|stable|=147263
|infl|=173062
|wpoint|=150
Found 4675 contexts for 130 functions. Top 5 functions:
1124	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
654	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
545	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
173	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
173	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=1020038.34MB, max=464.36MB, minor=1020013.81MB, major=3627.50MB, promoted=3602.97MB
    minor collections=486436  major collections=91 compactions=0


runtime: 00:07:42.400
vars: 174648, evals: 944951

|rho|=174648
|called|=156
|stable|=146442
|infl|=174592
|wpoint|=154
Found 4711 contexts for 131 functions. Top 5 functions:
1136	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
655	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
550	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
175	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
175	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=1038752.65MB, max=464.36MB, minor=1038726.91MB, major=3741.12MB, promoted=3715.37MB
    minor collections=495360  major collections=92 compactions=0


runtime: 00:07:52.459
vars: 179611, evals: 962070

|rho|=179611
|called|=78
|stable|=151494
|infl|=179565
|wpoint|=159
Found 4866 contexts for 131 functions. Top 5 functions:
1174	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
684	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
564	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
185	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
185	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=1056385.16MB, max=464.36MB, minor=1056359.23MB, major=3808.69MB, promoted=3782.76MB
    minor collections=503768  major collections=92 compactions=0


runtime: 00:08:02.503
vars: 182932, evals: 980220

|rho|=182932
|called|=66
|stable|=154844
|infl|=182909
|wpoint|=163
Found 4946 contexts for 131 functions. Top 5 functions:
1189	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
698	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
569	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
188	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
188	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=1076423.49MB, max=464.36MB, minor=1076397.43MB, major=3873.69MB, promoted=3847.63MB
    minor collections=513324  major collections=93 compactions=0


runtime: 00:08:12.538
vars: 186385, evals: 998330

|rho|=186385
|called|=72
|stable|=158382
|infl|=186338
|wpoint|=161
Found 5035 contexts for 131 functions. Top 5 functions:
1203	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
718	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
578	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
190	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
190	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=1095759.03MB, max=464.36MB, minor=1095732.82MB, major=3942.99MB, promoted=3916.78MB
    minor collections=522544  major collections=93 compactions=0


runtime: 00:08:22.578
vars: 190151, evals: 1018229

|rho|=190151
|called|=53
|stable|=162194
|infl|=190110
|wpoint|=164
Found 5141 contexts for 131 functions. Top 5 functions:
1232	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
732	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
588	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
193	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
192	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=1116369.75MB, max=464.36MB, minor=1116343.40MB, major=4013.48MB, promoted=3987.12MB
    minor collections=532372  major collections=94 compactions=0


runtime: 00:08:32.609
vars: 193370, evals: 1038311

|rho|=193370
|called|=86
|stable|=165413
|infl|=193304
|wpoint|=170
Found 5214 contexts for 131 functions. Top 5 functions:
1251	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
746	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
596	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
194	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
194	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=1137794.62MB, max=464.36MB, minor=1137768.17MB, major=4082.01MB, promoted=4055.57MB
    minor collections=542589  major collections=94 compactions=0


runtime: 00:08:42.649
vars: 196818, evals: 1058127

|rho|=196818
|called|=118
|stable|=168910
|infl|=196775
|wpoint|=173
Found 5298 contexts for 131 functions. Top 5 functions:
1277	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
755	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
603	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
197	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
197	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=1157025.85MB, max=464.36MB, minor=1156999.26MB, major=4150.67MB, promoted=4124.09MB
    minor collections=551759  major collections=95 compactions=0


runtime: 00:08:52.684
vars: 200836, evals: 1079207

|rho|=200836
|called|=228
|stable|=172987
|infl|=200666
|wpoint|=185
Found 5410 contexts for 131 functions. Top 5 functions:
1301	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
774	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
613	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
199	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
199	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=1178183.61MB, max=464.36MB, minor=1178156.89MB, major=4225.36MB, promoted=4198.63MB
    minor collections=561848  major collections=95 compactions=0


runtime: 00:09:02.728
vars: 203836, evals: 1096241

|rho|=203836
|called|=91
|stable|=176023
|infl|=203795
|wpoint|=185
Found 5503 contexts for 131 functions. Top 5 functions:
1327	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
789	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
622	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
202	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
202	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=1195939.21MB, max=534.02MB, minor=1195912.34MB, major=4289.37MB, promoted=4262.49MB
    minor collections=570315  major collections=96 compactions=0


runtime: 00:09:12.796
vars: 207982, evals: 1118659

|rho|=207982
|called|=298
|stable|=180172
|infl|=207926
|wpoint|=191
Found 5600 contexts for 131 functions. Top 5 functions:
1351	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
801	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
630	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
204	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
204	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=1217413.05MB, max=534.02MB, minor=1217386.06MB, major=4362.23MB, promoted=4335.24MB
    minor collections=580556  major collections=97 compactions=0


runtime: 00:09:22.819
vars: 210736, evals: 1134236

|rho|=210736
|called|=167
|stable|=183033
|infl|=210687
|wpoint|=191
Found 5681 contexts for 131 functions. Top 5 functions:
1365	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
821	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
637	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
206	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
206	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=1236459.86MB, max=534.02MB, minor=1236432.72MB, major=4427.80MB, promoted=4400.65MB
    minor collections=589638  major collections=97 compactions=0


runtime: 00:09:32.871
vars: 214740, evals: 1154666

|rho|=214740
|called|=73
|stable|=187107
|infl|=214682
|wpoint|=191
Found 5800 contexts for 131 functions. Top 5 functions:
1401	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
835	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
649	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
209	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
208	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=1257777.32MB, max=534.02MB, minor=1257750.03MB, major=4500.30MB, promoted=4473.01MB
    minor collections=599803  major collections=97 compactions=0


runtime: 00:09:42.919
vars: 217754, evals: 1171462

|rho|=217754
|called|=97
|stable|=190157
|infl|=217707
|wpoint|=198
Found 5886 contexts for 131 functions. Top 5 functions:
1415	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
855	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
656	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
211	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
211	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=1276275.15MB, max=534.02MB, minor=1276247.70MB, major=4564.32MB, promoted=4536.87MB
    minor collections=608624  major collections=98 compactions=0


runtime: 00:09:52.954
vars: 221892, evals: 1193596

|rho|=221892
|called|=345
|stable|=194280
|infl|=221867
|wpoint|=210
Found 5983 contexts for 131 functions. Top 5 functions:
1439	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
868	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
664	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
213	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
213	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=1297734.44MB, max=534.02MB, minor=1297706.87MB, major=4637.05MB, promoted=4609.48MB
    minor collections=618857  major collections=98 compactions=0


runtime: 00:10:02.994
vars: 224700, evals: 1209448

|rho|=224700
|called|=78
|stable|=197231
|infl|=224653
|wpoint|=201
Found 6070 contexts for 131 functions. Top 5 functions:
1453	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
888	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
673	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
215	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
215	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=1316748.81MB, max=534.02MB, minor=1316721.08MB, major=4703.03MB, promoted=4675.30MB
    minor collections=627924  major collections=99 compactions=0


runtime: 00:10:13.062
vars: 228508, evals: 1229555

|rho|=228508
|called|=51
|stable|=201091
|infl|=228469
|wpoint|=204
Found 6178 contexts for 131 functions. Top 5 functions:
1484	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
902	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
683	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
218	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
217	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=1338484.72MB, max=534.02MB, minor=1338456.84MB, major=4776.53MB, promoted=4748.66MB
    minor collections=638289  major collections=99 compactions=0


runtime: 00:10:23.093
vars: 231076, evals: 1249391

|rho|=231076
|called|=34
|stable|=203669
|infl|=231053
|wpoint|=209
Found 6228 contexts for 132 functions. Top 5 functions:
1501	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
902	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
689	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
220	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1
219	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1

Memory statistics: total=1358799.43MB, max=534.02MB, minor=1358771.47MB, major=4840.95MB, promoted=4812.99MB
    minor collections=647976  major collections=100 compactions=0


runtime: 00:10:33.168
vars: 235016, evals: 1270286

|rho|=235016
|called|=337
|stable|=180947
|infl|=234936
|wpoint|=225
Found 6345 contexts for 140 functions. Top 5 functions:
1525	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
902	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
710	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
223	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
223	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=1378191.65MB, max=614.13MB, minor=1378163.46MB, major=4910.99MB, promoted=4882.80MB
    minor collections=657223  major collections=100 compactions=0


runtime: 00:10:43.208
vars: 238877, evals: 1289670

|rho|=238877
|called|=123
|stable|=184867
|infl|=238800
|wpoint|=228
Found 6472 contexts for 140 functions. Top 5 functions:
1551	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
928	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
726	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
227	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
227	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=1399882.19MB, max=614.13MB, minor=1399853.84MB, major=4982.96MB, promoted=4954.61MB
    minor collections=667567  major collections=101 compactions=0


runtime: 00:10:53.271
vars: 242624, evals: 1310715

|rho|=242624
|called|=118
|stable|=188613
|infl|=242550
|wpoint|=231
Found 6574 contexts for 140 functions. Top 5 functions:
1578	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
940	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
739	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
231	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
231	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=1421630.18MB, max=614.13MB, minor=1421601.72MB, major=5054.71MB, promoted=5026.25MB
    minor collections=677937  major collections=101 compactions=0


runtime: 00:11:03.327
vars: 246902, evals: 1332094

|rho|=246902
|called|=118
|stable|=192902
|infl|=246828
|wpoint|=233
Found 6694 contexts for 140 functions. Top 5 functions:
1606	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
962	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
755	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
235	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
235	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=1443455.31MB, max=614.13MB, minor=1443426.71MB, major=5129.37MB, promoted=5100.77MB
    minor collections=688345  major collections=102 compactions=0


runtime: 00:11:13.355
vars: 250827, evals: 1352047

|rho|=250827
|called|=76
|stable|=196833
|infl|=250761
|wpoint|=230
Found 6785 contexts for 140 functions. Top 5 functions:
1638	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
969	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
766	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
242	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
241	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=1464663.14MB, max=614.13MB, minor=1464634.43MB, major=5199.53MB, promoted=5170.82MB
    minor collections=698458  major collections=102 compactions=0


runtime: 00:11:23.430
vars: 255945, evals: 1374580

|rho|=255945
|called|=91
|stable|=201942
|infl|=255887
|wpoint|=239
Found 6942 contexts for 140 functions. Top 5 functions:
1668	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
997	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
780	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
246	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
246	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=1486239.30MB, max=614.13MB, minor=1486210.44MB, major=5276.30MB, promoted=5247.44MB
    minor collections=708747  major collections=103 compactions=0


runtime: 00:11:33.470
vars: 258828, evals: 1394821

|rho|=258828
|called|=73
|stable|=204832
|infl|=258782
|wpoint|=239
Found 6980 contexts for 140 functions. Top 5 functions:
1682	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
997	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
785	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
248	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
248	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=1507921.35MB, max=614.13MB, minor=1507892.42MB, major=5342.45MB, promoted=5313.52MB
    minor collections=719086  major collections=103 compactions=0


runtime: 00:11:43.526
vars: 263023, evals: 1415056

|rho|=263023
|called|=273
|stable|=208984
|infl|=262944
|wpoint|=251
Found 7095 contexts for 140 functions. Top 5 functions:
1708	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
1021	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
796	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
251	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
251	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=1529215.03MB, max=706.24MB, minor=1529177.57MB, major=5420.79MB, promoted=5383.33MB
    minor collections=729237  major collections=103 compactions=0


runtime: 00:11:53.589
vars: 266125, evals: 1433765

|rho|=266125
|called|=125
|stable|=212092
|infl|=266051
|wpoint|=250
Found 7195 contexts for 140 functions. Top 5 functions:
1735	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
1033	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
809	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
255	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
255	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=1550774.47MB, max=706.24MB, minor=1550736.88MB, major=5488.72MB, promoted=5451.13MB
    minor collections=739518  major collections=104 compactions=0


runtime: 00:12:03.613
vars: 270297, evals: 1453528

|rho|=270297
|called|=102
|stable|=216304
|infl|=270218
|wpoint|=249
Found 7314 contexts for 140 functions. Top 5 functions:
1763	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
1055	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
825	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
259	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
259	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=1573049.21MB, max=706.24MB, minor=1573011.48MB, major=5561.84MB, promoted=5524.11MB
    minor collections=750139  major collections=104 compactions=0


runtime: 00:12:13.632
vars: 273826, evals: 1474052

|rho|=273826
|called|=71
|stable|=219833
|infl|=273763
|wpoint|=249
Found 7388 contexts for 140 functions. Top 5 functions:
1783	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
1062	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
833	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
265	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1
264	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1

Memory statistics: total=1595645.71MB, max=706.24MB, minor=1595607.88MB, major=5633.06MB, promoted=5595.23MB
    minor collections=760915  major collections=105 compactions=0


runtime: 00:12:23.696
vars: 277760, evals: 1494212

|rho|=277760
|called|=70
|stable|=223766
|infl|=277705
|wpoint|=254
Found 7491 contexts for 140 functions. Top 5 functions:
1811	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
1076	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
843	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
268	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
268	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=1616109.15MB, max=706.24MB, minor=1616071.20MB, major=5700.54MB, promoted=5662.58MB
    minor collections=770673  major collections=105 compactions=0


runtime: 00:12:33.752
vars: 282329, evals: 1517219

|rho|=282329
|called|=233
|stable|=228289
|infl|=282283
|wpoint|=265
Found 7601 contexts for 140 functions. Top 5 functions:
1839	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
1090	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
855	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
272	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
272	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=1638675.47MB, max=706.24MB, minor=1638637.39MB, major=5776.86MB, promoted=5738.79MB
    minor collections=781433  major collections=105 compactions=0


runtime: 00:12:43.807
vars: 286524, evals: 1537867

|rho|=286524
|called|=277
|stable|=232484
|infl|=286445
|wpoint|=271
Found 7716 contexts for 140 functions. Top 5 functions:
1865	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
1114	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
866	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
275	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
275	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=1660233.61MB, max=706.24MB, minor=1660195.39MB, major=5848.64MB, promoted=5810.42MB
    minor collections=791714  major collections=106 compactions=0


runtime: 00:12:53.847
vars: 290271, evals: 1558773

|rho|=290271
|called|=262
|stable|=236231
|infl|=290195
|wpoint|=274
Found 7818 contexts for 140 functions. Top 5 functions:
1892	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
1126	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
879	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
279	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
279	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=1681647.56MB, max=706.24MB, minor=1681609.23MB, major=5919.80MB, promoted=5881.47MB
    minor collections=801925  major collections=106 compactions=0


runtime: 00:13:03.899
vars: 293904, evals: 1579033

|rho|=293904
|called|=118
|stable|=239894
|infl|=293830
|wpoint|=273
Found 7936 contexts for 140 functions. Top 5 functions:
1920	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
1148	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
895	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
283	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
283	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=1703901.53MB, max=706.24MB, minor=1703862.93MB, major=5994.57MB, promoted=5955.97MB
    minor collections=812537  major collections=106 compactions=0


runtime: 00:13:13.966
vars: 297805, evals: 1597663

|rho|=297805
|called|=72
|stable|=243812
|infl|=297741
|wpoint|=269
Found 8026 contexts for 140 functions. Top 5 functions:
1951	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
1155	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
906	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
290	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
289	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=1725272.86MB, max=706.24MB, minor=1725234.15MB, major=6062.64MB, promoted=6023.92MB
    minor collections=822728  major collections=107 compactions=0


runtime: 00:13:24.005
vars: 302681, evals: 1619104

|rho|=302681
|called|=79
|stable|=248686
|infl|=302620
|wpoint|=275
Found 8176 contexts for 140 functions. Top 5 functions:
1978	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
1183	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
920	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
294	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
293	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=1747453.51MB, max=706.24MB, minor=1747414.63MB, major=6137.96MB, promoted=6099.08MB
    minor collections=833305  major collections=107 compactions=0


runtime: 00:13:34.057
vars: 305830, evals: 1640376

|rho|=305830
|called|=100
|stable|=251814
|infl|=305784
|wpoint|=278
Found 8222 contexts for 140 functions. Top 5 functions:
1996	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
1183	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
925	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
296	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
296	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=1770358.26MB, max=706.24MB, minor=1770319.30MB, major=6207.20MB, promoted=6168.24MB
    minor collections=844227  major collections=108 compactions=0


runtime: 00:13:44.109
vars: 309380, evals: 1658275

|rho|=309380
|called|=122
|stable|=255371
|infl|=309303
|wpoint|=288
Found 8335 contexts for 140 functions. Top 5 functions:
2022	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
1207	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
936	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
299	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
299	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=1791435.19MB, max=706.24MB, minor=1791396.06MB, major=6273.65MB, promoted=6234.52MB
    minor collections=854278  major collections=108 compactions=0


runtime: 00:13:54.156
vars: 313127, evals: 1679583

|rho|=313127
|called|=117
|stable|=259116
|infl|=313053
|wpoint|=291
Found 8437 contexts for 140 functions. Top 5 functions:
2049	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
1219	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
949	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
303	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
303	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=1813881.29MB, max=706.24MB, minor=1813842.05MB, major=6346.52MB, promoted=6307.28MB
    minor collections=864981  major collections=108 compactions=0


runtime: 00:14:04.196
vars: 317299, evals: 1698607

|rho|=317299
|called|=111
|stable|=263291
|infl|=317220
|wpoint|=291
Found 8556 contexts for 140 functions. Top 5 functions:
2077	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
1241	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
965	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
307	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
307	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=1835187.93MB, max=812.18MB, minor=1835144.35MB, major=6420.83MB, promoted=6377.24MB
    minor collections=875140  major collections=109 compactions=0


runtime: 00:14:14.284
vars: 320681, evals: 1718149

|rho|=320681
|called|=335
|stable|=266611
|infl|=320611
|wpoint|=300
Found 8619 contexts for 140 functions. Top 5 functions:
2097	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
1246	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
969	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
312	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
312	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=1857098.94MB, max=812.18MB, minor=1857055.26MB, major=6486.90MB, promoted=6443.22MB
    minor collections=885589  major collections=109 compactions=0


runtime: 00:14:24.371
vars: 324762, evals: 1738870

|rho|=324762
|called|=180
|stable|=270735
|infl|=324707
|wpoint|=296
Found 8733 contexts for 140 functions. Top 5 functions:
2125	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
1262	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
983	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
316	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
316	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=1879647.13MB, max=812.18MB, minor=1879603.32MB, major=6558.76MB, promoted=6514.96MB
    minor collections=896341  major collections=109 compactions=0


runtime: 00:14:34.403
vars: 328580, evals: 1757559

|rho|=328580
|called|=77
|stable|=274562
|infl|=328531
|wpoint|=299
Found 8840 contexts for 140 functions. Top 5 functions:
2153	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
1276	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
995	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
320	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
320	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=1901838.84MB, max=812.18MB, minor=1901794.89MB, major=6629.24MB, promoted=6585.29MB
    minor collections=906923  major collections=110 compactions=0


runtime: 00:14:44.447
vars: 331809, evals: 1775794

|rho|=331809
|called|=144
|stable|=277816
|infl|=331700
|wpoint|=304
Found 8920 contexts for 140 functions. Top 5 functions:
2165	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
1298	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
1003	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
321	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
321	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=1924017.25MB, max=812.18MB, minor=1923973.17MB, major=6695.47MB, promoted=6651.39MB
    minor collections=917499  major collections=110 compactions=0


runtime: 00:14:54.502
vars: 335775, evals: 1797000

|rho|=335775
|called|=177
|stable|=281760
|infl|=335705
|wpoint|=310
Found 9030 contexts for 140 functions. Top 5 functions:
2193	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
1312	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
1015	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
325	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
325	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=1946062.87MB, max=812.18MB, minor=1946018.68MB, major=6768.83MB, promoted=6724.64MB
    minor collections=928011  major collections=110 compactions=0

Unwinding loop strcmp.0 iteration 1 file <builtin-library-strcmp> line 44 function strcmp thread 0
Not unwinding loop strcmp.0 iteration 2 file <builtin-library-strcmp> line 44 function strcmp thread 0
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 0
Handling datarace, passing the problem to goblint first
getcwd: /mnt/goblint-svcomp/benchexec/tools-pldi/deagle
