Tool ULTIMATE Automizer 0.1.23-453dfdae
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-09 19:44:43 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.78 3.72 260317184 false(valid-deref) 88.0  54.0  1079009280 unknown 90.8  58.4  1154973696
array-memsafety/bubblesort_unsafe_false-valid-deref.i false(valid-deref) 8.16 3.30 231542784 false(valid-deref) 40.6  15.3  658374656 unknown 42.8  17.6  688537600
array-memsafety/count_down_unsafe_false-valid-deref.i false(valid-deref) 10.5  4.03 279224320 false(valid-deref) 148    116    1463078912 unknown 155    120    1414520832
array-memsafety/cstrcat_unsafe_false-valid-deref.i false(valid-deref) 7.56 2.99 230043648 false(valid-deref) 45.0  24.2  813465600 unknown 44.5  23.4  760852480
array-memsafety/cstrchr_unsafe_false-valid-deref.i false(valid-deref) 20.1  8.55 356470784 error: exception 52.7  24.0  772263936 unknown 44.1  20.4  708091904
array-memsafety/cstrlen_unsafe_false-valid-deref.i false(valid-deref) 13.0  4.93 296722432 error: exception 32.6  13.6  483311616 unknown 28.6  11.6  481849344
array-memsafety/cstrncat_unsafe_false-valid-deref.i false(valid-deref) 7.77 3.13 232972288 false(valid-deref) 255    221    1569054720 unknown 269    235    1704108032
array-memsafety/cstrncpy_unsafe_false-valid-deref.i false(valid-deref) 8.49 3.40 237719552 false(valid-deref) 53.1  32.8  914776064 unknown 58.6  35.0  883294208
array-memsafety/cstrpbrk_unsafe_false-valid-deref.i false(valid-deref) 18.9  8.81 352751616 error: exception 74.7  40.1  910200832 unknown 67.5  36.7  922357760
array-memsafety/diff_usafe_false-valid-deref.i false(valid-deref) 8.87 3.67 237772800 false(valid-deref) 37.3  15.7  586584064 unknown 37.4  15.6  588050432
array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i false(valid-deref) 12.0  4.38 294576128 false(valid-deref) 294    246    2017710080 timeout (error (143)) 300    253    1730125824
array-memsafety/lis_unsafe_false-valid-deref.i error: exception 21.4  9.43 361172992 timeout (error (143)) 301    261    1431625728 timeout (error (143)) 301    259    1658216448
array-memsafety/mult_array_unsafe_false-valid-deref.i false(valid-deref) 10.1  3.88 265924608 false(valid-deref) 145    105    1479249920 unknown 147    111    1412804608
array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i false(valid-deref) 15.0  5.78 332152832 timeout (error (143)) 301    263    1535389696 timeout (error (143)) 303    263    1724014592
array-memsafety/reverse_array_unsafe_false-valid-deref.i false(valid-deref) 11.7  4.27 291520512 timeout (error (143)) 302    266    1414348800 timeout (error (143)) 302    264    1719726080
array-memsafety/selectionsort_unsafe_false-valid-deref.i false(valid-deref) 8.84 3.44 236474368 false(valid-deref) 40.0  16.1  574390272 unknown 41.7  17.6  577421312
array-memsafety/stroeder1_unsafe_false-valid-deref.i false(valid-deref) 7.54 2.97 233791488 false(valid-deref) 8.82 3.41 264380416 unknown 8.91 3.46 241291264
array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 301    276    2094563328 timeout (error (143)) 304    257    2610118656 unknown 88.6  56.6  1052422144
array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i true 17.9  7.15 349057024 true 47.2  21.2  694747136 unknown 43.8  20.8  593428480
array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i true 18.3  7.15 357982208 true 73.9  41.5  1078079488 unknown 67.6  50.6  1061941248
array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i true 18.0  7.00 354795520 true 174    129    2103857152 unknown 163    161    2224017408
array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 301    237    1053605888 timeout (error (143)) 301    223    1214369792 unknown 61.0  44.2  1200750592
array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 301    232    950497280 timeout (error (143)) 301    233    1471021056 unknown 152    119    1437085696
array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i true 20.0  8.24 362127360 error: exception 58.0  30.9  868704256 unknown 52.2  30.3  759574528
array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i true 62.3  41.2  564875264 error: exception 172    129    1503469568 unknown 165    125    1594085376
array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 301    255    779329536 error: exception 212    167    1141567488 unknown 198    158    1312763904
array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i true 85.3  64.9  538796032 timeout (error (143)) 305    259    1515642880 timeout (error (143)) 304    262    1519484928
array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i true 20.5  8.90 365723648 error: exception 36.4  13.9  554283008 unknown 33.0  11.8  529387520
array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i true 64.3  45.7  545193984 error: exception 158    115    1256534016 unknown 147    112    1168269312
array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i true 148    118    608145408 timeout (error (143)) 302    258    1637023744 timeout (error (143)) 302    264    1469808640
array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i true 186    158    708120576 timeout (error (143)) 302    267    1472802816 timeout (error (143)) 301    267    1608904704
array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 301    254    636473344 timeout (error (143)) 301    229    1082343424 unknown 74.7  37.5  983855104
array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i true 23.1  9.79 383205376 true 77.1  36.6  937103360 unknown 58.1  30.1  827895808
array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 301    239    1165275136 timeout (error (143)) 301    226    1233719296 unknown 53.9  28.0  874602496
array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i error: exception 35.2  17.4  448475136 timeout (error (143)) 301    265    1486888960 timeout (error (143)) 301    267    1441415168
array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i true 41.3  31.5  356532224 true 185    136    1390247936 unknown 150    111    1299468288
array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 302    282    497618944 timeout (error (143)) 302    265    853995520 unknown 44.7  21.5  685727744
array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 301    268    616103936 timeout (error (143)) 300    263    604942336 unknown 14.7  5.01 314404864
array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 301    272    548909056 timeout (error (143)) 301    267    574263296 unknown 14.7  5.04 326492160
array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 301    268    570732544 timeout (error (143)) 300    250    848220160 unknown 42.8  20.6  681668608
array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 301    257    841453568 error: exception 194    148    1101524992 unknown 177    141    1108332544
array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i error: exception 16.4  6.48 332976128 timeout (error (143)) 302    251    1580441600 timeout (error (143)) 303    265    1809006592
array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i true 64.5  45.2  492425216 error: exception 113    73.4  1200205824 unknown 113    74.3  1169858560
array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 301    258    907440128 error: exception 185    143    1127968768 unknown 183    140    1156984832
array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i true 92.0  70.2  560832512 error: exception 151    106    1290022912 unknown 139    101    1305202688
array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i true 19.0  8.06 371220480 error: exception 38.1  13.8  518111232 unknown 33.5  11.9  540884992
array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i true 60.0  40.8  551219200 error: exception 145    102    1046687744 unknown 116    79.3  1213042688
array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i true 21.3  9.59 376356864 error: exception 47.3  22.3  625004544 unknown 40.2  19.1  597848064
array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i true 53.2  33.4  494796800 error: exception 189    141    1376755712 unknown 168    133    1370767360
array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i true 181    159    597405696 error: exception 105    66.8  935018496 unknown 102    66.3  941797376
array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i true 22.4  9.24 360968192 true 61.1  29.0  814448640 unknown 57.6  24.8  780677120
array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i true 19.8  8.03 359186432 true 22.5  8.78 380203008 unknown 13.1  4.54 296448000
array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i true 20.0  8.38 356589568 true 48.4  19.9  590303232 unknown 39.2  13.6  582049792
array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i true 23.3  10.7  371351552 error: exception 153    114    1315725312 unknown 138    107    1341747200
array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i true 147    127    715194368 timeout (error (143)) 301    259    1147793408 timeout (error (143)) 302    264    1199235072
array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 301    266    671592448 error: exception 270    225    1771851776 unknown 257    214    1742848000
array-examples/relax_false-valid-deref.i false(valid-deref) 12.1  4.51 304545792 false(valid-deref) 23.1  7.72 401403904 unknown 17.9  6.23 366063616
array-examples/sanfoundry_24_false-valid-deref.i timeout (error (143)) 300    234    1151422464 timeout (error (143)) 300    234    1145118720 unknown 7.01 2.85 231460864
array-examples/standard_strcpy_false-valid-deref_ground.i timeout (error (143)) 300    230    1328381952 timeout (error (143)) 300    228    1376505856 unknown 7.00 2.70 220860416
array-examples/standard_strcpy_original_false-valid-deref.i timeout (error (143)) 300    249    1055477760 timeout (error (143)) 300    249    1044443136 unknown 7.22 2.86 230096896
memsafety/960521-1_false-valid-deref.i timeout (error (143)) 301    258    721960960 timeout (error (143)) 300    249    1131700224 unknown 216    182    1114710016
memsafety/test-0235_false-valid-deref.i error: exception 18.0  6.81 414056448 timeout (error (143)) 305    295    1770196992 timeout (error (143)) 306    295    2065809408
memsafety/960521-1_false-valid-free.i timeout (error (143)) 301    257    730996736 timeout (error (143)) 300    244    1126793216 unknown 163    126    1137856512
memsafety/test-0158_false-valid-free.i false(valid-free) 13.6  5.00 304648192 false(valid-free) 78.2  50.8  1096970240 unknown 77.8  48.5  1105793024
memsafety/lockfree-3.1_false-valid-memtrack.i unknown: overapproxcex 69.5  28.4  1166958592 timeout (error (143)) 306    268    1120419840 timeout (error (143)) 306    274    1014206464
memsafety/lockfree-3.2_false-valid-memtrack.i unknown: overapproxcex 22.7  7.90 417071104 timeout (error (143)) 305    267    1003827200 timeout (error (143)) 303    265    1027108864
memsafety/lockfree-3.3_false-valid-memtrack.i unknown: overapproxcex 180    112    3286757376 timeout (error (143)) 306    272    1139519488 timeout (error (143)) 305    268    1165950976
memsafety/test-0019_false-valid-memtrack_true-termination.i unknown: overapproxcex 21.3  9.66 387383296 timeout (error (143)) 306    277    1217167360 timeout (error (143)) 306    275    1159524352
memsafety/test-0158_false-valid-memtrack_true-termination.i unknown: overapproxcex 10.7  4.08 277041152 unknown: overapproxcex 49.2  24.6  766414848 unknown 45.3  23.8  712617984
memsafety/test-0220_false-valid-memtrack.i timeout 324    145    5948055552 timeout (error (143)) 305    297    1672941568 timeout (error (143)) 306    296    1690058752
memsafety/test-0234_false-valid-memtrack.i error: exception 16.8  6.40 400900096 timeout (error (143)) 305    296    1749962752 timeout (error (143)) 305    295    1822654464
memsafety/test-0235_false-valid-memtrack.i error: exception 17.2  6.65 347381760 timeout (error (143)) 305    295    1916215296 timeout (error (143)) 306    295    2145853440
memsafety/960521-1_true-valid-memsafety.i timeout (error (143)) 301    256    750104576 timeout (error (143)) 300    250    1177165824 unknown 188    154    1164251136
memsafety/lockfree-3.0_true-valid-memsafety.i error: exception 159    95.8  2438197248 timeout (error (143)) 305    261    1053786112 timeout (error (143)) 305    267    990572544
memsafety/test-0019_true-valid-memsafety_true-termination.i error: exception 22.6  10.8  413298688 error: exception 68.9  39.3  862588928 unknown 57.6  33.2  747003904
memsafety/test-0158_true-valid-memsafety_true-termination.i true 13.3  5.64 305168384 error: exception 54.9  28.0  817717248 unknown 50.8  24.8  939122688
memsafety/test-0219_true-valid-memsafety.i timeout 302    130    5999996928 timeout (error (143)) 305    296    1696329728 timeout (error (143)) 306    296    1788649472
memsafety/test-0234_true-valid-memsafety.i error: exception 21.4  11.0  366600192 timeout (error (143)) 305    295    1845407744 timeout (error (143)) 305    295    1996967936
memsafety/test-0235_true-valid-memsafety.i error: exception 22.0  10.7  438804480 timeout (error (143)) 306    295    2147659776 timeout (error (143)) 306    295    1760612352
memsafety/test-0236_true-valid-memsafety.i error: exception 19.2  8.43 354619392 timeout (error (143)) 305    295    1845485568 timeout (error (143)) 306    295    1831518208
memsafety/test-0237_true-valid-memsafety.i error: exception 21.7  10.6  374583296 timeout (error (143)) 305    295    1848111104 timeout (error (143)) 306    295    1870651392
memsafety/test-0513_true-valid-memsafety.i error: exception 285    245    818327552 timeout (error (143)) 304    272    1510797312 timeout (error (143)) 305    267    1463967744
memsafety-ext2/split_list_test05_false-valid-deref.i error: exception 70.4  44.2  660705280 timeout (error (143)) 306    266    1526128640 timeout (error (143)) 306    265    1581916160
memsafety-ext2/split_list_test05_true-valid-memsafety.i error: exception 68.1  41.4  623603712 timeout (error (143)) 306    269    1644740608 timeout (error (143)) 306    268    1590841344
list-ext-properties/960521-1_1_false-valid-deref.i false(valid-deref) 18.2  7.05 360976384 false(valid-deref) 239    199    1073954816 unknown 200    165    1191014400
list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i false(valid-deref) 17.2  6.66 340164608 timeout (error (143)) 304    265    1164464128 timeout (error (143)) 302    267    1233350656
list-ext-properties/960521-1_1_false-valid-free.i false(valid-free) 22.1  9.68 387264512 error: exception 233    191    1235070976 unknown 213    172    1185718272
list-ext-properties/test-0158_1_false-valid-free.i false(valid-free) 13.7  5.04 313847808 false(valid-free) 223    192    1271357440 unknown 200    173    1052270592
list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i unknown: overapproxcex 38.9  20.4  526487552 timeout (error (143)) 306    270    1598304256 timeout (error (143)) 306    276    1347887104
list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i unknown: overapproxcex 10.3  3.88 274345984 error: exception 128    101    1130455040 unknown 112    89.1  1183150080
list-ext-properties/960521-1_1_true-valid-memsafety.i timeout (error (143)) 301    267    553070592 error: exception 282    207    1325944832 unknown 117    79.2  1280933888
list-ext-properties/list-ext_flag_1_true-valid-memsafety.i error: exception 81.8  54.5  598798336 timeout (error (143)) 301    267    1276911616 timeout (error (143)) 303    267    1107709952
list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i error: exception 40.6  21.9  519426048 error: exception 153    117    1293418496 unknown 134    105    1334763520
list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i true 12.4  4.92 296374272 false(valid-free) 196    167    1163526144 unknown 181    152    1182105600
memory-alloca/c.03-alloca_true-valid-memsafety.i error: exception 16.3  7.11 313630720 timeout (error (143)) 306    261    2227535872 timeout (error (143)) 303    261    1992011776
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c false(valid-deref) 10.9  4.22 292859904 false(valid-deref) 145    117    1153732608 unknown 132    104    1100800000
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c false(valid-deref) 14.8  6.95 327589888 false(valid-deref) 200    166    1142874112 unknown 171    143    1072218112
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c false(valid-deref) 8.57 3.39 236871680 false(valid-deref) 34.5  12.1  520134656 unknown 33.0  12.4  513712128
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c false(valid-deref) 8.98 3.50 241811456 false(valid-deref) 35.5  13.9  504373248 unknown 32.7  11.5  574398464
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c timeout (error (143)) 301    230    2302152704 timeout (error (143)) 303    236    2270081024 unknown 15.7  5.50 326184960
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c timeout (error (143)) 301    230    2315706368 timeout (error (143)) 302    237    2260598784 unknown 14.9  5.29 327475200
ldv-memsafety/memset2_false-valid-deref-write.c false(valid-deref) 7.83 3.16 236503040 false(valid-deref) 10.2  4.46 267804672 unknown 9.32 3.47 238931968
ldv-memsafety/memset3_false-valid-deref-write.c false(valid-deref) 8.10 3.16 237355008 false(valid-deref) 11.0  4.42 275005440 unknown 9.60 3.64 249446400
ldv-memsafety/memsetNonZero2_false-valid-deref-write.c false(valid-deref) 7.78 3.16 236703744 false(valid-deref) 10.3  4.28 271101952 unknown 9.34 3.55 243077120
ldv-memsafety/memsetNonZero3_false-valid-deref-write.c false(valid-deref) 8.01 3.24 235618304 false(valid-deref) 11.4  4.98 289075200 unknown 9.46 3.68 243154944
ldv-memsafety/memsetNonZero_false-valid-deref-write.c false(valid-deref) 7.99 3.25 236294144 false(valid-deref) 10.8  4.51 270753792 unknown 9.00 3.39 236548096
ldv-memsafety/memset_false-valid-deref-write.c false(valid-deref) 7.98 3.23 237961216 false(valid-deref) 10.3  4.21 266977280 unknown 9.19 3.41 241360896
ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c timeout (error (143)) 301    287    795533312 timeout (error (143)) 302    260    1419620352 unknown 133    106    1068679168
ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c timeout (error (143)) 306    251    2377388032 timeout (error (143)) 300    242    2349510656 unknown 17.0  6.05 363565056
ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c timeout (error (143)) 301    227    2274414592 timeout (error (143)) 301    230    2269253632 unknown 17.4  6.09 352460800
ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c timeout (error (143)) 305    248    2375118848 timeout (error (143)) 306    249    2358095872 unknown 16.3  5.83 362717184
ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c timeout (error (143)) 301    229    2266710016 timeout (error (143)) 303    222    2257092608 unknown 30.3  11.7  516632576
ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c timeout (error (143)) 303    229    2282356736 timeout (error (143)) 301    229    2267951104 unknown 17.0  6.19 347901952
ldv-memsafety/StructInitialization1_true-valid-memsafety.c true 10.4  4.00 291889152 timeout (error (143)) 304    274    1410908160 timeout (error (143)) 305    277    1328189440
ldv-memsafety/StructInitialization2_true-valid-memsafety.c true 10.0  3.80 295055360 timeout (error (143)) 304    277    1397002240 timeout (error (143)) 306    279    1112055808
ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c true 8.65 3.34 241459200 timeout (error (143)) 306    283    1114300416 timeout (error (143)) 306    284    1066127360
ldv-memsafety/memset2_true-valid-memsafety_true-termination.c true 18.6  7.88 387072000 true 18.8  8.37 385462272 unknown 8.59 3.27 236396544
ldv-memsafety/memset3_true-valid-memsafety_true-termination.c true 27.8  13.6  443338752 true 30.0  15.9  471171072 unknown 9.04 3.34 243499008
ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c true 18.1  7.65 369635328 true 19.4  9.04 375029760 unknown 8.61 3.21 239296512
ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c true 27.5  13.7  446521344 true 29.4  15.5  450764800 unknown 9.18 3.42 244396032
ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c true 27.3  13.8  459255808 true 30.5  16.5  483307520 unknown 8.92 3.33 237088768
ldv-memsafety/memset_true-valid-memsafety_true-termination.c true 26.9  13.6  442535936 true 29.7  16.1  487362560 unknown 8.87 3.32 238616576
ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i false(valid-deref) 10.5  4.17 280006656 error: exception 71.3  49.5  911511552 unknown 62.6  43.7  961593344
ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i false(valid-deref) 21.4  9.21 380465152 timeout (error (143)) 305    272    1346564096 timeout (error (143)) 305    272    1215115264
ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i false(valid-deref) 10.2  3.96 273403904 error: exception 72.6  53.0  999276544 unknown 57.3  41.4  868925440
ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i false(valid-deref) 11.4  4.44 300425216 timeout (error (143)) 303    277    1836097536 timeout (error (143)) 301    271    1590521856
forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i unknown: overapproxcex 51.1  28.6  493404160 timeout (error (143)) 307    273    1962979328 timeout (error (143)) 306    266    1658052608
list-properties/list_flag_true-unreach-call_false-valid-memtrack.i unknown: overapproxcex 11.9  4.36 297091072 timeout (error (143)) 306    269    1332097024 timeout (error (143)) 305    270    1235550208
list-properties/list_true-unreach-call_false-valid-memtrack.i unknown: overapproxcex 17.5  7.03 355397632 timeout (error (143)) 305    274    1247342592 timeout (error (143)) 302    269    1224376320
list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i unknown: overapproxcex 15.3  5.96 336637952 timeout (error (143)) 303    274    1244475392 timeout (error (143)) 305    279    1121751040
list-properties/simple_true-unreach-call_false-valid-memtrack.i unknown: overapproxcex 15.4  6.25 333963264 timeout (error (143)) 306    274    974712832 timeout (error (143)) 302    274    954691584
list-properties/splice_true-unreach-call_false-valid-memtrack.i unknown: overapproxcex 13.3  4.71 302776320 timeout (error (143)) 306    276    2020118528 timeout (error (143)) 304    266    1244467200
forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i error: exception 166    133    643600384 timeout (error (143)) 306    276    1665712128 timeout (error (143)) 306    275    1512148992
forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i error: exception 242    203    570712064 timeout (error (143)) 306    262    1699008512 timeout (error (143)) 305    264    1631608832
forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i error: exception 65.2  39.8  600457216 timeout (error (143)) 306    270    1550692352 timeout (error (143)) 305    263    1583267840
forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i error: exception 70.8  43.9  569073664 timeout (error (143)) 306    274    1562767360 timeout (error (143)) 306    279    1598947328
forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i true 68.1  39.6  563798016 timeout (error (143)) 305    269    1589657600 timeout (error (143)) 305    266    1669095424
forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i error: exception 159    124    663326720 timeout (error (143)) 306    275    1879085056 timeout (error (143)) 306    270    1497997312
forester-heap/sll-01_false-unreach-call_false-valid-deref.i false(valid-deref) 79.0  53.7  558657536 timeout (error (143)) 306    271    1847943168 timeout (error (143)) 306    274    2059354112
forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i error: exception 159    122    653545472 timeout (error (143)) 304    269    1665310720 timeout (error (143)) 301    271    1733500928
loop-acceleration/array3_false-valid-deref.i timeout (error (143)) 301    234    2310537216 timeout (error (143)) 301    235    2308890624 unknown 7.37 2.87 230174720
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 16.4  5.91 362610688 true 16.4  6.17 381046784 unknown 14.7  5.29 396320768
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 16.5  6.01 399339520 true 16.3  6.23 375009280 unknown 13.9  4.98 373411840
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 13.4  4.87 308400128 true 13.9  5.37 299085824 unknown 11.9  4.34 300462080
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 13.0  4.72 302166016 true 14.3  5.30 311558144 unknown 12.0  4.39 310898688
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 13.5  4.86 305147904 error: exception 14.0  5.30 291074048 error: exception 11.9  4.33 309960704
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 14.6  5.24 331358208 true 15.6  5.87 297783296 unknown 13.5  4.81 313393152
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 14.6  5.27 325775360 true 14.8  5.41 340234240 unknown 12.6  5.18 303923200
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 10.5  3.88 271523840 true 11.4  4.55 277217280 unknown 9.07 3.41 244756480
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 11.8  4.34 295407616 true 12.8  5.21 311115776 unknown 11.3  4.15 279527424
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 11.8  4.32 314748928 true 13.1  5.03 308457472 unknown 10.7  3.99 283844608
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c true 7.60 3.16 232484864 true 8.54 3.54 235737088 unknown 7.77 3.13 234819584
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c true 8.14 3.20 234123264 true 8.53 3.64 237572096 unknown 7.70 3.19 235020288
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c true 8.06 3.17 234541056 true 8.55 3.91 235790336 unknown 7.98 3.08 235032576
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c true 8.26 3.19 234598400 true 8.63 3.85 239718400 unknown 7.87 3.05 235298816
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c true 8.36 3.18 235245568 true 8.88 3.71 236859392 unknown 8.04 3.11 235311104
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c true 8.26 3.22 236216320 true 8.48 3.72 235995136 unknown 8.14 3.15 236158976
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c true 8.46 3.27 238022656 true 8.60 3.75 239472640 unknown 8.39 3.17 239824896
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c true 8.52 3.28 233365504 unknown 5.84 2.43 194650112 unknown 8.19 3.21 239222784
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c true 7.47 3.02 232103936 true 7.94 3.44 233074688 unknown 7.18 2.88 228577280
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c true 7.70 3.06 228564992 true 8.22 3.53 232742912 unknown 7.49 3.01 247308288
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c true 7.62 3.01 230649856 true 8.46 3.46 230875136 unknown 7.75 3.11 234106880
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c true 7.85 3.18 231321600 true 8.64 3.59 232890368 unknown 7.30 3.07 237060096
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c true 8.11 3.17 233009152 true 8.04 3.30 238886912 unknown 7.71 2.93 243400704
../../../trunk/examples/svcomp/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
total 164 14100 10600 103843450880 164 29200 24100 180190126080 164 22500 18800 154635751424
    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