./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
Unimplemented: Cannot represent the integer 9223372036854775808

  Context : 2cil: phpspy_zend_inline_hash_func

runtime: 00:00:10.356
vars: 1243, evals: 4129

|rho|=1243
|called|=43
|stable|=1162
|infl|=1229
|wpoint|=4
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=36477.13MB, max=57.06MB, minor=36474.17MB, major=110.99MB, promoted=108.02MB
    minor collections=17399  major collections=14 compactions=0


runtime: 00:00:20.375
vars: 2675, evals: 8728

|rho|=2675
|called|=129
|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=71943.51MB, max=57.06MB, minor=71940.38MB, major=203.84MB, promoted=200.71MB
    minor collections=34314  major collections=20 compactions=0


runtime: 00:00:30.394
vars: 3911, evals: 12829

|rho|=3911
|called|=219
|stable|=3769
|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=108410.27MB, max=65.62MB, minor=108407.09MB, major=294.78MB, promoted=291.61MB
    minor collections=51706  major collections=26 compactions=0


runtime: 00:00:40.414
vars: 4844, evals: 15906

|rho|=4844
|called|=98
|stable|=4844
|infl|=4748
|wpoint|=3
Found 121 contexts for 19 functions. Top 5 functions:
34	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
6	contexts for entry state of cleanup on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:6178:1

Memory statistics: total=145527.70MB, max=75.46MB, minor=145524.17MB, major=386.07MB, promoted=382.54MB
    minor collections=69406  major collections=30 compactions=0


runtime: 00:00:50.465
vars: 7837, evals: 34511

|rho|=7837
|called|=97
|stable|=7600
|infl|=7773
|wpoint|=15
Found 232 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=168803.85MB, max=75.46MB, minor=168799.73MB, major=477.99MB, promoted=473.86MB
    minor collections=80508  major collections=35 compactions=0


runtime: 00:01:00.556
vars: 12813, evals: 58708

|rho|=12813
|called|=104
|stable|=12546
|infl|=12748
|wpoint|=21
Found 389 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=190279.95MB, max=86.78MB, minor=190275.14MB, major=561.10MB, promoted=556.30MB
    minor collections=90750  major collections=38 compactions=0


runtime: 00:01:10.626
vars: 17714, evals: 83625

|rho|=17714
|called|=259
|stable|=17102
|infl|=17646
|wpoint|=26
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=211674.27MB, max=99.80MB, minor=211668.49MB, major=640.77MB, promoted=634.99MB
    minor collections=100953  major collections=42 compactions=0


runtime: 00:01:20.660
vars: 21172, evals: 104942

|rho|=21172
|called|=92
|stable|=18646
|infl|=21110
|wpoint|=23
Found 604 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=232559.47MB, max=99.80MB, minor=232553.34MB, major=725.06MB, promoted=718.93MB
    minor collections=110914  major collections=45 compactions=0


runtime: 00:01:30.724
vars: 25260, evals: 127553

|rho|=25260
|called|=74
|stable|=22006
|infl|=25213
|wpoint|=28
Found 723 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=252900.78MB, max=114.77MB, minor=252894.01MB, major=819.68MB, promoted=812.91MB
    minor collections=120615  major collections=48 compactions=0


runtime: 00:01:40.779
vars: 29095, evals: 150688

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

Memory statistics: total=274782.54MB, max=114.77MB, minor=274775.50MB, major=901.93MB, promoted=894.90MB
    minor collections=131050  major collections=50 compactions=0


runtime: 00:01:50.822
vars: 31355, evals: 171052

|rho|=31355
|called|=104
|stable|=24395
|infl|=31291
|wpoint|=34
Found 867 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=296450.32MB, max=114.77MB, minor=296443.18MB, major=977.58MB, promoted=970.44MB
    minor collections=141383  major collections=53 compactions=0


runtime: 00:02:00.886
vars: 36331, evals: 193992

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

Memory statistics: total=316968.89MB, max=131.99MB, minor=316960.51MB, major=1055.92MB, promoted=1047.54MB
    minor collections=151168  major collections=55 compactions=0


runtime: 00:02:10.958
vars: 40587, evals: 216372

|rho|=40587
|called|=108
|stable|=33655
|infl|=40521
|wpoint|=44
Found 1142 contexts for 59 functions. Top 5 functions:
237	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
154	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
152	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
38	contexts for entry state of sprint_zstring_81 on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:16024:1
37	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1

Memory statistics: total=337482.76MB, max=151.79MB, minor=337473.71MB, major=1131.27MB, promoted=1122.22MB
    minor collections=160951  major collections=57 compactions=0


runtime: 00:02:20.993
vars: 44796, evals: 239303

|rho|=44796
|called|=89
|stable|=37859
|infl|=44739
|wpoint|=45
Found 1240 contexts for 60 functions. Top 5 functions:
271	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
163	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
159	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
44	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
44	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=358185.26MB, max=151.79MB, minor=358176.09MB, major=1207.25MB, promoted=1198.08MB
    minor collections=170824  major collections=59 compactions=0


runtime: 00:02:31.036
vars: 49528, evals: 262662

|rho|=49528
|called|=293
|stable|=42531
|infl|=49484
|wpoint|=53
Found 1360 contexts for 64 functions. Top 5 functions:
299	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
177	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
175	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
48	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
48	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=377978.79MB, max=151.79MB, minor=377969.51MB, major=1279.34MB, promoted=1270.06MB
    minor collections=180262  major collections=60 compactions=0


runtime: 00:02:41.107
vars: 53455, evals: 284136

|rho|=53455
|called|=61
|stable|=46532
|infl|=53422
|wpoint|=54
Found 1468 contexts for 64 functions. Top 5 functions:
327	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
189	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
52	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
52	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=399741.68MB, max=174.56MB, minor=399732.28MB, major=1354.98MB, promoted=1345.59MB
    minor collections=190641  major collections=62 compactions=0


runtime: 00:02:51.150
vars: 58256, evals: 307618

|rho|=58256
|called|=253
|stable|=51329
|infl|=58045
|wpoint|=60
Found 1593 contexts for 72 functions. Top 5 functions:
353	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
213	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
200	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
55	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
55	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=420726.10MB, max=174.56MB, minor=420716.58MB, major=1431.10MB, promoted=1421.58MB
    minor collections=200648  major collections=64 compactions=0


runtime: 00:03:01.214
vars: 62048, evals: 330950

|rho|=62048
|called|=168
|stable|=54701
|infl|=61983
|wpoint|=59
Found 1695 contexts for 72 functions. Top 5 functions:
380	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
213	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
59	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
59	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=442349.62MB, max=200.75MB, minor=442339.99MB, major=1507.73MB, promoted=1498.11MB
    minor collections=210960  major collections=65 compactions=0


runtime: 00:03:11.280
vars: 66326, evals: 353949

|rho|=66326
|called|=405
|stable|=59312
|infl|=66261
|wpoint|=71
Found 1815 contexts for 72 functions. Top 5 functions:
408	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
229	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
63	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
63	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=463068.78MB, max=230.86MB, minor=463056.91MB, major=1586.51MB, promoted=1574.64MB
    minor collections=220840  major collections=67 compactions=0


runtime: 00:03:21.335
vars: 70573, evals: 376804

|rho|=70573
|called|=350
|stable|=63571
|infl|=70520
|wpoint|=73
Found 1915 contexts for 74 functions. Top 5 functions:
442	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
254	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
240	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
70	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
70	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=484128.95MB, max=230.86MB, minor=484116.95MB, major=1662.14MB, promoted=1650.14MB
    minor collections=230883  major collections=68 compactions=0


runtime: 00:03:31.374
vars: 76129, evals: 401062

|rho|=76129
|called|=295
|stable|=69036
|infl|=76094
|wpoint|=78
Found 2076 contexts for 77 functions. Top 5 functions:
470	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
256	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
75	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1
74	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1

Memory statistics: total=505327.19MB, max=230.86MB, minor=505313.99MB, major=1743.37MB, promoted=1730.17MB
    minor collections=240991  major collections=69 compactions=0


runtime: 00:03:41.433
vars: 79718, evals: 422553

|rho|=79718
|called|=146
|stable|=72798
|infl|=79602
|wpoint|=77
Found 2166 contexts for 82 functions. Top 5 functions:
496	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
296	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
267	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
77	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
77	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=527362.76MB, max=230.86MB, minor=527349.45MB, major=1818.27MB, promoted=1804.96MB
    minor collections=251499  major collections=70 compactions=0


runtime: 00:03:51.468
vars: 84273, evals: 445257

|rho|=84273
|called|=64
|stable|=77353
|infl|=84216
|wpoint|=75
Found 2306 contexts for 85 functions. Top 5 functions:
525	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
281	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 event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
82	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=548153.48MB, max=230.86MB, minor=548140.04MB, major=1895.28MB, promoted=1881.84MB
    minor collections=261414  major collections=72 compactions=0


runtime: 00:04:01.507
vars: 88321, evals: 467469

|rho|=88321
|called|=136
|stable|=81379
|infl|=88262
|wpoint|=82
Found 2417 contexts for 85 functions. Top 5 functions:
551	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
294	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
85	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
85	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=568882.06MB, max=230.86MB, minor=568868.49MB, major=1970.06MB, promoted=1956.49MB
    minor collections=271299  major collections=73 compactions=0


runtime: 00:04:11.554
vars: 92475, evals: 490184

|rho|=92475
|called|=311
|stable|=85479
|infl|=92416
|wpoint|=88
Found 2510 contexts for 86 functions. Top 5 functions:
585	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
345	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
303	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
92	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
92	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=589652.99MB, max=230.86MB, minor=589639.32MB, major=2043.54MB, promoted=2029.87MB
    minor collections=281204  major collections=74 compactions=0


runtime: 00:04:21.609
vars: 97984, evals: 512761

|rho|=97984
|called|=61
|stable|=91062
|infl|=97934
|wpoint|=86
Found 2692 contexts for 90 functions. Top 5 functions:
623	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
375	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
324	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
98	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
97	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=610138.89MB, max=230.86MB, minor=610125.05MB, major=2121.22MB, promoted=2107.39MB
    minor collections=290973  major collections=75 compactions=0


runtime: 00:04:31.636
vars: 101134, evals: 534834

|rho|=101134
|called|=210
|stable|=94167
|infl|=101099
|wpoint|=95
Found 2738 contexts for 90 functions. Top 5 functions:
641	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
329	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
100	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
100	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=631780.47MB, max=265.49MB, minor=631766.58MB, major=2191.23MB, promoted=2177.34MB
    minor collections=301293  major collections=76 compactions=0


runtime: 00:04:41.703
vars: 105422, evals: 556573

|rho|=105422
|called|=141
|stable|=98491
|infl|=105361
|wpoint|=99
Found 2869 contexts for 98 functions. Top 5 functions:
667	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
400	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
344	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
103	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
103	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=652457.22MB, max=305.32MB, minor=652443.16MB, major=2265.52MB, promoted=2251.47MB
    minor collections=311153  major collections=77 compactions=0


runtime: 00:04:51.754
vars: 109740, evals: 578711

|rho|=109740
|called|=87
|stable|=102819
|infl|=109671
|wpoint|=101
Found 2990 contexts for 98 functions. Top 5 functions:
694	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
424	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
359	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
107	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=673271.45MB, max=305.32MB, minor=673257.26MB, major=2340.62MB, promoted=2326.42MB
    minor collections=321079  major collections=78 compactions=0


runtime: 00:05:01.782
vars: 113713, evals: 600844

|rho|=113713
|called|=137
|stable|=106771
|infl|=113644
|wpoint|=105
Found 3092 contexts for 98 functions. Top 5 functions:
722	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
371	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
111	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=693889.90MB, max=305.32MB, minor=693875.60MB, major=2413.36MB, promoted=2399.06MB
    minor collections=330911  major collections=79 compactions=0


runtime: 00:05:11.837
vars: 117653, evals: 622774

|rho|=117653
|called|=56
|stable|=110733
|infl|=117599
|wpoint|=101
Found 3188 contexts for 100 functions. Top 5 functions:
756	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
440	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
382	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
118	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
118	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=714276.56MB, max=305.32MB, minor=714262.17MB, major=2485.05MB, promoted=2470.66MB
    minor collections=340633  major collections=80 compactions=0


runtime: 00:05:21.890
vars: 123163, evals: 646262

|rho|=123163
|called|=219
|stable|=116196
|infl|=123128
|wpoint|=115
Found 3344 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
396	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
123	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1
122	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1

Memory statistics: total=734873.61MB, max=305.32MB, minor=734859.07MB, major=2562.57MB, promoted=2548.03MB
    minor collections=350455  major collections=81 compactions=0


runtime: 00:05:31.922
vars: 126068, evals: 667043

|rho|=126068
|called|=174
|stable|=119114
|infl|=126002
|wpoint|=114
Found 3405 contexts for 105 functions. Top 5 functions:
810	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
125	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=756117.57MB, max=305.32MB, minor=756102.96MB, major=2631.91MB, promoted=2617.30MB
    minor collections=360585  major collections=82 compactions=0


runtime: 00:05:41.969
vars: 131044, evals: 688930

|rho|=131044
|called|=100
|stable|=124121
|infl|=130977
|wpoint|=118
Found 3562 contexts for 111 functions. Top 5 functions:
838	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
129	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=776170.67MB, max=305.32MB, minor=776155.91MB, major=2706.49MB, promoted=2691.73MB
    minor collections=370148  major collections=82 compactions=0


runtime: 00:05:52.032
vars: 135300, evals: 710772

|rho|=135300
|called|=251
|stable|=128334
|infl|=135232
|wpoint|=126
Found 3680 contexts for 111 functions. Top 5 functions:
865	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
133	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=796262.94MB, max=351.12MB, minor=796243.85MB, major=2783.56MB, promoted=2764.47MB
    minor collections=379727  major collections=83 compactions=0


runtime: 00:06:02.107
vars: 138864, evals: 731295

|rho|=138864
|called|=90
|stable|=131904
|infl|=138807
|wpoint|=124
Found 3776 contexts for 112 functions. Top 5 functions:
899	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
531	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
443	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
140	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
140	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=817058.67MB, max=403.79MB, minor=817037.37MB, major=2857.42MB, promoted=2836.12MB
    minor collections=389643  major collections=84 compactions=0


runtime: 00:06:12.197
vars: 143596, evals: 755047

|rho|=143596
|called|=236
|stable|=136629
|infl|=143552
|wpoint|=133
Found 3896 contexts for 116 functions. Top 5 functions:
927	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
144	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=838143.39MB, max=403.79MB, minor=838121.98MB, major=2932.62MB, promoted=2911.20MB
    minor collections=399698  major collections=85 compactions=0


runtime: 00:06:22.248
vars: 147523, evals: 776099

|rho|=147523
|called|=54
|stable|=140601
|infl|=147490
|wpoint|=131
Found 4004 contexts for 116 functions. Top 5 functions:
955	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
469	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
148	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
148	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=860452.62MB, max=403.79MB, minor=860431.02MB, major=3007.74MB, promoted=2986.15MB
    minor collections=410336  major collections=85 compactions=0


runtime: 00:06:32.314
vars: 151723, evals: 797472

|rho|=151723
|called|=103
|stable|=144800
|infl|=151657
|wpoint|=139
Found 4127 contexts for 124 functions. Top 5 functions:
981	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
585	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
480	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
151	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
151	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=880874.43MB, max=403.79MB, minor=880852.71MB, major=3079.88MB, promoted=3058.16MB
    minor collections=420074  major collections=86 compactions=0


runtime: 00:06:42.360
vars: 156116, evals: 820588

|rho|=156116
|called|=335
|stable|=149120
|infl|=156051
|wpoint|=145
Found 4231 contexts for 124 functions. Top 5 functions:
1008	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
155	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=901521.41MB, max=403.79MB, minor=901499.57MB, major=3152.60MB, promoted=3130.77MB
    minor collections=429920  major collections=87 compactions=0


runtime: 00:06:52.415
vars: 160394, evals: 843385

|rho|=160394
|called|=343
|stable|=153398
|infl|=160329
|wpoint|=147
Found 4351 contexts for 124 functions. Top 5 functions:
1036	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
509	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
159	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=922841.38MB, max=403.79MB, minor=922819.41MB, major=3229.24MB, promoted=3207.27MB
    minor collections=440087  major collections=88 compactions=0


runtime: 00:07:02.469
vars: 163996, evals: 863770

|rho|=163996
|called|=87
|stable|=157064
|infl|=163945
|wpoint|=147
Found 4449 contexts for 126 functions. Top 5 functions:
1070	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
626	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
520	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
166	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
166	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=943502.60MB, max=403.79MB, minor=943480.53MB, major=3300.14MB, promoted=3278.07MB
    minor collections=449939  major collections=88 compactions=0


runtime: 00:07:12.516
vars: 169552, evals: 887530

|rho|=169552
|called|=310
|stable|=162554
|infl|=169508
|wpoint|=157
Found 4605 contexts for 129 functions. Top 5 functions:
1098	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
654	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
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
170	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=964104.42MB, max=403.79MB, minor=964082.20MB, major=3376.68MB, promoted=3354.46MB
    minor collections=459764  major collections=89 compactions=0


runtime: 00:07:22.567
vars: 172391, evals: 907977

|rho|=172391
|called|=63
|stable|=165438
|infl|=172361
|wpoint|=154
Found 4666 contexts for 129 functions. Top 5 functions:
1124	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
654	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
543	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=986308.00MB, max=403.79MB, minor=986285.71MB, major=3448.08MB, promoted=3425.80MB
    minor collections=470351  major collections=89 compactions=0


runtime: 00:07:32.654
vars: 173105, evals: 923147

|rho|=173105
|called|=58
|stable|=152851
|infl|=173088
|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=1003832.57MB, max=464.36MB, minor=1003808.82MB, major=3569.26MB, promoted=3545.52MB
    minor collections=478708  major collections=91 compactions=0


runtime: 00:07:42.717
vars: 173925, evals: 937350

|rho|=173925
|called|=91
|stable|=145747
|infl|=173866
|wpoint|=155
Found 4708 contexts for 131 functions. Top 5 functions:
1136	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
655	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
550	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
175	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
175	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=1020291.80MB, max=534.02MB, minor=1020266.14MB, major=3707.42MB, promoted=3681.75MB
    minor collections=486556  major collections=92 compactions=0


runtime: 00:07:52.743
vars: 178167, evals: 955179

|rho|=178167
|called|=91
|stable|=150054
|infl|=178120
|wpoint|=159
Found 4833 contexts for 131 functions. Top 5 functions:
1161	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
183	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=1038131.44MB, max=534.02MB, minor=1038105.61MB, major=3774.64MB, promoted=3748.82MB
    minor collections=495063  major collections=92 compactions=0


runtime: 00:08:02.774
vars: 182119, evals: 974857

|rho|=182119
|called|=217
|stable|=153725
|infl|=182094
|wpoint|=163
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=1058316.57MB, max=534.02MB, minor=1058290.64MB, major=3843.63MB, promoted=3817.69MB
    minor collections=504689  major collections=93 compactions=0


runtime: 00:08:12.809
vars: 185634, evals: 994983

|rho|=185634
|called|=144
|stable|=157569
|infl|=185515
|wpoint|=167
Found 5002 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
709	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
577	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=1078346.22MB, max=534.02MB, minor=1078320.17MB, major=3910.84MB, promoted=3884.79MB
    minor collections=514240  major collections=93 compactions=0


runtime: 00:08:22.844
vars: 189185, evals: 1014658

|rho|=189185
|called|=311
|stable|=161116
|infl|=189142
|wpoint|=172
Found 5091 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=1097649.13MB, max=534.02MB, minor=1097622.94MB, major=3979.47MB, promoted=3953.28MB
    minor collections=523445  major collections=94 compactions=0


runtime: 00:08:32.871
vars: 192686, evals: 1035287

|rho|=192686
|called|=177
|stable|=164696
|infl|=192630
|wpoint|=170
Found 5186 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=1118799.12MB, max=534.02MB, minor=1118772.80MB, major=4051.52MB, promoted=4025.20MB
    minor collections=533530  major collections=94 compactions=0


runtime: 00:08:42.905
vars: 196097, evals: 1052158

|rho|=196097
|called|=73
|stable|=168200
|infl|=196051
|wpoint|=175
Found 5295 contexts for 131 functions. Top 5 functions:
1277	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
755	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
603	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
197	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
197	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=1137878.35MB, max=534.02MB, minor=1137851.86MB, major=4120.61MB, promoted=4094.11MB
    minor collections=542628  major collections=95 compactions=0


runtime: 00:08:52.955
vars: 199704, evals: 1073472

|rho|=199704
|called|=89
|stable|=171837
|infl|=199650
|wpoint|=180
Found 5391 contexts for 131 functions. Top 5 functions:
1301	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
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
199	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=1158558.74MB, max=534.02MB, minor=1158532.13MB, major=4191.70MB, promoted=4165.10MB
    minor collections=552490  major collections=95 compactions=0


runtime: 00:09:03.006
vars: 203103, evals: 1091937

|rho|=203103
|called|=234
|stable|=175280
|infl|=203054
|wpoint|=185
Found 5474 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=1178098.92MB, max=534.02MB, minor=1178072.16MB, major=4261.52MB, promoted=4234.77MB
    minor collections=561808  major collections=96 compactions=0


runtime: 00:09:13.062
vars: 207051, evals: 1112349

|rho|=207051
|called|=64
|stable|=179310
|infl|=206999
|wpoint|=182
Found 5591 contexts for 131 functions. Top 5 functions:
1349	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
801	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
630	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
204	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
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=1198751.03MB, max=534.02MB, minor=1198724.14MB, major=4333.60MB, promoted=4306.70MB
    minor collections=571656  major collections=96 compactions=0


runtime: 00:09:23.113
vars: 210766, evals: 1131997

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

Memory statistics: total=1217879.94MB, max=534.02MB, minor=1217852.89MB, major=4402.40MB, promoted=4375.35MB
    minor collections=580778  major collections=97 compactions=0


runtime: 00:09:33.148
vars: 214259, evals: 1152750

|rho|=214259
|called|=149
|stable|=186593
|infl|=214234
|wpoint|=192
Found 5776 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=1238742.94MB, max=534.02MB, minor=1238715.77MB, major=4474.51MB, promoted=4447.34MB
    minor collections=590726  major collections=97 compactions=0


runtime: 00:09:43.191
vars: 217678, evals: 1169841

|rho|=217678
|called|=81
|stable|=190104
|infl|=217626
|wpoint|=197
Found 5885 contexts for 131 functions. Top 5 functions:
1415	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
855	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
656	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
211	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
211	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=1258413.39MB, max=534.02MB, minor=1258386.05MB, major=4544.45MB, promoted=4517.10MB
    minor collections=600106  major collections=98 compactions=0


runtime: 00:09:53.227
vars: 221277, evals: 1190737

|rho|=221277
|called|=61
|stable|=193749
|infl|=221254
|wpoint|=204
Found 5981 contexts for 131 functions. Top 5 functions:
1439	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
868	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
664	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
213	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
213	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=1278842.85MB, max=534.02MB, minor=1278815.39MB, major=4614.32MB, promoted=4586.86MB
    minor collections=609848  major collections=98 compactions=0


runtime: 00:10:03.274
vars: 224724, evals: 1209261

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

Memory statistics: total=1299525.03MB, max=534.02MB, minor=1299497.44MB, major=4684.21MB, promoted=4656.61MB
    minor collections=619711  major collections=99 compactions=0


runtime: 00:10:13.333
vars: 228256, evals: 1229086

|rho|=228256
|called|=62
|stable|=200802
|infl|=228221
|wpoint|=206
Found 6166 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
902	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
681	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=1319992.16MB, max=614.13MB, minor=1319964.43MB, major=4754.82MB, promoted=4727.09MB
    minor collections=629470  major collections=99 compactions=0


runtime: 00:10:23.405
vars: 231212, evals: 1250505

|rho|=231212
|called|=49
|stable|=203786
|infl|=231194
|wpoint|=212
Found 6229 contexts for 132 functions. Top 5 functions:
1501	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
902	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
689	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
220	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1
219	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1

Memory statistics: total=1340440.79MB, max=614.13MB, minor=1340412.97MB, major=4823.36MB, promoted=4795.53MB
    minor collections=639222  major collections=100 compactions=0


runtime: 00:10:33.448
vars: 235046, evals: 1271283

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

Memory statistics: total=1359343.37MB, max=614.13MB, minor=1359315.31MB, major=4894.88MB, promoted=4866.82MB
    minor collections=648235  major collections=100 compactions=0


runtime: 00:10:43.503
vars: 239552, evals: 1293300

|rho|=239552
|called|=172
|stable|=185532
|infl|=239473
|wpoint|=224
Found 6474 contexts for 140 functions. Top 5 functions:
1551	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
928	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
726	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
227	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
227	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=1382114.14MB, max=614.13MB, minor=1382085.93MB, major=4972.28MB, promoted=4944.06MB
    minor collections=659093  major collections=100 compactions=0


runtime: 00:10:53.551
vars: 243299, evals: 1313119

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

Memory statistics: total=1402632.36MB, max=614.13MB, minor=1402604.01MB, major=5039.93MB, promoted=5011.58MB
    minor collections=668878  major collections=101 compactions=0


runtime: 00:11:03.610
vars: 246932, evals: 1333043

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

Memory statistics: total=1424269.84MB, max=614.13MB, minor=1424241.36MB, major=5112.74MB, promoted=5084.26MB
    minor collections=679195  major collections=101 compactions=0


runtime: 00:11:13.666
vars: 251071, evals: 1353329

|rho|=251071
|called|=77
|stable|=197078
|infl|=251004
|wpoint|=231
Found 6791 contexts for 140 functions. Top 5 functions:
1640	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
969	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
766	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
242	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
242	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=1445033.32MB, max=614.13MB, minor=1445004.73MB, major=5182.88MB, promoted=5154.29MB
    minor collections=689097  major collections=102 compactions=0


runtime: 00:11:23.697
vars: 255979, evals: 1374803

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

Memory statistics: total=1466042.45MB, max=614.13MB, minor=1466013.72MB, major=5257.24MB, promoted=5228.51MB
    minor collections=699115  major collections=102 compactions=0


runtime: 00:11:33.740
vars: 258862, evals: 1395735

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

Memory statistics: total=1489108.93MB, max=614.13MB, minor=1489080.12MB, major=5327.49MB, promoted=5298.68MB
    minor collections=710115  major collections=103 compactions=0


runtime: 00:11:43.792
vars: 263057, evals: 1415820

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

Memory statistics: total=1508609.11MB, max=706.24MB, minor=1508571.77MB, major=5402.89MB, promoted=5365.56MB
    minor collections=719412  major collections=103 compactions=0


runtime: 00:11:53.871
vars: 266804, evals: 1437105

|rho|=266804
|called|=114
|stable|=212808
|infl|=266728
|wpoint|=248
Found 7197 contexts for 140 functions. Top 5 functions:
1735	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
1033	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
809	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
255	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
255	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=1530698.11MB, max=706.24MB, minor=1530660.66MB, major=5476.15MB, promoted=5438.71MB
    minor collections=729945  major collections=103 compactions=0


runtime: 00:12:03.923
vars: 270437, evals: 1456240

|rho|=270437
|called|=118
|stable|=216426
|infl|=270363
|wpoint|=253
Found 7315 contexts for 140 functions. Top 5 functions:
1763	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
1055	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
825	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
259	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
259	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=1550612.23MB, max=706.24MB, minor=1550574.65MB, major=5544.95MB, promoted=5507.37MB
    minor collections=739441  major collections=104 compactions=0


runtime: 00:12:13.958
vars: 274682, evals: 1478044

|rho|=274682
|called|=101
|stable|=220677
|infl|=274620
|wpoint|=256
Found 7413 contexts for 140 functions. Top 5 functions:
1797	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
1062	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
836	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
266	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
266	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=1572803.81MB, max=706.24MB, minor=1572766.13MB, major=5618.53MB, promoted=5580.85MB
    minor collections=750023  major collections=104 compactions=0


runtime: 00:12:24.013
vars: 279590, evals: 1499386

|rho|=279590
|called|=98
|stable|=225572
|infl|=279537
|wpoint|=261
Found 7564 contexts for 140 functions. Top 5 functions:
1825	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
850	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
270	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
270	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=1593909.90MB, max=706.24MB, minor=1593872.06MB, major=5692.64MB, promoted=5654.80MB
    minor collections=760088  major collections=105 compactions=0


runtime: 00:12:34.057
vars: 282552, evals: 1518765

|rho|=282552
|called|=98
|stable|=228558
|infl|=282464
|wpoint|=258
Found 7611 contexts for 140 functions. Top 5 functions:
1840	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
1091	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
857	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
273	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=1615897.69MB, max=706.24MB, minor=1615859.76MB, major=5760.31MB, promoted=5722.39MB
    minor collections=770573  major collections=105 compactions=0


runtime: 00:12:44.108
vars: 286562, evals: 1539941

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

Memory statistics: total=1637815.54MB, max=706.24MB, minor=1637777.50MB, major=5833.14MB, promoted=5795.10MB
    minor collections=781024  major collections=105 compactions=0


runtime: 00:12:54.142
vars: 290309, evals: 1560619

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

Memory statistics: total=1658442.78MB, max=706.24MB, minor=1658404.62MB, major=5902.59MB, promoted=5864.43MB
    minor collections=790861  major collections=106 compactions=0


runtime: 00:13:04.220
vars: 294587, evals: 1581477

|rho|=294587
|called|=261
|stable|=240548
|infl|=294511
|wpoint|=276
Found 7938 contexts for 140 functions. Top 5 functions:
1920	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
1148	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
895	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
283	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
283	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=1678317.05MB, max=812.18MB, minor=1678278.63MB, major=5973.32MB, promoted=5934.90MB
    minor collections=800337  major collections=106 compactions=0


runtime: 00:13:14.272
vars: 298187, evals: 1601411

|rho|=298187
|called|=94
|stable|=244180
|infl|=298125
|wpoint|=276
Found 8034 contexts for 140 functions. Top 5 functions:
1954	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
1155	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
906	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
290	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
290	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=1700433.02MB, max=812.18MB, minor=1700394.49MB, major=6044.30MB, promoted=6005.78MB
    minor collections=810884  major collections=107 compactions=0


runtime: 00:13:24.335
vars: 302989, evals: 1620463

|rho|=302989
|called|=89
|stable|=248991
|infl|=302931
|wpoint|=279
Found 8184 contexts for 140 functions. Top 5 functions:
1982	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
1183	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
920	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
294	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
294	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=1719507.25MB, max=812.18MB, minor=1719468.56MB, major=6112.15MB, promoted=6073.46MB
    minor collections=819979  major collections=107 compactions=0


runtime: 00:13:34.387
vars: 306057, evals: 1641602

|rho|=306057
|called|=100
|stable|=252063
|infl|=305969
|wpoint|=278
Found 8232 contexts for 140 functions. Top 5 functions:
1997	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
1184	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
927	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
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=1742584.87MB, max=812.18MB, minor=1742546.10MB, major=6184.06MB, promoted=6145.29MB
    minor collections=830984  major collections=107 compactions=0


runtime: 00:13:44.450
vars: 310067, evals: 1662696

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

Memory statistics: total=1764061.28MB, max=812.18MB, minor=1764022.39MB, major=6255.21MB, promoted=6216.32MB
    minor collections=841225  major collections=108 compactions=0


runtime: 00:13:54.485
vars: 313814, evals: 1682246

|rho|=313814
|called|=342
|stable|=259745
|infl|=313738
|wpoint|=295
Found 8439 contexts for 140 functions. Top 5 functions:
2049	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
1219	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
949	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
303	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
303	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=1783665.94MB, max=812.18MB, minor=1783626.91MB, major=6319.80MB, promoted=6280.78MB
    minor collections=850573  major collections=108 compactions=0


runtime: 00:14:04.556
vars: 317447, evals: 1701165

|rho|=317447
|called|=116
|stable|=263443
|infl|=317373
|wpoint|=293
Found 8557 contexts for 140 functions. Top 5 functions:
2077	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
1241	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
965	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
307	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
307	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=1804782.40MB, max=934.01MB, minor=1804739.05MB, major=6394.49MB, promoted=6351.14MB
    minor collections=860642  major collections=108 compactions=0


runtime: 00:14:14.621
vars: 321586, evals: 1721759

|rho|=321586
|called|=89
|stable|=267593
|infl|=321519
|wpoint|=294
Found 8654 contexts for 140 functions. Top 5 functions:
2111	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
1248	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
976	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
314	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
314	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=1826914.66MB, max=934.01MB, minor=1826871.20MB, major=6466.95MB, promoted=6423.49MB
    minor collections=871196  major collections=109 compactions=0


runtime: 00:14:24.668
vars: 326156, evals: 1741799

|rho|=326156
|called|=91
|stable|=272161
|infl|=326083
|wpoint|=295
Found 8794 contexts for 140 functions. Top 5 functions:
2132	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
990	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
318	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
317	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=1847243.74MB, max=934.01MB, minor=1847200.11MB, major=6537.64MB, promoted=6494.01MB
    minor collections=880890  major collections=109 compactions=0


runtime: 00:14:34.720
vars: 329377, evals: 1763267

|rho|=329377
|called|=80
|stable|=275380
|infl|=329331
|wpoint|=298
Found 8843 contexts for 140 functions. Top 5 functions:
2153	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
1276	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
995	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
320	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
320	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=1870092.56MB, max=934.01MB, minor=1870048.86MB, major=6607.46MB, promoted=6563.77MB
    minor collections=891785  major collections=109 compactions=0


runtime: 00:14:44.763
vars: 333572, evals: 1784621

|rho|=333572
|called|=172
|stable|=279553
|infl|=333493
|wpoint|=304
Found 8958 contexts for 140 functions. Top 5 functions:
2179	contexts for entry state of event_handler_fout_snprintf on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18129:1
1300	contexts for entry state of copy_proc_mem on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:7826:1
1006	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
323	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
323	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=1892344.23MB, max=934.01MB, minor=1892300.39MB, major=6681.20MB, promoted=6637.36MB
    minor collections=902396  major collections=109 compactions=0


runtime: 00:14:54.834
vars: 337319, evals: 1804313

|rho|=337319
|called|=262
|stable|=283280
|infl|=337243
|wpoint|=313
Found 9060 contexts for 140 functions. Top 5 functions:
2206	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
1019	contexts for entry state of log_error on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:8044:1
327	contexts for entry state of event_handler_fout on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:17817:1
327	contexts for entry state of event_handler_callgrind on /mnt/goblint-svcomp/goblint-bench/bench/concrat/phpspy/main.c:18204:1

Memory statistics: total=1913699.79MB, max=934.01MB, minor=1913655.82MB, major=6749.16MB, promoted=6705.19MB
    minor collections=912579  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
