Tool ULTIMATE Automizer 0.1.23-18e5b2df
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-18 20:34:43 CET
Run set Bitvector.ReachSafety32 Default.ReachSafety32
Options -tc ../../../trunk/examples/toolchains/AutomizerC.xml -ea -s ../../../trunk/examples/settings/default/automizer/svcomp-Reach-32bit-Automizer_Bitvector.epf -tc ../../../trunk/examples/toolchains/AutomizerC.xml -ea -s ../../../trunk/examples/settings/default/automizer/svcomp-Reach-32bit-Automizer_Default.epf
../../../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 241    210    1426309120 timeout 241    180    1833885696
array-examples/sorting_bubblesort_false-unreach-call2_ground.i timeout 241    221    1239293952 timeout 240    175    1539272704
array-examples/sorting_bubblesort_false-unreach-call_ground.i timeout 241    221    1322770432 timeout 241    177    1585053696
array-examples/sorting_selectionsort_false-unreach-call2_ground.i timeout 241    212    1281699840 timeout 240    181    1543770112
array-examples/sorting_selectionsort_false-unreach-call_ground.i timeout 241    214    1370849280 timeout 240    182    1576120320
array-examples/standard_allDiff2_false-unreach-call_ground.i timeout 241    205    1393692672 timeout 241    191    1853382656
array-examples/standard_copy1_false-unreach-call_ground.i timeout 240    230    1398870016 timeout 241    206    1316270080
array-examples/standard_copy2_false-unreach-call_ground.i timeout 240    230    1345028096 timeout 241    217    1300901888
array-examples/standard_copy3_false-unreach-call_ground.i timeout 241    229    1470259200 timeout 241    216    1271066624
array-examples/standard_copy4_false-unreach-call_ground.i timeout 240    229    1372901376 timeout 241    216    1390194688
array-examples/standard_copy5_false-unreach-call_ground.i timeout 240    229    1328246784 timeout 241    215    1216274432
array-examples/standard_copy6_false-unreach-call_ground.i timeout 240    229    1338245120 timeout 241    212    1292914688
array-examples/standard_copy7_false-unreach-call_ground.i timeout 240    228    1367420928 timeout 241    211    1325215744
array-examples/standard_copy8_false-unreach-call_ground.i timeout 240    228    1447092224 timeout 241    210    1190576128
array-examples/standard_copy9_false-unreach-call_ground.i timeout 240    227    1444786176 timeout 241    215    1325678592
array-examples/standard_copyInitSum2_false-unreach-call_ground.i timeout 240    226    1421049856 timeout 241    217    1203310592
array-examples/standard_init1_false-unreach-call_ground.i timeout 240    232    1185353728 timeout 241    207    1434521600
array-examples/standard_init2_false-unreach-call_ground.i timeout 240    230    1263407104 timeout 241    217    1324601344
array-examples/standard_init3_false-unreach-call_ground.i timeout 240    228    1348558848 timeout 241    218    1231601664
array-examples/standard_init4_false-unreach-call_ground.i timeout 241    225    1319231488 timeout 241    218    1228365824
array-examples/standard_init5_false-unreach-call_ground.i timeout 241    225    1354305536 timeout 241    220    1216344064
array-examples/standard_init6_false-unreach-call_ground.i timeout 241    226    1499189248 timeout 240    216    1217757184
array-examples/standard_init7_false-unreach-call_ground.i timeout 241    222    1400143872 timeout 241    221    1265840128
array-examples/standard_init8_false-unreach-call_ground.i timeout 241    221    1445478400 timeout 241    219    1266024448
array-examples/standard_init9_false-unreach-call_ground.i timeout 241    222    1380728832 timeout 241    219    1286979584
array-examples/standard_minInArray_false-unreach-call_ground.i timeout 241    221    1291235328 timeout 241    183    1637019648
array-examples/standard_partition_false-unreach-call_ground.i timeout 240    226    1391525888 timeout 241    213    1344286720
array-examples/standard_running_false-unreach-call.i timeout 241    208    1472442368 timeout 241    218    1404243968
array-examples/data_structures_set_multi_proc_trivial_true-unreach-call_ground_true-termination.i true 16.0  9.87 541126656 true 15.6  9.56 530386944
array-examples/data_structures_set_multi_proc_true-unreach-call_ground.i timeout 241    187    6016991232 timeout 241    203    1781592064
array-examples/relax_true-unreach-call.i timeout 241    206    1244917760 timeout 241    205    1416171520
array-examples/sanfoundry_02_true-unreach-call_ground.i timeout 241    222    1233461248 timeout 241    181    1514647552
array-examples/sanfoundry_10_true-unreach-call_ground.i timeout 241    215    1223565312 timeout 241    221    1335324672
array-examples/sanfoundry_24_true-unreach-call_true-termination.i true 19.8  13.2  702218240 true 15.5  9.49 518877184
array-examples/sanfoundry_27_true-unreach-call_ground.i timeout 241    221    1360990208 timeout 241    179    1470648320
array-examples/sanfoundry_43_true-unreach-call_ground.i true 8.48 5.08 262144000 true 8.00 4.77 255098880
array-examples/sorting_bubblesort_true-unreach-call_ground.i timeout 241    217    1302994944 timeout 241    209    1398603776
array-examples/sorting_selectionsort_true-unreach-call_ground.i timeout 241    217    1288736768 timeout 240    180    1577824256
array-examples/standard_compareModified_true-unreach-call_ground.i timeout 240    229    1620930560 timeout 241    198    1436647424
array-examples/standard_compare_true-unreach-call_ground.i timeout 241    218    1372180480 timeout 241    219    1284247552
array-examples/standard_copy1_true-unreach-call_ground.i timeout 240    231    1181241344 timeout 241    205    1364983808
array-examples/standard_copy2_true-unreach-call_ground.i timeout 240    230    1234432000 timeout 240    207    1348673536
array-examples/standard_copy3_true-unreach-call_ground.i timeout 240    229    1339777024 timeout 241    209    1334030336
array-examples/standard_copy4_true-unreach-call_ground.i timeout 240    229    1361240064 timeout 241    211    1305116672
array-examples/standard_copy5_true-unreach-call_ground.i timeout 240    229    1335513088 timeout 241    214    1359151104
array-examples/standard_copy6_true-unreach-call_ground.i timeout 241    228    1285906432 timeout 241    207    1352081408
array-examples/standard_copy7_true-unreach-call_ground.i timeout 240    227    1361600512 timeout 241    214    1290219520
array-examples/standard_copy8_true-unreach-call_ground.i timeout 240    228    1348833280 timeout 241    209    1252352000
array-examples/standard_copy9_true-unreach-call_ground.i timeout 240    227    1348534272 timeout 241    214    1302560768
array-examples/standard_copyInitSum2_true-unreach-call_ground.i timeout 240    226    1504362496 timeout 241    219    1260531712
array-examples/standard_copyInitSum3_true-unreach-call_ground.i timeout 241    224    1397452800 timeout 241    217    1214742528
array-examples/standard_copyInitSum_true-unreach-call_ground.i timeout 241    225    1410228224 timeout 241    218    1207422976
array-examples/standard_copyInit_true-unreach-call_ground.i timeout 240    229    1439928320 timeout 241    217    1315000320
array-examples/standard_find_true-unreach-call_ground.i timeout 241    219    1344000000 timeout 241    179    1438801920
array-examples/standard_init1_true-unreach-call_ground.i timeout 240    232    1180258304 timeout 240    204    1432416256
array-examples/standard_init2_true-unreach-call_ground.i timeout 240    229    1286045696 timeout 241    212    1250836480
array-examples/standard_init3_true-unreach-call_ground.i timeout 240    229    1337200640 timeout 241    219    1232400384
array-examples/standard_init4_true-unreach-call_ground.i timeout 241    225    1293107200 timeout 241    221    1176588288
array-examples/standard_init5_true-unreach-call_ground.i timeout 241    225    1446969344 timeout 241    218    1155551232
array-examples/standard_init6_true-unreach-call_ground.i timeout 241    224    1422491648 timeout 241    222    1242169344
array-examples/standard_init7_true-unreach-call_ground.i timeout 241    223    1498271744 timeout 241    222    1225842688
array-examples/standard_init8_true-unreach-call_ground.i timeout 241    222    1385037824 timeout 241    220    1239900160
array-examples/standard_init9_true-unreach-call_ground.i timeout 241    221    1399324672 timeout 241    222    1228632064
array-examples/standard_maxInArray_true-unreach-call_ground.i timeout 241    221    1293242368 timeout 241    181    1480638464
array-examples/standard_minInArray_true-unreach-call_ground.i timeout 241    220    1348603904 timeout 241    179    1479626752
array-examples/standard_palindrome_true-unreach-call_ground.i timeout 240    231    1345433600 timeout 241    206    1391525888
array-examples/standard_partial_init_true-unreach-call_ground.i timeout 240    230    1328377856 timeout 241    196    1534107648
array-examples/standard_partition_original_true-unreach-call_ground.i timeout 240    230    1384538112 timeout 241    200    1396187136
array-examples/standard_partition_true-unreach-call_ground.i timeout 240    231    1277333504 timeout 241    220    1269727232
array-examples/standard_password_true-unreach-call_ground.i timeout 241    218    1429524480 timeout 241    217    1299730432
array-examples/standard_reverse_true-unreach-call_ground.i timeout 241    224    1325834240 timeout 241    228    1177174016
array-examples/standard_running_true-unreach-call.i timeout 241    205    1401180160 timeout 241    219    1358340096
array-examples/standard_sentinel_true-unreach-call_true-termination.i timeout 241    229    1218785280 true 25.7  16.8  825327616
array-examples/standard_seq_init_true-unreach-call_ground.i timeout 240    231    1227841536 timeout 240    200    1384984576
array-examples/standard_strcmp_true-unreach-call_ground.i timeout 241    226    1130614784 timeout 241    220    1246265344
array-examples/standard_strcpy_original_true-unreach-call.i timeout 241    219    1363550208 timeout 241    214    1184411648
array-examples/standard_strcpy_true-unreach-call_ground.i timeout 241    218    1263828992 timeout 241    221    1228881920
array-examples/standard_two_index_01_true-unreach-call.i timeout 240    224    1470877696 timeout 241    207    1299460096
array-examples/standard_two_index_02_true-unreach-call.i timeout 241    223    1375096832 timeout 241    210    1261682688
array-examples/standard_two_index_03_true-unreach-call.i timeout 240    228    1328947200 timeout 241    207    1348808704
array-examples/standard_two_index_04_true-unreach-call.i timeout 240    229    1323159552 timeout 241    206    1368965120
array-examples/standard_two_index_05_true-unreach-call.i timeout 240    228    1328140288 timeout 241    209    1259446272
array-examples/standard_two_index_06_true-unreach-call.i timeout 240    230    1329971200 timeout 241    208    1296375808
array-examples/standard_two_index_07_true-unreach-call.i timeout 240    230    1379160064 timeout 241    206    1370558464
array-examples/standard_two_index_08_true-unreach-call.i timeout 240    230    1268006912 timeout 241    206    1350541312
array-examples/standard_two_index_09_true-unreach-call.i timeout 240    229    1298194432 timeout 241    207    1344479232
array-examples/standard_vararg_true-unreach-call_ground_true-termination.i timeout 241    225    1352114176 timeout 241    215    1332465664
array-examples/standard_vector_difference_true-unreach-call_ground.i timeout 240    231    1309954048 timeout 241    206    1320677376
array-examples/standard_sentinel_true-unreach-call.i.v+cfa-reducer.c timeout 240    229    1354002432 true 30.6  21.0  875302912
array-industry-pattern/array_assert_loop_dep_false-unreach-call_true-termination.i timeout 241    223    1399824384 timeout 240    184    1476759552
array-industry-pattern/array_of_struct_loop_dep_false-unreach-call.i timeout 241    221    1789243392 timeout 240    188    1568202752
array-industry-pattern/array_ptr_single_elem_init_false-unreach-call_true-termination.i timeout 241    214    1678524416 timeout 240    189    1657278464
array-industry-pattern/array_range_init_false-unreach-call.i timeout 241    214    1346039808 timeout 241    205    1367027712
array-industry-pattern/array_single_elem_init_false-unreach-call_true-termination.i timeout 241    214    1690025984 timeout 240    191    1677905920
array-industry-pattern/check_removal_from_set_after_insertion_false-unreach-call.i timeout 241    206    1432600576 timeout 241    178    1543188480
array-industry-pattern/array_monotonic_true-unreach-call_true-termination.i timeout 241    224    1432530944 timeout 241    210    1343819776
array-industry-pattern/array_mul_init_true-unreach-call_true-termination.i timeout 241    223    1539833856 timeout 240    232    880721920
array-industry-pattern/array_of_struct_break_true-unreach-call.i timeout 241    222    1693720576 timeout 241    190    1583886336
array-industry-pattern/array_of_struct_ptr_cond_init_true-unreach-call.i timeout 241    223    1680715776 timeout 241    215    1277022208
array-industry-pattern/array_of_struct_ptr_flag_init_true-unreach-call.i timeout 241    227    1344335872 true 24.0  15.2  783765504
array-industry-pattern/array_of_struct_ptr_monotonic_true-unreach-call.i timeout 241    224    1543561216 timeout 241    214    1253998592
array-industry-pattern/array_of_struct_ptr_mul_init_true-unreach-call.i timeout 241    221    2390351872 timeout 240    230    1218134016
array-industry-pattern/array_of_struct_single_elem_init_true-unreach-call.i timeout 241    221    2386014208 timeout 241    215    1736089600
array-industry-pattern/array_ptr_partial_init_true-unreach-call.i timeout 240    228    1361448960 timeout 241    209    1278001152
array-industry-pattern/array_ptr_single_elem_init_true-unreach-call.i timeout 241    222    1457778688 timeout 241    197    1452441600
array-industry-pattern/array_shadowinit_true-unreach-call_true-termination.i timeout 241    209    1394331648 timeout 241    190    1427927040
reducercommutativity/rangesum05_false-unreach-call_true-termination.i false 50.4  39.7  1226838016 false 77.2  61.3  1019473920
reducercommutativity/rangesum10_false-unreach-call_true-termination.i timeout 241    227    1478324224 false 78.7  58.2  1277231104
reducercommutativity/rangesum20_false-unreach-call.i timeout 241    224    1406078976 timeout 241    192    1385164800
reducercommutativity/rangesum40_false-unreach-call.i timeout 240    206    1779351552 timeout 241    197    1357213696
reducercommutativity/rangesum60_false-unreach-call.i timeout 240    212    1461501952 timeout 241    193    1551785984
reducercommutativity/rangesum_false-unreach-call_true-termination.i false 84.6  72.5  1516265472 false 30.5  19.2  996061184
reducercommutativity/avg05_true-unreach-call_true-termination.i timeout 240    232    1750921216 timeout 241    223    2909208576
reducercommutativity/avg10_true-unreach-call_true-termination.i timeout 240    230    2411864064 error: exception 98.6  61.5  1537892352
reducercommutativity/avg20_true-unreach-call.i timeout 240    231    1086734336 timeout 240    190    1611292672
reducercommutativity/avg40_true-unreach-call.i timeout 240    229    1191575552 timeout 240    188    1515089920
reducercommutativity/avg60_true-unreach-call.i timeout 240    229    1386639360 timeout 241    190    1509683200
reducercommutativity/avg_true-unreach-call_true-termination.i timeout 240    232    1824497664 timeout 240    233    829747200
reducercommutativity/max05_true-unreach-call_true-termination.i timeout 241    221    1263632384 error: exception 42.5  25.8  996151296
reducercommutativity/max10_true-unreach-call_true-termination.i timeout 240    216    1417142272 error: exception 77.1  49.5  1238433792
reducercommutativity/max20_true-unreach-call.i timeout 241    213    1471078400 timeout 240    188    1593143296
reducercommutativity/max40_true-unreach-call.i timeout 240    226    1288704000 timeout 241    193    1480753152
reducercommutativity/max60_true-unreach-call.i timeout 241    219    1472753664 timeout 241    183    1537957888
reducercommutativity/max_true-unreach-call_true-termination.i timeout 241    221    1259298816 error: exception 22.3  13.5  831840256
reducercommutativity/sep05_true-unreach-call_true-termination.i timeout 241    218    1442537472 error: exception 46.6  28.6  1079205888
reducercommutativity/sep10_true-unreach-call.i timeout 241    214    1425281024 error: exception 101    63.6  1359925248
reducercommutativity/sep20_true-unreach-call.i timeout 241    213    1377644544 timeout 241    188    1529892864
reducercommutativity/sep40_true-unreach-call.i timeout 240    226    1296396288 timeout 241    189    1569746944
reducercommutativity/sep60_true-unreach-call.i timeout 241    221    1446412288 timeout 241    189    1490608128
reducercommutativity/sep_true-unreach-call_true-termination.i timeout 241    220    1387778048 error: exception 28.3  17.4  817741824
reducercommutativity/sum05_true-unreach-call_true-termination.i timeout 240    228    1227788288 timeout 240    225    2894667776
reducercommutativity/sum10_true-unreach-call_true-termination.i timeout 240    231    2791849984 timeout 241    209    2953396224
reducercommutativity/sum20_true-unreach-call.i timeout 241    224    3135938560 timeout 242    175    1668460544
reducercommutativity/sum40_true-unreach-call.i timeout 241    230    1330524160 timeout 241    193    1567100928
reducercommutativity/sum60_true-unreach-call.i timeout 240    229    1351073792 timeout 241    190    1484951552
reducercommutativity/sum_true-unreach-call_true-termination.i timeout 241    226    1265840128 error: exception 23.1  13.6  777277440
array-tiling/mlceu_false-unreach-call.i timeout 241    218    1194008576 timeout 241    208    1401004032
array-tiling/skippedu_false-unreach-call.i false 18.5  12.2  607137792 false 17.3  10.9  624652288
array-tiling/mbpr2_true-unreach-call.i timeout 241    223    1275179008 error: exception 16.2  9.79 538759168
array-tiling/mbpr3_true-unreach-call.i timeout 241    222    1254637568 error: exception 48.0  33.9  1155592192
array-tiling/mbpr4_true-unreach-call.i timeout 241    224    1233973248 timeout 241    204    1534066688
array-tiling/mbpr5_true-unreach-call.i timeout 241    218    1264521216 error: exception 202    168    1502281728
array-tiling/nr2_true-unreach-call.i timeout 241    226    1268060160 error: exception 53.3  40.3  1047175168
array-tiling/nr3_true-unreach-call.i timeout 241    222    1320181760 error: exception 50.5  37.2  1146298368
array-tiling/nr4_true-unreach-call.i timeout 240    225    1340207104 timeout 241    214    1733632000
array-tiling/nr5_true-unreach-call.i timeout 241    225    1445826560 error: exception 45.9  32.3  1154043904
array-tiling/pnr2_true-unreach-call.i timeout 241    227    1134444544 timeout 242    209    1273409536
array-tiling/pnr3_true-unreach-call.i timeout 241    225    1166192640 timeout 241    201    1385000960
array-tiling/pnr4_true-unreach-call.i timeout 241    221    1205743616 timeout 241    212    1295605760
array-tiling/pnr5_true-unreach-call.i timeout 241    224    1197674496 timeout 241    216    1486802944
array-tiling/poly1_true-unreach-call.i timeout 240    229    1117437952 timeout 241    212    1473216512
array-tiling/poly2_true-unreach-call.i true 17.5  11.6  450768896 timeout 240    231    1020653568
array-tiling/pr2_true-unreach-call.i timeout 241    211    1299496960 timeout 241    202    1584160768
array-tiling/pr3_true-unreach-call.i timeout 241    213    1396420608 timeout 241    205    1558237184
array-tiling/pr4_true-unreach-call.i timeout 240    216    1304289280 timeout 241    191    1452548096
array-tiling/pr5_true-unreach-call.i timeout 241    214    1243881472 timeout 241    196    1310302208
array-tiling/revcpyswp2_true-unreach-call.i timeout 240    229    1411977216 error: exception 63.6  46.8  1279344640
array-tiling/rew_true-unreach-call.i timeout 241    225    1426386944 timeout 240    209    1327169536
array-tiling/rewnif_true-unreach-call.i timeout 241    216    1331228672 timeout 241    208    3260452864
array-tiling/rewnifrev2_true-unreach-call.i timeout 240    227    1482858496 timeout 241    201    1656754176
array-tiling/rewnifrev_true-unreach-call.i timeout 240    233    1015492608 timeout 240    199    1830703104
array-tiling/rewrev_true-unreach-call.i timeout 241    222    1420296192 timeout 241    223    1581031424
array-tiling/skipped_true-unreach-call.i timeout 240    215    1270730752 timeout 240    204    1492148224
array-tiling/tcpy_true-unreach-call.i timeout 240    233    916959232 timeout 241    227    1219936256
array-programs/copysome1_false-unreach-call.i timeout 240    227    1378091008 timeout 241    216    1162354688
array-programs/copysome2_false-unreach-call.i timeout 240    224    1470484480 timeout 241    221    1276211200
array-programs/copysome1_true-unreach-call.i timeout 240    228    1409908736 timeout 241    219    1168990208
array-programs/copysome2_true-unreach-call.i timeout 240    225    1469566976 timeout 241    222    1237155840
array-crafted/bAnd1_true-unreach-call.i timeout 240    229    1355018240 timeout 240    195    1533865984
array-crafted/bAnd2_true-unreach-call.i timeout 240    230    1371697152 timeout 240    197    1461633024
array-crafted/bAnd3_true-unreach-call.i timeout 240    230    1332514816 timeout 241    194    1515454464
array-crafted/bAnd4_true-unreach-call.i timeout 240    230    1356996608 timeout 241    195    1484136448
array-crafted/bAnd5_true-unreach-call.i timeout 241    226    1244164096 unknown: overapproxcex 16.3  9.58 503611392
array-crafted/bor1_true-unreach-call.i timeout 240    230    1311830016 timeout 242    197    1537716224
array-crafted/bor2_true-unreach-call.i timeout 240    230    1342541824 timeout 240    189    1482215424
array-crafted/bor3_true-unreach-call.i timeout 240    230    1304719360 timeout 241    188    1481183232
array-crafted/bor4_true-unreach-call.i timeout 240    230    1319043072 timeout 241    193    1531183104
array-crafted/bor5_true-unreach-call.i timeout 241    226    1215016960 unknown: overapproxcex 15.5  9.16 498311168
array-crafted/mapavg1_true-unreach-call.i timeout 240    230    1310863360 timeout 241    187    1474953216
array-crafted/mapavg2_true-unreach-call.i timeout 240    230    1408188416 timeout 241    187    1491222528
array-crafted/mapavg3_true-unreach-call.i timeout 240    230    1379790848 timeout 242    191    1502707712
array-crafted/mapavg4_true-unreach-call.i timeout 240    230    1356255232 timeout 241    194    1542725632
array-crafted/mapavg5_true-unreach-call.i timeout 240    233    2941845504 timeout 240    231    1632145408
array-crafted/mapsum1_true-unreach-call.i timeout 240    230    1286676480 timeout 241    189    1531338752
array-crafted/mapsum2_true-unreach-call.i timeout 240    230    1339232256 timeout 241    191    1435209728
array-crafted/mapsum3_true-unreach-call.i timeout 240    231    1305088000 timeout 240    192    1478234112
array-crafted/mapsum4_true-unreach-call.i timeout 240    230    1311604736 timeout 241    189    1468289024
array-crafted/mapsum5_true-unreach-call.i timeout 241    228    1256697856 error: exception 19.7  11.8  709517312
array-crafted/xor1_true-unreach-call.i timeout 240    230    1347465216 timeout 240    190    1451991040
array-crafted/xor2_true-unreach-call.i timeout 240    230    1338093568 timeout 241    187    1535950848
array-crafted/xor3_true-unreach-call.i timeout 240    229    1329532928 timeout 241    191    1499758592
array-crafted/xor4_true-unreach-call.i timeout 241    229    1339502592 timeout 240    195    1549975552
array-crafted/xor5_true-unreach-call.i timeout 240    226    1241931776 unknown: overapproxcex 15.4  9.18 499003392
array-crafted/zero_sum1_true-unreach-call.c timeout 241    223    1444769792 timeout 240    200    1539899392
array-crafted/zero_sum2_true-unreach-call.c timeout 241    222    1476145152 timeout 240    199    1573351424
array-crafted/zero_sum3_true-unreach-call.c timeout 241    222    1694027776 timeout 240    201    1531977728
array-crafted/zero_sum4_true-unreach-call.c timeout 241    222    2024701952 timeout 240    199    1537261568
array-crafted/zero_sum5_true-unreach-call.c timeout 241    221    2031783936 timeout 241    199    1531838464
array-crafted/zero_sum_const1_true-unreach-call.c timeout 241    222    1166360576 error: exception 32.4  21.5  974548992
array-crafted/zero_sum_const2_true-unreach-call.c timeout 241    222    1181347840 timeout 241    199    1476280320
array-crafted/zero_sum_const3_true-unreach-call.c timeout 241    222    1184600064 timeout 240    199    1570422784
array-crafted/zero_sum_const4_true-unreach-call.c timeout 241    222    1176403968 timeout 241    196    1575542784
array-crafted/zero_sum_const5_true-unreach-call.c timeout 241    220    1211482112 timeout 240    194    1508188160
array-crafted/zero_sum_const_m2_true-unreach-call.c timeout 241    225    1173819392 timeout 240    203    1464791040
array-crafted/zero_sum_const_m3_true-unreach-call.c timeout 241    225    1193766912 timeout 240    203    1589227520
array-crafted/zero_sum_const_m4_true-unreach-call.c timeout 241    225    1217216512 timeout 240    203    1501700096
array-crafted/zero_sum_const_m5_true-unreach-call.c timeout 241    227    1176170496 timeout 241    206    1634652160
array-crafted/zero_sum_m2_true-unreach-call.c timeout 241    229    2645020672 timeout 241    206    1615921152
array-crafted/zero_sum_m3_true-unreach-call.c timeout 240    230    1665642496 timeout 241    206    1483960320
array-crafted/zero_sum_m4_true-unreach-call.c timeout 240    230    1317867520 timeout 240    204    1503326208
array-crafted/zero_sum_m5_true-unreach-call.c timeout 241    230    1758355456 timeout 241    207    1528360960
array-multidimensional/add-2-n-u_true-unreach-call.i timeout 241    219    1316245504 timeout 240    224    1318031360
array-multidimensional/add-3-n-u_true-unreach-call.i timeout 241    220    1287036928 timeout 240    229    1051230208
array-multidimensional/copy-2-u_true-unreach-call.i timeout 241    222    1356750848 timeout 241    222    1230147584
array-multidimensional/copy-3-n-u_true-unreach-call.i timeout 241    220    1321078784 timeout 240    229    979816448
array-multidimensional/copy-partial-2-n-u_true-unreach-call.i timeout 241    218    1347624960 timeout 240    223    1282670592
array-multidimensional/copy-partial-3-u_true-unreach-call.i true 52.9  42.6  990654464 true 24.1  15.0  805531648
array-multidimensional/diff-2-n-u_true-unreach-call.i timeout 241    217    1329479680 timeout 240    230    1072254976
array-multidimensional/diff-3-n-u_true-unreach-call.i timeout 241    220    1305350144 timeout 240    230    1048072192
array-multidimensional/init-2-n-u_true-unreach-call.i timeout 240    230    1128136704 timeout 241    227    1065201664
array-multidimensional/init-3-u_true-unreach-call.i timeout 240    230    1231609856 timeout 240    232    1033912320
array-multidimensional/init-4-n-u_true-unreach-call.i timeout 240    226    1261142016 timeout 240    224    1833431040
array-multidimensional/init-non-constant-2-n-u_true-unreach-call.i error: exception 13.8  8.93 447819776 error: exception 13.9  8.53 447049728
array-multidimensional/init-non-constant-3-u_true-unreach-call.i timeout 240    229    1223446528 timeout 240    231    1076150272
array-multidimensional/max-2-u_true-unreach-call.i timeout 241    218    1313374208 timeout 241    223    1200840704
array-multidimensional/max-3-n-u_true-unreach-call.i timeout 241    219    1342406656 error: exception 28.9  18.4  905965568
array-multidimensional/min-2-u_true-unreach-call.i timeout 241    217    1286459392 timeout 241    222    1169588224
array-multidimensional/min-3-n-u_true-unreach-call.i timeout 241    219    1316716544 error: exception 29.0  18.7  855789568
array-multidimensional/rev-2-n-u_true-unreach-call.i timeout 241    220    1291714560 error: exception 22.2  14.2  796164096
array-multidimensional/rev-3-u_true-unreach-call.i timeout 241    220    1285079040 timeout 240    230    1041567744
array-multidimensional/transpose-u_true-unreach-call.i timeout 241    217    1382432768 timeout 240    231    856489984
reducercommutativity/rangesum05_false-unreach-call.yml unknown 4.29 2.34 167219200 unknown 4.24 2.29 169877504
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c timeout 241    192    1735700480 timeout 241    187    1734459392
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c timeout 241    190    1623310336 timeout 241    189    1518522368
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c timeout 241    191    1560387584 timeout 241    193    1652158464
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c false 107    74.1  1344782336 false 101    65.9  1265405952
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c timeout 241    192    1746763776 timeout 241    191    1795219456
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c timeout 241    195    1630101504 timeout 240    185    1607864320
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c timeout 241    189    1524203520 timeout 241    191    1635786752
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c timeout 241    187    1634660352 timeout 241    189    1592754176
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 58.1  39.1  1168752640 true 81.9  54.2  1215741952
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 79.3  52.0  1303982080 true 74.2  48.1  1282846720
ssh-simplified/s3_clnt_1_false-unreach-call_true-termination.cil.c false 43.5  27.0  1028648960 false 40.1  24.7  976330752
ssh-simplified/s3_clnt_2_false-unreach-call_true-termination.cil.c false 42.0  26.2  1004859392 false 53.0  33.4  1149132800
ssh-simplified/s3_clnt_3_false-unreach-call_true-termination.cil.c false 42.0  26.3  994557952 false 60.8  37.0  1162588160
ssh-simplified/s3_clnt_4_false-unreach-call_true-termination.cil.c false 40.9  25.9  980910080 false 55.8  34.5  1074475008
ssh-simplified/s3_srvr_10_false-unreach-call_false-termination.cil.c false 17.9  10.9  629432320 false 36.0  23.2  974319616
ssh-simplified/s3_srvr_11_false-unreach-call_false-termination.cil.c timeout 241    206    1551876096 timeout 241    202    1680596992
ssh-simplified/s3_srvr_12_false-unreach-call_false-termination.cil.c false 124    94.7  1492631552 timeout 240    201    1665175552
ssh-simplified/s3_srvr_13_false-unreach-call_false-termination.cil.c false 63.7  43.4  1166397440 false 183    146    1715445760
ssh-simplified/s3_srvr_14_false-unreach-call_false-termination.cil.c false 77.5  53.8  1264443392 false 144    113    1570824192
ssh-simplified/s3_srvr_1_false-unreach-call_false-termination.cil.c false 33.4  21.0  974753792 false 81.6  54.2  1235529728
ssh-simplified/s3_srvr_2_false-unreach-call_false-termination.cil.c false 35.9  22.3  992059392 false 79.1  54.1  1230897152
ssh-simplified/s3_srvr_6_false-unreach-call_false-termination.cil.c false 12.0  7.08 348717056 false 12.0  7.03 358559744
ssh-simplified/s3_clnt_1_true-unreach-call_true-termination.cil.c true 190    156    1588658176 timeout 241    204    1505456128
ssh-simplified/s3_clnt_2_true-unreach-call_true-termination.cil.c timeout 242    203    1582882816 timeout 241    203    1510535168
ssh-simplified/s3_clnt_3_true-unreach-call_true-termination.cil.c timeout 240    201    1597534208 timeout 241    204    1450184704
ssh-simplified/s3_clnt_4_true-unreach-call_true-termination.cil.c true 206    171    1570672640 timeout 241    204    1458626560
ssh-simplified/s3_srvr_1_true-unreach-call_false-termination.cil.c true 200    155    1644011520 timeout 241    193    1672556544
ssh-simplified/s3_srvr_1a_true-unreach-call_false-termination.cil.c true 29.8  18.1  808177664 true 26.2  15.9  827514880
ssh-simplified/s3_srvr_1b_true-unreach-call_false-termination.cil.c true 15.7  9.96 608587776 true 15.7  9.71 593436672
ssh-simplified/s3_srvr_2_true-unreach-call_false-termination.cil.c timeout 241    204    1542279168 timeout 241    203    1615753216
ssh-simplified/s3_srvr_3_true-unreach-call_false-termination.cil.c timeout 241    200    1556828160 timeout 241    194    1659977728
ssh-simplified/s3_srvr_4_true-unreach-call_false-termination.cil.c true 210    169    1542004736 timeout 241    193    1656537088
ssh-simplified/s3_srvr_6_true-unreach-call_false-termination.cil.c timeout 240    200    1649434624 timeout 240    197    1703047168
ssh-simplified/s3_srvr_7_true-unreach-call_false-termination.cil.c timeout 241    209    1489903616 timeout 241    197    1659990016
ssh-simplified/s3_srvr_8_true-unreach-call_false-termination.cil.c timeout 241    207    1678610432 timeout 240    193    1656659968
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c false 17.8  11.0  668794880 false 16.6  10.3  633458688
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c false 18.1  11.3  704176128 false 17.3  10.7  663945216
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c timeout 241    217    1520947200 timeout 241    214    1609969664
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c timeout 241    215    1455480832 timeout 241    214    1457098752
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c timeout 241    215    1556934656 timeout 241    214    1462640640
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c timeout 241    217    1653829632 timeout 241    215    1396580352
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c timeout 241    213    1364344832 timeout 241    211    1521152000
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c timeout 240    211    1395032064 timeout 241    212    1506152448
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c true 30.3  18.3  797323264 true 30.1  17.8  850640896
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c true 39.0  24.0  965447680 true 37.3  22.7  904642560
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c true 55.7  36.4  1079656448 true 48.2  32.3  1123479552
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c true 86.2  65.6  1262338048 true 82.5  62.3  1274515456
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c true 214    190    1514868736 true 199    173    1526992896
ntdrivers/cdaudio_false-unreach-call.i.cil.c timeout 241    210    1417711616 timeout 241    180    2163863552
ntdrivers/diskperf_false-unreach-call.i.cil.c error: type error 11.4  6.41 411590656 false 167    118    2510008320
ntdrivers/floppy_false-unreach-call.i.cil.c timeout 241    210    1854959616 timeout 240    188    2248073216
ntdrivers/kbfiltr_false-unreach-call.i.cil.c timeout 241    218    1237610496 timeout 241    182    1606590464
ntdrivers/parport_false-unreach-call.i.cil.c error: type error 15.6  8.21 620244992 timeout 241    187    2535350272
ntdrivers/cdaudio_true-unreach-call.i.cil.c timeout 241    214    1432956928 timeout 241    191    2113290240
ntdrivers/diskperf_true-unreach-call.i.cil.c error: type error 12.0  6.76 449097728 timeout 241    218    1764081664
ntdrivers/floppy2_true-unreach-call_true-termination.i.cil.c timeout 242    183    2434068480 timeout 241    183    2150834176
ntdrivers/floppy_true-unreach-call_true-valid-memsafety.i.cil.c timeout 241    207    1895800832 timeout 241    190    2491465728
ntdrivers/parport_true-unreach-call.i.cil.c error: type error 15.2  8.32 639188992 timeout 241    181    2222137344
ssh/s3_clnt.blast.01_false-unreach-call.i.cil.c timeout 241    210    1804738560 unknown: overapproxcex 202    162    1502633984
ssh/s3_clnt.blast.02_false-unreach-call.i.cil.c false 189    164    1355816960 unknown: overapproxcex 136    104    1441284096
ssh/s3_clnt.blast.03_false-unreach-call.i.cil.c false 173    149    1337835520 unknown: overapproxcex 141    107    1371369472
ssh/s3_clnt.blast.04_false-unreach-call.i.cil.c false 172    147    1325375488 unknown: overapproxcex 144    111    1405091840
ssh/s3_srvr.blast.01_false-unreach-call.i.cil.c false 62.5  45.5  1102282752 unknown: overapproxcex 113    83.3  1365807104
ssh/s3_srvr.blast.02_false-unreach-call.i.cil.c false 87.1  67.2  1084592128 unknown: overapproxcex 107    79.5  1277128704
ssh/s3_srvr.blast.03_false-unreach-call.i.cil.c false 52.6  37.5  912068608 unknown: overapproxcex 110    82.3  1261895680
ssh/s3_srvr.blast.04_false-unreach-call.i.cil.c false 52.6  37.6  892477440 unknown: overapproxcex 112    81.4  1344159744
ssh/s3_srvr.blast.06_false-unreach-call.i.cil.c timeout 241    215    1854849024 timeout 241    195    1486233600
ssh/s3_srvr.blast.07_false-unreach-call.i.cil.c timeout 241    214    1311350784 timeout 240    197    1389355008
ssh/s3_srvr.blast.08_false-unreach-call.i.cil.c timeout 241    216    1725767680 timeout 241    193    1358147584
ssh/s3_srvr.blast.09_false-unreach-call.i.cil.c timeout 241    212    1292730368 timeout 240    199    1499029504
ssh/s3_srvr.blast.10_false-unreach-call.i.cil.c timeout 241    215    1656557568 timeout 241    197    1464397824
ssh/s3_srvr.blast.11_false-unreach-call.i.cil.c false 106    83.0  1246011392 unknown: overapproxcex 137    104    1417580544
ssh/s3_srvr.blast.12_false-unreach-call.i.cil.c timeout 241    214    1781452800 timeout 241    194    1356009472
ssh/s3_srvr.blast.13_false-unreach-call.i.cil.c timeout 241    210    1305858048 timeout 240    197    1414774784
ssh/s3_srvr.blast.14_false-unreach-call.i.cil.c timeout 241    216    1714720768 timeout 241    192    1451958272
ssh/s3_srvr.blast.15_false-unreach-call.i.cil.c timeout 241    215    1841823744 timeout 241    192    1405833216
ssh/s3_srvr.blast.16_false-unreach-call.i.cil.c timeout 241    216    1808031744 timeout 241    196    1376497664
ssh/s3_clnt.blast.01_true-unreach-call.i.cil.c timeout 241    208    1792937984 timeout 241    192    1459761152
ssh/s3_clnt.blast.02_true-unreach-call.i.cil.c timeout 241    210    1392574464 timeout 241    190    1498476544
ssh/s3_clnt.blast.03_true-unreach-call.i.cil.c timeout 241    211    1277104128 timeout 241    191    1471275008
ssh/s3_clnt.blast.04_true-unreach-call.i.cil.c timeout 241    210    1341153280 timeout 241    187    1523589120
ssh/s3_srvr.blast.01_true-unreach-call.i.cil.c timeout 241    209    1424011264 timeout 241    195    1443332096
ssh/s3_srvr.blast.02_true-unreach-call.i.cil.c timeout 241    210    1384673280 timeout 241    195    1495195648
ssh/s3_srvr.blast.06_true-unreach-call.i.cil.c timeout 241    204    1396719616 timeout 241    191    1466654720
ssh/s3_srvr.blast.07_true-unreach-call.i.cil.c timeout 241    209    1809092608 timeout 240    199    1413816320
ssh/s3_srvr.blast.08_true-unreach-call.i.cil.c timeout 240    204    1486323712 timeout 241    190    1445294080
ssh/s3_srvr.blast.09_true-unreach-call.i.cil.c timeout 241    206    1766780928 timeout 241    201    1526108160
ssh/s3_srvr.blast.10_true-unreach-call.i.cil.c timeout 241    208    1365327872 timeout 241    194    1447116800
ssh/s3_srvr.blast.11_true-unreach-call.i.cil.c timeout 241    208    1760612352 timeout 240    199    1412276224
ssh/s3_srvr.blast.12_true-unreach-call.i.cil.c timeout 240    201    1751814144 timeout 241    194    1529778176
ssh/s3_srvr.blast.13_true-unreach-call.i.cil.c timeout 241    208    1818865664 timeout 240    196    1466339328
ssh/s3_srvr.blast.14_true-unreach-call.i.cil.c timeout 240    202    1764564992 timeout 241    196    1484693504
ssh/s3_srvr.blast.15_true-unreach-call.i.cil.c timeout 240    201    1526988800 timeout 241    197    1510383616
ssh/s3_srvr.blast.16_true-unreach-call.i.cil.c timeout 241    200    1800183808 timeout 241    193    1488064512
heap-manipulation/bubble_sort_linux_false-unreach-call_false-valid-memcleanup.i timeout 241    226    1499049984 error: exception 127    94.3  1562652672
heap-manipulation/dll_of_dll_false-unreach-call_false-valid-memcleanup.i timeout 241    219    1334620160 timeout 240    200    1700626432
heap-manipulation/merge_sort_false-unreach-call_false-valid-memcleanup.i false 52.1  39.0  1027477504 false 31.0  19.6  958365696
heap-manipulation/sll_to_dll_rev_false-unreach-call_false-valid-memcleanup.i timeout 240    231    869916672 false 200    176    1447821312
heap-manipulation/tree_false-unreach-call_false-valid-deref.i error: exception 170    157    1127501824 error: exception 19.0  11.5  688746496
heap-manipulation/tree_false-unreach-call_false-valid-memcleanup.i error: exception 197    185    1123770368 error: exception 19.4  11.9  736800768
heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i timeout 240    227    1304367104 error: exception 134    100    1511497728
heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i error: exception 47.0  35.5  1196351488 timeout 242    199    1872154624
heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i timeout 241    220    1369980928 timeout 241    199    3374923776
heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i timeout 241    211    1415270400 error: exception 49.5  32.5  1126486016
heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i error: exception 101    88.7  1143611392 error: exception 27.1  17.5  841355264
heap-manipulation/tree_true-unreach-call.i timeout 240    231    1215602688 error: exception 34.2  23.5  1144475648
list-properties/alternating_list_false-unreach-call_false-valid-memcleanup.i false 16.9  9.83 485761024 false 14.7  8.48 429621248
list-properties/list_false-unreach-call_false-valid-memcleanup.i timeout 240    226    1880117248 error: exception 23.3  14.9  828153856
list-properties/list_flag_false-unreach-call_false-valid-memcleanup.i false 18.5  11.3  641548288 false 15.0  9.13 527249408
list-properties/list_search_false-unreach-call_false-valid-memcleanup.i false 180    162    1351643136 error: exception 21.4  13.3  810319872
list-properties/simple_false-unreach-call_false-valid-memcleanup.i false 17.3  10.5  553107456 false 15.2  9.08 482037760
list-properties/splice_false-unreach-call_false-valid-memcleanup.i false 17.3  10.2  531132416 false 16.7  9.82 538095616
list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i timeout 240    227    1342754816 error: exception 19.8  12.3  710950912
list-properties/list_flag_true-unreach-call_false-valid-memtrack.i timeout 241    220    1937457152 error: exception 24.7  15.8  816046080
list-properties/list_search_true-unreach-call_false-valid-memcleanup.i timeout 241    219    1580171264 error: exception 29.6  18.2  837259264
list-properties/list_true-unreach-call_false-valid-memtrack.i timeout 241    222    2014105600 error: exception 23.1  14.6  840245248
list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i error: exception 227    211    2766483456 error: exception 20.4  12.7  771993600
list-properties/simple_true-unreach-call_false-valid-memtrack.i timeout 241    223    1578700800 error: exception 18.6  11.4  680964096
list-properties/splice_true-unreach-call_false-valid-memtrack.i error: exception 68.7  54.5  1183526912 error: exception 27.3  17.8  836751360
ldv-regression/1_3_true-termination.c_false-unreach-call.i false 13.5  7.99 378171392 false 12.3  7.25 330174464
ldv-regression/alt_test_true-termination.c_false-unreach-call.i false 16.0  9.23 484274176 false 15.2  8.69 443449344
ldv-regression/callfpointer_true-termination.c_false-unreach-call.i false 7.46 4.50 254443520 false 7.65 4.67 254124032
ldv-regression/fo_test_true-termination.c_false-unreach-call.i unknown: overapproxcex 13.1  7.31 350666752 unknown: overapproxcex 12.3  6.98 344735744
ldv-regression/mutex_lock_int_true-termination.c_false-unreach-call.i false 11.0  6.56 320430080 false 10.8  6.46 286105600
ldv-regression/mutex_lock_struct_true-termination.c_false-unreach-call.i false 12.1  7.10 319541248 false 10.0  6.05 282103808
ldv-regression/recursive_list_true-termination.c_false-unreach-call.i false 8.46 5.08 274284544 false 8.62 5.06 263938048
ldv-regression/rule57_ebda_blast_true-termination.c_false-unreach-call.i false 12.2  7.38 376643584 false 12.7  7.50 346304512
ldv-regression/rule60_list2_true-termination.c_false-unreach-call_1.i false 89.9  67.1  1274183680 false 69.7  48.0  1323757568
ldv-regression/stateful_check_false-unreach-call_false-termination.i false 32.0  19.5  847392768 false 24.0  14.7  822530048
ldv-regression/test_while_int_true-termination.c_false-unreach-call.i false 13.5  8.13 434606080 false 12.9  7.63 380534784
ldv-regression/test_while_int_true-termination.c_false-unreach-call_1.i false 11.9  7.07 344023040 false 11.3  6.78 311263232
ldv-regression/alias_of_return_2_true-termination.c_true-unreach-call.i true 12.0  7.07 319098880 true 10.8  6.31 299040768
ldv-regression/alias_of_return_2_true-termination.c_true-unreach-call_1.i true 9.18 5.53 264454144 true 9.24 5.47 270712832
ldv-regression/alias_of_return_true-termination.c_true-unreach-call.i true 10.9  6.40 305631232 true 9.69 5.83 274788352
ldv-regression/alias_of_return_true-termination.c_true-unreach-call_1.i true 9.31 5.58 264511488 true 9.32 5.61 266919936
ldv-regression/ex3_forlist_true-termination.c_true-unreach-call.i timeout 241    224    1244655616 error: exception 29.2  17.7  816680960
ldv-regression/just_assert_true-termination.c_true-unreach-call.i true 8.24 4.91 257904640 true 8.32 4.99 266072064
ldv-regression/mutex_lock_int_true-termination.c_true-unreach-call_1.i true 13.3  8.07 404078592 true 11.9  7.16 356503552
ldv-regression/mutex_lock_struct_true-termination.c_true-unreach-call_1.i true 14.0  8.33 399659008 true 12.1  7.30 351629312
ldv-regression/nested_structure_noptr_true-termination.c_true-unreach-call.i true 9.23 5.58 264200192 true 9.20 5.47 262049792
ldv-regression/nested_structure_noptr_true-unreach-call_true-termination.i true 10.1  5.90 281370624 true 10.1  6.03 265744384
ldv-regression/nested_structure_ptr_true-termination.c_true-unreach-call.i true 10.3  6.17 293224448 true 9.76 5.77 271220736
ldv-regression/nested_structure_ptr_true-unreach-call_true-termination.i true 11.8  6.99 303251456 true 10.8  6.32 278941696
ldv-regression/nested_structure_true-termination.c_true-unreach-call.i true 10.2  6.07 278806528 true 9.49 5.63 271491072
ldv-regression/nested_structure_true-unreach-call_true-termination.i true 11.5  6.81 302661632 true 10.5  6.24 273358848
ldv-regression/oomInt_true-termination.c_true-unreach-call.i true 13.3  7.80 357949440 true 11.1  6.64 316944384
ldv-regression/oomInt_true-termination.c_true-unreach-call_1.i true 11.6  6.95 340332544 true 9.58 5.81 275103744
ldv-regression/rule57_ebda_blast_true-termination.c_true-unreach-call_1.i true 14.9  9.02 456884224 true 13.6  8.18 426921984
ldv-regression/rule60_list2_true-termination.c_true-unreach-call.i true 72.4  56.8  1296531456 true 57.2  40.9  1276125184
ldv-regression/rule60_list_true-termination.c_true-unreach-call.i true 17.7  11.0  584388608 error: exception 11.5  6.44 300367872
ldv-regression/sizeofparameters_test_true-termination.c_true-unreach-call.i unknown 6.72 3.77 198762496 true 10.8  6.23 290107392
ldv-regression/structure_assignment_true-termination.c_true-unreach-call.i true 9.48 5.65 267468800 true 8.99 5.40 266899456
ldv-regression/test_address_true-termination.c_true-unreach-call.i true 12.7  7.36 350232576 true 11.5  6.78 332648448
ldv-regression/test_cut_trace_true-termination.c_true-unreach-call.i true 10.2  6.05 285720576 true 10.0  5.95 273776640
ldv-regression/test_malloc-1_true-unreach-call_true-termination.i true 12.2  6.96 336359424 true 11.2  6.45 300703744
ldv-regression/test_malloc-2_true-unreach-call_true-termination.i true 11.8  6.94 338399232 true 11.3  6.54 314224640
ldv-regression/test_overflow_true-termination.c_true-unreach-call.i true 12.7  7.11 343699456 true 12.1  6.84 327303168
ldv-regression/test_union_cast-1_true-unreach-call_true-termination.i true 10.4  6.14 274808832 true 9.96 6.01 278335488
ldv-regression/test_union_cast-2_true-unreach-call_true-termination.i true 10.3  6.12 279920640 true 9.57 5.73 267837440
ldv-regression/test_union_cast_true-termination.c_true-unreach-call.i true 9.17 5.53 264081408 true 9.58 5.69 262623232
ldv-regression/test_union_cast_true-termination.c_true-unreach-call_1.i true 9.73 5.72 266301440 true 9.38 5.53 259563520
ldv-regression/test_union_true-termination.c_true-unreach-call.i true 8.85 5.36 263520256 true 8.99 5.43 266874880
ldv-regression/test_union_true-termination.c_true-unreach-call_1.i true 9.33 5.59 263315456 true 9.00 5.40 267235328
ldv-regression/volatile_alias_true-termination.c_true-unreach-call.i true 9.48 5.60 266813440 true 8.52 5.12 261595136
ldv-regression/volatile_alias_true-termination.c_true-unreach-call_1.i true 9.24 5.59 265523200 true 8.92 5.27 269365248
ldv-regression/test02_false-unreach-call_true-termination.c false 7.38 4.52 254263296 false 7.60 4.64 252497920
ldv-regression/test06_false-unreach-call_true-termination.c false 12.3  7.06 337543168 false 10.5  6.33 297504768
ldv-regression/test08_false-unreach-call_true-termination.c false 8.50 5.01 265465856 false 8.31 4.95 265748480
ldv-regression/test12_false-unreach-call_true-termination.c false 8.17 4.85 261529600 false 7.88 4.83 257351680
ldv-regression/test21_false-unreach-call_true-termination.c false 8.68 5.17 269312000 false 8.45 5.07 266080256
ldv-regression/test22_false-unreach-call.c false 20.9  13.7  786071552 false 19.3  12.5  759377920
ldv-regression/test23_false-unreach-call.c timeout 241    222    1329139712 false 57.1  41.0  1214586880
ldv-regression/test24_false-unreach-call.c false 45.8  37.9  952696832 false 73.1  52.6  1186988032
ldv-regression/test25_false-unreach-call_true-termination.c false 84.6  73.1  1055354880 false 45.3  29.2  1173639168
ldv-regression/test26_false-unreach-call_true-termination.c false 8.42 5.01 264503296 false 7.84 4.77 264445952
ldv-regression/test27_false-unreach-call_true-termination.c false 26.7  20.0  653012992 false 33.7  22.6  831668224
ldv-regression/test28_false-unreach-call_true-termination.c false 12.1  7.23 344256512 false 12.1  7.21 350449664
ldv-regression/test29_false-unreach-call_true-termination.c false 14.0  8.28 399659008 false 12.6  7.36 337186816
ldv-regression/test30_false-unreach-call_true-termination.c false 8.58 5.15 270741504 false 8.34 5.05 265363456
ldv-regression/test01_true-unreach-call_true-termination.c true 9.49 5.67 268791808 true 8.91 5.33 269176832
ldv-regression/test03_true-unreach-call_true-termination.c true 11.7  6.91 313417728 true 10.6  6.36 286138368
ldv-regression/test04_true-unreach-call_true-termination.c true 12.2  7.15 327602176 true 10.6  6.30 311087104
ldv-regression/test05_true-unreach-call_true-termination.c true 18.5  11.8  599932928 true 14.2  8.72 479920128
ldv-regression/test07_true-unreach-call_true-termination.c true 14.5  8.94 463650816 true 12.8  7.82 431902720
ldv-regression/test09_true-unreach-call_true-termination.c true 15.8  9.73 498212864 true 12.9  7.92 432189440
ldv-regression/test10_true-unreach-call_true-termination.c true 50.8  42.0  1209131008 true 14.2  8.54 461905920
ldv-regression/test11_true-unreach-call_true-termination.c true 22.2  15.7  786145280 true 12.6  7.46 377380864
ldv-regression/test13_true-unreach-call_true-termination.c true 10.9  6.48 313303040 true 10.4  6.16 282464256
ldv-regression/test14_true-unreach-call_true-termination.c true 14.6  9.08 486256640 true 11.9  7.13 336449536
ldv-regression/test15_true-unreach-call_true-termination.c true 12.9  7.72 345620480 true 10.1  6.10 285458432
ldv-regression/test16_true-unreach-call_true-termination.c true 13.8  8.31 404250624 true 11.4  6.78 326549504
ldv-regression/test17_true-unreach-call_true-termination.c true 9.95 5.96 283586560 true 9.57 5.76 267014144
ldv-regression/test18_true-unreach-call_true-termination.c true 18.6  12.9  571592704 true 12.2  7.27 362528768
ldv-regression/test19_true-unreach-call_true-termination.c true 27.5  20.5  842362880 true 12.1  7.19 337629184
ldv-regression/test20_true-unreach-call_true-termination.c true 10.3  6.20 282247168 true 9.82 5.78 270700544
ldv-regression/test21_true-unreach-call_true-termination.c true 24.1  16.5  825102336 true 13.7  8.26 418041856
ldv-regression/test22_true-unreach-call.c true 238    223    1283821568 true 43.0  29.8  1106825216
ldv-regression/test23_true-unreach-call.c timeout 241    220    1348747264 true 229    213    1255796736
ldv-regression/test24_true-unreach-call_true-termination.c true 41.3  31.7  845545472 true 56.7  47.0  866328576
ldv-regression/test25_true-unreach-call.c true 87.2  77.3  885014528 true 84.8  74.5  841465856
ldv-regression/test26_true-unreach-call_true-termination.c true 14.2  8.69 422313984 true 12.1  7.31 354009088
ldv-regression/test27_true-unreach-call_true-termination.c timeout 241    226    1427275776 true 105    87.0  1439592448
ldv-regression/test28_true-unreach-call_true-termination.c true 13.2  7.86 383881216 true 13.4  7.97 395333632
ldv-regression/test29_true-unreach-call_true-termination.c true 12.9  7.71 375836672 true 13.0  7.74 378822656
ldv-regression/test30_true-unreach-call_true-termination.c true 25.1  18.0  807145472 true 15.0  9.38 576286720
ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i error: exception 20.3  10.8  704450560 error: exception 19.4  10.4  696524800
ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i error: exception 19.9  11.0  699633664 error: exception 18.3  10.3  672919552
ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i error: exception 18.7  10.1  707579904 error: exception 18.4  9.79 687165440
ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i error: exception 19.0  10.2  715034624 error: exception 18.8  10.0  674230272
ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i error: exception 18.8  10.0  701652992 error: exception 17.9  9.59 668639232
ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i error: exception 18.9  10.1  717180928 error: exception 18.1  9.69 691982336
ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i error: exception 19.8  10.6  700829696 error: exception 18.2  9.77 667688960
ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i error: exception 19.0  10.2  707244032 error: exception 18.6  9.99 667033600
ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i error: exception 19.0  10.2  710873088 error: exception 18.3  9.89 672612352
ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i error: exception 19.6  10.5  715386880 error: exception 19.3  10.2  678346752
ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i error: exception 19.0  10.2  713342976 error: exception 18.0  9.68 679972864
ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i error: exception 19.3  10.3  703492096 error: exception 17.3  9.24 685309952
ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i error: exception 22.2  12.1  699813888 error: exception 18.3  9.80 672780288
forester-heap/dll-01_false-unreach-call_false-valid-memcleanup.i false 55.5  39.9  1036951552 error: exception 31.2  19.6  849649664
forester-heap/dll-circular_false-unreach-call_false-valid-memcleanup.i false 17.4  10.3  503738368 false 13.6  7.90 391233536
forester-heap/dll-optional_false-unreach-call_false-valid-memcleanup.i false 13.9  7.78 360816640 false 12.9  7.36 344162304
forester-heap/dll-queue_false-unreach-call_false-valid-memcleanup.i error: exception 177    157    1515499520 timeout 241    211    2439397376
forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i false 91.1  80.9  1160429568 false 24.7  15.3  812961792
forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i error: exception 82.5  71.9  1176764416 false 66.9  48.8  1367416832
forester-heap/dll-simple-white-blue_false-unreach-call_false-valid-memcleanup.i false 14.4  8.05 372789248 false 12.6  7.17 347090944
forester-heap/dll-sorted_false-unreach-call_false-valid-memcleanup.i false 19.5  11.6  566419456 false 16.3  9.90 618864640
forester-heap/dll-token_false-unreach-call_false-valid-memcleanup.i false 24.5  16.5  716341248 false 17.6  10.6  616591360
forester-heap/sll-01_false-unreach-call_false-valid-deref.i timeout 241    215    3104817152 error: exception 30.8  19.3  861495296
forester-heap/sll-buckets_false-unreach-call_false-valid-memcleanup.i timeout 241    217    1843195904 error: exception 19.1  11.5  692109312
forester-heap/sll-circular_false-unreach-call_false-valid-memcleanup.i false 16.8  9.78 492826624 false 13.9  8.01 387235840
forester-heap/sll-optional_false-unreach-call_false-valid-memcleanup.i false 13.2  7.44 365940736 false 12.0  6.83 339664896
forester-heap/sll-queue_false-unreach-call_false-valid-memcleanup.i error: exception 76.6  61.0  1222668288 error: exception 123    91.6  1513000960
forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i false 40.7  31.6  848203776 false 23.1  14.3  816082944
forester-heap/sll-rb-sentinel_false-unreach-call_false-valid-memcleanup.i timeout 241    226    1530417152 false 50.5  36.3  1371525120
forester-heap/sll-simple-white-blue_false-unreach-call_false-valid-memcleanup.i false 13.7  7.68 373473280 false 13.1  7.41 337612800
forester-heap/sll-sorted_false-unreach-call_false-valid-memcleanup.i timeout 241    224    2052636672 error: exception 18.6  11.2  626974720
forester-heap/sll-token_false-unreach-call_false-valid-memcleanup.i false 16.8  9.74 478638080 false 15.3  8.96 450117632
forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i timeout 241    216    1468063744 error: exception 29.0  18.1  861822976
forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i timeout 240    226    1436356608 error: exception 14.7  8.70 443412480
forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i timeout 240    227    1468022784 error: exception 120    96.9  2307612672
forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i timeout 241    220    1544499200 timeout 241    210    2066878464
forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i timeout 241    225    1955299328 error: exception 82.6  65.2  1350766592
forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i error: exception 71.9  61.8  1174790144 timeout 241    209    2050772992
forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i timeout 241    227    1050931200 error: exception 33.7  21.9  983785472
forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i timeout 240    228    1710645248 error: exception 12.7  7.26 350314496
forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i timeout 241    224    1451380736 error: exception 17.8  10.7  646021120
forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i timeout 241    227    1690886144 error: exception 16.9  10.3  620355584
forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i timeout 241    214    2849103872 error: exception 29.4  18.4  840523776
forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i timeout 241    221    1870581760 error: exception 18.7  11.3  679522304
forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i timeout 241    229    1374932992 error: exception 14.5  8.48 435126272
forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i timeout 240    227    1646895104 error: exception 122    99.3  2287771648
forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i timeout 241    222    1611599872 error: exception 128    96.1  1734565888
forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i timeout 241    223    1379692544 error: exception 25.0  15.8  812359680
forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i timeout 241    226    1559236608 timeout 241    206    2869342208
forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i timeout 240    223    1319469056 error: exception 29.9  19.5  896987136
forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i timeout 241    221    2416074752 error: exception 12.9  7.39 344395776
forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i timeout 241    221    2209882112 error: exception 17.3  10.3  567111680
forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i timeout 241    225    1984339968 error: exception 16.5  10.1  601665536
list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i false 13.0  7.44 353419264 false 12.5  7.16 344813568
list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i timeout 241    221    2123747328 error: exception 20.6  12.7  798400512
list-ext-properties/simple-ext_false-unreach-call_false-valid-memcleanup_true-termination.i false 12.0  6.76 332820480 false 11.1  6.40 310198272
list-ext2-properties/list_and_tree_cnstr_false-unreach-call_false-termination.i timeout 241    225    2065690624 error: exception 28.7  18.3  851406848
list-ext2-properties/list_and_tree_cnstr_true-unreach-call_false-termination.i timeout 241    217    2373640192 error: exception 27.9  17.6  822296576
list-ext2-properties/simple_and_skiplist_2lvl_false-unreach-call.i false 15.9  9.42 467648512 false 17.1  10.3  552955904
list-ext2-properties/simple_and_skiplist_2lvl_true-unreach-call.i timeout 240    225    1582497792 error: exception 21.1  12.8  743432192
list-ext2-properties/simple_search_value_false-unreach-call.i error: exception 53.5  42.0  2337824768 error: exception 123    98.1  3062427648
list-ext2-properties/simple_search_value_true-unreach-call.i error: exception 54.3  42.9  2333478912 timeout 241    213    2006409216
ldv-sets/test_add_false-unreach-call_true-termination.i unknown 7.27 4.03 235851776 unknown 7.36 4.17 229994496
ldv-sets/test_mutex_double_lock_false-unreach-call_true-termination.i unknown 6.77 3.91 226291712 unknown 6.75 3.80 227495936
ldv-sets/test_mutex_double_unlock_false-unreach-call.i unknown 7.29 4.09 224911360 unknown 7.25 4.03 232669184
ldv-sets/test_mutex_unbounded_false-unreach-call.i unknown 6.95 3.97 225546240 unknown 7.34 4.15 228466688
ldv-sets/test_mutex_unlock_at_exit_false-unreach-call.i unknown 7.30 4.14 228651008 unknown 6.70 3.83 227450880
ldv-sets/test_add_true-unreach-call_true-termination.i unknown 7.13 3.94 226639872 unknown 7.06 3.96 226394112
ldv-sets/test_mutex_true-unreach-call.i unknown 7.42 4.09 225116160 unknown 7.40 4.13 227733504
ldv-sets/test_mutex_unbounded_true-unreach-call.i unknown 7.26 4.13 230432768 unknown 7.29 4.08 231108608
list-simple/dll2c_append_equal_true-unreach-call_true-valid-memsafety.i timeout 240    230    1123930112 error: exception 38.8  28.1  895643648
list-simple/dll2c_append_unequal_true-unreach-call_true-valid-memsafety.i timeout 240    230    881881088 error: exception 61.7  49.6  996356096
list-simple/dll2c_insert_equal_true-unreach-call_true-valid-memsafety.i timeout 240    229    991371264 error: exception 20.4  12.2  786923520
list-simple/dll2c_insert_unequal_true-unreach-call_true-valid-memsafety.i timeout 240    229    905056256 error: exception 22.0  13.1  802136064
list-simple/dll2c_prepend_equal_true-unreach-call_true-valid-memsafety.i timeout 240    232    980426752 error: exception 20.7  12.5  747032576
list-simple/dll2c_prepend_unequal_true-unreach-call_true-valid-memsafety.i timeout 241    227    2346889216 error: exception 47.2  36.0  979165184
list-simple/dll2c_remove_all_reverse_true-unreach-call_true-valid-memsafety.i timeout 241    225    1493659648 error: exception 159    147    1127092224
list-simple/dll2c_remove_all_true-unreach-call_true-valid-memsafety.i timeout 241    218    1731325952 timeout 240    227    1423781888
list-simple/dll2c_update_all_reverse_true-unreach-call_true-valid-memsafety.i timeout 241    222    1240322048 error: exception 23.1  14.1  815529984
list-simple/dll2c_update_all_true-unreach-call_true-valid-memsafety.i timeout 241    225    1204682752 error: exception 24.9  15.0  801947648
list-simple/dll2n_append_equal_true-unreach-call_true-valid-memsafety.i timeout (error: exception) 240    226    1806999552 timeout 240    225    1262256128
list-simple/dll2n_append_unequal_true-unreach-call_true-valid-memsafety.i timeout 241    228    1085894656 error: exception 202    189    1079525376
list-simple/dll2n_insert_equal_true-unreach-call_true-valid-memsafety.i timeout 241    222    2058125312 timeout 241    221    1577062400
list-simple/dll2n_insert_unequal_true-unreach-call_true-valid-memsafety.i timeout 241    230    1201401856 timeout 241    224    1445519360
list-simple/dll2n_prepend_equal_true-unreach-call_true-valid-memsafety.i timeout 240    227    1711333376 error: exception 38.1  27.4  892432384
list-simple/dll2n_prepend_unequal_true-unreach-call_true-valid-memsafety.i error: exception 203    192    1100783616 timeout 241    227    1072381952
list-simple/dll2n_remove_all_reverse_true-unreach-call_true-valid-memsafety.i timeout 241    224    1591861248 error: exception 99.8  85.4  1244917760
list-simple/dll2n_remove_all_true-unreach-call_true-valid-memsafety.i timeout 241    223    1790951424 error: exception 25.8  16.0  823283712
list-simple/dll2n_update_all_reverse_true-unreach-call_true-valid-memsafety.i true 21.3  13.4  743710720 true 14.9  8.62 427368448
list-simple/dll2n_update_all_true-unreach-call_true-valid-memsafety.i timeout 241    225    1183907840 error: exception 25.6  15.8  809684992
list-simple/sll2c_append_equal_true-unreach-call_true-valid-memsafety.i timeout 240    229    1310408704 timeout 241    218    2195759104
list-simple/sll2c_append_unequal_true-unreach-call_true-valid-memsafety.i timeout 240    229    900849664 timeout 241    224    1201332224
list-simple/sll2c_insert_equal_true-unreach-call_true-valid-memsafety.i timeout 240    226    1105850368 timeout 241    222    1263046656
list-simple/sll2c_insert_unequal_true-unreach-call_true-valid-memsafety.i timeout 241    228    1073938432 timeout 241    226    1229090816
list-simple/sll2c_prepend_equal_true-unreach-call_true-valid-memsafety.i timeout 241    226    2064596992 timeout 240    215    1522601984
list-simple/sll2c_prepend_unequal_true-unreach-call_true-valid-memsafety.i timeout 241    226    2155192320 error: exception 182    160    1556643840
list-simple/sll2c_remove_all_reverse_true-unreach-call_true-valid-memsafety.i timeout 241    224    1736814592 true 65.5  47.9  1692438528
list-simple/sll2c_remove_all_true-unreach-call_true-valid-memsafety.i timeout 241    226    2029457408 timeout 240    228    1163907072
list-simple/sll2c_update_all_reverse_true-unreach-call_true-valid-memsafety.i timeout 241    223    1207906304 error: exception 25.5  15.3  827830272
list-simple/sll2c_update_all_true-unreach-call_true-valid-memsafety.i timeout 240    227    1189785600 error: exception 24.0  14.6  837894144
list-simple/sll2n_append_equal_true-unreach-call_true-valid-memsafety.i timeout 240    229    1050828800 timeout 241    225    1261621248
list-simple/sll2n_append_unequal_true-unreach-call_true-valid-memsafety.i timeout 241    227    1033601024 error: exception 102    90.4  877735936
list-simple/sll2n_insert_equal_true-unreach-call_true-valid-memsafety.i timeout 240    228    1061515264 error: exception 44.1  34.2  867794944
list-simple/sll2n_insert_unequal_true-unreach-call_true-valid-memsafety.i error: exception 230    218    1329487872 timeout 240    218    1278640128
list-simple/sll2n_prepend_equal_true-unreach-call_true-valid-memsafety.i timeout 241    225    1746116608 error: exception 207    184    1582010368
list-simple/sll2n_prepend_unequal_true-unreach-call_true-valid-memsafety.i timeout 241    225    1628778496 timeout 241    228    1141874688
list-simple/sll2n_remove_all_reverse_true-unreach-call_true-valid-memsafety.i timeout 241    217    1626030080 error: exception 55.3  40.9  1294008320
list-simple/sll2n_remove_all_true-unreach-call_true-valid-memsafety.i true 112    98.1  1355210752 true 60.3  47.1  1441243136
list-simple/sll2n_update_all_reverse_true-unreach-call_true-valid-memsafety.i timeout 240    228    1032835072 error: exception 23.8  14.5  826572800
list-simple/sll2n_update_all_true-unreach-call_true-valid-memsafety.i timeout 240    228    1016053760 error: exception 24.9  15.3  816193536
heap-data/calendar_true-unreach-call.i timeout 241    219    1505263616 error: exception 13.0  7.44 373620736
heap-data/cart_true-unreach-call.i timeout 241    225    1189838848 error: exception 15.0  8.93 473591808
heap-data/hash_fun_true-unreach-call.i timeout 241    227    1850159104 timeout 241    215    1976737792
heap-data/min_max_true-unreach-call.i timeout 241    221    1307197440 error: exception 13.2  7.60 360288256
heap-data/packet_filter_true-unreach-call.i timeout 240    227    1138331648 timeout 241    220    1839620096
heap-data/process_queue_true-unreach-call.i timeout 241    225    1842323456 error: exception 17.8  11.0  676950016
heap-data/quick_sort_split_true-unreach-call.i true 14.8  8.64 453120000 true 13.6  7.86 410779648
heap-data/running_example_true-unreach-call.i timeout 241    223    2030116864 timeout 240    225    1373143040
heap-data/shared_mem1_true-unreach-call.i error: exception 211    202    1171345408 error: exception 76.6  65.3  2759282688
heap-data/shared_mem2_true-unreach-call.i true 98.9  87.2  1261531136 timeout 241    224    2236293120
list-ext3-properties/dll_nullified_false-unreach-call_false-valid-memcleanup.i false 39.1  28.7  1019969536 false 31.0  19.1  831680512
list-ext3-properties/sll_length_check_false-unreach-call_false-valid-memcleanup.i false 47.5  36.0  1180979200 false 27.1  17.4  833101824
list-ext3-properties/sll_nondet_insert_false-unreach-call_false-valid-memcleanup.i false 166    139    1459056640 false 115    91.0  1505370112
list-ext3-properties/sll_of_sll_nondet_append_false-unreach-call_false-valid-memcleanup.i timeout 241    217    1840635904 timeout 242    206    1527377920
list-ext3-properties/dll_circular_traversal_true-unreach-call_true-valid-memsafety.i timeout 240    231    1086840832 error: exception 22.3  13.8  795029504
list-ext3-properties/dll_nullified_true-unreach-call_true-valid-memsafety.i timeout 241    220    1462935552 error: exception 29.8  19.0  845361152
list-ext3-properties/sll_circular_traversal_true-unreach-call_true-valid-memsafety.i timeout 241    225    1786445824 error: exception 22.9  14.0  802193408
list-ext3-properties/sll_length_check_true-unreach-call_true-valid-memsafety.i timeout 240    214    1391333376 timeout 241    201    1507057664
list-ext3-properties/sll_nondet_insert_true-unreach-call_true-valid-memsafety.i timeout 241    200    1449373696 timeout 241    201    1861447680
list-ext3-properties/sll_of_sll_nondet_append_true-unreach-call_true-valid-memsafety.i timeout 241    216    1293193216 timeout 241    210    1451945984
loops/array_false-unreach-call_true-termination.i false 10.4  6.09 309374976 false 10.9  6.47 299253760
loops/bubble_sort_false-unreach-call.i false 24.3  15.3  809746432 false 23.0  13.8  841990144
loops/count_up_down_false-unreach-call_true-termination.i false 9.03 5.42 271351808 false 9.01 5.32 266072064
loops/eureka_01_false-unreach-call_true-termination.i timeout 240    226    1020702720 error: exception 34.0  21.6  924192768
loops/for_bounded_loop1_false-unreach-call_true-termination.i false 15.2  9.20 496320512 false 14.5  8.75 455163904
loops/insertion_sort_false-unreach-call_true-termination.i timeout 240    228    1207631872 error: exception 31.2  20.8  965668864
loops/invert_string_false-unreach-call_true-termination.i false 171    158    1228873728 false 43.3  31.2  1157586944
loops/linear_search_false-unreach-call.i timeout 241    221    1300856832 error: exception 43.2  28.0  1006882816
loops/ludcmp_false-unreach-call.i true 140    128    1521389568 unknown: overapproxcex 25.5  15.9  791740416
loops/matrix_false-unreach-call_true-termination.i false 14.5  9.08 438661120 false 14.5  8.63 457498624
loops/n.c24_false-unreach-call.i timeout 240    205    1304010752 timeout 241    188    1719869440
loops/nec11_false-unreach-call_false-termination.i false 9.53 5.59 258326528 false 9.31 5.47 262434816
loops/nec20_false-unreach-call_true-termination.i false 12.4  7.37 360062976 false 10.0  6.05 291229696
loops/s3_false-unreach-call.i timeout 241    210    1884565504 unknown: overapproxcex 169    128    1476055040
loops/string_false-unreach-call_true-termination.i false 24.6  16.5  819773440 unknown: overapproxcex 20.1  12.5  803246080
loops/sum01_bug02_false-unreach-call_true-termination.i false 30.2  22.0  845938688 false 26.9  17.3  821424128
loops/sum01_bug02_sum01_bug02_base.case_false-unreach-call_true-termination.i false 25.6  18.5  806707200 false 19.7  12.4  723218432
loops/sum01_false-unreach-call_true-termination.i false 66.0  55.1  977727488 false 25.6  16.4  795488256
loops/sum03_false-unreach-call_true-termination.i false 24.6  16.4  817680384 false 213    199    967917568
loops/sum04_false-unreach-call_true-termination.i false 15.1  9.34 495304704 false 14.9  9.13 515694592
loops/sum_array_false-unreach-call.i false 13.0  7.78 386215936 false 13.7  7.91 374505472
loops/terminator_01_false-unreach-call_true-termination.i false 9.79 5.73 265609216 false 9.30 5.53 260333568
loops/terminator_02_false-unreach-call_true-termination.i false 9.30 5.52 263405568 false 9.16 5.44 267317248
loops/terminator_03_false-unreach-call_true-termination.i false 10.3  6.13 287563776 false 9.95 5.99 274190336
loops/trex01_false-unreach-call_true-termination.i false 9.98 5.90 276619264 false 9.69 5.89 267640832
loops/trex02_false-unreach-call_true-termination.i false 9.75 5.75 266960896 false 9.11 5.39 266809344
loops/trex03_false-unreach-call_true-termination.i false 9.23 5.55 263880704 false 9.44 5.55 268148736
loops/verisec_NetBSD-libc__loop_false-unreach-call_true-termination.i false 17.3  10.9  580960256 false 16.0  9.78 542023680
loops/verisec_OpenSER__cases1_stripFullBoth_arr_false-unreach-call_true-termination.i false 222    196    1222402048 false 39.7  25.0  990691328
loops/vogal_false-unreach-call.i timeout 241    216    1467006976 error: exception 121    91.6  1449541632
loops/while_infinite_loop_4_false-unreach-call_true-termination.i false 9.28 5.54 269406208 false 9.57 5.60 267808768
loops/array_true-unreach-call_true-termination.i true 18.6  12.2  629108736 true 17.6  10.8  581586944
loops/bubble_sort_true-unreach-call_true-termination.i true 9.22 5.60 267943936 true 9.36 5.60 267825152
loops/count_up_down_true-unreach-call_true-termination.i timeout 241    224    1258315776 true 19.6  12.0  613707776
loops/eureka_01_true-unreach-call.i timeout 241    223    1350074368 timeout 241    196    1588854784
loops/eureka_05_true-unreach-call_true-termination.i timeout 241    224    1257533440 timeout 241    212    1366908928
loops/for_infinite_loop_1_true-unreach-call_false-termination.i true 10.1  6.06 306507776 true 10.6  6.24 281661440
loops/for_infinite_loop_2_true-unreach-call_false-termination.i true 10.8  6.30 314519552 true 10.2  6.09 282333184
loops/insertion_sort_true-unreach-call_true-termination.i timeout 240    227    1077374976 error: exception 29.2  19.3  913739776
loops/invert_string_true-unreach-call_true-termination.i timeout 240    230    1071353856 timeout 241    217    1392242688
loops/linear_sea.ch_true-unreach-call.i timeout 241    221    1329790976 error: exception 58.9  44.6  1006436352
loops/lu.cmp_true-unreach-call.i true 107    95.2  1397055488 true 24.8  15.4  805236736
loops/matrix_true-unreach-call_true-termination.i error: exception 12.9  7.88 378757120 true 24.5  17.1  910069760
loops/n.c11_true-unreach-call_false-termination.i true 12.7  7.74 385495040 true 18.9  11.8  665780224
loops/n.c40_true-unreach-call_true-termination.i true 26.8  21.3  381513728 true 12.6  7.32 349421568
loops/nec40_true-unreach-call_true-termination.i true 30.3  24.4  406683648 true 13.6  7.92 361848832
loops/string_true-unreach-call_true-termination.i true 22.9  15.0  792637440 true 21.6  13.5  792702976
loops/sum01_true-unreach-call_true-termination.i timeout 241    224    1232875520 true 16.9  10.7  660242432
loops/sum03_true-unreach-call_false-termination.i true 14.8  8.98 410726400 true 12.0  8.05 292511744
loops/sum04_true-unreach-call_true-termination.i true 20.8  13.7  798789632 true 22.8  14.3  773697536
loops/sum_array_true-unreach-call.i timeout 240    228    1171189760 timeout 240    212    1858125824
loops/terminator_02_true-unreach-call_true-termination.i true 12.4  7.46 368058368 true 12.5  7.52 362512384
loops/terminator_03_true-unreach-call_true-termination.i true 11.7  7.04 335384576 true 11.5  6.84 320876544
loops/trex01_true-unreach-call_true-termination.i true 20.0  13.0  713826304 true 11.5  6.86 317063168
loops/trex02_true-unreach-call_true-termination.i true 10.9  6.56 327610368 true 11.1  6.53 311074816
loops/trex03_true-unreach-call_true-termination.i true 11.6  6.79 318234624 true 10.4  6.26 291901440
loops/trex04_true-unreach-call_false-termination.i true 11.2  6.76 338563072 true 11.5  6.75 323076096
loops/veris.c_NetBSD-libc__loop_true-unreach-call_true-termination.i true 20.1  13.1  758259712 true 16.3  9.98 549216256
loops/veris.c_OpenSER__cases1_stripFullBoth_arr_true-unreach-call_true-termination.i true 18.5  11.6  589021184 true 15.1  9.11 516206592
loops/veris.c_sendmail__tTflag_arr_one_loop_true-unreach-call_true-termination.i true 11.3  6.76 317665280 true 10.6  6.32 291700736
loops/vogal_true-unreach-call.i timeout 241    219    1330077696 error: exception 69.3  47.1  1153392640
loops/while_infinite_loop_1_true-unreach-call_false-termination.i true 10.4  6.18 296931328 true 10.6  6.31 282345472
loops/while_infinite_loop_2_true-unreach-call_false-termination.i true 9.95 5.99 292913152 true 9.42 5.69 277651456
loops/while_infinite_loop_3_true-unreach-call_false-termination.i true 11.4  6.78 325910528 true 10.9  6.47 293539840
loop-acceleration/array_false-unreach-call1_true-termination.i timeout 240    231    1167052800 timeout 240    198    1447604224
loop-acceleration/array_false-unreach-call2_true-termination.i timeout 240    231    1317679104 timeout 240    199    1406226432
loop-acceleration/array_false-unreach-call3_true-termination.i timeout 240    226    1299488768 timeout 241    195    1415729152
loop-acceleration/const_false-unreach-call1.i timeout 241    222    1331073024 timeout 240    214    1294512128
loop-acceleration/diamond_false-unreach-call1.i timeout 241    216    1235058688 timeout 241    201    1335316480
loop-acceleration/functions_false-unreach-call1_true-termination.i timeout 241    210    1434079232 timeout 241    209    1340600320
loop-acceleration/multivar_false-unreach-call1_true-termination.i false 8.72 5.21 263655424 false 8.55 5.17 267816960
loop-acceleration/nested_false-unreach-call1.i timeout 241    214    2067542016 timeout 241    203    1400799232
loop-acceleration/phases_false-unreach-call1.i timeout 241    221    1243328512 timeout 241    217    1116721152
loop-acceleration/phases_false-unreach-call2_false-termination.i false 9.34 5.69 265854976 false 8.63 5.27 267759616
loop-acceleration/simple_false-unreach-call1.i timeout 241    222    1296621568 timeout 240    224    1094385664
loop-acceleration/simple_false-unreach-call2_true-termination.i false 8.91 5.40 266207232 false 8.74 5.40 268959744
loop-acceleration/simple_false-unreach-call3_true-termination.i false 8.91 5.35 263122944 false 9.11 5.35 264605696
loop-acceleration/simple_false-unreach-call4.i timeout 241    225    1365889024 timeout 240    226    1133875200
loop-acceleration/underapprox_false-unreach-call1_true-termination.i false 13.3  8.19 410259456 false 17.7  10.7  603344896
loop-acceleration/underapprox_false-unreach-call2_true-termination.i false 13.2  8.08 411439104 false 16.4  10.2  605831168
loop-acceleration/array_true-unreach-call1_true-termination.i true 26.0  19.8  632283136 true 19.7  13.6  541069312
loop-acceleration/array_true-unreach-call2_true-termination.i timeout 240    231    1323094016 timeout 241    202    1333559296
loop-acceleration/array_true-unreach-call3_true-termination.i true 30.9  21.8  844427264 true 18.7  11.6  730071040
loop-acceleration/array_true-unreach-call4_true-termination.i timeout 240    228    1351045120 timeout 241    197    1387798528
loop-acceleration/const_true-unreach-call1.i true 11.5  6.80 331796480 true 14.4  8.83 449552384
loop-acceleration/diamond_true-unreach-call1_true-termination.i timeout 241    219    1337622528 timeout 241    213    1201549312
loop-acceleration/diamond_true-unreach-call2.i true 32.1  23.2  852307968 timeout 240    224    1138692096
loop-acceleration/functions_true-unreach-call1_true-termination.i timeout 241    211    1365635072 timeout 241    216    1249243136
loop-acceleration/multivar_true-unreach-call1_true-termination.i true 10.5  6.21 291540992 true 10.3  6.12 278630400
loop-acceleration/nested_true-unreach-call1.i true 37.1  25.2  960315392 true 53.6  45.8  744415232
loop-acceleration/overflow_true-unreach-call1.i timeout 241    226    1184882688 timeout 241    226    1075593216
loop-acceleration/phases_true-unreach-call1.i timeout 241    220    1250705408 timeout 241    218    1118896128
loop-acceleration/phases_true-unreach-call2_false-termination.i true 12.9  7.89 362823680 true 17.6  13.0  370290688
loop-acceleration/simple_true-unreach-call1.i timeout 241    221    1334439936 timeout 240    225    1092419584
loop-acceleration/simple_true-unreach-call2_true-termination.i true 9.85 5.95 277065728 true 9.12 5.52 272228352
loop-acceleration/simple_true-unreach-call3_true-termination.i true 12.1  7.34 360370176 true 13.0  8.47 305885184
loop-acceleration/simple_true-unreach-call4.i true 12.0  7.28 367636480 true 16.9  11.7  400310272
loop-acceleration/underapprox_true-unreach-call1_true-termination.i true 75.9  69.4  826523648 true 45.9  36.0  803536896
loop-acceleration/underapprox_true-unreach-call2_true-termination.i true 13.4  8.53 450011136 true 15.4  9.32 458518528
loop-crafted/simple_array_index_value_false-unreach-call1_false-termination.i false 10.1  5.89 272678912 false 9.91 5.91 272973824
loop-crafted/simple_array_index_value_true-unreach-call1_true-termination.i timeout 240    223    1433382912 timeout 240    230    1017647104
loop-crafted/simple_array_index_value_true-unreach-call2_true-termination.i timeout 240    224    1356378112 timeout 240    227    1235439616
loop-crafted/simple_array_index_value_true-unreach-call3_true-termination.i timeout 241    222    1374945280 timeout 241    216    1270513664
loop-crafted/simple_array_index_value_true-unreach-call4_true-termination.i true 36.4  29.8  653099008 true 59.0  50.5  762195968
loop-crafted/simple_vardep_true-unreach-call1_true-termination.i true 17.7  12.3  410439680 true 9.80 5.82 278347776
loop-crafted/simple_vardep_true-unreach-call2_true-termination.i true 23.3  17.8  427384832 true 17.3  11.9  322895872
loop-crafted/simple_array_index_value_true-unreach-call4.i.v+lhb-reducer.c error: exception 27.4  22.2  534142976 true 68.9  56.6  831606784
loop-crafted/simple_array_index_value_true-unreach-call4.i.v+nlh-reducer.c true 34.9  28.4  673808384 true 59.7  49.4  827244544
loop-invgen/id_trans_false-unreach-call_true-termination.i false 13.5  8.57 386048000 false 13.0  7.80 407052288
loop-invgen/MADWiFi-encode_ie_ok_true-unreach-call_true-termination.i timeout 240    227    1120043008 true 16.7  10.4  649568256
loop-invgen/NetBSD_loop_true-unreach-call_true-termination.i true 48.5  35.4  1124950016 true 15.0  9.47 579227648
loop-invgen/SpamAssassin-loop_true-unreach-call_false-termination.i timeout 240    200    1443667968 true 33.0  22.4  982982656
loop-invgen/apache-escape-absolute_true-unreach-call_true-termination.i true 56.5  44.1  1147465728 true 27.2  17.9  942104576
loop-invgen/apache-get-tag_true-unreach-call_true-termination.i timeout 240    205    1386868736 true 23.1  15.1  814170112
loop-invgen/down_true-unreach-call_true-termination.i timeout 241    204    1345462272 timeout 240    179    1478336512
loop-invgen/fragtest_simple_true-unreach-call_true-termination.i timeout 240    202    1320239104 timeout 241    177    1621135360
loop-invgen/half_2_true-unreach-call_true-termination.i timeout 241    225    1115795456 timeout 241    192    1478393856
loop-invgen/heapsort_true-unreach-call_true-termination.i timeout 240    232    887230464 true 235    192    1631567872
loop-invgen/id_build_true-unreach-call_true-termination.i true 153    132    1596674048 true 12.4  7.46 373829632
loop-invgen/large_const_true-unreach-call_true-termination.i true 26.8  18.0  821432320 true 20.3  12.7  799916032
loop-invgen/nest-if3_true-unreach-call_true-termination.i timeout 241    216    1288675328 true 11.3  6.60 320942080
loop-invgen/nested6_true-unreach-call_true-termination.i true 157    122    1429913600 true 22.8  14.6  795774976
loop-invgen/nested9_true-unreach-call_true-termination.i timeout 241    206    1310158848 true 23.7  15.6  823664640
loop-invgen/sendmail-close-angle_true-unreach-call_true-termination.i timeout 240    199    1442885632 true 48.9  34.4  1158553600
loop-invgen/seq_true-unreach-call_true-termination.i timeout 240    200    1312452608 timeout 241    187    1572864000
loop-invgen/string_concat-noarr_true-unreach-call_true-termination.i timeout 241    222    1280684032 timeout 241    187    1474924544
loop-invgen/up_true-unreach-call_true-termination.i timeout 241    207    1330688000 timeout 240    180    1517297664
loop-invgen/SpamAssassin-loop_true-unreach-call.i.v+cfa-reducer.c timeout 240    207    1422610432 true 45.0  29.1  1069129728
loop-invgen/apache-escape-absolute_true-unreach-call.i.v+cfa-reducer.c timeout 240    207    1278779392 true 61.2  39.0  1144553472
loop-invgen/apache-get-tag_true-unreach-call.i.p+lhb-reducer.c timeout 240    206    1277345792 true 55.5  36.2  1173442560
loop-invgen/apache-get-tag_true-unreach-call.i.p+nlh-reducer.c timeout 241    205    1435742208 true 105    75.3  1457139712
loop-invgen/apache-get-tag_true-unreach-call.i.p+sep-reducer.c timeout 240    203    1577492480 true 113    77.9  1567985664
loop-invgen/apache-get-tag_true-unreach-call.i.v+lhb-reducer.c timeout 240    205    1293262848 true 47.3  30.8  1127616512
loop-invgen/apache-get-tag_true-unreach-call.i.v+nlh-reducer.c timeout 240    206    1368883200 true 41.6  26.8  983371776
loop-invgen/id_build_true-unreach-call.i.p+nlh-reducer.c timeout 241    215    1324634112 true 33.0  19.9  860905472
loop-invgen/id_build_true-unreach-call.i.p+sep-reducer.c timeout 240    214    1254285312 true 31.8  19.6  850759680
loop-invgen/id_build_true-unreach-call.i.v+lhb-reducer.c true 75.7  61.4  1147559936 true 12.8  7.72 396132352
loop-lit/afnp2014_true-unreach-call_true-termination.c.i timeout 240    234    677494784 true 13.4  8.19 426991616
loop-lit/bhmr2007_true-unreach-call_true-termination.c.i timeout 240    228    1100771328 true 17.9  11.7  732909568
loop-lit/cggmp2005_true-unreach-call_true-termination.c.i true 21.6  15.7  528437248 true 16.3  10.0  579641344
loop-lit/cggmp2005_variant_true-unreach-call_true-termination.c.i timeout 241    224    1159438336 true 15.6  9.68 540962816
loop-lit/cggmp2005b_true-unreach-call_true-termination.c.i true 12.1  7.25 350138368 true 14.6  8.99 484605952
loop-lit/css2003_true-unreach-call_true-termination.c.i true 18.1  11.7  491319296 true 11.4  6.81 314949632
loop-lit/ddlm2013_true-unreach-call.i true 38.4  32.3  662925312 true 21.3  13.0  694837248
loop-lit/gj2007_true-unreach-call_true-termination.c.i timeout 241    219    1227878400 true 235    173    1475096576
loop-lit/gj2007b_true-unreach-call_true-termination.c.i true 35.2  24.9  999882752 true 15.5  9.67 560693248
loop-lit/gr2006_true-unreach-call_true-termination.c.i timeout 241    214    1273667584 timeout 241    181    1660215296
loop-lit/gsv2008_true-unreach-call_true-termination.c.i timeout 241    230    1134800896 true 12.6  7.56 357265408
loop-lit/hhk2008_true-unreach-call_true-termination.c.i timeout 240    230    1177133056 true 14.0  8.52 426373120
loop-lit/jm2006_true-unreach-call_true-termination.c.i timeout 240    229    1233412096 true 18.9  12.1  720678912
loop-lit/jm2006_variant_true-unreach-call_true-termination.c.i timeout 241    224    1230802944 true 19.3  12.5  801263616
loop-lit/mcmillan2006_true-unreach-call_true-termination.c.i timeout 240    217    1146445824 timeout 241    218    1157476352
loop-lit/gcnr2008_false-unreach-call_false-termination.i false 9.83 5.84 266485760 false 9.61 5.70 273596416
loop-lit/gj2007_true-unreach-call.c.i.p+lhb-reducer.c timeout 241    218    1350475776 true 240    177    1565409280
loop-lit/gj2007_true-unreach-call.c.i.p+nlh-reducer.c timeout 240    210    1299824640 timeout 241    189    1499250688
loop-lit/gsv2008_true-unreach-call.c.i.p+cfa-reducer.c timeout 240    234    777330688 true 11.7  7.01 321564672
loop-lit/gsv2008_true-unreach-call.c.i.v+cfa-reducer.c timeout 240    234    802942976 true 11.7  6.88 322060288
loop-lit/gsv2008_true-unreach-call.c.i.v+lhb-reducer.c timeout 240    232    912658432 true 12.7  7.68 374632448
loop-lit/jm2006_true-unreach-call.c.i.v+cfa-reducer.c timeout 240    231    1086287872 true 15.7  9.67 558161920
loop-new/count_by_1_true-unreach-call_true-termination.i true 14.8  9.41 503508992 true 13.0  8.04 430198784
loop-new/count_by_1_variant_true-unreach-call_true-termination.i true 12.7  7.78 382115840 true 14.2  8.73 478777344
loop-new/count_by_2_true-unreach-call_true-termination.i timeout 241    222    1344462848 timeout 240    174    1472729088
loop-new/count_by_k_true-unreach-call_true-termination.i timeout 240    231    1079500800 timeout 241    193    1465712640
loop-new/count_by_nondet_true-unreach-call_true-termination.i timeout 241    224    1286918144 timeout 241    183    1467379712
loop-new/gauss_sum_true-unreach-call_true-termination.i timeout 240    230    1057337344 timeout 241    198    1392787456
loop-new/half_true-unreach-call_true-termination.i timeout 241    225    1134272512 true 27.9  18.3  842391552
loop-new/nested_true-unreach-call_true-termination.i timeout 241    216    1390329856 timeout 241    201    2920669184
loop-new/gauss_sum_true-unreach-call.i.p+cfa-reducer.c timeout 240    231    954236928 timeout 241    199    1410703360
loop-new/gauss_sum_true-unreach-call.i.p+lhb-reducer.c timeout 240    231    943390720 timeout 241    199    1337307136
loop-new/gauss_sum_true-unreach-call.i.v+cfa-reducer.c timeout 240    231    965980160 timeout 241    199    1455706112
loop-industry-pattern/aiob_1_true-unreach-call.c error: exception 5.99 3.55 204005376 error: exception 6.73 3.85 203042816
loop-industry-pattern/aiob_2_true-unreach-call.c error: exception 6.61 3.78 204099584 error: exception 6.59 3.77 201666560
loop-industry-pattern/aiob_3_true-unreach-call.c error: exception 6.73 3.82 199405568 error: exception 6.44 3.73 199618560
loop-industry-pattern/aiob_4_true-unreach-call.c error: exception 6.55 3.75 203190272 error: exception 6.51 3.73 208560128
loop-industry-pattern/aiob_4_true-unreach-call.c.v+cfa-reducer.c timeout 241    227    1117261824 timeout 240    228    960528384
loop-industry-pattern/aiob_4_true-unreach-call.c.v+lh-reducer.c timeout 240    229    1111846912 timeout 240    228    1063424000
loop-industry-pattern/aiob_4_true-unreach-call.c.v+lhb-reducer.c timeout 241    226    1238016000 timeout 241    216    1248636928
loop-industry-pattern/aiob_4_true-unreach-call.c.v+nlh-reducer.c timeout 241    228    1370132480 error: exception 61.4  33.5  1977348096
loop-industry-pattern/mod3_true-unreach-call.c timeout 241    234    546951168 true 28.8  21.8  438083584
loop-industry-pattern/mod3_true-unreach-call.c.v+cfa-reducer.c timeout 240    235    513437696 true 17.7  12.3  330211328
loop-industry-pattern/mod3_true-unreach-call.c.v+lhb-reducer.c timeout 240    235    508133376 true 17.0  11.6  329334784
loop-industry-pattern/mod3_true-unreach-call.c.v+sep-reducer.c timeout 240    235    543948800 true 18.0  13.0  335810560
loop-industry-pattern/nested_true-unreach-call.c timeout 240    209    1297199104 true 198    149    1682944000
loop-industry-pattern/ofuf_1_true-unreach-call.c true 146    125    1199009792 true 25.2  15.5  704266240
loop-industry-pattern/ofuf_2_true-unreach-call.c true 116    96.7  1178836992 true 22.1  13.7  705306624
loop-industry-pattern/ofuf_3_true-unreach-call.c true 120    99.3  1198092288 true 22.8  14.1  716480512
loop-industry-pattern/ofuf_4_true-unreach-call.c true 130    110    1222828032 true 23.1  14.5  750424064
loop-industry-pattern/ofuf_5_true-unreach-call.c true 125    106    1115205632 true 24.4  14.9  741822464
loops/heavy_true-unreach-call.c true 11.4  6.53 332570624 true 25.6  15.0  811294720
loops/compact_false-unreach-call.c timeout 241    228    1340436480 timeout 240    216    1175605248
loops/heavy_false-unreach-call.c timeout 240    232    1094180864 timeout 241    202    2882449408
loops-crafted-1/Mono1_false-unreach-call1.c timeout 241    220    1296953344 timeout 241    220    1153040384
loops-crafted-1/Mono3_false-unreach-call1.c timeout 241    217    1336233984 timeout 241    216    1183490048
loops-crafted-1/Mono4_false-unreach-call1.c timeout 241    216    1226498048 timeout 241    190    1754624000
loops-crafted-1/Mono5_false-unreach-call1.c timeout 240    225    1192337408 timeout 241    223    1098166272
loops-crafted-1/Mono6_false-unreach-call1.c timeout 241    225    1204662272 timeout 241    221    1100550144
loops-crafted-1/nested3_false-unreach-call.c timeout 240    220    1302437888 timeout 241    219    1156677632
loops-crafted-1/nested5_false-unreach-call.c timeout 241    219    1283661824 timeout 241    223    1165008896
loops-crafted-1/Mono1_true-unreach-call1.c timeout 241    222    1262964736 timeout 241    219    1175166976
loops-crafted-1/nested3_true-unreach-call.c timeout 241    221    1354067968 timeout 241    222    1131384832
loops-crafted-1/nested5_true-unreach-call.c true 16.9  10.7  591130624 true 65.3  57.7  700653568
loop-invariants/bin-suffix-5_true-unreach-call_true-valid-memsafety_true-no-overflow_false-termination.c true 13.0  7.71 359841792 false 8.38 5.01 262422528
loop-invariants/const_true-unreach-call_true-valid-memsafety_true-no-overflow_false-termination.c true 11.3  6.58 314593280 true 11.3  6.75 311451648
loop-invariants/eq1_true-unreach-call_true-valid-memsafety_true-no-overflow_false-termination.c true 11.4  6.66 308133888 true 10.4  6.24 290586624
loop-invariants/eq2_true-unreach-call_true-valid-memsafety_true-no-overflow_false-termination.c true 10.5  6.31 286466048 true 10.3  6.01 289099776
loop-invariants/even_true-unreach-call_true-valid-memsafety_true-no-overflow_false-termination.c true 13.1  7.76 366092288 true 10.5  6.28 287514624
loop-invariants/mod4_true-unreach-call_true-valid-memsafety_true-no-overflow_false-termination.c true 12.9  7.57 362815488 true 10.4  6.19 290979840
loop-invariants/odd_true-unreach-call_true-valid-memsafety_true-no-overflow_false-termination.c true 12.2  7.32 361754624 true 14.9  10.4  304594944
../../../trunk/examples/svcomp/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
total 775 126000 114000 872357367808 775 98400 81700 811972284416
local summary 35100 7700 58800 5530
    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