Tool ULTIMATE Automizer 0.1.23-8168ed23
Limits timelimit: 300 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-04-11 20:02:24 CEST
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_Fixed_noBitfields+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_Fixed_noBitfields+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_Fixed_noBitfields+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/add_last_unsafe_false-valid-deref.i false(valid-deref) 9.40 3.82 257282048 false(valid-deref) 84.4  51.1  1146691584 unknown 86.5  52.4  1060995072
array-memsafety/bubblesort_unsafe_false-valid-deref.i false(valid-deref) 8.04 3.44 233697280 false(valid-deref) 38.1  15.4  673742848 unknown 37.1  15.3  618364928
array-memsafety/count_down_unsafe_false-valid-deref.i false(valid-deref) 10.7  4.08 279187456 false(valid-deref) 139    110    1512955904 unknown 137    109    1549209600
array-memsafety/cstrcat_unsafe_false-valid-deref.i false(valid-deref) 7.54 3.00 229896192 false(valid-deref) 46.1  23.2  743030784 unknown 44.7  24.6  809439232
array-memsafety/cstrchr_unsafe_false-valid-deref.i false(valid-deref) 21.0  8.91 371412992 error: exception 53.0  24.6  712155136 unknown 41.6  19.6  659243008
array-memsafety/cstrlen_unsafe_false-valid-deref.i false(valid-deref) 13.1  5.01 316260352 error: exception 34.1  13.0  505864192 unknown 28.5  11.3  470843392
array-memsafety/cstrncat_unsafe_false-valid-deref.i false(valid-deref) 7.67 3.07 231612416 false(valid-deref) 251    225    1473138688 unknown 260    229    1637097472
array-memsafety/cstrncpy_unsafe_false-valid-deref.i false(valid-deref) 8.44 3.29 237641728 false(valid-deref) 56.0  32.2  980889600 unknown 53.9  32.1  856985600
array-memsafety/cstrpbrk_unsafe_false-valid-deref.i false(valid-deref) 18.9  8.34 364154880 error: exception 74.8  40.4  903491584 unknown 65.0  35.3  824868864
array-memsafety/diff_usafe_false-valid-deref.i false(valid-deref) 8.13 3.30 239644672 false(valid-deref) 32.7  15.7  566108160 unknown 34.6  16.0  525631488
array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i false(valid-deref) 12.0  4.43 300089344 false(valid-deref) 298    246    2084614144 unknown 289    243    2015948800
array-memsafety/lis_unsafe_false-valid-deref.i error: exception 21.7  9.40 365887488 timeout (error (143)) 301    262    1370001408 timeout (error (143)) 302    266    1631485952
array-memsafety/mult_array_unsafe_false-valid-deref.i false(valid-deref) 10.1  3.87 263876608 false(valid-deref) 146    113    1271824384 unknown 149    111    1267392512
array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i false(valid-deref) 15.6  5.95 332972032 timeout (error (143)) 301    266    1377161216 timeout (error (143)) 302    266    1537032192
array-memsafety/reverse_array_unsafe_false-valid-deref.i false(valid-deref) 11.4  4.25 295755776 timeout (error (143)) 302    266    1507753984 timeout (error (143)) 306    269    1604022272
array-memsafety/selectionsort_unsafe_false-valid-deref.i false(valid-deref) 8.97 3.52 235995136 false(valid-deref) 38.3  15.3  560640000 unknown 35.3  14.0  620781568
array-memsafety/stroeder1_unsafe_false-valid-deref.i false(valid-deref) 7.30 2.94 231088128 false(valid-deref) 8.52 3.33 246247424 unknown 8.13 3.15 240631808
array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 301    276    2061348864 timeout (error (143)) 306    258    2587062272 unknown 80.2  51.4  1059082240
array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i true 18.4  7.31 345772032 true 49.9  20.9  711929856 unknown 41.7  18.4  676347904
array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i true 18.5  7.17 346128384 true 73.3  41.4  1098715136 unknown 69.4  38.8  1039876096
array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i true 18.4  7.41 297783296 true 179    134    1927110656 unknown 164    127    2095939584
array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 301    236    1071013888 timeout (error (143)) 301    223    1135640576 unknown 51.1  24.9  860581888
array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 301    233    1110589440 timeout (error (143)) 301    234    1491283968 unknown 143    115    1363959808
array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i true 19.8  8.65 303017984 error: exception 56.8  31.2  843935744 unknown 56.4  32.4  738992128
array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i true 71.4  50.9  545980416 error: exception 173    131    1511399424 unknown 167    127    1414717440
array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 301    255    744968192 error: exception 217    166    1138753536 unknown 207    162    1201188864
array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i true 70.7  48.3  572280832 timeout (error (143)) 302    261    1436508160 timeout (error (143)) 305    259    1473851392
array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i true 19.5  8.70 347377664 error: exception 35.2  13.3  530210816 unknown 33.1  13.1  478633984
array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i true 44.4  25.1  513036288 error: exception 159    115    1374720000 unknown 146    109    1166725120
array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i true 154    127    611115008 timeout (error (143)) 301    269    1467060224 timeout (error (143)) 301    253    1647144960
array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i true 163    137    674172928 timeout (error (143)) 302    265    1683427328 timeout (error (143)) 301    265    1532600320
array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 301    256    647729152 timeout (error (143)) 302    239    1272250368 unknown 77.8  36.9  1010987008
array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i true 23.7  9.84 388939776 true 71.8  38.9  860811264 unknown 53.2  27.9  878534656
array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 301    239    1069342720 timeout (error (143)) 301    224    1210236928 unknown 52.6  27.0  972341248
array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i error: exception 36.7  19.3  464957440 timeout (error (143)) 301    260    1667817472 timeout (error (143)) 301    267    1488949248
array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i true 29.2  19.5  352153600 true 213    168    1617788928 unknown 147    109    1381810176
array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 302    281    507121664 timeout (error (143)) 301    257    966483968 unknown 46.7  19.5  779333632
array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 301    268    600432640 timeout (error (143)) 300    264    590737408 unknown 13.7  4.77 286511104
array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 300    272    552595456 timeout (error (143)) 301    264    583868416 unknown 15.4  5.28 332402688
array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 300    267    586833920 timeout (error (143)) 300    251    884162560 unknown 45.1  21.5  676356096
array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 301    258    889118720 error: exception 197    151    1065205760 unknown 177    138    1065189376
array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i error: exception 16.2  6.32 325517312 timeout (error (143)) 301    260    1505177600 timeout (error (143)) 302    263    1545768960
array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i true 75.2  56.3  518557696 error: exception 114    75.7  1152761856 unknown 107    70.2  1117761536
array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 301    258    821706752 error: exception 185    141    1219715072 unknown 190    147    1054666752
array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i true 81.3  58.5  537309184 error: exception 143    105    1256873984 unknown 134    97.6  1300639744
array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i true 19.1  8.16 349278208 error: exception 36.4  14.5  518852608 unknown 35.0  13.0  516427776
array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i true 54.5  36.4  535613440 error: exception 139    97.7  1222053888 unknown 122    81.8  1131061248
array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i true 22.5  9.90 392421376 error: exception 45.8  21.7  571691008 unknown 41.7  19.0  580714496
array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i true 77.2  57.0  481898496 error: exception 194    151    1313570816 unknown 173    135    1369055232
array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 302    281    553127936 error: exception 117    71.1  1098125312 unknown 105    63.3  996167680
array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i true 22.2  9.24 371187712 true 69.8  35.8  808574976 unknown 47.8  23.4  735649792
array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i true 19.2  7.79 362467328 true 24.8  11.0  378920960 unknown 13.6  4.75 300490752
array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i true 21.8  8.62 361836544 true 53.8  22.9  580431872 unknown 36.2  14.0  547524608
array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i true 23.1  10.5  367534080 error: exception 172    133    1310650368 unknown 140    105    1383370752
array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i true 131    108    598827008 timeout (error (143)) 304    259    1254760448 timeout (error (143)) 302    262    1149308928
array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 301    265    670908416 error: exception 296    250    1842909184 unknown 254    215    1762402304
array-examples/relax_false-valid-deref.i false(valid-deref) 11.8  4.34 295489536 false(valid-deref) 24.7  9.06 353304576 unknown 17.5  6.01 371265536
array-examples/sanfoundry_24_false-valid-deref.i timeout (error (143)) 300    233    1109397504 timeout (error (143)) 300    250    1051328512 unknown 7.13 2.81 229314560
array-examples/standard_strcpy_false-valid-deref_ground.i timeout (error (143)) 300    229    1330995200 timeout (error (143)) 301    242    1233674240 unknown 6.84 2.75 225165312
array-examples/standard_strcpy_original_false-valid-deref.i timeout (error (143)) 301    248    1029947392 timeout (error (143)) 301    253    1154527232 unknown 6.90 2.72 223703040
memsafety/960521-1_false-valid-deref.i timeout (error (143)) 301    258    740503552 timeout (error (143)) 301    255    1246355456 unknown 229    182    1278173184
memsafety/test-0235_false-valid-deref.i error: exception 18.9  7.03 433319936 timeout (error (143)) 305    297    1902399488 timeout (error (143)) 305    295    1756434432
memsafety/960521-1_false-valid-free.i timeout (error (143)) 301    258    714563584 timeout (error (143)) 301    243    1126715392 unknown 160    126    1113403392
memsafety/test-0158_false-valid-free.i false(valid-free) 13.0  5.15 302284800 false(valid-free) 84.8  53.2  1145782272 unknown 79.4  49.6  1095491584
memsafety/lockfree-3.1_false-valid-memtrack.i unknown: overapproxcex 69.6  28.0  1074450432 timeout (error (143)) 306    270    1053048832 timeout (error (143)) 305    266    1030610944
memsafety/lockfree-3.2_false-valid-memtrack.i unknown: overapproxcex 21.7  7.57 394403840 timeout (error (143)) 306    270    1195266048 timeout (error (143)) 306    269    934354944
memsafety/lockfree-3.3_false-valid-memtrack.i unknown: overapproxcex 179    112    3295555584 timeout (error (143)) 306    267    1196314624 timeout (error (143)) 305    273    1057542144
memsafety/test-0019_false-valid-memtrack_true-termination.i unknown: overapproxcex 19.9  8.97 384442368 timeout (error (143)) 306    275    1305268224 timeout (error (143)) 306    275    1262686208
memsafety/test-0158_false-valid-memtrack_true-termination.i unknown: overapproxcex 10.5  4.00 280084480 unknown: overapproxcex 54.0  26.5  826650624 unknown 43.6  21.2  731537408
memsafety/test-0220_false-valid-memtrack.i timeout 324    140    5872766976 timeout (error (143)) 305    296    1831268352 timeout (error (143)) 305    296    1665880064
memsafety/test-0234_false-valid-memtrack.i error: exception 17.9  6.67 356278272 timeout (error (143)) 305    296    2145808384 timeout (error (143)) 305    295    1801220096
memsafety/test-0235_false-valid-memtrack.i error: exception 19.2  6.99 377810944 timeout (error (143)) 305    296    1743794176 timeout (error (143)) 305    295    1744793600
memsafety/960521-1_true-valid-memsafety.i timeout (error (143)) 301    257    732975104 timeout (error (143)) 300    242    1254551552 unknown 194    155    1189707776
memsafety/lockfree-3.0_true-valid-memsafety.i error: exception 164    99.2  2358153216 timeout (error (143)) 304    268    1041670144 timeout (error (143)) 305    267    987336704
memsafety/test-0019_true-valid-memsafety_true-termination.i error: exception 22.3  11.0  397320192 error: exception 74.2  42.9  889708544 unknown 57.0  33.1  845197312
memsafety/test-0158_true-valid-memsafety_true-termination.i true 13.1  5.70 304766976 error: exception 57.6  29.7  877985792 unknown 50.6  25.6  837636096
memsafety/test-0219_true-valid-memsafety.i error: exception 52.2  40.4  386187264 timeout (error (143)) 305    297    1815650304 timeout (error (143)) 305    296    1651986432
memsafety/test-0234_true-valid-memsafety.i error: exception 20.8  10.4  359538688 timeout (error (143)) 305    296    1933037568 timeout (error (143)) 305    295    2029387776
memsafety/test-0235_true-valid-memsafety.i error: exception 19.7  8.65 361693184 timeout (error (143)) 305    296    1910710272 timeout (error (143)) 305    295    1883918336
memsafety/test-0236_true-valid-memsafety.i error: exception 19.7  8.55 370638848 timeout (error (143)) 305    295    1810079744 timeout (error (143)) 305    295    1801662464
memsafety/test-0237_true-valid-memsafety.i error: exception 19.7  8.51 350691328 timeout (error (143)) 305    295    1885806592 timeout (error (143)) 305    295    1798410240
memsafety-ext2/split_list_test05_false-valid-deref.i error: exception 69.9  45.1  628744192 timeout (error (143)) 305    260    1599995904 timeout (error (143)) 306    264    1508417536
memsafety-ext2/length_test03_false-valid-memtrack.i error: exception 241    215    716316672 timeout (error (143)) 306    270    2209026048 timeout (error (143)) 306    273    1777569792
memsafety-ext2/split_list_test05_true-valid-memsafety.i error: exception 60.3  36.2  634351616 timeout (error (143)) 306    268    1564622848 timeout (error (143)) 306    267    1491939328
list-ext-properties/960521-1_1_false-valid-deref.i false(valid-deref) 17.6  7.01 366522368 false(valid-deref) 226    191    1366687744 unknown 200    167    1141739520
list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i false(valid-deref) 16.1  6.25 335618048 timeout (error (143)) 306    267    1308774400 timeout (error (143)) 301    260    1115123712
list-ext-properties/960521-1_1_false-valid-free.i false(valid-free) 22.6  9.56 378990592 error: exception 234    201    1234993152 unknown 208    169    1187725312
list-ext-properties/test-0158_1_false-valid-free.i false(valid-free) 12.5  4.71 304926720 false(valid-free) 234    205    1260646400 unknown 207    177    1173274624
list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i unknown: overapproxcex 37.5  19.7  528449536 timeout (error (143)) 306    271    1466556416 timeout (error (143)) 306    275    1395601408
list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i unknown: overapproxcex 10.1  3.88 274358272 error: exception 134    105    1351376896 unknown 119    92.0  1131790336
list-ext-properties/960521-1_1_true-valid-memsafety.i timeout (error (143)) 302    269    563826688 error: exception 278    207    1197281280 unknown 110    78.0  1250000896
list-ext-properties/list-ext_flag_1_true-valid-memsafety.i error: exception 81.1  53.9  616689664 timeout (error (143)) 305    271    1190117376 timeout (error (143)) 304    272    1032531968
list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i error: exception 41.0  22.0  537935872 error: exception 151    117    1264955392 unknown 134    106    1412816896
list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i true 12.6  4.82 299311104 false(valid-free) 190    162    1035374592 unknown 175    146    1211281408
memory-alloca/c.03-alloca_true-valid-memsafety.i error: exception 17.2  7.46 325791744 timeout (error (143)) 305    266    2205962240 timeout (error (143)) 302    266    1646362624
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c false(valid-deref) 11.0  4.14 286875648 false(valid-deref) 134    108    1067401216 unknown 126    101    1110990848
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c false(valid-deref) 14.9  7.16 322785280 false(valid-deref) 182    152    1074565120 unknown 164    137    1123409920
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c false(valid-deref) 8.63 3.43 240078848 false(valid-deref) 32.5  12.2  504709120 unknown 27.8  11.0  495697920
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c false(valid-deref) 8.79 3.39 239779840 false(valid-deref) 34.8  13.2  538046464 unknown 31.6  11.4  560152576
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c timeout (error (143)) 301    226    2295312384 timeout (error (143)) 303    232    2313084928 unknown 14.3  5.03 324186112
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c timeout (error (143)) 301    229    2313912320 timeout (error (143)) 301    230    2305736704 unknown 14.7  5.33 318435328
ldv-memsafety/memset2_false-valid-deref-write.c false(valid-deref) 8.06 3.23 241438720 false(valid-deref) 9.67 4.26 266022912 unknown 8.77 3.35 239636480
ldv-memsafety/memset3_false-valid-deref-write.c false(valid-deref) 8.03 3.22 238948352 false(valid-deref) 10.0  4.26 274382848 unknown 9.31 3.45 247443456
ldv-memsafety/memsetNonZero2_false-valid-deref-write.c false(valid-deref) 7.61 3.18 237232128 false(valid-deref) 9.77 3.99 268275712 unknown 9.38 3.49 241348608
ldv-memsafety/memsetNonZero3_false-valid-deref-write.c false(valid-deref) 7.79 3.18 238792704 false(valid-deref) 9.94 4.03 273272832 unknown 9.66 3.58 247586816
ldv-memsafety/memsetNonZero_false-valid-deref-write.c false(valid-deref) 8.12 3.10 237514752 false(valid-deref) 9.85 3.95 270991360 unknown 9.27 3.46 242782208
ldv-memsafety/memset_false-valid-deref-write.c false(valid-deref) 7.99 3.17 237756416 false(valid-deref) 9.80 3.96 268857344 unknown 8.84 3.42 236990464
ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c timeout (error (143)) 300    263    1074655232 timeout (error (143)) 303    262    1309315072 unknown 135    109    1011052544
ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c timeout (error (143)) 306    250    2373660672 timeout (error (143)) 305    241    2379026432 unknown 14.9  5.33 354754560
ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c timeout (error (143)) 301    230    2288521216 timeout (error (143)) 301    227    2289913856 unknown 15.4  5.46 362700800
ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c timeout (error (143)) 306    246    2383564800 timeout (error (143)) 306    246    2374348800 unknown 14.9  5.23 350760960
ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c timeout (error (143)) 302    231    2257264640 timeout (error (143)) 301    216    2265075712 unknown 28.5  12.0  506318848
ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c timeout (error (143)) 300    226    2279960576 timeout (error (143)) 302    223    2308308992 unknown 16.2  5.66 352702464
ldv-memsafety/StructInitialization1_true-valid-memsafety.c true 10.4  3.88 291983360 timeout (error (143)) 301    272    1394790400 timeout (error (143)) 302    273    1354801152
ldv-memsafety/StructInitialization2_true-valid-memsafety.c true 10.1  3.79 293220352 timeout (error (143)) 306    280    1398145024 timeout (error (143)) 301    271    1265610752
ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c true 8.96 3.37 241274880 timeout (error (143)) 306    284    1109372928 timeout (error (143)) 306    284    1090420736
ldv-memsafety/memset2_true-valid-memsafety_true-termination.c true 18.3  7.78 362242048 true 17.4  8.09 376139776 unknown 8.81 3.30 244768768
ldv-memsafety/memset3_true-valid-memsafety_true-termination.c true 28.2  14.0  439746560 true 28.0  14.1  469327872 unknown 9.00 3.31 246714368
ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c true 18.1  7.97 372387840 true 18.3  8.10 380096512 unknown 8.76 3.22 240738304
ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c true 28.8  14.1  455725056 true 27.2  13.8  477224960 unknown 8.81 3.29 246284288
ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c true 27.4  13.7  449880064 true 27.7  13.9  476618752 unknown 8.57 3.22 242176000
ldv-memsafety/memset_true-valid-memsafety_true-termination.c true 28.1  13.8  454270976 true 30.0  14.0  448151552 unknown 8.85 3.32 244273152
ldv-memsafety/memleaks_test22_3_false-valid-deref.i timeout (error (143)) 302    270    1710706688 error: exception 11.2  4.35 278859776 error: exception 11.6  4.19 281624576
ldv-memsafety/memleaks_test22_5_false-valid-deref.i timeout (error (143)) 305    275    1825751040 error: exception 11.1  4.04 285597696 error: exception 11.0  3.90 284438528
ldv-memsafety/memleaks_test1_false-valid-free.i false(valid-free) 14.3  5.35 311205888 error: exception 11.1  4.27 281989120 error: exception 11.2  4.05 281341952
ldv-memsafety/memleaks_test3_false-valid-free.i false(valid-free) 12.7  4.71 302821376 error: exception 55.5  30.5  987553792 unknown 53.6  31.3  917635072
ldv-memsafety/memleaks_test8_2_false-valid-free.i false(valid-free) 17.8  6.75 318820352 error: exception 11.0  4.05 280453120 error: exception 11.6  4.17 291610624
ldv-memsafety/memleaks_test15_false-valid-memtrack.i timeout 324    155    5768638464 timeout (error (143)) 303    269    1625157632 timeout (error (143)) 304    271    1354772480
ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i unknown: overapproxcex 17.7  6.43 352608256 error: exception 11.5  4.37 293965824 error: exception 10.8  4.01 279654400
ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i unknown: overapproxcex 13.7  4.92 298127360 error: exception 11.2  4.31 282357760 error: exception 11.6  4.13 291446784
ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i timeout (error (143)) 301    278    737685504 error: exception 12.1  4.43 301797376 error: exception 11.9  4.22 300941312
ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i unknown: overapproxcex 39.1  22.1  544653312 error: exception 11.1  4.19 280432640 error: exception 11.4  4.06 280076288
ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i timeout (error (143)) 306    288    617324544 error: exception 10.9  4.06 280596480 error: exception 11.0  4.05 280911872
ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i unknown: overapproxcex 12.8  4.62 309309440 error: exception 11.2  4.03 280854528 error: exception 11.3  4.04 283889664
ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i unknown: overapproxcex 14.2  5.20 316391424 error: exception 11.1  4.26 282226688 error: exception 11.5  3.97 291590144
ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i unknown: overapproxcex 13.8  5.05 303763456 error: exception 11.3  4.13 275927040 error: exception 11.1  3.99 286392320
ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i timeout (error (143)) 302    270    1731526656 error: exception 11.7  4.31 281862144 error: exception 11.6  4.10 279232512
ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i unknown: overapproxcex 46.5  28.1  517873664 error: exception 10.6  3.96 279527424 error: exception 11.2  3.91 279777280
ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i timeout (error (143)) 301    268    1854251008 error: exception 10.7  4.18 278601728 error: exception 11.6  4.16 282906624
ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i unknown: overapproxcex 16.1  5.92 334020608 error: exception 11.0  4.39 284020736 error: exception 11.2  3.98 284557312
ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i unknown: overapproxcex 13.4  4.77 310554624 error: exception 10.4  4.17 286113792 error: exception 11.3  4.03 282710016
ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i unknown: overapproxcex 15.0  5.38 316211200 error: exception 12.1  4.38 294248448 error: exception 11.4  4.04 286818304
ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i unknown: overapproxcex 13.8  4.97 300179456 error: exception 11.7  4.33 294940672 error: exception 11.6  4.09 289312768
ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i unknown: overapproxcex 13.8  5.05 299749376 error: exception 10.9  4.06 281481216 error: exception 11.3  4.11 280109056
ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i unknown: overapproxcex 13.5  4.78 302211072 error: exception 11.1  3.97 281477120 error: exception 11.1  4.04 279851008
ldv-memsafety/memleaks_test13_true-valid-memsafety.i timeout (error (143)) 301    263    1700601856 error: exception 12.0  4.34 296906752 error: exception 12.1  4.23 296411136
ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i timeout (error (143)) 301    273    2321498112 error: exception 12.4  4.51 307585024 error: exception 12.4  4.40 302190592
ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i timeout (error (143)) 301    268    1836146688 error: exception 11.3  4.28 283471872 error: exception 11.4  4.04 284160000
ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i timeout (error (143)) 303    272    1902182400 error: exception 10.9  4.09 280567808 error: exception 11.3  4.02 278011904
ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i timeout (error (143)) 301    265    1828368384 error: exception 12.1  4.50 285962240 error: exception 11.2  4.06 281604096
ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i false(valid-deref) 9.90 3.83 272891904 error: exception 67.3  44.7  1007935488 unknown 61.1  44.0  884264960
ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i false(valid-deref) 18.4  8.22 376172544 timeout (error (143)) 306    272    1255796736 timeout (error (143)) 303    270    1234157568
ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i false(valid-deref) 9.80 3.85 284073984 error: exception 70.8  45.5  1110237184 unknown 60.1  41.1  976109568
ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i false(valid-deref) 11.5  4.44 295944192 timeout (error (143)) 302    269    1646899200 timeout (error (143)) 306    278    1438752768
forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i unknown: overapproxcex 52.2  30.3  495501312 timeout (error (143)) 306    269    2102992896 timeout (error (143)) 306    269    1920380928
list-properties/list_flag_true-unreach-call_false-valid-memtrack.i unknown: overapproxcex 12.4  4.60 304410624 timeout (error (143)) 302    269    1193504768 timeout (error (143)) 302    268    1067220992
list-properties/list_true-unreach-call_false-valid-memtrack.i unknown: overapproxcex 18.0  7.11 358125568 timeout (error (143)) 306    278    1208979456 timeout (error (143)) 304    275    1233932288
list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i unknown: overapproxcex 14.9  5.74 337227776 timeout (error (143)) 302    274    1082269696 timeout (error (143)) 302    275    1093033984
list-properties/simple_true-unreach-call_false-valid-memtrack.i unknown: overapproxcex 16.0  6.28 331141120 timeout (error (143)) 301    272    1037017088 timeout (error (143)) 303    275    1016983552
list-properties/splice_true-unreach-call_false-valid-memtrack.i unknown: overapproxcex 13.0  4.73 301948928 timeout (error (143)) 306    269    1329971200 timeout (error (143)) 302    256    1080569856
forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i error: exception 223    188    633753600 timeout (error (143)) 309    279    1962639360 timeout (error (143)) 306    276    1676181504
forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i error: exception 173    135    598626304 timeout (error (143)) 306    273    1734094848 timeout (error (143)) 303    266    1581461504
forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i error: exception 67.1  42.2  612085760 timeout (error (143)) 306    270    1684586496 timeout (error (143)) 306    272    1545637888
forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i error: exception 263    225    557060096 timeout (error (143)) 306    274    2010058752 timeout (error (143)) 303    267    2292776960
forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i error: exception 82.9  55.5  607883264 timeout (error (143)) 306    276    1888849920 timeout (error (143)) 306    273    1677594624
forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i true 61.3  33.7  565768192 timeout (error (143)) 303    260    1712738304 timeout (error (143)) 306    275    1743585280
forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i error: exception 236    197    680534016 timeout (error (143)) 306    268    1402298368 timeout (error (143)) 306    269    1625997312
forester-heap/sll-01_false-unreach-call_false-valid-deref.i false(valid-deref) 77.2  52.0  527286272 timeout (error (143)) 306    274    1628352512 timeout (error (143)) 306    274    2290327552
loop-acceleration/array3_false-valid-deref.i timeout (error (143)) 301    234    2323947520 timeout (error (143)) 301    235    2352062464 unknown 7.44 2.82 225083392
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 15.7  5.75 383127552 true 16.2  6.00 392007680 unknown 14.1  5.19 375812096
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 14.8  5.41 398954496 true 17.3  6.17 387792896 unknown 14.7  5.19 382488576
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 13.8  4.91 312311808 true 13.5  4.88 318226432 unknown 12.8  4.62 310845440
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 13.6  4.97 309112832 true 13.7  4.99 306176000 unknown 12.1  4.46 304418816
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 14.0  4.94 304246784 error: exception 12.7  4.62 305033216 error: exception 12.7  4.66 292331520
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 15.2  5.55 327598080 true 15.2  5.52 329830400 unknown 13.4  4.89 303144960
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 14.7  5.35 334512128 true 14.9  5.32 334733312 unknown 13.4  4.97 298815488
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 10.4  3.82 272154624 true 10.6  3.95 267030528 unknown 9.75 3.54 245346304
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 11.9  4.43 297725952 true 12.3  4.56 311074816 unknown 11.7  4.26 283824128
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 12.7  4.57 306032640 true 12.1  4.54 307646464 unknown 11.3  4.14 283500544
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c true 8.03 3.13 229425152 true 8.58 3.41 236941312 unknown 7.68 3.06 234369024
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c true 8.11 3.23 233467904 true 8.51 3.45 234758144 unknown 8.16 3.07 236376064
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c true 8.27 3.20 230428672 true 8.74 3.35 237178880 unknown 8.00 3.05 236425216
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c true 8.53 3.29 233050112 true 8.83 3.67 232853504 unknown 8.18 3.21 238944256
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c true 8.66 3.24 238022656 true 8.96 3.49 232677376 unknown 8.72 4.02 237535232
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c true 8.60 3.32 237465600 true 8.63 3.36 237637632 unknown 9.01 3.59 234209280
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c true 8.79 3.31 233918464 true 8.77 3.34 237109248 unknown 8.91 3.55 236277760
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c true 8.76 3.36 235053056 true 9.05 3.40 237608960 unknown 9.02 3.87 235659264
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c true 7.57 3.05 233172992 true 8.00 3.07 233447424 unknown 8.45 3.80 233066496
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c true 7.64 2.97 231587840 true 7.93 3.19 238026752 unknown 8.98 3.79 246439936
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c true 7.77 3.07 233644032 true 7.86 3.05 233246720 unknown 8.55 3.57 233205760
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c true 7.89 3.14 229314560 true 8.13 3.19 232038400 unknown 7.95 3.64 235184128
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c true 7.45 2.98 231964672 true 8.19 3.38 237010944 unknown 8.98 3.85 233689088
../../../trunk/examples/svcomp/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
total 192 18000 13900 126927192064 192 29900 24600 192102690816 192 23100 19100 163018715136
    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