./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/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--megaraid.ko.cil.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/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--megaraid.ko.cil.i:9825:3-9833:3 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--megaraid.ko.cil.i:9975:3-9983:3 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--megaraid.ko.cil.i:11172:5-11180:5 with factor 2
[Info] Setting "ana.int.interval" to true
[Info] malloc wrapper: ldv_malloc
[Info] malloc wrapper: ldv_xmalloc
[Info] no thread creation -> disabling thread analyses "race, deadlock, maylocks, symb_locks, thread, threadid, threadJoins, threadreturn, mhp, region, pthreadMutexType"
[Info] SV-COMP specification: CHECK( init(main()), LTL(G ! overflow) )

[Info] runtime: 00:00:10.423
[Info] vars: 17831, evals: 21734

[Info] |called|=75

Memory statistics: total=18581.97MB, max=230.87MB, minor=18574.97MB, major=430.25MB, promoted=423.26MB
    minor collections=8866  major collections=18 compactions=0


[Info] runtime: 00:00:20.540
[Info] vars: 34547, evals: 39973

[Info] |called|=90

Memory statistics: total=35276.91MB, max=403.80MB, minor=35267.21MB, major=901.43MB, promoted=891.72MB
    minor collections=16828  major collections=23 compactions=0


[Info] runtime: 00:00:30.686
[Info] vars: 45377, evals: 55075

[Info] |called|=116

Memory statistics: total=51069.27MB, max=614.13MB, minor=51058.36MB, major=1326.63MB, promoted=1315.72MB
    minor collections=24359  major collections=25 compactions=0


[Info] runtime: 00:00:40.789
[Info] vars: 56187, evals: 67533

[Info] |called|=85

Memory statistics: total=68683.22MB, max=706.25MB, minor=68671.56MB, major=1749.73MB, promoted=1738.06MB
    minor collections=32759  major collections=27 compactions=0


[Info] runtime: 00:00:50.860
[Info] vars: 65628, evals: 78755

[Info] |called|=84

Memory statistics: total=86463.43MB, max=812.19MB, minor=86448.80MB, major=2197.33MB, promoted=2182.70MB
    minor collections=41237  major collections=29 compactions=0

