Tool CPAchecker 1.6.1-svn 24048 CMCReduction CMC Reduction 1.0
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8 timelimit: 200 s, memlimit: 15000 MB, CPU core limit: 8 timelimit: 950 s, memlimit: 15000 MB, CPU core limit: 8
Host apollon*
OS Linux 4.4.0-104-generic Linux 4.4.0-112-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33553 MB
Date of execution 2017-12-28 09:17:26 CET 2018-02-06 16:22:09 CET 2018-02-08 18:41:03 CET
Run set cpa-seq.sv-comp17 congen.predicate conditions-predicate-reducer-verifiers.cpa-seq
Options -sv-comp17 -heap 10000M -disable-java-assertions -noout -reducer identity -type None -verif -noout -verif -disable-java-assertions -verif -heap 10000M -verif -setprop assumptions.automatonFile=AssumptionAutomaton.txt -verif -config config/components/predicateAnalysis-100s-generate-cmc-condition.properties -condfile conditions/predicate.${inputfile_name}.files/output/AssumptionAutomaton.txt.gz -reducer -setprop cpa.composite.aggregateBasicBlocks=false -reducer -stack 800M -reducer -setprop residualprogram.strategy=CONDITION -verif none -type CPA-seq -condverif -noout -condverif -disable-java-assertions -condverif -heap 10000M -reducer -stack 800M
../../sv-benchmarks/c/ status cputime (s) walltime (s) memUsage cpuenergy (J) host status cputime (s) walltime (s) memUsage cpuenergy (J) host status cputime (s) walltime (s) memUsage cpuenergy (J) host
array-examples/data_structures_set_multi_proc_false-unreach-call_ground.i 901    836     4294193152 12600   apollon112 2.52 1.07  272412672 23.6 apollon152 903       858       1453580288 12100       apollon147
array-examples/sorting_bubblesort_false-unreach-call2_ground.i 901    863     2238939136 12700   apollon006 2.48 1.06  266936320 22.8 apollon077 903       862       2236530688 11300       apollon090
array-examples/sorting_bubblesort_false-unreach-call_ground.i 901    860     2446741504 12200   apollon017 2.58 1.06  271364096 23.2 apollon146 903       862       1421131776 11600       apollon078
array-examples/sorting_selectionsort_false-unreach-call2_ground.i 901    858     2461175808 11200   apollon086 2.52 1.05  273469440 25.9 apollon021 903       861       2233339904 13800       apollon030
array-examples/sorting_selectionsort_false-unreach-call_ground.i 901    859     2243305472 11500   apollon144 2.51 1.10  269996032 22.5 apollon070 903       861       2238189568 11100       apollon099
array-examples/standard_allDiff2_false-unreach-call_ground.i 901    862     2237181952 11900   apollon004 2.55 1.02  272674816 20.6 apollon100 903       862       1423626240 13100       apollon027
array-examples/standard_copy1_false-unreach-call_ground.i 901    865     2222166016 11100   apollon035 2.47 1.04  270622720 21.5 apollon012 903       865       2227683328 10900       apollon100
array-examples/standard_copy2_false-unreach-call_ground.i 901    862     2242945024 11000   apollon003 2.63 1.07  266743808 24.9 apollon044 903       865       2413330432 13100       apollon033
array-examples/standard_copy3_false-unreach-call_ground.i 901    862     2240798720 10300   apollon151 2.54 1.10  266362880 21.5 apollon157 903       867       2226192384 12700       apollon024
array-examples/standard_copy4_false-unreach-call_ground.i 901    864     2419892224 12800   apollon132 2.57 1.05  271839232 23.3 apollon112 903       865       2436726784 13000       apollon077
array-examples/standard_copy5_false-unreach-call_ground.i 901    862     2224635904 11800   apollon147 2.76 1.09  293363712 23.0 apollon025 903       865       2227556352 11700       apollon135
array-examples/standard_copy6_false-unreach-call_ground.i 901    863     2223095808 13600   apollon030 2.47 1.03  267083776 22.3 apollon120 903       864       2227154944 13400       apollon163
array-examples/standard_copy7_false-unreach-call_ground.i 901    862     2236727296 11100   apollon003 2.52 1.07  271093760 25.7 apollon057 903       866       2417360896 10100       apollon158
array-examples/standard_copy8_false-unreach-call_ground.i 901    862     2431373312 9300   apollon063 2.74 1.13  269246464 23.6 apollon015 903       864       2233712640 11200       apollon023
array-examples/standard_copy9_false-unreach-call_ground.i 901    863     2255601664 11600   apollon121 2.61 1.06  270417920 21.9 apollon045 903       865       2226270208 12000       apollon076
array-examples/standard_copyInitSum2_false-unreach-call_ground.i 901    869     898576384 12000   apollon070 2.44 1.04  267759616 21.5 apollon085 903       870       703012864 12100       apollon096
array-examples/standard_init1_false-unreach-call_ground.i 901    871     904359936 11800   apollon051 2.45 1.04  267902976 20.9 apollon157 903       871       669130752 13600       apollon106
array-examples/standard_init2_false-unreach-call_ground.i 901    868     706400256 11800   apollon156 2.38 1.03  268550144 22.5 apollon067 903       869       723861504 10400       apollon029
array-examples/standard_init3_false-unreach-call_ground.i 901    870     704823296 13500   apollon094 2.47 1.02  271982592 25.8 apollon021 903       870       726028288 12200       apollon146
array-examples/standard_init4_false-unreach-call_ground.i 901    869     757116928 11200   apollon109 2.61 1.08  274423808 20.3 apollon089 903       870       808996864 14600       apollon039
array-examples/standard_init5_false-unreach-call_ground.i 901    869     783704064 12100   apollon142 2.56 1.04  266813440 22.3 apollon118 903       869       709558272 11700       apollon074
array-examples/standard_init6_false-unreach-call_ground.i 901    869     865030144 11700   apollon135 2.57 1.05  267812864 23.4 apollon152 903       869       760238080 11000       apollon100
array-examples/standard_init7_false-unreach-call_ground.i 901    868     765280256 13500   apollon088 2.48 1.04  269676544 25.6 apollon021 903       869       650760192 11100       apollon134
array-examples/standard_init8_false-unreach-call_ground.i 901    868     766357504 14200   apollon021 2.50 1.06  268128256 21.8 apollon018 903       869       637198336 11600       apollon110
array-examples/standard_init9_false-unreach-call_ground.i 901    868     771973120 12000   apollon004 2.54 1.05  269008896 26.2 apollon039 903       869       767590400 13200       apollon140
array-examples/standard_minInArray_false-unreach-call_ground.i 901    861     1381941248 11500   apollon034 2.61 1.02  267812864 23.6 apollon015 903       864       1407418368 14100       apollon160
array-examples/standard_partition_false-unreach-call_ground.i 901    864     2229690368 11700   apollon032 2.51 1.06  268705792 21.6 apollon082 903       862       2246713344 12200       apollon101
array-examples/standard_running_false-unreach-call.i 901    863     1403396096 11000   apollon104 2.64 1.07  264208384 21.3 apollon053 903       864       2238898176 11000       apollon083
array-examples/data_structures_set_multi_proc_trivial_true-unreach-call_ground_true-termination.i 155    143     2254331904 2010   apollon132 2.60 1.06  272642048 20.8 apollon151 157       144       1195450368 1980       apollon008
array-examples/data_structures_set_multi_proc_true-unreach-call_ground.i 901    856     3716763648 14200   apollon111 2.47 1.06  266264576 20.2 apollon117 903       860       2223972352 12000       apollon118
array-examples/relax_true-unreach-call.i 904    472     5247045632 10600   apollon044 6.31 2.05  316092416 54.9 apollon007 6.50    2.32    273395712 53.1     apollon029
array-examples/sanfoundry_02_true-unreach-call_ground.i 901    862     2246287360 12700   apollon024 2.54 1.05  269328384 20.6 apollon099 903       865       2472550400 13100       apollon047
array-examples/sanfoundry_10_true-unreach-call_ground.i 905    598     6312153088 8830   apollon097 101    73.5   3730948096 1140   apollon018 909       603       4966854656 8660       apollon137
array-examples/sanfoundry_24_true-unreach-call_true-termination.i 901    862     3904319488 13100   apollon132 2.46 1.05  268558336 22.1 apollon084 903       861       2234781696 11600       apollon137
array-examples/sanfoundry_27_true-unreach-call_ground.i 901    863     2247888896 12200   apollon152 2.48 1.06  265367552 21.5 apollon072 903       867       2236284928 11600       apollon034
array-examples/sanfoundry_43_true-unreach-call_ground.i 92.5  87.1   2257088512 1020   apollon127 2.53 1.05  266354688 25.7 apollon160 .0147  .0144  942080 .0190  apollon011
array-examples/sorting_bubblesort_true-unreach-call_ground.i 901    862     2228862976 11500   apollon050 2.53 1.08  269271040 21.5 apollon157 903       864       2224873472 12800       apollon132
array-examples/sorting_selectionsort_true-unreach-call_ground.i 901    857     2474811392 11200   apollon035 2.50 1.04  269221888 21.7 apollon026 903       861       2243747840 10900       apollon002
array-examples/standard_compareModified_true-unreach-call_ground.i 901    862     2246279168 13600   apollon080 2.37 1.05  269266944 21.6 apollon087 903       866       2238758912 11400       apollon062
array-examples/standard_compare_true-unreach-call_ground.i 901    863     2239426560 13200   apollon014 2.49 1.04  266219520 21.2 apollon002 903       866       2231894016 11700       apollon135
array-examples/standard_copy1_true-unreach-call_ground.i 901    866     2408681472 11700   apollon049 2.46 1.06  264511488 21.5 apollon072 903       867       2230607872 11600       apollon129
array-examples/standard_copy2_true-unreach-call_ground.i 901    864     2241961984 11900   apollon018 2.68 1.09  274247680 19.3 apollon158 903       867       2232733696 11700       apollon133
array-examples/standard_copy3_true-unreach-call_ground.i 901    865     2410418176 11200   apollon166 2.48 1.05  263942144 23.7 apollon161 903       867       2402664448 12900       apollon068
array-examples/standard_copy4_true-unreach-call_ground.i 901    862     2407043072 10700   apollon143 2.50 1.07  270069760 22.7 apollon093 903       866       2415677440 13200       apollon122
array-examples/standard_copy5_true-unreach-call_ground.i 901    865     2228797440 11500   apollon050 2.54 1.08  270479360 23.8 apollon020 903       866       2233671680 11200       apollon086
array-examples/standard_copy6_true-unreach-call_ground.i 901    864     2415435776 12800   apollon064 2.49 1.05  264380416 24.6 apollon081 903       864       2442559488 13900       apollon044
array-examples/standard_copy7_true-unreach-call_ground.i 901    862     2223091712 11600   apollon051 2.72 1.06  294158336 23.9 apollon120 903       864       2230751232 12000       apollon142
array-examples/standard_copy8_true-unreach-call_ground.i 901    863     2236997632 12300   apollon101 2.65 1.05  291987456 24.5 apollon077 903       864       2233118720 11200       apollon137
array-examples/standard_copy9_true-unreach-call_ground.i 901    862     2421035008 10800   apollon117 2.56 1.06  270852096 22.6 apollon084 903       865       2229116928 11400       apollon012
array-examples/standard_copyInitSum2_true-unreach-call_ground.i 901    869     703852544 12100   apollon022 2.56 1.04  271286272 21.4 apollon045 903       869       869363712 11700       apollon037
array-examples/standard_copyInitSum3_true-unreach-call_ground.i 901    869     729128960 12600   apollon124 2.48 1.06  270450688 21.2 apollon082 903       869       723611648 11700       apollon074
array-examples/standard_copyInitSum_true-unreach-call_ground.i 901    869     867565568 12200   apollon015 2.49 1.05  270446592 24.7 apollon106 903       870       748847104 14700       apollon056
array-examples/standard_copyInit_true-unreach-call_ground.i 901    869     713707520 11800   apollon001 2.46 1.09  266682368 24.3 apollon030 903       870       774639616 13100       apollon077
array-examples/standard_find_true-unreach-call_ground.i 901    864     2404204544 13300   apollon014 2.48 1.05  268480512 25.1 apollon057 903       865       2440527872 10400       apollon151
array-examples/standard_init1_true-unreach-call_ground.i 901    870     803471360 11500   apollon062 2.48 1.03  265166848 21.4 apollon095 903       871       694898688 11800       apollon156
array-examples/standard_init2_true-unreach-call_ground.i 901    869     859033600 13900   apollon016 2.59 1.06  271470592 19.1 apollon092 903       870       713551872 10900       apollon143
array-examples/standard_init3_true-unreach-call_ground.i 901    869     788164608 13300   apollon130 2.48 1.02  269938688 21.0 apollon058 903       870       699449344 10900       apollon040
array-examples/standard_init4_true-unreach-call_ground.i 901    869     727855104 12200   apollon142 2.47 1.04  266502144 20.6 apollon127 903       869       779976704 12000       apollon004
array-examples/standard_init5_true-unreach-call_ground.i 901    869     783847424 12400   apollon152 2.58 1.07  267907072 22.5 apollon142 903       869       764284928 13100       apollon167
array-examples/standard_init6_true-unreach-call_ground.i 901    869     853499904 13600   apollon069 2.44 1.05  267489280 20.0 apollon098 903       869       733130752 13500       apollon088
array-examples/standard_init7_true-unreach-call_ground.i 901    867     736808960 11700   apollon121 2.51 1.08  267612160 19.6 apollon151 903       869       762511360 11900       apollon162
array-examples/standard_init8_true-unreach-call_ground.i 901    867     754511872 12800   apollon136 2.49 1.04  270630912 23.9 apollon047 904       870       763805696 11200       apollon042
array-examples/standard_init9_true-unreach-call_ground.i 901    867     831557632 11300   apollon023 2.51 1.04  266563584 20.3 apollon043 904       869       727719936 13300       apollon027
array-examples/standard_maxInArray_true-unreach-call_ground.i 901    863     1376686080 11500   apollon119 2.48 1.03  268001280 22.4 apollon168 903       866       1405739008 10600       apollon139
array-examples/standard_minInArray_true-unreach-call_ground.i 901    863     2225725440 12200   apollon071 2.65 1.04  269180928 21.1 apollon042 903       864       1373921280 11600       apollon120
array-examples/standard_palindrome_true-unreach-call_ground.i 901    866     2406166528 11700   apollon165 2.54 1.05  273584128 19.8 apollon151 903       868       2209992704 12900       apollon155
array-examples/standard_partial_init_true-unreach-call_ground.i 901    865     2227806208 11600   apollon037 2.67 1.11  270290944 25.1 apollon106 903       863       1426083840 10700       apollon040
array-examples/standard_partition_original_true-unreach-call_ground.i 901    861     2241077248 12400   apollon138 2.73 1.17  270344192 22.4 apollon168 903       863       2240958464 11000       apollon116
array-examples/standard_partition_true-unreach-call_ground.i 901    863     2204188672 11300   apollon103 2.50 1.05  271712256 21.1 apollon053 903       866       2245390336 11400       apollon150
array-examples/standard_password_true-unreach-call_ground.i 901    863     2224066560 12300   apollon046 2.42 1.03  269025280 22.2 apollon038 903       865       2237427712 12300       apollon101
array-examples/standard_reverse_true-unreach-call_ground.i 901    866     2419159040 11200   apollon166 2.55 1.06  269656064 24.2 apollon161 903       867       2426261504 11900       apollon082
array-examples/standard_running_true-unreach-call.i 901    862     1401315328 11000   apollon104 2.48 1.05  271241216 20.7 apollon133 903       865       2226409472 12100       apollon093
array-examples/standard_sentinel_true-unreach-call_true-termination.i 901    863     2510311424 10800   apollon029 2.45 1.03  268648448 22.5 apollon032 903       865       2051874816 14200       apollon161
array-examples/standard_seq_init_true-unreach-call_ground.i 901    870     725729280 12800   apollon112 2.47 1.06  270946304 21.4 apollon042 903       870       691535872 11800       apollon051
array-examples/standard_strcmp_true-unreach-call_ground.i 901    861     2229432320 11900   apollon085 2.66 1.05  295841792 24.4 apollon076 903       865       2220011520 12800       apollon010
array-examples/standard_strcpy_original_true-unreach-call.i 901    865     2221846528 10800   apollon117 2.57 1.07  264450048 23.6 apollon081 903       866       2404589568 12100       apollon038
array-examples/standard_strcpy_true-unreach-call_ground.i 901    865     2435534848 10900   apollon149 2.48 1.02  269180928 23.9 apollon007 903       865       2239737856 11100       apollon116
array-examples/standard_two_index_01_true-unreach-call.i 901    865     2223828992 13200   apollon028 2.47 1.03  271372288 24.1 apollon014 903       865       2219921408 12500       apollon152
array-examples/standard_two_index_02_true-unreach-call.i 901    866     2441875456 13500   apollon148 2.55 1.06  266633216 22.9 apollon167 903       866       1381236736 13000       apollon081
array-examples/standard_two_index_03_true-unreach-call.i 954    881     3545477120 12000   apollon110 2.57 1.06  266534912 20.9 apollon025 903       859       1772044288 13300       apollon126
array-examples/standard_two_index_04_true-unreach-call.i 901    864     1382387712 12200   apollon052 2.53 1.04  268087296 25.4 apollon057 903       867       2230247424 12000       apollon145
array-examples/standard_two_index_05_true-unreach-call.i 901    865     2242887680 11700   apollon049 2.46 1.02  268779520 20.8 apollon058 903       864       1373339648 10600       apollon139
array-examples/standard_two_index_06_true-unreach-call.i 954    875     2965774336 12100   apollon087 2.44 1.04  266018816 20.2 apollon123 951       904       2002366464 12500       apollon070
array-examples/standard_two_index_07_true-unreach-call.i 901    865     2224852992 10800   apollon149 2.48 1.04  269139968 22.3 apollon142 903       867       2227757056 11800       apollon162
array-examples/standard_two_index_08_true-unreach-call.i 901    865     2243903488 11600   apollon119 2.51 1.04  269012992 22.7 apollon032 903       868       2222026752 11900       apollon102
array-examples/standard_two_index_09_true-unreach-call.i 901    863     1344724992 10900   apollon099 2.50 1.05  267792384 21.2 apollon157 903       866       1364983808 11900       apollon142
array-examples/standard_vararg_true-unreach-call_ground_true-termination.i 901    862     2359062528 12800   apollon136 2.47 1.03  272302080 21.7 apollon004 903       865       2043224064 12900       apollon010
array-examples/standard_vector_difference_true-unreach-call_ground.i 901    863     2419380224 13900   apollon044 2.44 1.03  263282688 22.9 apollon015 903       867       2393726976 11500       apollon131
array-industry-pattern/array_assert_loop_dep_false-unreach-call_true-termination.i 901    869     750481408 10700   apollon139 2.58 1.05  270540800 25.9 apollon039 903       869       684929024 11600       apollon105
array-industry-pattern/array_of_struct_loop_dep_false-unreach-call.i 904    606     6401626112 9250   apollon101 101    72.2   3686895616 1160   apollon141 906       608       4140208128 10000       apollon091
array-industry-pattern/array_ptr_single_elem_init_false-unreach-call_true-termination.i 901    862     1418756096 11200   apollon045 2.56 1.10  267821056 21.8 apollon011 903       862       2470440960 12000       apollon067
array-industry-pattern/array_range_init_false-unreach-call.i 901    866     755109888 11300   apollon012 2.48 1.04  265711616 22.6 apollon168 903       867       716410880 13400       apollon106
array-industry-pattern/array_single_elem_init_false-unreach-call_true-termination.i 901    862     2482049024 12100   apollon009 2.49 1.04  269717504 24.6 apollon016 903       865       2255192064 12400       apollon046
array-industry-pattern/check_removal_from_set_after_insertion_false-unreach-call.i 940    630     5954846720 9970   apollon157 101    71.3   3689865216 1060   apollon025 428       366       14999998464 3760       apollon029
array-industry-pattern/array_monotonic_true-unreach-call_true-termination.i 901    863     2460401664 11400   apollon107 2.51 1.08  267730944 21.8 apollon121 903       865       2256617472 10700       apollon098
array-industry-pattern/array_mul_init_true-unreach-call_true-termination.i 901    867     733151232 11800   apollon011 2.46 1.04  265089024 21.1 apollon157 903       866       785174528 11700       apollon156
array-industry-pattern/array_of_struct_break_true-unreach-call.i 903    610     2983833600 11400   apollon021 101    73.8   3707666432 1050   apollon100 906       608       3160178688 9700       apollon070
array-industry-pattern/array_of_struct_ptr_cond_init_true-unreach-call.i 902    605     3684012032 8290   apollon163 101    77.5   3476049920 1180   apollon085 907       608       4473417728 6950       apollon034
array-industry-pattern/array_of_struct_ptr_flag_init_true-unreach-call.i 903    602     4816674816 10500   apollon148 101    74.5   3696898048 1040   apollon128 907       607       3821359104 7830       apollon131
array-industry-pattern/array_of_struct_ptr_monotonic_true-unreach-call.i 902    606     4058722304 7900   apollon127 101    78.2   3546808320 1180   apollon011 907       611       8599408640 7910       apollon071
array-industry-pattern/array_of_struct_ptr_mul_init_true-unreach-call.i 903    607     3922804736 8270   apollon135 101    72.5   3717758976 1100   apollon156 908       610       4933742592 10100       apollon030
array-industry-pattern/array_of_struct_single_elem_init_true-unreach-call.i 903    606     4489515008 10800   apollon148 101    73.4   3714146304 975   apollon054 910       606       4763262976 8400       apollon041
array-industry-pattern/array_ptr_partial_init_true-unreach-call.i 903    606     3463852032 8180   apollon152 101    74.9   3696025600 1100   apollon012 905       608       3516858368 9830       apollon132
array-industry-pattern/array_ptr_single_elem_init_true-unreach-call.i 902    604     3712380928 7430   apollon137 101    75.4   3036516352 1050   apollon128 911       608       3996729344 7420       apollon045
array-industry-pattern/array_shadowinit_true-unreach-call_true-termination.i 904    537     3935432704 7800   apollon103 101    76.0   3866857472 1240   apollon140 1.79    .778   173031424 18.3     apollon016
reducercommutativity/rangesum05_false-unreach-call_true-termination.i 38.7  31.3   583979008 435   apollon067 7.69 2.37  413929472 56.8 apollon043 .0112  .0109  1019904 .00855 apollon042
reducercommutativity/rangesum10_false-unreach-call_true-termination.i 120    110     791371776 1250   apollon023 12.5  3.47  480616448 107   apollon125 .0141  .0142  741376 .00915 apollon121
reducercommutativity/rangesum20_false-unreach-call.i 904    881     4774555648 10400   apollon161 31.2  7.98  1050562560 247   apollon018 .0194  .0225  1019904 .00958 apollon036
reducercommutativity/rangesum40_false-unreach-call.i 904    874     4058341376 10100   apollon027 59.3  28.1   2526670848 580   apollon152 .0118  .0115  946176 .00909 apollon112
reducercommutativity/rangesum60_false-unreach-call.i 904    870     4657717248 8680   apollon012 101    62.0   3709898752 998   apollon086 52.7     42.5     4010967040 593       apollon108
reducercommutativity/rangesum_false-unreach-call_true-termination.i 183    169     2248531968 2580   apollon160 8.10 2.38  463929344 73.3 apollon057 .0144  .0157  966656 .00983 apollon160
reducercommutativity/avg05_true-unreach-call_true-termination.i 902    889     1817825280 11500   apollon130 101    71.8   4092358656 1120   apollon020 904       891       1759748096 9820       apollon062
reducercommutativity/avg10_true-unreach-call_true-termination.i 903    889     3412242432 9150   apollon083 101    67.7   4059254784 878   apollon158 906       886       3126009856 8440       apollon078
reducercommutativity/avg20_true-unreach-call.i 906    885     4790874112 9080   apollon096 101    61.5   2672193536 894   apollon009 909       883       4827246592 9360       apollon096
reducercommutativity/avg40_true-unreach-call.i 907    881     6180429824 16700   apollon106 65.4  32.7   2740805632 684   apollon030 .0120  .0146  884736 .0100  apollon017
reducercommutativity/avg60_true-unreach-call.i 905    870     4791533568 10500   apollon015 101    70.1   3723132928 1230   apollon007 923       872       3182559232 9850       apollon089
reducercommutativity/avg_true-unreach-call_true-termination.i 903    580     4347002880 7220   apollon074 101    70.6   4207607808 984   apollon040 94.7     81.9     3508686848 898       apollon102
reducercommutativity/max05_true-unreach-call_true-termination.i 912    905     1580228608 10100   apollon137 101    82.2   1129910272 796   apollon101 315       296       1339412480 3660       apollon144
reducercommutativity/max10_true-unreach-call_true-termination.i 902    881     2438049792 8010   apollon136 102    81.1   1571536896 1150   apollon085 910       541       2316963840 8250       apollon144
reducercommutativity/max20_true-unreach-call.i 903    878     2794983424 9360   apollon163 102    59.7   3975331840 1160   apollon160 912       541       2514268160 9390       apollon112
reducercommutativity/max40_true-unreach-call.i 903    872     2506625024 8680   apollon117 65.6  33.5   2954465280 555   apollon158 .00951 .00943 913408 .0143  apollon088
reducercommutativity/max60_true-unreach-call.i 904    860     4002664448 10100   apollon121 101    70.4   3720253440 1150   apollon052 1.83    .803   180494336 16.9     apollon142
reducercommutativity/max_true-unreach-call_true-termination.i 121    113     2244321280 1340   apollon109 101    78.1   3196026880 1100   apollon162 913       538       5023293440 9650       apollon049
reducercommutativity/sep05_true-unreach-call_true-termination.i 851    802     1488228352 10200   apollon090 101    73.4   3047858176 879   apollon076 293       236       4013395968 3590       apollon048
reducercommutativity/sep10_true-unreach-call.i 902    530     4832186368 8250   apollon158 101    79.6   2550169600 1090   apollon045 367       317       1334046720 4430       apollon008
reducercommutativity/sep20_true-unreach-call.i 903    594     3199451136 8880   apollon152 101    38.3   3863842816 771   apollon005 922       624       2568613888 7580       apollon053
reducercommutativity/sep40_true-unreach-call.i 903    597     4117426176 7800   apollon158 68.5  36.4   3073941504 653   apollon107 .0250  .0297  860160 .00873 apollon054
reducercommutativity/sep60_true-unreach-call.i 903    592     4312530944 9400   apollon086 101    68.4   3695423488 1020   apollon002 912       600       5279969280 8730       apollon003
reducercommutativity/sep_true-unreach-call_true-termination.i 902    601     2700685312 7340   apollon063 101    70.5   3884142592 1100   apollon018 951       577       2058248192 11200       apollon091
reducercommutativity/sum05_true-unreach-call_true-termination.i 902    890     3818348544 11500   apollon126 101    80.1   3679051776 1130   apollon086 406       394       1062764544 5210       apollon068
reducercommutativity/sum10_true-unreach-call_true-termination.i 902    886     2004377600 10900   apollon004 101    70.7   4019585024 1120   apollon071 905       886       1620946944 10300       apollon051
reducercommutativity/sum20_true-unreach-call.i 906    881     6794997760 9130   apollon156 101    62.1   2938724352 817   apollon092 906       882       3624787968 10200       apollon009
reducercommutativity/sum40_true-unreach-call.i 906    873     5736333312 9370   apollon023 62.7  31.0   2867589120 603   apollon120 .0151  .0156  851968 .00000 apollon101
reducercommutativity/sum60_true-unreach-call.i 906    866     6486110208 9920   apollon104 101    71.0   3711438848 1110   apollon162 919       867       2962759680 9770       apollon040
reducercommutativity/sum_true-unreach-call_true-termination.i 904    576     4300279808 9410   apollon085 101    76.1   3641413632 1170   apollon038 908       532       5862866944 11300       apollon057
array-tiling/mlceu_false-unreach-call.i 906    538     3493224448 9450   apollon030 3.63 1.50  282714112 31.9 apollon084 908       607       4005146624 10700       apollon140
array-tiling/skippedu_false-unreach-call.i 3.41 1.49  294465536 31.1 apollon071 3.63 1.44  288727040 31.1 apollon026 .0131  .0137  798720 .00922 apollon129
array-tiling/mbpr2_true-unreach-call.i 904    531     6391689216 8340   apollon110 101    67.8   3743059968 1150   apollon081 908       600       5874450432 7370       apollon063
array-tiling/mbpr3_true-unreach-call.i 904    526     5946466304 9600   apollon147 101    65.5   3797508096 1140   apollon007 911       598       5680558080 9850       apollon113
array-tiling/mbpr4_true-unreach-call.i 911    528     5227737088 9420   apollon053 101    68.1   3704430592 958   apollon151 909       600       5058686976 10800       apollon010
array-tiling/mbpr5_true-unreach-call.i 910    528     5244026880 9630   apollon157 101    72.4   3754287104 1260   apollon014 1.81    .805   175595520 19.2     apollon008
array-tiling/nr2_true-unreach-call.i 904    535     6907129856 8190   apollon035 101    69.6   3708661760 1020   apollon042 905       603       4101320704 9770       apollon142
array-tiling/nr3_true-unreach-call.i 904    536     6767374336 7630   apollon131 101    72.0   3858083840 1190   apollon167 906       607       3544145920 9840       apollon059
array-tiling/nr4_true-unreach-call.i 902    536     6493237248 10800   apollon057 101    69.1   3838636032 1040   apollon034 906       607       4394872832 8650       apollon055
array-tiling/nr5_true-unreach-call.i 904    541     6749675520 8090   apollon075 101    64.7   3552428032 894   apollon158 905       604       4478885888 9150       apollon095
array-tiling/pnr2_true-unreach-call.i 904    536     1866166272 8030   apollon154 101    70.1   3902996480 1130   apollon146 905       605       2465017856 9100       apollon047
array-tiling/pnr3_true-unreach-call.i 903    537     1955848192 8200   apollon129 101    61.8   4284567552 1070   apollon091 905       577       2550992896 9040       apollon068
array-tiling/pnr4_true-unreach-call.i 903    537     2121826304 8110   apollon004 101    65.1   4213096448 1030   apollon146 905       578       2483920896 7960       apollon025
array-tiling/pnr5_true-unreach-call.i 903    536     1831239680 8410   apollon147 105    58.6   4311687168 965   apollon082 905       579       2592813056 8670       apollon072
array-tiling/poly1_true-unreach-call.i 908    542     5498830848 8470   apollon082 101    75.9   2480005120 992   apollon079 906       611       5017505792 8590       apollon079
array-tiling/poly2_true-unreach-call.i 903    538     3543138304 7700   apollon141 101    70.5   3057106944 999   apollon002 906       608       4413906944 9590       apollon125
array-tiling/pr2_true-unreach-call.i 902    537     1616674816 8060   apollon017 101    71.5   3607281664 1170   apollon164 905       605       2143178752 8460       apollon058
array-tiling/pr3_true-unreach-call.i 902    538     1896771584 9510   apollon161 101    76.4   3561402368 1100   apollon079 907       604       2824597504 7430       apollon123
array-tiling/pr4_true-unreach-call.i 903    534     2269433856 7440   apollon045 101    72.8   3111403520 1090   apollon078 907       604       2318180352 8060       apollon037
array-tiling/pr5_true-unreach-call.i 903    536     1550168064 8560   apollon121 101    76.9   3330641920 1260   apollon019 906       604       2398334976 9500       apollon070
array-tiling/revcpyswp2_true-unreach-call.i 910    536     5687287808 8330   apollon025 101    75.9   3419410432 1100   apollon086 914       577       4421197824 9700       apollon010
array-tiling/rew_true-unreach-call.i 903    539     3414528000 9610   apollon006 102    68.0   3862368256 1050   apollon058 904       579       3607666688 9610       apollon011
array-tiling/rewnif_true-unreach-call.i 904    539     4531326976 9530   apollon030 101    71.0   3374350336 1250   apollon044 906       608       3056328704 8860       apollon126
array-tiling/rewnifrev2_true-unreach-call.i 952    561     4862128128 9360   apollon101 101    74.7   2781618176 1150   apollon095 904       581       3291021312 7970       apollon045
array-tiling/rewnifrev_true-unreach-call.i 951    575     5173338112 11600   apollon044 101    76.7   2974679040 1130   apollon119 951       619       6011043840 8000       apollon029
array-tiling/rewrev_true-unreach-call.i 952    563     4829425664 9300   apollon096 101    77.2   2405355520 1040   apollon151 905       581       3224899584 10300       apollon112
array-tiling/skipped_true-unreach-call.i 902    538     1323495424 7970   apollon078 101    66.6   4037947392 1020   apollon032 904       581       2857914368 8510       apollon137
array-tiling/tcpy_true-unreach-call.i 903    539     2589323264 7300   apollon037 101    71.5   3962458112 1260   apollon161 904       580       2957488128 8280       apollon067
array-programs/copysome1_false-unreach-call.i 901    866     2222747648 12000   apollon061 2.65 1.04  291065856 24.0 apollon077 903       867       2224476160 11500       apollon075
array-programs/copysome2_false-unreach-call.i 901    864     2220945408 13100   apollon122 2.45 1.04  270254080 20.2 apollon099 903       865       2220081152 12600       apollon124
array-programs/copysome1_true-unreach-call.i 901    863     2251599872 12700   apollon010 2.71 1.05  290291712 23.2 apollon034 903       866       1356800000 10900       apollon013
array-programs/copysome2_true-unreach-call.i 901    863     1378013184 11000   apollon116 2.42 1.05  268816384 20.6 apollon127 903       866       2226630656 11100       apollon025
bitvector/byte_add_false-unreach-call_true-no-overflow_true-termination.i 75.8  65.0   1778540544 1030   apollon057 5.26 1.83  301273088 44.9 apollon165 10.5     3.42    332632064 87.0     apollon017
bitvector/sum02_false-unreach-call_true-no-overflow.i 903    533     4151357440 8520   apollon027 3.52 1.47  280109056 30.1 apollon082 909       537       7636267008 9510       apollon019
bitvector/byte_add_1_true-unreach-call_true-no-overflow_true-termination.i 69.6  60.3   1925705728 771   apollon050 6.03 2.09  319234048 51.7 apollon091 12.6     4.90    395612160 117       apollon136
bitvector/byte_add_2_true-unreach-call_true-no-overflow_true-termination.i 23.9  15.5   927649792 242   apollon074 5.73 1.89  317952000 52.7 apollon126 12.7     5.10    414298112 101       apollon092
bitvector/gcd_1_true-unreach-call_true-no-overflow.i 6.44 4.68  284463104 67.3 apollon062 4.10 1.51  304193536 33.4 apollon079 11.0     7.67    294752256 119       apollon168
bitvector/gcd_2_true-unreach-call_true-no-overflow.i 7.11 5.22  276652032 79.7 apollon031 3.46 1.37  273186816 31.5 apollon112 .0148  .0146  872448 .00659 apollon035
bitvector/gcd_3_true-unreach-call_true-no-overflow.i 154    152     313110528 1990   apollon033 3.62 1.47  288235520 31.8 apollon076 33.7     30.3     294277120 451       apollon047
bitvector/gcd_4_true-unreach-call_true-no-overflow_true-termination.i 2.32 .985 237850624 22.5 apollon094 5.16 1.76  313200640 44.6 apollon156 5.03    1.94    257871872 47.6     apollon148
bitvector/interleave_bits_true-unreach-call_true-no-overflow.i 6.88 3.01  406466560 62.7 apollon038 7.33 2.28  452468736 62.2 apollon126 6.15    2.43    286031872 59.5     apollon007
bitvector/jain_1_true-unreach-call_true-no-overflow_false-termination.i 2.81 1.18  271212544 27.8 apollon161 2.84 1.19  277032960 29.1 apollon021 .0101  .00988 831488 .00848 apollon155
bitvector/jain_2_true-unreach-call_true-no-overflow_false-termination.i 2.81 1.20  269062144 27.4 apollon130 3.21 1.20  293670912 27.2 apollon022 .0101  .00994 835584 .00922 apollon027
bitvector/jain_4_true-unreach-call_true-no-overflow_false-termination.i 3.01 1.31  275267584 24.0 apollon098 3.11 1.25  274595840 27.2 apollon005 .0176  .0205  753664 .00745 apollon061
bitvector/jain_5_true-unreach-call_true-no-overflow.i 906    608     8331927552 8530   apollon150 101    80.7   2778210304 1220   apollon052 913       612       6437007360 9650       apollon031
bitvector/jain_6_true-unreach-call_true-no-overflow_false-termination.i 2.94 1.23  269365248 25.0 apollon050 3.31 1.25  294891520 25.6 apollon054 .0127  .0125  811008 .00427 apollon014
bitvector/jain_7_true-unreach-call_true-no-overflow_false-termination.i 4.47 2.78  278818816 45.8 apollon147 2.84 1.18  274214912 26.8 apollon022 .0106  .0121  864256 .00952 apollon156
bitvector/modulus_true-unreach-call_true-no-overflow.i 228    212     1587814400 3100   apollon059 3.14 1.31  277803008 27.8 apollon052 8.86    5.87    280510464 88.1     apollon127
bitvector/num_conversion_1_true-unreach-call_true-no-overflow.i 2.25 .970 240730112 20.8 apollon067 4.90 1.77  305999872 42.5 apollon167 4.93    1.93    251711488 45.0     apollon064
bitvector/num_conversion_2_true-unreach-call_true-no-overflow.i 17.6  10.8   584572928 148   apollon054 4.91 1.77  302903296 42.7 apollon032 9.66    3.15    322662400 76.0     apollon157
bitvector/parity_true-unreach-call_true-no-overflow.i 118    112     729862144 1480   apollon165 3.31 1.31  286834688 31.4 apollon014 130       123       914243584 1830       apollon059
bitvector/sum02_true-unreach-call_true-no-overflow.i 904    533     6050807808 8420   apollon061 3.50 1.45  281563136 34.3 apollon108 911       537       10741538816 7890       apollon042
bitvector/s3_clnt_1_false-unreach-call_true-no-overflow.BV.c.cil.c 8.52 2.63  457326592 71.9 apollon009 10.6  3.08  467173376 93.6 apollon106 16.6     5.45    487952384 144       apollon097
bitvector/s3_clnt_2_false-unreach-call_true-no-overflow.BV.c.cil.c 10.6  3.89  519278592 94.1 apollon112 18.5  5.01  617021440 160   apollon168 39.9     21.6     1314594816 365       apollon150
bitvector/s3_clnt_3_false-unreach-call_true-no-overflow.BV.c.cil.c 6.69 1.97  330534912 55.9 apollon077 7.04 2.21  388128768 58.5 apollon120 13.6     4.15    374702080 99.2     apollon054
bitvector/s3_clnt_1_true-unreach-call_true-no-overflow.BV.c.cil.c 21.0  14.5   1595949056 225   apollon061 14.2  4.01  500178944 106   apollon121 25.0     12.4     1301934080 216       apollon134
bitvector/s3_clnt_2_true-unreach-call_true-no-overflow.BV.c.cil.c 19.3  13.2   1499021312 219   apollon059 24.2  6.77  833982464 199   apollon102 25.1     10.8     1344036864 240       apollon007
bitvector/s3_clnt_3_true-unreach-call_true-no-overflow.BV.c.cil.c 21.8  14.7   2153934848 236   apollon091 101    77.4   3071184896 984   apollon100 26.4     16.4     1532821504 282       apollon146
bitvector/s3_srvr_1_alt_true-unreach-call_true-no-overflow.BV.c.cil.c 905    548     4191834112 8990   apollon119 101    75.1   2657251328 1170   apollon070 909       577       2519584768 10800       apollon014
bitvector/s3_srvr_1_true-unreach-call_true-no-overflow.BV.c.cil.c 26.6  19.0   2279071744 331   apollon039 31.1  8.45  977502208 229   apollon029 .0112  .0109  962560 .0132  apollon144
bitvector/s3_srvr_2_alt_true-unreach-call_true-no-overflow_false-termination.BV.c.cil.c 94.1  84.1   2322952192 1100   apollon131 41.9  18.5   1371332608 409   apollon020 .0142  .0138  1007616 .00751 apollon166
bitvector/s3_srvr_2_true-unreach-call_true-no-overflow_false-termination.BV.c.cil.c 94.2  84.6   2319708160 972   apollon054 42.8  18.2   1405607936 402   apollon168 .00970 .00952 933888 .00855 apollon141
bitvector/s3_srvr_3_alt_true-unreach-call_true-no-overflow.BV.c.cil.c 26.2  18.6   2289459200 274   apollon150 19.0  5.09  630145024 168   apollon030 .0150  .0143  1081344 .0156  apollon004
bitvector/s3_srvr_3_true-unreach-call_true-no-overflow.BV.c.cil.c 26.2  19.1   2282475520 424   apollon106 62.0  33.8   2281033728 700   apollon161 .00978 .0109  962560 .0115  apollon090
bitvector/soft_float_1_true-unreach-call_true-no-overflow_true-termination.c.cil.c 11.7  6.07  375234560 117   apollon052 4.80 1.77  296083456 38.6 apollon100 11.8     5.13    310902784 111       apollon162
bitvector/soft_float_2_true-unreach-call_true-no-overflow_true-termination.c.cil.c 115    100     1207635968 1400   apollon147 7.53 2.34  446177280 63.2 apollon156 29.3     15.0     693014528 285       apollon153
bitvector/soft_float_3_true-unreach-call_true-no-overflow_true-termination.c.cil.c 101    87.7   1233477632 1210   apollon105 7.39 2.33  444780544 63.0 apollon091 188       173       14999998464 2560       apollon077
bitvector/soft_float_4_true-unreach-call_true-no-overflow_true-termination.c.cil.c 201    196     360902656 2970   apollon080 4.21 1.68  290402304 37.0 apollon076 81.5     75.9     344145920 1020       apollon156
bitvector/soft_float_5_true-unreach-call_true-no-overflow_true-termination.c.cil.c 115    98.7   1252323328 1270   apollon104 7.36 2.33  447238144 64.9 apollon077 28.7     14.5     644681728 277       apollon085
bitvector-regression/implicitfloatconversion_false-unreach-call_true-termination.c 2.49 1.04  264626176 22.0 apollon070 3.23 1.23  296452096 32.6 apollon039 .0134  .0157  843776 .00525 apollon088
bitvector-regression/implicitunsignedconversion_false-unreach-call_true-termination.c 2.60 1.05  258981888 23.9 apollon112 2.45 1.06  268267520 24.7 apollon016 .0145  .0156  868352 .00848 apollon164
bitvector-regression/integerpromotion_false-unreach-call_true-termination.c 2.42 1.00  255692800 20.9 apollon026 2.79 1.23  275443712 27.6 apollon148 .00817 .0101  888832 .0110  apollon050
bitvector-regression/recHanoi03_false-unreach-call_true-termination.c 3.36 1.35  303345664 29.4 apollon142 2.53 1.10  267939840 22.0 apollon011 1.93    .825   180555776 17.8     apollon150
bitvector-regression/signextension2_false-unreach-call_true-termination.c 2.73 1.07  255885312 24.9 apollon057 2.60 1.09  270381056 25.6 apollon016 .00980 .00963 843776 .0112  apollon095
bitvector-regression/signextension_false-unreach-call_true-termination.c 2.49 1.05  256708608 24.2 apollon108 2.55 1.09  272834560 26.6 apollon021 .0140  .0138  765952 .0105  apollon005
bitvector-regression/implicitunsignedconversion_true-unreach-call_true-termination.c 2.43 .963 252104704 21.9 apollon163 2.94 1.28  276406272 26.1 apollon121 4.27    1.76    246820864 37.1     apollon157
bitvector-regression/integerpromotion_true-unreach-call_true-termination.c 2.29 .929 250339328 20.4 apollon061 2.80 1.24  278286336 24.4 apollon127 4.33    1.82    249393152 39.4     apollon162
bitvector-regression/signextension2_true-unreach-call_true-termination.c 2.38 .956 247525376 19.6 apollon073 3.10 1.31  285671424 30.7 apollon126 4.29    1.77    249163776 38.5     apollon011
bitvector-regression/signextension_true-unreach-call_true-termination.c 2.33 .925 251621376 20.6 apollon065 3.12 1.31  275988480 31.3 apollon111 4.41    1.83    252669952 36.5     apollon123
bitvector-loops/diamond_false-unreach-call2.i 2.95 1.18  257839104 30.0 apollon056 6.60 2.03  440332288 58.7 apollon081 .0108  .0107  892928 .00000 apollon113
bitvector-loops/overflow_false-unreach-call1.i 906    609     8201175040 9670   apollon018 2.82 1.12  290009088 25.1 apollon052 .0134  .0139  851968 .0106  apollon026
bitvector-loops/verisec_sendmail__tTflag_arr_one_loop_false-unreach-call_true-termination.i 212    204     754663424 2340   apollon029 2.88 1.25  270974976 25.6 apollon012 .0110  .0111  921600 .00732 apollon060
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c 7.71 2.18  347463680 66.4 apollon091 10.5  2.91  467931136 92.6 apollon160 .0109  .0133  946176 .0170  apollon006
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c 8.43 2.39  352362496 72.7 apollon155 7.84 2.35  439459840 64.1 apollon156 .0109  .0107  909312 .0135  apollon165
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c 8.65 2.48  352763904 70.0 apollon053 8.41 2.46  459096064 66.6 apollon095 .0127  .0123  970752 .00824 apollon097
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c 5.37 1.69  297033728 44.1 apollon144 6.15 2.02  326635520 49.7 apollon025 .0150  .0146  794624 .0116  apollon043
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 7.53 2.12  340082688 53.2 apollon099 8.90 2.66  453758976 68.8 apollon157 .00613 .0102  884736 .00696 apollon078
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 99.8  89.3   1272823808 1340   apollon108 7.15 2.11  430432256 59.3 apollon112 .0111  .0109  983040 .00806 apollon022
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c 7.15 2.03  343937024 55.3 apollon071 5.99 1.94  332750848 50.8 apollon070 .0139  .0153  856064 .0117  apollon087
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c 8.14 2.55  354537472 65.7 apollon093 7.36 2.23  406474752 63.9 apollon022 .0286  .0306  897024 .00775 apollon108
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 3.43 1.22  264134656 29.0 apollon090 3.63 1.40  280764416 35.6 apollon126 .0135  .0129  892928 .00000 apollon003
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c 4.32 1.43  274059264 37.1 apollon118 4.60 1.58  281321472 39.3 apollon146 .0117  .0121  831488 .00391 apollon064
ssh-simplified/s3_clnt_1_false-unreach-call_true-termination.cil.c 6.59 1.91  315392000 55.1 apollon159 9.16 2.75  455581696 75.9 apollon051 .0155  .0159  872448 .00720 apollon150
ssh-simplified/s3_clnt_2_false-unreach-call_true-termination.cil.c 6.37 1.92  295391232 46.5 apollon149 8.52 2.48  452268032 66.7 apollon018 .0136  .0130  1003520 .00708 apollon104
ssh-simplified/s3_clnt_3_false-unreach-call_true-termination.cil.c 6.80 2.05  299261952 53.6 apollon071 9.85 2.84  453873664 91.4 apollon021 .0103  .0116  983040 .00000 apollon107
ssh-simplified/s3_clnt_4_false-unreach-call_true-termination.cil.c 6.01 1.78  309264384 48.2 apollon084 8.96 2.59  457687040 76.4 apollon047 .0133  .0138  888832 .0146  apollon112
ssh-simplified/s3_srvr_10_false-unreach-call_false-termination.cil.c 12.5  5.91  747458560 109   apollon104 4.35 1.63  290156544 37.2 apollon026 .0128  .0128  987136 .00915 apollon097
ssh-simplified/s3_srvr_11_false-unreach-call_false-termination.cil.c 122    110     2283266048 1520   apollon052 49.7  19.2   1668919296 479   apollon125 15.0     5.97    559562752 140       apollon065
ssh-simplified/s3_srvr_12_false-unreach-call_false-termination.cil.c 122    107     2296795136 1610   apollon094 60.7  34.1   1772802048 619   apollon009 951       921       4876238848 9730       apollon038
ssh-simplified/s3_srvr_13_false-unreach-call_false-termination.cil.c 115    101     2290978816 1490   apollon028 9.78 2.78  483901440 73.5 apollon053 .0202  .0210  978944 .00470 apollon109
ssh-simplified/s3_srvr_14_false-unreach-call_false-termination.cil.c 46.1  33.1   2288668672 450   apollon143 7.83 2.35  419213312 58.0 apollon098 .0287  .0290  909312 .00543 apollon074
ssh-simplified/s3_srvr_1_false-unreach-call_false-termination.cil.c 5.22 1.63  274120704 42.1 apollon097 6.74 2.12  351375360 60.0 apollon030 .00725 .0105  925696 .00000 apollon168
ssh-simplified/s3_srvr_2_false-unreach-call_false-termination.cil.c 4.88 1.58  278130688 39.3 apollon104 6.40 2.06  341139456 52.4 apollon042 .0159  .0158  1003520 .00891 apollon160
ssh-simplified/s3_srvr_6_false-unreach-call_false-termination.cil.c 3.02 1.21  255967232 25.0 apollon066 4.09 1.57  288546816 34.7 apollon070 .0180  .0182  929792 .00647 apollon086
ssh-simplified/s3_clnt_1_true-unreach-call_true-termination.cil.c 19.6  12.0   1267056640 200   apollon070 16.2  4.63  621895680 131   apollon127 .00972 .00958 958464 .0151  apollon130
ssh-simplified/s3_clnt_2_true-unreach-call_true-termination.cil.c 20.9  12.3   1268535296 184   apollon040 12.4  3.48  488386560 107   apollon111 .0127  .0127  995328 .00708 apollon074
ssh-simplified/s3_clnt_3_true-unreach-call_true-termination.cil.c 22.6  14.0   1272123392 206   apollon043 9.73 2.76  496414720 88.7 apollon111 .0252  .0262  1019904 .00903 apollon043
ssh-simplified/s3_clnt_4_true-unreach-call_true-termination.cil.c 20.7  12.6   1259450368 222   apollon122 18.1  4.97  612642816 134   apollon017 .00963 .0103  905216 .00787 apollon095
ssh-simplified/s3_srvr_1_true-unreach-call_false-termination.cil.c 24.1  16.4   2263429120 229   apollon040 41.7  18.1   1533001728 370   apollon133 .0132  .0131  819200 .0109  apollon109
ssh-simplified/s3_srvr_1a_true-unreach-call_false-termination.cil.c 3.07 1.14  258174976 24.6 apollon123 7.31 2.23  444444672 61.2 apollon167 .0126  .0126  1081344 .0110  apollon105
ssh-simplified/s3_srvr_1b_true-unreach-call_false-termination.cil.c 2.42 .995 242536448 24.1 apollon081 3.82 1.48  276803584 34.5 apollon022 .0152  .0150  847872 .0102  apollon019
ssh-simplified/s3_srvr_2_true-unreach-call_false-termination.cil.c 26.0  17.0   1273061376 248   apollon079 24.1  6.61  852000768 170   apollon100 .0273  .0328  966656 .0148  apollon125
ssh-simplified/s3_srvr_3_true-unreach-call_false-termination.cil.c 23.8  16.2   2260074496 227   apollon043 28.2  7.36  799481856 199   apollon117 .0124  .0148  987136 .0220  apollon160
ssh-simplified/s3_srvr_4_true-unreach-call_false-termination.cil.c 24.3  16.1   2276724736 239   apollon062 31.2  9.52  1082322944 248   apollon011 .0150  .0147  876544 .00397 apollon038
ssh-simplified/s3_srvr_6_true-unreach-call_false-termination.cil.c 96.4  87.0   2293555200 1110   apollon156 101    76.2   2603286528 1050   apollon167 128       97.7     2102169600 1530       apollon155
ssh-simplified/s3_srvr_7_true-unreach-call_false-termination.cil.c 95.4  86.8   2303795200 1140   apollon118 47.6  24.3   1600352256 450   apollon038 .0118  .0116  1019904 .00891 apollon041
ssh-simplified/s3_srvr_8_true-unreach-call_false-termination.cil.c 24.8  16.6   2254262272 257   apollon162 41.6  14.9   1357250560 335   apollon045 .0199  .0194  991232 .00439 apollon093
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c 93.6  86.9   1256615936 1290   apollon069 3.89 1.55  290488320 35.3 apollon118 .00625 .0104  1052672 .0107  apollon118
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c 93.4  87.4   1252225024 1080   apollon166 3.69 1.47  286932992 32.3 apollon085 .00969 .00950 892928 .0108  apollon132
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c 26.7  19.8   2256191488 269   apollon012 3.20 1.26  274280448 28.7 apollon004 .0150  .0156  962560 .0197  apollon107
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c 86.9  78.3   2306621440 936   apollon139 3.29 1.30  272015360 27.6 apollon051 .0226  .0223  966656 .00543 apollon043
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c 154    143     2250362880 1840   apollon075 3.20 1.26  276197376 29.6 apollon118 .00925 .0127  937984 .0162  apollon021
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c 155    142     1444257792 2220   apollon030 3.28 1.31  276688896 29.5 apollon004 .0109  .0107  876544 .00873 apollon164
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c 155    142     1460006912 1830   apollon150 3.31 1.34  275124224 28.9 apollon034 .0251  .0258  913408 .00775 apollon089
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c 154    141     1467449344 1900   apollon102 3.36 1.30  277331968 28.7 apollon026 .0103  .0101  811008 .00000 apollon033
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c 3.17 1.15  261558272 24.8 apollon083 2.82 1.18  271339520 25.1 apollon078 .0113  .0158  1060864 .0161  apollon087
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c 3.73 1.30  270987264 33.6 apollon101 2.83 1.18  267870208 24.6 apollon085 .0114  .0111  897024 .0110  apollon045
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c 4.80 1.52  283516928 43.0 apollon093 2.93 1.19  274169856 23.8 apollon043 .0303  .0306  831488 .0168  apollon120
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c 7.31 2.43  436342784 68.8 apollon021 3.00 1.21  271302656 28.6 apollon020 .0184  .0180  995328 .00324 apollon011
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c 11.8  6.14  729989120 124   apollon167 3.07 1.21  271044608 26.9 apollon087 .0224  .0219  851968 .00763 apollon045
ntdrivers/cdaudio_false-unreach-call.i.cil.c 52.6  38.7   2662572032 554   apollon115 101    58.2   3856003072 984   apollon107 931       591       5611409408 11000       apollon167
ntdrivers/diskperf_false-unreach-call.i.cil.c 103    88.4   1779073024 1210   apollon090 11.5  3.08  487526400 99.5 apollon161 .00864 .0119  905216 .0122  apollon151
ntdrivers/floppy_false-unreach-call.i.cil.c 15.0  5.25  666996736 128   apollon015 27.8  7.02  827916288 214   apollon051 .0119  .0116  929792 .0142  apollon057
ntdrivers/kbfiltr_false-unreach-call.i.cil.c 9.31 2.97  417185792 79.6 apollon069 9.18 2.59  472186880 71.0 apollon026 .00657 .0101  761856 .00873 apollon070
ntdrivers/parport_false-unreach-call.i.cil.c 134    90.0   4238151680 1250   apollon117 41.1  12.3   1233416192 337   apollon002 .0149  .0143  913408 .0128  apollon062
ntdrivers/cdaudio_true-unreach-call.i.cil.c 8.58 2.32  364331008 77.8 apollon014 13.2  3.52  498647040 108   apollon161 .0113  .0119  892928 .0113  apollon005
ntdrivers/diskperf_true-unreach-call.i.cil.c 102    86.7   1635651584 1270   apollon052 10.4  2.82  465846272 85.1 apollon119 .0116  .0116  876544 .00861 apollon134
ntdrivers/floppy2_true-unreach-call_true-termination.i.cil.c 78.9  55.3   2476982272 829   apollon011 36.7  9.30  1080754176 265   apollon051 .0146  .0145  1069056 .0104  apollon130
ntdrivers/floppy_true-unreach-call_true-valid-memsafety.i.cil.c 76.7  57.8   1828921344 897   apollon161 22.8  5.87  808267776 158   apollon098 .0147  .0152  888832 .00568 apollon104
ntdrivers/parport_true-unreach-call.i.cil.c 157    109     4155416576 1690   apollon152 48.1  18.0   1745305600 449   apollon167 .00923 .00925 884736 .00494 apollon017
ssh/s3_clnt.blast.01_false-unreach-call.i.cil.c 183    167     14999998464 2380   apollon005 9.13 2.57  449695744 67.3 apollon058 .0159  .0157  761856 .0101  apollon022
ssh/s3_clnt.blast.02_false-unreach-call.i.cil.c 170    155     14999998464 2070   apollon018 9.14 2.59  452468736 80.0 apollon161 .0168  .0182  995328 .00665 apollon107
ssh/s3_clnt.blast.03_false-unreach-call.i.cil.c 168    152     14999998464 1890   apollon003 8.63 2.46  425029632 62.6 apollon158 .00980 .0101  868352 .00769 apollon009
ssh/s3_clnt.blast.04_false-unreach-call.i.cil.c 170    155     14999998464 1750   apollon158 8.65 2.52  455716864 68.1 apollon038 .0224  .0281  1052672 .00812 apollon141
ssh/s3_srvr.blast.01_false-unreach-call.i.cil.c 175    161     14999998464 2000   apollon032 8.04 2.33  395956224 61.8 apollon089 .0109  .0106  831488 .0103  apollon030
ssh/s3_srvr.blast.02_false-unreach-call.i.cil.c 174    161     14999998464 2310   apollon019 8.22 2.40  409186304 65.0 apollon053 .0104  .0141  1028096 .0137  apollon005
ssh/s3_srvr.blast.03_false-unreach-call.i.cil.c 175    161     14999998464 2050   apollon055 7.72 2.25  406921216 61.1 apollon058 .0110  .0108  942080 .00989 apollon040
ssh/s3_srvr.blast.04_false-unreach-call.i.cil.c 175    162     14999998464 2050   apollon153 8.04 2.33  421318656 61.0 apollon002 .0198  .0196  847872 .00391 apollon125
ssh/s3_srvr.blast.06_false-unreach-call.i.cil.c 164    157     14999998464 1560   apollon048 5.85 1.89  315543552 51.3 apollon019 .0233  .0236  774144 .00488 apollon126
ssh/s3_srvr.blast.07_false-unreach-call.i.cil.c 241    225     14999998464 2320   apollon040 9.70 2.76  460361728 80.3 apollon067 .0112  .0128  872448 .00000 apollon085
ssh/s3_srvr.blast.08_false-unreach-call.i.cil.c 343    334     14999998464 2650   apollon043 5.83 1.92  310112256 46.1 apollon058 .0106  .0107  974848 .0133  apollon161
ssh/s3_srvr.blast.09_false-unreach-call.i.cil.c 235    219     14999998464 2680   apollon142 10.9  3.09  443912192 87.7 apollon022 .00992 .00968 909312 .00000 apollon092
ssh/s3_srvr.blast.10_false-unreach-call.i.cil.c 334    326     14999998464 2760   apollon095 5.66 1.87  313110528 48.9 apollon168 .0154  .0162  888832 .00586 apollon049
ssh/s3_srvr.blast.11_false-unreach-call.i.cil.c 204    188     14999998464 2120   apollon127 10.3  2.89  481853440 76.8 apollon054 .0279  .0319  1019904 .0154  apollon147
ssh/s3_srvr.blast.12_false-unreach-call.i.cil.c 152    145     14999998464 1380   apollon086 5.76 1.87  309747712 44.6 apollon123 .0119  .0117  888832 .00940 apollon090
ssh/s3_srvr.blast.13_false-unreach-call.i.cil.c 241    226     14999998464 2610   apollon138 10.5  2.93  447406080 82.4 apollon053 .0130  .0134  1036288 .0111  apollon052
ssh/s3_srvr.blast.14_false-unreach-call.i.cil.c 153    146     14999998464 1510   apollon165 5.94 1.95  320987136 56.0 apollon125 .0161  .0164  1007616 .0145  apollon074
ssh/s3_srvr.blast.15_false-unreach-call.i.cil.c 358    349     14999998464 2720   apollon043 5.86 1.86  309665792 50.0 apollon101 .0129  .0157  925696 .00842 apollon155
ssh/s3_srvr.blast.16_false-unreach-call.i.cil.c 157    150     14999998464 1730   apollon167 6.07 1.92  310468608 47.0 apollon002 .00925 .00962 860160 .0103  apollon030
ssh/s3_clnt.blast.01_true-unreach-call.i.cil.c 137    118     1638596608 1710   apollon055 9.88 2.74  463360000 80.9 apollon070 .0117  .0115  905216 .0103  apollon138
ssh/s3_clnt.blast.02_true-unreach-call.i.cil.c 108    91.5   1402040320 1230   apollon149 9.08 2.61  445390848 70.6 apollon082 .0105  .0103  770048 .00000 apollon016
ssh/s3_clnt.blast.03_true-unreach-call.i.cil.c 114    96.2   1685065728 1440   apollon093 10.4  2.96  451772416 84.8 apollon101 .0140  .0137  991232 .00610 apollon040
ssh/s3_clnt.blast.04_true-unreach-call.i.cil.c 116    98.2   1425420288 1390   apollon050 10.8  2.98  448491520 87.1 apollon076 .0139  .0137  1032192 .00000 apollon166
ssh/s3_srvr.blast.01_true-unreach-call.i.cil.c 115    98.0   2163048448 1240   apollon029 10.3  2.98  454479872 73.2 apollon054 .00905 .00886 847872 .00641 apollon104
ssh/s3_srvr.blast.02_true-unreach-call.i.cil.c 205    187     1167003648 2440   apollon035 8.51 2.44  474112000 70.8 apollon141 .0117  .0114  835584 .00800 apollon101
ssh/s3_srvr.blast.06_true-unreach-call.i.cil.c 135    113     3906961408 1570   apollon157 78.6  40.0   2531569664 760   apollon125 .0111  .0124  884736 .0156  apollon044
ssh/s3_srvr.blast.07_true-unreach-call.i.cil.c 160    142     1238110208 1880   apollon035 12.5  3.42  493748224 96.9 apollon051 .0143  .0149  851968 .0114  apollon062
ssh/s3_srvr.blast.08_true-unreach-call.i.cil.c 118    100     1238962176 1360   apollon099 16.2  4.48  638615552 145   apollon030 .0146  .0155  786432 .00769 apollon108
ssh/s3_srvr.blast.09_true-unreach-call.i.cil.c 115    97.2   1418317824 1590   apollon094 12.2  3.42  467406848 99.3 apollon101 .0217  .0214  1089536 .00879 apollon001
ssh/s3_srvr.blast.10_true-unreach-call.i.cil.c 112    94.0   1680396288 1510   apollon077 11.5  3.15  471052288 88.4 apollon042 .00921 .0113  1142784 .0133  apollon064
ssh/s3_srvr.blast.11_true-unreach-call.i.cil.c 132    115     1452892160 1620   apollon037 11.7  3.23  469540864 102   apollon044 .0146  .0185  937984 .00452 apollon084
ssh/s3_srvr.blast.12_true-unreach-call.i.cil.c 143    124     3127717888 1590   apollon128 20.4  5.99  646975488 176   apollon140 .0183  .0181  983040 .00409 apollon089
ssh/s3_srvr.blast.13_true-unreach-call.i.cil.c 117    100     1217257472 1490   apollon142 10.5  2.99  446189568 94.1 apollon126 .0216  .0211  864256 .00964 apollon006
ssh/s3_srvr.blast.14_true-unreach-call.i.cil.c 116    93.9   3764318208 1240   apollon043 32.8  12.1   1119997952 300   apollon030 .0173  .0210  880640 .0284  apollon071
ssh/s3_srvr.blast.15_true-unreach-call.i.cil.c 119    96.9   1263796224 1730   apollon039 19.9  5.63  705064960 172   apollon140 .0155  .0152  913408 .00574 apollon048
ssh/s3_srvr.blast.16_true-unreach-call.i.cil.c 123    98.5   3858735104 1430   apollon095 36.6  16.4   1510846464 293   apollon158 .0154  .0152  913408 .00415 apollon037
eca-rers2012/Problem01_label15_false-unreach-call_false-termination.c 8.86 2.43  340156416 68.9 apollon168 19.2  5.31  774098944 155   apollon109 .00969 .0127  909312 .00000 apollon117
eca-rers2012/Problem01_label20_false-unreach-call_false-termination.c 9.80 2.72  482271232 76.6 apollon135 26.3  7.53  1136979968 215   apollon009 .00818 .00853 872448 .00793 apollon159
eca-rers2012/Problem01_label21_false-unreach-call_false-termination.c 9.21 2.49  339542016 71.7 apollon120 20.4  5.38  821071872 181   apollon044 .0110  .0107  901120 .00781 apollon159
eca-rers2012/Problem01_label32_false-unreach-call_false-termination.c 10.1  2.74  486060032 82.9 apollon022 29.0  8.58  1047896064 242   apollon020 .0193  .0191  749568 .00439 apollon103
eca-rers2012/Problem01_label33_false-unreach-call_false-termination.c 9.10 2.61  403169280 65.8 apollon054 22.0  6.19  848171008 171   apollon060 .0136  .0136  987136 .00800 apollon149
eca-rers2012/Problem01_label35_false-unreach-call_false-termination.c 8.07 2.32  322572288 65.4 apollon150 26.9  9.13  1037926400 207   apollon058 .0231  .0229  905216 .00427 apollon153
eca-rers2012/Problem01_label37_false-unreach-call_false-termination.c 9.07 2.49  372641792 69.6 apollon018 22.1  5.89  846315520 170   apollon085 .0119  .0116  884736 .00891 apollon097
eca-rers2012/Problem01_label38_false-unreach-call_false-termination.c 9.66 2.76  359669760 77.4 apollon015 21.1  5.64  812269568 168   apollon047 .0121  .0124  1019904 .0140  apollon005
eca-rers2012/Problem01_label44_false-unreach-call_false-termination.c 8.12 2.32  320659456 66.4 apollon081 16.0  4.32  600502272 144   apollon125 .00910 .00900 880640 .00989 apollon113
eca-rers2012/Problem01_label47_false-unreach-call_false-termination.c 9.56 2.72  468451328 82.7 apollon036 43.2  21.7   2095919104 429   apollon038 .0251  .0252  749568 .00537 apollon042
eca-rers2012/Problem01_label50_false-unreach-call_false-termination.c 8.10 2.26  330833920 66.2 apollon167 22.0  5.95  801144832 186   apollon044 .0129  .0126  1028096 .00000 apollon075
eca-rers2012/Problem01_label56_false-unreach-call_false-termination.c 8.55 2.39  387297280 68.9 apollon062 23.4  6.12  823189504 187   apollon126 .0113  .0153  1019904 .00287 apollon002
eca-rers2012/Problem01_label57_false-unreach-call_false-termination.c 8.97 2.65  418156544 68.1 apollon123 43.7  23.2   2018070528 430   apollon032 .00908 .0133  811008 .00995 apollon091
eca-rers2012/Problem02_label13_false-unreach-call_false-termination.c 7.13 2.06  320880640 59.1 apollon037 13.1  3.55  471687168 100   apollon071 .0156  .0155  823296 .00665 apollon135
eca-rers2012/Problem02_label16_false-unreach-call_false-termination.c 5.97 1.81  294301696 48.1 apollon004 11.0  3.11  477917184 90.4 apollon087 .0105  .0108  872448 .00964 apollon034
eca-rers2012/Problem02_label43_false-unreach-call_false-termination.c 6.48 1.90  319381504 55.8 apollon014 12.5  3.39  489721856 105   apollon032 .00744 .0105  909312 .00659 apollon166
eca-rers2012/Problem02_label44_false-unreach-call_false-termination.c 6.33 1.91  299139072 50.5 apollon096 12.2  3.35  474251264 108   apollon020 .0129  .0126  1073152 .00324 apollon078
eca-rers2012/Problem02_label45_false-unreach-call_false-termination.c 8.31 2.32  331108352 59.6 apollon134 21.7  5.85  700645376 186   apollon126 .00990 .00967 1019904 .0116  apollon088
eca-rers2012/Problem02_label50_false-unreach-call_false-termination.c 8.23 2.26  332054528 59.1 apollon100 18.7  5.20  633774080 160   apollon141 .00892 .00881 917504 .0103  apollon133
eca-rers2012/Problem02_label59_false-unreach-call_false-termination.c 9.05 2.49  369844224 67.3 apollon012 16.7  4.41  586911744 139   apollon047 .0151  .0149  962560 .00446 apollon144
eca-rers2012/Problem03_label09_false-unreach-call.c 16.8  5.03  749985792 135   apollon047 81.6  50.0   2407669760 935   apollon140 .00961 .00956 946176 .00787 apollon003
eca-rers2012/Problem03_label13_false-unreach-call.c 15.3  4.07  568647680 110   apollon075 49.2  24.6   1945714688 515   apollon126 .0128  .0139  974848 .00879 apollon090
eca-rers2012/Problem03_label26_false-unreach-call.c 13.2  3.55  484356096 100   apollon077 36.4  12.5   1239662592 331   apollon081 .0149  .0147  827392 .00763 apollon117
eca-rers2012/Problem03_label27_false-unreach-call.c 14.4  3.95  591654912 112   apollon018 46.1  17.4   1691025408 394   apollon118 .0117  .0114  946176 .0122  apollon161
eca-rers2012/Problem03_label28_false-unreach-call.c 14.2  4.06  583348224 119   apollon016 46.7  17.1   1700794368 428   apollon155 .00970 .0124  978944 .0135  apollon160
eca-rers2012/Problem03_label31_false-unreach-call.c 14.6  4.20  602451968 115   apollon076 50.6  20.2   1823731712 463   apollon167 .0115  .0111  1019904 .0107  apollon083
eca-rers2012/Problem03_label35_false-unreach-call.c 16.4  5.08  803422208 126   apollon123 54.9  25.5   2063114240 525   apollon071 .0133  .0132  933888 .00000 apollon021
eca-rers2012/Problem03_label37_false-unreach-call.c 14.7  4.19  547700736 114   apollon082 46.3  20.4   1868697600 413   apollon011 .0110  .0107  892928 .00964 apollon150
eca-rers2012/Problem03_label39_false-unreach-call.c 16.5  4.97  790499328 126   apollon018 68.4  34.0   1953198080 631   apollon142 .0198  .0195  897024 .00299 apollon063
eca-rers2012/Problem03_label43_false-unreach-call.c 15.0  4.13  634171392 107   apollon128 51.9  21.5   1993134080 413   apollon089 .0115  .0114  811008 .0103  apollon032
eca-rers2012/Problem03_label45_false-unreach-call.c 17.8  5.10  806293504 133   apollon154 58.5  27.8   2186940416 495   apollon128 .0116  .0127  970752 .00769 apollon027
eca-rers2012/Problem03_label50_false-unreach-call.c 15.6  4.33  569683968 106   apollon054 78.4  50.1   1836380160 817   apollon135 .00742 .00776 1003520 .00983 apollon095
eca-rers2012/Problem03_label52_false-unreach-call.c 17.1  5.30  819077120 142   apollon009 102    77.9   2815733760 1040   apollon151 291       155       9669718016 2070       apollon151
eca-rers2012/Problem04_label04_false-unreach-call.c 62.5  29.8   4317286400 515   apollon110 106    64.2   2799005696 853   apollon100 77.4     50.9     1049268224 912       apollon030
eca-rers2012/Problem04_label06_false-unreach-call.c 69.9  32.4   4347305984 560   apollon011 105    62.9   2442240000 799   apollon151 424       246       10013405184 3990       apollon163
eca-rers2012/Problem04_label09_false-unreach-call.c 59.8  28.3   4308852736 544   apollon005 105    65.0   3029127168 943   apollon108 429       238       10816212992 3700       apollon136
eca-rers2012/Problem04_label11_false-unreach-call_false-termination.c 65.7  30.5   4354588672 584   apollon112 106    66.4   2867843072 867   apollon127 439       245       10089627648 3520       apollon157
eca-rers2012/Problem04_label12_false-unreach-call_false-termination.c 73.3  36.2   4345970688 584   apollon104 105    66.3   2891554816 913   apollon082 76.0     50.4     1040494592 721       apollon083
eca-rers2012/Problem04_label13_false-unreach-call.c 54.5  27.4   4085932032 465   apollon086 104    65.0   2967457792 930   apollon108 423       240       9244733440 3510       apollon103
eca-rers2012/Problem04_label14_false-unreach-call_false-termination.c 55.1  27.6   4091637760 536   apollon027 106    61.5   2798776320 817   apollon029 410       239       10585505792 3720       apollon114
eca-rers2012/Problem04_label15_false-unreach-call.c 52.1  26.0   4083970048 460   apollon061 106    63.2   2703863808 885   apollon032 381       227       10114670592 3330       apollon072
eca-rers2012/Problem04_label17_false-unreach-call_false-termination.c 61.5  28.1   4315500544 507   apollon105 106    65.2   2876592128 881   apollon146 433       237       9642713088 3430       apollon166
eca-rers2012/Problem04_label18_false-unreach-call.c 55.0  27.1   4081508352 484   apollon052 105    62.8   2570268672 922   apollon168 418       242       10614206464 3920       apollon064
eca-rers2012/Problem04_label19_false-unreach-call.c 69.0  33.2   4364926976 688   apollon021 104    63.0   2145894400 854   apollon121 385       229       10956636160 3090       apollon040
eca-rers2012/Problem04_label26_false-unreach-call.c 64.3  30.7   4345217024 579   apollon159 106    64.2   2630680576 935   apollon095 415       236       10629230592 3500       apollon165
eca-rers2012/Problem04_label27_false-unreach-call_false-termination.c 52.9  26.7   4051304448 480   apollon015 105    65.8   2343235584 1050   apollon016 435       245       10942164992 3510       apollon157
eca-rers2012/Problem04_label31_false-unreach-call.c 66.1  31.5   4348469248 533   apollon086 106    66.4   2871259136 880   apollon117 77.3     51.2     1079730176 809       apollon009
eca-rers2012/Problem04_label32_false-unreach-call.c 60.1  28.4   4294148096 464   apollon128 104    62.4   2482671616 964   apollon014 388       227       9214435328 3310       apollon034
eca-rers2012/Problem04_label35_false-unreach-call.c 53.8  27.3   4109504512 455   apollon013 105    64.3   2723340288 1120   apollon021 76.7     49.8     1078505472 846       apollon047
eca-rers2012/Problem04_label36_false-unreach-call_false-termination.c 52.2  26.3   4070428672 458   apollon012 106    63.6   2360848384 887   apollon128 444       253       10366476288 3890       apollon101
eca-rers2012/Problem04_label38_false-unreach-call.c 64.8  30.6   4324855808 489   apollon151 106    64.8   2884759552 934   apollon079 410       238       9263251456 3330       apollon013
eca-rers2012/Problem04_label39_false-unreach-call.c 71.0  32.9   4345446400 530   apollon029 105    61.5   2437586944 881   apollon146 424       236       10955632640 3560       apollon118
eca-rers2012/Problem04_label40_false-unreach-call_false-termination.c 62.7  29.5   4329963520 466   apollon151 106    65.4   2728771584 1030   apollon014 429       242       9525645312 3500       apollon073
eca-rers2012/Problem04_label45_false-unreach-call.c 67.7  31.8   4352049152 557   apollon165 106    63.7   2421309440 880   apollon086 415       236       10746388480 3640       apollon071
eca-rers2012/Problem04_label52_false-unreach-call.c 69.4  33.2   4343287808 575   apollon034 104    64.8   2975277056 935   apollon164 422       234       10955649024 3300       apollon066
eca-rers2012/Problem04_label55_false-unreach-call.c 53.7  26.6   4065386496 561   apollon039 105    65.2   2656747520 955   apollon165 414       231       10736001024 3870       apollon140
eca-rers2012/Problem04_label58_false-unreach-call_false-termination.c 67.4  32.2   4339818496 525   apollon041 106    63.8   2865848320 875   apollon152 425       234       9296728064 3380       apollon115
eca-rers2012/Problem05_label00_false-unreach-call.c 948    336     11742351360 5070   apollon097 109    65.6   2675154944 972   apollon038 52.0     30.4     898547712 582       apollon044
eca-rers2012/Problem05_label01_false-unreach-call.c 949    345     11773517824 4950   apollon100 104    68.5   2580602880 891   apollon015 40.1     23.1     845479936 408       apollon009
eca-rers2012/Problem05_label11_false-unreach-call.c 948    335     11596853248 5150   apollon133 103    61.6   2678022144 860   apollon128 50.8     29.7     904192000 535       apollon155
eca-rers2012/Problem05_label13_false-unreach-call.c 949    354     11609473024 5190   apollon037 107    66.3   2762219520 895   apollon076 48.4     26.7     892825600 521       apollon161
eca-rers2012/Problem05_label15_false-unreach-call.c 948    339     11565658112 4730   apollon151 110    61.9   3064414208 909   apollon119 52.5     30.7     902328320 627       apollon111
eca-rers2012/Problem05_label18_false-unreach-call.c 950    364     11590737920 6330   apollon064 111    64.8   3053572096 945   apollon168 49.8     29.3     906231808 457       apollon104
eca-rers2012/Problem05_label24_false-unreach-call.c 936    353     11491168256 5370   apollon001 110    67.7   2533466112 875   apollon098 51.4     30.1     905216000 518       apollon093
eca-rers2012/Problem05_label26_false-unreach-call.c 947    364     11704352768 5810   apollon065 104    67.9   2060161024 1150   apollon021 39.8     23.0     850817024 382       apollon012
eca-rers2012/Problem05_label30_false-unreach-call.c 949    356     11888467968 6220   apollon130 103    61.5   2814627840 911   apollon106 50.6     29.8     903921664 490       apollon074
eca-rers2012/Problem05_label32_false-unreach-call.c 949    345     11570311168 6080   apollon016 108    64.6   2605826048 977   apollon019 52.2     29.7     905474048 485       apollon150
eca-rers2012/Problem05_label33_false-unreach-call.c 949    358     11761651712 5400   apollon156 111    62.9   2602913792 890   apollon093 52.7     29.6     908939264 556       apollon028
eca-rers2012/Problem05_label36_false-unreach-call.c 953    500     9719771136 8760   apollon087 108    65.1   2977853440 903   apollon018 53.6     30.3     907968512 439       apollon158
eca-rers2012/Problem05_label37_false-unreach-call.c 949    351     11786461184 5820   apollon006 103    65.3   2481061888 853   apollon042 50.6     29.3     908509184 537       apollon130
eca-rers2012/Problem05_label38_false-unreach-call.c 948    360     11789668352 5030   apollon042 103    71.4   2732982272 873   apollon121 52.3     29.8     903254016 519       apollon017
eca-rers2012/Problem05_label39_false-unreach-call.c 949    371     11681779712 5700   apollon147 104    58.2   2727407616 830   apollon093 51.1     29.6     901881856 481       apollon050
eca-rers2012/Problem05_label40_false-unreach-call.c 938    342     11830620160 5740   apollon005 104    65.2   2683604992 847   apollon151 52.1     29.7     904613888 479       apollon062
eca-rers2012/Problem05_label41_false-unreach-call.c 951    394     11718373376 5050   apollon123 103    57.5   2862415872 957   apollon081 52.0     29.8     906395648 487       apollon166
eca-rers2012/Problem05_label44_false-unreach-call.c 947    407     11719553024 6550   apollon077 103    58.7   2627387392 831   apollon025 39.8     22.7     844648448 439       apollon088
eca-rers2012/Problem05_label47_false-unreach-call.c 951    537     7165931520 10100   apollon094 113    65.9   3175817216 868   apollon029 50.5     29.4     901414912 456       apollon104
eca-rers2012/Problem05_label48_false-unreach-call.c 951    541     6661308416 9260   apollon165 111    64.1   2790735872 951   apollon004 50.0     29.2     908935168 493       apollon032
eca-rers2012/Problem05_label51_false-unreach-call.c 949    356     11722690560 5750   apollon008 103    62.2   2473623552 986   apollon125 50.7     28.3     911396864 548       apollon044
eca-rers2012/Problem05_label55_false-unreach-call.c 948    373     11829362688 5490   apollon145 104    57.8   2264559616 871   apollon004 52.3     30.2     907087872 520       apollon049
eca-rers2012/Problem05_label57_false-unreach-call.c 947    388     11846676480 5760   apollon093 103    57.4   2603585536 916   apollon079 52.7     30.3     908890112 587       apollon125
eca-rers2012/Problem05_label58_false-unreach-call.c 950    524     6665375744 8540   apollon083 111    63.3   2659594240 880   apollon053 50.5     29.2     917712896 397       apollon063
eca-rers2012/Problem06_label00_false-unreach-call.c 123    61.5   4902219776 1130   apollon014 103    57.1   2952146944 829   apollon135 37.5     20.9     813699072 338       apollon066
eca-rers2012/Problem06_label01_false-unreach-call.c 95.3  53.4   4637929472 856   apollon050 103    59.7   2354462720 853   apollon152 38.7     20.9     839098368 417       apollon161
eca-rers2012/Problem06_label02_false-unreach-call.c 949    346     11492675584 5340   apollon085 108    59.0   2451890176 916   apollon038 38.0     20.6     841166848 340       apollon149
eca-rers2012/Problem06_label04_false-unreach-call.c 87.9  47.4   4627513344 788   apollon051 103    56.5   2786918400 891   apollon034 38.8     20.9     843718656 347       apollon002
eca-rers2012/Problem06_label05_false-unreach-call.c 84.4  44.1   4640559104 764   apollon076 104    54.0   2906554368 784   apollon054 37.8     20.6     809639936 373       apollon071
eca-rers2012/Problem06_label09_false-unreach-call.c 114    56.8   4877627392 887   apollon149 103    57.7   2490544128 827   apollon015 38.2     20.6     818733056 418       apollon159
eca-rers2012/Problem06_label10_false-unreach-call.c 83.8  44.1   4639744000 697   apollon089 102    54.9   2424188928 845   apollon025 32.0     15.6     749711360 306       apollon047
eca-rers2012/Problem06_label11_false-unreach-call.c 119    56.9   4876447744 985   apollon102 105    54.0   2914156544 814   apollon120 36.9     20.3     817602560 349       apollon090
eca-rers2012/Problem06_label12_false-unreach-call.c 86.4  45.8   4634345472 747   apollon154 103    57.7   2582433792 1030   apollon167 38.3     20.9     809525248 327       apollon123
eca-rers2012/Problem06_label15_false-unreach-call.c 89.2  48.2   4626534400 828   apollon017 107    57.1   2395238400 1020   apollon014 49.5     27.7     895623168 428       apollon040
eca-rers2012/Problem06_label20_false-unreach-call.c 82.4  44.3   4624322560 709   apollon086 103    60.9   2678034432 824   apollon092 46.6     26.2     919818240 444       apollon051
eca-rers2012/Problem06_label21_false-unreach-call.c 116    56.9   4871352320 870   apollon098 104    52.4   2506428416 798   apollon152 45.9     26.3     921088000 442       apollon035
eca-rers2012/Problem06_label24_false-unreach-call.c 92.4  51.1   4621193216 744   apollon054 103    58.1   2741145600 909   apollon087 55.5     31.8     908652544 501       apollon127
eca-rers2012/Problem06_label27_false-unreach-call.c 947    353     11902586880 5020   apollon116 103    58.5   2712629248 921   apollon072 47.0     26.6     882225152 500       apollon033
eca-rers2012/Problem06_label29_false-unreach-call.c 119    58.5   4858507264 1040   apollon048 107    61.0   2793439232 839   apollon060 46.9     26.8     906829824 495       apollon094
eca-rers2012/Problem06_label33_false-unreach-call.c 117    56.5   4875030528 1040   apollon019 104    58.3   2218074112 990   apollon106 48.2     26.8     921952256 465       apollon038
eca-rers2012/Problem06_label36_false-unreach-call.c 124    61.8   4880347136 948   apollon041 103    57.8   2626785280 980   apollon081 38.7     20.7     838217728 412       apollon008
eca-rers2012/Problem06_label37_false-unreach-call.c 946    385     11768160256 5230   apollon002 103    57.5   2487402496 888   apollon109 46.6     26.5     912158720 448       apollon049
eca-rers2012/Problem06_label38_false-unreach-call.c 948    327     11534090240 4970   apollon145 107    57.2   2394734592 909   apollon109 47.1     26.1     899448832 461       apollon146
eca-rers2012/Problem06_label44_false-unreach-call.c 94.6  52.7   4643385344 837   apollon144 103    55.1   2350030848 834   apollon070 48.3     27.2     896569344 472       apollon102
eca-rers2012/Problem06_label47_false-unreach-call.c 118    58.4   4876632064 1060   apollon130 103    52.7   2400665600 830   apollon058 46.7     26.3     909291520 442       apollon157
eca-rers2012/Problem06_label48_false-unreach-call.c 947    337     11608809472 5940   apollon080 105    57.8   2625384448 898   apollon121 54.8     32.0     920150016 510       apollon157
eca-rers2012/Problem06_label56_false-unreach-call.c 124    60.1   4885766144 1030   apollon102 103    56.3   2394062848 776   apollon002 47.0     26.4     906645504 416       apollon083
eca-rers2012/Problem06_label58_false-unreach-call.c 97.6  54.1   4634185728 959   apollon019 108    57.4   2758926336 977   apollon030 57.1     32.5     912654336 525       apollon119
eca-rers2012/Problem06_label59_false-unreach-call.c 89.0  47.7   4629340160 915   apollon030 103    56.4   2517798912 865   apollon086 37.4     20.6     825024512 365       apollon011
eca-rers2012/Problem07_label03_false-unreach-call.c 951    514     7856173056 8970   apollon136 149    33.4   6278975488 791   apollon002 957       169       1431228416 4760       apollon035
eca-rers2012/Problem07_label05_false-unreach-call.c 951    482     8001048576 8410   apollon077 145    33.3   6970871808 865   apollon022 224       74.6     1419304960 1410       apollon086
eca-rers2012/Problem07_label06_false-unreach-call.c 951    505     8544722944 9580   apollon088 162    35.0   6616494080 811   apollon029 342       90.3     1421684736 1850       apollon149
eca-rers2012/Problem07_label07_false-unreach-call.c 951    507     8115941376 8400   apollon119 102    25.0   4376100864 580   apollon086 20.7     7.00    921153536 145       apollon084
eca-rers2012/Problem07_label09_false-unreach-call.c 951    515     7931715584 8660   apollon065 102    24.8   4639858688 617   apollon077 79.0     24.1     1427918848 509       apollon166
eca-rers2012/Problem07_label11_false-unreach-call.c 951    501     8005218304 8460   apollon009 136    31.3   6010540032 694   apollon040 384       95.1     1425833984 2160       apollon109
eca-rers2012/Problem07_label15_false-unreach-call.c 951    488     8691855360 8300   apollon090 103    32.2   4809199616 632   apollon128 25.6     8.55    922296320 164       apollon157
eca-rers2012/Problem07_label18_false-unreach-call.c 951    494     8698880000 8490   apollon011 104    27.0   5493460992 659   apollon167 114       41.3     1442349056 878       apollon028
eca-rers2012/Problem07_label19_false-unreach-call.c 950    501     8504528896 8060   apollon150 139    32.2   6471180288 774   apollon107 957       170       1429786624 5530       apollon036
eca-rers2012/Problem07_label20_false-unreach-call.c 951    506     7966355456 8230   apollon153 104    28.1   4405948416 661   apollon022 132       48.3     1433468928 929       apollon095
eca-rers2012/Problem07_label23_false-unreach-call.c 951    502     8549851136 8060   apollon073 134    31.7   6455271424 795   apollon084 957       170       1411121152 4990       apollon091
eca-rers2012/Problem07_label30_false-unreach-call.c 950    499     7969759232 8700   apollon138 103    26.0   5240274944 676   apollon126 89.2     31.1     1442635776 641       apollon112
eca-rers2012/Problem07_label31_false-unreach-call.c 950    497     8771153920 8400   apollon076 103    28.0   4408725504 582   apollon123 117       46.5     1449357312 853       apollon072
eca-rers2012/Problem07_label35_false-unreach-call.c 951    496     8712364032 9100   apollon068 111    28.7   6086082560 675   apollon165 133       46.4     1434595328 1020       apollon033
eca-rers2012/Problem07_label36_false-unreach-call.c 950    499     8782532608 8350   apollon050 115    28.8   5255831552 666   apollon109 958       169       1419939840 4740       apollon002
eca-rers2012/Problem07_label37_false-unreach-call.c 950    500     7998152704 8220   apollon102 145    33.2   6802366464 729   apollon158 957       169       1419096064 4660       apollon127
eca-rers2012/Problem07_label39_false-unreach-call.c 950    499     8117866496 7740   apollon143 103    25.5   4619317248 571   apollon060 88.3     26.2     1433067520 556       apollon026
eca-rers2012/Problem07_label40_false-unreach-call.c 950    497     8799027200 8600   apollon038 137    32.0   6521126912 768   apollon107 195       70.7     1423527936 1330       apollon032
eca-rers2012/Problem07_label42_false-unreach-call.c 950    514     8127918080 9630   apollon088 138    33.0   6389141504 749   apollon060 957       170       1422299136 4730       apollon115
eca-rers2012/Problem07_label44_false-unreach-call.c 951    488     7988219904 8810   apollon094 104    28.0   4423475200 569   apollon158 117       46.9     1429733376 956       apollon108
eca-rers2012/Problem07_label46_false-unreach-call.c 950    507     8064225280 7760   apollon089 157    35.0   6264422400 807   apollon128 957       169       1414549504 4690       apollon035
eca-rers2012/Problem07_label47_false-unreach-call.c 950    495     8028835840 8670   apollon141 131    31.8   6220234752 730   apollon157 957       170       1443934208 4670       apollon061
eca-rers2012/Problem07_label48_false-unreach-call.c 950    498     8568348672 7870   apollon137 103    32.3   4821311488 623   apollon089 22.4     7.52    924872704 194       apollon021
eca-rers2012/Problem07_label58_false-unreach-call.c 950    502     7875092480 10000   apollon021 133    31.3   6010277888 830   apollon160 957       170       1422069760 4750       apollon072
eca-rers2012/Problem08_label01_false-unreach-call.c 950    492     10375802880 7950   apollon079 191    45.0   7717019648 1120   apollon155 .00863 .0127  860160 .0156  apollon047
eca-rers2012/Problem08_label02_false-unreach-call.c 951    497     7879524352 7520   apollon166 192    45.2   7918493696 1060   apollon011 .0132  .0131  962560 .00000 apollon003
eca-rers2012/Problem08_label04_false-unreach-call.c 951    500     7872753664 7220   apollon157 200    46.3   8001560576 1150   apollon093 .0167  .0167  831488 .00580 apollon115
eca-rers2012/Problem08_label05_false-unreach-call.c 950    498     8572690432 7550   apollon149 193    44.2   7907172352 1070   apollon052 .0207  .0224  1011712 .00494 apollon033
eca-rers2012/Problem08_label06_false-unreach-call.c 951    504     8562593792 7480   apollon003 187    44.7   7870328832 963   apollon089 .0176  .0205  966656 .00818 apollon028
eca-rers2012/Problem08_label07_false-unreach-call.c 950    503     10355998720 7710   apollon022 179    43.8   7736348672 1110   apollon108 .0131  .0128  1015808 .00879 apollon155
eca-rers2012/Problem08_label10_false-unreach-call.c 951    493     10380722176 7200   apollon104 178    42.5   7448522752 1030   apollon052 .00941 .00894 966656 .0142  apollon130
eca-rers2012/Problem08_label13_false-unreach-call.c 950    494     10356621312 7670   apollon066 196    45.2   7514611712 1010   apollon060 .0164  .0175  958464 .0106  apollon167
eca-rers2012/Problem08_label15_false-unreach-call.c 950    506     7929618432 8710   apollon028 208    47.5   8971759616 1150   apollon078 .0245  .0250  917504 .00714 apollon116
eca-rers2012/Problem08_label24_false-unreach-call.c 951    477     10439245824 7540   apollon144 187    44.4   7430647808 1060   apollon005 .00755 .0102  872448 .00769 apollon008
eca-rers2012/Problem08_label25_false-unreach-call.c 950    500     8577970176 7670   apollon100 185    43.7   7511535616 974   apollon029 .00697 .00693 913408 .00354 apollon002
eca-rers2012/Problem08_label26_false-unreach-call.c 950    501     7997505536 7800   apollon053 181    43.7   7614091264 1090   apollon164 .0114  .0112  790528 .00836 apollon168
eca-rers2012/Problem08_label28_false-unreach-call.c 951    492     10373804032 7730   apollon086 175    42.8   7611682816 933   apollon060 .0100  .0125  909312 .00836 apollon168
eca-rers2012/Problem08_label29_false-unreach-call.c 950    498     8661950464 9260   apollon161 208    46.4   7141625856 1180   apollon030 .00957 .00984 770048 .00702 apollon002
eca-rers2012/Problem08_label34_false-unreach-call.c 951    489     10575147008 8630   apollon010 180    41.3   5996167168 1120   apollon021 .00590 .00970 970752 .0138  apollon071
eca-rers2012/Problem08_label37_false-unreach-call.c 951    499     8700444672 8690   apollon081 208    45.7   6922010624 1160   apollon020 .0102  .0101  1007616 .0142  apollon044
eca-rers2012/Problem08_label43_false-unreach-call.c 950    482     10434846720 7860   apollon062 208    45.9   7993274368 978   apollon040 .00959 .0124  876544 .0170  apollon148
eca-rers2012/Problem08_label46_false-unreach-call.c 951    492     10377924608 7960   apollon051 178    41.5   5764263936 840   apollon151 .0221  .0214  778240 .00537 apollon015
eca-rers2012/Problem08_label48_false-unreach-call.c 950    498     8506863616 8140   apollon062 203    46.9   8385490944 1130   apollon152 .0155  .0152  974848 .00824 apollon149
eca-rers2012/Problem08_label49_false-unreach-call.c 950    494     10360737792 8290   apollon165 176    42.7   7392059392 989   apollon085 .0109  .0154  958464 .00000 apollon125
eca-rers2012/Problem08_label50_false-unreach-call.c 950    498     8611622912 8580   apollon027 184    44.3   7637200896 1020   apollon018 .0294  .0292  880640 .00623 apollon008
eca-rers2012/Problem08_label51_false-unreach-call.c 951    491     10401779712 8340   apollon033 198    45.9   7703785472 1120   apollon118 .0102  .0105  786432 .00751 apollon104
eca-rers2012/Problem08_label55_false-unreach-call.c 950    492     10335686656 8210   apollon084 181    43.4   7236329472 988   apollon053 .0137  .0135  946176 .00995 apollon139
eca-rers2012/Problem08_label59_false-unreach-call.c 951    498     7946964992 7850   apollon107 170    42.5   7663599616 962   apollon150 .0122  .0125  905216 .00989 apollon119
eca-rers2012/Problem09_label02_false-unreach-call.c 951    504     10656440320 7090   apollon118 208    48.0   8649220096 1160   apollon020 .0149  .0152  958464 .0112  apollon090
eca-rers2012/Problem09_label03_false-unreach-call.c 951    511     9983574016 7170   apollon110 208    48.2   8388448256 1150   apollon126 .0142  .0139  1007616 .00842 apollon166
eca-rers2012/Problem09_label06_false-unreach-call.c 950    488     12290154496 8390   apollon036 208    48.1   8493309952 1010   apollon116 .0121  .0166  880640 .0111  apollon119
eca-rers2012/Problem09_label08_false-unreach-call.c 950    512     10091409408 8200   apollon065 208    46.5   6332305408 978   apollon086 .00923 .00933 974848 .0105  apollon001
eca-rers2012/Problem09_label10_false-unreach-call.c 951    497     10425069568 7570   apollon084 208    46.4   5837799424 1080   apollon167 .00666 .00993 880640 .00946 apollon127
eca-rers2012/Problem09_label11_false-unreach-call.c 951    474     10744045568 8580   apollon039 202    45.9   6344413184 946   apollon058 .0249  .0292  876544 .00500 apollon119
eca-rers2012/Problem09_label15_false-unreach-call.c 950    480     12250832896 6820   apollon149 200    46.1   6343331840 912   apollon098 .0313  .0327  835584 .00617 apollon023
eca-rers2012/Problem09_label19_false-unreach-call.c 950    499     8983728128 7500   apollon156 208    48.0   8508559360 1180   apollon007 .0288  .0297  921600 .00525 apollon166
eca-rers2012/Problem09_label20_false-unreach-call.c 951    522     9011068928 7240   apollon116 208    47.5   7901429760 1120   apollon022 .0226  .0224  774144 .00787 apollon019
eca-rers2012/Problem09_label32_false-unreach-call.c 951    508     10505957376 6800   apollon003 202    48.2   7967354880 1060   apollon042 .0110  .0112  745472 .00684 apollon031
eca-rers2012/Problem09_label34_false-unreach-call.c 950    507     10166013952 7290   apollon032 208    48.0   8333127680 1040   apollon086 .00849 .00910 765952 .0104  apollon069
eca-rers2012/Problem09_label35_false-unreach-call.c 950    512     10005020672 8290   apollon030 208    47.7   8162086912 1060   apollon095 .0245  .0247  1036288 .00708 apollon095
eca-rers2012/Problem09_label36_false-unreach-call.c 950    444     12251193344 7320   apollon027 208    47.1   6265004032 1040   apollon152 .00683 .0100  782336 .00903 apollon149
eca-rers2012/Problem09_label38_false-unreach-call.c 951    489     10628268032 8270   apollon030 208    47.6   8080125952 1050   apollon135 .00822 .0125  929792 .0121  apollon107
eca-rers2012/Problem09_label41_false-unreach-call.c 951    505     9177198592 7220   apollon154 208    46.5   6325432320 1030   apollon118 .00837 .00808 843776 .00000 apollon125
eca-rers2012/Problem09_label44_false-unreach-call.c 950    488     12256870400 7640   apollon033 208    48.6   8295473152 1060   apollon102 .0159  .0164  958464 .0129  apollon016
eca-rers2012/Problem09_label46_false-unreach-call.c 951    485     10148687872 7240   apollon154 198    45.6   6306041856 900   apollon054 .0294  .0325  921600 .00836 apollon163
eca-rers2012/Problem09_label47_false-unreach-call.c 951    501     10187046912 7560   apollon156 208    47.9   8608043008 1080   apollon102 .00965 .00954 901120 .00000 apollon127
eca-rers2012/Problem09_label51_false-unreach-call.c 951    493     9140469760 7300   apollon117 206    48.3   7884484608 1180   apollon019 .0211  .0218  851968 .0131  apollon112
eca-rers2012/Problem09_label53_false-unreach-call.c 951    508     10318598144 7410   apollon154 208    46.3   6325108736 1020   apollon146 .00855 .00843 983040 .0134  apollon031
eca-rers2012/Problem09_label54_false-unreach-call.c 951    498     12225171456 6890   apollon143 208    47.5   8056631296 1060   apollon087 .0101  .0100  905216 .00617 apollon035
eca-rers2012/Problem09_label56_false-unreach-call.c 951    525     8958664704 8160   apollon017 208    48.2   8368185344 1120   apollon091 .0137  .0152  876544 .0115  apollon011
eca-rers2012/Problem09_label57_false-unreach-call.c 951    460     12361846784 7950   apollon030 208    46.9   6275817472 1010   apollon102 .0126  .0125  888832 .00928 apollon027
eca-rers2012/Problem09_label59_false-unreach-call.c 950    461     12257251328 6920   apollon105 208    47.4   6060261376 1170   apollon125 .0128  .0133  1011712 .0198  apollon156
eca-rers2012/Problem10_label12_false-unreach-call.c 11.2  2.97  485199872 86.9 apollon108 102    79.6   3852480512 1280   apollon077 951       924       9568489472 11600       apollon027
eca-rers2012/Problem10_label15_false-unreach-call.c 11.0  3.25  503922688 109   apollon106 103    77.9   3865231360 1220   apollon141 951       925       9571168256 9860       apollon073
eca-rers2012/Problem10_label24_false-unreach-call.c 11.7  3.53  674467840 89.2 apollon110 104    78.5   3798462464 1220   apollon093 951       910       10271158272 9940       apollon154
eca-rers2012/Problem10_label26_false-unreach-call.c 12.4  3.87  780038144 97.6 apollon046 51.9  26.2   2775261184 495   apollon095 .0144  .0147  1052672 .00000 apollon079
eca-rers2012/Problem10_label28_false-unreach-call.c 11.2  3.09  519462912 96.9 apollon008 55.0  28.0   2617856000 492   apollon123 .0184  .0194  802816 .00586 apollon126
eca-rers2012/Problem10_label29_false-unreach-call.c 11.0  3.04  509964288 88.0 apollon020 111    94.5   2059034624 1570   apollon160 .0192  .0187  831488 .00659 apollon085
eca-rers2012/Problem10_label41_false-unreach-call.c 7.43 2.07  321544192 49.8 apollon092 22.2  7.64  1027072000 204   apollon067 .00999 .0148  851968 .0153  apollon037
eca-rers2012/Problem10_label42_false-unreach-call.c 8.39 2.32  358445056 66.2 apollon142 26.3  7.91  1087602688 246   apollon044 .00781 .00777 917504 .00000 apollon129
eca-rers2012/Problem10_label46_false-unreach-call.c 5.50 1.72  287330304 48.7 apollon155 9.80 2.73  464928768 72.2 apollon116 .0135  .0132  897024 .0143  apollon132
eca-rers2012/Problem10_label47_false-unreach-call.c 8.86 2.45  433467392 71.7 apollon146 22.6  7.29  998539264 199   apollon052 .0133  .0130  843776 .0118  apollon068
eca-rers2012/Problem10_label48_false-unreach-call.c 12.8  3.63  749072384 99.4 apollon076 71.6  40.0   3753500672 762   apollon167 .0143  .0139  905216 .00922 apollon037
eca-rers2012/Problem10_label50_false-unreach-call.c 9.97 2.82  478191616 71.6 apollon149 69.9  39.8   2922524672 682   apollon087 .0121  .0133  946176 .0115  apollon129
eca-rers2012/Problem10_label55_false-unreach-call.c 8.04 2.23  336703488 65.6 apollon074 23.0  6.36  820457472 198   apollon032 .00985 .0139  958464 .0328  apollon056
eca-rers2012/Problem10_label57_false-unreach-call.c 12.0  3.28  511315968 83.5 apollon120 101    74.7   3942776832 1080   apollon025 951       918       10218745856 10200       apollon133
eca-rers2012/Problem10_label58_false-unreach-call.c 12.7  3.91  689909760 84.6 apollon092 58.5  30.1   2733395968 594   apollon076 .00994 .0100  724992 .00964 apollon026
eca-rers2012/Problem11_label00_false-unreach-call.c 14.7  4.15  793051136 122   apollon008 101    66.5   3878912000 1190   apollon140 951       602       7871463424 8360       apollon107
eca-rers2012/Problem11_label08_false-unreach-call.c 11.5  3.31  571895808 103   apollon030 79.3  47.0   2922201088 761   apollon053 .00948 .00968 983040 .00665 apollon157
eca-rers2012/Problem11_label14_false-unreach-call.c 9.93 2.58  444682240 85.2 apollon033 73.4  46.3   3430113280 783   apollon102 .0229  .0246  1044480 .00293 apollon063
eca-rers2012/Problem11_label15_false-unreach-call.c 12.8  3.33  536068096 105   apollon007 97.6  62.8   3882602496 1110   apollon091 .0103  .0107  937984 .00671 apollon153
eca-rers2012/Problem11_label20_false-unreach-call.c 15.5  5.11  896118784 127   apollon146 102    70.7   3618484224 1120   apollon120 950       810       8671203328 8590       apollon149
eca-rers2012/Problem11_label29_false-unreach-call.c 12.1  3.08  492699648 81.0 apollon041 78.0  46.2   3808907264 890   apollon161 .0150  .0157  987136 .00604 apollon116
eca-rers2012/Problem11_label31_false-unreach-call.c 14.3  3.85  793985024 112   apollon162 101    70.1   3869175808 1050   apollon109 951       814       8671723520 9550       apollon087
eca-rers2012/Problem11_label34_false-unreach-call.c 14.4  4.28  781381632 102   apollon156 102    63.6   3862982656 1260   apollon039 951       815       8699998208 9260       apollon121
eca-rers2012/Problem11_label36_false-unreach-call.c 11.4  3.21  509911040 79.7 apollon073 79.9  48.0   3521294336 747   apollon099 .0135  .0132  880640 .00934 apollon033
eca-rers2012/Problem11_label39_false-unreach-call.c 16.7  4.97  888913920 124   apollon085 112    90.9   2582716416 1280   apollon107 .0112  .0111  905216 .0137  apollon084
eca-rers2012/Problem11_label42_false-unreach-call.c 9.51 2.57  441659392 72.2 apollon095 82.9  46.2   3621265408 798   apollon072 .0128  .0127  946176 .00775 apollon166
eca-rers2012/Problem11_label43_false-unreach-call.c 10.7  3.00  512892928 77.6 apollon054 58.2  29.2   3046948864 541   apollon079 .00990 .0101  983040 .0148  apollon014
eca-rers2012/Problem11_label49_false-unreach-call.c 11.0  2.81  503144448 83.7 apollon135 61.2  34.6   2752864256 570   apollon117 .0131  .0151  921600 .0103  apollon052
eca-rers2012/Problem11_label51_false-unreach-call.c 14.2  3.83  539774976 101   apollon139 104    67.8   3895652352 1140   apollon009 950       854       8513257472 11900       apollon088
eca-rers2012/Problem11_label58_false-unreach-call.c 12.5  3.34  506834944 106   apollon036 73.0  43.0   3722469376 692   apollon089 .0124  .0120  864256 .0147  apollon071
eca-rers2012/Problem12_label00_false-unreach-call.c 73.8  37.7   4537794560 627   apollon165 104    69.0   3791540224 1020   apollon128 7.86    2.59    289730560 73.3     apollon108
eca-rers2012/Problem12_label03_false-unreach-call.c 40.0  16.8   3296641024 337   apollon146 103    69.1   3204005888 1020   apollon022 18.6     5.99    595771392 152       apollon004
eca-rers2012/Problem12_label06_false-unreach-call.c 75.1  38.4   4543815680 692   apollon019 101    67.2   2938896384 1110   apollon071 23.5     7.42    598601728 174       apollon029
eca-rers2012/Problem12_label07_false-unreach-call.c 563    365     14999998464 5930   apollon057 103    66.7   3736432640 1150   apollon005 18.6     5.99    611639296 149       apollon150
eca-rers2012/Problem12_label08_false-unreach-call.c 78.1  39.6   4541620224 712   apollon164 104    70.7   3579564032 1030   apollon127 17.4     5.71    593219584 148       apollon071
eca-rers2012/Problem12_label10_false-unreach-call.c 64.7  31.9   4320915456 563   apollon147 103    69.7   3574857728 1020   apollon099 18.6     5.73    601976832 150       apollon018
eca-rers2012/Problem12_label13_false-unreach-call.c 78.9  40.7   4538998784 618   apollon013 105    69.3   3138215936 1110   apollon087 17.4     5.78    597925888 133       apollon054
eca-rers2012/Problem12_label19_false-unreach-call.c 76.1  38.5   4523753472 660   apollon146 105    71.2   3643944960 1230   apollon030 18.6     5.89    588185600 148       apollon035
eca-rers2012/Problem12_label20_false-unreach-call.c 63.0  28.4   4317011968 511   apollon032 103    67.6   3796029440 974   apollon117 18.3     5.85    585289728 160       apollon140
eca-rers2012/Problem12_label21_false-unreach-call.c 76.6  38.7   4529283072 602   apollon003 111    74.3   3795349504 1130   apollon079 7.69    2.51    300871680 60.2     apollon058
eca-rers2012/Problem12_label25_false-unreach-call.c 43.1  19.4   4060360704 346   apollon075 103    66.9   3822391296 1040   apollon156 18.3     5.80    587440128 164       apollon057
eca-rers2012/Problem12_label28_false-unreach-call.c 44.3  20.1   4071202816 393   apollon091 102    65.9   2766606336 1070   apollon142 18.3     5.95    608415744 171       apollon021
eca-rers2012/Problem12_label30_false-unreach-call.c 62.9  29.3   4321755136 548   apollon005 102    68.6   3727163392 949   apollon054 20.7     8.32    616599552 180       apollon011
eca-rers2012/Problem12_label34_false-unreach-call.c 72.6  37.5   4548612096 680   apollon132 104    74.2   3793956864 1020   apollon098 18.8     6.28    595980288 141       apollon003
eca-rers2012/Problem12_label35_false-unreach-call.c 58.7  26.7   4313042944 451   apollon129 105    72.9   3770822656 1020   apollon022 18.3     6.03    601628672 140       apollon013
eca-rers2012/Problem12_label37_false-unreach-call.c 44.7  20.8   4070612992 361   apollon127 107    69.9   3538382848 1000   apollon040 19.5     5.94    600764416 152       apollon162
eca-rers2012/Problem12_label38_false-unreach-call.c 64.2  29.4   4314112000 564   apollon068 102    68.7   3754262528 1030   apollon121 23.1     7.43    586801152 207       apollon148
eca-rers2012/Problem12_label39_false-unreach-call.c 75.0  38.4   4525117440 663   apollon009 106    69.8   3851472896 1020   apollon157 19.4     6.21    605143040 156       apollon112
eca-rers2012/Problem12_label40_false-unreach-call.c 61.8  30.5   4328005632 781   apollon106 106    69.2   3904139264 1280   apollon021 17.9     5.76    589914112 159       apollon068
eca-rers2012/Problem12_label42_false-unreach-call.c 64.4  29.5   4321239040 511   apollon037 101    66.7   3841110016 998   apollon015 18.7     6.01    615342080 154       apollon071
eca-rers2012/Problem12_label48_false-unreach-call.c 79.8  42.1   4539334656 704   apollon046 101    66.9   2858913792 1040   apollon072 7.70    2.50    284545024 69.8     apollon020
eca-rers2012/Problem12_label50_false-unreach-call.c 38.6  16.2   3333361664 331   apollon048 109    75.6   3867303936 1180   apollon141 16.9     5.66    596774912 130       apollon158
eca-rers2012/Problem12_label51_false-unreach-call.c 79.1  42.6   4527419392 763   apollon065 109    76.6   4069789696 1010   apollon151 18.6     6.03    585428992 136       apollon054
eca-rers2012/Problem12_label52_false-unreach-call.c 79.1  41.1   4534779904 760   apollon033 109    77.2   3925180416 1060   apollon045 19.1     5.90    594546688 164       apollon118
eca-rers2012/Problem12_label55_false-unreach-call.c 69.8  35.5   4339822592 612   apollon015 103    74.3   3883065344 1080   apollon026 17.5     5.83    586366976 162       apollon108
eca-rers2012/Problem13_label04_false-unreach-call.c 41.8  18.9   3921723392 314   apollon098 103    75.4   3445817344 1070   apollon116 646       479       14999998464 5050       apollon037
eca-rers2012/Problem13_label06_false-unreach-call.c 48.2  23.5   4100689920 435   apollon020 103    74.4   2894573568 1080   apollon121 673       501       14999998464 5320       apollon083
eca-rers2012/Problem13_label07_false-unreach-call.c 27.4  10.1   2032234496 213   apollon166 103    75.2   3662053376 1100   apollon072 698       513       14999998464 6000       apollon008
eca-rers2012/Problem13_label11_false-unreach-call.c 34.3  13.5   2825658368 255   apollon045 104    75.6   3077165056 1370   apollon057 624       466       14999998464 5280       apollon050
eca-rers2012/Problem13_label12_false-unreach-call.c 61.1  26.9   4331286528 453   apollon128 102    73.3   3113517056 1110   apollon165 8.14    2.61    282005504 65.9     apollon002
eca-rers2012/Problem13_label16_false-unreach-call.c 29.7  11.0   2712715264 246   apollon167 103    73.7   3537522688 1100   apollon082 709       532       14999998464 5490       apollon145
eca-rers2012/Problem13_label19_false-unreach-call.c 48.7  22.9   4083625984 446   apollon081 107    76.6   3284111360 1110   apollon135 651       482       14999998464 5360       apollon147
eca-rers2012/Problem13_label21_false-unreach-call.c 36.9  14.9   2920947712 264   apollon054 105    76.0   3130699776 1130   apollon011 678       517       14999998464 6010       apollon005
eca-rers2012/Problem13_label23_false-unreach-call.c 36.7  15.0   2917437440 310   apollon055 102    74.5   3521908736 1090   apollon107 690       491       14999998464 6100       apollon155
eca-rers2012/Problem13_label24_false-unreach-call.c 47.2  22.8   4094795776 435   apollon007 103    74.7   3495542784 1150   apollon015 8.03    2.64    291061760 61.5     apollon133
eca-rers2012/Problem13_label25_false-unreach-call.c 63.7  29.4   4327403520 518   apollon049 102    74.1   3667419136 963   apollon123 637       473       14999998464 5530       apollon155
eca-rers2012/Problem13_label28_false-unreach-call.c 62.8  29.5   4338262016 509   apollon050 106    77.4   3165421568 1050   apollon089 643       479       14999998464 5200       apollon102
eca-rers2012/Problem13_label29_false-unreach-call.c 64.7  30.0   4335005696 588   apollon044 103    73.3   3610001408 1070   apollon119 666       495       14999998464 5150       apollon135
eca-rers2012/Problem13_label30_false-unreach-call.c 38.1  15.1   2921000960 339   apollon125 103    74.8   3851698176 988   apollon029 657       486       14999998464 5220       apollon031
eca-rers2012/Problem13_label32_false-unreach-call.c 49.1  23.8   4141375488 372   apollon151 103    76.5   3131809792 1080   apollon116 698       505       14999998464 6690       apollon130
eca-rers2012/Problem13_label35_false-unreach-call.c 43.2  19.6   4064878592 391   apollon008 102    76.8   2268880896 1150   apollon032 8.12    2.59    285581312 62.4     apollon117
eca-rers2012/Problem13_label36_false-unreach-call.c 49.6  24.0   4139286528 423   apollon156 102    73.1   3050106880 1330   apollon057 631       484       14999998464 4820       apollon089
eca-rers2012/Problem13_label40_false-unreach-call.c 46.4  22.5   4103430144 429   apollon027 102    72.8   3755278336 1090   apollon102 7.71    2.56    287199232 61.8     apollon115
eca-rers2012/Problem13_label43_false-unreach-call.c 46.6  22.3   4067225600 399   apollon049 103    76.9   3208593408 1200   apollon017 645       482       14999998464 4670       apollon054
eca-rers2012/Problem13_label44_false-unreach-call.c 30.8  12.0   2808057856 254   apollon078 103    76.2   3306442752 1070   apollon060 649       487       14999998464 5270       apollon162
eca-rers2012/Problem13_label45_false-unreach-call.c 48.1  23.7   4139388928 385   apollon002 104    78.0   3438481408 1100   apollon099 8.11    2.62    288096256 71.1     apollon077
eca-rers2012/Problem13_label48_false-unreach-call.c 43.8  19.5   4068155392 381   apollon077 102    72.8   3641856000 1040   apollon012 580       441       14999998464 5450       apollon047
eca-rers2012/Problem13_label51_false-unreach-call.c 37.7  16.0   2970157056 289   apollon134 103    74.9   3261374464 1280   apollon148 635       481       14999998464 5740       apollon052
eca-rers2012/Problem13_label54_false-unreach-call.c 33.1  13.1   2827825152 295   apollon033 103    74.0   3327623168 1110   apollon004 647       480       14999998464 5700       apollon142
eca-rers2012/Problem13_label58_false-unreach-call.c 37.4  15.1   2915897344 315   apollon010 101    74.0   3087429632 1020   apollon117 9.28    2.88    304009216 78.7     apollon091
eca-rers2012/Problem14_label02_false-unreach-call_false-termination.c 15.8  4.95  911261696 119   apollon129 101    73.5   3692232704 1190   apollon009 14.8     5.12    565645312 128       apollon087
eca-rers2012/Problem14_label08_false-unreach-call_false-termination.c 15.2  4.63  763088896 121   apollon105 102    71.7   3787788288 1240   apollon108 13.9     4.51    560369664 126       apollon064
eca-rers2012/Problem14_label10_false-unreach-call_false-termination.c 13.5  3.91  663801856 111   apollon069 102    69.5   3814748160 1330   apollon057 16.3     5.53    563388416 137       apollon112
eca-rers2012/Problem14_label11_false-unreach-call_false-termination.c 14.0  4.21  691494912 117   apollon141 102    74.1   3712696320 1150   apollon078 17.5     6.10    575959040 143       apollon121
eca-rers2012/Problem14_label12_false-unreach-call_false-termination.c 16.2  5.11  889565184 132   apollon010 102    72.7   3725533184 1120   apollon095 15.0     5.00    561516544 123       apollon129
eca-rers2012/Problem14_label13_false-unreach-call_false-termination.c 14.5  4.35  694845440 123   apollon081 102    71.1   3905859584 1030   apollon089 13.1     4.08    552038400 99.3     apollon099
eca-rers2012/Problem14_label14_false-unreach-call_false-termination.c 15.0  4.22  651898880 110   apollon102 102    73.3   3723591680 1170   apollon004 16.0     5.47    564781056 141       apollon015
eca-rers2012/Problem14_label18_false-unreach-call_false-termination.c 14.4  4.63  754536448 122   apollon114 102    77.2   3956133888 1140   apollon135 951       622       10445398016 8000       apollon120
eca-rers2012/Problem14_label22_false-unreach-call_false-termination.c 15.6  4.71  753995776 125   apollon156 101    67.2   3828346880 1060   apollon026 14.2     4.61    563277824 118       apollon104
eca-rers2012/Problem14_label27_false-unreach-call_false-termination.c 13.8  4.04  636428288 108   apollon074 102    73.2   3807346688 1250   apollon108 14.4     5.15    555638784 136       apollon122
eca-rers2012/Problem14_label28_false-unreach-call_false-termination.c 16.3  5.01  899571712 125   apollon062 102    75.3   3834126336 1200   apollon009 14.1     4.63    554754048 133       apollon020
eca-rers2012/Problem14_label29_false-unreach-call_false-termination.c 15.1  4.49  740708352 113   apollon107 102    73.9   3712262144 1190   apollon009 14.7     5.14    560799744 133       apollon005
eca-rers2012/Problem14_label31_false-unreach-call_false-termination.c 13.5  4.06  684380160 98.0 apollon063 101    65.5   3761811456 1050   apollon142 14.4     4.97    550277120 126       apollon010
eca-rers2012/Problem14_label34_false-unreach-call_false-termination.c 13.9  4.20  666615808 111   apollon087 102    73.6   3759095808 1060   apollon099 13.6     4.48    549515264 123       apollon064
eca-rers2012/Problem14_label37_false-unreach-call_false-termination.c 15.3  4.67  756850688 115   apollon089 102    71.2   3756347392 1100   apollon150 14.4     4.81    549212160 133       apollon028
eca-rers2012/Problem14_label39_false-unreach-call_false-termination.c 14.2  4.18  697856000 116   apollon077 101    71.6   3774865408 1050   apollon127 17.0     6.31    580063232 158       apollon027
eca-rers2012/Problem14_label40_false-unreach-call_false-termination.c 15.0  4.48  747196416 112   apollon045 101    69.0   3827568640 1110   apollon082 14.8     5.12    568737792 141       apollon161
eca-rers2012/Problem14_label41_false-unreach-call_false-termination.c 15.7  5.02  874414080 132   apollon166 102    71.3   3829813248 1040   apollon100 15.6     5.28    561815552 144       apollon069
eca-rers2012/Problem14_label43_false-unreach-call_false-termination.c 15.1  4.57  760164352 121   apollon032 102    70.2   3969552384 1130   apollon067 12.7     3.87    548184064 115       apollon008
eca-rers2012/Problem14_label44_false-unreach-call_false-termination.c 16.2  4.93  897732608 127   apollon087 101    73.7   3694800896 1020   apollon151 16.1     5.16    563363840 131       apollon049
eca-rers2012/Problem14_label52_false-unreach-call_false-termination.c 13.5  4.28  700014592 127   apollon122 102    74.4   3726852096 1170   apollon087 15.6     4.94    557989888 139       apollon016
eca-rers2012/Problem14_label54_false-unreach-call_false-termination.c 15.3  5.00  880037888 124   apollon082 102    76.7   3713454080 1200   apollon070 14.2     4.99    548265984 133       apollon164
eca-rers2012/Problem14_label56_false-unreach-call_false-termination.c 15.1  4.70  748027904 135   apollon122 102    74.1   3738451968 1140   apollon150 16.0     5.59    571150336 133       apollon135
eca-rers2012/Problem14_label57_false-unreach-call_false-termination.c 13.7  3.95  656150528 101   apollon092 101    71.5   3784613888 1150   apollon032 13.2     4.10    554659840 118       apollon055
eca-rers2012/Problem14_label58_false-unreach-call_false-termination.c 15.1  4.65  794906624 124   apollon165 101    75.4   3706003456 1350   apollon016 14.7     4.67    559497216 123       apollon165
eca-rers2012/Problem15_label00_false-unreach-call.c 17.0  4.76  792743936 116   apollon073 102    69.0   3349651456 1060   apollon015 820       501       14999998464 7250       apollon011
eca-rers2012/Problem15_label02_false-unreach-call.c 15.0  4.11  638062592 102   apollon098 103    72.1   2986029056 1090   apollon162 926       555       14999998464 7450       apollon083
eca-rers2012/Problem15_label03_false-unreach-call.c 17.2  4.88  868380672 140   apollon152 102    65.0   2818785280 982   apollon128 17.4     5.69    571252736 154       apollon044
eca-rers2012/Problem15_label07_false-unreach-call.c 17.3  4.83  818794496 132   apollon113 102    68.5   2780704768 1050   apollon078 18.9     5.94    583028736 170       apollon057
eca-rers2012/Problem15_label09_false-unreach-call.c 17.1  5.03  795115520 120   apollon050 101    68.9   3168329728 1070   apollon085 17.3     5.66    579162112 150       apollon094
eca-rers2012/Problem15_label14_false-unreach-call.c 17.1  5.16  867979264 145   apollon126 103    72.7   3475062784 1240   apollon030 788       493       15002095616 8170       apollon021
eca-rers2012/Problem15_label15_false-unreach-call.c 15.3  4.13  748032000 118   apollon121 102    68.0   3205758976 1040   apollon107 17.5     5.43    588464128 146       apollon091
eca-rers2012/Problem15_label18_false-unreach-call_false-termination.c 15.4  4.42  810721280 125   apollon141 104    69.0   3187466240 1080   apollon156 866       502       14999998464 6800       apollon152
eca-rers2012/Problem15_label22_false-unreach-call.c 14.3  3.86  691404800 118   apollon093 104    70.7   3306246144 1130   apollon141 15.0     4.63    566140928 129       apollon168
eca-rers2012/Problem15_label23_false-unreach-call.c 18.2  5.08  865497088 123   apollon066 106    76.2   3867430912 1010   apollon123 950       617       10580688896 7870       apollon110
eca-rers2012/Problem15_label25_false-unreach-call.c 18.3  5.30  827236352 136   apollon113 102    66.2   3770150912 1020   apollon150 23.7     6.77    562847744 185       apollon035
eca-rers2012/Problem15_label29_false-unreach-call.c 14.0  3.95  708993024 99.4 apollon151 102    65.5   3823120384 1040   apollon102 933       557       15002062848 7750       apollon117
eca-rers2012/Problem15_label30_false-unreach-call.c 15.3  4.70  852795392 117   apollon075 102    67.7   3371020288 1030   apollon053 17.9     5.51    569253888 133       apollon137
eca-rers2012/Problem15_label33_false-unreach-call.c 16.6  4.67  825225216 137   apollon069 103    68.4   3066548224 1180   apollon007 783       491       14999998464 5960       apollon060
eca-rers2012/Problem15_label34_false-unreach-call.c 16.0  4.81  807563264 116   apollon075 102    66.0   2954731520 1130   apollon077 835       484       14999998464 6920       apollon008
eca-rers2012/Problem15_label37_false-unreach-call.c 16.3  4.21  769392640 124   apollon078 102    70.7   3305091072 1250   apollon014 16.1     5.43    575672320 152       apollon081
eca-rers2012/Problem15_label38_false-unreach-call.c 16.5  4.75  815120384 128   apollon107 101    67.5   2896482304 1120   apollon112 16.9     5.51    577458176 142       apollon103
eca-rers2012/Problem15_label39_false-unreach-call.c 16.7  4.56  817373184 118   apollon041 102    66.9   3178024960 1060   apollon072 17.9     5.87    571695104 146       apollon037
eca-rers2012/Problem15_label40_false-unreach-call.c 14.6  3.97  632045568 100   apollon054 103    69.4   2967285760 1080   apollon146 805       495       15002103808 6700       apollon141
eca-rers2012/Problem15_label41_false-unreach-call.c 17.9  4.94  838344704 149   apollon036 102    67.8   3190972416 1150   apollon091 17.3     5.76    571052032 153       apollon141
eca-rers2012/Problem15_label45_false-unreach-call.c 17.4  5.07  809918464 126   apollon119 102    66.4   3089002496 1270   apollon057 787       490       15000006656 6500       apollon055
eca-rers2012/Problem15_label47_false-unreach-call.c 16.9  4.60  804274176 127   apollon071 102    66.4   3288174592 993   apollon089 18.2     5.76    574021632 127       apollon063
eca-rers2012/Problem15_label48_false-unreach-call.c 15.2  4.17  686055424 109   apollon003 103    68.5   3558694912 1030   apollon045 744       467       14999998464 6340       apollon129
eca-rers2012/Problem15_label50_false-unreach-call.c 16.5  4.47  808116224 135   apollon057 101    63.2   3065655296 1020   apollon107 17.6     4.91    559087616 130       apollon003
eca-rers2012/Problem15_label51_false-unreach-call.c 17.2  5.28  864124928 135   apollon091 104    75.6   3846983680 1310   apollon016 955       579       13275693056 7780       apollon095
eca-rers2012/Problem16_label00_false-unreach-call.c 907    555     8807563264 6340   apollon157 112    89.7   1988337664 1170   apollon089 .0128  .0126  978944 .0108  apollon063
eca-rers2012/Problem16_label01_false-unreach-call.c 907    556     7394947072 6990   apollon136 102    62.2   3824599040 1070   apollon076 17.1     5.48    571809792 135       apollon050
eca-rers2012/Problem16_label03_false-unreach-call.c 917    552     12845879296 8790   apollon142 103    65.1   3852247040 1090   apollon152 18.0     6.17    580423680 155       apollon076
eca-rers2012/Problem16_label04_false-unreach-call.c 833    525     14999998464 7340   apollon009 106    69.9   3938975744 1050   apollon002 18.8     6.20    585543680 144       apollon133
eca-rers2012/Problem16_label05_false-unreach-call.c 898    547     14999998464 7690   apollon119 104    68.2   3425861632 1180   apollon019 17.9     6.24    585981952 154       apollon065
eca-rers2012/Problem16_label06_false-unreach-call.c 836    520     14999998464 7950   apollon062 101    67.9   3842584576 1100   apollon015 17.7     6.07    577642496 135       apollon143
eca-rers2012/Problem16_label08_false-unreach-call.c 765    486     14999998464 8380   apollon111 102    65.3   3888943104 968   apollon098 16.6     5.39    583258112 148       apollon094
eca-rers2012/Problem16_label14_false-unreach-call.c 851    526     14999998464 6900   apollon143 103    69.4   3708743680 1100   apollon072 17.4     6.10    577802240 139       apollon123
eca-rers2012/Problem16_label15_false-unreach-call.c 841    523     14999998464 6780   apollon157 103    61.1   3711295488 1010   apollon120 18.1     6.18    585670656 150       apollon042
eca-rers2012/Problem16_label18_false-unreach-call.c 911    557     13743030272 7300   apollon131 102    71.2   3740741632 1310   apollon016 18.1     6.60    579616768 156       apollon006
eca-rers2012/Problem16_label20_false-unreach-call.c 911    557     14367289344 8220   apollon065 112    89.3   1820188672 1210   apollon045 .0165  .0165  880640 .00500 apollon105
eca-rers2012/Problem16_label22_false-unreach-call.c 910    561     13509636096 9410   apollon111 103    70.5   3753250816 1230   apollon167 16.1     5.20    572878848 159       apollon033
eca-rers2012/Problem16_label27_false-unreach-call.c 911    553     14581972992 7170   apollon092 104    67.6   3831992320 1030   apollon079 14.6     4.65    572637184 111       apollon060
eca-rers2012/Problem16_label30_false-unreach-call.c 911    556     14397800448 7150   apollon041 105    72.1   3881861120 1040   apollon099 16.1     4.90    568438784 120       apollon058
eca-rers2012/Problem16_label31_false-unreach-call.c 911    552     14664404992 7810   apollon138 106    70.7   3890802688 1130   apollon102 17.2     5.81    574124032 143       apollon136
eca-rers2012/Problem16_label33_false-unreach-call.c 896    551     14999998464 8370   apollon011 105    65.7   3932274688 1110   apollon084 16.1     5.20    580722688 131       apollon003
eca-rers2012/Problem16_label37_false-unreach-call.c 911    558     14667677696 7360   apollon149 102    65.2   3914637312 948   apollon123 16.5     5.41    572076032 142       apollon064
eca-rers2012/Problem16_label38_false-unreach-call.c 910    554     14436118528 9710   apollon130 106    74.5   3923664896 1190   apollon093 16.5     5.26    579923968 139       apollon042
eca-rers2012/Problem16_label41_false-unreach-call.c 829    516     14999998464 6590   apollon151 103    67.9   3817046016 1060   apollon107 17.6     5.87    574685184 152       apollon028
eca-rers2012/Problem16_label43_false-unreach-call.c 896    549     14999998464 7730   apollon110 104    66.6   3683627008 954   apollon151 18.8     6.85    578072576 153       apollon153
eca-rers2012/Problem16_label44_false-unreach-call.c 910    560     14057078784 7850   apollon082 104    68.7   3871711232 1140   apollon084 18.2     5.57    584380416 138       apollon117
eca-rers2012/Problem16_label46_false-unreach-call.c 911    551     14181502976 7030   apollon012 106    67.8   3895021568 1130   apollon009 16.6     5.88    567009280 136       apollon150
eca-rers2012/Problem16_label51_false-unreach-call.c 909    558     13347450880 7740   apollon067 104    65.6   3796930560 996   apollon098 17.5     6.23    577302528 151       apollon032
eca-rers2012/Problem16_label52_false-unreach-call.c 854    533     14999998464 7380   apollon124 102    61.3   3854917632 1060   apollon141 15.7     5.19    572321792 136       apollon077
eca-rers2012/Problem16_label54_false-unreach-call.c 876    541     14999998464 7150   apollon100 102    65.9   3749208064 1010   apollon100 18.7     6.85    592326656 152       apollon073
eca-rers2012/Problem17_label04_false-unreach-call.c 20.9  7.26  1510969344 154   apollon104 102    69.9   3092475904 949   apollon054 628       425       14999998464 5450       apollon058
eca-rers2012/Problem17_label07_false-unreach-call.c 21.4  6.82  1487265792 181   apollon016 103    67.4   3428421632 1050   apollon095 599       411       14999998464 5210       apollon076
eca-rers2012/Problem17_label09_false-unreach-call.c 21.0  6.59  1304219648 144   apollon151 102    65.9   3544944640 1050   apollon082 20.1     5.73    574263296 166       apollon130
eca-rers2012/Problem17_label13_false-unreach-call.c 24.3  8.21  1508311040 199   apollon108 103    65.9   2767486976 1030   apollon107 950       600       14758862848 7970       apollon018
eca-rers2012/Problem17_label16_false-unreach-call.c 20.2  6.49  1456443392 148   apollon066 102    71.0   2543337472 1050   apollon042 634       429       14999998464 5330       apollon128
eca-rers2012/Problem17_label20_false-unreach-call.c 21.4  7.05  1501949952 169   apollon005 101    67.9   2766225408 1340   apollon039 17.9     5.93    592859136 157       apollon055
eca-rers2012/Problem17_label23_false-unreach-call.c 21.3  7.48  1509601280 169   apollon034 108    77.4   3378860032 1060   apollon127 682       458       14999998464 6440       apollon155
eca-rers2012/Problem17_label25_false-unreach-call.c 19.1  5.66  918073344 156