Tool ULTIMATE Automizer 0.1.23-d4a23566
Limits timelimit: 180 s, memlimit: 6000 MB, CPU core limit: 4
Host monteverdi
OS Linux-4.12.12-gentoo-x86_64-Intel-R-_Core-TM-_i7-2600_CPU_@_3.40GHz-with-gentoo-2.4.1
System CPU: Intel Core i7-2600 CPU @ 3.40GHz, cores: 8, frequency: 3800 MHz, Turbo Boost: enabled; RAM: 25257 MB
Date of execution 2018-03-23 11:41:41 CET
Run set Automizer AutomizerHeapSep HeapSep
Options --generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -tc ../../../trunk/examples/toolchains/AutomizerC.xml -s ../../../trunk/examples/settings/ai/eq-bench/svcomp-DerefFreeMemtrack-32bit-Automizer_Camel+AI_EQ_SS.epf --generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -tc ../../../trunk/examples/toolchains/AutomizerCTransformed.xml -s ../../../trunk/examples/settings/ai/eq-bench/svcomp-DerefFreeMemtrack-32bit-Automizer_Camel+AI_EQ_SS.epf --generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -tc ../../../trunk/examples/toolchains/IcfgTransformerC.xml -s ../../../trunk/examples/settings/ai/eq-bench/svcomp-DerefFreeMemtrack-32bit-Automizer_Camel+AI_EQ_SS.epf
../../../trunk/examples/svcomp/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
array-memsafety/bubblesort_unsafe_false-valid-deref.i false(valid-deref) 7.94 3.17 228151296 error: exception 33.2  14.3  936337408 error: exception 36.3  15.0  979726336
array-memsafety/cstrcat_unsafe_false-valid-deref.i false(valid-deref) 7.35 3.00 227106816 false(valid-deref) 84.1  60.1  1888694272 unknown 72.1  48.5  1751195648
array-memsafety/cstrncat_unsafe_false-valid-deref.i false(valid-deref) 7.33 2.98 231600128 timeout (error (143)) 181    156    2221490176 timeout (error (143)) 184    159    2219257856
array-memsafety/cstrncpy_unsafe_false-valid-deref.i false(valid-deref) 8.02 3.25 234967040 false(valid-deref) 64.0  43.1  1532051456 unknown 67.0  42.5  1552830464
array-memsafety/diff_usafe_false-valid-deref.i false(valid-deref) 8.13 3.24 235937792 false(valid-deref) 40.3  19.2  1153630208 unknown 38.1  18.4  1230962688
array-memsafety/selectionsort_unsafe_false-valid-deref.i false(valid-deref) 8.49 3.44 235061248 error: exception 25.0  9.57 752582656 error: exception 25.1  9.84 710078464
array-memsafety/stroeder1_unsafe_false-valid-deref.i false(valid-deref) 7.55 2.96 232325120 false(valid-deref) 8.52 3.37 241074176 unknown 8.13 3.15 236720128
array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i error: exception 5.37 2.32 182095872 unknown 6.50 2.48 192417792 unknown 6.60 2.53 197095424
array-examples/sanfoundry_24_false-valid-deref.i timeout (error (143)) 181    112    932814848 timeout (error (143)) 180    114    921206784 unknown 7.38 2.89 220327936
array-examples/standard_strcpy_false-valid-deref_ground.i timeout (error (143)) 180    118    1033125888 timeout (error (143)) 181    121    978526208 unknown 7.43 2.85 223633408
array-examples/standard_strcpy_original_false-valid-deref.i timeout (error (143)) 180    121    763273216 timeout (error: exception) 180    120    806092800 unknown 7.43 2.80 219865088
memsafety-ext2/length_test03_false-valid-memtrack.i error: exception 133    92.8  1003520000 timeout (error (143)) 180    147    2235281408 timeout (error (143)) 183    154    2234376192
memsafety-ext2/length_test03_true-valid-memsafety.i error: exception 149    109    923078656 timeout (error (143)) 186    159    2233864192 timeout (error (143)) 186    156    2233102336
memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i timeout (error (143)) 181    130    852434944 error: exception 110    77.9  2173120512 error: exception 112    78.2  2211549184
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c false(valid-deref) 10.1  4.01 268611584 false(valid-deref) 123    88.8  2218790912 unknown 120    87.8  2220519424
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c false(valid-deref) 11.3  4.25 305451008 false(valid-deref) 122    89.5  2212986880 unknown 121    91.1  2210746368
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c false(valid-deref) 8.25 3.37 232431616 false(valid-deref) 37.6  15.7  916758528 unknown 38.7  14.7  1094303744
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c false(valid-deref) 8.58 3.44 236322816 false(valid-deref) 44.0  20.4  1168236544 unknown 42.2  19.4  1386651648
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c timeout (error: exception) 181    116    2222600192 timeout (error (143)) 181    117    1159294976 unknown 14.5  5.09 415272960
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c timeout (error (143)) 181    117    2225381376 timeout (error (143)) 182    112    1069264896 unknown 16.3  5.65 403746816
ldv-memsafety/memset2_false-valid-deref-write.c false(valid-deref) 7.31 3.32 234188800 false(valid-deref) 9.54 3.67 263798784 unknown 9.01 3.32 239218688
ldv-memsafety/memset3_false-valid-deref-write.c false(valid-deref) 8.16 3.21 232501248 false(valid-deref) 9.60 3.75 270913536 unknown 9.17 3.39 247861248
ldv-memsafety/memsetNonZero2_false-valid-deref-write.c false(valid-deref) 7.95 3.17 231419904 false(valid-deref) 9.41 3.66 261275648 unknown 9.00 3.39 239050752
ldv-memsafety/memsetNonZero3_false-valid-deref-write.c false(valid-deref) 8.01 3.28 238833664 false(valid-deref) 10.0  3.83 272265216 unknown 8.93 3.40 246362112
ldv-memsafety/memsetNonZero_false-valid-deref-write.c false(valid-deref) 8.05 3.16 237207552 false(valid-deref) 9.39 3.61 264114176 unknown 8.88 3.34 239104000
ldv-memsafety/memset_false-valid-deref-write.c false(valid-deref) 7.84 3.37 234369024 false(valid-deref) 9.44 3.65 263475200 unknown 8.59 3.34 240185344
ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c timeout (error (143)) 181    115    1258106880 false(valid-deref) 128    94.1  2221776896 unknown 124    91.0  2220298240
ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c true 29.8  12.5  450600960 true 33.8  12.5  558084096 unknown 18.9  6.61 418062336
ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c true 30.4  12.8  447610880 true 35.3  13.5  639344640 unknown 19.3  6.70 472850432
ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c true 32.2  13.5  512200704 true 36.1  13.2  563286016 unknown 18.7  6.56 490582016
ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c true 44.7  18.8  555159552 true 65.9  29.7  1450860544 unknown 41.2  18.0  1365708800
ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c true 29.3  12.2  435101696 true 35.5  13.3  587403264 unknown 17.7  6.15 410152960
ldv-memsafety/StructInitialization1_true-valid-memsafety.c true 9.75 3.72 270843904 timeout (error (143)) 182    156    2330587136 timeout (error (143)) 185    157    2274070528
ldv-memsafety/StructInitialization2_true-valid-memsafety.c true 9.65 3.67 272424960 timeout (error (143)) 184    156    2325528576 timeout (error (143)) 182    153    2301411328
ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c true 8.29 3.20 235962368 true 70.9  50.7  2179932160 unknown 68.2  47.6  2178408448
ldv-memsafety/memset2_true-valid-memsafety_true-termination.c true 10.8  4.16 285671424 true 9.83 3.77 270901248 unknown 8.84 3.29 239570944
ldv-memsafety/memset3_true-valid-memsafety_true-termination.c true 10.8  4.13 294653952 true 10.4  3.98 297598976 unknown 8.72 3.27 238669824
ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c true 10.5  4.12 291979264 true 9.91 3.76 275001344 unknown 8.79 3.27 238477312
ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c true 10.7  4.17 290734080 true 10.6  3.96 288223232 unknown 8.96 3.39 245534720
ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c true 10.6  4.00 283942912 true 10.0  3.78 271540224 unknown 8.92 3.37 238100480
ldv-memsafety/memset_true-valid-memsafety_true-termination.c true 10.5  4.10 286646272 true 9.65 3.81 275763200 unknown 8.90 3.28 240029696
forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i unknown: overapproxcex 67.8  31.7  652537856 timeout (error (143)) 183    153    2289364992 timeout (error (143)) 186    156    2258223104
forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i false(valid-deref) 16.9  6.58 296099840 timeout (error (143)) 186    154    2234372096 timeout (error (143)) 185    157    2248560640
loop-acceleration/array3_false-valid-deref.i timeout (error: exception) 181    113    1545809920 timeout (error (143)) 181    116    1584345088 unknown 6.94 2.70 226832384
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 15.2  5.64 393248768 true 16.3  5.83 395845632 unknown 14.5  5.20 386408448
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 16.6  5.98 402792448 true 15.6  5.58 391090176 unknown 14.9  5.28 401596416
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 12.6  4.73 308350976 true 12.6  4.76 295325696 unknown 12.2  4.39 295411712
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 12.4  4.62 305459200 true 12.7  4.67 294166528 unknown 11.4  4.30 296091648
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 12.7  4.63 305504256 error: exception 11.7  4.43 296194048 error: exception 12.0  4.31 300236800
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 14.0  5.11 328404992 true 14.4  5.17 335093760 unknown 12.9  4.72 305856512
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 14.5  5.24 329125888 true 14.8  5.39 333058048 unknown 12.6  4.59 309882880
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 10.1  3.84 273117184 true 10.6  3.99 274440192 unknown 9.14 3.39 240750592
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 12.4  4.47 308740096 true 12.8  4.53 309706752 unknown 11.4  4.13 286883840
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 11.7  4.41 295227392 true 12.8  4.56 302796800 unknown 10.7  3.83 287363072
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c true 8.45 3.29 232714240 true 8.61 3.38 236228608 unknown 7.82 3.04 234344448
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c true 8.17 3.25 233074688 true 8.95 3.38 235110400 unknown 7.91 2.95 232124416
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c true 8.30 3.25 234389504 true 8.66 3.41 234074112 unknown 7.70 2.98 232235008
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c true 8.16 3.28 236150784 true 8.92 3.61 237170688 unknown 7.93 3.09 238456832
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c true 8.45 3.28 234528768 true 8.71 3.30 234422272 unknown 8.18 3.09 237420544
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c true 8.56 3.33 232099840 true 8.61 3.35 238825472 unknown 7.93 3.14 238972928
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c true 8.55 3.47 235364352 true 9.06 3.34 240140288 unknown 8.03 3.01 238194688
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c true 8.41 3.21 234467328 true 8.91 3.39 236732416 unknown 8.14 3.10 246784000
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c true 7.68 3.06 233717760 true 8.02 3.13 230289408 unknown 6.93 2.72 231923712
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c true 7.80 3.09 226963456 true 8.01 3.17 229572608 unknown 7.13 2.84 233529344
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c true 7.53 3.08 224530432 true 8.01 3.09 239849472 unknown 7.33 2.82 231124992
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c true 7.72 3.03 228311040 true 8.08 3.12 233287680 unknown 6.95 2.81 230739968
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c true 7.73 3.03 228462592 true 7.83 3.08 236269568 unknown 7.62 3.01 231116800
../../../trunk/examples/svcomp/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
total 67 2450 1440 29145645056 67 3830 2590 55541149696 67 2670 1850 49876738048
    correct results 0 0 0
        correct true 0 0 0
        correct false 0 0 0
    incorrect results 0 0 0
        incorrect true 0 0 0
        incorrect false 0 0 0
Run set Automizer AutomizerHeapSep HeapSep