./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.441
[Info] vars: 19967, evals: 24470

[Info] |called|=72

Memory statistics: total=18354.48MB, max=230.87MB, minor=18347.40MB, major=448.57MB, promoted=441.49MB
    minor collections=8758  major collections=18 compactions=0


[Info] runtime: 00:00:20.551
[Info] vars: 34377, evals: 43269

[Info] |called|=86

Memory statistics: total=36009.37MB, max=403.80MB, minor=35999.60MB, major=829.24MB, promoted=819.47MB
    minor collections=17177  major collections=22 compactions=0


[Info] runtime: 00:00:30.648
[Info] vars: 44606, evals: 55765

[Info] |called|=68

Memory statistics: total=55277.04MB, max=534.03MB, minor=55266.13MB, major=1129.67MB, promoted=1118.76MB
    minor collections=26365  major collections=24 compactions=0


[Info] runtime: 00:00:40.722
[Info] vars: 51163, evals: 65087

[Info] |called|=56

Memory statistics: total=75651.73MB, max=614.13MB, minor=75640.37MB, major=1422.80MB, promoted=1411.44MB
    minor collections=36081  major collections=26 compactions=0


[Info] runtime: 00:00:50.769
[Info] vars: 55873, evals: 72456

[Info] |called|=126

Memory statistics: total=96234.38MB, max=614.13MB, minor=96222.68MB, major=1657.07MB, promoted=1645.36MB
    minor collections=45896  major collections=27 compactions=0


[Info] runtime: 00:01:00.834
[Info] vars: 59814, evals: 79061

[Info] |called|=87

Memory statistics: total=117256.89MB, max=706.25MB, minor=117244.88MB, major=1853.90MB, promoted=1841.89MB
    minor collections=55921  major collections=28 compactions=0

