Tool ULTIMATE Automizer 0.1.24-7aa59a07
Limits timelimit: 90 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-05-23 11:14:12 CEST
Run set Automizer+MapElim 1cell LBE.ReachSafety-Arrays SVCOMP Automizer+MapElim 1cell.ReachSafety-Arrays SVCOMP Automizer+MapElim 2cell.ReachSafety-Arrays SVCOMP Automizer.ReachSafety-Arrays SVCOMP
Options -s config/svcomp-Reach-32bit-Automizer_Default.epf --rcfgbuilder.command.for.external.solver z3 SMTLIB2_COMPLIANT=true -memory:4096 -smt2 -in -t:12000 -tc ../../../trunk/examples/toolchains/AutomizerCInlineTransformed.xml --icfgtransformation.transformationtype MAP_ELIMINATION_MONNIAUX --icfgtransformation.map.elimination.monniaux.number.of.cells 1 -s config/svcomp-Reach-32bit-Automizer_Default.epf --rcfgbuilder.command.for.external.solver z3 SMTLIB2_COMPLIANT=true -memory:4096 -smt2 -in -t:12000 -tc ../../../trunk/examples/toolchains/AutomizerCInlineTransformed.xml --icfgtransformation.transformationtype MAP_ELIMINATION_MONNIAUX --rcfgbuilder.size.of.a.code.block SingleStatement --icfgtransformation.map.elimination.monniaux.number.of.cells 1 -s config/svcomp-Reach-32bit-Automizer_Default.epf --rcfgbuilder.command.for.external.solver z3 SMTLIB2_COMPLIANT=true -memory:4096 -smt2 -in -t:12000 -tc ../../../trunk/examples/toolchains/AutomizerCInlineTransformed.xml --icfgtransformation.transformationtype MAP_ELIMINATION_MONNIAUX --rcfgbuilder.size.of.a.code.block SingleStatement --icfgtransformation.map.elimination.monniaux.number.of.cells 2 -s config/svcomp-Reach-32bit-Automizer_Default.epf --rcfgbuilder.command.for.external.solver z3 SMTLIB2_COMPLIANT=true -memory:4096 -smt2 -in -t:12000 -tc ../../../trunk/examples/toolchains/AutomizerCInline.xml --rcfgbuilder.size.of.a.code.block SingleStatement
../../../../../svcomp/c/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
array-examples/data_structures_set_multi_proc_false-unreach-call_ground.i error: exception 7.58 4.58 189636608 error: exception 7.52 4.99 190218240 error: exception 7.94 4.76 195682304 timeout 91.2  61.3  1256472576
array-examples/sorting_bubblesort_false-unreach-call2_ground.i error: exception 7.47 4.51 188850176 error: exception 7.64 4.73 187863040 error: exception 7.45 4.68 189861888 timeout 92.0  58.9  660668416
array-examples/sorting_bubblesort_false-unreach-call_ground.i error: exception 7.29 4.56 191356928 error: exception 7.13 4.38 188866560 error: exception 7.67 5.04 197033984 timeout 90.2  58.2  606023680
array-examples/sorting_selectionsort_false-unreach-call2_ground.i error: exception 7.38 4.47 191209472 error: exception 7.55 4.84 187236352 error: exception 7.65 4.89 190697472 timeout 91.5  60.0  619630592
array-examples/sorting_selectionsort_false-unreach-call_ground.i error: exception 7.16 4.32 189972480 error: exception 7.49 4.79 190066688 error: exception 7.87 4.92 191623168 timeout 90.4  73.5  560930816
array-examples/standard_allDiff2_false-unreach-call_ground.i error: exception 7.46 4.52 187342848 error: exception 7.53 4.56 185753600 error: exception 7.61 4.57 190021632 timeout 90.8  62.6  712585216
array-examples/standard_copy1_false-unreach-call_ground.i error: exception 7.26 4.53 193970176 error: exception 7.35 4.51 190693376 error: exception 7.49 4.98 191062016 timeout 90.2  73.7  563675136
array-examples/standard_copy2_false-unreach-call_ground.i error: exception 7.27 4.63 190472192 error: exception 7.36 4.69 191008768 error: exception 7.38 4.50 191041536 timeout 90.5  73.0  497688576
array-examples/standard_copy3_false-unreach-call_ground.i error: exception 7.36 4.67 193212416 error: exception 7.63 4.97 175325184 error: exception 7.51 4.74 174145536 timeout 90.4  73.5  536113152
array-examples/standard_copy4_false-unreach-call_ground.i error: exception 7.33 4.44 190500864 error: exception 7.45 4.58 193515520 error: exception 7.71 5.03 187990016 timeout 90.6  72.8  551825408
array-examples/standard_copy5_false-unreach-call_ground.i error: exception 7.98 4.69 187682816 error: exception 7.90 4.94 191348736 error: exception 7.70 4.88 186527744 timeout 90.6  71.8  555802624
array-examples/standard_copy6_false-unreach-call_ground.i error: exception 7.47 4.78 190894080 error: exception 8.07 4.84 187592704 error: exception 8.02 4.85 191737856 timeout 90.6  71.9  461979648
array-examples/standard_copy7_false-unreach-call_ground.i error: exception 7.55 4.64 189472768 error: exception 7.74 4.93 188997632 error: exception 7.75 4.68 188022784 timeout 91.0  70.9  419119104
array-examples/standard_copy8_false-unreach-call_ground.i error: exception 7.64 4.97 192327680 error: exception 8.06 5.05 176168960 error: exception 8.02 4.92 193335296 timeout 90.3  70.6  534564864
array-examples/standard_copy9_false-unreach-call_ground.i error: exception 8.01 4.69 190672896 error: exception 8.05 4.89 196128768 error: exception 7.91 4.77 190885888 timeout 91.2  68.9  515997696
array-examples/standard_copyInitSum2_false-unreach-call_ground.i error: exception 7.24 4.29 190701568 error: exception 7.19 4.33 188481536 error: exception 7.15 4.34 186892288 timeout 90.2  73.5  532381696
array-examples/standard_init1_false-unreach-call_ground.i error: exception 7.40 4.56 194310144 error: exception 7.50 4.61 195186688 error: exception 7.54 4.46 186671104 timeout 90.4  72.8  453095424
array-examples/standard_init2_false-unreach-call_ground.i error: exception 7.08 4.70 189063168 error: exception 7.00 4.21 192286720 error: exception 7.25 4.48 190267392 timeout 90.4  77.3  435068928
array-examples/standard_init3_false-unreach-call_ground.i error: exception 7.30 4.83 194093056 error: exception 7.17 4.31 189734912 error: exception 7.13 4.59 186683392 timeout 90.1  79.2  418676736
array-examples/standard_init4_false-unreach-call_ground.i error: exception 7.33 4.44 191008768 error: exception 7.59 4.59 190193664 error: exception 7.17 4.40 186441728 timeout 90.9  82.2  411385856
array-examples/standard_init5_false-unreach-call_ground.i error: exception 7.46 4.50 190390272 error: exception 7.06 4.33 184070144 error: exception 7.21 4.40 186564608 timeout 90.9  81.3  433532928
array-examples/standard_init6_false-unreach-call_ground.i error: exception 7.30 4.49 188149760 error: exception 7.21 4.58 185958400 error: exception 7.42 4.54 192061440 timeout 90.9  81.3  442265600
array-examples/standard_init7_false-unreach-call_ground.i error: exception 7.30 4.49 187617280 error: exception 7.44 4.49 188755968 error: exception 7.04 4.77 184905728 timeout 90.1  79.4  432013312
array-examples/standard_init8_false-unreach-call_ground.i error: exception 7.69 4.75 191393792 error: exception 7.61 4.82 190550016 error: exception 7.75 4.64 191668224 timeout 91.0  82.2  425066496
array-examples/standard_init9_false-unreach-call_ground.i error: exception 7.56 4.47 190640128 error: exception 7.52 4.60 194740224 error: exception 7.46 4.69 191066112 timeout 91.0  81.4  416251904
array-examples/standard_minInArray_false-unreach-call_ground.i error: exception 7.34 4.80 170311680 error: exception 7.54 4.88 193974272 error: exception 7.16 4.76 185720832 timeout 91.7  57.4  566362112
array-examples/standard_partition_false-unreach-call_ground.i error: exception 7.68 4.62 189579264 error: exception 7.66 4.60 194727936 error: exception 7.36 4.49 188203008 timeout 90.9  73.6  662261760
array-examples/standard_running_false-unreach-call.i error: exception 7.30 4.33 190676992 error: exception 7.27 4.36 188497920 error: exception 7.31 4.48 191881216 timeout 90.2  75.2  598786048
array-examples/data_structures_set_multi_proc_trivial_true-unreach-call_ground_true-termination.i error: exception 7.50 4.50 191963136 error: exception 7.97 4.73 192241664 error: exception 7.90 4.79 197619712 true 11.4  6.65 260820992
array-examples/data_structures_set_multi_proc_true-unreach-call_ground.i error: exception 7.65 5.18 172331008 error: exception 7.44 4.60 192266240 error: exception 7.95 4.72 188399616 timeout 90.7  69.4  692441088
array-examples/relax_true-unreach-call.i error: exception 8.91 5.08 198795264 error: exception 8.80 5.09 197185536 error: exception 8.78 5.11 200753152 timeout 91.3  61.9  622751744
array-examples/sanfoundry_02_true-unreach-call_ground.i error: exception 7.71 4.98 185327616 error: exception 7.42 4.47 190865408 error: exception 7.43 4.47 187580416 timeout 91.0  69.8  646467584
array-examples/sanfoundry_10_true-unreach-call_ground.i error: exception 7.86 4.68 187715584 error: exception 7.24 4.42 190619648 error: exception 7.06 4.36 191254528 timeout 90.7  65.7  575438848
array-examples/sanfoundry_24_true-unreach-call_true-termination.i error: exception 7.15 4.33 191143936 error: exception 7.67 4.54 190681088 error: exception 7.51 4.51 195502080 true 14.4  8.61 266088448
array-examples/sanfoundry_27_true-unreach-call_ground.i error: exception 6.85 4.49 190189568 error: exception 7.16 4.39 184422400 error: exception 7.33 4.40 186871808 timeout 90.6  65.8  596930560
array-examples/sanfoundry_43_true-unreach-call_ground.i error: exception 6.69 4.11 188747776 error: exception 7.44 4.70 191397888 error: exception 7.30 4.37 189661184 true 7.61 4.80 193585152
array-examples/sorting_bubblesort_true-unreach-call_ground.i error: exception 7.07 4.37 194117632 error: exception 7.52 4.44 191078400 error: exception 7.49 4.48 192249856 timeout 91.0  69.0  624640000
array-examples/sorting_selectionsort_true-unreach-call_ground.i error: exception 7.78 4.66 190738432 error: exception 7.06 4.35 195350528 error: exception 7.71 4.66 195874816 timeout 90.3  73.3  642703360
array-examples/standard_compareModified_true-unreach-call_ground.i error: exception 7.14 4.28 190099456 error: exception 7.25 4.75 188620800 error: exception 7.08 4.55 188600320 timeout 90.9  65.6  595423232
array-examples/standard_compare_true-unreach-call_ground.i error: exception 7.41 4.47 191688704 error: exception 7.21 4.58 193105920 error: exception 7.75 4.66 193241088 timeout 91.5  62.6  611844096
array-examples/standard_copy1_true-unreach-call_ground.i error: exception 6.93 4.47 188043264 error: exception 7.44 4.51 192118784 error: exception 7.24 4.63 189353984 timeout 91.1  69.0  623329280
array-examples/standard_copy2_true-unreach-call_ground.i error: exception 7.57 4.56 178499584 error: exception 7.34 4.46 190722048 error: exception 7.13 4.35 191782912 timeout 90.9  64.2  574545920
array-examples/standard_copy3_true-unreach-call_ground.i error: exception 7.42 4.46 191750144 error: exception 7.42 4.49 190124032 error: exception 7.04 4.34 191442944 timeout 90.2  66.3  578945024
array-examples/standard_copy4_true-unreach-call_ground.i error: exception 7.65 4.51 189665280 error: exception 7.48 4.60 185491456 error: exception 7.63 4.59 187027456 timeout 90.8  68.0  534749184
array-examples/standard_copy5_true-unreach-call_ground.i error: exception 7.70 4.56 189300736 error: exception 7.79 4.67 190214144 error: exception 7.49 4.78 192729088 timeout 90.4  70.0  539123712
array-examples/standard_copy6_true-unreach-call_ground.i error: exception 7.21 4.37 193622016 error: exception 7.73 4.89 190926848 error: exception 7.96 4.77 190439424 timeout 90.4  71.9  518340608
array-examples/standard_copy7_true-unreach-call_ground.i error: exception 7.91 4.74 191197184 error: exception 7.95 4.82 193708032 error: exception 8.25 4.95 193064960 timeout 90.3  72.5  569020416
array-examples/standard_copy8_true-unreach-call_ground.i error: exception 7.67 4.60 192774144 error: exception 8.54 5.06 193277952 error: exception 8.71 5.13 195624960 timeout 90.5  71.6  578678784
array-examples/standard_copy9_true-unreach-call_ground.i error: exception 7.83 4.70 194732032 error: exception 8.06 4.98 191143936 error: exception 8.63 5.21 191582208 timeout 91.0  69.6  557281280
array-examples/standard_copyInitSum2_true-unreach-call_ground.i error: exception 7.37 4.43 193425408 error: exception 7.70 4.61 192036864 error: exception 7.20 4.46 191488000 timeout 90.1  75.5  528293888
array-examples/standard_copyInitSum3_true-unreach-call_ground.i error: exception 7.30 4.48 190316544 error: exception 7.34 4.47 188461056 error: exception 7.27 4.41 187920384 timeout 90.1  75.8  574488576
array-examples/standard_copyInitSum_true-unreach-call_ground.i error: exception 7.09 4.37 189784064 error: exception 7.23 4.44 189648896 error: exception 7.19 4.99 189349888 timeout 90.1  75.2  522137600
array-examples/standard_copyInit_true-unreach-call_ground.i error: exception 6.84 4.43 184848384 error: exception 7.10 4.50 191111168 error: exception 7.09 4.36 187797504 timeout 91.8  77.3  494759936
array-examples/standard_find_true-unreach-call_ground.i error: exception 7.02 4.33 186925056 error: exception 7.84 4.66 185729024 error: exception 7.36 4.45 187064320 timeout 90.6  65.0  598593536
array-examples/standard_init1_true-unreach-call_ground.i error: exception 6.88 4.44 188211200 error: exception 7.28 4.39 190525440 error: exception 6.84 4.22 188620800 timeout 90.8  70.2  512581632
array-examples/standard_init2_true-unreach-call_ground.i error: exception 7.02 4.29 191602688 error: exception 7.52 4.69 190083072 error: exception 6.98 4.33 189960192 timeout 90.3  77.4  448630784
array-examples/standard_init3_true-unreach-call_ground.i error: exception 7.01 4.21 185630720 error: exception 7.22 4.35 190910464 error: exception 7.20 4.39 187457536 timeout 91.0  79.7  441364480
array-examples/standard_init4_true-unreach-call_ground.i error: exception 7.19 4.40 188907520 error: exception 7.38 4.49 195354624 error: exception 7.15 4.37 189370368 timeout 90.9  81.6  410550272
array-examples/standard_init5_true-unreach-call_ground.i error: exception 7.12 4.25 190210048 error: exception 7.21 4.34 190152704 error: exception 7.03 4.60 190713856 timeout 90.9  81.8  445267968
array-examples/standard_init6_true-unreach-call_ground.i error: exception 7.28 4.33 188919808 error: exception 7.05 4.40 190472192 error: exception 7.63 4.52 187228160 timeout 91.0  80.8  405671936
array-examples/standard_init7_true-unreach-call_ground.i error: exception 7.22 4.36 192786432 error: exception 7.24 4.47 188989440 error: exception 7.22 4.43 190775296 timeout 90.4  79.2  442216448
array-examples/standard_init8_true-unreach-call_ground.i error: exception 7.22 4.37 194273280 error: exception 7.54 4.94 172433408 error: exception 7.29 4.48 191848448 timeout 90.9  82.2  416124928
array-examples/standard_init9_true-unreach-call_ground.i error: exception 7.75 4.64 190029824 error: exception 7.43 4.51 187518976 error: exception 7.65 4.93 172253184 timeout 91.0  81.7  443224064
array-examples/standard_maxInArray_true-unreach-call_ground.i error: exception 6.88 4.20 187535360 error: exception 7.23 4.41 191029248 error: exception 7.20 4.39 190869504 timeout 90.2  66.7  569782272
array-examples/standard_minInArray_true-unreach-call_ground.i error: exception 6.86 4.69 189173760 error: exception 6.91 4.27 185982976 error: exception 6.92 4.43 185098240 timeout 91.3  68.3  552689664
array-examples/standard_palindrome_true-unreach-call_ground.i error: exception 7.43 4.80 185311232 error: exception 7.35 4.51 188604416 error: exception 7.30 4.41 189427712 timeout 90.3  64.2  537927680
array-examples/standard_partial_init_true-unreach-call_ground.i error: exception 7.48 4.48 190414848 error: exception 7.24 4.63 188203008 error: exception 7.45 4.76 192036864 timeout 90.2  67.4  666914816
array-examples/standard_partition_original_true-unreach-call_ground.i error: exception 7.22 4.38 189882368 error: exception 7.39 4.53 187392000 error: exception 7.42 4.53 189681664 timeout 90.8  83.6  499023872
array-examples/standard_partition_true-unreach-call_ground.i error: exception 7.30 4.42 188452864 error: exception 7.47 4.52 188821504 error: exception 7.60 4.55 193982464 timeout 90.9  80.9  756441088
array-examples/standard_password_true-unreach-call_ground.i error: exception 7.26 4.46 188653568 error: exception 7.22 4.44 186191872 error: exception 7.05 4.32 186847232 timeout 90.6  65.7  615620608
array-examples/standard_reverse_true-unreach-call_ground.i error: exception 7.42 4.36 189935616 error: exception 7.23 4.37 189108224 error: exception 7.60 4.38 188313600 timeout 90.7  79.0  460980224
array-examples/standard_running_true-unreach-call.i error: exception 7.28 4.39 187142144 error: exception 7.43 4.50 186638336 error: exception 7.59 4.56 191156224 timeout 91.0  79.6  438489088
array-examples/standard_sentinel_true-unreach-call_true-termination.i error: exception 7.22 4.35 184471552 error: exception 7.19 4.36 186068992 error: exception 7.21 4.58 185327616 true 16.4  10.4  302796800
array-examples/standard_seq_init_true-unreach-call_ground.i error: exception 7.02 4.30 189378560 error: exception 7.27 4.37 185008128 error: exception 7.19 4.34 183701504 timeout 90.8  65.7  530698240
array-examples/standard_strcmp_true-unreach-call_ground.i error: exception 7.32 4.38 187371520 error: exception 7.30 4.41 189534208 error: exception 7.42 4.48 188129280 timeout 90.5  64.3  638459904
array-examples/standard_strcpy_original_true-unreach-call.i error: exception 7.00 4.28 193433600 error: exception 7.60 4.78 188190720 error: exception 7.13 4.38 189714432 timeout 91.5  66.0  609357824
array-examples/standard_strcpy_true-unreach-call_ground.i error: exception 7.28 4.42 187961344 error: exception 7.23 4.61 173289472 error: exception 7.10 4.54 190619648 timeout 90.7  64.4  576147456
array-examples/standard_two_index_01_true-unreach-call.i error: exception 7.19 4.39 192917504 error: exception 7.21 4.39 190177280 error: exception 7.18 4.37 192229376 timeout 90.1  76.9  468459520
array-examples/standard_two_index_02_true-unreach-call.i error: exception 6.98 4.32 179597312 error: exception 7.19 4.53 191635456 error: exception 7.37 4.60 191881216 timeout 90.2  74.6  551882752
array-examples/standard_two_index_03_true-unreach-call.i error: exception 7.45 4.45 191418368 error: exception 7.21 4.42 190173184 error: exception 7.14 4.38 190320640 timeout 90.4  72.1  527593472
array-examples/standard_two_index_04_true-unreach-call.i error: exception 7.51 4.47 187199488 error: exception 7.53 4.70 191401984 error: exception 7.42 4.72 191619072 timeout 90.6  72.6  559890432
array-examples/standard_two_index_05_true-unreach-call.i error: exception 7.18 4.39 185376768 error: exception 6.96 4.27 190517248 error: exception 7.08 4.96 189890560 timeout 90.9  68.8  528154624
array-examples/standard_two_index_06_true-unreach-call.i error: exception 6.93 4.30 184766464 error: exception 7.37 4.63 189911040 error: exception 7.34 4.46 191369216 timeout 90.5  73.2  499187712
array-examples/standard_two_index_07_true-unreach-call.i error: exception 7.36 4.48 189116416 error: exception 7.57 4.59 191397888 error: exception 7.60 4.77 187527168 timeout 90.4  76.2  521691136
array-examples/standard_two_index_08_true-unreach-call.i error: exception 7.15 4.37 185831424 error: exception 7.32 4.40 190144512 error: exception 7.38 4.51 194650112 timeout 90.2  74.1  465518592
array-examples/standard_two_index_09_true-unreach-call.i error: exception 7.19 4.34 191873024 error: exception 7.05 4.31 187052032 error: exception 7.54 4.46 192598016 timeout 90.4  74.5  534040576
array-examples/standard_vararg_true-unreach-call_ground_true-termination.i error: exception 7.35 4.58 193257472 error: exception 7.13 4.31 186904576 error: exception 7.13 4.39 189440000 timeout 91.4  69.6  581926912
array-examples/standard_vector_difference_true-unreach-call_ground.i error: exception 7.25 4.32 191434752 error: exception 7.00 4.28 186859520 error: exception 7.15 4.35 190369792 timeout 90.9  66.9  532373504
array-examples/standard_sentinel_true-unreach-call.i.v+cfa-reducer.c error: exception 6.80 4.09 186912768 error: exception 7.38 4.50 188588032 error: exception 7.46 4.71 188895232 true 18.0  11.3  306462720
array-industry-pattern/array_assert_loop_dep_false-unreach-call_true-termination.i error: exception 7.03 4.33 189923328 error: exception 7.07 4.28 191578112 error: exception 7.33 4.43 189911040 timeout 90.8  84.5  485269504
array-industry-pattern/array_of_struct_loop_dep_false-unreach-call.i error: exception 10.4  6.39 388960256 error: exception 10.1  5.81 447078400 error: exception 10.8  6.17 457506816 timeout 90.9  83.0  785428480
array-industry-pattern/array_ptr_single_elem_init_false-unreach-call_true-termination.i error: exception 7.33 4.48 188571648 error: exception 7.34 4.39 191229952 error: exception 7.24 4.58 190660608 timeout 90.7  63.5  641724416
array-industry-pattern/array_range_init_false-unreach-call.i error: exception 7.46 4.44 192966656 error: exception 7.07 4.32 190304256 error: exception 7.24 4.63 194576384 timeout 90.9  82.8  3306418176
array-industry-pattern/array_single_elem_init_false-unreach-call_true-termination.i error: exception 7.06 4.28 191197184 error: exception 7.71 4.64 193982464 error: exception 7.49 4.52 191209472 timeout 90.7  64.0  653246464
array-industry-pattern/check_removal_from_set_after_insertion_false-unreach-call.i error: exception 7.36 4.70 189308928 error: exception 7.66 4.78 196710400 error: exception 7.80 4.69 187691008 timeout 91.2  62.7  759590912
array-industry-pattern/array_monotonic_true-unreach-call_true-termination.i error: exception 7.09 4.33 190849024 error: exception 7.56 4.51 192921600 error: exception 7.62 4.54 191496192 timeout 90.1  64.6  563060736
array-industry-pattern/array_mul_init_true-unreach-call_true-termination.i error: exception 7.27 4.44 189472768 error: exception 7.72 4.83 192794624 error: exception 7.38 4.14 191201280 timeout 90.4  73.6  507523072
array-industry-pattern/array_of_struct_break_true-unreach-call.i error: exception 10.1  5.82 449531904 error: exception 10.4  6.19 446513152 error: exception 10.2  5.94 436776960 timeout 91.0  81.2  709877760
array-industry-pattern/array_of_struct_ptr_cond_init_true-unreach-call.i error: exception 7.41 4.45 185069568 error: exception 7.42 4.47 191107072 error: exception 7.61 4.59 177868800 timeout 90.5  79.4  408924160
array-industry-pattern/array_of_struct_ptr_flag_init_true-unreach-call.i error: exception 7.34 4.71 187957248 error: exception 7.39 4.46 190824448 error: exception 7.64 4.58 191553536 true 30.8  20.0  391458816
array-industry-pattern/array_of_struct_ptr_monotonic_true-unreach-call.i error: exception 7.05 4.30 185151488 error: exception 7.18 4.39 186560512 error: exception 7.15 4.36 184225792 timeout 91.0  78.5  417333248
array-industry-pattern/array_of_struct_ptr_mul_init_true-unreach-call.i error: exception 12.8  7.28 584908800 error: exception 12.7  7.14 579534848 error: exception 12.6  7.10 567742464 timeout 90.6  68.9  1030893568
array-industry-pattern/array_of_struct_single_elem_init_true-unreach-call.i error: exception 13.0  7.30 579362816 error: exception 12.7  7.34 572870656 error: exception 13.4  7.45 586244096 timeout 91.2  66.4  991469568
array-industry-pattern/array_ptr_partial_init_true-unreach-call.i error: exception 7.17 4.35 188645376 error: exception 7.14 4.30 191340544 error: exception 7.29 4.41 191918080 timeout 90.9  74.6  525250560
array-industry-pattern/array_ptr_single_elem_init_true-unreach-call.i error: exception 7.31 4.60 194023424 error: exception 7.50 4.62 194805760 error: exception 7.39 4.51 191037440 timeout 90.5  73.3  508608512
array-industry-pattern/array_shadowinit_true-unreach-call_true-termination.i error: exception 6.85 4.79 174080000 error: exception 7.32 4.45 189788160 error: exception 7.33 4.43 186687488 timeout 90.8  66.6  578224128
reducercommutativity/rangesum05_false-unreach-call_true-termination.i error: exception 7.75 4.60 189308928 error: exception 8.05 4.83 195371008 error: exception 8.08 5.05 187428864 false 26.2  16.1  361594880
reducercommutativity/rangesum10_false-unreach-call_true-termination.i error: exception 7.57 4.59 191930368 error: exception 7.73 4.69 191578112 error: exception 7.89 4.78 192819200 timeout 90.8  75.6  493830144
reducercommutativity/rangesum20_false-unreach-call.i error: exception 7.50 4.56 190291968 error: exception 8.06 5.12 191660032 error: exception 7.80 4.75 190132224 timeout 91.0  78.2  614178816
reducercommutativity/rangesum40_false-unreach-call.i error: exception 7.63 4.55 189931520 error: exception 8.14 4.90 190255104 error: exception 8.02 4.86 192602112 timeout 91.0  79.7  494157824
reducercommutativity/rangesum60_false-unreach-call.i error: exception 7.34 4.50 194871296 error: exception 7.69 4.64 188870656 error: exception 7.96 4.96 197971968 timeout 90.2  76.7  463802368
reducercommutativity/rangesum_false-unreach-call_true-termination.i error: exception 7.57 4.58 191668224 error: exception 7.81 4.75 193675264 error: exception 7.79 4.78 191889408 false 31.6  18.9  409997312
reducercommutativity/avg05_true-unreach-call_true-termination.i error: exception 7.75 4.61 187658240 error: exception 7.81 4.68 187633664 error: exception 7.95 4.78 193982464 timeout 90.7  56.6  1504206848
reducercommutativity/avg10_true-unreach-call_true-termination.i error: exception 7.46 4.49 190660608 error: exception 7.93 4.70 190652416 error: exception 7.51 4.56 188755968 timeout 92.0  52.7  1083768832
reducercommutativity/avg20_true-unreach-call.i error: exception 7.39 4.47 188047360 error: exception 7.57 4.56 188399616 error: exception 7.70 4.67 188600320 timeout 90.7  60.4  692523008
reducercommutativity/avg40_true-unreach-call.i error: exception 7.61 4.62 191623168 error: exception 7.71 4.71 187351040 error: exception 7.24 4.56 194850816 timeout 90.7  63.0  744464384
reducercommutativity/avg60_true-unreach-call.i error: exception 7.34 4.48 185864192 error: exception 7.61 4.81 187768832 error: exception 7.71 4.70 191877120 timeout 90.9  63.6  744894464
reducercommutativity/avg_true-unreach-call_true-termination.i error: exception 7.80 4.76 194596864 error: exception 7.54 4.55 189849600 error: exception 7.49 4.47 192339968 timeout 90.9  81.1  415780864
reducercommutativity/max05_true-unreach-call_true-termination.i error: exception 7.50 4.50 189554688 error: exception 7.74 4.68 195543040 error: exception 7.91 4.70 190472192 timeout 90.5  62.4  634654720
reducercommutativity/max10_true-unreach-call_true-termination.i error: exception 7.62 4.59 188194816 error: exception 7.86 4.91 191610880 error: exception 7.97 5.01 192036864 timeout 91.0  59.2  816041984
reducercommutativity/max20_true-unreach-call.i error: exception 7.18 4.40 191926272 error: exception 8.24 4.91 189919232 error: exception 7.94 4.81 195612672 timeout 90.7  58.1  751849472
reducercommutativity/max40_true-unreach-call.i error: exception 7.58 4.58 188862464 error: exception 7.90 4.77 191307776 error: exception 8.40 5.00 192192512 timeout 91.6  60.8  726224896
reducercommutativity/max60_true-unreach-call.i error: exception 7.47 4.52 187043840 error: exception 8.09 4.87 187568128 error: exception 8.15 4.93 189030400 timeout 91.2  59.8  759746560
reducercommutativity/max_true-unreach-call_true-termination.i error: exception 7.69 4.59 190611456 error: exception 7.77 4.78 193183744 error: exception 7.95 4.79 190459904 timeout 91.0  66.5  592461824
reducercommutativity/sep05_true-unreach-call_true-termination.i error: exception 7.42 4.51 189820928 error: exception 8.02 4.79 188776448 error: exception 8.09 4.88 192630784 timeout 91.2  66.7  611598336
reducercommutativity/sep10_true-unreach-call.i error: exception 7.66 4.62 191098880 error: exception 8.14 4.89 189280256 error: exception 7.82 4.78 192987136 timeout 91.2  59.0  736669696
reducercommutativity/sep20_true-unreach-call.i error: exception 7.79 4.74 191213568 error: exception 7.75 4.72 192131072 error: exception 8.40 5.07 196587520 timeout 90.6  61.2  766660608
reducercommutativity/sep40_true-unreach-call.i error: exception 7.20 4.42 192024576 error: exception 7.96 4.82 191471616 error: exception 8.13 4.93 191520768 timeout 91.0  63.0  780562432
reducercommutativity/sep60_true-unreach-call.i error: exception 7.48 4.58 191168512 error: exception 8.10 4.86 192778240 error: exception 8.07 4.80 191778816 timeout 91.0  63.0  891645952
reducercommutativity/sep_true-unreach-call_true-termination.i error: exception 7.59 4.47 191340544 error: exception 7.98 4.81 192012288 error: exception 8.17 4.88 191045632 timeout 90.7  69.3  591155200
reducercommutativity/sum05_true-unreach-call_true-termination.i error: exception 7.53 4.57 189329408 error: exception 7.39 4.56 191234048 error: exception 7.54 4.68 187531264 timeout 90.1  74.8  543461376
reducercommutativity/sum10_true-unreach-call_true-termination.i error: exception 7.28 4.45 187396096 error: exception 7.90 4.71 191512576 error: exception 7.44 4.62 196161536 timeout 91.0  52.5  810606592
reducercommutativity/sum20_true-unreach-call.i error: exception 7.47 4.50 186798080 error: exception 7.48 4.48 190115840 error: exception 7.77 4.67 192180224 timeout 91.1  62.5  731447296
reducercommutativity/sum40_true-unreach-call.i error: exception 7.33 4.47 192536576 error: exception 7.66 4.65 195416064 error: exception 7.45 4.52 191156224 timeout 90.3  62.2  684507136
reducercommutativity/sum60_true-unreach-call.i error: exception 7.40 4.72 191021056 error: exception 7.58 4.48 187400192 error: exception 7.79 4.72 191889408 timeout 90.2  63.4  743038976
reducercommutativity/sum_true-unreach-call_true-termination.i error: exception 7.43 4.49 191156224 error: exception 7.29 4.48 189251584 error: exception 7.76 4.69 190140416 timeout 90.9  82.1  369971200
array-tiling/mlceu_false-unreach-call.i error: exception 7.08 4.32 190361600 error: exception 7.26 4.41 191733760 error: exception 7.31 4.38 187363328 timeout 90.8  85.1  298708992
array-tiling/skippedu_false-unreach-call.i error: exception 7.45 4.47 191021056 error: exception 7.29 4.47 186937344 error: exception 7.33 4.43 187269120 false 9.39 5.58 210563072
array-tiling/mbpr2_true-unreach-call.i error: exception 7.07 4.30 192016384 error: exception 7.46 4.58 186912768 error: exception 7.83 4.62 192331776 timeout 90.8  70.1  579244032
array-tiling/mbpr3_true-unreach-call.i error: exception 7.16 4.47 191959040 error: exception 7.85 4.78 191721472 error: exception 7.67 4.89 192483328 timeout 90.7  67.8  579567616
array-tiling/mbpr4_true-unreach-call.i error: exception 7.83 4.64 193671168 error: exception 8.39 5.01 193691648 error: exception 8.21 4.98 189825024 timeout 90.5  69.6  567840768
array-tiling/mbpr5_true-unreach-call.i error: exception 7.84 4.71 195366912 error: exception 8.40 5.05 191131648 error: exception 8.67 5.16 195956736 timeout 90.4  64.2  599093248
array-tiling/nr2_true-unreach-call.i error: exception 7.02 4.31 186699776 error: exception 7.28 4.43 188751872 error: exception 7.58 4.48 189075456 timeout 91.0  81.2  419037184
array-tiling/nr3_true-unreach-call.i error: exception 7.44 4.51 189911040 error: exception 7.10 4.40 189964288 error: exception 7.19 4.42 187088896 timeout 90.4  74.2  497377280
array-tiling/nr4_true-unreach-call.i error: exception 7.15 4.41 190877696 error: exception 7.36 4.51 189796352 error: exception 7.73 4.63 192802816 timeout 91.0  78.0  456564736
array-tiling/nr5_true-unreach-call.i error: exception 7.27 4.43 187076608 error: exception 7.52 4.49 190812160 error: exception 7.39 4.49 190054400 timeout 90.3  76.0  2517852160
array-tiling/pnr2_true-unreach-call.i error: exception 7.22 4.38 188264448 error: exception 7.54 4.55 192036864 error: exception 7.60 4.58 187977728 timeout 90.3  65.1  568176640
array-tiling/pnr3_true-unreach-call.i error: exception 7.32 4.48 189906944 error: exception 7.19 4.42 191266816 error: exception 7.35 4.49 190996480 timeout 90.4  64.8  581935104
array-tiling/pnr4_true-unreach-call.i error: exception 7.48 4.49 192847872 error: exception 7.53 4.61 188325888 error: exception 7.55 4.61 192176128 timeout 90.8  64.4  620404736
array-tiling/pnr5_true-unreach-call.i error: exception 7.36 4.64 192417792 error: exception 8.28 4.92 193650688 error: exception 7.80 4.77 192819200 timeout 90.4  66.4  643657728
array-tiling/poly1_true-unreach-call.i error: exception 6.99 4.19 190472192 error: exception 7.08 4.31 187904000 error: exception 7.48 4.51 190316544 timeout 90.9  81.9  400633856
array-tiling/poly2_true-unreach-call.i error: exception 7.16 4.33 189648896 error: exception 7.37 4.44 185470976 error: exception 7.66 4.59 193851392 timeout 91.0  79.3  450920448
array-tiling/pr2_true-unreach-call.i error: exception 7.31 4.42 192565248 error: exception 7.79 4.57 190115840 error: exception 7.78 4.67 188362752 timeout 91.0  68.5  516087808
array-tiling/pr3_true-unreach-call.i error: exception 7.33 4.49 189607936 error: exception 7.46 4.51 187056128 error: exception 7.38 4.48 190255104 timeout 90.8  66.8  527695872
array-tiling/pr4_true-unreach-call.i error: exception 7.22 4.40 189431808 error: exception 7.51 4.55 191979520 error: exception 7.78 4.66 193003520 timeout 91.5  65.7  505376768
array-tiling/pr5_true-unreach-call.i error: exception 7.87 4.72 185188352 error: exception 7.75 4.65 196108288 error: exception 7.53 4.61 191967232 timeout 91.1  65.6  546463744
array-tiling/revcpyswp2_true-unreach-call.i error: exception 7.29 4.44 190398464 error: exception 8.00 4.72 189956096 error: exception 7.70 4.60 187297792 timeout 90.2  67.7  590655488
array-tiling/rew_true-unreach-call.i error: exception 7.20 4.32 190767104 error: exception 7.58 4.60 195420160 error: exception 7.69 4.59 190726144 timeout 91.0  81.0  456019968
array-tiling/rewnif_true-unreach-call.i error: exception 7.23 4.38 188567552 error: exception 7.42 4.42 189489152 error: exception 6.90 4.28 188051456 timeout 91.0  70.6  553562112
array-tiling/rewnifrev2_true-unreach-call.i error: exception 7.12 4.48 189538304 error: exception 7.30 4.44 188862464 error: exception 7.19 4.39 188870656 timeout 90.8  71.5  479125504
array-tiling/rewnifrev_true-unreach-call.i error: exception 7.07 4.49 192704512 error: exception 7.08 4.29 188968960 error: exception 7.17 4.32 186335232 timeout 90.4  69.1  587812864
array-tiling/rewrev_true-unreach-call.i error: exception 7.18 4.36 189202432 error: exception 7.01 4.25 189313024 error: exception 7.45 4.49 195907584 timeout 90.9  71.5  682180608
array-tiling/skipped_true-unreach-call.i error: exception 7.57 4.57 191819776 error: exception 7.06 4.29 190787584 error: exception 7.55 4.58 193347584 timeout 90.9  70.7  564002816
array-tiling/tcpy_true-unreach-call.i error: exception 7.08 4.34 191664128 error: exception 7.13 4.42 189997056 error: exception 7.32 4.56 194490368 timeout 90.8  70.7  471465984
array-programs/copysome1_false-unreach-call.i error: exception 6.89 4.20 194658304 error: exception 7.41 4.49 191643648 error: exception 7.14 4.41 189677568 timeout 91.5  67.8  566521856
array-programs/copysome2_false-unreach-call.i error: exception 7.25 4.38 186265600 error: exception 7.73 4.62 185331712 error: exception 7.13 4.37 187371520 timeout 91.2  65.6  549322752
array-programs/copysome1_true-unreach-call.i error: exception 7.06 4.27 189206528 error: exception 7.37 4.48 190480384 error: exception 7.26 4.45 192749568 timeout 91.2  69.4  504721408
array-programs/copysome2_true-unreach-call.i error: exception 7.14 4.36 188755968 error: exception 7.34 4.48 189562880 error: exception 7.63 4.64 188485632 timeout 91.2  68.7  593682432
array-crafted/bAnd1_true-unreach-call.i error: exception 7.22 4.38 187248640 error: exception 7.77 4.67 191045632 error: exception 7.83 4.68 192811008 timeout 90.1  59.9  734892032
array-crafted/bAnd2_true-unreach-call.i error: exception 7.07 4.31 189960192 error: exception 7.90 4.75 191258624 error: exception 7.74 4.68 195067904 timeout 91.4  60.7  708521984
array-crafted/bAnd3_true-unreach-call.i error: exception 7.57 4.74 190709760 error: exception 7.77 4.60 188907520 error: exception 7.73 4.69 189874176 timeout 91.4  60.5  675692544
array-crafted/bAnd4_true-unreach-call.i error: exception 7.42 4.50 193335296 error: exception 7.64 4.65 190709760 error: exception 8.18 4.81 193511424 timeout 90.6  61.9  725499904
array-crafted/bAnd5_true-unreach-call.i error: exception 7.23 4.61 191885312 error: exception 7.52 4.84 192237568 error: exception 7.59 4.62 190373888 unknown: overapproxcex 10.4  6.15 243412992
array-crafted/bor1_true-unreach-call.i error: exception 7.48 4.50 191270912 error: exception 7.65 4.67 188346368 error: exception 7.93 4.76 195534848 timeout 90.4  60.0  700706816
array-crafted/bor2_true-unreach-call.i error: exception 7.51 4.58 194457600 error: exception 7.95 4.74 188964864 error: exception 7.38 4.57 190955520 timeout 90.2  58.8  696164352
array-crafted/bor3_true-unreach-call.i error: exception 7.38 4.48 190304256 error: exception 7.55 4.57 187236352 error: exception 7.76 4.72 191725568 timeout 90.6  62.0  785506304
array-crafted/bor4_true-unreach-call.i error: exception 7.37 4.52 187731968 error: exception 7.49 4.80 190431232 error: exception 7.83 4.82 192991232 timeout 91.3  60.2  752799744
array-crafted/bor5_true-unreach-call.i error: exception 7.28 4.08 186634240 error: exception 7.58 4.60 188940288 error: exception 7.97 4.77 187453440 unknown: overapproxcex 10.8  6.31 251891712
array-crafted/mapavg1_true-unreach-call.i error: exception 7.56 4.62 189980672 error: exception 7.87 4.76 191635456 error: exception 7.57 4.61 188608512 timeout 90.7  62.6  748859392
array-crafted/mapavg2_true-unreach-call.i error: exception 7.20 4.41 189710336 error: exception 7.59 4.65 187662336 error: exception 7.69 4.61 191336448 timeout 90.5  62.6  743911424
array-crafted/mapavg3_true-unreach-call.i error: exception 6.94 4.64 190099456 error: exception 7.98 4.78 191954944 error: exception 7.68 4.79 188096512 timeout 90.8  62.1  725860352
array-crafted/mapavg4_true-unreach-call.i error: exception 7.29 4.43 194457600 error: exception 7.83 4.75 192540672 error: exception 7.56 4.61 187785216 timeout 90.8  62.0  686489600
array-crafted/mapavg5_true-unreach-call.i error: exception 7.69 4.54 195387392 error: exception 7.91 4.80 191107072 error: exception 7.66 4.72 188575744 timeout 90.7  78.7  439676928
array-crafted/mapsum1_true-unreach-call.i error: exception 7.55 4.57 189521920 error: exception 7.78 4.62 189485056 error: exception 7.60 4.55 192270336 timeout 90.6  62.7  723038208
array-crafted/mapsum2_true-unreach-call.i error: exception 7.39 4.49 187236352 error: exception 7.73 4.70 194453504 error: exception 7.58 4.58 190636032 timeout 90.4  63.7  790589440
array-crafted/mapsum3_true-unreach-call.i error: exception 7.49 4.51 190066688 error: exception 7.95 4.82 191471616 error: exception 7.90 4.89 192520192 timeout 90.9  64.2  731095040
array-crafted/mapsum4_true-unreach-call.i error: exception 7.50 4.47 188313600 error: exception 7.59 4.71 193515520 error: exception 7.77 4.67 192634880 timeout 90.8  62.8  739844096
array-crafted/mapsum5_true-unreach-call.i error: exception 7.43 4.69 190341120 error: exception 7.53 4.61 189829120 error: exception 7.98 4.82 194990080 timeout 90.9  82.4  373170176
array-crafted/xor1_true-unreach-call.i error: exception 7.35 4.47 191741952 error: exception 7.80 4.71 190791680 error: exception 7.94 4.69 190054400 timeout 91.3  61.1  730271744
array-crafted/xor2_true-unreach-call.i error: exception 7.60 4.74 191025152 error: exception 7.58 4.62 193953792 error: exception 7.62 4.62 192974848 timeout 90.1  59.1  684167168
array-crafted/xor3_true-unreach-call.i error: exception 7.43 4.66 188411904 error: exception 7.96 4.77 191758336 error: exception 7.79 4.62 186470400 timeout 90.2  59.4  666431488
array-crafted/xor4_true-unreach-call.i error: exception 7.30 4.47 189046784 error: exception 7.37 4.50 185905152 error: exception 7.67 4.65 190865408 timeout 90.1  59.9  720642048
array-crafted/xor5_true-unreach-call.i error: exception 7.47 4.44 187867136 error: exception 7.97 4.78 189538304 error: exception 7.65 4.67 188805120 unknown: overapproxcex 10.4  6.16 251760640
array-crafted/zero_sum1_true-unreach-call.c error: exception 7.00 4.32 189648896 error: exception 7.30 4.36 191258624 error: exception 7.25 4.41 185999360 timeout 91.1  69.2  545300480
array-crafted/zero_sum2_true-unreach-call.c error: exception 7.26 4.44 189276160 error: exception 7.23 4.47 190140416 error: exception 7.49 4.50 189935616 timeout 90.9  66.1  529051648
array-crafted/zero_sum3_true-unreach-call.c error: exception 7.40 4.36 194273280 error: exception 7.53 4.61 191565824 error: exception 7.14 4.39 186318848 timeout 91.9  65.9  617648128
array-crafted/zero_sum4_true-unreach-call.c error: exception 7.18 4.42 190402560 error: exception 7.26 4.57 188321792 error: exception 7.56 4.65 192548864 timeout 90.1  66.4  567345152
array-crafted/zero_sum5_true-unreach-call.c error: exception 7.72 4.63 192069632 error: exception 8.12 4.74 192110592 error: exception 7.69 4.72 180953088 timeout 90.3  63.4  609865728
array-crafted/zero_sum_const1_true-unreach-call.c error: exception 7.13 4.30 193187840 error: exception 7.15 4.36 189947904 error: exception 7.40 4.63 188612608 timeout 90.2  65.6  632868864
array-crafted/zero_sum_const2_true-unreach-call.c error: exception 7.38 4.50 192221184 error: exception 7.67 4.60 187080704 error: exception 7.57 4.54 190337024 timeout 90.7  68.2  502677504
array-crafted/zero_sum_const3_true-unreach-call.c error: exception 7.24 4.45 191135744 error: exception 7.68 4.85 195346432 error: exception 7.39 4.51 190828544 timeout 90.2  66.3  562376704
array-crafted/zero_sum_const4_true-unreach-call.c error: exception 7.68 4.64 189177856 error: exception 7.70 4.66 190173184 error: exception 8.03 4.78 191627264 timeout 91.2  65.6  582008832
array-crafted/zero_sum_const5_true-unreach-call.c error: exception 7.42 4.56 192606208 error: exception 7.81 4.73 188743680 error: exception 8.18 4.89 190885888 timeout 90.9  68.9  636280832
array-crafted/zero_sum_const_m2_true-unreach-call.c error: exception 7.30 4.43 191078400 error: exception 7.30 4.84 171802624 error: exception 7.18 4.46 187899904 timeout 90.7  72.3  508284928
array-crafted/zero_sum_const_m3_true-unreach-call.c error: exception 7.02 4.39 190488576 error: exception 7.51 4.57 188190720 error: exception 7.70 4.64 189566976 timeout 90.4  67.4  582766592
array-crafted/zero_sum_const_m4_true-unreach-call.c error: exception 7.78 4.58 193048576 error: exception 7.65 4.85 191782912 error: exception 8.01 4.81 189501440 timeout 91.2  66.4  578555904
array-crafted/zero_sum_const_m5_true-unreach-call.c error: exception 7.57 4.63 191856640 error: exception 8.16 4.88 195399680 error: exception 7.93 4.96 192696320 timeout 90.8  70.5  647188480
array-crafted/zero_sum_m2_true-unreach-call.c error: exception 7.23 4.34 190156800 error: exception 7.09 4.36 186810368 error: exception 7.43 4.51 187076608 timeout 90.4  67.9  506191872
array-crafted/zero_sum_m3_true-unreach-call.c error: exception 7.61 4.53 195948544 error: exception 7.54 4.58 189546496 error: exception 7.69 4.65 192159744 timeout 90.4  68.1  623738880
array-crafted/zero_sum_m4_true-unreach-call.c error: exception 7.37 4.49 189255680 error: exception 7.33 4.49 192397312 error: exception 7.78 4.69 192303104 timeout 90.9  65.4  588099584
array-crafted/zero_sum_m5_true-unreach-call.c error: exception 7.58 4.55 192634880 error: exception 7.57 4.63 192073728 error: exception 7.59 4.61 191426560 timeout 91.0  68.2  665387008
array-multidimensional/add-2-n-u_true-unreach-call.i error: exception 7.18 4.35 190517248 error: exception 7.48 4.55 191676416 error: exception 7.55 4.58 191897600 timeout 90.8  84.9  378302464
array-multidimensional/add-3-n-u_true-unreach-call.i error: exception 7.81 4.58 190664704 error: exception 7.40 4.46 192241664 error: exception 7.78 4.73 188710912 timeout 90.8  83.6  330031104
array-multidimensional/copy-2-u_true-unreach-call.i error: exception 7.55 4.46 192655360 error: exception 7.28 4.40 191725568 error: exception 7.61 4.53 188121088 timeout 90.8  85.3  342044672
array-multidimensional/copy-3-n-u_true-unreach-call.i error: exception 7.78 4.59 191160320 error: exception 7.83 4.68 190066688 error: exception 7.49 4.57 191373312 timeout 91.0  82.9  394993664
array-multidimensional/copy-partial-2-n-u_true-unreach-call.i error: exception 6.97 4.32 193122304 error: exception 7.25 4.42 189997056 error: exception 7.24 4.41 187654144 timeout 90.8  83.3  411258880
array-multidimensional/copy-partial-3-u_true-unreach-call.i error: exception 7.32 4.69 190287872 error: exception 7.45 4.55 190451712 error: exception 7.60 4.58 191754240 true 12.6  7.54 282771456
array-multidimensional/diff-2-n-u_true-unreach-call.i error: exception 7.42 4.45 190558208 error: exception 7.54 4.58 193449984 error: exception 7.54 4.57 186052608 timeout 90.8  84.2  317403136
array-multidimensional/diff-3-n-u_true-unreach-call.i error: exception 7.53 4.56 193204224 error: exception 7.51 4.57 191750144 error: exception 7.58 4.58 190758912 timeout 90.8  84.1  334073856
array-multidimensional/init-2-n-u_true-unreach-call.i error: exception 7.21 4.32 192147456 error: exception 7.27 4.40 186220544 error: exception 7.46 4.45 189992960 timeout 90.8  85.3  331386880
array-multidimensional/init-3-u_true-unreach-call.i error: exception 6.95 4.32 193490944 error: exception 7.34 4.50 192446464 error: exception 7.40 4.53 186822656 timeout 90.8  85.1  312459264
array-multidimensional/init-4-n-u_true-unreach-call.i error: exception 7.21 4.40 186023936 error: exception 7.27 4.42 196251648 error: exception 7.24 4.42 193314816 timeout 90.8  83.4  354938880
array-multidimensional/init-non-constant-2-n-u_true-unreach-call.i error: exception 7.00 4.29 188571648 error: exception 7.26 4.42 187002880 error: exception 7.37 4.47 194441216 timeout 90.9  80.6  410431488
array-multidimensional/init-non-constant-3-u_true-unreach-call.i error: exception 7.27 4.30 186273792 error: exception 7.18 4.37 192970752 error: exception 7.82 4.56 191475712 timeout 90.8  85.1  346316800
array-multidimensional/max-2-u_true-unreach-call.i error: exception 7.28 4.41 188575744 error: exception 7.40 4.49 195231744 error: exception 6.91 4.29 190648320 timeout 91.0  78.0  441962496
array-multidimensional/max-3-n-u_true-unreach-call.i error: exception 7.33 4.43 189964288 error: exception 7.33 4.47 191778816 error: exception 7.04 4.39 193077248 timeout 90.9  81.7  357396480
array-multidimensional/min-2-u_true-unreach-call.i error: exception 7.47 4.45 191320064 error: exception 7.18 4.40 191102976 error: exception 7.68 4.61 194412544 timeout 91.0  79.8  432533504
array-multidimensional/min-3-n-u_true-unreach-call.i error: exception 7.03 4.31 190873600 error: exception 7.58 4.64 192225280 error: exception 7.29 4.46 196431872 timeout 90.8  83.7  329392128
array-multidimensional/rev-2-n-u_true-unreach-call.i error: exception 7.27 4.34 189583360 error: exception 7.40 4.47 186486784 error: exception 6.82 4.24 193830912 timeout 90.8  83.5  357605376
array-multidimensional/rev-3-u_true-unreach-call.i error: exception 7.05 4.29 194850816 error: exception 7.49 4.52 192208896 error: exception 7.44 4.52 193892352 timeout 90.8  84.1  568090624
array-multidimensional/transpose-u_true-unreach-call.i error: exception 6.70 4.16 190033920 error: exception 6.94 4.25 190590976 error: exception 7.73 4.57 192839680 timeout 90.8  85.5  337014784
../../../../../svcomp/c/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
total 231 1710 1040   45122129920 231 1750 1070   45196713984 231 1760 1070   45278261248 231 20000 15600 133602816000
local summary 1720 79.0 1760 80.6 1760 81.1 10400 1170
    correct results 0 0 0 0
        correct true 0 0 0 0
        correct false 0 0 0 0
    incorrect results 0 0 0 0
        incorrect true 0 0 0 0
        incorrect false 0 0 0 0
Run set Automizer+MapElim 1cell LBE.ReachSafety-Arrays SVCOMP Automizer+MapElim 1cell.ReachSafety-Arrays SVCOMP Automizer+MapElim 2cell.ReachSafety-Arrays SVCOMP Automizer.ReachSafety-Arrays SVCOMP