./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.325
vars: 1243, evals: 4555

|rho|=1243
|called|=248
|stable|=1090
|infl|=1229
|wpoint|=9
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=37699.49MB, max=57.06MB, minor=37696.53MB, major=115.96MB, promoted=113.00MB
    minor collections=17982  major collections=15 compactions=0


runtime: 00:00:20.349
vars: 2675, evals: 8794

|rho|=2675
|called|=121
|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=74698.65MB, max=57.06MB, minor=74695.53MB, major=206.68MB, promoted=203.55MB
    minor collections=35627  major collections=20 compactions=0


runtime: 00:00:30.369
vars: 3911, evals: 12905

|rho|=3911
|called|=128
|stable|=3799
|infl|=3897
|wpoint|=6
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=111312.85MB, max=65.62MB, minor=111309.67MB, major=299.34MB, promoted=296.16MB
    minor collections=53090  major collections=26 compactions=0


runtime: 00:00:40.404
vars: 5500, evals: 16516

|rho|=5500
|called|=76
|stable|=5498
|infl|=5426
|wpoint|=2
Found 154 contexts for 24 functions. Top 5 functions:
43	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=147985.99MB, max=75.46MB, minor=147982.36MB, major=395.60MB, promoted=391.98MB
    minor collections=70579  major collections=31 compactions=0


runtime: 00:00:50.454
vars: 8482, evals: 37975

|rho|=8482
|called|=303
|stable|=8192
|infl|=8416
|wpoint|=17
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=170544.76MB, max=86.78MB, minor=170540.24MB, major=485.73MB, promoted=481.21MB
    minor collections=81338  major collections=35 compactions=0


runtime: 00:01:00.510
vars: 13458, evals: 62141

|rho|=13458
|called|=184
|stable|=13174
|infl|=13391
|wpoint|=18
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=192235.89MB, max=86.78MB, minor=192231.07MB, major=569.32MB, promoted=564.50MB
    minor collections=91683  major collections=39 compactions=0


runtime: 00:01:10.590
vars: 17714, evals: 85655

|rho|=17714
|called|=229
|stable|=17105
|infl|=17646
|wpoint|=25
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=214128.85MB, max=99.80MB, minor=214123.04MB, major=649.66MB, promoted=643.86MB
    minor collections=102124  major collections=42 compactions=0


runtime: 00:01:20.653
vars: 21923, evals: 110048

|rho|=21923
|called|=317
|stable|=19343
|infl|=21864
|wpoint|=31
Found 607 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=235101.53MB, max=99.80MB, minor=235095.37MB, major=736.39MB, promoted=730.23MB
    minor collections=112126  major collections=45 compactions=0


runtime: 00:01:30.713
vars: 26009, evals: 132911

|rho|=26009
|called|=307
|stable|=22700
|infl|=25965
|wpoint|=36
Found 726 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=255705.22MB, max=114.77MB, minor=255698.44MB, major=831.09MB, promoted=824.31MB
    minor collections=121952  major collections=48 compactions=0


runtime: 00:01:40.757
vars: 29828, evals: 154023

|rho|=29828
|called|=55
|stable|=19928
|infl|=29790
|wpoint|=31
Found 833 contexts for 51 functions. Top 5 functions:
170	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
119	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=278037.94MB, max=114.77MB, minor=278030.87MB, major=914.66MB, promoted=907.59MB
    minor collections=132602  major collections=51 compactions=0


runtime: 00:01:50.808
vars: 31996, evals: 175662

|rho|=31996
|called|=229
|stable|=25031
|infl|=31930
|wpoint|=36
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=300126.34MB, max=114.77MB, minor=300119.18MB, major=990.66MB, promoted=983.50MB
    minor collections=143136  major collections=53 compactions=0


runtime: 00:02:00.840
vars: 37028, evals: 199064

|rho|=37028
|called|=75
|stable|=30108
|infl|=36969
|wpoint|=36
Found 1031 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
139	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=321286.37MB, max=131.99MB, minor=321277.97MB, major=1072.00MB, promoted=1063.60MB
    minor collections=153227  major collections=55 compactions=0


runtime: 00:02:10.907
vars: 41740, evals: 222633

|rho|=41740
|called|=87
|stable|=34820
|infl|=41661
|wpoint|=38
Found 1168 contexts for 59 functions. Top 5 functions:
245	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
159	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
154	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
39	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
38	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=342610.02MB, max=151.79MB, minor=342600.93MB, major=1152.34MB, promoted=1143.25MB
    minor collections=163396  major collections=57 compactions=0


runtime: 00:02:20.979
vars: 46301, evals: 246429

|rho|=46301
|called|=79
|stable|=39366
|infl|=46245
|wpoint|=45
Found 1278 contexts for 61 functions. Top 5 functions:
285	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
170	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
161	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
46	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
46	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=364055.99MB, max=151.79MB, minor=364046.79MB, major=1230.05MB, promoted=1220.84MB
    minor collections=173623  major collections=59 compactions=0


runtime: 00:02:31.023
vars: 51314, evals: 270630

|rho|=51314
|called|=70
|stable|=44387
|infl|=51272
|wpoint|=50
Found 1433 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=385617.92MB, max=151.79MB, minor=385608.56MB, major=1308.77MB, promoted=1299.41MB
    minor collections=183906  major collections=61 compactions=0


runtime: 00:02:41.090
vars: 54864, evals: 293394

|rho|=54864
|called|=99
|stable|=47920
|infl|=54800
|wpoint|=55
Found 1501 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
53	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=408221.73MB, max=174.56MB, minor=408212.29MB, major=1383.24MB, promoted=1373.80MB
    minor collections=194685  major collections=63 compactions=0


runtime: 00:02:51.174
vars: 59840, evals: 316626

|rho|=59840
|called|=106
|stable|=52903
|infl|=59775
|wpoint|=61
Found 1658 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=429707.21MB, max=174.56MB, minor=429697.61MB, major=1461.95MB, promoted=1452.35MB
    minor collections=204931  major collections=65 compactions=0


runtime: 00:03:01.233
vars: 64096, evals: 339188

|rho|=64096
|called|=107
|stable|=57158
|infl|=64030
|wpoint|=64
Found 1776 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=450716.80MB, max=200.75MB, minor=450707.06MB, major=1538.06MB, promoted=1528.31MB
    minor collections=214950  major collections=66 compactions=0


runtime: 00:03:11.277
vars: 68305, evals: 362180

|rho|=68305
|called|=88
|stable|=61367
|infl|=68248
|wpoint|=65
Found 1874 contexts for 73 functions. Top 5 functions:
428	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
68	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=471977.17MB, max=230.86MB, minor=471965.23MB, major=1616.79MB, promoted=1604.84MB
    minor collections=225088  major collections=67 compactions=0


runtime: 00:03:21.336
vars: 73035, evals: 386439

|rho|=73035
|called|=309
|stable|=66038
|infl|=72991
|wpoint|=76
Found 1994 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=492997.70MB, max=265.49MB, minor=492984.56MB, major=1693.79MB, promoted=1680.65MB
    minor collections=235112  major collections=69 compactions=0


runtime: 00:03:31.392
vars: 76960, evals: 407907

|rho|=76960
|called|=66
|stable|=70002
|infl|=76927
|wpoint|=71
Found 2102 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=515497.79MB, max=265.49MB, minor=515484.54MB, major=1769.73MB, promoted=1756.47MB
    minor collections=245841  major collections=70 compactions=0


runtime: 00:03:41.439
vars: 81805, evals: 432312

|rho|=81805
|called|=258
|stable|=74839
|infl|=81737
|wpoint|=80
Found 2227 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=537122.65MB, max=265.49MB, minor=537109.26MB, major=1848.48MB, promoted=1835.09MB
    minor collections=256153  major collections=71 compactions=0


runtime: 00:03:51.479
vars: 85553, evals: 454311

|rho|=85553
|called|=241
|stable|=78589
|infl|=85488
|wpoint|=83
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=558870.42MB, max=265.49MB, minor=558856.91MB, major=1923.36MB, promoted=1909.86MB
    minor collections=266524  major collections=72 compactions=0


runtime: 00:04:01.523
vars: 89831, evals: 476982

|rho|=89831
|called|=215
|stable|=82872
|infl|=89766
|wpoint|=84
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=580320.55MB, max=265.49MB, minor=580306.92MB, major=1999.90MB, promoted=1986.26MB
    minor collections=276753  major collections=73 compactions=0


runtime: 00:04:11.590
vars: 94078, evals: 499801

|rho|=94078
|called|=161
|stable|=87124
|infl|=94025
|wpoint|=87
Found 2549 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=601895.29MB, max=265.49MB, minor=601881.55MB, major=2075.36MB, promoted=2061.63MB
    minor collections=287041  major collections=74 compactions=0


runtime: 00:04:21.658
vars: 99630, evals: 524127

|rho|=99630
|called|=216
|stable|=92664
|infl|=99595
|wpoint|=95
Found 2710 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
326	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
99	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1
98	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1

Memory statistics: total=623496.43MB, max=265.49MB, minor=623482.54MB, major=2155.80MB, promoted=2141.91MB
    minor collections=297342  major collections=75 compactions=0


runtime: 00:04:31.709
vars: 103230, evals: 545434

|rho|=103230
|called|=85
|stable|=96310
|infl|=103161
|wpoint|=96
Found 2800 contexts for 95 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
389	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
337	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=645606.67MB, max=305.32MB, minor=645592.63MB, major=2229.58MB, promoted=2215.55MB
    minor collections=307886  major collections=76 compactions=0


runtime: 00:04:41.801
vars: 107835, evals: 568136

|rho|=107835
|called|=86
|stable|=100914
|infl|=107759
|wpoint|=96
Found 2942 contexts for 98 functions. Top 5 functions:
683	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
351	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
107	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
106	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=667032.90MB, max=305.32MB, minor=667018.72MB, major=2307.19MB, promoted=2293.00MB
    minor collections=318103  major collections=77 compactions=0


runtime: 00:04:51.857
vars: 112093, evals: 590776

|rho|=112093
|called|=85
|stable|=105173
|infl|=112015
|wpoint|=97
Found 3061 contexts for 98 functions. Top 5 functions:
710	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
367	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
111	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
110	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=688243.35MB, max=305.32MB, minor=688229.03MB, major=2383.42MB, promoted=2369.10MB
    minor collections=328218  major collections=78 compactions=0


runtime: 00:05:01.916
vars: 115976, evals: 613198

|rho|=115976
|called|=82
|stable|=109053
|infl|=115917
|wpoint|=101
Found 3144 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=709587.96MB, max=305.32MB, minor=709573.56MB, major=2456.29MB, promoted=2441.90MB
    minor collections=338397  major collections=79 compactions=0


runtime: 00:05:11.952
vars: 121747, evals: 636367

|rho|=121747
|called|=77
|stable|=114816
|infl|=121700
|wpoint|=110
Found 3334 contexts for 103 functions. Top 5 functions:
784	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
394	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
122	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
122	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=730446.03MB, max=305.32MB, minor=730431.45MB, major=2534.89MB, promoted=2520.32MB
    minor collections=348343  major collections=80 compactions=0


runtime: 00:05:21.987
vars: 124959, evals: 658243

|rho|=124959
|called|=89
|stable|=118039
|infl|=124875
|wpoint|=109
Found 3391 contexts for 105 functions. Top 5 functions:
803	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
469	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
403	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
125	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=752916.24MB, max=351.12MB, minor=752901.59MB, major=2607.48MB, promoted=2592.83MB
    minor collections=359058  major collections=81 compactions=0


runtime: 00:05:32.055
vars: 129983, evals: 681000

|rho|=129983
|called|=91
|stable|=123062
|infl|=129906
|wpoint|=115
Found 3550 contexts for 111 functions. Top 5 functions:
833	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
417	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
129	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
128	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=774474.42MB, max=351.12MB, minor=774459.62MB, major=2685.92MB, promoted=2671.12MB
    minor collections=369339  major collections=82 compactions=0


runtime: 00:05:42.146
vars: 134147, evals: 703159

|rho|=134147
|called|=84
|stable|=127226
|infl|=134077
|wpoint|=119
Found 3665 contexts for 111 functions. Top 5 functions:
857	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
432	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
133	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
132	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=795973.85MB, max=403.79MB, minor=795954.72MB, major=2765.70MB, promoted=2746.57MB
    minor collections=379590  major collections=83 compactions=0


runtime: 00:05:52.198
vars: 137210, evals: 725377

|rho|=137210
|called|=126
|stable|=130281
|infl|=137151
|wpoint|=124
Found 3726 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
441	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=817568.91MB, max=403.79MB, minor=817549.71MB, major=2838.69MB, promoted=2819.49MB
    minor collections=389887  major collections=83 compactions=0


runtime: 00:06:02.242
vars: 142485, evals: 747488

|rho|=142485
|called|=73
|stable|=135563
|infl|=142423
|wpoint|=124
Found 3882 contexts for 116 functions. Top 5 functions:
920	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
547	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
457	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
144	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
143	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=838138.70MB, max=403.79MB, minor=838117.25MB, major=2915.69MB, promoted=2894.24MB
    minor collections=399695  major collections=84 compactions=0


runtime: 00:06:12.273
vars: 146656, evals: 770292

|rho|=146656
|called|=55
|stable|=139733
|infl|=146621
|wpoint|=129
Found 3978 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
466	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
147	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1
146	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1

Memory statistics: total=860959.50MB, max=403.79MB, minor=860937.88MB, major=2990.91MB, promoted=2969.29MB
    minor collections=410578  major collections=85 compactions=0


runtime: 00:06:22.333
vars: 150640, evals: 792289

|rho|=150640
|called|=123
|stable|=143718
|infl|=150553
|wpoint|=136
Found 4091 contexts for 124 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
583	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
477	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=882778.96MB, max=403.79MB, minor=882757.22MB, major=3066.62MB, promoted=3044.87MB
    minor collections=420982  major collections=85 compactions=0


runtime: 00:06:32.372
vars: 155051, evals: 814179

|rho|=155051
|called|=83
|stable|=148131
|infl|=154976
|wpoint|=136
Found 4219 contexts for 124 functions. Top 5 functions:
1003	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
493	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
155	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
154	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=903831.92MB, max=403.79MB, minor=903810.04MB, major=3140.95MB, promoted=3119.07MB
    minor collections=431022  major collections=86 compactions=0


runtime: 00:06:42.428
vars: 159187, evals: 836534

|rho|=159187
|called|=80
|stable|=152266
|infl|=159116
|wpoint|=138
Found 4333 contexts for 124 functions. Top 5 functions:
1027	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
508	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 event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
158	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=925396.90MB, max=403.79MB, minor=925374.89MB, major=3217.43MB, promoted=3195.42MB
    minor collections=441305  major collections=87 compactions=0


runtime: 00:06:52.468
vars: 163002, evals: 858849

|rho|=163002
|called|=82
|stable|=156078
|infl|=162943
|wpoint|=141
Found 4412 contexts for 125 functions. Top 5 functions:
1056	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
164	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=947556.69MB, max=403.79MB, minor=947534.61MB, major=3291.18MB, promoted=3269.09MB
    minor collections=451872  major collections=87 compactions=0


runtime: 00:07:02.503
vars: 168459, evals: 881099

|rho|=168459
|called|=66
|stable|=161538
|infl|=168401
|wpoint|=146
Found 4592 contexts for 129 functions. Top 5 functions:
1092	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
534	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
170	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
169	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=968765.12MB, max=403.79MB, minor=968742.86MB, major=3368.44MB, promoted=3346.17MB
    minor collections=461986  major collections=88 compactions=0


runtime: 00:07:12.567
vars: 171657, evals: 902666

|rho|=171657
|called|=58
|stable|=164733
|infl|=171622
|wpoint|=150
Found 4640 contexts for 129 functions. Top 5 functions:
1112	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
539	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
172	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
172	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=991789.31MB, max=403.79MB, minor=991766.97MB, major=3438.63MB, promoted=3416.29MB
    minor collections=472965  major collections=89 compactions=0


runtime: 00:07:22.630
vars: 173077, evals: 920300

|rho|=173077
|called|=74
|stable|=150036
|infl|=173060
|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=1011154.55MB, max=464.36MB, minor=1011131.14MB, major=3548.09MB, promoted=3524.68MB
    minor collections=482200  major collections=90 compactions=0


runtime: 00:07:32.666
vars: 173078, evals: 934211

|rho|=173078
|called|=71
|stable|=153683
|infl|=173062
|wpoint|=151
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=1027985.93MB, max=534.02MB, minor=1027960.43MB, major=3693.95MB, promoted=3668.45MB
    minor collections=490225  major collections=91 compactions=0


runtime: 00:07:42.729
vars: 177743, evals: 951483

|rho|=177743
|called|=72
|stable|=149642
|infl|=177684
|wpoint|=153
Found 4823 contexts for 131 functions. Top 5 functions:
1156	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
682	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
560	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
183	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
182	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=1046427.61MB, max=534.02MB, minor=1046401.71MB, major=3773.53MB, promoted=3747.63MB
    minor collections=499019  major collections=92 compactions=0


runtime: 00:07:52.757
vars: 182089, evals: 972824

|rho|=182089
|called|=294
|stable|=153948
|infl|=182064
|wpoint|=168
Found 4920 contexts for 131 functions. Top 5 functions:
1175	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
566	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
187	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1
186	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1

Memory statistics: total=1066947.19MB, max=534.02MB, minor=1066921.17MB, major=3842.64MB, promoted=3816.62MB
    minor collections=508804  major collections=92 compactions=0


runtime: 00:08:02.801
vars: 184993, evals: 992974

|rho|=184993
|called|=171
|stable|=156895
|infl|=184937
|wpoint|=162
Found 4979 contexts for 131 functions. Top 5 functions:
1201	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
699	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
573	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
189	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
189	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=1088353.14MB, max=534.02MB, minor=1088327.04MB, major=3910.83MB, promoted=3884.73MB
    minor collections=519012  major collections=93 compactions=0


runtime: 00:08:12.844
vars: 188404, evals: 1009701

|rho|=188404
|called|=86
|stable|=160389
|infl|=188358
|wpoint|=167
Found 5088 contexts for 131 functions. Top 5 functions:
1227	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
721	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
584	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
192	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=1107382.82MB, max=534.02MB, minor=1107356.54MB, major=3979.39MB, promoted=3953.11MB
    minor collections=528086  major collections=93 compactions=0


runtime: 00:08:22.896
vars: 192011, evals: 1031081

|rho|=192011
|called|=94
|stable|=164051
|infl|=191957
|wpoint|=173
Found 5184 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
733	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
592	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=1129381.53MB, max=534.02MB, minor=1129355.13MB, major=4051.88MB, promoted=4025.47MB
    minor collections=538576  major collections=94 compactions=0


runtime: 00:08:32.939
vars: 195410, evals: 1049026

|rho|=195410
|called|=84
|stable|=167521
|infl|=195361
|wpoint|=172
Found 5267 contexts for 131 functions. Top 5 functions:
1265	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
753	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
599	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
196	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
196	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=1148820.41MB, max=534.02MB, minor=1148793.85MB, major=4120.52MB, promoted=4093.96MB
    minor collections=547846  major collections=94 compactions=0


runtime: 00:08:42.999
vars: 199302, evals: 1069920

|rho|=199302
|called|=80
|stable|=171452
|infl|=199240
|wpoint|=175
Found 5382 contexts for 131 functions. Top 5 functions:
1297	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
767	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
611	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
198	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=1169663.98MB, max=534.02MB, minor=1169637.28MB, major=4194.47MB, promoted=4167.77MB
    minor collections=557785  major collections=95 compactions=0


runtime: 00:08:53.039
vars: 202428, evals: 1087774

|rho|=202428
|called|=74
|stable|=174566
|infl|=202381
|wpoint|=179
Found 5472 contexts for 131 functions. Top 5 functions:
1315	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
787	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
618	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
201	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
201	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=1188141.25MB, max=534.02MB, minor=1188114.41MB, major=4260.65MB, promoted=4233.81MB
    minor collections=566596  major collections=95 compactions=0


runtime: 00:09:03.110
vars: 206566, evals: 1110232

|rho|=206566
|called|=210
|stable|=178778
|infl|=206541
|wpoint|=189
Found 5569 contexts for 131 functions. Top 5 functions:
1339	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
800	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
626	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
203	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
203	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=1209789.02MB, max=534.02MB, minor=1209762.06MB, major=4334.87MB, promoted=4307.90MB
    minor collections=576919  major collections=96 compactions=0


runtime: 00:09:13.126
vars: 209985, evals: 1126818

|rho|=209985
|called|=83
|stable|=182312
|infl|=209933
|wpoint|=189
Found 5678 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=1228910.74MB, max=534.02MB, minor=1228883.61MB, major=4403.23MB, promoted=4376.09MB
    minor collections=586037  major collections=96 compactions=0


runtime: 00:09:23.189
vars: 213584, evals: 1148302

|rho|=213584
|called|=61
|stable|=185936
|infl|=213561
|wpoint|=195
Found 5774 contexts for 131 functions. Top 5 functions:
1389	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
834	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
645	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
208	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=1251054.18MB, max=534.02MB, minor=1251026.92MB, major=4476.02MB, promoted=4448.76MB
    minor collections=596597  major collections=97 compactions=0


runtime: 00:09:33.237
vars: 217031, evals: 1166418

|rho|=217031
|called|=83
|stable|=189434
|infl|=216982
|wpoint|=197
Found 5863 contexts for 131 functions. Top 5 functions:
1403	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
854	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
654	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
210	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
210	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=1271026.24MB, max=534.02MB, minor=1270998.84MB, major=4543.08MB, promoted=4515.68MB
    minor collections=606120  major collections=97 compactions=0


runtime: 00:09:43.296
vars: 220469, evals: 1186630

|rho|=220469
|called|=113
|stable|=192905
|infl|=220411
|wpoint|=202
Found 5955 contexts for 131 functions. Top 5 functions:
1427	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
662	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
212	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
212	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=1292518.03MB, max=534.02MB, minor=1292490.50MB, major=4615.84MB, promoted=4588.32MB
    minor collections=616369  major collections=98 compactions=0


runtime: 00:09:53.320
vars: 223942, evals: 1206592

|rho|=223942
|called|=119
|stable|=196416
|infl|=223883
|wpoint|=206
Found 6037 contexts for 131 functions. Top 5 functions:
1451	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
879	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
672	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
214	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
214	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=1312879.49MB, max=534.02MB, minor=1312851.84MB, major=4683.79MB, promoted=4656.14MB
    minor collections=626078  major collections=98 compactions=0


runtime: 00:10:03.360
vars: 227470, evals: 1226083

|rho|=227470
|called|=237
|stable|=199971
|infl|=227427
|wpoint|=212
Found 6126 contexts for 131 functions. Top 5 functions:
1477	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
891	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
679	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
217	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=1333417.65MB, max=534.02MB, minor=1333389.86MB, major=4753.82MB, promoted=4726.03MB
    minor collections=635872  major collections=98 compactions=0


runtime: 00:10:13.411
vars: 230906, evals: 1245370

|rho|=230906
|called|=204
|stable|=203443
|infl|=230884
|wpoint|=215
Found 6218 contexts for 131 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
687	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
219	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
219	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=1354018.59MB, max=534.02MB, minor=1353990.66MB, major=4820.79MB, promoted=4792.86MB
    minor collections=645696  major collections=99 compactions=0


runtime: 00:10:23.483
vars: 233785, evals: 1263507

|rho|=233785
|called|=100
|stable|=179792
|infl|=233694
|wpoint|=216
Found 6324 contexts for 140 functions. Top 5 functions:
1514	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
708	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
222	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=1373093.74MB, max=534.02MB, minor=1373065.56MB, major=4890.66MB, promoted=4862.48MB
    minor collections=654792  major collections=99 compactions=0


runtime: 00:10:33.511
vars: 237478, evals: 1283687

|rho|=237478
|called|=101
|stable|=183485
|infl|=237398
|wpoint|=225
Found 6418 contexts for 140 functions. Top 5 functions:
1537	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
919	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
723	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
225	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
225	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=1394613.18MB, max=534.02MB, minor=1394584.88MB, major=4959.52MB, promoted=4931.22MB
    minor collections=665053  major collections=100 compactions=0


runtime: 00:10:43.582
vars: 241771, evals: 1304988

|rho|=241771
|called|=144
|stable|=187768
|infl|=241701
|wpoint|=229
Found 6546 contexts for 140 functions. Top 5 functions:
1565	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
735	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
229	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
229	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=1416813.41MB, max=534.02MB, minor=1416784.98MB, major=5033.75MB, promoted=5005.32MB
    minor collections=675640  major collections=100 compactions=0


runtime: 00:10:53.646
vars: 245970, evals: 1326117

|rho|=245970
|called|=192
|stable|=191944
|infl|=245891
|wpoint|=230
Found 6659 contexts for 140 functions. Top 5 functions:
1592	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
748	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
233	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
233	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=1437340.23MB, max=614.13MB, minor=1437311.66MB, major=5104.29MB, promoted=5075.72MB
    minor collections=685428  major collections=101 compactions=0


runtime: 00:11:03.701
vars: 249533, evals: 1346185

|rho|=249533
|called|=109
|stable|=195504
|infl|=249465
|wpoint|=234
Found 6754 contexts for 140 functions. Top 5 functions:
1626	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
967	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
759	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
240	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
240	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=1459011.24MB, max=614.13MB, minor=1458982.57MB, major=5175.59MB, promoted=5146.92MB
    minor collections=695762  major collections=101 compactions=0


runtime: 00:11:13.761
vars: 254259, evals: 1369088

|rho|=254259
|called|=318
|stable|=200189
|infl|=254204
|wpoint|=242
Found 6870 contexts for 140 functions. Top 5 functions:
1654	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
983	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
773	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
244	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
244	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=1480306.54MB, max=614.13MB, minor=1480277.75MB, major=5248.54MB, promoted=5219.75MB
    minor collections=705917  major collections=102 compactions=0


runtime: 00:11:23.784
vars: 258077, evals: 1388773

|rho|=258077
|called|=81
|stable|=204074
|infl|=258028
|wpoint|=240
Found 6977 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=1502704.54MB, max=614.13MB, minor=1502675.63MB, major=5321.84MB, promoted=5292.93MB
    minor collections=716597  major collections=102 compactions=0


runtime: 00:11:33.836
vars: 262247, evals: 1408803

|rho|=262247
|called|=120
|stable|=208254
|infl|=262145
|wpoint|=244
Found 7091 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=1524297.55MB, max=706.24MB, minor=1524260.10MB, major=5401.38MB, promoted=5363.93MB
    minor collections=726892  major collections=103 compactions=0


runtime: 00:11:43.924
vars: 265272, evals: 1428414

|rho|=265272
|called|=104
|stable|=211278
|infl|=265202
|wpoint|=249
Found 7167 contexts for 140 functions. Top 5 functions:
1722	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
805	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
253	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
253	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=1545834.23MB, max=706.24MB, minor=1545796.68MB, major=5468.84MB, promoted=5431.29MB
    minor collections=737162  major collections=103 compactions=0


runtime: 00:11:53.971
vars: 269471, evals: 1449576

|rho|=269471
|called|=353
|stable|=215305
|infl|=269392
|wpoint|=259
Found 7280 contexts for 140 functions. Top 5 functions:
1749	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
818	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
257	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
257	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=1568658.47MB, max=706.24MB, minor=1568620.78MB, major=5541.79MB, promoted=5504.09MB
    minor collections=748045  major collections=103 compactions=0


runtime: 00:12:04.043
vars: 273034, evals: 1468157

|rho|=273034
|called|=110
|stable|=219017
|infl|=272966
|wpoint|=254
Found 7375 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
1060	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
829	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
264	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
264	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=1589510.47MB, max=706.24MB, minor=1589472.65MB, major=5608.84MB, promoted=5571.03MB
    minor collections=757989  major collections=104 compactions=0


runtime: 00:12:14.078
vars: 277115, evals: 1489470

|rho|=277115
|called|=99
|stable|=223093
|infl|=277062
|wpoint|=258
Found 7489 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=1610762.44MB, max=706.24MB, minor=1610724.51MB, major=5680.18MB, promoted=5642.25MB
    minor collections=768123  major collections=104 compactions=0


runtime: 00:12:24.146
vars: 281578, evals: 1510830

|rho|=281578
|called|=79
|stable|=227575
|infl|=281529
|wpoint|=260
Found 7598 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=1633665.77MB, max=706.24MB, minor=1633627.70MB, major=5756.28MB, promoted=5718.22MB
    minor collections=779045  major collections=105 compactions=0


runtime: 00:12:34.208
vars: 285273, evals: 1530777

|rho|=285273
|called|=108
|stable|=231280
|infl|=285181
|wpoint|=261
Found 7694 contexts for 140 functions. Top 5 functions:
1853	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
864	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
274	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=1654785.74MB, max=706.24MB, minor=1654747.55MB, major=5826.26MB, promoted=5788.07MB
    minor collections=789115  major collections=105 compactions=0


runtime: 00:12:44.233
vars: 289306, evals: 1552226

|rho|=289306
|called|=94
|stable|=235313
|infl|=289228
|wpoint|=265
Found 7809 contexts for 140 functions. Top 5 functions:
1890	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
278	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=1676620.76MB, max=706.24MB, minor=1676582.46MB, major=5899.82MB, promoted=5861.51MB
    minor collections=799527  major collections=105 compactions=0


runtime: 00:12:54.297
vars: 292972, evals: 1572793

|rho|=292972
|called|=103
|stable|=238977
|infl|=292893
|wpoint|=268
Found 7901 contexts for 140 functions. Top 5 functions:
1906	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
888	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
281	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
281	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=1697899.64MB, max=812.18MB, minor=1697861.08MB, major=5970.57MB, promoted=5932.01MB
    minor collections=809675  major collections=106 compactions=0


runtime: 00:13:04.396
vars: 296535, evals: 1592115

|rho|=296535
|called|=107
|stable|=242525
|infl|=296467
|wpoint|=274
Found 7996 contexts for 140 functions. Top 5 functions:
1940	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
1153	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
899	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
288	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
288	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=1719258.67MB, max=812.18MB, minor=1719220.00MB, major=6039.28MB, promoted=6000.61MB
    minor collections=819859  major collections=106 compactions=0


runtime: 00:13:14.440
vars: 300616, evals: 1612987

|rho|=300616
|called|=89
|stable|=246620
|infl|=300563
|wpoint|=279
Found 8110 contexts for 140 functions. Top 5 functions:
1968	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
1169	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
913	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
292	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
292	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=1741524.84MB, max=812.18MB, minor=1741486.04MB, major=6110.97MB, promoted=6072.16MB
    minor collections=830477  major collections=106 compactions=0


runtime: 00:13:24.496
vars: 305079, evals: 1633604

|rho|=305079
|called|=78
|stable|=251070
|infl|=305030
|wpoint|=280
Found 8219 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=1763771.50MB, max=812.18MB, minor=1763732.56MB, major=6184.24MB, promoted=6145.29MB
    minor collections=841086  major collections=107 compactions=0


runtime: 00:13:34.547
vars: 308150, evals: 1652798

|rho|=308150
|called|=115
|stable|=254157
|infl|=308060
|wpoint|=282
Found 8290 contexts for 140 functions. Top 5 functions:
2008	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
1203	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
933	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
297	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
297	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=1786081.79MB, max=812.18MB, minor=1786042.74MB, major=6252.66MB, promoted=6213.61MB
    minor collections=851724  major collections=107 compactions=0


runtime: 00:13:44.591
vars: 312274, evals: 1674061

|rho|=312274
|called|=122
|stable|=258280
|infl|=312204
|wpoint|=289
Found 8409 contexts for 140 functions. Top 5 functions:
2036	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
945	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
301	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
301	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=1808129.40MB, max=812.18MB, minor=1808090.22MB, major=6326.40MB, promoted=6287.22MB
    minor collections=862238  major collections=107 compactions=0


runtime: 00:13:54.639
vars: 316473, evals: 1693499

|rho|=316473
|called|=279
|stable|=262434
|infl|=316394
|wpoint|=296
Found 8522 contexts for 140 functions. Top 5 functions:
2063	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
958	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
305	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
305	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=1828644.95MB, max=934.01MB, minor=1828601.41MB, major=6396.58MB, promoted=6353.04MB
    minor collections=872020  major collections=108 compactions=0


runtime: 00:14:04.718
vars: 319688, evals: 1710948

|rho|=319688
|called|=82
|stable|=265694
|infl|=319616
|wpoint|=288
Found 8609 contexts for 140 functions. Top 5 functions:
2094	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
311	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=1851207.67MB, max=934.01MB, minor=1851164.02MB, major=6465.85MB, promoted=6422.21MB
    minor collections=882779  major collections=108 compactions=0


runtime: 00:14:14.786
vars: 324011, evals: 1732383

|rho|=324011
|called|=94
|stable|=269989
|infl|=323953
|wpoint|=297
Found 8730 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=1873457.62MB, max=934.01MB, minor=1873413.83MB, major=6538.13MB, promoted=6494.34MB
    minor collections=893388  major collections=108 compactions=0


runtime: 00:14:24.825
vars: 327843, evals: 1753198

|rho|=327843
|called|=323
|stable|=273773
|infl|=327797
|wpoint|=307
Found 8815 contexts for 140 functions. Top 5 functions:
2139	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
992	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
319	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1
318	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1

Memory statistics: total=1895596.05MB, max=934.01MB, minor=1895552.14MB, major=6607.65MB, promoted=6563.74MB
    minor collections=903945  major collections=109 compactions=0


runtime: 00:14:34.873
vars: 330747, evals: 1772138

|rho|=330747
|called|=284
|stable|=276704
|infl|=330670
|wpoint|=306
Found 8874 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
1277	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
999	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=1917542.22MB, max=934.01MB, minor=1917498.22MB, major=6672.17MB, promoted=6628.17MB
    minor collections=914410  major collections=109 compactions=0


runtime: 00:14:44.916
vars: 335074, evals: 1791447

|rho|=335074
|called|=117
|stable|=281079
|infl|=334998
|wpoint|=310
Found 9023 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
1013	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=1940131.96MB, max=934.01MB, minor=1940087.79MB, major=6746.30MB, promoted=6702.12MB
    minor collections=925182  major collections=109 compactions=0


runtime: 00:14:54.968
vars: 339223, evals: 1811104

|rho|=339223
|called|=123
|stable|=285196
|infl|=339141
|wpoint|=311
Found 9140 contexts for 140 functions. Top 5 functions:
2220	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
1334	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
1028	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
329	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
329	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=1962819.74MB, max=934.01MB, minor=1962775.39MB, major=6819.38MB, promoted=6775.03MB
    minor collections=936001  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
