./goblint --conf conf/svcomp.json --sets ana.specification /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/properties/no-overflow.prp --sets exp.architecture 64bit /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i


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


[0;33m[Warning] --sets is deprecated, use --set instead.[0;0;00m
[0;33m[Warning] --sets is deprecated, use --set instead.[0;0;00m
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:2809:5-2821:17 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:2990:3-3003:3 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3010:5-3016:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3025:3-3026:5 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3043:3-3080:3 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3089:3-3098:3 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3116:5-3127:5 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3156:5-3175:5 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3424:3-3435:3 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3441:3-3444:3 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3510:3-3511:5 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3537:7-3543:22 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3555:5-3561:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3568:5-3585:20 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3592:9-3595:9 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3677:13-3680:13 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3765:25-3771:23 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3793:5-3812:5 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3822:5-3825:5 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3851:3-3860:3 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3928:5-3944:5 with factor 3
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:3980:3-3981:5 with factor 25
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4004:3-4010:18 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4020:3-4040:3 with factor 3
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4177:3-4193:3 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4198:3-4205:3 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4244:5-4249:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4286:3-4291:39 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4298:3-4312:18 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4394:3-4411:3 with factor 3
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4419:3-4437:3 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4485:3-4493:35 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4501:3-4537:3 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4559:3-4604:18 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4611:3-4618:3 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4691:5-4700:20 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4721:3-4772:3 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4832:11-4839:40 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4854:7-4869:7 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4883:3-4921:3 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4930:5-4939:20 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:4967:5-4990:5 with factor 3
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5013:3-5018:3 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5020:3-5028:18 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5107:3-5122:36 with factor 3
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5167:3-5172:3 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5214:11-5228:11 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5341:3-5342:38 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5361:5-5362:49 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5422:3-5423:53 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5424:3-5425:53 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5476:3-5477:3 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5483:3-5489:3 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5503:3-5504:34 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5518:5-5519:42 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5513:3-5520:3 with factor 1
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/busybox-1.22.0/ls-incomplete-1.i:5522:3-5523:23 with factor 12
[Info] unrolling loop at lib/libc/stub/src/stdlib.c:10:5-12:5 with factor 12
[Info] unrolling loop at lib/libc/stub/src/stdlib.c:21:9-27:9 with factor 4
[Info] unrolling loop at lib/libc/stub/src/stdlib.c:40:3-45:3 with factor 6
[Info] longjmp -> enabling longjmp analyses "activeLongjmp, activeSetjmp, taintPartialContexts, modifiedSinceSetjmp, poisonVariables, expsplit, vla"
[Info] Setting "ana.int.interval" to true
[Info] function scan_and_display_dirs_recur is recursive, disable interval and interval_set contexts
[Info] no thread creation -> disabling thread analyses "race, deadlock, maylocks, symb_locks, thread, threadid, threadJoins, threadreturn, mhp, region"
[Info] SV-COMP specification: CHECK( init(main()), LTL(G ! overflow) )

[Info] runtime: 00:00:10.267
[Info] vars: 8560, evals: 25535

[Info] |called|=32

Memory statistics: total=20648.60MB, max=114.78MB, minor=20642.74MB, major=302.79MB, promoted=296.93MB
    minor collections=9853  major collections=21 compactions=0


[Info] runtime: 00:00:20.345
[Info] vars: 23177, evals: 56258

[Info] |called|=55

Memory statistics: total=40638.12MB, max=200.75MB, minor=40630.55MB, major=554.31MB, promoted=546.74MB
    minor collections=19387  major collections=26 compactions=0


[Info] runtime: 00:00:30.442
[Info] vars: 36573, evals: 81111

[Info] |called|=56

Memory statistics: total=59390.02MB, max=305.32MB, minor=59379.61MB, major=792.47MB, promoted=782.06MB
    minor collections=28329  major collections=29 compactions=0


[Info] runtime: 00:00:40.492
[Info] vars: 44463, evals: 108208

[Info] |called|=74

Memory statistics: total=78002.61MB, max=403.80MB, minor=77991.82MB, major=991.90MB, promoted=981.11MB
    minor collections=37205  major collections=31 compactions=0


[Info] runtime: 00:00:50.535
[Info] vars: 51181, evals: 133545

[Info] |called|=48

Memory statistics: total=97385.85MB, max=464.37MB, minor=97374.58MB, major=1194.45MB, promoted=1183.18MB
    minor collections=46448  major collections=32 compactions=0


[Info] runtime: 00:01:00.565
[Info] vars: 58608, evals: 158016

[Info] |called|=73

Memory statistics: total=116592.97MB, max=534.03MB, minor=116581.29MB, major=1390.32MB, promoted=1378.64MB
    minor collections=55607  major collections=33 compactions=0

