./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.273
[Info] vars: 8300, evals: 23703

[Info] |called|=44

Memory statistics: total=19571.73MB, max=99.81MB, minor=19566.01MB, major=293.57MB, promoted=287.84MB
    minor collections=9340  major collections=21 compactions=0


[Info] runtime: 00:00:20.368
[Info] vars: 22166, evals: 52883

[Info] |called|=51

Memory statistics: total=37605.45MB, max=174.57MB, minor=37597.94MB, major=521.48MB, promoted=513.98MB
    minor collections=17941  major collections=26 compactions=0


[Info] runtime: 00:00:30.495
[Info] vars: 34200, evals: 76087

[Info] |called|=61

Memory statistics: total=55277.95MB, max=305.32MB, minor=55268.22MB, major=743.48MB, promoted=733.75MB
    minor collections=26368  major collections=28 compactions=0


[Info] runtime: 00:00:40.561
[Info] vars: 40758, evals: 101326

[Info] |called|=48

Memory statistics: total=73230.90MB, max=403.80MB, minor=73220.27MB, major=936.24MB, promoted=925.61MB
    minor collections=34929  major collections=30 compactions=0


[Info] runtime: 00:00:50.633
[Info] vars: 49300, evals: 126181

[Info] |called|=58

Memory statistics: total=91177.10MB, max=464.37MB, minor=91165.98MB, major=1130.68MB, promoted=1119.56MB
    minor collections=43487  major collections=32 compactions=0


[Info] runtime: 00:01:00.682
[Info] vars: 55172, evals: 147038

[Info] |called|=54

Memory statistics: total=108821.68MB, max=464.37MB, minor=108810.18MB, major=1307.98MB, promoted=1296.48MB
    minor collections=51901  major collections=33 compactions=0

