./goblint --conf conf/svcomp23.json --sets ana.specification /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/properties/unreach-call.prp --sets exp.architecture 32bit /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/loops-crafted-1/discover_list.c


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


--sets is deprecated, use --set instead.
--sets is deprecated, use --set instead.
unrolling loop at lib/libc/stub/src/stdlib.c:10:5-12:5 with factor 12
unrolling loop at lib/libc/stub/src/stdlib.c:21:9-27:9 with factor 4
unrolling loop at lib/libc/stub/src/stdlib.c:40:3-45:3 with factor 6
unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/loops-crafted-1/discover_list.c:162:1-166:1 with factor 25
Collected factors:
functions: 39
functionCalls: 66
loops: 8
loopBreaks: 0
controlFlowStatements: 448
expressions: 2259
instructions: 303
integralVars: (6,88)
arrayVars: (3,2)
pointerVars: (1,27)

Complexity estimates:
File: 4082
function smp_get_num is recursive, disable interval context
function smp_get_llnum is recursive, disable interval context
no thread creation -> disabeling thread analyses "race, deadlock, maylocks, symb_locks, thread, threadid, threadJoins, threadreturn"
Total: 29794
Congruence: 2680
Enabled congruence domain.
Octagon: 4000
Enabled octagon domain for:
sscanf, toupper, resp, tmp___0, tmp___1, len, smp_rr, mnum_desc, res, dword_resp_len, num, res, tmp___3, buf, ll, cp, tmp___0, num, res, tmp___3, buf, n, cp, tmp___0, bpos, k, cpos, a, len, no_ascii, i, str, func_code, top, i, key, count, a, tmp, j, count, k, size, a, b, c, i, val, val, val, val, val, val, val, val, val, val, val, val, val, val, val, val, val, val, val, val, val, val, val, val, val
Widening: 19032
Enabled widening thresholds
