Tool ULTIMATE Automizer 0.1.24-0ed9222f
Limits timelimit: 900 s, memlimit: 8000 MB, CPU core limit: 2
Host struebli
OS Linux-4.20.1-gentoo-x86_64-AMD_EPYC_7351P_16-Core_Processor-with-gentoo-2.6
System CPU: AMD EPYC 7351P 16-Core Processor, cores: 32, frequency: 2400 MHz, Turbo Boost: enabled; RAM: 135156 MB
Date of execution 2019-01-11 17:27:34 CET 2019-01-14 11:19:50 CET
Run set sv-comp19_prop-reachsafety.ReachSafety-Arrays sv-comp19_prop-reachsafety.ReachSafety-Arrays
Options --full-output --full-output
../../../../../svcomp/c/ 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 901    859    1097211904 timeout 901    861    1196236800
array-examples/sorting_bubblesort_false-unreach-call2_ground.i timeout 901    776    1504886784 timeout 901    774    1232723968
array-examples/sorting_bubblesort_false-unreach-call_ground.i timeout 901    773    1522487296 timeout 901    776    1597636608
array-examples/sorting_selectionsort_false-unreach-call2_ground.i timeout 901    767    1680756736 timeout 901    765    1756274688
array-examples/sorting_selectionsort_false-unreach-call_ground.i timeout 901    788    1802641408 timeout 901    788    1918853120
array-examples/standard_allDiff2_false-unreach-call_ground.i timeout 901    779    4665208832 timeout 901    783    4712034304
array-examples/standard_copy1_false-unreach-call_ground.i timeout 900    872    818221056 timeout 900    872    827203584
array-examples/standard_copy2_false-unreach-call_ground.i timeout 901    879    837541888 timeout 901    879    836636672
array-examples/standard_copy3_false-unreach-call_ground.i timeout 901    876    835051520 timeout 901    877    854548480
array-examples/standard_copy4_false-unreach-call_ground.i timeout 900    879    826241024 timeout 900    877    819757056
array-examples/standard_copy5_false-unreach-call_ground.i timeout 900    876    842952704 timeout 900    875    837144576
array-examples/standard_copy6_false-unreach-call_ground.i timeout 900    875    819539968 timeout 900    876    828801024
array-examples/standard_copy7_false-unreach-call_ground.i timeout 900    875    842117120 timeout 900    875    828014592
array-examples/standard_copy8_false-unreach-call_ground.i timeout 900    875    863993856 timeout 900    875    855134208
array-examples/standard_copy9_false-unreach-call_ground.i timeout 900    873    883085312 timeout 900    874    925032448
array-examples/standard_copyInitSum2_false-unreach-call_ground.i timeout 900    880    829194240 timeout 900    879    812888064
array-examples/standard_init1_false-unreach-call_ground.i timeout 901    869    851554304 timeout 902    866    846295040
array-examples/standard_init2_false-unreach-call_ground.i timeout 901    874    770609152 timeout 901    875    769548288
array-examples/standard_init3_false-unreach-call_ground.i timeout 900    878    820940800 timeout 900    878    811065344
array-examples/standard_init4_false-unreach-call_ground.i timeout 901    875    799571968 timeout 900    877    780365824
array-examples/standard_init5_false-unreach-call_ground.i timeout 900    875    844066816 timeout 900    874    789901312
array-examples/standard_init6_false-unreach-call_ground.i timeout 900    876    791015424 timeout 900    876    809385984
array-examples/standard_init7_false-unreach-call_ground.i timeout 900    875    780779520 timeout 900    876    779255808
array-examples/standard_init8_false-unreach-call_ground.i timeout 900    873    809672704 timeout 900    874    812548096
array-examples/standard_init9_false-unreach-call_ground.i timeout 901    877    797691904 timeout 900    875    803164160
array-examples/standard_minInArray_false-unreach-call_ground.i timeout 901    772    1395122176 timeout 901    772    1707745280
array-examples/standard_partition_false-unreach-call_ground.i timeout 901    783    1605029888 timeout 901    783    1367683072
array-examples/standard_running_false-unreach-call.i timeout 900    881    1227517952 timeout 900    883    1280155648
array-examples/data_structures_set_multi_proc_trivial_true-unreach-call_ground_true-termination.i true 10.1  6.03 280109056 true 10.4  6.25 285634560
array-examples/data_structures_set_multi_proc_true-unreach-call_ground.i timeout 900    879    1554579456 timeout 900    879    1158197248
array-examples/relax_true-unreach-call.i timeout 901    852    3862306816 timeout 901    855    4248461312
array-examples/sanfoundry_02_true-unreach-call_ground.i timeout 901    785    1619587072 timeout 901    785    1463611392
array-examples/sanfoundry_10_true-unreach-call_ground.i timeout 900    880    1483681792 timeout 900    878    1467441152
array-examples/sanfoundry_24_true-unreach-call_true-termination.i true 9.27 5.52 260120576 true 9.38 5.68 261623808
array-examples/sanfoundry_27_true-unreach-call_ground.i timeout 901    776    1496145920 timeout 901    773    1453674496
array-examples/sanfoundry_43_true-unreach-call_ground.i true 7.26 4.41 249626624 true 7.35 4.47 242036736
array-examples/sorting_bubblesort_true-unreach-call_ground.i timeout 901    780    1400823808 timeout 901    781    1628999680
array-examples/sorting_selectionsort_true-unreach-call_ground.i timeout 901    781    1275629568 timeout 901    779    1403531264
array-examples/standard_compareModified_true-unreach-call_ground.i timeout 900    870    806260736 timeout 900    863    825851904
array-examples/standard_compare_true-unreach-call_ground.i timeout 901    774    1793474560 timeout 901    774    1584320512
array-examples/standard_copy1_true-unreach-call_ground.i timeout 900    873    767664128 timeout 900    871    820436992
array-examples/standard_copy2_true-unreach-call_ground.i timeout 901    870    798474240 timeout 901    874    781905920
array-examples/standard_copy3_true-unreach-call_ground.i timeout 900    874    785162240 timeout 900    878    795791360
array-examples/standard_copy4_true-unreach-call_ground.i timeout 900    877    802189312 timeout 900    876    817934336
array-examples/standard_copy5_true-unreach-call_ground.i timeout 901    875    780967936 timeout 900    878    816259072
array-examples/standard_copy6_true-unreach-call_ground.i timeout 900    876    836534272 timeout 900    874    791134208
array-examples/standard_copy7_true-unreach-call_ground.i timeout 900    874    831967232 timeout 900    876    880742400
array-examples/standard_copy8_true-unreach-call_ground.i timeout 901    873    860778496 timeout 900    876    849854464
array-examples/standard_copy9_true-unreach-call_ground.i timeout 900    874    830136320 timeout 900    876    854474752
array-examples/standard_copyInitSum2_true-unreach-call_ground.i timeout 900    877    822218752 timeout 900    878    857186304
array-examples/standard_copyInitSum3_true-unreach-call_ground.i timeout 901    874    872136704 timeout 901    872    846573568
array-examples/standard_copyInitSum_true-unreach-call_ground.i timeout 900    878    854691840 timeout 900    880    852811776
array-examples/standard_copyInit_true-unreach-call_ground.i timeout 900    881    826322944 timeout 900    879    818094080
array-examples/standard_find_true-unreach-call_ground.i timeout 901    831    1055920128 timeout 901    832    963403776
array-examples/standard_init1_true-unreach-call_ground.i timeout 900    870    879894528 timeout 901    864    862412800
array-examples/standard_init2_true-unreach-call_ground.i timeout 900    875    825159680 timeout 900    876    785776640
array-examples/standard_init3_true-unreach-call_ground.i timeout 901    875    812109824 timeout 900    877    799461376
array-examples/standard_init4_true-unreach-call_ground.i timeout 900    877    775999488 timeout 900    876    787406848
array-examples/standard_init5_true-unreach-call_ground.i timeout 900    876    821837824 timeout 900    874    811274240
array-examples/standard_init6_true-unreach-call_ground.i timeout 900    876    847478784 timeout 900    875    804626432
array-examples/standard_init7_true-unreach-call_ground.i timeout 900    872    808009728 timeout 900    874    810037248
array-examples/standard_init8_true-unreach-call_ground.i timeout 900    875    803463168 timeout 901    874    814407680
array-examples/standard_init9_true-unreach-call_ground.i timeout 900    872    817586176 timeout 900    874    836157440
array-examples/standard_maxInArray_true-unreach-call_ground.i timeout 901    782    1963470848 timeout 901    785    1771995136
array-examples/standard_minInArray_true-unreach-call_ground.i timeout 901    783    1771720704 timeout 901    779    1988800512
array-examples/standard_palindrome_true-unreach-call_ground.i timeout 900    871    828903424 timeout 900    872    829919232
array-examples/standard_partial_init_true-unreach-call_ground.i timeout 900    864    866373632 timeout 900    863    895246336
array-examples/standard_partition_original_true-unreach-call_ground.i timeout 900    859    1238433792 timeout 901    866    1815339008
array-examples/standard_partition_true-unreach-call_ground.i timeout 901    857    1455501312 timeout 901    854    1448648704
array-examples/standard_password_true-unreach-call_ground.i timeout 901    778    1637224448 timeout 901    777    1690198016
array-examples/standard_reverse_true-unreach-call_ground.i timeout 901    836    976924672 timeout 901    834    947736576
array-examples/standard_running_true-unreach-call.i timeout 900    876    1613262848 timeout 900    875    1158860800
array-examples/standard_sentinel_true-unreach-call_true-termination.i true 18.4  11.8  518041600 true 19.1  12.1  510095360
array-examples/standard_seq_init_true-unreach-call_ground.i timeout 901    862    798617600 timeout 900    868    831479808
array-examples/standard_strcmp_true-unreach-call_ground.i timeout 901    771    2014232576 timeout 901    770    2547150848
array-examples/standard_strcpy_original_true-unreach-call.i timeout 901    840    917970944 timeout 901    841    910958592
array-examples/standard_strcpy_true-unreach-call_ground.i timeout 900    850    880656384 timeout 900    851    890511360
array-examples/standard_two_index_01_true-unreach-call.i timeout 901    874    829800448 timeout 901    875    831569920
array-examples/standard_two_index_02_true-unreach-call.i timeout 900    869    784818176 timeout 900    870    824328192
array-examples/standard_two_index_03_true-unreach-call.i timeout 901    864    779153408 timeout 901    863    842702848
array-examples/standard_two_index_04_true-unreach-call.i timeout 900    865    797450240 timeout 900    865    818970624
array-examples/standard_two_index_05_true-unreach-call.i timeout 901    861    913547264 timeout 901    862    818827264
array-examples/standard_two_index_06_true-unreach-call.i timeout 900    860    903303168 timeout 900    860    912388096
array-examples/standard_two_index_07_true-unreach-call.i timeout 901    860    825692160 timeout 901    860    846893056
array-examples/standard_two_index_08_true-unreach-call.i timeout 901    859    891379712 timeout 901    859    854134784
array-examples/standard_two_index_09_true-unreach-call.i timeout 900    861    858988544 timeout 901    859    930312192
array-examples/standard_vararg_true-unreach-call_ground_true-termination.i timeout 901    778    963682304 timeout 901    779    1032413184
array-examples/standard_vector_difference_true-unreach-call_ground.i timeout 900    867    831307776 timeout 900    870    843177984
array-examples/standard_sentinel_true-unreach-call.i.v+cfa-reducer.c true 19.0  12.0  508944384 true 18.2  11.6  513503232
array-industry-pattern/array_assert_loop_dep_false-unreach-call_true-termination.i timeout 900    865    856924160 timeout 900    866    878821376
array-industry-pattern/array_of_struct_loop_dep_false-unreach-call.i timeout 900    865    1396953088 timeout 900    882    5165219840
array-industry-pattern/array_ptr_single_elem_init_false-unreach-call_true-termination.i timeout 900    856    983539712 timeout 900    855    972382208
array-industry-pattern/array_range_init_false-unreach-call.i timeout 900    874    1369702400 timeout 900    885    5177098240
array-industry-pattern/array_single_elem_init_false-unreach-call_true-termination.i timeout 901    858    990085120 timeout 900    860    965787648
array-industry-pattern/check_removal_from_set_after_insertion_false-unreach-call.i timeout 901    819    1678233600 timeout 901    818    1798443008
array-industry-pattern/array_monotonic_true-unreach-call_true-termination.i timeout 900    876    839274496 timeout 900    874    879452160
array-industry-pattern/array_mul_init_true-unreach-call_true-termination.i timeout 900    895    409817088 timeout 900    895    413564928
array-industry-pattern/array_of_struct_break_true-unreach-call.i timeout 900    861    1379852288 timeout 900    882    5172412416
array-industry-pattern/array_of_struct_ptr_cond_init_true-unreach-call.i timeout 901    882    1011642368 timeout 900    882    5450678272
array-industry-pattern/array_of_struct_ptr_flag_init_true-unreach-call.i true 24.2  14.8  570404864 true 25.2  15.3  558919680
array-industry-pattern/array_of_struct_ptr_monotonic_true-unreach-call.i timeout 900    882    1037705216 timeout 900    877    5073899520
array-industry-pattern/array_of_struct_ptr_mul_init_true-unreach-call.i timeout 900    892    794492928 timeout 900    866    5201383424
array-industry-pattern/array_of_struct_single_elem_init_true-unreach-call.i timeout 900    876    1629216768 timeout 900    866    5245816832
array-industry-pattern/array_ptr_partial_init_true-unreach-call.i timeout 900    880    1180151808 timeout 900    878    5195333632
array-industry-pattern/array_ptr_single_elem_init_true-unreach-call.i timeout 900    876    1199251456 timeout 900    876    5303361536
array-industry-pattern/array_shadowinit_true-unreach-call_true-termination.i timeout 901    799    963690496 timeout 900    795    1030885376
reducercommutativity/rangesum05_false-unreach-call_true-termination.i false(unreach-call) 19.3  12.0  481718272 false(unreach-call) 19.8  12.2  486330368
reducercommutativity/rangesum10_false-unreach-call_true-termination.i false(unreach-call) 103    89.1  688451584 false(unreach-call) 103    89.3  677785600
reducercommutativity/rangesum20_false-unreach-call.i timeout 900    882    688132096 timeout 900    880    692297728
reducercommutativity/rangesum40_false-unreach-call.i timeout 900    876    757653504 timeout 900    877    760385536
reducercommutativity/rangesum60_false-unreach-call.i timeout 900    874    782426112 timeout 900    874    761761792
reducercommutativity/rangesum_false-unreach-call_true-termination.i false(unreach-call) 19.1  11.3  493006848 false(unreach-call) 19.9  11.8  481951744
reducercommutativity/avg05_true-unreach-call_true-termination.i timeout 900    883    4627525632 timeout 900    882    4544057344
reducercommutativity/avg10_true-unreach-call_true-termination.i timeout 901    859    2427240448 timeout 901    854    2606350336
reducercommutativity/avg20_true-unreach-call.i timeout 901    811    3369082880 timeout 901    810    3596361728
reducercommutativity/avg40_true-unreach-call.i timeout 900    858    885178368 timeout 900    858    908525568
reducercommutativity/avg60_true-unreach-call.i timeout 900    854    844120064 timeout 901    853    877514752
reducercommutativity/avg_true-unreach-call_true-termination.i timeout 900    874    812544000 timeout 901    879    768524288
reducercommutativity/max05_true-unreach-call_true-termination.i timeout 901    854    1689001984 timeout 901    851    1941590016
reducercommutativity/max10_true-unreach-call_true-termination.i timeout 901    804    4956794880 timeout 901    805    4969164800
reducercommutativity/max20_true-unreach-call.i timeout 901    849    2287779840 timeout 901    848    2584805376
reducercommutativity/max40_true-unreach-call.i timeout 900    858    1226821632 timeout 901    857    1259749376
reducercommutativity/max60_true-unreach-call.i timeout 901    852    1049677824 timeout 900    855    1073070080
reducercommutativity/max_true-unreach-call_true-termination.i timeout 900    884    705994752 timeout 900    885    690790400
reducercommutativity/sep05_true-unreach-call_true-termination.i timeout 900    860    1448927232 timeout 900    860    1657569280
reducercommutativity/sep10_true-unreach-call.i timeout 901    802    4692668416 timeout 901    802    4788957184
reducercommutativity/sep20_true-unreach-call.i timeout 901    791    1770377216 timeout 901    792    1718083584
reducercommutativity/sep40_true-unreach-call.i timeout 900    855    1050267648 timeout 900    855    1074020352
reducercommutativity/sep60_true-unreach-call.i timeout 901    858    1015726080 timeout 900    850    961921024
reducercommutativity/sep_true-unreach-call_true-termination.i timeout 901    815    3397906432 timeout 901    823    3095711744
reducercommutativity/sum05_true-unreach-call_true-termination.i timeout 901    853    1072635904 timeout 901    854    1054511104
reducercommutativity/sum10_true-unreach-call_true-termination.i timeout 900    879    4672634880 timeout 900    880    4825436160
reducercommutativity/sum20_true-unreach-call.i timeout 901    817    3671912448 timeout 901    820    4147732480
reducercommutativity/sum40_true-unreach-call.i timeout 901    861    922877952 timeout 900    862    877641728
reducercommutativity/sum60_true-unreach-call.i timeout 900    855    894267392 timeout 901    854    886034432
reducercommutativity/sum_true-unreach-call_true-termination.i timeout 900    887    745435136 timeout 900    887    776470528
array-tiling/mlceu_false-unreach-call.i timeout 901    819    871292928 timeout 901    822    956686336
array-tiling/skippedu_false-unreach-call.i false(unreach-call) 14.0  8.52 423284736 false(unreach-call) 13.0  7.96 424009728
array-tiling/mbpr2_true-unreach-call.i timeout 901    853    2089017344 timeout 901    851    2105446400
array-tiling/mbpr3_true-unreach-call.i true 310    285    1056358400 true 289    264    1002090496
array-tiling/mbpr4_true-unreach-call.i timeout 901    833    899424256 timeout 901    837    962015232
array-tiling/mbpr5_true-unreach-call.i timeout 901    823    1016381440 timeout 901    824    1016979456
array-tiling/nr2_true-unreach-call.i timeout 901    877    1336545280 timeout 901    881    1558663168
array-tiling/nr3_true-unreach-call.i timeout 901    867    2267152384 timeout 901    865    2239643648
array-tiling/nr4_true-unreach-call.i timeout 900    881    1733087232 timeout 900    878    2014371840
array-tiling/nr5_true-unreach-call.i timeout 901    864    2282577920 timeout 901    861    2327900160
array-tiling/pnr2_true-unreach-call.i timeout 901    802    5325537280 timeout 901    802    5258256384
array-tiling/pnr3_true-unreach-call.i timeout 900    807    5190787072 timeout 901    805    5246717952
array-tiling/pnr4_true-unreach-call.i timeout 900    810    5184733184 timeout 900    809    5209214976
array-tiling/pnr5_true-unreach-call.i timeout 901    802    5433475072 timeout 901    803    5456343040
array-tiling/poly1_true-unreach-call.i timeout 900    884    808841216 timeout 900    884    817078272
array-tiling/poly2_true-unreach-call.i timeout 900    890    662925312 timeout 900    889    662839296
array-tiling/pr2_true-unreach-call.i timeout 901    810    2301964288 timeout 901    810    2289680384
array-tiling/pr3_true-unreach-call.i timeout 901    828    2214490112 timeout 901    827    2116157440
array-tiling/pr4_true-unreach-call.i timeout 901    844    995737600 timeout 901    843    1065549824
array-tiling/pr5_true-unreach-call.i timeout 901    850    1192017920 timeout 901    851    1229406208
array-tiling/revcpyswp2_true-unreach-call.i timeout 900    872    961347584 timeout 900    869    941842432
array-tiling/rew_true-unreach-call.i timeout 901    843    885686272 timeout 901    840    882298880
array-tiling/rewnif_true-unreach-call.i timeout 900    871    998662144 timeout 900    872    1012506624
array-tiling/rewnifrev2_true-unreach-call.i timeout 900    782    1863852032 timeout 901    786    1810915328
array-tiling/rewnifrev_true-unreach-call.i timeout 900    809    928591872 timeout 901    811    907055104
array-tiling/rewrev_true-unreach-call.i timeout 901    770    936415232 timeout 901    768    902868992
array-tiling/skipped_true-unreach-call.i timeout 900    810    5886062592 timeout 900    811    5941231616
array-tiling/tcpy_true-unreach-call.i timeout 901    823    1090379776 timeout 901    824    1060429824
array-programs/copysome1_false-unreach-call.i timeout 900    882    770932736 timeout 900    880    739786752
array-programs/copysome2_false-unreach-call.i timeout 900    875    1589551104 timeout 900    873    1490358272
array-programs/copysome1_true-unreach-call.i timeout 900    883    821063680 timeout 900    884    841007104
array-programs/copysome2_true-unreach-call.i timeout 900    874    1440120832 timeout 900    876    1311449088
array-crafted/bAnd1_true-unreach-call.i timeout 901    855    948428800 timeout 900    856    1016668160
array-crafted/bAnd2_true-unreach-call.i timeout 900    853    894885888 timeout 901    856    920387584
array-crafted/bAnd3_true-unreach-call.i timeout 901    857    874475520 timeout 900    858    908476416
array-crafted/bAnd4_true-unreach-call.i timeout 900    857    954896384 timeout 901    853    894533632
array-crafted/bAnd5_true-unreach-call.i timeout 900    877    820936704 timeout 900    879    808124416
array-crafted/bor1_true-unreach-call.i timeout 901    850    934072320 timeout 901    849    937070592
array-crafted/bor2_true-unreach-call.i timeout 901    852    996864000 timeout 901    854    1024880640
array-crafted/bor3_true-unreach-call.i timeout 901    854    911011840 timeout 901    856    875257856
array-crafted/bor4_true-unreach-call.i timeout 901    852    906940416 timeout 901    854    919805952
array-crafted/bor5_true-unreach-call.i timeout 900    875    800006144 timeout 900    874    797659136
array-crafted/mapavg1_true-unreach-call.i timeout 901    850    892891136 timeout 901    850    928534528
array-crafted/mapavg2_true-unreach-call.i timeout 901    853    933052416 timeout 900    855    909213696
array-crafted/mapavg3_true-unreach-call.i timeout 901    851    947527680 timeout 901    854    967122944
array-crafted/mapavg4_true-unreach-call.i timeout 901    852    887517184 timeout 901    853    923631616
array-crafted/mapavg5_true-unreach-call.i timeout 900    891    592670720 timeout 900    891    693706752
array-crafted/mapsum1_true-unreach-call.i timeout 900    846    946573312 timeout 901    853    907276288
array-crafted/mapsum2_true-unreach-call.i timeout 901    854    983052288 timeout 901    853    924622848
array-crafted/mapsum3_true-unreach-call.i timeout 901    851    874520576 timeout 901    852    912273408
array-crafted/mapsum4_true-unreach-call.i timeout 901    853    892379136 timeout 901    849    931315712
array-crafted/mapsum5_true-unreach-call.i timeout 901    873    3201851392 timeout 901    874    4689170432
array-crafted/xor1_true-unreach-call.i timeout 901    857    911011840 timeout 901    855    969850880
array-crafted/xor2_true-unreach-call.i timeout 901    857    896245760 timeout 901    857    879259648
array-crafted/xor3_true-unreach-call.i timeout 901    854    884883456 timeout 901    859    934334464
array-crafted/xor4_true-unreach-call.i timeout 901    854    855248896 timeout 901    854    910917632
array-crafted/xor5_true-unreach-call.i timeout 900    875    791650304 timeout 900    876    875143168
array-crafted/zero_sum1_true-unreach-call.c timeout 901    812    914132992 timeout 901    810    930471936
array-crafted/zero_sum2_true-unreach-call.c timeout 901    818    940077056 timeout 901    820    931131392
array-crafted/zero_sum3_true-unreach-call.c timeout 901    819    1107456000 timeout 901    819    1081286656
array-crafted/zero_sum4_true-unreach-call.c timeout 901    819    1243189248 timeout 901    819    1169575936
array-crafted/zero_sum5_true-unreach-call.c timeout 901    812    1962143744 timeout 901    812    2263859200
array-crafted/zero_sum_const1_true-unreach-call.c timeout 900    808    907313152 timeout 900    810    926154752
array-crafted/zero_sum_const2_true-unreach-call.c timeout 900    814    920260608 timeout 901    813    930938880
array-crafted/zero_sum_const3_true-unreach-call.c out of memory 496    385    8000000000 out of memory 493    386    8000000000
array-crafted/zero_sum_const4_true-unreach-call.c timeout 900    809    1073127424 timeout 900    812    1003945984
array-crafted/zero_sum_const5_true-unreach-call.c timeout 900    809    1242783744 timeout 900    808    1341952000
array-crafted/zero_sum_const_m2_true-unreach-call.c timeout 901    822    921362432 timeout 901    822    964775936
array-crafted/zero_sum_const_m3_true-unreach-call.c timeout 901    832    1034313728 timeout 901    828    1045139456
array-crafted/zero_sum_const_m4_true-unreach-call.c timeout 900    823    1025589248 timeout 900    824    1049001984
array-crafted/zero_sum_const_m5_true-unreach-call.c timeout 901    824    2048057344 timeout 901    824    2138173440
array-crafted/zero_sum_m2_true-unreach-call.c timeout 901    828    965079040 timeout 901    827    964399104
array-crafted/zero_sum_m3_true-unreach-call.c timeout 901    835    960069632 timeout 901    832    1073164288
array-crafted/zero_sum_m4_true-unreach-call.c timeout 901    833    979984384 timeout 901    834    977494016
array-crafted/zero_sum_m5_true-unreach-call.c timeout 901    836    1061416960 timeout 901    837    1054490624
array-multidimensional/add-2-n-u_true-unreach-call.i timeout 900    895    754413568 timeout 900    895    751599616
array-multidimensional/add-3-n-u_true-unreach-call.i timeout 900    893    628981760 timeout 900    894    645849088
array-multidimensional/copy-2-u_true-unreach-call.i timeout 900    891    906752000 timeout 900    892    923385856
array-multidimensional/copy-3-n-u_true-unreach-call.i timeout 900    894    538972160 timeout 900    894    537243648
array-multidimensional/copy-partial-2-n-u_true-unreach-call.i timeout 900    889    1575907328 timeout 900    890    1417146368
array-multidimensional/copy-partial-3-u_true-unreach-call.i true 13.6  8.00 411021312 true 12.3  7.51 409878528
array-multidimensional/diff-2-n-u_true-unreach-call.i timeout 900    894    492101632 timeout 900    895    497250304
array-multidimensional/diff-3-n-u_true-unreach-call.i timeout 900    894    664850432 timeout 900    893    644272128
array-multidimensional/init-2-n-u_true-unreach-call.i timeout 900    891    964292608 timeout 900    891    975106048
array-multidimensional/init-3-u_true-unreach-call.i timeout 900    892    757465088 timeout 900    892    735768576
array-multidimensional/init-4-n-u_true-unreach-call.i timeout 900    893    1071665152 timeout 900    892    1073176576
array-multidimensional/init-non-constant-2-n-u_true-unreach-call.i timeout 900    886    807206912 timeout 900    886    861597696
array-multidimensional/init-non-constant-3-u_true-unreach-call.i timeout 900    892    895926272 timeout 900    893    902389760
array-multidimensional/max-2-u_true-unreach-call.i timeout 900    892    954273792 timeout 900    891    954810368
array-multidimensional/max-3-n-u_true-unreach-call.i timeout 900    880    2049986560 timeout 900    880    2035904512
array-multidimensional/min-2-u_true-unreach-call.i timeout 900    891    886661120 timeout 900    891    889761792
array-multidimensional/min-3-n-u_true-unreach-call.i timeout 900    880    2014289920 timeout 900    879    2009714688
array-multidimensional/rev-2-n-u_true-unreach-call.i timeout 900    885    1197182976 timeout 900    886    1165070336
array-multidimensional/rev-3-u_true-unreach-call.i timeout 900    894    577974272 timeout 900    894    582299648
array-multidimensional/transpose-u_true-unreach-call.i timeout 900    892    785645568 timeout 900    892    797429760
../../../../../svcomp/c/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
total 231 197000 187000 299386699776 231 197000 187000 340727959552
    correct results 12 568 468 5941088256 12 547 448 5853859840
        correct true 8 412 347 3854626816 8 391 327 3783782400
        correct false 4 155 121 2086461440 4 156 121 2070077440
    incorrect results 0 0
        incorrect true 0 0
        incorrect false 0 0
score (231 tasks, max score: 418) 20 20
Run set sv-comp19_prop-reachsafety.ReachSafety-Arrays sv-comp19_prop-reachsafety.ReachSafety-Arrays