Tool ULTIMATE Automizer 0.1.23-61f43111
Limits timelimit: 240 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-23 09:54:49 CET
Run set Bitvector.ReachSafety32 Default.ReachSafety32
Options -tc ../../../trunk/examples/toolchains/AutomizerCInline_WitnessPrinter.xml -ea -s ../../../trunk/examples/settings/default/automizer/svcomp-Reach-32bit-Automizer_Bitvector.epf -tc ../../../trunk/examples/toolchains/AutomizerCInline_WitnessPrinter.xml -ea -s ../../../trunk/examples/settings/default/automizer/svcomp-Reach-32bit-Automizer_Default.epf
../../../trunk/examples/svcomp/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
array-examples/data_structures_set_multi_proc_false-unreach-call_ground.i timeout 240    211    1351520256 timeout 241    180    1893003264
array-examples/sorting_bubblesort_false-unreach-call2_ground.i timeout 241    223    1268563968 timeout 241    180    1501929472
array-examples/sorting_bubblesort_false-unreach-call_ground.i timeout 241    223    1307529216 timeout 241    183    1510133760
array-examples/sorting_selectionsort_false-unreach-call2_ground.i timeout 241    214    1265102848 timeout 240    182    1470124032
array-examples/sorting_selectionsort_false-unreach-call_ground.i timeout 241    217    1316147200 timeout 240    180    1599692800
array-examples/standard_allDiff2_false-unreach-call_ground.i timeout 241    213    1301803008 timeout 241    192    1917181952
array-examples/standard_copy1_false-unreach-call_ground.i timeout 240    231    1210490880 timeout 241    211    1304670208
array-examples/standard_copy2_false-unreach-call_ground.i timeout 240    232    1361371136 timeout 241    216    1212248064
array-examples/standard_copy3_false-unreach-call_ground.i timeout 240    230    1267871744 timeout 241    218    1202888704
array-examples/standard_copy4_false-unreach-call_ground.i timeout 240    230    1293168640 timeout 241    217    1221599232
array-examples/standard_copy5_false-unreach-call_ground.i timeout 240    230    1337716736 timeout 241    216    1203109888
array-examples/standard_copy6_false-unreach-call_ground.i timeout 240    228    1375289344 timeout 241    218    1241976832
array-examples/standard_copy7_false-unreach-call_ground.i timeout 240    229    1404796928 timeout 241    219    1245593600
array-examples/standard_copy8_false-unreach-call_ground.i timeout 241    229    1343692800 timeout 241    216    1278738432
array-examples/standard_copy9_false-unreach-call_ground.i timeout 240    228    1389490176 timeout 241    215    1285332992
array-examples/standard_copyInitSum2_false-unreach-call_ground.i timeout 240    227    1427337216 timeout 241    221    1255346176
array-examples/standard_init1_false-unreach-call_ground.i timeout 240    232    1155043328 timeout 241    204    1454895104
array-examples/standard_init2_false-unreach-call_ground.i timeout 240    231    1175572480 timeout 241    211    1264128000
array-examples/standard_init3_false-unreach-call_ground.i timeout 240    230    1322950656 timeout 241    216    1187581952
array-examples/standard_init4_false-unreach-call_ground.i timeout 240    228    1319473152 timeout 241    216    1196339200
array-examples/standard_init5_false-unreach-call_ground.i timeout 240    228    1338437632 timeout 241    221    1238765568
array-examples/standard_init6_false-unreach-call_ground.i timeout 241    227    1422852096 timeout 241    214    1169412096
array-examples/standard_init7_false-unreach-call_ground.i timeout 240    226    1470140416 timeout 241    216    1158823936
array-examples/standard_init8_false-unreach-call_ground.i timeout 241    225    1452130304 timeout 241    215    1192017920
array-examples/standard_init9_false-unreach-call_ground.i timeout 241    224    1530597376 timeout 241    216    1180655616
array-examples/standard_minInArray_false-unreach-call_ground.i timeout 241    224    1359822848 timeout 241    182    1581420544
array-examples/standard_partition_false-unreach-call_ground.i timeout 240    226    1314656256 timeout 241    218    1184047104
array-examples/standard_running_false-unreach-call.i timeout 241    205    1399091200 timeout 241    218    1426714624
array-examples/data_structures_set_multi_proc_trivial_true-unreach-call_ground_true-termination.i true 16.4  9.95 527880192 true 15.3  9.29 520966144
array-examples/data_structures_set_multi_proc_true-unreach-call_ground.i timeout 240    184    5823275008 timeout 241    206    1702412288
array-examples/relax_true-unreach-call.i timeout 241    204    1263861760 timeout 241    203    1193414656
array-examples/sanfoundry_02_true-unreach-call_ground.i timeout 242    223    1306329088 timeout 241    177    1491574784
array-examples/sanfoundry_10_true-unreach-call_ground.i timeout 240    214    1441636352 timeout 240    230    1084747776
array-examples/sanfoundry_24_true-unreach-call_true-termination.i true 19.8  13.1  708018176 true 15.1  9.25 509579264
array-examples/sanfoundry_27_true-unreach-call_ground.i timeout 241    224    1296138240 timeout 240    175    1417871360
array-examples/sanfoundry_43_true-unreach-call_ground.i true 8.73 5.16 269266944 true 7.75 4.72 262012928
array-examples/sorting_bubblesort_true-unreach-call_ground.i timeout 241    216    1340841984 timeout 241    214    1292697600
array-examples/sorting_selectionsort_true-unreach-call_ground.i timeout 241    218    1305325568 timeout 240    181    1625133056
array-examples/standard_compareModified_true-unreach-call_ground.i timeout 240    230    1428918272 timeout 240    197    1440829440
array-examples/standard_compare_true-unreach-call_ground.i timeout 241    221    1350127616 timeout 241    225    1218842624
array-examples/standard_copy1_true-unreach-call_ground.i timeout 240    231    1204629504 timeout 241    209    1322627072
array-examples/standard_copy2_true-unreach-call_ground.i timeout 240    232    1110581248 timeout 241    214    1189240832
array-examples/standard_copy3_true-unreach-call_ground.i timeout 240    231    1213419520 timeout 241    219    1256243200
array-examples/standard_copy4_true-unreach-call_ground.i timeout 240    230    1215422464 timeout 241    219    1222209536
array-examples/standard_copy5_true-unreach-call_ground.i timeout 240    230    1313067008 timeout 240    213    1358516224
array-examples/standard_copy6_true-unreach-call_ground.i timeout 240    230    1302781952 timeout 241    213    1371688960
array-examples/standard_copy7_true-unreach-call_ground.i timeout 240    228    1365123072 timeout 241    218    1265762304
array-examples/standard_copy8_true-unreach-call_ground.i timeout 240    228    1364955136 timeout 241    214    1257738240
array-examples/standard_copy9_true-unreach-call_ground.i timeout 240    227    1362018304 timeout 241    215    1233649664
array-examples/standard_copyInitSum2_true-unreach-call_ground.i timeout 240    228    1430986752 timeout 241    218    1246826496
array-examples/standard_copyInitSum3_true-unreach-call_ground.i timeout 240    227    1470623744 timeout 241    217    1219379200
array-examples/standard_copyInitSum_true-unreach-call_ground.i timeout 240    228    1464102912 timeout 241    219    1198403584
array-examples/standard_copyInit_true-unreach-call_ground.i timeout 240    230    1452986368 timeout 241    218    1226010624
array-examples/standard_find_true-unreach-call_ground.i timeout 241    219    1272524800 timeout 241    186    1484484608
array-examples/standard_init1_true-unreach-call_ground.i timeout 240    233    1182138368 timeout 240    204    1435942912
array-examples/standard_init2_true-unreach-call_ground.i timeout 240    231    1191202816 timeout 241    214    1259876352
array-examples/standard_init3_true-unreach-call_ground.i timeout 240    230    1380368384 timeout 241    216    1230389248
array-examples/standard_init4_true-unreach-call_ground.i timeout 240    228    1387466752 timeout 241    216    1185845248
array-examples/standard_init5_true-unreach-call_ground.i timeout 241    228    1410433024 timeout 241    220    1230336000
array-examples/standard_init6_true-unreach-call_ground.i timeout 241    227    1462136832 timeout 241    217    1203224576
array-examples/standard_init7_true-unreach-call_ground.i timeout 241    226    1490505728 timeout 241    216    1233760256
array-examples/standard_init8_true-unreach-call_ground.i timeout 241    226    1454886912 timeout 241    215    1188446208
array-examples/standard_init9_true-unreach-call_ground.i timeout 241    224    1489817600 timeout 241    217    1162104832
array-examples/standard_maxInArray_true-unreach-call_ground.i timeout 241    224    1288347648 timeout 241    180    1519161344
array-examples/standard_minInArray_true-unreach-call_ground.i timeout 241    224    1295978496 timeout 241    178    1498681344
array-examples/standard_palindrome_true-unreach-call_ground.i timeout 240    232    1295904768 timeout 241    205    1394458624
array-examples/standard_partial_init_true-unreach-call_ground.i timeout 240    230    1354502144 timeout 240    197    1419218944
array-examples/standard_partition_original_true-unreach-call_ground.i timeout 240    230    1416077312 timeout 241    195    1401565184
array-examples/standard_partition_true-unreach-call_ground.i timeout 240    231    1269936128 timeout 241    218    1250295808
array-examples/standard_password_true-unreach-call_ground.i timeout 241    220    1447718912 timeout 241    226    1163685888
array-examples/standard_reverse_true-unreach-call_ground.i timeout 241    225    1310863360 timeout 241    225    1197690880
array-examples/standard_running_true-unreach-call.i timeout 241    207    1399468032 timeout 241    219    1432653824
array-examples/standard_sentinel_true-unreach-call_true-termination.i timeout 241    229    1314914304 true 24.5  16.0  824090624
array-examples/standard_seq_init_true-unreach-call_ground.i timeout 240    232    1249718272 timeout 240    198    1357570048
array-examples/standard_strcmp_true-unreach-call_ground.i timeout 240    225    1189416960 timeout 240    226    1246269440
array-examples/standard_strcpy_original_true-unreach-call.i timeout 241    221    1321394176 timeout 241    215    1190592512
array-examples/standard_strcpy_true-unreach-call_ground.i timeout 241    220    1298145280 timeout 241    224    1282990080
array-examples/standard_two_index_01_true-unreach-call.i timeout 240    224    1454465024 timeout 242    211    1280888832
array-examples/standard_two_index_02_true-unreach-call.i timeout 241    224    1458675712 timeout 241    208    1269141504
array-examples/standard_two_index_03_true-unreach-call.i timeout 240    229    1390686208 timeout 241    203    1340796928
array-examples/standard_two_index_04_true-unreach-call.i timeout 240    230    1396027392 timeout 241    202    1396064256
array-examples/standard_two_index_05_true-unreach-call.i timeout 240    232    1158930432 timeout 241    201    1412935680
array-examples/standard_two_index_06_true-unreach-call.i timeout 240    232    1219899392 timeout 241    204    1477799936
array-examples/standard_two_index_07_true-unreach-call.i timeout 240    232    1230262272 timeout 241    203    1379164160
array-examples/standard_two_index_08_true-unreach-call.i timeout 240    232    1178849280 timeout 241    202    1384779776
array-examples/standard_two_index_09_true-unreach-call.i timeout 240    232    1108951040 timeout 241    203    1416486912
array-examples/standard_vararg_true-unreach-call_ground_true-termination.i timeout 241    227    1353650176 timeout 242    219    1317552128
array-examples/standard_vector_difference_true-unreach-call_ground.i timeout 240    232    1491333120 timeout 241    209    1348022272
array-examples/standard_sentinel_true-unreach-call.i.v+cfa-reducer.c timeout 241    228    1361563648 true 30.7  20.8  891600896
array-industry-pattern/array_assert_loop_dep_false-unreach-call_true-termination.i timeout 241    224    1316892672 timeout 240    191    1491460096
array-industry-pattern/array_of_struct_loop_dep_false-unreach-call.i timeout 240    225    3241365504 timeout 240    223    3185680384
array-industry-pattern/array_ptr_single_elem_init_false-unreach-call_true-termination.i timeout 241    215    1472237568 timeout 241    186    1526132736
array-industry-pattern/array_range_init_false-unreach-call.i timeout 241    223    3195977728 timeout 240    223    3167375360
array-industry-pattern/array_single_elem_init_false-unreach-call_true-termination.i timeout 241    214    1382420480 timeout 241    192    1553207296
array-industry-pattern/check_removal_from_set_after_insertion_false-unreach-call.i timeout 241    206    1506086912 timeout 241    202    1651765248
array-industry-pattern/array_monotonic_true-unreach-call_true-termination.i timeout 241    226    1437474816 timeout 241    211    1370705920
array-industry-pattern/array_mul_init_true-unreach-call_true-termination.i timeout 241    223    1406550016 timeout 241    211    1546989568
array-industry-pattern/array_of_struct_break_true-unreach-call.i timeout 241    220    3161382912 timeout 240    223    3154432000
array-industry-pattern/array_of_struct_ptr_cond_init_true-unreach-call.i timeout 241    222    3332820992 timeout 240    223    3298111488
array-industry-pattern/array_of_struct_ptr_flag_init_true-unreach-call.i true 140    122    1278914560 true 35.2  22.6  976613376
array-industry-pattern/array_of_struct_ptr_monotonic_true-unreach-call.i timeout 240    224    3281158144 timeout 240    225    3293126656
array-industry-pattern/array_of_struct_ptr_mul_init_true-unreach-call.i timeout 241    217    3441590272 timeout 241    218    3494793216
array-industry-pattern/array_of_struct_single_elem_init_true-unreach-call.i timeout 241    217    3492151296 timeout 241    220    3488849920
array-industry-pattern/array_ptr_partial_init_true-unreach-call.i timeout 240    223    3288866816 timeout 240    226    3307294720
array-industry-pattern/array_ptr_single_elem_init_true-unreach-call.i timeout 240    224    3328348160 timeout 240    223    3244670976
array-industry-pattern/array_shadowinit_true-unreach-call_true-termination.i timeout 241    206    1489993728 timeout 241    187    1653809152
reducercommutativity/rangesum05_false-unreach-call_true-termination.i false 54.4  43.5  1206501376 false 36.7  22.8  997814272
reducercommutativity/rangesum10_false-unreach-call_true-termination.i timeout 240    229    1440403456 false 75.0  54.5  1172152320
reducercommutativity/rangesum20_false-unreach-call.i timeout 241    225    1348980736 timeout 241    194    1439035392
reducercommutativity/rangesum40_false-unreach-call.i timeout 241    211    1784369152 timeout 241    188    1498025984
reducercommutativity/rangesum60_false-unreach-call.i timeout 241    211    1706541056 timeout 241    221    1123987456
reducercommutativity/rangesum_false-unreach-call_true-termination.i false 80.2  67.5  1475006464 false 30.3  19.2  874995712
reducercommutativity/avg05_true-unreach-call_true-termination.i timeout 240    231    1788526592 error: exception 52.5  30.8  1127600128
reducercommutativity/avg10_true-unreach-call_true-termination.i timeout 240    231    2737135616 error: exception 97.8  62.8  1629511680
reducercommutativity/avg20_true-unreach-call.i timeout 240    230    1281245184 timeout 242    171    1441816576
reducercommutativity/avg40_true-unreach-call.i timeout 241    227    1253658624 timeout 241    197    1496498176
reducercommutativity/avg60_true-unreach-call.i timeout 241    223    1491787776 timeout 240    186    1580331008
reducercommutativity/avg_true-unreach-call_true-termination.i timeout 241    232    1788362752 timeout 240    234    847757312
reducercommutativity/max05_true-unreach-call_true-termination.i timeout 240    228    1148411904 error: exception 35.8  21.7  991830016
reducercommutativity/max10_true-unreach-call_true-termination.i timeout 241    226    1228939264 error: exception 71.8  44.9  1279885312
reducercommutativity/max20_true-unreach-call.i timeout 240    230    1564815360 timeout 241    187    1578983424
reducercommutativity/max40_true-unreach-call.i timeout 240    228    1288761344 timeout 241    192    1485787136
reducercommutativity/max60_true-unreach-call.i timeout 241    221    1395085312 timeout 241    188    1462292480
reducercommutativity/max_true-unreach-call_true-termination.i timeout 240    230    1443840000 error: exception 19.3  11.5  698609664
reducercommutativity/sep05_true-unreach-call_true-termination.i timeout 241    223    1344045056 error: exception 42.4  26.9  999698432
reducercommutativity/sep10_true-unreach-call.i timeout 241    216    1441730560 error: exception 92.3  59.2  1303044096
reducercommutativity/sep20_true-unreach-call.i timeout 240    231    1281028096 timeout 241    177    1509994496
reducercommutativity/sep40_true-unreach-call.i timeout 240    228    1360412672 timeout 240    187    1538191360
reducercommutativity/sep60_true-unreach-call.i timeout 241    222    1414258688 timeout 240    191    1486774272
reducercommutativity/sep_true-unreach-call_true-termination.i timeout 241    224    1389051904 error: exception 27.0  16.6  817209344
reducercommutativity/sum05_true-unreach-call_true-termination.i timeout 240    233    2076205056 timeout 240    225    2906206208
reducercommutativity/sum10_true-unreach-call_true-termination.i timeout 240    232    2228178944 error: exception 75.6  46.5  1214050304
reducercommutativity/sum20_true-unreach-call.i timeout 240    230    1447755776 timeout 241    184    1501257728
reducercommutativity/sum40_true-unreach-call.i timeout 240    228    1347665920 timeout 241    193    1425080320
reducercommutativity/sum60_true-unreach-call.i timeout 241    222    1408892928 timeout 242    196    1546506240
reducercommutativity/sum_true-unreach-call_true-termination.i timeout 241    226    1186086912 timeout 240    226    1215668224
array-tiling/mlceu_false-unreach-call.i timeout 241    218    1189715968 timeout 241    203    1386577920
array-tiling/skippedu_false-unreach-call.i false 19.2  12.7  585187328 false 18.5  11.4  629428224
array-tiling/mbpr2_true-unreach-call.i timeout 241    222    1264259072 error: exception 28.9  19.0  834904064
array-tiling/mbpr3_true-unreach-call.i timeout 241    224    1215623168 timeout 240    206    1451352064
array-tiling/mbpr4_true-unreach-call.i timeout 241    217    1209430016 timeout 240    201    1430204416
array-tiling/mbpr5_true-unreach-call.i timeout 241    217    1291358208 timeout 241    209    1622523904
array-tiling/nr2_true-unreach-call.i timeout 241    222    1283321856 timeout 241    223    1372655616
array-tiling/nr3_true-unreach-call.i timeout 241    227    1313886208 timeout 241    220    1416536064
array-tiling/nr4_true-unreach-call.i timeout 241    226    1372909568 error: exception 44.0  31.2  1097236480
array-tiling/nr5_true-unreach-call.i timeout 240    227    1451749376 error: exception 44.3  32.0  1159417856
array-tiling/pnr2_true-unreach-call.i timeout 241    225    1260773376 timeout 241    220    1377923072
array-tiling/pnr3_true-unreach-call.i timeout 240    223    1192996864 timeout 241    212    1550823424
array-tiling/pnr4_true-unreach-call.i timeout 240    222    1283022848 timeout 240    205    1476116480
array-tiling/pnr5_true-unreach-call.i timeout 241    223    1228308480 timeout 241    217    1349537792
array-tiling/poly1_true-unreach-call.i error: exception 26.5  20.8  815702016 timeout 241    210    1223434240
array-tiling/poly2_true-unreach-call.i true 17.4  11.7  454590464 timeout 240    231    1010507776
array-tiling/pr2_true-unreach-call.i timeout 242    220    1236295680 timeout 241    200    1553305600
array-tiling/pr3_true-unreach-call.i timeout 240    215    1386090496 timeout 241    194    1661923328
array-tiling/pr4_true-unreach-call.i timeout 240    216    1249751040 timeout 241    195    1557676032
array-tiling/pr5_true-unreach-call.i timeout 241    211    1298829312 timeout 241    196    1612931072
array-tiling/revcpyswp2_true-unreach-call.i timeout 240    229    1511985152 error: exception 76.4  60.2  1202003968
array-tiling/rew_true-unreach-call.i timeout 241    225    1570385920 timeout 241    217    1481117696
array-tiling/rewnif_true-unreach-call.i timeout 241    216    1274269696 timeout 240    196    2033913856
array-tiling/rewnifrev2_true-unreach-call.i timeout 240    228    1531576320 timeout 241    196    1641185280
array-tiling/rewnifrev_true-unreach-call.i timeout 241    233    994406400 timeout 241    196    1609256960
array-tiling/rewrev_true-unreach-call.i timeout 240    223    1380007936 error: exception 25.3  17.6  822771712
array-tiling/skipped_true-unreach-call.i timeout 242    218    1433427968 timeout 240    198    1514725376
array-tiling/tcpy_true-unreach-call.i timeout 240    234    875159552 timeout 241    228    1193590784
array-programs/copysome1_false-unreach-call.i timeout 241    222    1638481920 timeout 241    225    1154539520
array-programs/copysome2_false-unreach-call.i timeout 241    220    1581006848 timeout 241    206    1802366976
array-programs/copysome1_true-unreach-call.i timeout 241    222    1581293568 timeout 241    226    1151578112
array-programs/copysome2_true-unreach-call.i timeout 241    220    1545945088 timeout 241    205    1671307264
array-crafted/bAnd1_true-unreach-call.i timeout 241    219    1282347008 timeout 240    195    1421295616
array-crafted/bAnd2_true-unreach-call.i timeout 241    220    1239920640 timeout 241    195    1573425152
array-crafted/bAnd3_true-unreach-call.i timeout 241    220    1266937856 timeout 241    196    1515147264
array-crafted/bAnd4_true-unreach-call.i timeout 241    219    1294295040 timeout 241    193    1477500928
array-crafted/bAnd5_true-unreach-call.i timeout 240    228    1265610752 unknown: overapproxcex 14.9  8.81 439980032
array-crafted/bor1_true-unreach-call.i timeout 241    219    1264660480 timeout 241    195    1426743296
array-crafted/bor2_true-unreach-call.i timeout 241    220    1350103040 timeout 241    195    1435791360
array-crafted/bor3_true-unreach-call.i timeout 241    219    1339322368 timeout 240    195    1504903168
array-crafted/bor4_true-unreach-call.i timeout 241    219    1276252160 timeout 240    195    1501859840
array-crafted/bor5_true-unreach-call.i timeout 240    226    1220440064 unknown: overapproxcex 14.2  8.50 444416000
array-crafted/mapavg1_true-unreach-call.i timeout 241    220    1341206528 timeout 240    190    1549393920
array-crafted/mapavg2_true-unreach-call.i timeout 241    220    1336860672 timeout 240    188    1491427328
array-crafted/mapavg3_true-unreach-call.i timeout 241    222    1397817344 timeout 240    196    1509826560
array-crafted/mapavg4_true-unreach-call.i timeout 241    220    1421316096 timeout 240    191    1573236736
array-crafted/mapavg5_true-unreach-call.i timeout 240    234    3263197184 timeout 241    226    2352799744
array-crafted/mapsum1_true-unreach-call.i timeout 241    220    1334816768 timeout 241    196    1536790528
array-crafted/mapsum2_true-unreach-call.i timeout 241    221    1282994176 timeout 241    195    1521295360
array-crafted/mapsum3_true-unreach-call.i timeout 241    220    1281695744 timeout 240    198    1582960640
array-crafted/mapsum4_true-unreach-call.i timeout 241    220    1291173888 timeout 240    198    1566887936
array-crafted/mapsum5_true-unreach-call.i timeout 240    229    1177939968 timeout 240    231    2928791552
array-crafted/xor1_true-unreach-call.i timeout 241    219    1293291520 timeout 241    190    1501302784
array-crafted/xor2_true-unreach-call.i timeout 241    221    1331122176 timeout 241    195    1518002176
array-crafted/xor3_true-unreach-call.i timeout 241    220    1250713600 timeout 241    197    2592010240
array-crafted/xor4_true-unreach-call.i timeout 241    220    1254404096 timeout 241    191    1528659968
array-crafted/xor5_true-unreach-call.i timeout 241    225    1191608320 unknown: overapproxcex 15.6  9.31 496259072
array-crafted/zero_sum1_true-unreach-call.c timeout 241    225    2153304064 timeout 240    204    1567641600
array-crafted/zero_sum2_true-unreach-call.c timeout 241    223    1708662784 timeout 240    202    1482825728
array-crafted/zero_sum3_true-unreach-call.c timeout 241    225    1386151936 timeout 241    198    1524518912
array-crafted/zero_sum4_true-unreach-call.c timeout 241    223    1758478336 timeout 240    201    1623740416
array-crafted/zero_sum5_true-unreach-call.c timeout 241    222    1426493440 timeout 241    196    1516662784
array-crafted/zero_sum_const1_true-unreach-call.c timeout 241    220    1199456256 timeout 241    198    1556885504
array-crafted/zero_sum_const2_true-unreach-call.c timeout 241    223    1195470848 timeout 241    199    1567019008
array-crafted/zero_sum_const3_true-unreach-call.c timeout 241    222    1145180160 error: exception 178    141    1503367168
array-crafted/zero_sum_const4_true-unreach-call.c timeout 241    221    1199095808 timeout 241    200    1547374592
array-crafted/zero_sum_const5_true-unreach-call.c timeout 241    223    1180078080 timeout 241    201    1504354304
array-crafted/zero_sum_const_m2_true-unreach-call.c timeout 241    225    1184772096 timeout 240    203    1528348672
array-crafted/zero_sum_const_m3_true-unreach-call.c timeout 240    227    1166729216 error: exception 222    184    1499942912
array-crafted/zero_sum_const_m4_true-unreach-call.c timeout 241    225    1191440384 timeout 240    205    1575432192
array-crafted/zero_sum_const_m5_true-unreach-call.c timeout 240    230    1101484032 timeout 241    206    1558622208
array-crafted/zero_sum_m2_true-unreach-call.c timeout 241    227    1734815744 timeout 240    203    1522282496
array-crafted/zero_sum_m3_true-unreach-call.c timeout 241    229    1402355712 timeout 240    205    1587642368
array-crafted/zero_sum_m4_true-unreach-call.c timeout 240    229    1852592128 timeout 240    205    1620553728
array-crafted/zero_sum_m5_true-unreach-call.c timeout 241    230    1680478208 timeout 241    209    1477951488
array-multidimensional/add-2-n-u_true-unreach-call.i timeout 241    219    1362231296 error: exception 20.8  13.3  773439488
array-multidimensional/add-3-n-u_true-unreach-call.i timeout 241    223    1215348736 timeout 240    230    1056428032
array-multidimensional/copy-2-u_true-unreach-call.i timeout 241    218    1436409856 error: exception 19.0  12.1  767799296
array-multidimensional/copy-3-n-u_true-unreach-call.i timeout 241    223    1146593280 timeout 240    230    949018624
array-multidimensional/copy-partial-2-n-u_true-unreach-call.i timeout 241    216    1200054272 error: exception 26.6  17.3  839098368
array-multidimensional/copy-partial-3-u_true-unreach-call.i true 46.5  37.1  865017856 true 24.2  14.9  820772864
array-multidimensional/diff-2-n-u_true-unreach-call.i timeout 241    219    1354428416 timeout 240    231    935710720
array-multidimensional/diff-3-n-u_true-unreach-call.i timeout 241    223    1162342400 timeout 240    230    1045569536
array-multidimensional/init-2-n-u_true-unreach-call.i timeout 240    230    1234817024 timeout 240    223    1345294336
array-multidimensional/init-3-u_true-unreach-call.i timeout 240    230    1116499968 timeout 241    222    1212477440
array-multidimensional/init-4-n-u_true-unreach-call.i timeout 240    228    1220169728 error: exception 22.3  13.9  776810496
array-multidimensional/init-non-constant-2-n-u_true-unreach-call.i error: exception 13.7  8.63 395780096 error: exception 13.0  7.92 419610624
array-multidimensional/init-non-constant-3-u_true-unreach-call.i timeout 240    230    1128148992 timeout 241    222    2270920704
array-multidimensional/max-2-u_true-unreach-call.i timeout 241    219    1325543424 timeout 241    222    1456214016
array-multidimensional/max-3-n-u_true-unreach-call.i timeout 241    221    1130209280 error: exception 25.0  16.1  805900288
array-multidimensional/min-2-u_true-unreach-call.i timeout 241    219    1365225472 timeout 241    221    1028022272
array-multidimensional/min-3-n-u_true-unreach-call.i timeout 241    223    1209876480 error: exception 26.1  16.9  798498816
array-multidimensional/rev-2-n-u_true-unreach-call.i timeout 241    220    1346662400 error: exception 19.7  12.6  808001536
array-multidimensional/rev-3-u_true-unreach-call.i timeout 241    224    1175085056 timeout 240    230    974323712
array-multidimensional/transpose-u_true-unreach-call.i timeout 241    222    1346162688 timeout 240    232    855744512
reducercommutativity/rangesum05_false-unreach-call.yml unknown 4.47 2.38 168677376 unknown 4.20 2.24 168632320
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c timeout 241    193    1778020352 timeout 241    192    1852706816
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c timeout 241    189    1566703616 timeout 241    190    1608024064
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c timeout 240    194    1569443840 timeout 241    193    1613500416
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c false 109    75.5  1382797312 false 100    65.4  1260752896
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c timeout 241    191    1780994048 timeout 240    182    1750011904
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c timeout 241    194    1553358848 timeout 240    182    1604939776
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c timeout 241    190    1558695936 timeout 241    186    1517039616
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c timeout 240    196    1615462400 timeout 241    188    1631784960
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 61.3  40.5  1163698176 true 82.2  53.7  1277308928
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 80.9  53.1  1294729216 true 77.6  49.1  1241104384
ssh-simplified/s3_clnt_1_false-unreach-call_true-termination.cil.c false 44.2  27.3  1009377280 false 40.5  25.1  1007337472
ssh-simplified/s3_clnt_2_false-unreach-call_true-termination.cil.c false 42.8  26.7  993570816 false 43.9  26.6  992034816
ssh-simplified/s3_clnt_3_false-unreach-call_true-termination.cil.c false 44.9  27.4  1025552384 false 48.5  29.0  1007820800
ssh-simplified/s3_clnt_4_false-unreach-call_true-termination.cil.c false 43.4  26.6  1059332096 false 43.1  26.3  1005547520
ssh-simplified/s3_srvr_10_false-unreach-call_false-termination.cil.c false 18.1  11.1  682225664 false 36.3  23.0  982089728
ssh-simplified/s3_srvr_11_false-unreach-call_false-termination.cil.c timeout 240    203    1498476544 timeout 240    202    1732001792
ssh-simplified/s3_srvr_12_false-unreach-call_false-termination.cil.c false 158    126    1607819264 timeout 241    196    1610792960
ssh-simplified/s3_srvr_13_false-unreach-call_false-termination.cil.c false 68.7  45.5  1184944128 false 180    144    1656741888
ssh-simplified/s3_srvr_14_false-unreach-call_false-termination.cil.c false 78.0  53.7  1252405248 false 149    118    1593434112
ssh-simplified/s3_srvr_1_false-unreach-call_false-termination.cil.c false 36.6  22.5  1029861376 false 77.0  51.1  1263128576
ssh-simplified/s3_srvr_2_false-unreach-call_false-termination.cil.c false 34.1  21.6  978259968 false 77.3  51.1  1243783168
ssh-simplified/s3_srvr_6_false-unreach-call_false-termination.cil.c false 12.9  7.51 366321664 false 12.2  7.14 379420672
ssh-simplified/s3_clnt_1_true-unreach-call_true-termination.cil.c true 186    152    1568194560 timeout 240    199    1553616896
ssh-simplified/s3_clnt_2_true-unreach-call_true-termination.cil.c true 202    168    1564360704 timeout 240    201    1488121856
ssh-simplified/s3_clnt_3_true-unreach-call_true-termination.cil.c true 195    160    1622806528 timeout 240    200    1551753216
ssh-simplified/s3_clnt_4_true-unreach-call_true-termination.cil.c true 201    166    1606467584 timeout 241    200    1605095424
ssh-simplified/s3_srvr_1_true-unreach-call_false-termination.cil.c true 229    189    1537708032 timeout 241    192    1648091136
ssh-simplified/s3_srvr_1a_true-unreach-call_false-termination.cil.c true 25.9  16.1  785620992 true 26.8  16.4  838193152
ssh-simplified/s3_srvr_1b_true-unreach-call_false-termination.cil.c true 16.2  10.1  594755584 true 14.7  9.18 581394432
ssh-simplified/s3_srvr_2_true-unreach-call_false-termination.cil.c true 196    156    1573834752 timeout 241    192    1636143104
ssh-simplified/s3_srvr_3_true-unreach-call_false-termination.cil.c true 231    190    1602088960 timeout 241    190    1641594880
ssh-simplified/s3_srvr_4_true-unreach-call_false-termination.cil.c true 178    140    1494949888 timeout 241    195    1569755136
ssh-simplified/s3_srvr_6_true-unreach-call_false-termination.cil.c timeout 240    203    1675280384 timeout 241    191    1627111424
ssh-simplified/s3_srvr_7_true-unreach-call_false-termination.cil.c timeout 241    209    1536421888 timeout 241    195    1603547136
ssh-simplified/s3_srvr_8_true-unreach-call_false-termination.cil.c timeout 241    205    1550196736 timeout 240    192    1684537344
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c false 18.3  11.3  686366720 false 17.0  10.6  650813440
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c false 17.9  11.1  712732672 false 17.4  10.6  684593152
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c timeout 241    216    1603297280 timeout 241    215    1547558912
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c timeout 241    215    1643208704 timeout 241    214    1463607296
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c timeout 241    214    1470599168 timeout 241    216    1511292928
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c timeout 241    216    1463246848 timeout 241    211    1512181760
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c timeout 241    213    1519362048 timeout 241    212    1403592704
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c timeout 241    212    1457717248 timeout 241    215    1612623872
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c true 32.8  19.6  791531520 true 29.3  17.4  823144448
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c true 39.1  24.7  955297792 true 42.1  25.3  1009397760
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c true 57.2  37.8  1153306624 true 52.0  34.3  1163796480
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c true 76.0  57.7  1284177920 true 74.5  55.6  1331240960
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c true 175    153    1554153472 true 159    137    1520836608
ntdrivers/cdaudio_false-unreach-call.i.cil.c timeout 241    217    1526665216 timeout 241    210    1426317312
ntdrivers/diskperf_false-unreach-call.i.cil.c error: type error 10.7  5.68 312504320 timeout 240    206    2165248000
ntdrivers/floppy_false-unreach-call.i.cil.c timeout 241    216    1596940288 timeout 241    207    1530265600
ntdrivers/kbfiltr_false-unreach-call.i.cil.c timeout 240    218    1355345920 timeout 241    221    1252302848
ntdrivers/parport_false-unreach-call.i.cil.c error: type error 13.8  7.58 501239808 timeout 240    196    1872777216
ntdrivers/cdaudio_true-unreach-call.i.cil.c timeout 240    223    1409253376 timeout 241    213    1425092608
ntdrivers/diskperf_true-unreach-call.i.cil.c error: type error 11.0  6.20 334819328 timeout 242    199    2410598400
ntdrivers/floppy2_true-unreach-call_true-termination.i.cil.c timeout 241    189    1786109952 timeout 240    194    1933074432
ntdrivers/floppy_true-unreach-call_true-valid-memsafety.i.cil.c timeout 241    216    1519677440 timeout 241    208    1583030272
ntdrivers/parport_true-unreach-call.i.cil.c error: type error 14.1  7.60 504324096 timeout 240    197    1922420736
ssh/s3_clnt.blast.01_false-unreach-call.i.cil.c timeout 241    216    1421873152 unknown: overapproxcex 144    107    1531232256
ssh/s3_clnt.blast.02_false-unreach-call.i.cil.c false 217    191    1418166272 unknown: overapproxcex 117    81.7  1441234944
ssh/s3_clnt.blast.03_false-unreach-call.i.cil.c false 227    200    1458479104 unknown: overapproxcex 121    84.5  1463730176
ssh/s3_clnt.blast.04_false-unreach-call.i.cil.c false 227    201    1464225792 unknown: overapproxcex 126    86.7  1449271296
ssh/s3_srvr.blast.01_false-unreach-call.i.cil.c false 71.6  54.1  1078910976 unknown: overapproxcex 144    104    1601036288
ssh/s3_srvr.blast.02_false-unreach-call.i.cil.c false 58.2  43.8  966807552 unknown: overapproxcex 134    98.3  1519931392
ssh/s3_srvr.blast.03_false-unreach-call.i.cil.c false 59.8  45.0  960950272 unknown: overapproxcex 134    97.7  1488007168
ssh/s3_srvr.blast.04_false-unreach-call.i.cil.c false 53.2  39.8  934592512 unknown: overapproxcex 138    100    1512665088
ssh/s3_srvr.blast.06_false-unreach-call.i.cil.c timeout 241    217    1605763072 timeout 241    191    1621180416
ssh/s3_srvr.blast.07_false-unreach-call.i.cil.c error: exception 133    108    1246031872 timeout 240    195    1687527424
ssh/s3_srvr.blast.08_false-unreach-call.i.cil.c timeout 241    217    1603399680 timeout 241    189    1645740032
ssh/s3_srvr.blast.09_false-unreach-call.i.cil.c error: exception 145    117    1251430400 timeout 240    195    1671098368
ssh/s3_srvr.blast.10_false-unreach-call.i.cil.c timeout 240    216    1572356096 timeout 241    189    1720840192
ssh/s3_srvr.blast.11_false-unreach-call.i.cil.c timeout 241    217    1413566464 unknown: overapproxcex 190    145    1675608064
ssh/s3_srvr.blast.12_false-unreach-call.i.cil.c timeout 240    218    1531756544 timeout 241    192    1594748928
ssh/s3_srvr.blast.13_false-unreach-call.i.cil.c timeout 241    209    1365581824 timeout 240    195    1726627840
ssh/s3_srvr.blast.14_false-unreach-call.i.cil.c timeout 241    217    1603219456 timeout 241    188    1572548608
ssh/s3_srvr.blast.15_false-unreach-call.i.cil.c timeout 241    217    1583796224 timeout 241    188    1654816768
ssh/s3_srvr.blast.16_false-unreach-call.i.cil.c timeout 241    218    1617612800 timeout 241    191    1604755456
ssh/s3_clnt.blast.01_true-unreach-call.i.cil.c timeout 241    213    1444585472 timeout 240    193    1679769600
ssh/s3_clnt.blast.02_true-unreach-call.i.cil.c timeout 241    213    1484165120 timeout 241    192    1684451328
ssh/s3_clnt.blast.03_true-unreach-call.i.cil.c timeout 241    216    1402458112 timeout 241    190    1716293632
ssh/s3_clnt.blast.04_true-unreach-call.i.cil.c timeout 241    213    1384017920 timeout 240    193    1644974080
ssh/s3_srvr.blast.01_true-unreach-call.i.cil.c timeout 240    213    1305088000 timeout 241    191    1704128512
ssh/s3_srvr.blast.02_true-unreach-call.i.cil.c timeout 241    213    1357574144 timeout 240    193    1738031104
ssh/s3_srvr.blast.06_true-unreach-call.i.cil.c timeout 241    212    1370648576 timeout 240    191    1612599296
ssh/s3_srvr.blast.07_true-unreach-call.i.cil.c timeout 241    212    1397915648 timeout 240    193    1616060416
ssh/s3_srvr.blast.08_true-unreach-call.i.cil.c timeout 240    206    1307148288 timeout 241    194    1669619712
ssh/s3_srvr.blast.09_true-unreach-call.i.cil.c timeout 241    210    1359712256 timeout 241    193    1584922624
ssh/s3_srvr.blast.10_true-unreach-call.i.cil.c timeout 241    209    1363632128 timeout 241    191    1624240128
ssh/s3_srvr.blast.11_true-unreach-call.i.cil.c timeout 241    211    1313370112 timeout 240    195    1646956544
ssh/s3_srvr.blast.12_true-unreach-call.i.cil.c timeout 241    210    1376956416 timeout 240    194    1766363136
ssh/s3_srvr.blast.13_true-unreach-call.i.cil.c timeout 241    210    1349050368 timeout 240    197    1598484480
ssh/s3_srvr.blast.14_true-unreach-call.i.cil.c timeout 241    207    1389703168 timeout 241    191    1646927872
ssh/s3_srvr.blast.15_true-unreach-call.i.cil.c timeout 241    206    1409900544 timeout 241    190    1679880192
ssh/s3_srvr.blast.16_true-unreach-call.i.cil.c timeout 241    211    1406033920 timeout 240    194    1742249984
heap-manipulation/bubble_sort_linux_false-unreach-call_false-valid-memcleanup.i error: exception 10.0  5.68 283058176 error: exception 10.0  5.71 277798912
heap-manipulation/dll_of_dll_false-unreach-call_false-valid-memcleanup.i error: exception 9.06 5.26 264966144 error: exception 9.18 5.22 280481792
heap-manipulation/merge_sort_false-unreach-call_false-valid-memcleanup.i error: exception 9.25 5.35 267309056 error: exception 8.94 5.19 264839168
heap-manipulation/sll_to_dll_rev_false-unreach-call_false-valid-memcleanup.i error: exception 8.65 4.98 261083136 error: exception 8.07 4.65 270700544
heap-manipulation/tree_false-unreach-call_false-valid-deref.i error: exception 10.1  6.05 282013696 error: exception 9.28 5.30 270753792
heap-manipulation/tree_false-unreach-call_false-valid-memcleanup.i error: exception 10.3  6.39 268820480 error: exception 8.79 5.09 279195648
heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i error: exception 10.2  5.81 282218496 error: exception 10.0  5.80 286756864
heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i error: exception 41.8  31.8  1124929536 timeout 241    211    1889607680
heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i error: exception 9.64 5.49 264982528 error: exception 9.17 5.20 276934656
heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i error: exception 9.06 5.23 271486976 error: exception 8.76 5.07 272965632
heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i error: exception 8.76 5.18 256778240 error: exception 7.88 4.71 263262208
heap-manipulation/tree_true-unreach-call.i error: exception 10.1  6.09 271196160 error: exception 9.38 5.36 274169856
list-properties/alternating_list_false-unreach-call_false-valid-memcleanup.i false 15.5  9.21 441511936 false 14.2  8.27 417026048
list-properties/list_false-unreach-call_false-valid-memcleanup.i error: exception 101    86.4  2111213568 error: exception 22.7  14.2  818831360
list-properties/list_flag_false-unreach-call_false-valid-memcleanup.i false 18.1  11.2  613990400 false 16.0  9.50 515063808
list-properties/list_search_false-unreach-call_false-valid-memcleanup.i error: exception 128    114    1244180480 error: exception 21.5  13.2  826740736
list-properties/simple_false-unreach-call_false-valid-memcleanup.i false 16.3  10.1  530710528 false 15.7  9.21 475312128
list-properties/splice_false-unreach-call_false-valid-memcleanup.i false 18.9  11.6  573267968 false 17.1  10.3  578543616
list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i error: exception 96.9  85.5  1630437376 error: exception 19.4  12.4  727879680
list-properties/list_flag_true-unreach-call_false-valid-memtrack.i error: exception 189    174    2119843840 error: exception 24.4  15.6  826777600
list-properties/list_search_true-unreach-call_false-valid-memcleanup.i error: exception 168    152    1275756544 error: exception 28.4  17.5  847155200
list-properties/list_true-unreach-call_false-valid-memtrack.i error: exception 79.0  66.1  1899958272 error: exception 22.9  14.5  821891072
list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i error: exception 210    196    2920353792 error: exception 19.9  12.2  684216320
list-properties/simple_true-unreach-call_false-valid-memtrack.i timeout 240    227    1804382208 error: exception 18.9  11.5  678621184
list-properties/splice_true-unreach-call_false-valid-memtrack.i error: exception 112    96.4  1922727936 error: exception 26.9  17.4  815882240
ldv-regression/1_3_true-termination.c_false-unreach-call.i false 13.4  7.99 386543616 false 12.3  7.30 341417984
ldv-regression/alt_test_true-termination.c_false-unreach-call.i false 15.6  9.16 469655552 false 15.7  9.03 421167104
ldv-regression/callfpointer_true-termination.c_false-unreach-call.i false 8.00 4.75 253747200 false 8.18 4.92 259858432
ldv-regression/fo_test_true-termination.c_false-unreach-call.i unknown: overapproxcex 9.16 5.33 295243776 unknown: overapproxcex 9.31 5.45 285622272
ldv-regression/mutex_lock_int_true-termination.c_false-unreach-call.i false 12.1  7.20 335486976 false 10.2  6.06 285822976
ldv-regression/mutex_lock_struct_true-termination.c_false-unreach-call.i false 12.4  7.26 334065664 false 10.4  6.19 285102080
ldv-regression/recursive_list_true-termination.c_false-unreach-call.i false 9.40 5.51 277368832 false 8.64 5.10 270372864
ldv-regression/rule57_ebda_blast_true-termination.c_false-unreach-call.i false 14.2  8.51 413204480 false 12.6  7.47 378785792
ldv-regression/rule60_list2_true-termination.c_false-unreach-call_1.i false 99.7  75.3  1323458560 false 70.5  48.5  1287983104
ldv-regression/stateful_check_false-unreach-call_false-termination.i false 19.2  12.2  788361216 false 20.5  12.7  809353216
ldv-regression/test_while_int_true-termination.c_false-unreach-call.i false 14.3  8.62 425623552 false 13.1  7.88 390184960
ldv-regression/test_while_int_true-termination.c_false-unreach-call_1.i false 12.0  7.16 343642112 false 10.7  6.37 307863552
ldv-regression/alias_of_return_2_true-termination.c_true-unreach-call.i true 11.5  6.88 327557120 true 10.8  6.37 300183552
ldv-regression/alias_of_return_2_true-termination.c_true-unreach-call_1.i true 9.47 5.68 267005952 true 9.46 5.66 267337728
ldv-regression/alias_of_return_true-termination.c_true-unreach-call.i true 11.1  6.55 311369728 true 9.96 5.94 273768448
ldv-regression/alias_of_return_true-termination.c_true-unreach-call_1.i true 9.03 5.53 266084352 true 9.48 5.64 268865536
ldv-regression/ex3_forlist_true-termination.c_true-unreach-call.i timeout 241    229    1520873472 error: exception 59.0  41.0  1183137792
ldv-regression/just_assert_true-termination.c_true-unreach-call.i true 8.13 4.99 260833280 true 8.02 4.93 266104832
ldv-regression/mutex_lock_int_true-termination.c_true-unreach-call_1.i true 14.0  8.50 416714752 true 12.3  7.37 351354880
ldv-regression/mutex_lock_struct_true-termination.c_true-unreach-call_1.i true 14.0  8.42 410935296 true 12.8  7.65 360656896
ldv-regression/nested_structure_noptr_true-termination.c_true-unreach-call.i true 9.33 5.56 272273408 true 9.48 5.64 272465920
ldv-regression/nested_structure_noptr_true-unreach-call_true-termination.i true 10.4  6.14 285138944 true 9.51 5.75 271921152
ldv-regression/nested_structure_ptr_true-termination.c_true-unreach-call.i true 13.4  7.95 339595264 true 9.93 5.82 278614016
ldv-regression/nested_structure_ptr_true-unreach-call_true-termination.i true 12.8  7.83 375656448 true 10.6  6.28 281108480
ldv-regression/nested_structure_true-termination.c_true-unreach-call.i true 13.2  7.90 352608256 true 9.91 5.83 273076224
ldv-regression/nested_structure_true-unreach-call_true-termination.i true 13.8  8.49 401063936 true 10.5  6.15 286838784
ldv-regression/oomInt_true-termination.c_true-unreach-call.i true 12.6  7.69 366698496 true 11.2  6.63 319225856
ldv-regression/oomInt_true-termination.c_true-unreach-call_1.i true 11.4  6.86 336781312 true 10.2  6.17 277688320
ldv-regression/rule57_ebda_blast_true-termination.c_true-unreach-call_1.i true 15.3  9.49 467066880 true 13.7  8.28 436174848
ldv-regression/rule60_list2_true-termination.c_true-unreach-call.i true 119    92.0  1333866496 true 56.4  40.5  1174786048
ldv-regression/rule60_list_true-termination.c_true-unreach-call.i true 17.8  11.1  573132800 error: exception 10.5  6.16 275423232
ldv-regression/sizeofparameters_test_true-termination.c_true-unreach-call.i unknown 6.31 3.76 200523776 true 10.1  5.97 286949376
ldv-regression/structure_assignment_true-termination.c_true-unreach-call.i true 9.49 5.72 271921152 true 9.00 5.36 269783040
ldv-regression/test_address_true-termination.c_true-unreach-call.i true 13.0  7.34 322347008 true 12.4  7.28 320598016
ldv-regression/test_cut_trace_true-termination.c_true-unreach-call.i true 10.3  6.11 288432128 true 10.2  6.09 276545536
ldv-regression/test_malloc-1_true-unreach-call_true-termination.i true 11.4  6.65 295280640 true 10.7  6.23 278474752
ldv-regression/test_malloc-2_true-unreach-call_true-termination.i true 11.5  6.61 291753984 true 11.1  6.46 292130816
ldv-regression/test_overflow_true-termination.c_true-unreach-call.i true 11.5  6.47 309555200 true 11.0  6.36 311095296
ldv-regression/test_union_cast-1_true-unreach-call_true-termination.i true 9.87 5.99 286597120 true 9.34 5.64 270823424
ldv-regression/test_union_cast-2_true-unreach-call_true-termination.i true 10.9  6.33 290328576 true 10.1  6.08 271482880
ldv-regression/test_union_cast_true-termination.c_true-unreach-call.i true 9.75 5.80 267886592 true 9.56 5.69 267902976
ldv-regression/test_union_cast_true-termination.c_true-unreach-call_1.i true 9.89 5.80 272019456 true 9.83 5.84 264577024
ldv-regression/test_union_true-termination.c_true-unreach-call.i true 9.16 5.43 266256384 true 9.26 5.45 271736832
ldv-regression/test_union_true-termination.c_true-unreach-call_1.i true 9.50 5.68 272482304 true 9.09 5.49 271323136
ldv-regression/volatile_alias_true-termination.c_true-unreach-call.i true 9.32 5.64 270192640 true 9.03 5.38 270897152
ldv-regression/volatile_alias_true-termination.c_true-unreach-call_1.i true 10.1  6.00 271417344 true 8.81 5.31 269684736
ldv-regression/test02_false-unreach-call_true-termination.c false 8.04 4.73 266072064 false 7.61 4.71 256741376
ldv-regression/test06_false-unreach-call_true-termination.c false 14.2  8.73 363212800 false 12.0  6.98 327032832
ldv-regression/test08_false-unreach-call_true-termination.c false 8.53 5.23 271601664 false 8.84 5.25 264208384
ldv-regression/test12_false-unreach-call_true-termination.c false 8.28 4.96 253382656 false 8.43 4.97 261623808
ldv-regression/test21_false-unreach-call_true-termination.c false 9.17 5.41 268509184 false 9.42 5.43 264822784
ldv-regression/test22_false-unreach-call.c false 21.9  14.0  792195072 false 19.8  12.3  774877184
ldv-regression/test23_false-unreach-call.c false 156    138    1364299776 false 89.6  66.8  1487355904
ldv-regression/test24_false-unreach-call.c false 43.8  35.6  951136256 false 66.3  46.0  1068310528
ldv-regression/test25_false-unreach-call_true-termination.c false 106    93.7  1092362240 false 56.7  37.9  1136500736
ldv-regression/test26_false-unreach-call_true-termination.c false 8.66 5.10 263643136 false 8.63 5.04 267792384
ldv-regression/test27_false-unreach-call_true-termination.c false 40.1  33.1  689295360 false 56.7  44.2  841306112
ldv-regression/test28_false-unreach-call_true-termination.c false 12.7  7.42 362029056 false 12.7  7.53 355414016
ldv-regression/test29_false-unreach-call_true-termination.c false 12.6  7.38 344408064 false 12.3  7.23 345047040
ldv-regression/test30_false-unreach-call_true-termination.c false 9.53 5.47 276557824 false 8.91 5.31 267251712
ldv-regression/test01_true-unreach-call_true-termination.c true 9.85 5.88 276094976 true 9.49 5.62 269012992
ldv-regression/test03_true-unreach-call_true-termination.c true 11.8  6.95 322355200 true 10.4  6.42 284979200
ldv-regression/test04_true-unreach-call_true-termination.c true 12.9  7.55 338706432 true 10.4  6.51 313589760
ldv-regression/test05_true-unreach-call_true-termination.c true 90.7  82.5  949268480 true 14.7  8.98 507248640
ldv-regression/test07_true-unreach-call_true-termination.c true 15.1  9.21 465698816 true 13.3  8.12 438599680
ldv-regression/test09_true-unreach-call_true-termination.c true 15.4  9.58 498429952 true 13.4  8.10 439316480
ldv-regression/test10_true-unreach-call_true-termination.c timeout 240    232    997335040 true 18.3  11.5  714604544
ldv-regression/test11_true-unreach-call_true-termination.c true 17.2  11.0  609079296 true 13.7  8.08 383733760
ldv-regression/test13_true-unreach-call_true-termination.c true 11.3  6.65 319660032 true 10.4  6.10 294363136
ldv-regression/test14_true-unreach-call_true-termination.c true 16.2  10.1  545951744 true 12.0  7.12 338677760
ldv-regression/test15_true-unreach-call_true-termination.c true 13.4  7.83 354422784 true 9.79 5.92 284717056
ldv-regression/test16_true-unreach-call_true-termination.c true 14.1  8.47 409767936 true 11.9  6.93 328478720
ldv-regression/test17_true-unreach-call_true-termination.c true 9.85 5.90 279396352 true 10.0  6.03 269389824
ldv-regression/test18_true-unreach-call_true-termination.c true 19.6  13.5  567525376 true 12.2  7.27 367951872
ldv-regression/test19_true-unreach-call_true-termination.c true 14.2  8.67 412651520 true 12.6  7.50 361615360
ldv-regression/test20_true-unreach-call_true-termination.c true 9.94 5.98 286932992 true 9.91 5.92 277655552
ldv-regression/test21_true-unreach-call_true-termination.c true 24.4  16.7  807030784 true 13.7  8.34 434241536
ldv-regression/test22_true-unreach-call.c true 108    92.6  1182019584 true 53.1  38.1  1174654976
ldv-regression/test23_true-unreach-call.c timeout 241    222    1362399232 error: exception 49.2  33.8  1135497216
ldv-regression/test24_true-unreach-call_true-termination.c true 43.4  34.2  830468096 true 62.0  53.0  857309184
ldv-regression/test25_true-unreach-call.c true 89.3  80.0  847548416 true 95.8  84.8  923439104
ldv-regression/test26_true-unreach-call_true-termination.c true 13.3  8.09 393703424 true 12.4  7.46 373018624
ldv-regression/test27_true-unreach-call_true-termination.c timeout 240    230    1276809216 true 151    132    1389690880
ldv-regression/test28_true-unreach-call_true-termination.c true 13.4  8.03 378843136 true 13.7  8.16 404848640
ldv-regression/test29_true-unreach-call_true-termination.c true 14.6  8.68 387264512 true 13.3  7.93 384630784
ldv-regression/test30_true-unreach-call_true-termination.c true 19.1  12.4  689692672 true 14.7  9.07 540114944
ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i timeout 241    209    2300243968 timeout 240    182    2846007296
ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i timeout 241    211    2278625280 timeout 241    176    2807033856
ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i timeout 241    213    2225713152 unknown: overapproxcex 234    175    2894692352
ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i true 39.6  23.4  1328922624 true 36.8  20.8  1231691776
ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i true 44.8  25.3  1325666304 true 33.9  19.3  1222340608
ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i true 40.5  24.0  1325109248 true 38.4  21.2  1236602880
ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i true 39.7  23.4  1318334464 true 35.7  20.5  1236185088
ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i true 42.9  24.8  1331380224 true 35.2  19.9  1229803520
ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i true 40.1  23.9  1320398848 true 35.8  20.3  1242112000
ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i true 41.5  24.1  1324838912 true 34.1  19.3  1238339584
ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i true 39.9  23.7  1324998656 true 38.1  21.3  1233272832
ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i true 40.6  23.9  1323270144 true 36.7  20.5  1238159360
ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i true 40.0  23.7  1324560384 true 34.6  20.0  1237917696
forester-heap/dll-01_false-unreach-call_false-valid-memcleanup.i error: exception 7.98 4.60 260108288 error: exception 7.87 4.61 259371008
forester-heap/dll-circular_false-unreach-call_false-valid-memcleanup.i error: exception 8.10 4.76 266072064 error: exception 8.11 4.77 252719104
forester-heap/dll-optional_false-unreach-call_false-valid-memcleanup.i error: exception 8.01 4.73 253480960 error: exception 8.23 4.80 260915200
forester-heap/dll-queue_false-unreach-call_false-valid-memcleanup.i error: exception 7.86 4.61 252710912 error: exception 8.28 4.76 256540672
forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i error: exception 7.98 4.72 257363968 error: exception 7.94 4.66 252170240
forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i error: exception 8.12 4.79 256577536 error: exception 8.42 4.83 252964864
forester-heap/dll-simple-white-blue_false-unreach-call_false-valid-memcleanup.i false 14.4  8.35 368660480 false 12.4  7.10 317554688
forester-heap/dll-sorted_false-unreach-call_false-valid-memcleanup.i error: exception 8.50 4.89 250314752 error: exception 8.26 4.86 254767104
forester-heap/dll-token_false-unreach-call_false-valid-memcleanup.i error: exception 8.09 4.69 245784576 error: exception 7.94 4.64 247271424
forester-heap/sll-01_false-unreach-call_false-valid-deref.i error: exception 8.37 4.82 264699904 error: exception 8.20 4.84 257228800
forester-heap/sll-buckets_false-unreach-call_false-valid-memcleanup.i error: exception 7.87 4.57 248893440 error: exception 8.11 4.75 255016960
forester-heap/sll-circular_false-unreach-call_false-valid-memcleanup.i error: exception 8.29 4.83 266657792 error: exception 8.32 4.87 252874752
forester-heap/sll-optional_false-unreach-call_false-valid-memcleanup.i error: exception 7.76 4.69 249188352 error: exception 8.21 4.76 256487424
forester-heap/sll-queue_false-unreach-call_false-valid-memcleanup.i error: exception 8.51 4.82 259723264 error: exception 8.16 4.78 260087808
forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i error: exception 8.34 4.87 260608000 error: exception 8.06 4.72 254054400
forester-heap/sll-rb-sentinel_false-unreach-call_false-valid-memcleanup.i error: exception 8.26 4.77 257867776 error: exception 7.93 4.62 255320064
forester-heap/sll-simple-white-blue_false-unreach-call_false-valid-memcleanup.i false 12.2  7.00 331321344 false 12.9  7.33 315904000
forester-heap/sll-sorted_false-unreach-call_false-valid-memcleanup.i error: exception 8.92 5.10 242778112 error: exception 7.97 4.62 258359296
forester-heap/sll-token_false-unreach-call_false-valid-memcleanup.i error: exception 8.66 4.98 255709184 error: exception 8.29 4.78 254349312
forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i error: exception 8.50 4.91 259653632 error: exception 8.10 4.77 258875392
forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i error: exception 8.23 4.77 264196096 error: exception 8.26 4.73 246165504
forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i error: exception 8.38 4.83 257323008 error: exception 8.10 4.94 256622592
forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i error: exception 8.35 4.81 250609664 error: exception 8.52 4.83 262676480
forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i error: exception 8.23 4.73 249933824 error: exception 7.94 4.65 259792896
forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i error: exception 8.05 4.77 267661312 error: exception 8.37 4.83 260509696
forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i error: exception 39.8  31.8  857272320 error: exception 196    186    838443008
forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i error: exception 35.8  27.5  871940096 error: exception 12.6  7.32 323465216
forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i error: exception 7.93 4.58 259076096 error: exception 8.03 4.78 259829760
forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i error: exception 8.06 4.74 261345280 error: exception 8.05 4.73 264081408
forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i error: exception 8.56 4.95 257257472 error: exception 8.31 4.79 256450560
forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i error: exception 8.20 4.83 253906944 error: exception 8.44 4.95 260329472
forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i error: exception 8.59 4.91 266506240 error: exception 7.81 4.83 254255104
forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i error: exception 8.83 5.04 257241088 error: exception 8.22 4.76 260378624
forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i error: exception 8.02 4.70 260833280 error: exception 8.32 5.02 262873088
forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i error: exception 8.60 4.87 253063168 error: exception 7.91 4.68 260423680
forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i error: exception 8.34 4.88 260972544 error: exception 8.41 4.84 257400832
forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i error: exception 141    130    1513979904 error: exception 25.5  16.5  813957120
forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i error: exception 151    139    1590595584 error: exception 13.0  7.40 316403712
forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i error: exception 8.64 4.98 249155584 error: exception 8.25 4.83 252518400
forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i error: exception 7.70 4.59 255610880 error: exception 8.06 5.05 255225856
list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i false 13.2  7.46 352468992 false 11.8  6.89 336465920
list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i error: exception 174    156    2192764928 error: exception 19.8  12.4  708718592
list-ext-properties/simple-ext_false-unreach-call_false-valid-memcleanup_true-termination.i false 11.5  6.70 309993472 false 11.4  6.54 289755136
list-ext2-properties/list_and_tree_cnstr_false-unreach-call_false-termination.i error: exception 110    93.5  1957347328 error: exception 29.6  18.8  846389248
list-ext2-properties/list_and_tree_cnstr_true-unreach-call_false-termination.i error: exception 126    108    2085638144 error: exception 29.0  18.6  825085952
list-ext2-properties/simple_and_skiplist_2lvl_false-unreach-call.i false 23.9  16.1  600264704 false 17.6  10.3  539045888
list-ext2-properties/simple_and_skiplist_2lvl_true-unreach-call.i timeout 240    226    1793130496 error: exception 21.1  12.9  727572480
list-ext2-properties/simple_search_value_false-unreach-call.i timeout 241    216    2670596096 error: exception 192    161    2838286336
list-ext2-properties/simple_search_value_true-unreach-call.i timeout 241    214    2771701760 error: exception 176    144    3106656256
ldv-sets/test_add_false-unreach-call_true-termination.i false 28.1  19.1  878956544 false 23.0  14.0  832675840
ldv-sets/test_mutex_double_lock_false-unreach-call_true-termination.i error: exception 39.2  28.2  1024167936 error: exception 43.1  29.3  1132695552
ldv-sets/test_mutex_double_unlock_false-unreach-call.i timeout 241    213    1469349888 error: exception 47.2  32.7  1141284864
ldv-sets/test_mutex_unbounded_false-unreach-call.i timeout 241    225    1199652864 timeout 240    226    1351606272
ldv-sets/test_mutex_unlock_at_exit_false-unreach-call.i timeout 241    215    1480400896 error: exception 47.3  33.3  1153675264
ldv-sets/test_add_true-unreach-call_true-termination.i timeout 240    229    1250410496 error: exception 38.3  26.7  989696000
ldv-sets/test_mutex_true-unreach-call.i timeout 241    212    1563152384 error: exception 46.8  32.2  1135030272
ldv-sets/test_mutex_unbounded_true-unreach-call.i timeout 241    226    2099183616 timeout 240    224    1327112192
list-simple/dll2c_append_equal_true-unreach-call_true-valid-memsafety.i error: exception 7.85 4.61 261271552 error: exception 8.30 4.73 246984704
list-simple/dll2c_append_unequal_true-unreach-call_true-valid-memsafety.i error: exception 8.26 4.77 253173760 error: exception 7.99 4.64 254181376
list-simple/dll2c_insert_equal_true-unreach-call_true-valid-memsafety.i error: exception 9.67 5.80 273428480 error: exception 9.13 5.18 274378752
list-simple/dll2c_insert_unequal_true-unreach-call_true-valid-memsafety.i error: exception 9.90 5.89 270028800 error: exception 8.89 5.14 275222528
list-simple/dll2c_prepend_equal_true-unreach-call_true-valid-memsafety.i error: exception 8.50 4.86 257921024 error: exception 7.66 4.52 258277376
list-simple/dll2c_prepend_unequal_true-unreach-call_true-valid-memsafety.i error: exception 8.50 4.89 248803328 error: exception 8.07 4.70 257232896
list-simple/dll2c_remove_all_reverse_true-unreach-call_true-valid-memsafety.i timeout 241    225    2346606592 error: exception 148    135    1116676096
list-simple/dll2c_remove_all_true-unreach-call_true-valid-memsafety.i timeout 241    223    1297432576 timeout 240    228    1393197056
list-simple/dll2c_update_all_reverse_true-unreach-call_true-valid-memsafety.i timeout 241    221    2536693760 error: exception 24.8  15.0  824557568
list-simple/dll2c_update_all_true-unreach-call_true-valid-memsafety.i timeout 240    226    1032536064 error: exception 25.2  15.4  834883584
list-simple/dll2n_append_equal_true-unreach-call_true-valid-memsafety.i timeout 240    228    1250918400 timeout 241    227    1440366592
list-simple/dll2n_append_unequal_true-unreach-call_true-valid-memsafety.i timeout 240    229    1200271360 error: exception 156    143    1275117568
list-simple/dll2n_insert_equal_true-unreach-call_true-valid-memsafety.i timeout 240    226    1702899712 timeout 241    227    1398464512
list-simple/dll2n_insert_unequal_true-unreach-call_true-valid-memsafety.i timeout 240    230    972759040 timeout 241    224    1288675328
list-simple/dll2n_prepend_equal_true-unreach-call_true-valid-memsafety.i timeout 240    227    2515382272 timeout 240    228    1394446336
list-simple/dll2n_prepend_unequal_true-unreach-call_true-valid-memsafety.i timeout 241    227    2339479552 error: exception 153    140    1543868416
list-simple/dll2n_remove_all_reverse_true-unreach-call_true-valid-memsafety.i timeout 241    226    2206117888 true 127    110    1276710912
list-simple/dll2n_remove_all_true-unreach-call_true-valid-memsafety.i error: exception 157    145    2268995584 error: exception 20.5  12.3  688054272
list-simple/dll2n_update_all_reverse_true-unreach-call_true-valid-memsafety.i true 21.5  14.2  685924352 true 13.1  7.69 352399360
list-simple/dll2n_update_all_true-unreach-call_true-valid-memsafety.i timeout 240    228    1043038208 error: exception 23.8  14.7  803684352
list-simple/sll2c_append_equal_true-unreach-call_true-valid-memsafety.i error: exception 8.50 5.01 259063808 error: exception 8.44 4.87 261722112
list-simple/sll2c_append_unequal_true-unreach-call_true-valid-memsafety.i error: exception 8.67 4.99 249880576 error: exception 8.40 4.86 271093760
list-simple/sll2c_insert_equal_true-unreach-call_true-valid-memsafety.i error: exception 8.21 4.75 253943808 error: exception 7.88 4.62 256081920
list-simple/sll2c_insert_unequal_true-unreach-call_true-valid-memsafety.i error: exception 8.54 4.91 253460480 error: exception 7.55 4.57 255549440
list-simple/sll2c_prepend_equal_true-unreach-call_true-valid-memsafety.i error: exception 8.50 4.85 252100608 error: exception 7.88 4.70 248795136
list-simple/sll2c_prepend_unequal_true-unreach-call_true-valid-memsafety.i error: exception 8.38 4.85 247513088 error: exception 7.91 4.61 253198336
list-simple/sll2c_remove_all_reverse_true-unreach-call_true-valid-memsafety.i timeout 241    224    1472188416 true 75.4  54.9  1443463168
list-simple/sll2c_remove_all_true-unreach-call_true-valid-memsafety.i timeout 241    222    2014113792 timeout 240    229    1024937984
list-simple/sll2c_update_all_reverse_true-unreach-call_true-valid-memsafety.i timeout 241    227    1592991744 error: exception 23.7  14.4  824590336
list-simple/sll2c_update_all_true-unreach-call_true-valid-memsafety.i timeout 240    229    1003610112 error: exception 24.6  14.9  808845312
list-simple/sll2n_append_equal_true-unreach-call_true-valid-memsafety.i timeout 240    229    1207435264 timeout 240    226    1206157312
list-simple/sll2n_append_unequal_true-unreach-call_true-valid-memsafety.i timeout 240    230    1120980992 timeout 241    225    1350987776
list-simple/sll2n_insert_equal_true-unreach-call_true-valid-memsafety.i timeout 240    228    1152008192 error: exception 187    173    1316397056
list-simple/sll2n_insert_unequal_true-unreach-call_true-valid-memsafety.i timeout 240    229    1088069632 timeout 241    226    1326575616
list-simple/sll2n_prepend_equal_true-unreach-call_true-valid-memsafety.i timeout 241    227    1458057216 error: exception 70.1  57.7  1143287808
list-simple/sll2n_prepend_unequal_true-unreach-call_true-valid-memsafety.i timeout 240    229    1373962240 error: exception 67.2  55.1  1472348160
list-simple/sll2n_remove_all_reverse_true-unreach-call_true-valid-memsafety.i error: exception 228    212    1606955008 true 166    146    1576570880
list-simple/sll2n_remove_all_true-unreach-call_true-valid-memsafety.i timeout 240    230    1523417088 true 63.7  50.6  1549819904
list-simple/sll2n_update_all_reverse_true-unreach-call_true-valid-memsafety.i timeout 240    228    1527808000 error: exception 22.3  13.5  826212352
list-simple/sll2n_update_all_true-unreach-call_true-valid-memsafety.i timeout 240    229    998260736 error: exception 23.8  14.7  810217472
heap-data/calendar_true-unreach-call.i error: exception 110    97.1  1421963264 error: exception 13.5  7.76 341884928
heap-data/cart_true-unreach-call.i error: exception 186    172    2180194304 error: exception 14.9  8.80 451309568
heap-data/hash_fun_true-unreach-call.i timeout 241    226    1386541056 error: exception 52.8  39.5  1185525760
heap-data/min_max_true-unreach-call.i timeout 241    221    1289859072 error: exception 12.7  7.42 335392768
heap-data/packet_filter_true-unreach-call.i error: exception 109    100    959762432 error: exception 127    112    1131048960
heap-data/process_queue_true-unreach-call.i error: exception 67.6  58.7  1112002560 error: exception 19.5  12.3  814915584
heap-data/quick_sort_split_true-unreach-call.i true 18.3  12.1  437784576 true 13.9  8.11 389193728
heap-data/running_example_true-unreach-call.i timeout 241    227    1466531840 timeout 241    223    1455251456
heap-data/shared_mem1_true-unreach-call.i timeout 240    230    2008449024 timeout 240    232    1416671232
heap-data/shared_mem2_true-unreach-call.i error: exception 89.3  79.8  1336131584 error: exception 18.0  11.5  517373952
list-ext3-properties/dll_nullified_false-unreach-call_false-valid-memcleanup.i false 72.3  59.8  1005273088 false 33.6  22.7  944123904
list-ext3-properties/sll_length_check_false-unreach-call_false-valid-memcleanup.i false 43.4  33.3  955314176 false 22.7  14.2  801677312
list-ext3-properties/sll_nondet_insert_false-unreach-call_false-valid-memcleanup.i timeout 240    216    1351528448 false 58.0  39.2  1122496512
list-ext3-properties/sll_of_sll_nondet_append_false-unreach-call_false-valid-memcleanup.i timeout 241    218    1609854976 timeout 240    210    1527619584
list-ext3-properties/dll_circular_traversal_true-unreach-call_true-valid-memsafety.i error: exception 8.08 4.78 258416640 error: exception 8.08 4.66 257658880
list-ext3-properties/dll_nullified_true-unreach-call_true-valid-memsafety.i timeout 241    226    1186246656 error: exception 32.8  21.5  974458880
list-ext3-properties/sll_circular_traversal_true-unreach-call_true-valid-memsafety.i error: exception 8.54 4.98 273481728 error: exception 8.28 4.81 260665344
list-ext3-properties/sll_length_check_true-unreach-call_true-valid-memsafety.i timeout 240    211    1528582144 timeout 241    208    1455898624
list-ext3-properties/sll_nondet_insert_true-unreach-call_true-valid-memsafety.i timeout 241    215    1434271744 timeout 240    228    1934045184
list-ext3-properties/sll_of_sll_nondet_append_true-unreach-call_true-valid-memsafety.i timeout 241    222    1502609408 timeout 241    206    1690202112
loops/array_false-unreach-call_true-termination.i false 10.7  6.45 311189504 false 11.4  6.77 301088768
loops/bubble_sort_false-unreach-call.i false 26.3  17.6  817643520 false 22.8  13.9  849625088
loops/count_up_down_false-unreach-call_true-termination.i false 7.74 4.75 258600960 false 7.85 4.74 262463488
loops/eureka_01_false-unreach-call_true-termination.i timeout 241    214    1816891392 timeout 241    198    2831171584
loops/for_bounded_loop1_false-unreach-call_true-termination.i false 15.1  9.28 492777472 false 14.4  8.81 452345856
loops/insertion_sort_false-unreach-call_true-termination.i timeout 240    228    1196359680 error: exception 28.8  19.3  873766912
loops/invert_string_false-unreach-call_true-termination.i false 188    175    1239392256 false 42.4  30.6  1130442752
loops/linear_search_false-unreach-call.i timeout 241    218    1346195456 error: exception 56.7  39.8  992673792
loops/ludcmp_false-unreach-call.i timeout 241    222    6405533696 unknown: overapproxcex 58.7  40.4  1247891456
loops/matrix_false-unreach-call_true-termination.i false 14.6  9.10 425091072 false 15.1  8.87 446414848
loops/n.c24_false-unreach-call.i error: exception 6.65 3.84 206417920 error: exception 8.07 4.76 252510208
loops/nec11_false-unreach-call_false-termination.i false 8.96 5.39 267440128 false 9.53 5.58 268267520
loops/nec20_false-unreach-call_true-termination.i false 12.2  7.26 352636928 false 10.5  6.25 282374144
loops/s3_false-unreach-call.i error: exception 225    194    1807294464 unknown: overapproxcex 150    110    1553235968
loops/string_false-unreach-call_true-termination.i false 27.1  18.1  843395072 unknown: overapproxcex 20.5  12.6  757194752
loops/sum01_bug02_false-unreach-call_true-termination.i false 37.8  28.8  835489792 false 25.6  16.3  815333376
loops/sum01_bug02_sum01_bug02_base.case_false-unreach-call_true-termination.i false 23.3  16.4  763887616 false 17.5  11.1  672460800
loops/sum01_false-unreach-call_true-termination.i false 66.2  55.0  998694912 false 26.1  17.0  819671040
loops/sum03_false-unreach-call_true-termination.i false 24.5  16.3  824406016 timeout 240    228    1036455936
loops/sum04_false-unreach-call_true-termination.i false 15.8  9.92 546631680 false 14.2  8.79 497926144
loops/sum_array_false-unreach-call.i false 13.7  8.10 382795776 false 13.6  8.00 381845504
loops/terminator_01_false-unreach-call_true-termination.i false 9.64 5.74 276520960 false 9.46 5.61 272207872
loops/terminator_02_false-unreach-call_true-termination.i false 9.48 5.61 270372864 false 9.31 5.49 269389824
loops/terminator_03_false-unreach-call_true-termination.i false 10.6  6.22 276746240 false 9.57 5.81 269373440
loops/trex01_false-unreach-call_true-termination.i false 10.3  5.96 286187520 false 9.77 5.76 273637376
loops/trex02_false-unreach-call_true-termination.i false 9.44 5.52 268369920 false 9.64 5.76 272990208
loops/trex03_false-unreach-call_true-termination.i false 9.75 5.77 266817536 false 9.30 5.52 267292672
loops/verisec_NetBSD-libc__loop_false-unreach-call_true-termination.i false 17.9  11.2  599924736 false 15.8  9.67 554119168
loops/verisec_OpenSER__cases1_stripFullBoth_arr_false-unreach-call_true-termination.i timeout 241    216    1289875456 false 43.2  27.5  1000620032
loops/vogal_false-unreach-call.i error: exception 185    164    2592690176 timeout 241    197    1477910528
loops/while_infinite_loop_4_false-unreach-call_true-termination.i false 9.63 5.73 275632128 false 8.99 5.50 271687680
loops/array_true-unreach-call_true-termination.i true 17.7  11.6  635686912 true 17.6  10.8  558813184
loops/bubble_sort_true-unreach-call_true-termination.i true 9.22 5.49 277528576 true 9.18 5.55 267911168
loops/count_up_down_true-unreach-call_true-termination.i timeout 241    224    1221013504 true 21.9  14.3  596271104
loops/eureka_01_true-unreach-call.i timeout 241    225    1422704640 timeout 241    212    1348759552
loops/eureka_05_true-unreach-call_true-termination.i timeout 241    219    2634665984 error: exception 183    163    1304727552
loops/for_infinite_loop_1_true-unreach-call_false-termination.i true 10.3  6.15 289153024 true 9.92 5.96 274653184
loops/for_infinite_loop_2_true-unreach-call_false-termination.i true 10.0  5.96 282243072 true 9.52 5.76 275488768
loops/insertion_sort_true-unreach-call_true-termination.i timeout 241    229    1060978688 error: exception 27.7  18.0  846114816
loops/invert_string_true-unreach-call_true-termination.i timeout 240    230    1106911232 timeout 241    216    1371463680
loops/linear_sea.ch_true-unreach-call.i timeout 240    220    1268301824 error: exception 101    81.7  1112555520
loops/lu.cmp_true-unreach-call.i timeout 241    223    6403174400 true 45.3  29.1  1216860160
loops/matrix_true-unreach-call_true-termination.i error: exception 12.6  7.72 378703872 true 23.2  16.0  820654080
loops/n.c11_true-unreach-call_false-termination.i true 13.8  8.33 391729152 true 17.8  11.2  660156416
loops/n.c40_true-unreach-call_true-termination.i true 16.4  9.53 431468544 true 16.6  9.64 455385088
loops/nec40_true-unreach-call_true-termination.i true 16.0  9.58 456118272 true 16.8  9.85 472383488
loops/string_true-unreach-call_true-termination.i true 21.8  14.4  793952256 true 20.9  13.2  782999552
loops/sum01_true-unreach-call_true-termination.i timeout 241    225    1237626880 true 16.2  10.2  645152768
loops/sum03_true-unreach-call_false-termination.i true 14.4  8.69 407412736 true 13.0  8.58 290824192
loops/sum04_true-unreach-call_true-termination.i true 19.5  13.1  803905536 true 21.8  13.8  781664256
loops/sum_array_true-unreach-call.i timeout 240    229    1176203264 timeout 241    216    1853190144
loops/terminator_02_true-unreach-call_true-termination.i true 13.2  7.82 373731328 true 12.7  7.65 375840768
loops/terminator_03_true-unreach-call_true-termination.i true 12.7  7.59 347492352 true 11.4  6.84 323833856
loops/trex01_true-unreach-call_true-termination.i true 19.8  13.0  686383104 true 11.8  6.95 325623808
loops/trex02_true-unreach-call_true-termination.i true 11.8  6.91 320786432 true 10.9  6.54 308473856
loops/trex03_true-unreach-call_true-termination.i true 12.0  6.95 318869504 true 10.3  6.01 291848192
loops/trex04_true-unreach-call_false-termination.i true 11.3  6.84 330375168 true 10.4  6.35 310575104
loops/veris.c_NetBSD-libc__loop_true-unreach-call_true-termination.i true 19.6  12.8  758157312 true 17.0  10.4  558903296
loops/veris.c_OpenSER__cases1_stripFullBoth_arr_true-unreach-call_true-termination.i true 19.0  11.9  604221440 true 14.6  8.81 471465984
loops/veris.c_sendmail__tTflag_arr_one_loop_true-unreach-call_true-termination.i true 13.0  7.46 311422976 true 10.8  6.47 293650432
loops/vogal_true-unreach-call.i error: exception 113    94.7  2478362624 error: exception 159    129    1430360064
loops/while_infinite_loop_1_true-unreach-call_false-termination.i true 10.3  6.14 296833024 true 9.55 5.80 282013696
loops/while_infinite_loop_2_true-unreach-call_false-termination.i true 10.1  6.01 298078208 true 9.88 5.95 281403392
loops/while_infinite_loop_3_true-unreach-call_false-termination.i true 11.7  6.95 334921728 true 10.9  6.51 312741888
loop-acceleration/array_false-unreach-call1_true-termination.i timeout 240    232    1174913024 timeout 241    196    1357475840
loop-acceleration/array_false-unreach-call2_true-termination.i timeout 240    232    1358970880 timeout 241    206    1350180864
loop-acceleration/array_false-unreach-call3_true-termination.i error: exception 7.70 4.53 232099840 error: exception 6.70 4.15 223907840
loop-acceleration/const_false-unreach-call1.i timeout 241    222    1215643648 timeout 241    212    1197641728
loop-acceleration/diamond_false-unreach-call1.i timeout 241    219    1240154112 timeout 240    205    1356111872
loop-acceleration/functions_false-unreach-call1_true-termination.i timeout 241    211    1370136576 timeout 241    214    1303060480
loop-acceleration/multivar_false-unreach-call1_true-termination.i false 8.07 4.84 263168000 false 8.08 4.78 258326528
loop-acceleration/nested_false-unreach-call1.i timeout 241    216    1361498112 timeout 241    214    1451282432
loop-acceleration/phases_false-unreach-call1.i timeout 241    220    1273819136 timeout 241    222    1115430912
loop-acceleration/phases_false-unreach-call2_false-termination.i false 9.54 5.68 277807104 false 9.05 5.49 265297920
loop-acceleration/simple_false-unreach-call1.i timeout 241    221    1345925120 timeout 241    218    1126510592
loop-acceleration/simple_false-unreach-call2_true-termination.i false 8.01 4.86 257503232 false 8.26 4.87 257355776
loop-acceleration/simple_false-unreach-call3_true-termination.i false 7.89 4.73 260149248 false 8.10 4.88 263589888
loop-acceleration/simple_false-unreach-call4.i timeout 241    226    1266999296 timeout 241    223    1107456000
loop-acceleration/underapprox_false-unreach-call1_true-termination.i false 13.2  8.01 395374592 false 16.0  9.91 560889856
loop-acceleration/underapprox_false-unreach-call2_true-termination.i false 13.4  8.16 384204800 false 15.8  9.87 569618432
loop-acceleration/array_true-unreach-call1_true-termination.i true 25.9  19.5  600145920 true 19.5  13.6  543158272
loop-acceleration/array_true-unreach-call2_true-termination.i timeout 240    232    1361375232 timeout 241    206    1308459008
loop-acceleration/array_true-unreach-call3_true-termination.i error: exception 6.92 4.22 242442240 error: exception 6.63 3.96 228655104
loop-acceleration/array_true-unreach-call4_true-termination.i error: exception 7.12 4.37 230313984 error: exception 6.49 3.94 230522880
loop-acceleration/const_true-unreach-call1.i true 10.3  6.27 294391808 true 13.2  8.03 431411200
loop-acceleration/diamond_true-unreach-call1_true-termination.i timeout 241    220    1233018880 timeout 241    212    1212698624
loop-acceleration/diamond_true-unreach-call2.i true 31.1  22.3  842444800 timeout 241    223    1093107712
loop-acceleration/functions_true-unreach-call1_true-termination.i timeout 241    210    1334640640 timeout 241    214    1262100480
loop-acceleration/multivar_true-unreach-call1_true-termination.i true 10.3  6.14 283688960 true 10.2  6.09 274583552
loop-acceleration/nested_true-unreach-call1.i true 36.0  24.4  864481280 true 159    128    1475211264
loop-acceleration/overflow_true-unreach-call1.i timeout 241    227    1229836288 timeout 241    224    1168351232
loop-acceleration/phases_true-unreach-call1.i timeout 241    223    1208410112 timeout 241    224    1081995264
loop-acceleration/phases_true-unreach-call2_false-termination.i true 13.4  8.25 368513024 true 21.8  17.1  373645312
loop-acceleration/simple_true-unreach-call1.i timeout 241    221    1272848384 timeout 241    219    1085665280
loop-acceleration/simple_true-unreach-call2_true-termination.i true 10.2  6.11 275816448 true 9.80 5.87 268341248
loop-acceleration/simple_true-unreach-call3_true-termination.i true 12.4  7.51 355819520 true 10.3  6.21 285614080
loop-acceleration/simple_true-unreach-call4.i true 11.6  7.09 351453184 true 16.2  11.5  391880704
loop-acceleration/underapprox_true-unreach-call1_true-termination.i true 65.5  59.3  770600960 true 48.3  38.5  811847680
loop-acceleration/underapprox_true-unreach-call2_true-termination.i true 13.3  8.25 420118528 true 14.1  8.68 440066048
loop-crafted/simple_array_index_value_false-unreach-call1_false-termination.i false 9.73 5.77 278519808 false 9.70 5.76 272871424
loop-crafted/simple_array_index_value_true-unreach-call1_true-termination.i timeout 241    224    1375137792 timeout 241    212    1157718016
loop-crafted/simple_array_index_value_true-unreach-call2_true-termination.i timeout 241    224    1316868096 timeout 241    220    1259470848
loop-crafted/simple_array_index_value_true-unreach-call3_true-termination.i timeout 241    223    1398140928 timeout 241    210    1247399936
loop-crafted/simple_array_index_value_true-unreach-call4_true-termination.i true 37.8  31.0  647757824 true 57.5  49.0  739471360
loop-crafted/simple_vardep_true-unreach-call1_true-termination.i true 19.6  13.8  409526272 true 10.2  6.04 278556672
loop-crafted/simple_vardep_true-unreach-call2_true-termination.i true 23.2  17.4  433377280 true 16.0  11.0  327147520
loop-crafted/simple_array_index_value_true-unreach-call4.i.v+lhb-reducer.c error: exception 28.2  22.7  511094784 true 67.4  54.5  834002944
loop-crafted/simple_array_index_value_true-unreach-call4.i.v+nlh-reducer.c error: exception 29.2  23.6  501108736 true 69.2  58.8  809873408
loop-invgen/id_trans_false-unreach-call_true-termination.i false 14.7  9.25 386883584 false 13.4  8.07 413679616
loop-invgen/MADWiFi-encode_ie_ok_true-unreach-call_true-termination.i timeout 241    226    1195388928 true 16.7  10.4  654188544
loop-invgen/NetBSD_loop_true-unreach-call_true-termination.i timeout 240    170    7022661632 true 16.5  10.6  663855104
loop-invgen/SpamAssassin-loop_true-unreach-call_false-termination.i timeout 240    202    1524596736 true 32.8  22.2  956645376
loop-invgen/apache-escape-absolute_true-unreach-call_true-termination.i true 55.4  42.3  1096929280 true 27.4  18.1  962170880
loop-invgen/apache-get-tag_true-unreach-call_true-termination.i timeout 241    203    1407864832 true 23.1  14.9  809328640
loop-invgen/down_true-unreach-call_true-termination.i timeout 241    212    1312620544 timeout 241    182    1479712768
loop-invgen/fragtest_simple_true-unreach-call_true-termination.i timeout 241    212    1421565952 timeout 241    182    1501454336
loop-invgen/half_2_true-unreach-call_true-termination.i timeout 241    226    1131155456 timeout 241    192    1595908096
loop-invgen/heapsort_true-unreach-call_true-termination.i timeout 241    223    1178079232 true 144    108    1558040576
loop-invgen/id_build_true-unreach-call_true-termination.i true 147    125    1551597568 true 12.0  7.30 372338688
loop-invgen/large_const_true-unreach-call_true-termination.i true 26.0  17.3  826941440 true 20.2  12.6  767557632
loop-invgen/nest-if3_true-unreach-call_true-termination.i timeout 241    218    1310187520 true 10.7  6.45 324923392
loop-invgen/nested6_true-unreach-call_true-termination.i true 191    153    1336082432 true 22.4  14.3  812556288
loop-invgen/nested9_true-unreach-call_true-termination.i timeout 241    210    1235820544 true 23.3  15.0  812638208
loop-invgen/sendmail-close-angle_true-unreach-call_true-termination.i timeout 240    200    1363300352 true 50.5  35.3  1128980480
loop-invgen/seq_true-unreach-call_true-termination.i timeout 241    207    1313136640 timeout 241    188    1657565184
loop-invgen/string_concat-noarr_true-unreach-call_false-termination.i timeout 241    222    1289252864 timeout 242    189    1561182208
loop-invgen/up_true-unreach-call_true-termination.i timeout 241    214    1271889920 timeout 240    179    1643565056
loop-invgen/SpamAssassin-loop_true-unreach-call.i.v+cfa-reducer.c timeout 240    204    1505161216 true 47.0  30.0  1113444352
loop-invgen/apache-escape-absolute_true-unreach-call.i.v+cfa-reducer.c timeout 241    208    1311617024 true 57.6  37.0  1086570496
loop-invgen/apache-get-tag_true-unreach-call.i.p+lhb-reducer.c timeout 241    203    1346109440 true 54.9  36.1  1148211200
loop-invgen/apache-get-tag_true-unreach-call.i.p+nlh-reducer.c timeout 240    203    1479348224 true 103    74.3  1381040128
loop-invgen/apache-get-tag_true-unreach-call.i.p+sep-reducer.c timeout 240    204    1586679808 true 117    83.3  1589706752
loop-invgen/apache-get-tag_true-unreach-call.i.v+lhb-reducer.c timeout 240    204    1286221824 true 43.6  28.8  1110769664
loop-invgen/apache-get-tag_true-unreach-call.i.v+nlh-reducer.c timeout 240    205    1334800384 true 42.0  27.2  996909056
loop-invgen/id_build_true-unreach-call.i.p+nlh-reducer.c timeout 241    213    1354964992 true 31.4  19.2  849154048
loop-invgen/id_build_true-unreach-call.i.p+sep-reducer.c timeout 240    216    1328873472 true 31.4  19.3  884264960
loop-invgen/id_build_true-unreach-call.i.v+lhb-reducer.c true 77.6  62.7  1179738112 true 13.0  7.85 396877824
loop-lit/afnp2014_true-unreach-call_true-termination.c.i timeout 240    234    746938368 true 14.1  8.55 420741120
loop-lit/bhmr2007_true-unreach-call_true-termination.c.i timeout 241    228    1115320320 true 17.6  11.3  711716864
loop-lit/cggmp2005_true-unreach-call_true-termination.c.i true 21.1  15.6  490897408 true 15.5  9.56 551477248
loop-lit/cggmp2005_variant_true-unreach-call_true-termination.c.i timeout 241    225    1153069056 true 15.5  9.55 526516224
loop-lit/cggmp2005b_true-unreach-call_true-termination.c.i true 11.7  7.08 344059904 true 15.1  9.16 461250560
loop-lit/css2003_true-unreach-call_true-termination.c.i true 17.2  11.1  482742272 true 12.0  7.02 318951424
loop-lit/ddlm2013_true-unreach-call.i true 41.5  35.5  648826880 true 22.7  14.6  702054400
loop-lit/gj2007_true-unreach-call_true-termination.c.i timeout 241    222    1202667520 true 220    159    1524383744
loop-lit/gj2007b_true-unreach-call_true-termination.c.i true 34.5  24.6  985649152 true 14.8  9.31 558407680
loop-lit/gr2006_true-unreach-call_true-termination.c.i timeout 241    210    1211125760 timeout 240    179    1620217856
loop-lit/gsv2008_true-unreach-call_true-termination.c.i timeout 240    230    1111527424 true 12.6  7.48 355962880
loop-lit/hhk2008_true-unreach-call_true-termination.c.i timeout 241    231    1178607616 true 14.2  8.69 424165376
loop-lit/jm2006_true-unreach-call_true-termination.c.i timeout 240    231    1141661696 true 18.9  12.0  702013440
loop-lit/jm2006_variant_true-unreach-call_true-termination.c.i timeout 241    224    1243078656 true 18.9  12.2  787709952
loop-lit/mcmillan2006_true-unreach-call_true-termination.c.i timeout 241    221    1137582080 timeout 241    222    1331281920
loop-lit/gcnr2008_false-unreach-call_false-termination.i false 9.52 5.64 269123584 false 9.80 6.00 270426112
loop-lit/gj2007_true-unreach-call.c.i.p+lhb-reducer.c timeout 241    219    1355997184 timeout (true) 241    178    1545420800
loop-lit/gj2007_true-unreach-call.c.i.p+nlh-reducer.c timeout 240    209    1420144640 timeout 240    186    1475780608
loop-lit/gsv2008_true-unreach-call.c.i.p+cfa-reducer.c timeout 240    233    770707456 true 11.1  6.80 325595136
loop-lit/gsv2008_true-unreach-call.c.i.v+cfa-reducer.c timeout 240    234    818294784 true 11.4  6.82 324968448
loop-lit/gsv2008_true-unreach-call.c.i.v+lhb-reducer.c timeout 240    232    936742912 true 13.5  8.04 375799808
loop-lit/jm2006_true-unreach-call.c.i.v+cfa-reducer.c timeout 240    231    1082212352 true 16.1  10.1  559185920
loop-new/count_by_1_true-unreach-call_true-termination.i true 14.7  9.16 482336768 true 13.0  7.85 427835392
loop-new/count_by_1_variant_true-unreach-call_true-termination.i true 13.6  8.13 381960192 true 13.8  8.58 468439040
loop-new/count_by_2_true-unreach-call_true-termination.i timeout 241    222    1252798464 timeout 241    183    1573449728
loop-new/count_by_k_true-unreach-call_true-termination.i timeout 241    231    1032146944 timeout 241    197    1452077056
loop-new/count_by_nondet_true-unreach-call_true-termination.i timeout 240    225    1220157440 timeout 240    182    1566863360
loop-new/gauss_sum_true-unreach-call_true-termination.i timeout 240    230    1037340672 timeout 241    199    1374887936
loop-new/half_true-unreach-call_true-termination.i timeout 241    224    1159831552 true 28.0  18.4  861241344
loop-new/nested_true-unreach-call_true-termination.i timeout 241    218    1316343808 timeout 241    202    3108642816
loop-new/gauss_sum_true-unreach-call.i.p+cfa-reducer.c timeout 240    231    958357504 timeout 241    197    1418616832
loop-new/gauss_sum_true-unreach-call.i.p+lhb-reducer.c timeout 240    232    941355008 timeout 241    197    1380245504
loop-new/gauss_sum_true-unreach-call.i.v+cfa-reducer.c timeout 240    231    975966208 timeout 241    197    1399914496
loop-industry-pattern/aiob_1_true-unreach-call.c error: exception 6.78 3.82 201838592 error: exception 6.24 3.65 202682368
loop-industry-pattern/aiob_2_true-unreach-call.c error: exception 6.53 3.78 203165696 error: exception 5.55 3.41 195313664
loop-industry-pattern/aiob_3_true-unreach-call.c error: exception 6.70 3.74 202489856 error: exception 6.18 3.60 198946816
loop-industry-pattern/aiob_4_true-unreach-call.c error: exception 6.22 3.59 202616832 error: exception 6.29 3.63 201351168
loop-industry-pattern/aiob_4_true-unreach-call.c.v+cfa-reducer.c true 85.2  72.7  895520768 out of memory 220    134    8000000000
loop-industry-pattern/aiob_4_true-unreach-call.c.v+lh-reducer.c true 86.9  74.0  881197056 true 26.5  16.9  825143296
loop-industry-pattern/aiob_4_true-unreach-call.c.v+lhb-reducer.c timeout 241    223    1227292672 true 57.5  39.2  1155710976
loop-industry-pattern/aiob_4_true-unreach-call.c.v+nlh-reducer.c timeout 241    227    1241788416 true 107    82.5  1503838208
loop-industry-pattern/mod3_true-unreach-call.c timeout 240    234    527314944 true 26.8  20.8  436662272
loop-industry-pattern/mod3_true-unreach-call.c.v+cfa-reducer.c timeout 240    235    504483840 true 17.2  12.1  342450176
loop-industry-pattern/mod3_true-unreach-call.c.v+lhb-reducer.c timeout 240    235    499298304 true 19.5  14.3  322424832
loop-industry-pattern/mod3_true-unreach-call.c.v+sep-reducer.c timeout 240    235    539561984 true 16.1  10.6  340545536
loop-industry-pattern/nested_true-unreach-call.c timeout 240    203    1323503616 timeout 240    198    1758711808
loop-industry-pattern/ofuf_1_true-unreach-call.c true 66.5  45.5  1205805056 true 22.7  13.4  708689920
loop-industry-pattern/ofuf_2_true-unreach-call.c true 76.5  53.0  1167335424 true 20.8  12.3  707289088
loop-industry-pattern/ofuf_3_true-unreach-call.c true 76.2  54.1  1212592128 true 21.2  12.6  710361088
loop-industry-pattern/ofuf_4_true-unreach-call.c true 66.5  47.7  1223086080 true 23.6  13.8  734605312
loop-industry-pattern/ofuf_5_true-unreach-call.c true 62.9  43.1  1205313536 true 22.4  13.3  728395776
loops/heavy_true-unreach-call.c true 26.4  15.3  2849742848 true 38.1  22.0  2926510080
loops/compact_false-unreach-call.c timeout 241    221    3205566464 timeout 240    224    3234598912
loops/heavy_false-unreach-call.c timeout 241    222    3303407616 timeout 241    196    3704365056
loops-crafted-1/Mono1_false-unreach-call1.c timeout 241    222    1334935552 timeout 241    222    1174654976
loops-crafted-1/Mono3_false-unreach-call1.c timeout 241    216    1273540608 timeout 241    216    1198391296
loops-crafted-1/Mono4_false-unreach-call1.c timeout 241    219    1247997952 timeout 241    180    1489203200
loops-crafted-1/Mono5_false-unreach-call1.c timeout 241    226    1246134272 timeout 240    224    1143316480
loops-crafted-1/Mono6_false-unreach-call1.c timeout 240    226    1251106816 timeout 240    222    1125593088
loops-crafted-1/nested3_false-unreach-call.c timeout 241    221    1304190976 timeout 241    219    1168318464
loops-crafted-1/nested5_false-unreach-call.c timeout 241    222    1337147392 timeout 241    224    1174859776
loops-crafted-1/Mono1_true-unreach-call1.c timeout 241    221    1237999616 timeout 241    222    1144238080
loops-crafted-1/nested3_true-unreach-call.c timeout 241    220    1345863680 timeout 241    212    1347162112
loops-crafted-1/nested5_true-unreach-call.c true 19.5  12.6  667365376 true 56.9  49.1  642195456
loop-invariants/bin-suffix-5_true-unreach-call_true-valid-memsafety_true-no-overflow_false-termination.c true 12.0  7.18 346775552 false 8.82 5.19 264302592
loop-invariants/const_true-unreach-call_true-valid-memsafety_true-no-overflow_false-termination.c true 11.3  6.73 319410176 true 11.3  6.76 315854848
loop-invariants/eq1_true-unreach-call_true-valid-memsafety_true-no-overflow_false-termination.c true 11.4  6.82 301191168 true 10.3  6.25 298741760
loop-invariants/eq2_true-unreach-call_true-valid-memsafety_true-no-overflow_false-termination.c true 10.2  6.15 286326784 true 10.3  6.20 286126080
loop-invariants/even_true-unreach-call_true-valid-memsafety_true-no-overflow_false-termination.c true 13.0  7.77 355020800 true 10.6  6.39 290865152
loop-invariants/mod4_true-unreach-call_true-valid-memsafety_true-no-overflow_false-termination.c true 12.2  7.31 352268288 true 11.0  6.43 289021952
loop-invariants/odd_true-unreach-call_true-valid-memsafety_true-no-overflow_false-termination.c true 13.0  7.58 350941184 true 17.2  12.7  312377344
../../../trunk/examples/svcomp/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
total 775 115000 104000 856028516352 775 94400 78400 807191040000
local summary 36800 7010 59200 5300
    correct results 0 0
        correct true 0 0
        correct false 0 0
    incorrect results 0 0
        incorrect true 0 0
        incorrect false 0 0
Run set Bitvector.ReachSafety32 Default.ReachSafety32