./deagle --no-assertions --datarace --64 /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/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/kona/main.c
Converting
Type-checking main
Generating GOTO Program
Adding CPROVER library (x86_64)
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/kona/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 *mutex)
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/kona/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 *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/kona/main.c line 16240
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 *mutex, const pthread_mutexattr_t *mutexattr)
file <builtin-library-pthread_mutexattr_settype> line 9: warning: pointer parameter types differ between declaration and definition "pthread_mutexattr_settype"
old definition in module main file /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c line 16246
signed int (pthread_mutexattr_t *, signed int)
new definition in module <built-in-library> file <builtin-library-pthread_mutexattr_settype> line 9
signed int (pthread_mutexattr_t *attr, signed int type)
Removal of function pointers and virtual functions
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c line 9503 function capture: replacing function pointer by 24 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c line 31765 function floor_ceil: replacing function pointer by 77 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c line 31773 function floor_ceil: replacing function pointer by 77 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c line 31776 function floor_ceil: replacing function pointer by 77 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c line 31780 function floor_ceil: replacing function pointer by 77 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c line 10765 function math: replacing function pointer by 77 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c line 10778 function math: replacing function pointer by 77 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c line 19946 function vf_ex: replacing function pointer by 2 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c line 19961 function vf_ex: replacing function pointer by 2 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c line 19975 function vf_ex: replacing function pointer by 52 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c line 19977 function vf_ex: replacing function pointer by 52 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c line 19980 function vf_ex: replacing function pointer by 52 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c line 20016 function vf_ex: replacing function pointer by 62 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c line 20208 function vf_ex: replacing function pointer by 24 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c line 20211 function vf_ex: replacing function pointer by 62 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c line 20214 function vf_ex: replacing function pointer by 52 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c line 20217 function vf_ex: replacing function pointer by 2 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c line 20220 function vf_ex: replacing function pointer by 2 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c line 20223 function vf_ex: replacing function pointer by 0 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c line 20227 function vf_ex: replacing function pointer by 0 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c line 20231 function vf_ex: replacing function pointer by 0 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c line 18034 function overDyad: replacing function pointer by 52 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c line 18170 function scanDyad: replacing function pointer by 52 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c line 19101 function eachpair2: replacing function pointer by 52 possible targets
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c line 31882 function dp: replacing function pointer by 52 possible targets
Generic Property Instrumentation
**** WARNING: `__CPROVER_allocated_memory' in file <builtin-library-mmap> line 46 function mmap
**** WARNING: `__CPROVER_allocated_memory' is deprecated and scheduled for deletion in version 6 and upwards.
Please avoid using this intrinsic. For more information, please check issue cbmc#6872 in Github
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!!!!!!
**** WARNING: no body for function atexit
**** WARNING: no body for function sysconf
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 0
**** WARNING: no body for function pthread_mutexattr_init
**** WARNING: no body for function pthread_mutexattr_destroy
Unwinding loop DT_OFFSET.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c line 16206 function DT_OFFSET thread 0
Not unwinding loop DT_OFFSET.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c line 16206 function DT_OFFSET thread 0
Unwinding loop DT_OFFSET.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c line 16206 function DT_OFFSET thread 0
Unwinding loop DT_OFFSET.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c line 16206 function DT_OFFSET thread 0
Not unwinding loop DT_OFFSET.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c line 16206 function DT_OFFSET thread 0
Unwinding loop DT_OFFSET.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c line 16206 function DT_OFFSET thread 0
Not unwinding loop DT_OFFSET.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c line 16206 function DT_OFFSET thread 0
Unwinding loop DT_OFFSET.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c line 16206 function DT_OFFSET thread 0
Not unwinding loop DT_OFFSET.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c line 16206 function DT_OFFSET thread 0
Unwinding loop DT_OFFSET.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c line 16206 function DT_OFFSET thread 0
Not unwinding loop DT_OFFSET.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c line 16206 function DT_OFFSET thread 0
Unwinding loop DT_OFFSET.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c line 16206 function DT_OFFSET thread 0
Not unwinding loop DT_OFFSET.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c line 16206 function DT_OFFSET thread 0
Unwinding loop DT_OFFSET.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c line 16206 function DT_OFFSET thread 0
Not unwinding loop DT_OFFSET.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c line 16206 function DT_OFFSET thread 0
Unwinding loop DT_OFFSET.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c line 16206 function DT_OFFSET thread 0
Not unwinding loop DT_OFFSET.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c line 16206 function DT_OFFSET thread 0
Unwinding loop DT_OFFSET.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c line 16206 function DT_OFFSET thread 0
Not unwinding loop DT_OFFSET.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c line 16206 function DT_OFFSET thread 0
Unwinding loop DT_OFFSET.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c line 16206 function DT_OFFSET thread 0
Not unwinding loop DT_OFFSET.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c line 16206 function DT_OFFSET thread 0
Unwinding loop DT_OFFSET.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c line 16206 function DT_OFFSET thread 0
Not unwinding loop DT_OFFSET.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c line 16206 function DT_OFFSET thread 0
Unwinding loop DT_OFFSET.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c line 16206 function DT_OFFSET thread 0
Not unwinding loop DT_OFFSET.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c line 16206 function DT_OFFSET thread 0
Unwinding loop DT_OFFSET.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c line 16206 function DT_OFFSET thread 0
Not unwinding loop DT_OFFSET.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c line 16206 function DT_OFFSET thread 0
Unwinding loop DT_OFFSET.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c line 16206 function DT_OFFSET thread 0
Not unwinding loop DT_OFFSET.0 iteration
runtime: 00:00:10.597
vars: 6932, evals: 14622

|rho|=6932
|called|=202
|stable|=5645
|infl|=6752
|wpoint|=116
Found 470 contexts for 129 functions. Top 5 functions:
19	contexts for entry state of sz on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1
18	contexts for entry state of DT_OFFSET on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:16200:1
17	contexts for entry state of mark on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8189:1
17	contexts for entry state of newK on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24134:1
14	contexts for entry state of bp on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1

Memory statistics: total=18735.95MB, max=99.80MB, minor=18726.17MB, major=195.95MB, promoted=186.18MB
    minor collections=8937  major collections=16 compactions=0


runtime: 00:00:20.628
vars: 16080, evals: 31754

|rho|=16080
|called|=258
|stable|=13911
|infl|=15862
|wpoint|=120
Found 882 contexts for 148 functions. Top 5 functions:
41	contexts for entry state of sz on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1
37	contexts for entry state of newK on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24134:1
33	contexts for entry state of mark on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8189:1
26	contexts for entry state of bp on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1
23	contexts for entry state of denameRecurse on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:26842:1

Memory statistics: total=36853.14MB, max=114.77MB, minor=36842.41MB, major=293.95MB, promoted=283.22MB
    minor collections=17577  major collections=19 compactions=0


runtime: 00:00:30.668
vars: 23304, evals: 44686

|rho|=23304
|called|=513
|stable|=19374
|infl|=22835
|wpoint|=127
Found 1084 contexts for 164 functions. Top 5 functions:
47	contexts for entry state of sz on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1
41	contexts for entry state of newK on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24134:1
33	contexts for entry state of mark on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8189:1
32	contexts for entry state of kerr on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1
30	contexts for entry state of bp on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1

Memory statistics: total=56295.58MB, max=151.79MB, minor=56283.61MB, major=417.69MB, promoted=405.72MB
    minor collections=26849  major collections=22 compactions=0


runtime: 00:00:40.687
vars: 28218, evals: 53225

|rho|=28218
|called|=580
|stable|=24288
|infl|=27700
|wpoint|=128
Found 1367 contexts for 164 functions. Top 5 functions:
63	contexts for entry state of sz on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1
55	contexts for entry state of newK on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24134:1
49	contexts for entry state of mark on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8189:1
42	contexts for entry state of bp on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1
42	contexts for entry state of kerr on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1

Memory statistics: total=77103.35MB, max=151.79MB, minor=77091.23MB, major=572.61MB, promoted=560.48MB
    minor collections=36773  major collections=26 compactions=0


runtime: 00:00:50.727
vars: 32104, evals: 60644

|rho|=32104
|called|=585
|stable|=28174
|infl|=31574
|wpoint|=131
Found 1457 contexts for 164 functions. Top 5 functions:
63	contexts for entry state of sz on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1
55	contexts for entry state of newK on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24134:1
49	contexts for entry state of mark on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8189:1
45	contexts for entry state of kerr on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1
42	contexts for entry state of bp on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1

Memory statistics: total=99078.66MB, max=200.75MB, minor=99066.46MB, major=731.48MB, promoted=719.28MB
    minor collections=47253  major collections=29 compactions=0


runtime: 00:01:00.758
vars: 35983, evals: 67697

|rho|=35983
|called|=536
|stable|=32053
|infl|=35500
|wpoint|=132
Found 1513 contexts for 164 functions. Top 5 functions:
69	contexts for entry state of sz on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1
61	contexts for entry state of newK on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24134:1
49	contexts for entry state of mark on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8189:1
48	contexts for entry state of kerr on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1
42	contexts for entry state of bp on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1

Memory statistics: total=121308.40MB, max=230.86MB, minor=121294.98MB, major=911.71MB, promoted=898.29MB
    minor collections=57854  major collections=32 compactions=0


runtime: 00:01:10.797
vars: 38421, evals: 71014

|rho|=38421
|called|=696
|stable|=34491
|infl|=37778
|wpoint|=134
Found 1657 contexts for 164 functions. Top 5 functions:
75	contexts for entry state of sz on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1
65	contexts for entry state of newK on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24134:1
54	contexts for entry state of kerr on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1
49	contexts for entry state of mark on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8189:1
46	contexts for entry state of bp on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1

Memory statistics: total=152589.44MB, max=265.49MB, minor=152575.34MB, major=1019.19MB, promoted=1005.08MB
    minor collections=72771  major collections=33 compactions=0


runtime: 00:01:20.811
vars: 39321, evals: 72815

|rho|=39321
|called|=742
|stable|=35391
|infl|=38638
|wpoint|=136
Found 1700 contexts for 164 functions. Top 5 functions:
77	contexts for entry state of sz on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1
67	contexts for entry state of newK on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24134:1
57	contexts for entry state of kerr on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1
52	contexts for entry state of mark on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8189:1
48	contexts for entry state of bp on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1

Memory statistics: total=183310.49MB, max=265.49MB, minor=183296.38MB, major=1110.10MB, promoted=1095.99MB
    minor collections=87421  major collections=35 compactions=0


runtime: 00:01:30.823
vars: 40023, evals: 74551

|rho|=40023
|called|=728
|stable|=36093
|infl|=39355
|wpoint|=136
Found 1729 contexts for 164 functions. Top 5 functions:
77	contexts for entry state of sz on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1
67	contexts for entry state of newK on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24134:1
63	contexts for entry state of mark on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8189:1
57	contexts for entry state of kerr on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1
48	contexts for entry state of bp on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1

Memory statistics: total=214811.57MB, max=265.49MB, minor=214797.43MB, major=1209.91MB, promoted=1195.77MB
    minor collections=102442  major collections=36 compactions=0


runtime: 00:01:40.838
vars: 41367, evals: 76661

|rho|=41367
|called|=738
|stable|=37437
|infl|=40688
|wpoint|=135
Found 1804 contexts for 164 functions. Top 5 functions:
79	contexts for entry state of sz on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1
69	contexts for entry state of newK on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24134:1
65	contexts for entry state of mark on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8189:1
61	contexts for entry state of kerr on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1
50	contexts for entry state of bp on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1

Memory statistics: total=246272.43MB, max=265.49MB, minor=246258.27MB, major=1314.68MB, promoted=1300.52MB
    minor collections=117445  major collections=38 compactions=0


runtime: 00:01:50.846
vars: 42983, evals: 78667

|rho|=42983
|called|=746
|stable|=39053
|infl|=42303
|wpoint|=137
Found 1924 contexts for 164 functions. Top 5 functions:
90	contexts for entry state of sz on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1
78	contexts for entry state of newK on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24134:1
67	contexts for entry state of kerr on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1
65	contexts for entry state of mark on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8189:1
57	contexts for entry state of bp on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1

Memory statistics: total=278018.90MB, max=265.49MB, minor=278004.64MB, major=1412.19MB, promoted=1397.93MB
    minor collections=132583  major collections=39 compactions=0


runtime: 00:02:00.862
vars: 43648, evals: 80249

|rho|=43648
|called|=833
|stable|=39718
|infl|=42879
|wpoint|=136
Found 1943 contexts for 164 functions. Top 5 functions:
91	contexts for entry state of sz on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1
79	contexts for entry state of newK on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24134:1
67	contexts for entry state of kerr on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1
65	contexts for entry state of mark on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8189:1
58	contexts for entry state of bp on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1

Memory statistics: total=308950.41MB, max=265.49MB, minor=308936.11MB, major=1505.50MB, promoted=1491.20MB
    minor collections=147333  major collections=40 compactions=0


runtime: 00:02:10.873
vars: 44425, evals: 82013

|rho|=44425
|called|=775
|stable|=40495
|infl|=43710
|wpoint|=136
Found 1963 contexts for 164 functions. Top 5 functions:
91	contexts for entry state of sz on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1
79	contexts for entry state of newK on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24134:1
67	contexts for entry state of kerr on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1
65	contexts for entry state of mark on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8189:1
58	contexts for entry state of bp on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1

Memory statistics: total=339891.29MB, max=265.49MB, minor=339876.97MB, major=1603.01MB, promoted=1588.68MB
    minor collections=162088  major collections=41 compactions=0


runtime: 00:02:20.889
vars: 45422, evals: 83950

|rho|=45422
|called|=846
|stable|=41492
|infl|=44648
|wpoint|=138
Found 1974 contexts for 164 functions. Top 5 functions:
91	contexts for entry state of sz on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1
79	contexts for entry state of newK on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24134:1
67	contexts for entry state of kerr on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1
65	contexts for entry state of mark on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8189:1
58	contexts for entry state of bp on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1

Memory statistics: total=371124.72MB, max=265.49MB, minor=371110.38MB, major=1709.81MB, promoted=1695.47MB
    minor collections=176982  major collections=43 compactions=0


runtime: 00:02:30.897
vars: 46246, evals: 85527

|rho|=46246
|called|=813
|stable|=42316
|infl|=45505
|wpoint|=138
Found 1998 contexts for 164 functions. Top 5 functions:
91	contexts for entry state of sz on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1
79	contexts for entry state of newK on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24134:1
67	contexts for entry state of kerr on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1
65	contexts for entry state of mark on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8189:1
58	contexts for entry state of bp on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1

Memory statistics: total=403042.03MB, max=265.49MB, minor=403027.67MB, major=1808.75MB, promoted=1794.39MB
    minor collections=192202  major collections=44 compactions=0


runtime: 00:02:40.904
vars: 47430, evals: 87317

|rho|=47430
|called|=827
|stable|=43499
|infl|=46678
|wpoint|=140
Found 2033 contexts for 164 functions. Top 5 functions:
91	contexts for entry state of sz on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1
79	contexts for entry state of newK on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24134:1
70	contexts for entry state of kerr on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1
65	contexts for entry state of mark on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8189:1
58	contexts for entry state of bp on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1

Memory statistics: total=435493.62MB, max=265.49MB, minor=435479.24MB, major=1910.28MB, promoted=1895.90MB
    minor collections=207677  major collections=45 compactions=0


runtime: 00:02:50.920
vars: 48303, evals: 88839

|rho|=48303
|called|=823
|stable|=44372
|infl|=47564
|wpoint|=140
Found 2038 contexts for 164 functions. Top 5 functions:
91	contexts for entry state of sz on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1
79	contexts for entry state of newK on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24134:1
70	contexts for entry state of kerr on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1
65	contexts for entry state of mark on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8189:1
58	contexts for entry state of bp on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1

Memory statistics: total=466325.91MB, max=265.49MB, minor=466311.50MB, major=2014.67MB, promoted=2000.25MB
    minor collections=222380  major collections=47 compactions=0


runtime: 00:03:00.932
vars: 48927, evals: 90216

|rho|=48927
|called|=822
|stable|=44992
|infl|=48188
|wpoint|=140
Found 2039 contexts for 164 functions. Top 5 functions:
91	contexts for entry state of sz on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1
79	contexts for entry state of newK on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24134:1
70	contexts for entry state of kerr on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1
65	contexts for entry state of mark on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8189:1
58	contexts for entry state of bp on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1

Memory statistics: total=497484.69MB, max=305.32MB, minor=497470.25MB, major=2115.50MB, promoted=2101.07MB
    minor collections=237238  major collections=48 compactions=0


runtime: 00:03:10.947
vars: 49947, evals: 91926

|rho|=49947
|called|=827
|stable|=46017
|infl|=49193
|wpoint|=140
Found 2041 contexts for 164 functions. Top 5 functions:
91	contexts for entry state of sz on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1
79	contexts for entry state of newK on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24134:1
70	contexts for entry state of kerr on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1
65	contexts for entry state of mark on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8189:1
58	contexts for entry state of bp on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1

Memory statistics: total=528918.36MB, max=305.32MB, minor=528903.91MB, major=2222.52MB, promoted=2208.06MB
    minor collections=252227  major collections=49 compactions=0


runtime: 00:03:20.963
vars: 51227, evals: 94199

|rho|=51227
|called|=857
|stable|=47297
|infl|=50443
|wpoint|=139
Found 2084 contexts for 164 functions. Top 5 functions:
95	contexts for entry state of sz on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1
84	contexts for entry state of newK on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24134:1
73	contexts for entry state of kerr on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1
65	contexts for entry state of mark on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8189:1
58	contexts for entry state of bp on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1

Memory statistics: total=559832.88MB, max=305.32MB, minor=559818.34MB, major=2328.44MB, promoted=2313.91MB
    minor collections=266969  major collections=50 compactions=0


runtime: 00:03:30.978
vars: 52724, evals: 96683

|rho|=52724
|called|=983
|stable|=24781
|infl|=51812
|wpoint|=142
Found 2151 contexts for 164 functions. Top 5 functions:
97	contexts for entry state of sz on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1
85	contexts for entry state of newK on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24134:1
79	contexts for entry state of kerr on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1
65	contexts for entry state of mark on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8189:1
58	contexts for entry state of bp on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1

Memory statistics: total=589789.84MB, max=305.32MB, minor=589775.11MB, major=2429.02MB, promoted=2414.29MB
    minor collections=281255  major collections=52 compactions=0


runtime: 00:03:40.994
vars: 53371, evals: 97564

|rho|=53371
|called|=976
|stable|=25428
|infl|=52466
|wpoint|=142
Found 2208 contexts for 164 functions. Top 5 functions:
102	contexts for entry state of sz on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1
88	contexts for entry state of newK on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24134:1
80	contexts for entry state of kerr on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1
65	contexts for entry state of mark on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8189:1
62	contexts for entry state of bp on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1

Memory statistics: total=622451.63MB, max=305.32MB, minor=622436.90MB, major=2514.01MB, promoted=2499.27MB
    minor collections=296830  major collections=53 compactions=0


runtime: 00:03:51.006
vars: 54170, evals: 98672

|rho|=54170
|called|=1079
|stable|=26227
|infl|=53198
|wpoint|=143
Found 2236 contexts for 164 functions. Top 5 functions:
103	contexts for entry state of sz on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1
89	contexts for entry state of newK on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24134:1
83	contexts for entry state of kerr on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1
65	contexts for entry state of mark on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8189:1
62	contexts for entry state of bp on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1

Memory statistics: total=654616.28MB, max=305.32MB, minor=654601.50MB, major=2599.52MB, promoted=2584.74MB
    minor collections=312168  major collections=54 compactions=0


runtime: 00:04:01.017
vars: 54640, evals: 99541

|rho|=54640
|called|=1014
|stable|=26693
|infl|=53702
|wpoint|=144
Found 2270 contexts for 164 functions. Top 5 functions:
105	contexts for entry state of sz on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1
91	contexts for entry state of newK on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24134:1
83	contexts for entry state of kerr on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1
66	contexts for entry state of mark on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8189:1
64	contexts for entry state of bp on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1

Memory statistics: total=686075.61MB, max=305.32MB, minor=686060.83MB, major=2681.30MB, promoted=2666.52MB
    minor collections=327169  major collections=54 compactions=0


runtime: 00:04:11.025
vars: 54997, evals: 100517

|rho|=54997
|called|=1055
|stable|=27054
|infl|=54024
|wpoint|=146
Found 2286 contexts for 164 functions. Top 5 functions:
105	contexts for entry state of sz on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1
91	contexts for entry state of newK on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24134:1
83	contexts for entry state of kerr on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1
71	contexts for entry state of mark on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8189:1
64	contexts for entry state of bp on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1

Memory statistics: total=718056.83MB, max=305.32MB, minor=718042.05MB, major=2768.64MB, promoted=2753.86MB
    minor collections=342419  major collections=55 compactions=0


runtime: 00:04:21.033
vars: 55332, evals: 101329

|rho|=55332
|called|=994
|stable|=27389
|infl|=54414
|wpoint|=143
Found 2299 contexts for 164 functions. Top 5 functions:
105	contexts for entry state of sz on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1
91	contexts for entry state of newK on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24134:1
83	contexts for entry state of kerr on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1
77	contexts for entry state of mark on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8189:1
64	contexts for entry state of bp on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1

Memory statistics: total=749992.69MB, max=305.32MB, minor=749977.88MB, major=2857.16MB, promoted=2842.35MB
    minor collections=357648  major collections=56 compactions=0


runtime: 00:04:31.056
vars: 55861, evals: 102346

|rho|=55861
|called|=994
|stable|=27918
|infl|=54944
|wpoint|=143
Found 2326 contexts for 164 functions. Top 5 functions:
107	contexts for entry state of sz on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1
93	contexts for entry state of newK on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24134:1
83	contexts for entry state of kerr on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1
81	contexts for entry state of mark on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8189:1
66	contexts for entry state of bp on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1

Memory statistics: total=781819.42MB, max=305.32MB, minor=781804.60MB, major=2947.42MB, promoted=2932.60MB
    minor collections=372825  major collections=57 compactions=0


runtime: 00:04:41.064
vars: 56362, evals: 103122

|rho|=56362
|called|=1007
|stable|=28419
|infl|=55432
|wpoint|=143
Found 2350 contexts for 164 functions. Top 5 functions:
107	contexts for entry state of sz on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1
93	contexts for entry state of newK on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24134:1
84	contexts for entry state of kerr on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1
81	contexts for entry state of mark on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8189:1
66	contexts for entry state of bp on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1

Memory statistics: total=813844.20MB, max=305.32MB, minor=813829.36MB, major=3034.25MB, promoted=3019.41MB
    minor collections=388096  major collections=58 compactions=0


runtime: 00:04:51.072
vars: 57145, evals: 104159

|rho|=57145
|called|=1035
|stable|=29186
|infl|=56209
|wpoint|=148
Found 2419 contexts for 164 functions. Top 5 functions:
110	contexts for entry state of sz on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1
95	contexts for entry state of newK on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24134:1
88	contexts for entry state of kerr on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1
81	contexts for entry state of mark on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8189:1
69	contexts for entry state of bp on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1

Memory statistics: total=846349.05MB, max=305.32MB, minor=846334.20MB, major=3122.43MB, promoted=3107.58MB
    minor collections=403596  major collections=59 compactions=0


runtime: 00:05:01.087
vars: 57786, evals: 104999

|rho|=57786
|called|=983
|stable|=29842
|infl|=56882
|wpoint|=144
Found 2453 contexts for 164 functions. Top 5 functions:
113	contexts for entry state of sz on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1
97	contexts for entry state of newK on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24134:1
91	contexts for entry state of kerr on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1
81	contexts for entry state of mark on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8189:1
70	contexts for entry state of bp on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1

Memory statistics: total=878901.86MB, max=305.32MB, minor=878886.99MB, major=3209.31MB, promoted=3194.44MB
    minor collections=419119  major collections=60 compactions=0


runtime: 00:05:11.103
vars: 58482, evals: 105974

|rho|=58482
|called|=980
|stable|=30534
|infl|=57580
|wpoint|=144
Found 2504 contexts for 164 functions. Top 5 functions:
118	contexts for entry state of sz on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1
102	contexts for entry state of newK on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24134:1
93	contexts for entry state of kerr on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1
81	contexts for entry state of mark on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8189:1
73	contexts for entry state of bp on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1

Memory statistics: total=911372.57MB, max=305.32MB, minor=911357.66MB, major=3296.50MB, promoted=3281.59MB
    minor collections=434603  major collections=61 compactions=0


runtime: 00:05:21.131
vars: 59044, evals: 107129

|rho|=59044
|called|=1137
|stable|=31101
|infl|=58020
|wpoint|=144
Found 2519 contexts for 164 functions. Top 5 functions:
119	contexts for entry state of sz on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1
103	contexts for entry state of newK on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24134:1
93	contexts for entry state of kerr on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1
81	contexts for entry state of mark on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8189:1
74	contexts for entry state of bp on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1

Memory statistics: total=942451.21MB, max=351.12MB, minor=942436.27MB, major=3384.66MB, promoted=3369.72MB
    minor collections=449423  major collections=62 compactions=0


runtime: 00:05:31.138
vars: 59327, evals: 108017

|rho|=59327
|called|=1076
|stable|=31384
|infl|=58335
|wpoint|=146
Found 2526 contexts for 164 functions. Top 5 functions:
119	contexts for entry state of sz on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1
103	contexts for entry state of newK on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24134:1
93	contexts for entry state of kerr on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1
81	contexts for entry state of mark on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8189:1
74	contexts for entry state of bp on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1

Memory statistics: total=973729.71MB, max=351.12MB, minor=973714.77MB, major=3467.23MB, promoted=3452.28MB
    minor collections=464338  major collections=63 compactions=0


runtime: 00:05:41.150
vars: 59722, evals: 108807

|rho|=59722
|called|=1059
|stable|=31779
|infl|=58747
|wpoint|=145
Found 2534 contexts for 164 functions. Top 5 functions:
119	contexts for entry state of sz on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1
103	contexts for entry state of newK on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24134:1
93	contexts for entry state of kerr on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1
81	contexts for entry state of mark on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8189:1
74	contexts for entry state of bp on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1

Memory statistics: total=1005187.37MB, max=351.12MB, minor=1005172.40MB, major=3552.80MB, promoted=3537.83MB
    minor collections=479339  major collections=64 compactions=0


runtime: 00:05:51.161
vars: 60285, evals: 109766

|rho|=60285
|called|=1073
|stable|=32342
|infl|=59295
|wpoint|=144
Found 2548 contexts for 164 functions. Top 5 functions:
119	contexts for entry state of sz on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1
103	contexts for entry state of newK on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24134:1
93	contexts for entry state of kerr on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1
81	contexts for entry state of mark on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8189:1
74	contexts for entry state of bp on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1

Memory statistics: total=1036913.15MB, max=351.12MB, minor=1036898.18MB, major=3643.65MB, promoted=3628.67MB
    minor collections=494468  major collections=65 compactions=0


runtime: 00:06:01.169
vars: 60659, evals: 110671

|rho|=60659
|called|=1091
|stable|=32716
|infl|=59655
|wpoint|=146
Found 2549 contexts for 164 functions. Top 5 functions:
119	contexts for entry state of sz on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1
103	contexts for entry state of newK on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24134:1
93	contexts for entry state of kerr on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1
81	contexts for entry state of mark on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8189:1
74	contexts for entry state of bp on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1

Memory statistics: total=1069156.65MB, max=351.12MB, minor=1069141.66MB, major=3735.08MB, promoted=3720.09MB
    minor collections=509843  major collections=66 compactions=0


runtime: 00:06:11.185
vars: 61224, evals: 111556

|rho|=61224
|called|=1121
|stable|=33281
|infl|=60197
|wpoint|=147
Found 2561 contexts for 164 functions. Top 5 functions:
119	contexts for entry state of sz on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1
103	contexts for entry state of newK on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24134:1
93	contexts for entry state of kerr on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1
81	contexts for entry state of mark on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8189:1
74	contexts for entry state of bp on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1

Memory statistics: total=1101607.98MB, max=351.12MB, minor=1101592.99MB, major=3825.08MB, promoted=3810.09MB
    minor collections=525318  major collections=67 compactions=0


runtime: 00:06:21.196
vars: 61629, evals: 112409

|rho|=61629
|called|=1102
|stable|=33686
|infl|=60620
|wpoint|=148
Found 2573 contexts for 164 functions. Top 5 functions:
119	contexts for entry state of sz on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1
103	contexts for entry state of newK on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24134:1
93	contexts for entry state of kerr on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1
81	contexts for entry state of mark on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8189:1
74	contexts for entry state of bp on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1

Memory statistics: total=1133636.77MB, max=351.12MB, minor=1133621.76MB, major=3912.62MB, promoted=3897.61MB
    minor collections=540591  major collections=68 compactions=0


runtime: 00:06:31.208
vars: 62089, evals: 113119

|rho|=62089
|called|=1087
|stable|=34146
|infl|=61092
|wpoint|=146
Found 2590 contexts for 164 functions. Top 5 functions:
119	contexts for entry state of sz on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1
103	contexts for entry state of newK on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24134:1
93	contexts for entry state of kerr on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1
81	contexts for entry state of mark on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8189:1
74	contexts for entry state of bp on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1

Memory statistics: total=1166251.89MB, max=351.12MB, minor=1166236.88MB, major=3996.52MB, promoted=3981.51MB
    minor collections=556143  major collections=68 compactions=0


runtime: 00:06:41.216
vars: 62496, evals: 113952

|rho|=62496
|called|=1118
|stable|=34553
|infl|=61468
|wpoint|=146
Found 2600 contexts for 164 functions. Top 5 functions:
119	contexts for entry state of sz on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1
103	contexts for entry state of newK on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24134:1
93	contexts for entry state of kerr on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1
81	contexts for entry state of mark on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8189:1
74	contexts for entry state of bp on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1

Memory statistics: total=1198406.56MB, max=351.12MB, minor=1198391.53MB, major=4084.95MB, promoted=4069.93MB
    minor collections=571476  major collections=69 compactions=0


runtime: 00:06:51.232
vars: 63126, evals: 114819

|rho|=63126
|called|=1086
|stable|=35183
|infl|=62135
|wpoint|=148
Found 2611 contexts for 164 functions. Top 5 functions:
119	contexts for entry state of sz on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1
103	contexts for entry state of newK on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24134:1
96	contexts for entry state of kerr on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1
81	contexts for entry state of mark on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8189:1
74	contexts for entry state of bp on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1

Memory statistics: total=1230144.39MB, max=351.12MB, minor=1230129.34MB, major=4174.72MB, promoted=4159.67MB
    minor collections=586611  major collections=70 compactions=0


runtime: 00:07:01.243
vars: 63626, evals: 115720

|rho|=63626
|called|=1116
|stable|=35683
|infl|=62601
|wpoint|=147
Found 2614 contexts for 164 functions. Top 5 functions:
119	contexts for entry state of sz on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1
103	contexts for entry state of newK on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24134:1
96	contexts for entry state of kerr on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1
81	contexts for entry state of mark on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8189:1
74	contexts for entry state of bp on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1

Memory statistics: total=1261851.14MB, max=351.12MB, minor=1261836.09MB, major=4266.47MB, promoted=4251.41MB
    minor collections=601730  major collections=71 compactions=0


runtime: 00:07:11.259
vars: 64104, evals: 116670

|rho|=64104
|called|=1130
|stable|=36161
|infl|=63066
|wpoint|=148
Found 2615 contexts for 164 functions. Top 5 functions:
119	contexts for entry state of sz on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1
103	contexts for entry state of newK on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24134:1
96	contexts for entry state of kerr on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1
81	contexts for entry state of mark on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8189:1
74	contexts for entry state of bp on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1

Memory statistics: total=1293530.72MB, max=351.12MB, minor=1293515.65MB, major=4357.51MB, promoted=4342.44MB
    minor collections=616837  major collections=72 compactions=0


runtime: 00:07:21.271
vars: 64478, evals: 117457

|rho|=64478
|called|=1074
|stable|=36535
|infl|=63495
|wpoint|=147
Found 2615 contexts for 164 functions. Top 5 functions:
119	contexts for entry state of sz on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1
103	contexts for entry state of newK on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24134:1
96	contexts for entry state of kerr on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1
81	contexts for entry state of mark on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8189:1
74	contexts for entry state of bp on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1

Memory statistics: total=1325515.05MB, max=351.12MB, minor=1325499.97MB, major=4449.91MB, promoted=4434.82MB
    minor collections=632089  major collections=73 compactions=0


runtime: 00:07:31.282
vars: 64911, evals: 118222

|rho|=64911
|called|=1099
|stable|=36963
|infl|=63920
|wpoint|=149
Found 2616 contexts for 164 functions. Top 5 functions:
119	contexts for entry state of sz on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1
103	contexts for entry state of newK on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24134:1
96	contexts for entry state of kerr on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1
81	contexts for entry state of mark on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8189:1
74	contexts for entry state of bp on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1

Memory statistics: total=1357541.69MB, max=351.12MB, minor=1357526.58MB, major=4540.04MB, promoted=4524.94MB
    minor collections=647361  major collections=74 compactions=0


runtime: 00:07:41.294
vars: 65384, evals: 118995

|rho|=65384
|called|=1086
|stable|=37441
|infl|=64389
|wpoint|=147
Found 2617 contexts for 164 functions. Top 5 functions:
119	contexts for entry state of sz on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1
103	contexts for entry state of newK on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24134:1
96	contexts for entry state of kerr on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1
81	contexts for entry state of mark on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8189:1
74	contexts for entry state of bp on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1

Memory statistics: total=1389617.42MB, max=351.12MB, minor=1389602.31MB, major=4629.90MB, promoted=4614.79MB
    minor collections=662656  major collections=75 compactions=0


runtime: 00:07:51.314
vars: 66005, evals: 120166

|rho|=66005
|called|=1051
|stable|=38062
|infl|=65039
|wpoint|=146
Found 2629 contexts for 164 functions. Top 5 functions:
120	contexts for entry state of sz on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1
104	contexts for entry state of newK on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24134:1
96	contexts for entry state of kerr on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1
81	contexts for entry state of mark on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8189:1
74	contexts for entry state of bp on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1

Memory statistics: total=1420889.51MB, max=403.79MB, minor=1420873.33MB, major=4723.37MB, promoted=4707.19MB
    minor collections=677568  major collections=76 compactions=0


runtime: 00:08:01.329
vars: 66645, evals: 121275

|rho|=66645
|called|=1119
|stable|=38702
|infl|=65615
|wpoint|=147
Found 2660 contexts for 164 functions. Top 5 functions:
123	contexts for entry state of sz on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1
108	contexts for entry state of newK on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24134:1
99	contexts for entry state of kerr on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1
81	contexts for entry state of mark on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8189:1
74	contexts for entry state of bp on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1

Memory statistics: total=1452708.71MB, max=403.79MB, minor=1452691.42MB, major=4812.24MB, promoted=4794.95MB
    minor collections=692740  major collections=76 compactions=0


runtime: 00:08:11.341
vars: 67932, evals: 123241

|rho|=67932
|called|=1220
|stable|=39989
|infl|=66802
|wpoint|=151
Found 2711 contexts for 164 functions. Top 5 functions:
125	contexts for entry state of sz on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1
109	contexts for entry state of newK on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24134:1
103	contexts for entry state of kerr on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1
81	contexts for entry state of mark on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8189:1
74	contexts for entry state of bp on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1

Memory statistics: total=1483372.10MB, max=403.79MB, minor=1483354.67MB, major=4907.15MB, promoted=4889.73MB
    minor collections=707362  major collections=77 compactions=0


runtime: 00:08:21.353
vars: 67966, evals: 124504

|rho|=67966
|called|=1236
|stable|=27922
|infl|=66900
|wpoint|=151
Found 2711 contexts for 164 functions. Top 5 functions:
125	contexts for entry state of sz on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1
109	contexts for entry state of newK on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24134:1
103	contexts for entry state of kerr on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1
81	contexts for entry state of mark on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8189:1
74	contexts for entry state of bp on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1

Memory statistics: total=1514000.91MB, max=403.79MB, minor=1513983.39MB, major=4988.91MB, promoted=4971.39MB
    minor collections=721968  major collections=78 compactions=0


runtime: 00:08:31.364
vars: 67966, evals: 125783

|rho|=67966
|called|=1248
|stable|=27861
|infl|=66900
|wpoint|=152
Found 2711 contexts for 164 functions. Top 5 functions:
125	contexts for entry state of sz on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1
109	contexts for entry state of newK on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24134:1
103	contexts for entry state of kerr on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1
81	contexts for entry state of mark on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8189:1
74	contexts for entry state of bp on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1

Memory statistics: total=1545725.58MB, max=403.79MB, minor=1545708.00MB, major=5068.71MB, promoted=5051.13MB
    minor collections=737096  major collections=79 compactions=0


runtime: 00:08:41.372
vars: 67976, evals: 127069

|rho|=67976
|called|=1192
|stable|=28124
|infl|=66944
|wpoint|=152
Found 2711 contexts for 164 functions. Top 5 functions:
125	contexts for entry state of sz on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1
109	contexts for entry state of newK on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24134:1
103	contexts for entry state of kerr on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1
81	contexts for entry state of mark on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8189:1
74	contexts for entry state of bp on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1

Memory statistics: total=1576848.96MB, max=403.79MB, minor=1576831.32MB, major=5149.57MB, promoted=5131.93MB
    minor collections=751937  major collections=79 compactions=0


runtime: 00:08:51.380
vars: 68563, evals: 128345

|rho|=68563
|called|=1266
|stable|=28250
|infl|=67387
|wpoint|=152
Found 2746 contexts for 165 functions. Top 5 functions:
125	contexts for entry state of sz on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1
109	contexts for entry state of newK on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24134:1
105	contexts for entry state of kerr on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1
81	contexts for entry state of mark on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8189:1
74	contexts for entry state of bp on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1

Memory statistics: total=1607616.57MB, max=403.79MB, minor=1607598.88MB, major=5231.59MB, promoted=5213.90MB
    minor collections=766608  major collections=80 compactions=0


runtime: 00:09:01.391
vars: 68928, evals: 128896

|rho|=68928
|called|=1296
|stable|=28615
|infl|=67722
|wpoint|=152
Found 2775 contexts for 165 functions. Top 5 functions:
126	contexts for entry state of sz on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1
110	contexts for entry state of newK on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24134:1
105	contexts for entry state of kerr on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1
81	contexts for entry state of mark on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8189:1
75	contexts for entry state of bp on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1

Memory statistics: total=1639661.93MB, max=403.79MB, minor=1639644.22MB, major=5311.70MB, promoted=5293.99MB
    minor collections=781889  major collections=81 compactions=0


runtime: 00:09:11.403
vars: 69246, evals: 129386

|rho|=69246
|called|=1263
|stable|=28933
|infl|=68073
|wpoint|=152
Found 2803 contexts for 165 functions. Top 5 functions:
129	contexts for entry state of sz on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1
112	contexts for entry state of newK on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24134:1
106	contexts for entry state of kerr on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1
81	contexts for entry state of mark on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8189:1
78	contexts for entry state of bp on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1

Memory statistics: total=1671833.18MB, max=403.79MB, minor=1671815.47MB, major=5391.32MB, promoted=5373.61MB
    minor collections=797230  major collections=81 compactions=0


runtime: 00:09:21.411
vars: 69861, evals: 130030

|rho|=69861
|called|=1276
|stable|=29548
|infl|=68675
|wpoint|=152
Found 2835 contexts for 165 functions. Top 5 functions:
131	contexts for entry state of sz on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1
113	contexts for entry state of newK on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24134:1
108	contexts for entry state of kerr on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1
81	contexts for entry state of mark on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8189:1
78	contexts for entry state of bp on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1

Memory statistics: total=1703416.48MB, max=403.79MB, minor=1703398.75MB, major=5470.16MB, promoted=5452.42MB
    minor collections=812291  major collections=82 compactions=0


runtime: 00:09:31.422
vars: 70193, evals: 130677

|rho|=70193
|called|=1366
|stable|=29880
|infl|=68928
|wpoint|=153
Found 2841 contexts for 165 functions. Top 5 functions:
131	contexts for entry state of sz on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1
113	contexts for entry state of newK on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24134:1
109	contexts for entry state of kerr on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1
81	contexts for entry state of mark on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8189:1
78	contexts for entry state of bp on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1

Memory statistics: total=1734414.31MB, max=403.79MB, minor=1734396.57MB, major=5547.99MB, promoted=5530.26MB
    minor collections=827072  major collections=83 compactions=0


runtime: 00:09:41.430
vars: 70566, evals: 131370

|rho|=70566
|called|=1329
|stable|=30252
|infl|=69335
|wpoint|=154
Found 2863 contexts for 165 functions. Top 5 functions:
133	contexts for entry state of sz on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1
115	contexts for entry state of newK on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24134:1
109	contexts for entry state of kerr on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1
82	contexts for entry state of mark on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8189:1
80	contexts for entry state of bp on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1

Memory statistics: total=1765828.42MB, max=403.79MB, minor=1765810.68MB, major=5627.59MB, promoted=5609.85MB
    minor collections=842052  major collections=84 compactions=0


runtime: 00:09:51.442
vars: 70705, evals: 131931

|rho|=70705
|called|=1323
|stable|=30392
|infl|=69477
|wpoint|=154
Found 2872 contexts for 165 functions. Top 5 functions:
133	contexts for entry state of sz on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1
115	contexts for entry state of newK on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24134:1
109	contexts for entry state of kerr on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1
85	contexts for entry state of mark on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8189:1
80	contexts for entry state of bp on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1

Memory statistics: total=1796669.92MB, max=403.79MB, minor=1796652.18MB, major=5706.40MB, promoted=5688.66MB
    minor collections=856758  major collections=84 compactions=0


runtime: 00:10:01.453
vars: 71039, evals: 132594

|rho|=71039
|called|=1336
|stable|=30726
|infl|=69800
|wpoint|=154
Found 2882 contexts for 165 functions. Top 5 functions:
133	contexts for entry state of sz on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1
115	contexts for entry state of newK on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24134:1
109	contexts for entry state of kerr on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1
88	contexts for entry state of mark on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8189:1
80	contexts for entry state of bp on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1

Memory statistics: total=1827472.11MB, max=403.79MB, minor=1827454.34MB, major=5788.19MB, promoted=5770.42MB
    minor collections=871447  major collections=85 compactions=0


runtime: 00:10:11.469
vars: 71297, evals: 133277

|rho|=71297
|called|=1308
|stable|=30984
|infl|=70084
|wpoint|=153
Found 2895 contexts for 165 functions. Top 5 functions:
133	contexts for entry state of sz on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1
115	contexts for entry state of newK on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24134:1
109	contexts for entry state of kerr on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1
93	contexts for entry state of mark on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8189:1
80	contexts for entry state of bp on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1

Memory statistics: total=1859215.86MB, max=403.79MB, minor=1859198.09MB, major=5873.28MB, promoted=5855.51MB
    minor collections=886584  major collections=86 compactions=0


runtime: 00:10:21.484
vars: 71583, evals: 133874

|rho|=71583
|called|=1287
|stable|=31270
|infl|=70386
|wpoint|=152
Found 2915 contexts for 165 functions. Top 5 functions:
135	contexts for entry state of sz on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1
117	contexts for entry state of newK on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24134:1
109	contexts for entry state of kerr on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1
97	contexts for entry state of mark on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8189:1
82	contexts for entry state of bp on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1

Memory statistics: total=1890476.39MB, max=403.79MB, minor=1890458.62MB, major=5954.94MB, promoted=5937.16MB
    minor collections=901490  major collections=86 compactions=0


runtime: 00:10:31.495
vars: 71908, evals: 134420

|rho|=71908
|called|=1308
|stable|=31595
|infl|=70700
|wpoint|=155
Found 2926 contexts for 165 functions. Top 5 functions:
135	contexts for entry state of sz on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1
117	contexts for entry state of newK on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24134:1
109	contexts for entry state of kerr on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1
97	contexts for entry state of mark on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8189:1
82	contexts for entry state of bp on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1

Memory statistics: total=1921684.22MB, max=403.79MB, minor=1921666.42MB, major=6037.08MB, promoted=6019.29MB
    minor collections=916372  major collections=87 compactions=0


runtime: 00:10:41.507
vars: 72274, evals: 134949

|rho|=72274
|called|=1319
|stable|=31961
|infl|=71051
|wpoint|=153
Found 2943 contexts for 165 functions. Top 5 functions:
135	contexts for entry state of sz on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1
117	contexts for entry state of newK on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24134:1
110	contexts for entry state of kerr on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1
97	contexts for entry state of mark on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8189:1
82	contexts for entry state of bp on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1

Memory statistics: total=1953650.56MB, max=403.79MB, minor=1953632.77MB, major=6117.78MB, promoted=6099.98MB
    minor collections=931615  major collections=88 compactions=0


runtime: 00:10:51.515
vars: 72724, evals: 135573

|rho|=72724
|called|=1307
|stable|=32411
|infl|=71518
|wpoint|=154
Found 2977 contexts for 165 functions. Top 5 functions:
135	contexts for entry state of sz on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1
117	contexts for entry state of newK on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24134:1
113	contexts for entry state of kerr on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1
97	contexts for entry state of mark on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8189:1
82	contexts for entry state of bp on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1

Memory statistics: total=1985665.91MB, max=403.79MB, minor=1985648.11MB, major=6199.36MB, promoted=6181.56MB
    minor collections=946881  major collections=88 compactions=0


runtime: 00:11:01.526
vars: 73099, evals: 136144

|rho|=73099
|called|=1335
|stable|=32769
|infl|=71882
|wpoint|=157
Found 3014 contexts for 165 functions. Top 5 functions:
138	contexts for entry state of sz on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1
119	contexts for entry state of newK on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24134:1
114	contexts for entry state of kerr on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1
97	contexts for entry state of mark on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8189:1
85	contexts for entry state of DI on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:26731:1

Memory statistics: total=2017027.91MB, max=403.79MB, minor=2017010.10MB, major=6279.43MB, promoted=6261.62MB
    minor collections=961837  major collections=89 compactions=0


runtime: 00:11:11.538
vars: 73589, evals: 136684

|rho|=73589
|called|=1299
|stable|=33276
|infl|=72386
|wpoint|=153
Found 3043 contexts for 165 functions. Top 5 functions:
141	contexts for entry state of sz on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1
121	contexts for entry state of newK on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24134:1
116	contexts for entry state of kerr on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1
97	contexts for entry state of mark on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8189:1
86	contexts for entry state of bp on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1

Memory statistics: total=2048488.28MB, max=403.79MB, minor=2048470.45MB, major=6359.33MB, promoted=6341.50MB
    minor collections=976839  major collections=90 compactions=0


runtime: 00:11:21.549
vars: 74176, evals: 137283

|rho|=74176
|called|=1295
|stable|=33863
|infl|=72977
|wpoint|=153
Found 3087 contexts for 165 functions. Top 5 functions:
146	contexts for entry state of sz on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1
126	contexts for entry state of newK on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24134:1
119	contexts for entry state of kerr on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1
97	contexts for entry state of mark on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8189:1
89	contexts for entry state of bp on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1

Memory statistics: total=2081335.50MB, max=403.79MB, minor=2081317.63MB, major=6441.14MB, promoted=6423.27MB
    minor collections=992502  major collections=91 compactions=0


runtime: 00:11:31.557
vars: 74434, evals: 137892

|rho|=74434
|called|=1301
|stable|=34120
|infl|=73232
|wpoint|=154
Found 3098 contexts for 165 functions. Top 5 functions:
146	contexts for entry state of sz on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1
126	contexts for entry state of newK on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24134:1
119	contexts for entry state of kerr on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1
97	contexts for entry state of mark on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8189:1
89	contexts for entry state of bp on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1

Memory statistics: total=2112868.39MB, max=403.79MB, minor=2112850.52MB, major=6522.14MB, promoted=6504.27MB
    minor collections=1007538  major collections=91 compactions=0


runtime: 00:11:41.573
vars: 74911, evals: 138599

|rho|=74911
|called|=1438
|stable|=34598
|infl|=73572
|wpoint|=154
Found 3112 contexts for 165 functions. Top 5 functions:
147	contexts for entry state of sz on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1
127	contexts for entry state of newK on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24134:1
119	contexts for entry state of kerr on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1
97	contexts for entry state of mark on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8189:1
90	contexts for entry state of bp on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1

Memory statistics: total=2143911.56MB, max=403.79MB, minor=2143893.65MB, major=6604.68MB, promoted=6586.78MB
    minor collections=1022341  major collections=92 compactions=0


runtime: 00:11:51.581
vars: 74987, evals: 139155

|rho|=74987
|called|=1408
|stable|=34674
|infl|=73676
|wpoint|=154
Found 3112 contexts for 165 functions. Top 5 functions:
147	contexts for entry state of sz on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1
127	contexts for entry state of newK on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24134:1
119	contexts for entry state of kerr on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1
97	contexts for entry state of mark on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8189:1
90	contexts for entry state of bp on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1

Memory statistics: total=2174339.39MB, max=403.79MB, minor=2174321.49MB, major=6679.85MB, promoted=6661.95MB
    minor collections=1036851  major collections=93 compactions=0


runtime: 00:12:01.588
vars: 75253, evals: 139858

|rho|=75253
|called|=1399
|stable|=34940
|infl|=73957
|wpoint|=156
Found 3119 contexts for 165 functions. Top 5 functions:
147	contexts for entry state of sz on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1
127	contexts for entry state of newK on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24134:1
119	contexts for entry state of kerr on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1
97	contexts for entry state of mark on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8189:1
90	contexts for entry state of bp on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1

Memory statistics: total=2205416.25MB, max=403.79MB, minor=2205398.34MB, major=6760.41MB, promoted=6742.50MB
    minor collections=1051670  major collections=93 compactions=0


runtime: 00:12:11.604
vars: 75533, evals: 140390

|rho|=75533
|called|=1374
|stable|=35220
|infl|=74262
|wpoint|=155
Found 3123 contexts for 165 functions. Top 5 functions:
147	contexts for entry state of sz on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1
127	contexts for entry state of newK on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24134:1
119	contexts for entry state of kerr on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1
97	contexts for entry state of mark on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8189:1
90	contexts for entry state of bp on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1

Memory statistics: total=2235942.71MB, max=403.79MB, minor=2235924.78MB, major=6839.33MB, promoted=6821.40MB
    minor collections=1066226  major collections=94 compactions=0


runtime: 00:12:21.616
vars: 75748, evals: 140877

|rho|=75748
|called|=1364
|stable|=35435
|infl|=74485
|wpoint|=154
Found 3131 contexts for 165 functions. Top 5 functions:
147	contexts for entry state of sz on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1
127	contexts for entry state of newK on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24134:1
119	contexts for entry state of kerr on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1
97	contexts for entry state of mark on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8189:1
90	contexts for entry state of bp on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1

Memory statistics: total=2267449.33MB, max=403.79MB, minor=2267431.40MB, major=6919.09MB, promoted=6901.16MB
    minor collections=1081250  major collections=95 compactions=0


runtime: 00:12:31.631
vars: 76076, evals: 141459

|rho|=76076
|called|=1365
|stable|=35763
|infl|=74813
|wpoint|=154
Found 3135 contexts for 165 functions. Top 5 functions:
147	contexts for entry state of sz on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1
127	contexts for entry state of newK on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24134:1
119	contexts for entry state of kerr on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1
97	contexts for entry state of mark on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8189:1
90	contexts for entry state of bp on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1

Memory statistics: total=2298699.64MB, max=403.79MB, minor=2298681.70MB, major=7001.80MB, promoted=6983.86MB
    minor collections=1096152  major collections=95 compactions=0


runtime: 00:12:41.643
vars: 76389, evals: 142014

|rho|=76389
|called|=1362
|stable|=36071
|infl|=75144
|wpoint|=156
Found 3141 contexts for 165 functions. Top 5 functions:
147	contexts for entry state of sz on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1
127	contexts for entry state of newK on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24134:1
119	contexts for entry state of kerr on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1
97	contexts for entry state of mark on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8189:1
90	contexts for entry state of bp on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1

Memory statistics: total=2329696.79MB, max=403.79MB, minor=2329678.84MB, major=7083.29MB, promoted=7065.34MB
    minor collections=1110933  major collections=96 compactions=0


runtime: 00:12:51.651
vars: 76659, evals: 142663

|rho|=76659
|called|=1414
|stable|=36346
|infl|=75356
|wpoint|=158
Found 3143 contexts for 165 functions. Top 5 functions:
147	contexts for entry state of sz on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1
127	contexts for entry state of newK on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24134:1
119	contexts for entry state of kerr on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1
97	contexts for entry state of mark on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8189:1
90	contexts for entry state of bp on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1

Memory statistics: total=2361314.84MB, max=403.79MB, minor=2361296.89MB, major=7167.17MB, promoted=7149.22MB
    minor collections=1126010  major collections=97 compactions=0


runtime: 00:13:01.658
vars: 77062, evals: 143278

|rho|=77062
|called|=1416
|stable|=36749
|infl|=75758
|wpoint|=157
Found 3151 contexts for 165 functions. Top 5 functions:
147	contexts for entry state of sz on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1
127	contexts for entry state of newK on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24134:1
119	contexts for entry state of kerr on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1
97	contexts for entry state of mark on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8189:1
90	contexts for entry state of bp on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1

Memory statistics: total=2392881.52MB, max=403.79MB, minor=2392863.57MB, major=7251.46MB, promoted=7233.50MB
    minor collections=1141063  major collections=97 compactions=0


runtime: 00:13:11.666
vars: 77419, evals: 143829

|rho|=77419
|called|=1438
|stable|=37106
|infl|=76093
|wpoint|=157
Found 3162 contexts for 165 functions. Top 5 functions:
147	contexts for entry state of sz on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1
127	contexts for entry state of newK on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24134:1
119	contexts for entry state of kerr on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1
97	contexts for entry state of mark on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8189:1
90	contexts for entry state of bp on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1

Memory statistics: total=2423277.01MB, max=403.79MB, minor=2423259.04MB, major=7328.62MB, promoted=7310.65MB
    minor collections=1155557  major collections=98 compactions=0


runtime: 00:13:21.677
vars: 77574, evals: 144355

|rho|=77574
|called|=1439
|stable|=37219
|infl|=76273
|wpoint|=159
Found 3166 contexts for 165 functions. Top 5 functions:
147	contexts for entry state of sz on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1
127	contexts for entry state of newK on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24134:1
119	contexts for entry state of kerr on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1
97	contexts for entry state of mark on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8189:1
90	contexts for entry state of bp on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1

Memory statistics: total=2454494.66MB, max=403.79MB, minor=2454476.68MB, major=7408.68MB, promoted=7390.71MB
    minor collections=1170443  major collections=99 compactions=0


runtime: 00:13:31.689
vars: 77870, evals: 144766

|rho|=77870
|called|=1419
|stable|=37557
|infl|=76562
|wpoint|=157
Found 3178 contexts for 165 functions. Top 5 functions:
147	contexts for entry state of sz on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1
127	contexts for entry state of newK on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24134:1
119	contexts for entry state of kerr on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1
97	contexts for entry state of mark on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8189:1
90	contexts for entry state of bp on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1

Memory statistics: total=2486481.08MB, max=403.79MB, minor=2486463.10MB, major=7486.82MB, promoted=7468.85MB
    minor collections=1185696  major collections=99 compactions=0


runtime: 00:13:41.697
vars: 78226, evals: 145220

|rho|=78226
|called|=1414
|stable|=37913
|infl|=76921
|wpoint|=156
Found 3191 contexts for 165 functions. Top 5 functions:
147	contexts for entry state of sz on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1
127	contexts for entry state of newK on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24134:1
119	contexts for entry state of kerr on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1
97	contexts for entry state of mark on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8189:1
90	contexts for entry state of bp on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1

Memory statistics: total=2517384.36MB, max=403.79MB, minor=2517366.38MB, major=7563.12MB, promoted=7545.14MB
    minor collections=1200432  major collections=100 compactions=0


runtime: 00:13:51.708
vars: 78381, evals: 145719

|rho|=78381
|called|=1405
|stable|=38063
|infl|=77096
|wpoint|=157
Found 3193 contexts for 165 functions. Top 5 functions:
147	contexts for entry state of sz on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1
127	contexts for entry state of newK on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24134:1
119	contexts for entry state of kerr on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1
97	contexts for entry state of mark on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8189:1
90	contexts for entry state of bp on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1

Memory statistics: total=2548622.79MB, max=403.79MB, minor=2548604.79MB, major=7645.25MB, promoted=7627.25MB
    minor collections=1215328  major collections=101 compactions=0


runtime: 00:14:01.752
vars: 78867, evals: 146359

|rho|=78867
|called|=1430
|stable|=38554
|infl|=77547
|wpoint|=157
Found 3202 contexts for 165 functions. Top 5 functions:
147	contexts for entry state of sz on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1
127	contexts for entry state of newK on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24134:1
122	contexts for entry state of kerr on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1
97	contexts for entry state of mark on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8189:1
90	contexts for entry state of bp on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1

Memory statistics: total=2580147.86MB, max=464.36MB, minor=2580129.86MB, major=7727.15MB, promoted=7709.15MB
    minor collections=1230361  major collections=101 compactions=0


runtime: 00:14:11.768
vars: 79100, evals: 146834

|rho|=79100
|called|=1404
|stable|=38784
|infl|=77816
|wpoint|=158
Found 3204 contexts for 165 functions. Top 5 functions:
147	contexts for entry state of sz on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1
127	contexts for entry state of newK on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24134:1
122	contexts for entry state of kerr on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1
97	contexts for entry state of mark on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8189:1
90	contexts for entry state of bp on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1

Memory statistics: total=2610822.30MB, max=464.36MB, minor=2610804.28MB, major=7809.43MB, promoted=7791.41MB
    minor collections=1244988  major collections=102 compactions=0


runtime: 00:14:21.776
vars: 79459, evals: 147446

|rho|=79459
|called|=1427
|stable|=39146
|infl|=78142
|wpoint|=157
Found 3207 contexts for 165 functions. Top 5 functions:
147	contexts for entry state of sz on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1
127	contexts for entry state of newK on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24134:1
122	contexts for entry state of kerr on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1
97	contexts for entry state of mark on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8189:1
90	contexts for entry state of bp on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1

Memory statistics: total=2641658.78MB, max=464.36MB, minor=2641640.76MB, major=7891.29MB, promoted=7873.27MB
    minor collections=1259693  major collections=103 compactions=0


runtime: 00:14:31.787
vars: 79685, evals: 147919

|rho|=79685
|called|=1398
|stable|=39372
|infl|=78401
|wpoint|=158
Found 3207 contexts for 165 functions. Top 5 functions:
147	contexts for entry state of sz on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1
127	contexts for entry state of newK on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24134:1
122	contexts for entry state of kerr on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1
97	contexts for entry state of mark on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8189:1
90	contexts for entry state of bp on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1

Memory statistics: total=2673004.91MB, max=464.36MB, minor=2672986.87MB, major=7975.06MB, promoted=7957.03MB
    minor collections=1274640  major collections=103 compactions=0


runtime: 00:14:41.803
vars: 80035, evals: 148521

|rho|=80035
|called|=1429
|stable|=39722
|infl|=78716
|wpoint|=157
Found 3208 contexts for 165 functions. Top 5 functions:
147	contexts for entry state of sz on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1
127	contexts for entry state of newK on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24134:1
122	contexts for entry state of kerr on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1
97	contexts for entry state of mark on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8189:1
90	contexts for entry state of bp on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1

Memory statistics: total=2703956.14MB, max=464.36MB, minor=2703938.10MB, major=8056.65MB, promoted=8038.61MB
    minor collections=1289399  major collections=104 compactions=0


runtime: 00:14:51.811
vars: 80261, evals: 148994

|rho|=80261
|called|=1396
|stable|=39948
|infl|=78977
|wpoint|=158
Found 3208 contexts for 165 functions. Top 5 functions:
147	contexts for entry state of sz on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24098:1
127	contexts for entry state of newK on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24134:1
122	contexts for entry state of kerr on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:14258:1
97	contexts for entry state of mark on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:8189:1
90	contexts for entry state of bp on /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c:24076:1

Memory statistics: total=2735819.50MB, max=464.36MB, minor=2735801.44MB, major=8142.14MB, promoted=8124.09MB
    minor collections=1304593  major collections=105 compactions=0

 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c line 16206 function DT_OFFSET thread 0
Unwinding loop DT_OFFSET.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c line 16206 function DT_OFFSET thread 0
Not unwinding loop DT_OFFSET.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c line 16206 function DT_OFFSET thread 0
Unwinding loop DT_OFFSET.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c line 16206 function DT_OFFSET thread 0
Not unwinding loop DT_OFFSET.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c line 16206 function DT_OFFSET thread 0
Unwinding loop DT_OFFSET.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c line 16206 function DT_OFFSET thread 0
Not unwinding loop DT_OFFSET.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/kona/main.c line 16206 function DT_OFFSET thread 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
Handling datarace, passing the problem to goblint first
getcwd: /mnt/goblint-svcomp/benchexec/tools-pldi/deagle
