./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 12
[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 12
[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 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] 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"
[Info] SV-COMP specification: CHECK( init(main()), LTL(G ! overflow) )

[Info] runtime: 00:00:10.473
[Info] vars: 13921, evals: 17373

[Info] |called|=82

Memory statistics: total=18359.39MB, max=151.80MB, minor=18353.34MB, major=346.38MB, promoted=340.32MB
    minor collections=8760  major collections=17 compactions=0


[Info] runtime: 00:00:20.610
[Info] vars: 28881, evals: 33603

[Info] |called|=79

Memory statistics: total=36604.21MB, max=305.32MB, minor=36596.45MB, major=700.96MB, promoted=693.19MB
    minor collections=17461  major collections=22 compactions=0


[Info] runtime: 00:00:30.717
[Info] vars: 35523, evals: 45344

[Info] |called|=101

Memory statistics: total=53502.42MB, max=403.80MB, minor=53492.62MB, major=980.09MB, promoted=970.29MB
    minor collections=25519  major collections=24 compactions=0


[Info] runtime: 00:00:40.817
[Info] vars: 43779, evals: 54227

[Info] |called|=81

Memory statistics: total=69642.32MB, max=464.37MB, minor=69632.04MB, major=1197.24MB, promoted=1186.96MB
    minor collections=33216  major collections=26 compactions=0


[Info] runtime: 00:00:50.914
[Info] vars: 49441, evals: 61876

[Info] |called|=70

Memory statistics: total=86664.99MB, max=534.03MB, minor=86653.84MB, major=1435.14MB, promoted=1423.99MB
    minor collections=41333  major collections=27 compactions=0

