Tool ULTIMATE Automizer 0.1.23-370d6ab5
Limits timelimit: 120 s, memlimit: 8000 MB, CPU core limit: 2
Host struebli
OS Linux-4.16.18-gentoo-x86_64-AMD_EPYC_7351P_16-Core_Processor-with-gentoo-2.4.1
System CPU: AMD EPYC 7351P 16-Core Processor, cores: 32, frequency: 2400 MHz; RAM: 135158 MB
Date of execution 2018-11-14 15:49:11 CET
Run set Bitvector.ReachSafety32 Default.ReachSafety32 Bitvector-ConstArray.ReachSafety32 Default-ConstArray.ReachSafety32
Options -tc ../../../trunk/examples/toolchains/AutomizerC.xml -ea -s ../../../trunk/examples/settings/default/automizer/svcomp-Reach-32bit-Automizer_Bitvector.epf -tc ../../../trunk/examples/toolchains/AutomizerC.xml -ea -s ../../../trunk/examples/settings/default/automizer/svcomp-Reach-32bit-Automizer_Default.epf -tc ../../../trunk/examples/toolchains/AutomizerC.xml -ea -s ../../../trunk/examples/settings/default/automizer/svcomp-Reach-32bit-Automizer_Bitvector-Const.epf -tc ../../../trunk/examples/toolchains/AutomizerC.xml -ea -s ../../../trunk/examples/settings/default/automizer/svcomp-Reach-32bit-Automizer_Default-Const.epf
../../../trunk/examples/svcomp/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
array-examples/standard_copyInitSum3_true-unreach-call_ground.i error: exception 7.69 4.31 246636544 timeout 121    104    1206304768 error: exception 7.89 4.42 253878272 timeout 121    105    1180884992
array-examples/standard_palindrome_true-unreach-call_ground.i error: exception 7.20 3.98 238366720 timeout 120    92.2  1311248384 error: exception 7.50 4.17 241385472 timeout 120    91.3  1282408448
array-examples/standard_partial_init_true-unreach-call_ground.i error: exception 7.51 4.17 247328768 timeout 121    85.0  1381777408 error: exception 7.64 4.27 249331712 timeout 121    87.1  1430396928
array-examples/standard_reverse_true-unreach-call_ground.i error: exception 7.56 4.19 240967680 timeout 120    107    1060798464 error: exception 7.73 4.30 245129216 timeout 121    108    1096724480
array-examples/standard_sentinel_true-unreach-call_true-termination.i timeout 121    110    1053216768 true 25.6  16.3  814882816 timeout 121    110    1050779648 true 25.8  16.5  844709888
array-examples/standard_vector_difference_true-unreach-call_ground.i error: exception 7.36 4.09 243134464 timeout 120    94.7  1346904064 error: exception 7.25 4.09 247222272 timeout 120    91.0  1407164416
array-examples/standard_sentinel_true-unreach-call.i.v+cfa-reducer.c timeout 121    110    1059700736 true 30.6  20.6  870174720 timeout 121    110    1071902720 true 30.6  20.6  859172864
array-industry-pattern/array_of_struct_loop_dep_false-unreach-call.i timeout 121    104    3119247360 timeout 121    104    3115352064 error: exception 9.54 5.25 789221376 timeout 120    82.4  1420238848
array-industry-pattern/array_range_init_false-unreach-call.i timeout 121    104    3129151488 timeout 121    104    3170627584 error: exception 6.58 3.70 226152448 timeout 121    89.4  1277947904
array-industry-pattern/array_of_struct_break_true-unreach-call.i timeout 121    100    3133181952 timeout 121    102    3174776832 error: exception 9.90 5.39 790519808 timeout 121    84.0  1490014208
array-industry-pattern/array_of_struct_ptr_cond_init_true-unreach-call.i timeout 121    100    3178352640 timeout 121    101    3185704960 error: exception 7.64 4.34 252211200 timeout 120    96.3  1143443456
array-industry-pattern/array_of_struct_ptr_flag_init_true-unreach-call.i timeout 121    107    1181552640 true 23.9  14.7  811937792 timeout 121    107    1204092928 true 24.6  15.1  821968896
array-industry-pattern/array_of_struct_ptr_monotonic_true-unreach-call.i timeout 121    101    3165650944 timeout 121    102    3193802752 error: exception 7.49 4.21 246157312 timeout 121    101    1168351232
array-industry-pattern/array_of_struct_ptr_mul_init_true-unreach-call.i timeout 121    98.0  3642437632 timeout 121    98.3  3402911744 error: exception 10.5  5.65 805986304 timeout 121    109    1292488704
array-industry-pattern/array_of_struct_single_elem_init_true-unreach-call.i timeout 121    96.5  3645771776 timeout 121    95.4  3418488832 error: exception 11.9  6.28 821891072 timeout 120    99.6  1706655744
array-industry-pattern/array_ptr_partial_init_true-unreach-call.i timeout 121    100    3213877248 timeout 121    101    3179929600 error: exception 6.94 3.87 239386624 timeout 120    96.5  1227374592
array-industry-pattern/array_ptr_single_elem_init_true-unreach-call.i timeout 121    102    3178356736 timeout 121    98.7  3197861888 error: exception 7.86 4.39 251531264 timeout 121    89.0  1505865728
reducercommutativity/avg10_true-unreach-call_true-termination.i timeout 121    110    1696419840 error: exception 105    65.1  1527963648 timeout 121    110    1716940800 error: exception 104    64.1  1491668992
reducercommutativity/max05_true-unreach-call_true-termination.i timeout 121    105    1195413504 error: exception 40.2  24.1  983240704 timeout 121    105    1199321088 error: exception 41.4  24.8  980819968
reducercommutativity/max10_true-unreach-call_true-termination.i timeout 121    104    1222778880 error: exception 79.2  49.9  1239937024 timeout 121    104    1205387264 error: exception 77.9  49.2  1312362496
reducercommutativity/max_true-unreach-call_true-termination.i timeout 121    106    1226862592 error: exception 22.1  13.1  822902784 timeout 121    107    1218895872 error: exception 23.1  13.7  799748096
reducercommutativity/sep05_true-unreach-call_true-termination.i timeout 121    103    1291456512 error: exception 47.4  28.9  1072930816 timeout 122    104    1235640320 error: exception 45.7  27.9  1064390656
reducercommutativity/sep10_true-unreach-call.i timeout 121    102    1259675648 error: exception 100    62.5  1360748544 timeout 121    102    1273221120 error: exception 90.7  58.6  1338097664
reducercommutativity/sep_true-unreach-call_true-termination.i timeout 121    108    1229869056 error: exception 28.7  17.3  828604416 timeout 121    108    1259024384 error: exception 28.4  17.0  808660992
reducercommutativity/sum_true-unreach-call_true-termination.i timeout 121    108    1038950400 error: exception 23.0  13.1  770977792 timeout 121    109    1022676992 error: exception 21.6  12.5  773095424
array-tiling/mbpr2_true-unreach-call.i timeout 121    108    1042087936 error: exception 15.8  9.33 543227904 timeout 121    108    1104998400 error: exception 16.2  9.48 532090880
array-tiling/mbpr3_true-unreach-call.i timeout 121    106    1177387008 error: exception 46.0  32.3  1150017536 timeout 121    106    1163071488 error: exception 46.9  32.7  1129086976
array-tiling/mbpr4_true-unreach-call.i timeout 121    108    1008128000 error: exception 66.5  47.2  1277173760 timeout 121    108    1037852672 error: exception 64.5  46.3  1276645376
array-tiling/mbpr5_true-unreach-call.i timeout 121    107    1165598720 error: exception 86.0  61.8  1274347520 timeout 121    108    1123405824 error: exception 87.1  62.1  1308418048
array-tiling/poly1_true-unreach-call.i timeout 121    112    934236160 error: exception 38.8  30.6  822403072 timeout 121    112    971296768 error: exception 33.3  25.2  838074368
array-tiling/poly2_true-unreach-call.i error: exception 7.56 4.22 252530688 timeout 121    103    1404289024 error: exception 7.65 4.30 258592768 timeout 121    103    1427292160
array-tiling/rewrev_true-unreach-call.i timeout 121    107    1251147776 timeout 121    107    1200775168 timeout 121    107    1288626176 error: exception 87.8  75.7  1139027968
array-tiling/tcpy_true-unreach-call.i error: exception 7.49 4.17 252469248 timeout 121    109    1114279936 error: exception 7.14 4.03 250359808 timeout 121    109    1004457984
array-crafted/bAnd5_true-unreach-call.i timeout 121    109    1174978560 unknown: overapproxcex 15.5  8.96 505688064 timeout 121    110    1055203328 unknown: overapproxcex 15.0  8.62 499908608
array-crafted/bor5_true-unreach-call.i timeout 121    108    1115013120 unknown: overapproxcex 15.1  8.72 498511872 timeout 121    108    1122230272 unknown: overapproxcex 15.5  8.91 503308288
array-crafted/mapsum5_true-unreach-call.i timeout 121    109    1042907136 error: exception 21.4  12.3  711602176 timeout 121    109    1024937984 error: exception 20.4  11.8  712654848
array-crafted/xor5_true-unreach-call.i timeout 121    107    1156767744 unknown: overapproxcex 14.9  8.51 503500800 timeout 121    108    1152299008 unknown: overapproxcex 15.1  8.61 507490304
array-crafted/zero_sum1_true-unreach-call.c error: exception 6.45 3.41 200663040 timeout 121    94.7  1497481216 error: exception 6.16 3.26 195915776 timeout 121    94.2  1421283328
array-crafted/zero_sum2_true-unreach-call.c error: exception 6.29 3.29 202178560 timeout 121    94.7  1471123456 error: exception 6.17 3.29 206155776 timeout 121    94.6  1407217664
array-crafted/zero_sum3_true-unreach-call.c error: exception 6.10 3.27 203333632 timeout 121    93.2  1444474880 error: exception 6.15 3.27 197545984 timeout 121    92.2  1505132544
array-crafted/zero_sum4_true-unreach-call.c error: exception 6.48 3.43 203468800 timeout 121    93.3  1505804288 error: exception 6.24 3.28 196149248 timeout 120    92.7  1524641792
array-crafted/zero_sum5_true-unreach-call.c error: exception 6.06 3.24 212877312 timeout 121    94.8  1597652992 error: exception 6.10 3.27 198639616 timeout 121    95.2  1486241792
array-crafted/zero_sum_const2_true-unreach-call.c error: exception 7.67 4.23 245751808 timeout 121    93.4  1482203136 error: exception 7.28 4.11 245923840 timeout 121    93.8  1497849856
array-crafted/zero_sum_const3_true-unreach-call.c error: exception 7.12 3.99 245403648 timeout 121    94.9  1507815424 error: exception 7.28 4.05 244445184 timeout 121    93.9  1501741056
array-crafted/zero_sum_const4_true-unreach-call.c error: exception 7.31 4.09 241725440 timeout 121    93.1  1407762432 error: exception 7.37 4.10 247984128 timeout 122    93.5  1531887616
array-crafted/zero_sum_const5_true-unreach-call.c error: exception 7.06 4.02 242061312 timeout 121    92.9  1592365056 error: exception 7.51 4.10 244015104 timeout 121    92.6  1520168960
array-crafted/zero_sum_const_m2_true-unreach-call.c error: exception 7.46 4.16 244502528 timeout 121    95.5  1518981120 error: exception 7.39 4.19 238759936 timeout 121    95.1  1482366976
array-crafted/zero_sum_const_m3_true-unreach-call.c error: exception 7.33 4.17 244580352 timeout 120    95.9  1465364480 error: exception 7.06 3.97 250179584 timeout 120    94.9  1529413632
array-crafted/zero_sum_const_m5_true-unreach-call.c error: exception 7.28 4.07 249335808 timeout 120    94.5  1441210368 error: exception 7.46 4.14 247345152 timeout 121    98.3  1519312896
array-crafted/zero_sum_m2_true-unreach-call.c error: exception 6.27 3.34 203800576 timeout 121    95.0  1408266240 error: exception 6.05 3.25 205852672 timeout 121    95.5  1503334400
array-crafted/zero_sum_m3_true-unreach-call.c error: exception 6.06 3.23 195768320 timeout 120    96.1  1512202240 error: exception 6.18 3.33 198602752 timeout 120    96.0  1466986496
array-crafted/zero_sum_m4_true-unreach-call.c error: exception 6.14 3.26 205688832 timeout 121    95.9  1394733056 error: exception 6.24 3.32 194928640 timeout 121    97.7  1517350912
array-crafted/zero_sum_m5_true-unreach-call.c error: exception 6.53 3.44 200224768 timeout 120    98.9  1608372224 error: exception 6.23 3.37 198156288 timeout 120    98.3  1556242432
array-multidimensional/diff-2-n-u_true-unreach-call.i error: exception 7.66 4.25 248688640 timeout 121    110    938577920 error: exception 7.20 4.09 246194176 timeout 121    109    929501184
array-multidimensional/max-3-n-u_true-unreach-call.i timeout 121    103    1366462464 error: exception 7.21 4.07 243195904 timeout 120    103    1278464000 error: exception 7.01 3.98 245792768
array-multidimensional/min-3-n-u_true-unreach-call.i timeout 121    102    1260822528 error: exception 6.95 3.97 246370304 timeout 121    103    1285935104 error: exception 7.41 4.10 245788672
array-multidimensional/rev-3-u_true-unreach-call.i error: exception 7.79 4.46 253272064 timeout 121    110    1017020416 error: exception 7.79 4.39 257024000 timeout 121    109    990896128
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c error: exception 14.6  8.00 374243328 timeout 121    85.4  1494294528 error: exception 14.9  8.22 376377344 timeout 121    86.3  1534275584
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c error: exception 14.7  8.21 385802240 timeout 120    83.2  1489981440 error: exception 14.8  8.24 378953728 timeout 120    83.0  1418293248
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c error: exception 14.7  8.08 367308800 timeout 121    86.2  1475014656 error: exception 14.9  8.18 368504832 timeout 121    84.9  1471406080
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c error: exception 14.2  7.93 394399744 timeout 121    85.8  1391153152 error: exception 14.2  7.90 389537792 timeout 121    83.7  1449037824
ssh-simplified/s3_srvr_13_false-unreach-call_false-termination.cil.c false 66.4  44.2  1111867392 timeout 121    90.4  1460207616 false 62.1  42.5  1118281728 timeout 121    91.3  1527328768
ssh-simplified/s3_srvr_14_false-unreach-call_false-termination.cil.c false 83.0  55.2  1275105280 timeout 121    91.0  1477664768 false 78.4  53.8  1255804928 timeout 121    92.8  1504747520
ntdrivers/cdaudio_false-unreach-call.i.cil.c error: exception 35.2  22.2  917364736 timeout 121    82.4  1621667840 error: exception 33.5  21.9  931782656 timeout 121    82.6  1597915136
ntdrivers/diskperf_false-unreach-call.i.cil.c error: type error 12.5  6.45 488001536 timeout 120    75.6  1960697856 error: type error 12.2  6.33 492597248 timeout 121    80.6  2187886592
ntdrivers/parport_false-unreach-call.i.cil.c error: type error 16.0  8.33 829739008 timeout 120    83.3  1762217984 error: type error 17.3  8.96 823648256 timeout 122    83.9  1748385792
ntdrivers/cdaudio_true-unreach-call.i.cil.c error: exception 31.6  19.3  938295296 timeout 121    83.2  1608974336 error: exception 30.9  19.1  909590528 timeout 120    82.2  1602347008
ntdrivers/diskperf_true-unreach-call.i.cil.c error: type error 12.3  6.42 531365888 timeout 121    92.5  1734258688 error: type error 13.4  6.91 546570240 timeout 121    94.0  1748766720
ntdrivers/floppy2_true-unreach-call_true-termination.i.cil.c error: exception 49.1  31.4  1288970240 timeout 120    86.8  1529602048 error: exception 18.0  9.35 887730176 error: exception 17.3  8.97 866136064
ntdrivers/parport_true-unreach-call.i.cil.c error: type error 16.5  8.52 839204864 timeout 120    81.8  1603698688 error: type error 16.9  8.70 821268480 timeout 121    82.9  1720840192
ssh/s3_clnt.blast.02_false-unreach-call.i.cil.c timeout 121    101    1172570112 unknown: overapproxcex 105    72.5  1471164416 timeout 121    101    1238437888 timeout 120    89.0  1439338496
ssh/s3_clnt.blast.03_false-unreach-call.i.cil.c timeout 121    100    1227644928 unknown: overapproxcex 112    76.3  1441591296 timeout 120    99.1  1215741952 timeout 121    89.5  1458085888
ssh/s3_clnt.blast.04_false-unreach-call.i.cil.c timeout 121    100    1247268864 unknown: overapproxcex 106    73.6  1451069440 timeout 120    98.4  1234956288 timeout 120    87.9  1411919872
ssh/s3_srvr.blast.01_false-unreach-call.i.cil.c false 64.6  46.7  1106358272 unknown: overapproxcex 84.7  56.9  1333018624 false 61.8  45.2  1050918912 unknown: overapproxcex 93.9  65.9  1279041536
ssh/s3_srvr.blast.02_false-unreach-call.i.cil.c false 85.8  66.3  1039826944 unknown: overapproxcex 90.6  59.4  1285279744 false 84.8  66.0  1044979712 unknown: overapproxcex 98.6  69.2  1311940608
ssh/s3_srvr.blast.03_false-unreach-call.i.cil.c false 49.7  36.0  911253504 unknown: overapproxcex 83.8  55.9  1298538496 false 52.6  37.3  885342208 unknown: overapproxcex 98.6  69.3  1325330432
ssh/s3_srvr.blast.04_false-unreach-call.i.cil.c false 51.6  36.9  896057344 unknown: overapproxcex 84.0  56.4  1315168256 false 51.4  37.1  882462720 unknown: overapproxcex 101    69.9  1358020608
ssh/s3_srvr.blast.11_false-unreach-call.i.cil.c false 106    82.7  1238245376 unknown: overapproxcex 110    76.3  1438248960 false 105    81.9  1255743488 timeout 121    88.4  1383673856
heap-manipulation/bubble_sort_linux_false-unreach-call_false-valid-memcleanup.i timeout 120    111    998817792 error: exception 34.4  22.8  976809984 timeout 121    109    1291354112 error: exception 34.1  22.7  957767680
heap-manipulation/tree_false-unreach-call_false-valid-deref.i timeout 120    111    885960704 error: exception 19.0  11.4  704434176 timeout 121    110    901718016 error: exception 18.8  11.1  689922048
heap-manipulation/tree_false-unreach-call_false-valid-memcleanup.i timeout 121    110    866697216 error: exception 19.8  11.9  750088192 timeout 120    111    867049472 error: exception 19.8  11.9  730456064
heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i timeout 121    108    1410015232 error: exception 35.0  23.5  999227392 timeout 121    108    1797591040 error: exception 35.1  23.4  1056923648
heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i timeout 120    95.7  1262305280 error: exception 51.8  33.7  1177034752 timeout 121    98.3  1276518400 error: exception 51.0  33.1  1178750976
heap-manipulation/tree_true-unreach-call.i timeout 121    110    1110323200 error: exception 34.9  23.7  1030955008 timeout 121    110    1109086208 error: exception 34.6  23.4  1044676608
list-properties/list_false-unreach-call_false-valid-memcleanup.i timeout 121    107    1186811904 error: exception 23.4  14.4  839397376 timeout 121    107    1193132032 error: exception 23.7  14.6  832376832
list-properties/list_search_false-unreach-call_false-valid-memcleanup.i timeout 121    106    1180385280 error: exception 21.4  13.0  834879488 timeout 121    106    1197379584 error: exception 21.9  13.1  814723072
list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i timeout 121    107    1266769920 error: exception 19.2  11.6  730726400 timeout 121    107    1225302016 error: exception 18.9  11.5  714321920
list-properties/list_flag_true-unreach-call_false-valid-memtrack.i timeout 121    106    1856425984 error: exception 24.1  15.1  829046784 timeout 121    106    1928073216 error: exception 24.5  15.3  839872512
list-properties/list_search_true-unreach-call_false-valid-memcleanup.i timeout 122    105    1338376192 error: exception 30.9  18.7  862019584 timeout 120    103    1317134336 error: exception 29.5  18.0  861995008
list-properties/list_true-unreach-call_false-valid-memtrack.i timeout 121    106    2018402304 error: exception 24.0  14.9  810737664 timeout 121    107    1946464256 error: exception 23.8  14.6  816312320
list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i timeout 120    107    1380032512 error: exception 19.8  12.1  774709248 timeout 121    109    1355915264 error: exception 20.9  12.6  775348224
list-properties/simple_true-unreach-call_false-valid-memtrack.i timeout 121    107    1509781504 error: exception 18.6  11.2  675180544 timeout 120    105    1530056704 error: exception 18.7  11.3  678023168
list-properties/splice_true-unreach-call_false-valid-memtrack.i timeout 121    106    1162530816 error: exception 27.4  17.5  832466944 error: exception 67.3  53.4  1230471168 error: exception 27.4  17.4  819535872
ldv-regression/ex3_forlist_true-termination.c_true-unreach-call.i timeout 121    106    1329709056 error: exception 41.0  27.8  1156243456 error: exception 8.47 4.75 258392064 error: exception 29.9  17.8  837685248
ldv-regression/rule60_list_true-termination.c_true-unreach-call.i true 17.9  10.8  578875392 error: exception 11.5  6.18 308948992 true 17.5  10.6  581173248 error: exception 11.3  6.12 306065408
ldv-regression/sizeofparameters_test_true-termination.c_true-unreach-call.i unknown 6.36 3.45 206123008 true 10.3  5.80 289017856 unknown 6.44 3.44 196349952 true 9.92 5.63 286560256
ldv-regression/test08_false-unreach-call_true-termination.c error: exception 7.07 3.94 240594944 false 8.73 4.76 265945088 error: exception 6.85 3.83 240680960 false 8.31 5.04 265322496
ldv-regression/test23_false-unreach-call.c timeout 121    112    875782144 false 83.9  57.3  1294540800 error: exception 7.56 4.27 260964352 false 56.6  40.6  1199939584
ldv-regression/test07_true-unreach-call_true-termination.c error: exception 7.43 3.96 234905600 true 13.5  7.80 433672192 error: exception 6.84 3.88 234287104 true 13.5  7.82 434626560
ldv-regression/test09_true-unreach-call_true-termination.c error: exception 6.54 3.71 243744768 true 13.1  7.49 426557440 error: exception 7.39 4.13 250482688 true 13.2  7.62 433713152
ldv-regression/test22_true-unreach-call.c timeout 121    108    1178673152 true 40.9  28.2  1160454144 timeout 121    108    1217798144 true 39.8  27.7  1158520832
ldv-regression/test23_true-unreach-call.c timeout 121    111    857604096 error: exception 50.7  34.3  1139064832 error: exception 7.65 4.31 257843200 timeout 121    107    1198276608
ldv-regression/test24_true-unreach-call_true-termination.c true 43.3  33.7  852537344 error: exception 17.1  10.3  637313024 true 43.3  33.4  856424448 error: exception 17.2  10.3  636432384
ldv-regression/test27_true-unreach-call_true-termination.c timeout 121    108    1275498496 true 101    83.6  1422348288 timeout 121    108    1318891520 true 105    86.9  1445642240
forester-heap/dll-01_false-unreach-call_false-valid-memcleanup.i false 56.3  40.9  1275195392 error: exception 29.9  18.5  836317184 false 57.6  41.1  1021489152 error: exception 30.1  18.7  838508544
forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i error: exception 81.3  70.5  1260392448 false 69.5  51.0  1413021696 error: exception 86.3  75.6  1165328384 false 65.8  47.5  1370025984
forester-heap/sll-01_false-unreach-call_false-valid-deref.i timeout 120    95.6  1355612160 error: exception 30.5  18.9  841089024 timeout 120    95.1  1327910912 error: exception 30.7  19.0  838885376
forester-heap/sll-buckets_false-unreach-call_false-valid-memcleanup.i timeout 121    108    1543897088 error: exception 18.7  11.1  692830208 timeout 121    108    1691467776 error: exception 19.4  11.5  695545856
forester-heap/sll-queue_false-unreach-call_false-valid-memcleanup.i timeout 121    104    1527517184 error: exception 119    88.8  1482215424 timeout 121    103    1559441408 timeout 122    90.6  1500418048
forester-heap/sll-rb-sentinel_false-unreach-call_false-valid-memcleanup.i timeout 121    107    1583636480 false 49.6  35.6  1337393152 timeout 121    108    1471197184 false 48.4  34.8  1358606336
forester-heap/sll-sorted_false-unreach-call_false-valid-memcleanup.i timeout 121    106    1392242688 error: exception 17.3  10.3  656994304 timeout 121    106    1348571136 error: exception 18.1  10.7  655527936
forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i timeout 120    94.1  1351884800 error: exception 30.6  18.8  853323776 timeout 120    91.5  1336090624 error: exception 29.7  18.5  842817536
forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i timeout 121    109    1192910848 error: exception 14.4  8.22 443109376 timeout 121    109    1257353216 error: exception 14.1  8.04 440602624
forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i timeout 121    109    1362382848 error: exception 84.4  65.7  1304612864 timeout 121    109    1279041536 error: exception 81.5  64.4  1301655552
forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i error: exception 76.2  65.1  1162317824 timeout 120    93.7  1664335872 error: exception 82.3  71.3  1151160320 timeout 120    94.2  1759232000
forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i timeout 121    111    837197824 error: exception 33.0  21.5  962682880 timeout 120    111    839028736 error: exception 34.2  22.2  983826432
forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i timeout 121    107    1766215680 error: exception 13.5  7.40 354643968 timeout 121    108    1712459776 error: exception 12.9  7.10 355487744
forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i timeout 121    105    1407680512 error: exception 18.2  10.7  668557312 timeout 121    105    1338101760 error: exception 18.0  10.6  652419072
forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i timeout 121    109    1883815936 error: exception 16.7  9.86 625283072 timeout 121    108    1724444672 error: exception 17.5  10.3  625647616
forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i timeout 120    95.5  1366822912 error: exception 30.6  19.0  856092672 timeout 120    95.9  1351614464 error: exception 30.3  18.6  858521600
forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i timeout 121    108    1623605248 error: exception 18.5  11.0  684326912 timeout 121    108    1082101760 error: exception 18.5  11.0  689594368
forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i timeout 121    109    1229557760 error: exception 14.2  8.23 438706176 timeout 121    110    1193480192 error: exception 14.7  8.40 449142784
forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i timeout 121    108    1352929280 error: exception 120    98.5  2283704320 timeout 121    107    1328128000 timeout 122    100    2282106880
forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i timeout 121    102    1424453632 timeout (error: exception) 121    89.7  1577119744 timeout 121    104    1596592128 timeout 120    89.3  1484816384
forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i timeout 121    106    1399615488 error: exception 25.9  15.9  840916992 timeout 121    107    1370066944 error: exception 26.3  16.0  816177152
forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i timeout 121    105    1201311744 error: exception 31.0  19.8  886759424 timeout 121    105    1215901696 error: exception 29.4  18.8  875499520
forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i timeout 121    107    1707515904 error: exception 12.8  7.08 353296384 timeout 121    107    2114871296 error: exception 12.7  7.03 347308032
forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i timeout 121    105    1395113984 error: exception 16.4  9.59 572182528 timeout 121    106    1421017088 error: exception 17.1  9.97 569606144
forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i timeout 121    110    1185755136 error: exception 16.5  9.77 620126208 timeout 121    110    1219760128 error: exception 17.7  10.4  606265344
list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i timeout 121    105    1141571584 error: exception 20.7  12.6  810737664 timeout 120    103    1183641600 error: exception 19.7  12.1  788946944
list-ext2-properties/list_and_tree_cnstr_false-unreach-call_false-termination.i timeout 121    104    1953308672 error: exception 28.8  18.0  856375296 timeout 121    104    1864556544 error: exception 30.0  18.4  855158784
list-ext2-properties/list_and_tree_cnstr_true-unreach-call_false-termination.i timeout 121    102    1870225408 error: exception 29.1  18.2  852434944 timeout 121    100    1224712192 error: exception 30.0  18.5  849408000
list-ext2-properties/simple_and_skiplist_2lvl_true-unreach-call.i timeout 121    105    1754906624 error: exception 20.6  12.3  744534016 timeout 121    106    1974530048 error: exception 20.9  12.5  757661696
list-ext2-properties/simple_search_value_false-unreach-call.i timeout 120    101    2327580672 error: exception 110    86.6  3098656768 timeout 120    101    2306322432 error: exception 108    85.4  2955436032
list-ext2-properties/simple_search_value_true-unreach-call.i error: exception 54.5  42.7  2287124480 timeout 120    94.3  1777360896 timeout 121    102    2015956992 timeout 121    92.2  1613996032
list-simple/dll2c_append_equal_true-unreach-call_true-valid-memsafety.i timeout 121    111    1183010816 error: exception 53.9  43.1  927416320 timeout 121    110    1156468736 error: exception 38.7  27.6  890675200
list-simple/dll2c_append_unequal_true-unreach-call_true-valid-memsafety.i timeout 121    111    867106816 error: exception 72.4  60.3  995729408 timeout 121    111    863780864 error: exception 65.2  53.2  1028235264
list-simple/dll2c_insert_equal_true-unreach-call_true-valid-memsafety.i timeout 120    111    934293504 error: exception 20.0  11.8  761528320 timeout 120    111    908726272 error: exception 20.1  11.8  782950400
list-simple/dll2c_insert_unequal_true-unreach-call_true-valid-memsafety.i timeout 121    110    878649344 error: exception 20.4  12.0  763027456 timeout 120    110    893313024 error: exception 21.5  12.6  817324032
list-simple/dll2c_prepend_equal_true-unreach-call_true-valid-memsafety.i timeout 120    112    908066816 error: exception 19.6  11.9  801222656 timeout 120    112    957198336 error: exception 19.8  11.7  756899840
list-simple/dll2c_prepend_unequal_true-unreach-call_true-valid-memsafety.i timeout 121    110    1729425408 error: exception 46.3  34.5  1016483840 timeout 121    110    1711230976 error: exception 46.4  34.5  1018691584
list-simple/dll2c_remove_all_true-unreach-call_true-valid-memsafety.i timeout 121    106    1348108288 error: exception 24.0  14.5  804212736 timeout 121    105    1388466176 timeout 121    107    1445556224
list-simple/dll2c_update_all_true-unreach-call_true-valid-memsafety.i timeout 121    108    1137135616 error: exception 26.8  15.8  800485376 timeout 121    108    1139888128 error: exception 25.8  15.3  837218304
list-simple/dll2n_prepend_unequal_true-unreach-call_true-valid-memsafety.i error: exception 63.1  53.1  872628224 timeout 121    108    1046917120 timeout 121    109    933359616 timeout 121    108    1039826944
list-simple/dll2n_remove_all_reverse_true-unreach-call_true-valid-memsafety.i timeout 120    105    1501954048 error: exception 69.7  55.2  1226735616 timeout 121    105    1462464512 error: exception 98.5  83.6  1258119168
list-simple/dll2n_remove_all_true-unreach-call_true-valid-memsafety.i timeout 121    107    1576124416 error: exception 22.1  12.9  744620032 timeout 121    108    1384116224 error: exception 25.8  15.9  846315520
list-simple/dll2n_update_all_true-unreach-call_true-valid-memsafety.i timeout 121    107    1144975360 error: exception 27.1  16.3  830054400 timeout 120    107    1152819200 error: exception 25.8  15.5  834469888
list-simple/sll2c_prepend_equal_true-unreach-call_true-valid-memsafety.i timeout 121    110    1924775936 error: exception 68.0  54.9  1422798848 timeout 121    109    1966157824 timeout 120    103    1637138432
list-simple/sll2c_remove_all_reverse_true-unreach-call_true-valid-memsafety.i timeout 121    106    1503232000 true 66.8  48.4  1653243904 timeout 121    106    1678176256 true 68.9  49.3  1676767232
list-simple/sll2c_remove_all_true-unreach-call_true-valid-memsafety.i timeout 121    107    1163669504 error: exception 25.2  15.4  828145664 timeout 121    106    1176223744 timeout 121    107    1022291968
list-simple/sll2c_update_all_true-unreach-call_true-valid-memsafety.i timeout 121    107    1185861632 error: exception 24.4  14.7  814944256 timeout 121    107    1185792000 error: exception 25.2  15.1  832692224
list-simple/sll2n_append_unequal_true-unreach-call_true-valid-memsafety.i timeout 121    110    850300928 timeout 121    109    884674560 timeout 121    110    851640320 error: exception 111    99.6  892542976
list-simple/sll2n_insert_equal_true-unreach-call_true-valid-memsafety.i timeout 121    109    995934208 error: exception 50.7  39.8  1054130176 timeout 121    110    1049534464 error: exception 46.0  35.8  880689152
list-simple/sll2n_remove_all_reverse_true-unreach-call_true-valid-memsafety.i timeout 121    108    1345007616 timeout 121    109    1052844032 timeout 121    107    1365659648 error: exception 54.2  39.8  1295634432
list-simple/sll2n_update_all_true-unreach-call_true-valid-memsafety.i timeout 121    109    1033285632 error: exception 24.5  14.9  818040832 timeout 121    109    1014509568 error: exception 25.2  15.3  814813184
heap-data/calendar_true-unreach-call.i timeout 121    105    1190232064 error: exception 13.1  7.38 364408832 timeout 121    104    1306845184 error: exception 13.2  7.39 372154368
heap-data/cart_true-unreach-call.i timeout 121    108    1068236800 error: exception 15.0  8.66 483385344 timeout 121    108    1020071936 error: exception 14.9  8.60 481566720
heap-data/min_max_true-unreach-call.i timeout 121    105    1159249920 error: exception 12.9  7.16 376172544 timeout 121    105    1189298176 error: exception 12.8  7.18 364224512
heap-data/packet_filter_true-unreach-call.i timeout 121    109    1174966272 error: exception 54.8  43.3  988192768 timeout 121    108    1100558336 error: exception 55.9  44.0  1013460992
heap-data/process_queue_true-unreach-call.i timeout 121    108    1330278400 error: exception 17.7  10.7  684150784 timeout 121    108    1307439104 error: exception 19.2  11.4  685957120
heap-data/running_example_true-unreach-call.i timeout 121    106    1740468224 error: exception 25.0  16.0  826023936 timeout 121    106    1799483392 error: exception 26.3  16.7  821653504
heap-data/shared_mem2_true-unreach-call.i error: exception 57.3  47.1  1228845056 timeout 121    108    2220138496 error: exception 59.0  49.0  1197834240 timeout 121    107    2334253056
list-ext3-properties/sll_nondet_insert_false-unreach-call_false-valid-memcleanup.i error: exception 96.6  82.2  1203167232 error: exception 78.6  67.0  2366726144 error: exception 96.3  81.0  1149734912 false 110    86.8  1473159168
list-ext3-properties/dll_circular_traversal_true-unreach-call_true-valid-memsafety.i timeout 120    111    1094692864 error: exception 23.6  14.1  815357952 timeout 120    110    1090576384 error: exception 21.7  13.1  790102016
list-ext3-properties/dll_nullified_true-unreach-call_true-valid-memsafety.i timeout 120    103    1402384384 error: exception 29.5  18.5  837152768 timeout 121    105    1381826560 error: exception 31.4  19.4  849932288
list-ext3-properties/sll_nondet_insert_true-unreach-call_true-valid-memsafety.i error: exception 93.9  77.8  1137672192 timeout 121    98.6  1519546368 error: exception 103    88.5  1192505344 timeout 121    100    1580519424
loops/bubble_sort_false-unreach-call.i error: exception 9.25 5.16 281440256 false 23.2  13.7  860528640 error: exception 9.09 5.10 276705280 false 22.7  13.3  834695168
loops/eureka_01_false-unreach-call_true-termination.i timeout 120    108    969035776 timeout 121    107    1011290112 error: exception 7.70 4.29 251736064 error: exception 35.2  22.0  926179328
loops/for_bounded_loop1_false-unreach-call_true-termination.i error: exception 7.01 3.97 244797440 false 14.2  8.33 465338368 error: exception 7.45 4.06 235347968 false 14.7  8.59 459239424
loops/insertion_sort_false-unreach-call_true-termination.i timeout 121    109    1031327744 error: exception 33.7  21.7  971202560 timeout 121    109    1049210880 error: exception 32.0  20.9  938508288
loops/invert_string_false-unreach-call_true-termination.i error: exception 34.4  27.8  830775296 false 43.4  30.7  1132179456 error: exception 33.9  27.4  847568896 false 45.0  31.5  1147027456
loops/linear_search_false-unreach-call.i timeout 121    106    1219117056 error: exception 14.7  8.36 410120192 timeout 121    106    1201631232 error: exception 14.9  8.37 409419776
loops/ludcmp_false-unreach-call.i timeout 121    109    3238191104 timeout 121    100    1992372224 error: exception 22.8  18.6  649478144 error: exception 6.15 3.28 199262208
loops/n.c24_false-unreach-call.i error: exception 7.71 4.29 256659456 timeout 121    87.0  1470492672 error: exception 7.41 4.17 262619136 timeout 121    87.9  1547534336
loops/string_false-unreach-call_true-termination.i error: exception 7.48 4.27 254808064 unknown: overapproxcex 20.7  12.3  778305536 error: exception 7.38 4.19 252628992 unknown: overapproxcex 20.6  12.4  817491968
loops/sum_array_false-unreach-call.i error: exception 7.76 4.37 255778816 false 14.1  7.84 382918656 error: exception 7.79 4.35 243785728 false 13.5  7.51 382791680
loops/trex01_false-unreach-call_true-termination.i error: exception 6.84 3.88 227385344 false 10.3  5.69 274309120 error: exception 6.77 3.82 227184640 false 9.55 5.45 272908288
loops/trex03_false-unreach-call_true-termination.i error: exception 7.31 4.09 231079936 false 9.11 5.13 269119488 error: exception 6.84 3.82 234762240 false 9.49 5.29 265707520
loops/verisec_OpenSER__cases1_stripFullBoth_arr_false-unreach-call_true-termination.i error: exception 7.74 4.37 250441728 false 41.7  25.9  1006452736 error: exception 7.32 4.19 251199488 false 41.1  25.3  1002893312
loops/vogal_false-unreach-call.i timeout 120    96.0  1251840000 error: exception 12.9  7.34 375070720 error: exception 7.32 4.09 245166080 error: exception 13.0  7.39 379486208
loops/bubble_sort_true-unreach-call_true-termination.i error: exception 7.28 4.14 256692224 true 9.46 5.28 267374592 error: exception 8.01 4.44 251445248 true 9.58 5.32 269414400
loops/count_up_down_true-unreach-call_true-termination.i timeout 121    107    1215451136 true 19.0  11.5  622280704 timeout 121    106    1173430272 true 20.3  12.0  616554496
loops/eureka_01_true-unreach-call.i timeout 121    110    1031921664 timeout 120    88.0  1415766016 error: exception 8.03 4.47 258015232 timeout 121    86.8  1446166528
loops/eureka_05_true-unreach-call_true-termination.i timeout 121    105    1319424000 timeout 121    96.9  1320652800 error: exception 6.97 3.93 227545088 timeout 121    97.5  1269248000
loops/insertion_sort_true-unreach-call_true-termination.i timeout 121    111    892145664 error: exception 30.7  19.7  899907584 timeout 121    111    895033344 error: exception 28.6  18.9  900575232
loops/invert_string_true-unreach-call_true-termination.i timeout 121    109    1053134848 error: exception 39.5  25.8  977428480 timeout 121    109    1063714816 error: exception 35.8  24.1  989253632
loops/linear_sea.ch_true-unreach-call.i timeout 121    107    1130795008 error: exception 17.5  10.2  540065792 timeout 121    106    1194631168 error: exception 20.3  11.5  553697280
loops/lu.cmp_true-unreach-call.i timeout 121    109    3233038336 timeout 120    99.0  2032283648 error: exception 22.2  17.7  614416384 error: exception 6.11 3.26 199692288
loops/n.c40_true-unreach-call_true-termination.i timeout 120    113    623132672 timeout 120    112    671125504 error: exception 7.26 4.01 225026048 true 12.4  6.96 350539776
loops/nec40_true-unreach-call_true-termination.i timeout 120    113    650747904 timeout 120    112    676745216 error: exception 6.93 3.85 229638144 true 13.0  7.33 371740672
loops/string_true-unreach-call_true-termination.i error: exception 7.68 4.31 247017472 true 21.6  13.2  776011776 error: exception 8.18 4.53 255606784 true 21.8  13.4  796184576
loops/sum01_true-unreach-call_true-termination.i timeout 121    107    1118871552 true 17.2  10.7  668737536 timeout 121    107    1130188800 true 17.0  10.4  657379328
loops/trex01_true-unreach-call_true-termination.i error: exception 7.13 4.01 241385472 true 11.5  6.53 318566400 error: exception 7.20 4.08 243228672 true 11.3  6.39 321495040
loops/trex03_true-unreach-call_true-termination.i error: exception 6.86 3.84 229306368 true 11.0  6.14 286257152 error: exception 7.30 4.05 238485504 true 10.1  5.79 291786752
loops/trex04_true-unreach-call_false-termination.i error: exception 7.36 4.10 245055488 true 11.9  6.63 322748416 error: exception 7.47 4.15 262393856 true 11.4  6.32 330481664
loops/veris.c_OpenSER__cases1_stripFullBoth_arr_true-unreach-call_true-termination.i error: exception 7.89 4.43 258306048 true 15.2  8.89 516431872 error: exception 8.10 4.51 256974848 true 14.6  8.60 518053888
loops/vogal_true-unreach-call.i timeout 121    99.6  1305530368 error: exception 12.2  7.03 370421760 error: exception 7.63 4.26 246312960 error: exception 13.2  7.54 382779392
loop-acceleration/diamond_true-unreach-call2.i true 32.3  22.8  823685120 timeout 121    110    877850624 true 31.0  22.3  841646080 timeout 121    110    857288704
loop-crafted/simple_array_index_value_true-unreach-call1_true-termination.i timeout 121    103    1267687424 error: exception 16.0  10.7  343523328 timeout 121    103    1258913792 error: exception 15.8  10.6  351318016
loop-crafted/simple_array_index_value_true-unreach-call2_true-termination.i timeout 121    103    1274667008 error: exception 11.8  6.59 320737280 timeout 121    103    1222799360 error: exception 11.6  6.46 316588032
loop-crafted/simple_array_index_value_true-unreach-call3_true-termination.i timeout 121    103    1294659584 error: exception 11.2  6.29 329416704 timeout 121    103    1252237312 error: exception 11.3  6.34 318009344
loop-crafted/simple_array_index_value_true-unreach-call4.i.v+lhb-reducer.c error: exception 28.1  22.1  517443584 true 44.2  31.0  829865984 error: exception 27.8  22.1  521117696 true 33.8  22.4  863457280
loop-crafted/simple_array_index_value_true-unreach-call4.i.v+nlh-reducer.c error: exception 28.6  23.0  507908096 true 42.9  31.9  811315200 true 36.2  29.3  665157632 true 39.0  28.3  830865408
loop-invgen/MADWiFi-encode_ie_ok_true-unreach-call_true-termination.i error: exception 7.26 4.10 247672832 true 17.4  10.5  652718080 error: exception 7.42 4.15 244629504 true 17.2  10.5  657178624
loop-invgen/SpamAssassin-loop_true-unreach-call_false-termination.i timeout 121    91.4  1373843456 true 33.2  22.0  981274624 timeout 121    91.9  1331896320 true 33.9  22.8  973029376
loop-invgen/apache-get-tag_true-unreach-call_true-termination.i timeout 121    92.1  1368387584 true 23.5  14.9  828301312 timeout 121    93.1  1354452992 true 23.5  15.1  844013568
loop-invgen/id_build_true-unreach-call_true-termination.i error: exception 6.88 3.80 240369664 true 12.7  7.32 378290176 error: exception 7.51 4.09 235892736 true 12.3  7.09 376549376
loop-invgen/nest-if3_true-unreach-call_true-termination.i timeout 121    106    1219940352 true 10.7  6.10 319307776 timeout 121    107    1179541504 true 11.6  6.52 326750208
loop-invgen/nested6_true-unreach-call_true-termination.i timeout 120    90.2  1344176128 true 23.4  14.6  800915456 timeout 120    90.3  1268781056 true 23.4  14.6  802811904
loop-invgen/nested9_true-unreach-call_true-termination.i error: exception 7.66 4.27 248393728 true 24.0  15.4  832741376 error: exception 7.11 4.09 241614848 true 23.0  14.7  820084736
loop-invgen/sendmail-close-angle_true-unreach-call_true-termination.i timeout 121    92.8  1265266688 true 50.0  34.8  1119514624 timeout 121    92.1  1407193088 true 51.3  35.4  1164435456
loop-invgen/SpamAssassin-loop_true-unreach-call.i.v+cfa-reducer.c timeout 121    93.4  1334837248 true 46.0  29.1  1052344320 timeout 120    95.3  1346248704 true 45.3  28.8  1029406720
loop-invgen/apache-escape-absolute_true-unreach-call.i.v+cfa-reducer.c timeout 121    98.2  1192308736 true 58.4  37.0  1167011840 timeout 121    97.9  1251143680 true 58.9  37.4  1134239744
loop-invgen/apache-get-tag_true-unreach-call.i.p+lhb-reducer.c timeout 120    96.4  1380737024 true 57.5  37.2  1152028672 timeout 121    95.0  1282441216 true 53.7  35.3  1107189760
loop-invgen/apache-get-tag_true-unreach-call.i.p+nlh-reducer.c timeout 120    95.0  1347596288 true 106    75.9  1418006528 timeout 121    94.1  1383952384 true 103    74.2  1415114752
loop-invgen/apache-get-tag_true-unreach-call.i.p+sep-reducer.c timeout 121    92.7  1430257664 true 113    78.3  1598103552 timeout 120    93.5  1403465728 true 118    80.8  1642127360
loop-invgen/apache-get-tag_true-unreach-call.i.v+lhb-reducer.c timeout 121    93.1  1311367168 true 45.8  29.6  1093296128 timeout 121    93.8  1347489792 true 48.4  31.1  1090772992
loop-invgen/apache-get-tag_true-unreach-call.i.v+nlh-reducer.c timeout 121    94.6  1302970368 true 42.2  26.9  1017626624 timeout 121    95.0  1270263808 true 43.7  27.7  997048320
loop-invgen/id_build_true-unreach-call.i.p+nlh-reducer.c error: exception 10.0  5.39 304873472 true 31.6  19.3  847486976 error: exception 10.1  5.46 306065408 true 32.9  19.8  853864448
loop-invgen/id_build_true-unreach-call.i.p+sep-reducer.c error: exception 10.1  5.40 305553408 true 33.5  20.2  847962112 error: exception 9.35 5.14 305049600 true 32.9  20.2  856809472
loop-invgen/id_build_true-unreach-call.i.v+lhb-reducer.c error: exception 7.25 4.03 253956096 true 13.2  7.72 391180288 error: exception 7.33 4.09 243507200 true 13.2  7.62 393531392
loop-lit/afnp2014_true-unreach-call_true-termination.c.i error: exception 10.2  5.89 323112960 true 13.8  8.06 431394816 error: exception 10.9  6.24 312082432 true 13.9  8.03 429326336
loop-lit/bhmr2007_true-unreach-call_true-termination.c.i timeout 121    111    1007865856 true 18.5  11.6  737484800 timeout 121    110    993177600 true 18.5  11.5  737660928
loop-lit/cggmp2005_variant_true-unreach-call_true-termination.c.i timeout 121    109    1127170048 true 15.8  9.43 545906688 timeout 121    109    1074524160 true 15.5  9.36 549875712
loop-lit/ddlm2013_true-unreach-call.i error: exception 7.26 4.04 240476160 true 22.8  14.4  708898816 error: exception 7.32 4.07 243843072 true 24.2  15.3  706289664
loop-lit/gsv2008_true-unreach-call_true-termination.c.i error: exception 14.1  8.56 425873408 true 12.6  7.07 361906176 error: exception 14.0  8.52 407932928 true 12.2  7.04 363945984
loop-lit/hhk2008_true-unreach-call_true-termination.c.i timeout 120    112    862937088 true 13.7  7.98 442114048 timeout 120    112    859881472 true 14.2  8.18 436404224
loop-lit/jm2006_true-unreach-call_true-termination.c.i timeout 121    110    1117462528 true 18.2  11.3  727818240 timeout 121    111    1122586624 true 18.1  11.3  721276928
loop-lit/jm2006_variant_true-unreach-call_true-termination.c.i timeout 121    108    1235898368 true 19.6  12.3  801849344 timeout 121    107    1183821824 true 19.3  12.1  808026112
loop-lit/gsv2008_true-unreach-call.c.i.p+cfa-reducer.c error: exception 9.32 5.46 271245312 true 12.0  6.71 326164480 error: exception 9.36 5.52 270721024 true 11.5  6.55 324825088
loop-lit/gsv2008_true-unreach-call.c.i.v+cfa-reducer.c error: exception 9.66 5.63 270995456 true 11.2  6.38 320299008 error: exception 9.27 5.54 275357696 true 12.5  6.92 319373312
loop-lit/gsv2008_true-unreach-call.c.i.v+lhb-reducer.c error: exception 72.0  64.2  872218624 true 14.1  8.03 371220480 error: exception 73.8  66.5  878166016 true 13.5  7.75 380149760
loop-lit/jm2006_true-unreach-call.c.i.v+cfa-reducer.c timeout 121    111    1058721792 true 16.5  9.91 554561536 timeout 121    111    1052782592 true 16.3  9.77 547831808
loop-new/gauss_sum_true-unreach-call_true-termination.i error: exception 63.7  57.1  737665024 timeout 121    94.1  1406341120 error: exception 68.5  61.9  736894976 timeout 121    94.3  1422843904
loop-new/half_true-unreach-call_true-termination.i timeout 121    108    1161539584 error: exception 13.4  7.73 409460736 timeout 121    108    1147744256 error: exception 13.8  8.01 414806016
loop-new/gauss_sum_true-unreach-call.i.p+cfa-reducer.c error: exception 50.8  44.6  576827392 timeout 121    93.1  1422385152 error: exception 50.1  44.0  587300864 timeout 121    92.2  1367711744
loop-new/gauss_sum_true-unreach-call.i.p+lhb-reducer.c error: exception 8.61 5.09 272330752 timeout 121    91.8  1442570240 error: exception 9.35 5.44 270757888 timeout 121    93.2  1406717952
loop-new/gauss_sum_true-unreach-call.i.v+cfa-reducer.c error: exception 42.7  36.7  564953088 timeout 121    94.3  1421963264 error: exception 42.4  36.2  576589824 timeout 121    94.4  1404588032
loop-industry-pattern/aiob_4_true-unreach-call.c.v+cfa-reducer.c timeout 121    107    1114062848 timeout 121    110    912760832 error: exception 8.80 4.89 296284160 timeout 121    109    947666944
loop-industry-pattern/aiob_4_true-unreach-call.c.v+lh-reducer.c timeout 121    106    1104789504 timeout 121    110    929804288 error: exception 9.18 5.05 279691264 timeout 121    109    900771840
loop-industry-pattern/aiob_4_true-unreach-call.c.v+lhb-reducer.c timeout 121    108    1056862208 timeout 121    103    1234980864 error: exception 9.69 5.22 300683264 timeout 121    100    1292484608
loop-industry-pattern/aiob_4_true-unreach-call.c.v+nlh-reducer.c timeout 121    107    1164292096 timeout 120    95.4  1422110720 error: exception 11.7  6.26 363786240 error: exception 67.5  36.9  1832079360
loop-industry-pattern/mod3_true-unreach-call.c timeout 120    115    477196288 true 28.2  20.9  442888192 timeout 120    115    464429056 true 32.2  24.4  435646464
loop-industry-pattern/mod3_true-unreach-call.c.v+cfa-reducer.c timeout 120    115    432959488 true 19.8  14.4  343101440 timeout 120    115    434733056 true 24.5  17.6  410939392
loop-industry-pattern/mod3_true-unreach-call.c.v+lhb-reducer.c timeout 120    115    386871296 true 16.7  11.0  334983168 timeout 120    115    385052672 true 20.5  14.7  331214848
loop-industry-pattern/mod3_true-unreach-call.c.v+sep-reducer.c timeout 120    116    456802304 true 18.6  13.2  338001920 timeout 120    115    458784768 true 20.4  14.3  346505216
loops/heavy_true-unreach-call.c timeout 121    70.1  7103631360 timeout 121    70.0  7595094016 error: exception 7.23 4.03 270233600 error: exception 12.2  6.79 317054976
loops/compact_false-unreach-call.c timeout 121    102    3137052672 timeout 121    103    3140046848 error: exception 6.85 3.88 234995712 error: exception 11.2  6.31 303706112
loops/heavy_false-unreach-call.c timeout 122    69.5  7067357184 timeout 122    73.3  7079428096 error: exception 7.72 4.30 266399744 error: exception 12.1  6.75 321622016
loop-invariants/bin-suffix-5_true-unreach-call_true-valid-memsafety_true-no-overflow_false-termination.c true 12.5  7.16 366211072 false 8.83 4.91 260632576 true 12.3  7.06 360968192 false 9.05 5.08 267091968
../../../trunk/examples/svcomp/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
total 250 21200 18200 276897411072 250 15200 11400 279440666624 250 18200 15600 218131603456 250 14500 10700 241658568704
    correct results 0 0 0 0
        correct true 0 0 0 0
        correct false 0 0 0 0
    incorrect results 0 0 0 0
        incorrect true 0 0 0 0
        incorrect false 0 0 0 0
Run set Bitvector.ReachSafety32 Default.ReachSafety32 Bitvector-ConstArray.ReachSafety32 Default-ConstArray.ReachSafety32