Tool CPAchecker 1.7-svn 29347M
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8
Host Unknown
OS Unknown
System Unknown
Date of execution 2018-10-10 06:30:00
Run set V+P-Test-noreuse_80_20 V+P-Test-cmc-uni-vp_80_20 V+P-Test-cmc-uni-pv_80_20 V+P-Test-cmc-bi_80_20 V+P-Test-precision_80_20 V+P-Test-continue_80_20 V+P-Test-cmc-uni-vp-reuse_80_20 V+P-Test-cmc-uni-pv-reuse_80_20 V+P-Test-cmc-bi-reuse_80_20
Options -heap 10000M -benchmark -setprop log.consoleLevel=SEVERE -spec config/specification/sv-comp-terminatingfunctions.spc -testCaseGeneration-interleaved-value+predicate-noreuse -setprop interleavedAlgorithm.configFiles=config/testCaseGeneration-valueAnalysis.properties::noreuse_80,config/testCaseGeneration-predicateAnalysis.properties::noreuse_20 -heap 10000M -benchmark -setprop log.consoleLevel=SEVERE -spec config/specification/sv-comp-terminatingfunctions.spc -testCaseGeneration-interleaved-value+predicate-cmc-v2p -setprop interleavedAlgorithm.configFiles=config/components/testCaseGeneration-value-generate-cmc-condition.properties::noreuse_80,config/components/testCaseGeneration-predicate-use-cmc-condition.properties::noreuse_20 -setprop interleavedAlgorithm.intermediateStatistics=EXECUTE -heap 10000M -benchmark -setprop log.consoleLevel=SEVERE -spec config/specification/sv-comp-terminatingfunctions.spc -testCaseGeneration-interleaved-value+predicate-cmc-p2v -setprop interleavedAlgorithm.configFiles=config/components/testCaseGeneration-value-use-cmc-condition.properties::noreuse_80,config/components/testCaseGeneration-predicate-generate-cmc-condition.properties::noreuse_20 -setprop interleavedAlgorithm.intermediateStatistics=EXECUTE -heap 10000M -benchmark -setprop log.consoleLevel=SEVERE -spec config/specification/sv-comp-terminatingfunctions.spc -testCaseGeneration-interleaved-value+predicate-cmc-bidirectional -setprop interleavedAlgorithm.configFiles=config/components/testCaseGeneration-value-generate-and-use-cmc-condition.properties::noreuse_80,config/components/testCaseGeneration-predicate-generate-and-use-cmc-condition.properties::noreuse_20 -setprop interleavedAlgorithm.intermediateStatistics=EXECUTE -heap 10000M -benchmark -setprop log.consoleLevel=SEVERE -spec config/specification/sv-comp-terminatingfunctions.spc -testCaseGeneration-interleaved-value+predicate-precision-reuse -setprop interleavedAlgorithm.configFiles=config/testCaseGeneration-valueAnalysis.properties::reuse-precision_80,config/testCaseGeneration-predicateAnalysis.properties::reuse-precision_20 -heap 10000M -benchmark -setprop log.consoleLevel=SEVERE -spec config/specification/sv-comp-terminatingfunctions.spc -testCaseGeneration-interleaved-value+predicate-continue -setprop interleavedAlgorithm.configFiles=config/testCaseGeneration-valueAnalysis.properties::continue_80,config/testCaseGeneration-predicateAnalysis.properties::continue_20 -heap 10000M -benchmark -setprop log.consoleLevel=SEVERE -spec config/specification/sv-comp-terminatingfunctions.spc -testCaseGeneration-interleaved-value+predicate-cmc-v2p -setprop interleavedAlgorithm.configFiles=config/components/testCaseGeneration-value-generate-cmc-condition.properties::continue_80,config/components/testCaseGeneration-predicate-use-cmc-condition-precision.properties::noreuse_20 -setprop interleavedAlgorithm.intermediateStatistics=EXECUTE -heap 10000M -benchmark -setprop log.consoleLevel=SEVERE -spec config/specification/sv-comp-terminatingfunctions.spc -testCaseGeneration-interleaved-value+predicate-cmc-p2v -setprop interleavedAlgorithm.configFiles=config/components/testCaseGeneration-value-use-cmc-condition-precision.properties::noreuse_80,config/components/testCaseGeneration-predicate-generate-cmc-condition.properties::continue_20 -setprop interleavedAlgorithm.intermediateStatistics=EXECUTE -heap 10000M -benchmark -setprop log.consoleLevel=SEVERE -spec config/specification/sv-comp-terminatingfunctions.spc -testCaseGeneration-interleaved-value+predicate-cmc-bidirectional -setprop interleavedAlgorithm.configFiles=config/components/testCaseGeneration-value-generate-and-use-cmc-condition-precision.properties::noreuse_80,config/components/testCaseGeneration-predicate-generate-and-use-cmc-condition-precision.properties::noreuse_20 -setprop interleavedAlgorithm.intermediateStatistics=EXECUTE
sv-benchmarks/c/ status cputime (s) walltime (s) memUsage cpuenergy (J) #CoveredGoals #Goals host status cputime (s) walltime (s) memUsage cpuenergy (J) #CoveredGoals #Goals host status cputime (s) walltime (s) memUsage cpuenergy (J) #CoveredGoals #Goals host status cputime (s) walltime (s) memUsage cpuenergy (J) #CoveredGoals #Goals host status cputime (s) walltime (s) memUsage cpuenergy (J) #CoveredGoals #Goals host status cputime (s) walltime (s) memUsage cpuenergy (J) #CoveredGoals #Goals host status cputime (s) walltime (s) memUsage cpuenergy (J) #CoveredGoals #Goals host status cputime (s) walltime (s) memUsage cpuenergy (J) #CoveredGoals #Goals host status cputime (s) walltime (s) memUsage cpuenergy (J) #CoveredGoals #Goals host
array-examples/data_structures_set_multi_proc_false-unreach-call_ground.i 901    811     8589975552 7800   7 18 apollon072 904    708     5487882240 7930   7 18 apollon038 901    789     9393008640 7480   7 18 apollon053 905    746     7413714944 8120   7 18 apollon037 902    799     7527927808 9440   7 18 apollon080 901    750     6912479232 7480   7 18 apollon041 905    620     8510152704 7560   apollon007 902    793     6139944960 7690   7 18 apollon067 904    770     9316888576 8090   7 18 apollon067
array-examples/sorting_bubblesort_false-unreach-call2_ground.i 901    869     5841625088 11800   4 12 apollon019 901    847     4204638208 9040   4 12 apollon157 901    866     5860270080 13000   4 12 apollon161 901    840     4356640768 11600   4 12 apollon106 901    871     5004316672 13200   4 12 apollon021 901    869     2127364096 9110   4 12 apollon155 901    851     4224872448 10700   4 12 apollon167 901    867     4500385792 9870   4 12 apollon089 901    841     4180033536 8720   4 12 apollon101
array-examples/sorting_bubblesort_false-unreach-call_ground.i 901    870     5846904832 9760   4 12 apollon022 902    847     4326543360 12200   4 12 apollon014 901    866     5873786880 12400   4 12 apollon130 901    836     4464914432 10800   4 12 apollon147 901    871     5031133184 11900   4 12 apollon065 901    870     2042302464 9000   4 12 apollon098 901    847     4277993472 9950   4 12 apollon046 901    867     4481363968 8470   4 12 apollon022 901    844     4137943040 9460   4 12 apollon141
array-examples/sorting_selectionsort_false-unreach-call2_ground.i 901    869     6041366528 13000   4 20 apollon036 901    856     4296671232 12100   4 20 apollon081 901    865     6055571456 10800   4 20 apollon119 901    851     4352585728 10000   4 20 apollon060 901    870     5040840704 11600   4 20 apollon114 901    865     2601848832 11400   4 20 apollon059 901    861     4098494464 10400   4 20 apollon050 901    870     4480655360 9290   4 20 apollon002 901    847     4228886528 9020   4 20 apollon060
array-examples/sorting_selectionsort_false-unreach-call_ground.i 901    871     6043496448 13000   4 20 apollon036 901    857     4185559040 12300   4 20 apollon028 901    865     6059307008 13800   4 20 apollon056 901    853     4221083648 11400   4 20 apollon048 901    871     5074460672 8800   4 20 apollon063 901    865     2494357504 9420   4 20 apollon097 901    861     4303745024 9680   4 20 apollon144 901    869     4483469312 11800   4 20 apollon006 901    849     4233060352 11000   4 20 apollon085
array-examples/standard_allDiff2_false-unreach-call_ground.i 901    869     8739074048 13400   7 18 apollon057 901    846     4286615552 10300   7 18 apollon086 901    865     8670420992 12500   7 18 apollon160 901    843     4291940352 9380   7 18 apollon164 901    869     8713437184 10400   7 18 apollon026 901    868     3640393728 12300   7 18 apollon088 901    850     4276293632 9570   7 18 apollon168 901    867     6145597440 12200   7 18 apollon140 901    845     4251967488 9180   7 18 apollon150
array-examples/standard_copy1_false-unreach-call_ground.i 901    872     6619701248 10700   1 8 apollon113 901    862     4114759680 10200   1 8 apollon108 901    870     6608736256 8400   1 8 apollon060 901    853     4272173056 8660   1 8 apollon054 901    872     4875325440 12200   1 8 apollon106 901    868     3176665088 8510   1 8 apollon135 901    861     4182003712 11700   1 8 apollon021 901    874     3757600768 9900   1 8 apollon095 901    851     4292726784 10400   1 8 apollon068
array-examples/standard_copy2_false-unreach-call_ground.i 901    871     7196332032 11100   1 10 apollon114 901    861     4262424576 9860   1 10 apollon099 901    869     7169863680 8610   1 10 apollon032 901    850     4340391936 9870   1 10 apollon081 901    874     5431779328 9930   1 10 apollon150 901    873     2784620544 8070   1 10 apollon089 901    863     4105289728 9200   1 10 apollon127 901    874     4394819584 10100   1 10 apollon072 901    850     4459323392 12300   1 10 apollon148
array-examples/standard_copy3_false-unreach-call_ground.i 901    872     7580495872 10800   1 12 apollon126 901    860     4278734848 9790   1 12 apollon045 901    869     7631654912 11600   1 12 apollon064 901    850     4321878016 7660   1 12 apollon158 901    874     5298487296 9260   1 12 apollon022 901    873     2514657280 8300   1 12 apollon096 901    859     4326293504 9710   1 12 apollon058 901    876     4595822592 11100   1 12 apollon014 901    848     4432400384 12200   1 12 apollon161
array-examples/standard_copy4_false-unreach-call_ground.i 901    872     7885348864 11400   1 14 apollon052 901    859     4291252224 10300   1 14 apollon156 901    867     7833063424 9200   1 14 apollon095 901    846     4425154560 9300   1 14 apollon109 901    877     5638676480 12500   1 14 apollon036 901    876     2017902592 8490   1 14 apollon003 901    857     4338921472 8270   1 14 apollon103 901    876     4335484928 9020   1 14 apollon096 901    848     4469473280 10700   1 14 apollon010
array-examples/standard_copy5_false-unreach-call_ground.i 901    870     8079396864 11600   1 16 apollon019 901    861     4402364416 9730   1 16 apollon013 901    866     8252657664 12600   1 16 apollon044 901    845     4519530496 9750   1 16 apollon122 901    876     6180708352 9680   1 16 apollon089 901    881     3085832192 11400   1 16 apollon064 901    860     4211523584 9660   1 16 apollon049 901    876     4700999680 10600   1 16 apollon087 901    847     4480225280 10200   1 16 apollon065
array-examples/standard_copy6_false-unreach-call_ground.i 901    870     8214769664 10400   1 18 apollon108 901    859     4190281728 11600   1 18 apollon014 901    865     8262983680 8830   1 18 apollon118 901    845     4534407168 9720   1 18 apollon075 901    877     6326046720 10000   1 18 apollon037 901    881     3010232320 8870   1 18 apollon092 901    857     4360007680 9520   1 18 apollon117 901    876     4521578496 9250   1 18 apollon105 901    842     4510093312 9840   1 18 apollon046
array-examples/standard_copy7_false-unreach-call_ground.i 901    870     8400449536 9780   1 20 apollon089 901    857     4224704512 10300   1 20 apollon107 901    866     8268587008 9640   1 20 apollon128 902    848     4266672128 8200   1 20 apollon055 901    878     6564732928 10100   1 20 apollon086 901    882     2903498752 9020   1 20 apollon136 901    853     4299440128 8050   1 20 apollon159 901    877     4731813888 9780   1 20 apollon133 901    844     4485128192 9690   1 20 apollon027
array-examples/standard_copy8_false-unreach-call_ground.i 901    871     8631439360 8970   1 22 apollon139 901    857     4321353728 9600   1 22 apollon003 901    868     8628031488 9270   1 22 apollon043 901    842     4627472384 9010   1 22 apollon143 901    878     6673772544 10800   1 22 apollon061 901    882     3122835456 9300   1 22 apollon154 901    856     4484362240 8510   1 22 apollon146 901    879     4959461376 8760   1 22 apollon008 901    844     4434198528 7970   1 22 apollon101
array-examples/standard_copy9_false-unreach-call_ground.i 901    867     8513290240 10000   1 24 apollon099 901    854     4367482880 9610   1 24 apollon143 901    867     8468832256 8520   1 24 apollon012 902    841     4611342336 9070   1 24 apollon096 901    881     6803845120 9950   1 24 apollon117 901    884     4372213760 8760   1 24 apollon115 901    855     4463255552 10200   1 24 apollon017 901    880     4943921152 11200   1 24 apollon052 901    839     4614455296 8780   1 24 apollon032
array-examples/standard_copyInitSum2_false-unreach-call_ground.i 901    885     3670532096 12100   1 10 apollon032 901    881     2435284992 10400   1 10 apollon092 901    882     3469885440 13300   1 10 apollon077 901    879     2434539520 12100   1 10 apollon102 901    890     2334097408 11900   1 10 apollon135 901    890     1548013568 11800   1 10 apollon012 901    880     3014787072 11200   1 10 apollon013 901    874     3761274880 11400   1 10 apollon065 901    852     4294483968 12000   1 10 apollon088
array-examples/standard_init1_false-unreach-call_ground.i 901    885     2477432832 11800   1 6 apollon050 901    883     1586253824 11900   1 6 apollon119 901    881     2516307968 13500   1 6 apollon094 901    878     1657974784 11000   1 6 apollon089 901    889     1772695552 11800   1 6 apollon157 901    891     1111834624 13700   1 6 apollon033 901    881     2204172288 11300   1 6 apollon115 901    873     3922321408 9740   1 6 apollon116 901    856     4113043456 8570   1 6 apollon074
array-examples/standard_init2_false-unreach-call_ground.i 901    883     2518429696 11200   1 8 apollon109 901    883     1679659008 11700   1 8 apollon110 901    879     2488037376 13500   1 8 apollon126 901    879     1678467072 11600   1 8 apollon144 901    889     1673011200 12900   1 8 apollon010 901    891     1222848512 13100   1 8 apollon006 901    881     2217095168 12800   1 8 apollon020 901    873     3413032960 9930   1 8 apollon121 901    855     4273078272 9830   1 8 apollon083
array-examples/standard_init3_false-unreach-call_ground.i 901    885     2466349056 12200   1 10 apollon087 901    882     1920507904 11300   1 10 apollon099 901    881     2452541440 12100   1 10 apollon118 901    878     1599762432 13200   1 10 apollon167 901    890     1772818432 12000   1 10 apollon037 901    891     1177866240 13500   1 10 apollon122 901    881     2219311104 11700   1 10 apollon012 901    873     3532218368 9760   1 10 apollon109 901    853     4287242240 11200   1 10 apollon077
array-examples/standard_init4_false-unreach-call_ground.i 901    886     2520387584 11800   1 12 apollon026 901    882     1642754048 12500   1 12 apollon071 901    883     2750660608 13800   1 12 apollon148 901    879     1604534272 9510   1 12 apollon063 901    889     1977831424 12200   1 12 apollon168 901    891     1147256832 11900   1 12 apollon133 901    881     2300817408 11800   1 12 apollon058 901    874     3636195328 10700   1 12 apollon082 901    855     4211597312 9330   1 12 apollon127
array-examples/standard_init5_false-unreach-call_ground.i 901    885     2467741696 11900   1 14 apollon001 901    881     1675403264 11100   1 14 apollon134 901    880     2402578432 11500   1 14 apollon073 901    879     1570713600 13900   1 14 apollon080 901    890     1765273600 12300   1 14 apollon082 901    891     1149644800 11500   1 14 apollon079 901    880     2345639936 13300   1 14 apollon077 901    874     4033359872 8970   1 14 apollon144 901    853     4190171136 9330   1 14 apollon127
array-examples/standard_init6_false-unreach-call_ground.i 901    886     2492608512 11800   1 16 apollon120 901    881     1743474688 11400   1 16 apollon115 901    879     2467209216 14400   1 16 apollon021 901    881     1560260608 10900   1 16 apollon002 901    889     1785409536 14800   1 16 apollon056 901    891     1138790400 13600   1 16 apollon059 901    880     2259038208 11200   1 16 apollon083 901    873     3796180992 9740   1 16 apollon109 901    856     4129935360 11400   1 16 apollon077
array-examples/standard_init7_false-unreach-call_ground.i 901    885     2489421824 12100   1 18 apollon145 901    880     1727741952 10600   1 18 apollon151 901    883     2816274432 13600   1 18 apollon126 901    878     1713860608 11600   1 18 apollon073 901    889     1821773824 11000   1 18 apollon117 901    891     1301344256 13400   1 18 apollon081 901    880     2238369792 12500   1 18 apollon071 901    873     3663917056 11800   1 18 apollon112 901    856     4169302016 9160   1 18 apollon025
array-examples/standard_init8_false-unreach-call_ground.i 901    885     2466795520 11300   1 20 apollon099 901    881     1755844608 12100   1 20 apollon018 901    879     2467667968 11800   1 20 apollon001 901    876     1595162624 13700   1 20 apollon125 901    889     2087723008 12200   1 20 apollon168 901    891     1102217216 12300   1 20 apollon070 901    880     2151653376 13300   1 20 apollon059 901    873     3422183424 10200   1 20 apollon004 901    856     4093001728 9780   1 20 apollon110
array-examples/standard_init9_false-unreach-call_ground.i 901    883     2477993984 11400   1 22 apollon086 901    881     1711415296 11900   1 22 apollon156 901    880     2471731200 13700   1 22 apollon088 901    879     1593077760 12000   1 22 apollon078 901    889     1822494720 11600   1 22 apollon137 901    891     1194766336 10700   1 22 apollon029 901    879     2208833536 12100   1 22 apollon118 901    874     4148346880 11400   1 22 apollon052 901    856     4228775936 9580   1 22 apollon034
array-examples/standard_minInArray_false-unreach-call_ground.i 901    871     4644294656 10800   3 8 apollon084 901    855     4044742656 10800   3 8 apollon027 901    866     5710938112 9310   3 8 apollon031 901    850     4215140352 9680   3 8 apollon034 901    871     4366954496 10600   3 8 apollon004 901    868     1506684928 9070   3 8 apollon001 901    855     4161777664 8880   3 8 apollon134 901    869     4264300544 11500   3 8 apollon125 901    847     4198928384 7990   3 8 apollon139
array-examples/standard_partition_false-unreach-call_ground.i 901    869     6721847296 8000   3 14 apollon063 901    852     5028200448 9870   3 14 apollon099 901    864     6811099136 11400   3 14 apollon094 901    848     5385863168 10300   3 14 apollon125 901    871     5411196928 9660   3 14 apollon098 901    878     2747826176 8010   3 14 apollon093 901    853     4115423232 9220   3 14 apollon035 901    871     4466974720 8280   3 14 apollon104 901    841     4450365440 9690   3 14 apollon168
array-examples/standard_running_false-unreach-call.i 901    867     6366584832 11200   3 16 apollon012 901    858     4229341184 10400   3 16 apollon025 901    865     6396702720 10800   3 16 apollon115 901    849     4054319104 10300   3 16 apollon060 901    871     5079052288 11400   3 16 apollon168 901    870     3167956992 12500   3 16 apollon081 901    860     4203368448 11700   3 16 apollon017 901    869     4353695744 9760   3 16 apollon155 901    836     4520878080 11100   3 16 apollon005
array-examples/data_structures_set_multi_proc_trivial_true-unreach-call_ground_true-termination.i 901    873     8698699776 12300   5 22 apollon160 901    853     4106416128 8400   5 22 apollon138 901    866     8623067136 8620   5 22 apollon055 901    834     4050317312 8210   5 22 apollon159 901    873     6157824000 10100   5 22 apollon121 901    874     4239147008 7100   5 22 apollon104 901    843     4418490368 8150   5 22 apollon061 901    871     5210902528 9410   5 22 apollon113 901    834     4056264704 8420   5 22 apollon008
array-examples/data_structures_set_multi_proc_true-unreach-call_ground.i 901    846     8265031680 10000   8 18 apollon156 901    793     6668931072 10700   apollon071 901    831     8601280512 12200   8 18 apollon088 901    797     7289311232 8560   8 18 apollon152 901    853     6570672128 10500   8 18 apollon165 902    849     5483421696 7490   8 18 apollon151 906    778     5852061696 9410   8 18 apollon160 903    795     6111465472 8580   apollon125 903    771     8531075072 8410   8 18 apollon073
array-examples/relax_true-unreach-call.i 13.0  3.74  408203264 110   apollon147 13.1  3.70  402472960 99.3 apollon098 13.4  3.75  410890240 106   apollon149 13.4  3.76  481755136 109   apollon075 13.2  3.72  396660736 111   apollon135 13.6  3.90  483450880 119   apollon076 13.2  3.74  491941888 119   apollon114 901    704     5803220992 9720   32 48 apollon060 902    692     5927743488 9720   32 48 apollon053
array-examples/sanfoundry_02_true-unreach-call_ground.i 901    867     5561626624 11000   7 18 apollon163 944    617     8416112640 7150   7 18 apollon063 901    863     5621911552 10400   7 18 apollon107 901    652     7975030784 10000   7 18 apollon014 901    871     4995420160 11700   7 18 apollon065 901    869     2590834688 9250   7 18 apollon119 901    840     4352380928 8340   7 18 apollon166 901    869     4281991168 10900   7 18 apollon017 901    644     8228413440 8870   7 18 apollon129
array-examples/sanfoundry_10_true-unreach-call_ground.i 901    871     4052742144 11000   7 16 apollon082 901    873     3663876096 10600   7 16 apollon107 901    870     4490280960 11100   7 16 apollon027 901    870     4171845632 10700   7 16 apollon051 901    870     3982340096 10900   7 16 apollon119 901    860     1372008448 9900   7 16 apollon110 901    873     3039870976 8950   7 16 apollon015 901    872     3973144576 10200   7 16 apollon048 901    869     4219129856 9450   7 16 apollon153
array-examples/sanfoundry_24_true-unreach-call_true-termination.i 83.9  68.7   1992093696 1200   9 10 apollon080 85.0  69.6   2141728768 959   9 10 apollon098 84.0  68.3   2208739328 1140   9 10 apollon008 84.9  69.7   2234527744 1290   9 10 apollon039 84.0  69.5   2135011328 965   9 10 apollon116 84.2  69.0   2345082880 996   9 10 apollon131 84.8  69.1   2268192768 959   9 10 apollon117 84.1  70.2   2184212480 1160   9 10 apollon081 84.0  70.1   2156064768 1030   9 10 apollon032
array-examples/sanfoundry_27_true-unreach-call_ground.i 901    870     5696700416 9990   3 8 apollon143 901    850     4226854912 9250   3 8 apollon104 901    865     5766086656 10000   3 8 apollon083 901    845     4324462592 8810   3 8 apollon029 901    871     5010096128 10900   3 8 apollon162 901    870     3183452160 8840   3 8 apollon127 901    854     4078493696 8380   3 8 apollon126 901    869     4316033024 11900   3 8 apollon024 901    848     4291878912 9690   3 8 apollon162
array-examples/sanfoundry_43_true-unreach-call_ground.i 901    873     4441997312 10200   1 6 apollon003 901    867     4055494656 9960   1 6 apollon101 901    867     4497563648 8630   1 6 apollon055 901    857     4260417536 9900   1 6 apollon155 901    872     3999461376 10300   1 6 apollon035 901    863     2296483840 8480   1 6 apollon096 901    866     4144451584 8020   1 6 apollon166 901    873     3288313856 9960   1 6 apollon110 901    858     4193419264 9630   1 6 apollon066
array-examples/sorting_bubblesort_true-unreach-call_ground.i 901    868     5916864512 10400   4 12 apollon034 901    846     4290027520 9090   4 12 apollon123 901    864     5881819136 10700   4 12 apollon155 901    842     4349870080 11100   4 12 apollon052 901    872     5042868224 11100   4 12 apollon163 901    870     1949126656 12300   4 12 apollon111 901    850     4103380992 8040   4 12 apollon124 901    870     4464336896 8720   4 12 apollon158 901    839     4428963840 11700   4 12 apollon005
array-examples/sorting_selectionsort_true-unreach-call_ground.i 901    870     6024650752 11100   4 20 apollon153 901    857     4195688448 13100   4 20 apollon161 901    865     6077022208 10800   4 20 apollon037 901    851     4340453376 11000   4 20 apollon082 901    870     5091319808 11000   4 20 apollon110 901    866     1991254016 10900   4 20 apollon162 901    859     4163358720 11100   4 20 apollon020 901    869     4471885824 9680   4 20 apollon126 901    846     4275482624 9760   4 20 apollon109
array-examples/standard_compareModified_true-unreach-call_ground.i 901    870     6794256384 10700   3 12 apollon001 901    841     4495708160 10900   3 12 apollon017 901    861     6720385024 8090   3 12 apollon123 901    839     4440199168 9000   3 12 apollon143 901    874     5412622336 9760   3 12 apollon128 901    878     2401886208 8960   3 12 apollon034 901    851     4323627008 8180   3 12 apollon040 901    870     4463611904 10200   3 12 apollon162 901    840     4522094592 10700   3 12 apollon069
array-examples/standard_compare_true-unreach-call_ground.i 901    867     6380097536 9420   3 10 apollon166 901    854     4162867200 10300   3 10 apollon168 901    862     6309810176 9030   3 10 apollon159 901    845     4323676160 12100   3 10 apollon160 901    872     5118906368 10800   3 10 apollon049 901    871     3977650176 7540   3 10 apollon158 901    853     4261335040 9840   3 10 apollon091 901    871     4376895488 12300   3 10 apollon140 901    843     4386529280 9800   3 10 apollon083
array-examples/standard_copy1_true-unreach-call_ground.i 901    871     6634999808 11600   1 8 apollon065 901    865     4114345984 9810   1 8 apollon003 901    870     6719070208 8980   1 8 apollon054 901    854     4316254208 9610   1 8 apollon110 901    874     5208551424 8870   1 8 apollon123 901    869     2779353088 8750   1 8 apollon051 901    866     4146810880 9650   1 8 apollon075 901    874     4042039296 8860   1 8 apollon048 901    855     4259364864 9750   1 8 apollon090
array-examples/standard_copy2_true-unreach-call_ground.i 901    871     7167508480 10400   1 10 apollon058 901    861     4226318336 11300   1 10 apollon155 901    871     7195697152 8540   1 10 apollon040 901    853     4234248192 8830   1 10 apollon150 901    873     4967051264 11000   1 10 apollon018 901    872     1791139840 9560   1 10 apollon027 901    860     4204761088 10000   1 10 apollon155 901    875     4120768512 13400   1 10 apollon057 901    853     4258668544 9070   1 10 apollon102
array-examples/standard_copy3_true-unreach-call_ground.i 901    874     7579246592 12800   1 12 apollon021 901    862     4263235584 10400   1 12 apollon075 901    869     7597965312 12200   1 12 apollon088 901    850     4469288960 10000   1 12 apollon049 901    874     5255016448 10600   1 12 apollon015 901    872     2591723520 7580   1 12 apollon042 901    861     4303720448 8730   1 12 apollon023 901    875     4275085312 11000   1 12 apollon052 901    850     4474839040 10000   1 12 apollon099
array-examples/standard_copy4_true-unreach-call_ground.i 901    873     7869931520 9780   1 14 apollon089 901    855     4205121536 10200   1 14 apollon153 901    870     7883231232 10700   1 14 apollon047 901    849     4373630976 9090   1 14 apollon108 901    876     5564334080 10500   1 14 apollon107 901    878     2746503168 9490   1 14 apollon038 901    858     4328697856 9300   1 14 apollon098 901    874     4225859584 8410   1 14 apollon145 901    848     4505800704 12300   1 14 apollon161
array-examples/standard_copy5_true-unreach-call_ground.i 901    871     8149106688 10300   1 16 apollon090 901    861     4372619264 12700   1 16 apollon161 901    866     8216104960 9140   1 16 apollon151 901    846     4557066240 9840   1 16 apollon099 901    875     6042939392 11200   1 16 apollon108 901    881     3496587264 11000   1 16 apollon077 901    860     4446621696 12400   1 16 apollon044 901    878     4687138816 9260   1 16 apollon053 901    846     4579102720 9800   1 16 apollon035
array-examples/standard_copy6_true-unreach-call_ground.i 901    870     8283033600 9230   1 18 apollon092 901    856     4293361664 9870   1 18 apollon023 901    866     8324284416 9760   1 18 apollon013 902    847     4536868864 9170   1 18 apollon041 901    877     6000812032 9780   1 18 apollon127 901    880     2901569536 9290   1 18 apollon086 901    861     4190228480 12100   1 18 apollon080 901    875     4722593792 8900   1 18 apollon029 901    848     4473610240 11600   1 18 apollon064
array-examples/standard_copy7_true-unreach-call_ground.i 901    867     8280973312 9260   1 20 apollon157 901    856     4377018368 9930   1 20 apollon115 901    865     8566333440 10000   1 20 apollon095 901    849     4464656384 9590   1 20 apollon154 901    879     6585323520 10900   1 20 apollon141 901    883     3056099328 8180   1 20 apollon074 901    860     4383555584 7630   1 20 apollon123 901    877     4835737600 10300   1 20 apollon017 901    847     4494508032 10900   1 20 apollon091
array-examples/standard_copy8_true-unreach-call_ground.i 901    866     8696254464 10300   1 22 apollon144 901    859     4240699392 10300   1 22 apollon051 901    870     8539529216 9270   1 22 apollon135 901    847     4580065280 9620   1 22 apollon119 901    879     6595407872 12000   1 22 apollon122 901    883     3105873920 10200   1 22 apollon083 901    855     4498944000 8760   1 22 apollon093 901    879     4877447168 9550   1 22 apollon168 901    843     4580462592 11300   1 22 apollon005
array-examples/standard_copy9_true-unreach-call_ground.i 901    868     8438681600 10500   1 24 apollon120 901    852     4315324416 9950   1 24 apollon152 901    868     8339099648 10800   1 24 apollon114 901    844     4641484800 10000   1 24 apollon061 901    879     6809993216 9920   1 24 apollon053 901    884     4384174080 10700   1 24 apollon047 901    855     4416704512 10500   1 24 apollon058 901    877     4931731456 10800   1 24 apollon125 901    843     4578254848 9620   1 24 apollon086
array-examples/standard_copyInitSum2_true-unreach-call_ground.i 901    885     3493810176 13000   1 10 apollon164 901    883     2317021184 10900   1 10 apollon143 901    885     4025241600 11700   1 10 apollon026 901    878     2311544832 12400   1 10 apollon071 901    890     2286002176 13200   1 10 apollon019 901    891     1607446528 14900   1 10 apollon056 901    881     3167444992 11600   1 10 apollon034 901    873     3541323776 9200   1 10 apollon008 901    854     4274900992 10000   1 10 apollon162
array-examples/standard_copyInitSum3_true-unreach-call_ground.i 901    885     3670732800 12100   1 12 apollon022 901    880     2365923328 10400   1 12 apollon123 901    882     3332624384 12900   1 12 apollon064 901    879     2414862336 11300   1 12 apollon066 901    890     2346147840 10600   1 12 apollon029 901    891     1390678016 11700   1 12 apollon119 901    880     3166593024 11200   1 12 apollon066 901    874     3645747200 11000   1 12 apollon147 901    854     4264755200 12900   1 12 apollon111
array-examples/standard_copyInitSum_true-unreach-call_ground.i 901    883     3460890624 13200   1 10 apollon122 901    880     2310856704 12000   1 10 apollon018 901    881     3376824320 12900   1 10 apollon091 901    877     2260525056 11600   1 10 apollon107 901    889     2290675712 11800   1 10 apollon034 901    890     1532022784 11200   1 10 apollon100 901    881     2879066112 11000   1 10 apollon134 901    873     3780620288 8840   1 10 apollon146 901    856     4088786944 9140   1 10 apollon141
array-examples/standard_copyInit_true-unreach-call_ground.i 901    885     3473022976 12200   1 8 apollon022 901    880     2427850752 13300   1 8 apollon122 901    882     3479023616 11100   1 8 apollon127 901    877     2201001984 11600   1 8 apollon012 901    889     2234388480 11900   1 8 apollon058 901    891     1517678592 12000   1 8 apollon001 901    880     2847899648 12200   1 8 apollon031 901    875     4190175232 13600   1 8 apollon056 901    853     4275605504 10200   1 8 apollon072
array-examples/standard_find_true-unreach-call_ground.i 901    872     5828567040 13000   1 10 apollon016 901    866     4126228480 12300   1 10 apollon130 901    870     5869355008 9940   1 10 apollon109 901    857     4165394432 9220   1 10 apollon074 901    870     4351369216 12600   1 10 apollon125 901    865     2206896128 10100   1 10 apollon084 901    865     4176162816 10900   1 10 apollon125 901    873     3689213952 9150   1 10 apollon118 901    856     4170203136 10600   1 10 apollon046
array-examples/standard_init1_true-unreach-call_ground.i 901    885     2514345984 13500   1 6 apollon059 901    881     1672839168 12800   1 6 apollon024 901    880     2478813184 11700   1 6 apollon073 901    879     1640689664 13300   1 6 apollon155 901    888     1700102144 14100   1 6 apollon008 901    891     1112133632 13400   1 6 apollon130 901    884     2192195584 11700   1 6 apollon110 901    874     3782324224 10500   1 6 apollon122 901    856     4127035392 9090   1 6 apollon023
array-examples/standard_init2_true-unreach-call_ground.i 901    885     2529538048 13700   1 8 apollon014 901    882     1771450368 11200   1 8 apollon083 901    879     2489540608 12600   1 8 apollon020 901    879     1668169728 12900   1 8 apollon064 901    889     1840087040 13000   1 8 apollon091 901    890     1156812800 12400   1 8 apollon093 901    881     2139848704 14800   1 8 apollon056 901    873     3523092480 9150   1 8 apollon055 901    853     4282871808 9400   1 8 apollon168
array-examples/standard_init3_true-unreach-call_ground.i 901    884     2535424000 12400   1 10 apollon004 901    881     1864114176 12100   1 10 apollon067 901    880     2463227904 11100   1 10 apollon041 901    878     1614225408 13400   1 10 apollon122 901    889     1992159232 11800   1 10 apollon131 901    891     1205379072 11400   1 10 apollon099 901    881     2177761280 11700   1 10 apollon050 901    873     3424718848 8240   1 10 apollon157 901    855     4174852096 9390   1 10 apollon003
array-examples/standard_init4_true-unreach-call_ground.i 901    885     2484666368 12000   1 12 apollon095 901    883     1983864832 12700   1 12 apollon046 901    880     2459918336 12800   1 12 apollon048 901    877     1592557568 11300   1 12 apollon023 901    890     1735045120 13900   1 12 apollon088 901    891     1197412352 13200   1 12 apollon068 901    879     2147823616 14300   1 12 apollon021 901    875     4179636224 9820   1 12 apollon026 901    857     4121624576 8830   1 12 apollon093
array-examples/standard_init5_true-unreach-call_ground.i 901    884     2528567296 12000   1 14 apollon165 901    880     1669107712 11300   1 14 apollon099 901    881     2553892864 11800   1 14 apollon105 901    877     1685950464 12400   1 14 apollon071 901    889     1807646720 12400   1 14 apollon038 901    891     1092526080 11800   1 14 apollon131 901    882     2277314560 12100   1 14 apollon067 901    873     3652898816 8770   1 14 apollon097 901    853     4287864832 10900   1 14 apollon065
array-examples/standard_init6_true-unreach-call_ground.i 901    885     2513563648 12500   1 16 apollon009 901    879     1793339392 11900   1 16 apollon049 901    879     2436628480 12500   1 16 apollon152 901    877     1582575616 11100   1 16 apollon104 901    889     1687617536 10800   1 16 apollon139 901    891     1187405824 12300   1 16 apollon093 901    881     2228867072 11400   1 16 apollon025 901    874     3586428928 10400   1 16 apollon095 901    853     4294537216 9990   1 16 apollon095
array-examples/standard_init7_true-unreach-call_ground.i 901    885     2519740416 11900   1 18 apollon105 901    881     1663590400 11700   1 18 apollon050 901    882     2475790336 12300   1 18 apollon093 901    878     1606938624 11300   1 18 apollon023 901    890     1800478720 13600   1 18 apollon059 901    891     1218912256 13000   1 18 apollon091 901    881     2145480704 10900   1 18 apollon089 901    874     3639095296 9820   1 18 apollon121 901    855     4213264384 9990   1 18 apollon154
array-examples/standard_init8_true-unreach-call_ground.i 901    885     2529337344 11900   1 20 apollon097 901    881     1695514624 12200   1 20 apollon096 901    880     2485055488 12900   1 20 apollon136 901    879     1591312384 12800   1 20 apollon124 901    889     1799929856 12600   1 20 apollon101 901    891     1139052544 10900   1 20 apollon098 901    882     2149048320 12300   1 20 apollon142 901    874     3532320768 9380   1 20 apollon103 902    855     4194918400 9700   1 20 apollon133
array-examples/standard_init9_true-unreach-call_ground.i 901    885     2479140864 12200   1 22 apollon022 901    881     1682251776 13000   1 22 apollon064 901    878     2478960640 13500   1 22 apollon047 901    878     1627533312 13300   1 22 apollon159 901    890     1753735168 12300   1 22 apollon082 901    891     1215778816 14200   1 22 apollon161 901    881     2231058432 12200   1 22 apollon015 901    874     3584557056 11100   1 22 apollon011 901    857     4126846976 9030   1 22 apollon138
array-examples/standard_maxInArray_true-unreach-call_ground.i 901    870     5688410112 11100   3 8 apollon071 902    856     4039069696 9250   3 8 apollon078 901    865     5709783040 9300   3 8 apollon048 901    850     4190322688 9540   3 8 apollon073 901    873     4178382848 11200   3 8 apollon047 901    867     1590026240 11500   3 8 apollon064 901    854     4135141376 8480   3 8 apollon151 901    870     4256034816 9020   3 8 apollon166 901    847     4331327488 10500   3 8 apollon091
array-examples/standard_minInArray_true-unreach-call_ground.i 901    870     5271363584 8620   3 8 apollon139 901    855     4146442240 9560   3 8 apollon128 901    862     5703430144 9140   3 8 apollon008 901    851     4188704768 9980   3 8 apollon004 901    870     3882328064 10600   3 8 apollon049 901    869     1930956800 8160   3 8 apollon076 901    854     4115484672 8590   3 8 apollon092 901    869     4306149376 9310   3 8 apollon012 901    846     4265574400 9040   3 8 apollon115
array-examples/standard_palindrome_true-unreach-call_ground.i 901    872     5815250944 9510   1 6 apollon029 901    865     4105809920 9970   1 6 apollon144 901    869     5879394304 11500   1 6 apollon167 901    855     4228251648 10800   1 6 apollon065 901    873     4669100032 9230   1 6 apollon158 901    868     1508642816 8240   1 6 apollon138 901    863     4122820608 10900   1 6 apollon016 901    874     3636924416 9840   1 6 apollon116 901    855     4221030400 8760   1 6 apollon054
array-examples/standard_partial_init_true-unreach-call_ground.i 901    872     6598942720 12000   3 10 apollon019 901    861     4794945536 9850   3 10 apollon012 901    863     6636343296 12700   3 10 apollon080 901    856     4836438016 11500   3 10 apollon125 901    873     4605034496 10900   3 10 apollon087 901    875     2763964416 9350   3 10 apollon120 901    858     4530196480 9600   3 10 apollon109 901    872     4449533952 9500   3 10 apollon144 901    839     4496486400 9350   3 10 apollon127
array-examples/standard_partition_original_true-unreach-call_ground.i 901    869     6590373888 10400   3 10 apollon115 901    837     4440104960 10700   3 10 apollon156 901    858     6818430976 12300   3 10 apollon167 901    834     4513812480 10400   3 10 apollon154 901    873     5347680256 12600   3 10 apollon059 901    878     3029364736 10200   3 10 apollon034 901    842     4389998592 9230   3 10 apollon159 901    871     4500156416 12400   3 10 apollon148 901    724     9216155648 9570   3 10 apollon036
array-examples/standard_partition_true-unreach-call_ground.i 901    872     6255456256 10500   3 12 apollon119 901    855     4966014976 12000   3 12 apollon094 901    859     6263238656 10800   3 12 apollon125 901    849     5228306432 9250   3 12 apollon100 901    874     5139038208 11800   3 12 apollon132 901    877     2950389760 9350   3 12 apollon116 901    851     4297248768 8210   3 12 apollon120 901    871     4368515072 11900   3 12 apollon010 901    844     4287303680 9370   3 12 apollon067
array-examples/standard_password_true-unreach-call_ground.i 901    871     6364139520 9570   3 10 apollon003 901    851     4315197440 11200   3 10 apollon028 901    865     6343753728 10400   3 10 apollon061 901    848     4297220096 10300   3 10 apollon059 901    873     5135069184 9230   3 10 apollon166 901    874     3082186752 8420   3 10 apollon127 901    853     4243591168 7680   3 10 apollon166 901    871     4411256832 10100   3 10 apollon133 901    845     4239093760 7930   3 10 apollon157
array-examples/standard_reverse_true-unreach-call_ground.i 901    873     6570139648 11100   1 6 apollon004 901    865     4039827456 10200   1 6 apollon138 901    869     6612566016 8920   1 6 apollon097 901    853     4323966976 10500   1 6 apollon072 901    873     4668174336 9900   1 6 apollon040 901    870     2330107904 8960   1 6 apollon018 901    865     4236251136 11300   1 6 apollon006 901    874     3950489600 9760   1 6 apollon168 901    856     4254552064 11300   1 6 apollon036
array-examples/standard_running_true-unreach-call.i 901    867     6371909632 13100   3 16 apollon008 901    859     4090130432 9450   3 16 apollon054 901    863     6403923968 11000   3 16 apollon154 901    852     4096487424 10700   3 16 apollon086 901    872     4769210368 12100   3 16 apollon046 901    866     3536973824 10200   3 16 apollon002 901    859     4281782272 10300   3 16 apollon116 901    868     4396630016 10100   3 16 apollon119 901    837     4488597504 9410   3 16 apollon119
array-examples/standard_sentinel_true-unreach-call_true-termination.i 83.5  68.6   2255056896 973   7 8 apollon042 83.9  69.2   2430189568 1280   7 8 apollon056 83.5  69.0   2323775488 951   7 8 apollon128 83.6  68.6   2330845184 998   7 8 apollon150 84.2  69.6   2213044224 984   7 8 apollon053 84.4  68.8   2161205248 1050   7 8 apollon093 83.7  69.4   2362761216 1030   7 8 apollon156 84.0  72.9   3691024384 1050   7 8 apollon095 83.9  72.6   3687170048 1030   7 8 apollon120
array-examples/standard_seq_init_true-unreach-call_ground.i 901    884     2420301824 11700   1 6 apollon154 901    883     1917308928 13400   1 6 apollon159 901    881     2456444928 11800   1 6 apollon012 901    879     1694388224 13700   1 6 apollon125 901    889     1780396032 11700   1 6 apollon026 901    890     1235525632 14800   1 6 apollon056 901    881     2424999936 11900   1 6 apollon162 901    873     3920576512 9290   1 6 apollon009 901    853     4261568512 9420   1 6 apollon053
array-examples/standard_strcmp_true-unreach-call_ground.i 901    869     6461624320 10900   4 10 apollon008 901    855     4223926272 11000   4 10 apollon147 901    866     6436646912 9880   4 10 apollon113 901    852     4282994688 10600   4 10 apollon047 901    872     5168275456 10600   4 10 apollon073 901    873     2104897536 9220   4 10 apollon133 901    860     4145258496 9140   4 10 apollon164 901    872     4358012928 11600   4 10 apollon069 901    851     4356857856 8980   4 10 apollon060
array-examples/standard_strcpy_original_true-unreach-call.i 901    872     6553202688 10700   1 12 apollon073 901    866     4110327808 11800   1 12 apollon047 901    869     6743506944 10400   1 12 apollon154 901    856     4192681984 8790   1 12 apollon158 901    872     4315074560 12200   1 12 apollon077 901    868     2543792128 11000   1 12 apollon069 901    864     4146171904 11200   1 12 apollon069 901    874     4089352192 11600   1 12 apollon064 901    852     4361265152 11400   1 12 apollon064
array-examples/standard_strcpy_true-unreach-call_ground.i 901    871     6562914304 10700   1 10 apollon037 901    864     4110041088 10600   1 10 apollon124 901    868     6718877696 10500   1 10 apollon079 901    855     4259057664 10300   1 10 apollon113 901    874     4205916160 13600   1 10 apollon057 901    868     1575686144 8590   1 10 apollon103 901    865     4138577920 11400   1 10 apollon077 901    873     4217483264 9750   1 10 apollon133 901    853     4273188864 10300   1 10 apollon072
array-examples/standard_two_index_01_true-unreach-call.i 901    578     11123433472 8260   1 8 apollon003 901    507     8388034560 8230   1 8 apollon031 901    515     8738107392 8560   1 8 apollon010 337    191     14999998464 3300   apollon167 904    578     8652001280 8050   1 8 apollon149 904    500     10638049280 7820   1 8 apollon116 902    491     10957234176 8240   1 8 apollon168 901    633     6451630080 7310   1 8 apollon123 855    477     14999998464 7730   apollon091
array-examples/standard_two_index_02_true-unreach-call.i 901    873     6657822720 13500   1 8 apollon111 901    865     4121296896 11600   1 8 apollon112 901    869     6767644672 13400   1 8 apollon057 901    855     4216901632 8540   1 8 apollon166 901    874     4338917376 10100   1 8 apollon104 901    868     2922680320 9420   1 8 apollon013 901    864     4149895168 8670   1 8 apollon118 901    874     3801776128 10000   1 8 apollon113 901    853     4347269120 10600   1 8 apollon007
array-examples/standard_two_index_03_true-unreach-call.i 901    572     8848560128 9070   1 8 apollon046 932    499     7823781888 8850   1 8 apollon028 979    588     8680341504 8180   1 8 apollon015 901    627     8595247104 9570   1 8 apollon077 905    621     6799888384 9310   1 8 apollon070 901    496     11821883392 8040   1 8 apollon154 991    454     11536150528 8900   1 8 apollon069 961    573     8905838592 7870   1 8 apollon037 901    626     8318996480 7710   1 8 apollon150
array-examples/standard_two_index_04_true-unreach-call.i 901    873     6669754368 11500   1 8 apollon108 901    866     4028694528 12200   1 8 apollon094 901    869     6729097216 10800   1 8 apollon087 901    855     4256780288 10300   1 8 apollon129 901    872     5114318848 12900   1 8 apollon080 901    871     1701158912 10100   1 8 apollon065 901    864     4127895552 9760   1 8 apollon070 901    875     4312764416 9840   1 8 apollon117 901    852     4346572800 11100   1 8 apollon065
array-examples/standard_two_index_05_true-unreach-call.i 901    872     6654201856 10800   1 8 apollon129 901    865     4107022336 9430   1 8 apollon104 901    869     6704738304 9470   1 8 apollon041 901    853     4342042624 10400   1 8 apollon001 901    873     4549709824 10600   1 8 apollon110 901    870     2551578624 9880   1 8 apollon038 901    864     4122132480 9360   1 8 apollon025 901    875     3972358144 9190   1 8 apollon012 901    854     4242575360 9800   1 8 apollon067
array-examples/standard_two_index_06_true-unreach-call.i 901    506     8389484544 8240   1 8 apollon152 901    441     8151556096 7790   1 8 apollon020 901    661     6789345280 9030   1 8 apollon154 901    422     11542401024 6800   apollon135 901    518     8610250752 8110   1 8 apollon162 901    558     10779623424 9290   1 8 apollon031 986    453     11454308352 8610   1 8 apollon077 901    567     8195948544 7770   1 8 apollon025 901    580     8443248640 7790   1 8 apollon045
array-examples/standard_two_index_07_true-unreach-call.i 901    872     6664122368 12600   1 8 apollon036 901    865     4034318336 11100   1 8 apollon011 901    869     6714621952 9230   1 8 apollon032 901    856     4228063232 10400   1 8 apollon070 901    873     4668833792 10300   1 8 apollon074 901    874     1782333440 10100   1 8 apollon091 901    865     4144222208 11500   1 8 apollon010 901    873     3826601984 8860   1 8 apollon101 901    853     4264267776 12100   1 8 apollon088
array-examples/standard_two_index_08_true-unreach-call.i 901    873     6634729472 10100   1 8 apollon053 901    865     4093755392 11700   1 8 apollon007 901    868     6683242496 9210   1 8 apollon152 901    855     4214747136 10900   1 8 apollon114 901    871     4800000000 9640   1 8 apollon029 901    871     2870595584 9090   1 8 apollon090 901    866     4133740544 9390   1 8 apollon018 901    875     3495227392 10600   1 8 apollon147 901    852     4243402752 8580   1 8 apollon060
array-examples/standard_two_index_09_true-unreach-call.i 901    872     6670835712 9590   1 8 apollon139 901    865     4121964544 9820   1 8 apollon127 901    869     6712201216 12200   1 8 apollon130 901    856     4230823936 9580   1 8 apollon053 901    872     4841336832 11200   1 8 apollon031 901    872     3049541632 10000   1 8 apollon079 901    866     4173594624 12400   1 8 apollon160 901    874     3760771072 8830   1 8 apollon166 901    853     4262440960 9260   1 8 apollon096
array-examples/standard_vararg_true-unreach-call_ground_true-termination.i 901    829     5406412800 12700   5 6 apollon065 901    827     5348474880 11400   5 6 apollon037 901    812     5579591680 13000   5 6 apollon140 901    812     5014077440 12900   5 6 apollon059 901    834     4670193664 13800   5 6 apollon161 902    822     4835979264 13300   5 6 apollon069 901    817     4771463168 13200   5 6 apollon106 901    812     4732735488 11200   5 6 apollon150 901    816     4738031616 11800   5 6 apollon096
array-examples/standard_vector_difference_true-unreach-call_ground.i 901    873     7130230784 10900   1 6 apollon070 901    861     4236206080 9950   1 6 apollon097 901    870     7130865664 10300   1 6 apollon020 901    852     4331761664 9190   1 6 apollon089 901    874     5194620928 10600   1 6 apollon154 901    873     1812447232 8420   1 6 apollon144 901    861     4150624256 8440   1 6 apollon008 901    873     4292239360 8140   1 6 apollon123 901    852     4286365696 9440   1 6 apollon025
array-industry-pattern/array_assert_loop_dep_false-unreach-call_true-termination.i 901    885     2532417536 12800   1 8 apollon048 901    882     1800945664 13700   1 8 apollon088 901    880     2471243776 11600   1 8 apollon157 901    878     1878462464 13800   1 8 apollon036 901    889     1734803456 12600   1 8 apollon114 901    890     1167986688 10300   1 8 apollon054 901    882     2239148032 13500   1 8 apollon140 901    873     3453763584 8940   1 8 apollon166 901    856     4088123392 9070   1 8 apollon031
array-industry-pattern/array_of_struct_loop_dep_false-unreach-call.i 902    890     4395085824 12000   0 8 apollon075 903    890     4311318528 11800   0 8 apollon154 902    890     4422639616 14400   0 8 apollon161 902    890     4480688128 12600   0 8 apollon113 903    897     4197900288 5130   0 8 apollon139 903    897     4188528640 5470   0 8 apollon166 904    891     4315148288 12500   0 8 apollon004 903    897     4223750144 5620   0 8 apollon109 902    890     4348911616 12500   0 8 apollon015
array-industry-pattern/array_ptr_single_elem_init_false-unreach-call_true-termination.i 901    869     5797740544 10400   7 14 apollon157 902    858     4617961472 10300   7 14 apollon134 901    865     6003388416 10000   7 14 apollon128 901    843     4807761920 10200   7 14 apollon074 901    871     4463718400 10900   7 14 apollon145 901    875     3354705920 8790   7 14 apollon158 901    845     4462923776 11100   7 14 apollon114 901    870     4329308160 11000   7 14 apollon011 901    849     5290909696 9460   7 14 apollon128
array-industry-pattern/array_range_init_false-unreach-call.i 901    891     4440764416 12000   0 10 apollon026 901    891     4088520704 14500   0 10 apollon030 902    891     3999571968 11300   0 10 apollon098 902    892     4142489600 12700   0 10 apollon015 903    898     4113379328 6050   0 10 apollon131 903    898     4091670528 6620   0 10 apollon147 902    891     4064083968 12100   0 10 apollon034 903    898     4102942720 6980   0 10 apollon164 902    890     4173578240 14000   0 10 apollon014
array-industry-pattern/array_single_elem_init_false-unreach-call_true-termination.i 901    870     6388150272 13000   7 14 apollon148 901    857     4846440448 9390   7 14 apollon054 901    864     6306742272 10300   7 14 apollon041 901    849     4798418944 11200   7 14 apollon142 901    873     5250469888 10300   7 14 apollon060 901    875     3791458304 11500   7 14 apollon071 901    851     4469948416 9720   7 14 apollon041 901    872     4459728896 8830   7 14 apollon040 901    850     5449752576 9960   7 14 apollon046
array-industry-pattern/check_removal_from_set_after_insertion_false-unreach-call.i 901    861     4342771712 9090   7 24 apollon120 901    797     5118980096 10800   7 24 apollon081 901    842     4388454400 12600   7 24 apollon021 902    804     5260668928 10700   7 24 apollon125 901    862     5085093888 10400   7 24 apollon072 901    850     4517314560 10200   7 24 apollon088 905    791     6151831552 6720   7 24 apollon042 902    789     5116997632 7100   7 24 apollon097 903    771     5794045952 8900   7 24 apollon049
array-industry-pattern/array_monotonic_true-unreach-call_true-termination.i 901    868     6393901056 9690   3 10 apollon109 901    844     4449914880 8930   3 10 apollon054 901    864     6345461760 9360   3 10 apollon083 901    843     4219064320 12400   3 10 apollon044 901    872     5114195968 13300   3 10 apollon039 901    872     2821525504 8580   3 10 apollon164 901    847     4219260928 7440   3 10 apollon078 901    870     4416331776 10500   3 10 apollon147 901    841     4198830080 8180   3 10 apollon093
array-industry-pattern/array_mul_init_true-unreach-call_true-termination.i 901    886     3584274432 12000   1 14 apollon097 901    883     2125307904 12000   1 14 apollon153 901    882     3683958784 11300   1 14 apollon104 901    881     1958367232 11600   1 14 apollon034 901    890     2287730688 11900   1 14 apollon144 901    891     1539395584 12700   1 14 apollon052 901    883     2636210176 12400   1 14 apollon113 901    873     3602403328 8720   1 14 apollon159 901    852     4189204480 7670   1 14 apollon153
array-industry-pattern/array_of_struct_break_true-unreach-call.i 903    889     4348268544 15300   0 10 apollon148 902    890     4463136768 11600   0 10 apollon045 903    890     4376838144 10600   0 10 apollon054 902    889     4426997760 11900   0 10 apollon062 903    896     4208369664 7040   0 10 apollon113 903    897     4234833920 5420   0 10 apollon103 903    890     4412162048 11600   0 10 apollon045 903    896     4245397504 6200   0 10 apollon009 902    890     4341067776 11800   0 10 apollon073
array-industry-pattern/array_of_struct_ptr_cond_init_true-unreach-call.i 902    890     4342824960 10900   0 10 apollon151 902    890     4120731648 14400   0 10 apollon030 903    891     4054949888 11700   0 10 apollon025 902    891     4181639168 12200   0 10 apollon105 903    897     4015878144 9900   0 10 apollon057 903    897     4061433856 7200   0 10 apollon125 902    890     4104577024 13000   0 10 apollon046 903    897     4178055168 6070   0 10 apollon078 903    890     4070301696 11300   0 10 apollon040
array-industry-pattern/array_of_struct_ptr_flag_init_true-unreach-call.i 901    872     6107504640 13100   1 12 apollon044 901    863     4151439360 11600   1 12 apollon024 901    870     6473539584 10000   1 12 apollon095 901    855     4241244160 11200   1 12 apollon142 901    873     5114802176 11300   1 12 apollon046 901    873     2001879040 8510   1 12 apollon015 901    860     4129734656 8450   1 12 apollon029 901    873     3979493376 9780   1 12 apollon164 901    853     4222185472 9200   1 12 apollon008
array-industry-pattern/array_of_struct_ptr_monotonic_true-unreach-call.i 901    890     4181872640 12200   0 10 apollon001 902    890     4166447104 12000   0 10 apollon073 902    890     4102778880 13400   0 10 apollon132 902    890     4213784576 14000   0 10 apollon014 903    898     4042813440 7370   0 10 apollon094 903    897     4100902912 6310   0 10 apollon045 903    891     4133363712 12000   0 10 apollon157 903    897     4137054208 4970   0 10 apollon123 902    890     4137545728 12100   0 10 apollon050
array-industry-pattern/array_of_struct_ptr_mul_init_true-unreach-call.i 903    883     6268219392 13000   0 14 apollon091 904    884     5115387904 11400   0 14 apollon115 904    885     7216074752 13500   0 14 apollon163 905    884     5130014720 13300   0 14 apollon081 904    896     6398296064 9520   0 14 apollon015 904    896     6471032832 9660   0 14 apollon154 905    885     5043163136 12800   0 14 apollon048 904    896     6431703040 9660   0 14 apollon102 905    883     5291831296 11700   0 14 apollon103
array-industry-pattern/array_of_struct_single_elem_init_true-unreach-call.i 903    882     5217525760 14300   0 12 apollon161 904    885     5195186176 11600   0 12 apollon066 903    882     5834100736 13200   0 12 apollon065 904    885     5310525440 11500   0 12 apollon109 905    898     8598069248 8770   0 12 apollon089 905    898     8596275200 9400   0 12 apollon034 904    883     5863530496 13400   0 12 apollon007 905    898     8606031872 9230   0 12 apollon066 904    884     5248335872 11400   0 12 apollon083
array-industry-pattern/array_ptr_partial_init_true-unreach-call.i 902    890     4184059904 11700   0 8 apollon045 903    891     4162732032 12400   0 8 apollon118 902    890     4207968256 12200   0 8 apollon135 902    891     4110487552 11000   0 8 apollon092 903    898     4132036608 6360   0 8 apollon070 903    897     4012896256 9670   0 8 apollon039 902    890     4245676032 13500   0 8 apollon164 903    898     4132274176 6550   0 8 apollon110 902    890     4331409408 11300   0 8 apollon143
array-industry-pattern/array_ptr_single_elem_init_true-unreach-call.i 902    890     4229693440 12100   0 18 apollon075 903    890     4021473280 13000   0 18 apollon152 903    890     4070846464 11600   0 18 apollon083 902    890     4105924608 12000   0 18 apollon073 903    897     4119334912 6010   0 18 apollon119 903    897     4070285312 6660   0 18 apollon033 902    890     4185772032 14000   0 18 apollon106 903    897     4049829888 9370   0 18 apollon056 903    890     4113293312 12300   0 18 apollon162
array-industry-pattern/array_shadowinit_true-unreach-call_true-termination.i 917    479     9383194624 8290   7 8 apollon156 940    490     9017987072 8480   7 8 apollon165 901    507     8764936192 8380   7 8 apollon034 902    559     8570163200 9960   7 8 apollon028 901    489     10997833728 8170   7 8 apollon131 901    822     4782632960 9550   7 8 apollon052 901    825     3836928000 8050   7 8 apollon023 901    511     7785086976 9490   7 8 apollon081 901    484     11215290368 8590   7 8 apollon084
reducercommutativity/rangesum05_false-unreach-call_true-termination.i 901    868     4062674944 10500   9 14 apollon127 901    870     3977371648 12200   9 14 apollon091 901    866     4073668608 11400   9 14 apollon038 901    867     4004601856 10700   9 14 apollon035 901    863     2375020544 12400   9 14 apollon019 901    862     2349502464 11400   9 14 apollon067 901    869     4027506688 11800   9 14 apollon152 901    862     2338729984 11200   9 14 apollon102 901    870     4024348672 10600   9 14 apollon053
reducercommutativity/rangesum10_false-unreach-call_true-termination.i 901    867     4185567232 13900   9 14 apollon057 901    873     4117164032 11400   9 14 apollon070 901    864     4305096704 13500   9 14 apollon160 901    873     4143140864 11700   9 14 apollon084 901    864     4154523648 12000   9 14 apollon068 901    866     4117012480 11900   9 14 apollon136 901    871     4128124928 11100   9 14 apollon110 901    862     4130058240 14000   9 14 apollon039 901    870     4152889344 11200   9 14 apollon095
reducercommutativity/rangesum20_false-unreach-call.i 901    848     4576940032 10500   9 14 apollon002 901    869     4260954112 10200   9 14 apollon117 901    856     4555333632 11300   9 14 apollon105 901    857     4170182656 11800   9 14 apollon108 901    852     3820331008 10300   9 14 apollon133 236    213     14999998464 3520   apollon057 901    860     4288053248 11900   9 14 apollon155 901    854     3135651840 11900   9 14 apollon064 901    853     4118802432 9990   9 14 apollon127
reducercommutativity/rangesum40_false-unreach-call.i 901    852     5346287616 9950   9 14 apollon123 116    88.6   14999998464 1190   apollon058 901    852     5542678528 12600   9 14 apollon007 117    93.0   14999998464 1310   apollon136 901    852     6731587584 9490   9 14 apollon162 901    856     4838486016 12200   9 14 apollon052 118    95.1   14999998464 1270   apollon119 901    852     4877000704 13400   9 14 apollon080 117    90.6   14999998464 1130   apollon143
reducercommutativity/rangesum60_false-unreach-call.i 901    846     5674266624 10700   9 14 apollon116 902    851     6105997312 9100   9 14 apollon123 901    848     5772152832 11100   9 14 apollon090 902    852     6282133504 10300   9 14 apollon150 901    844     5537554432 10400   9 14 apollon002 901    854     4844593152 13100   9 14 apollon163 901    857     6455799808 10000   9 14 apollon013 901    849     4590399488 12600   9 14 apollon019 902    852     6447620096 12800   9 14 apollon021
reducercommutativity/rangesum_false-unreach-call_true-termination.i 901    543     9994518528 9340   12 16 apollon033 901    859     3450265600 10200   4 16 apollon118 901    506     10695655424 8460   12 16 apollon052 901    860     3365089280 10100   4 16 apollon072 901    615     7864115200 9480   14 16 apollon048 901    646     7813775360 9570   14 16 apollon138 901    861     3808063488 10400   4 16 apollon004 901    642     9088618496 9000   14 16 apollon090 901    568     8468078592 9440   12 16 apollon114
reducercommutativity/avg05_true-unreach-call_true-termination.i 901    863     1716834304 12900   6 10 apollon132 901    869     2779111424 12200   6 10 apollon091 901    864     2196660224 11500   6 10 apollon072 901    867     2129195008 11000   6 10 apollon012 901    885     3451359232 12200   6 10 apollon010 901    883     3329736704 10800   6 10 apollon069 901    866     2296758272 11900   6 10 apollon011 901    881     2865606656 8910   6 10 apollon045 901    868     2783412224 10800   6 10 apollon116
reducercommutativity/avg10_true-unreach-call_true-termination.i 901    866     4017463296 11900   6 10 apollon082 901    866     4076707840 11300   6 10 apollon055 901    862     4012908544 12200   6 10 apollon152 901    866     4088516608 12800   6 10 apollon069 901    861     2220953600 11900   6 10 apollon087 901    864     1825140736 11200   6 10 apollon025 901    865     4091551744 11300   6 10 apollon156 901    860     2264227840 12800   6 10 apollon167 901    867     4032352256 11500   6 10 apollon147
reducercommutativity/avg20_true-unreach-call.i 901    869     4055560192 13100   6 10 apollon028 901    868     4397182976 14200   6 10 apollon039 901    865     4208304128 10900   6 10 apollon134 901    871     4280819712 12200   6 10 apollon006 901    862     4158160896 11600   6 10 apollon133 901    865     4084842496 11600   6 10 apollon119 901    868     4440715264 9990   6 10 apollon002 901    863     4137623552 13800   6 10 apollon161 901    870     4419657728 11900   6 10 apollon155
reducercommutativity/avg40_true-unreach-call.i 901    868     4554592256 10100   6 10 apollon092 901    867     5437853696 10400   6 10 apollon157 901    865     4440539136 10800   6 10 apollon137 902    865     5452992512 11600   6 10 apollon108 901    864     4464250880 12500   6 10 apollon068 901    865     4483272704 11200   6 10 apollon154 901    870     5417295872 12900   6 10 apollon161 901    864     4516347904 10700   6 10 apollon053 901    866     5551026176 10200   6 10 apollon066
reducercommutativity/avg60_true-unreach-call.i 901    865     3460374528 7410   5 10 apollon126 901    866     5340770304 10700   6 10 apollon072 901    868     3609206784 8450   5 10 apollon167 901    864     5342081024 10700   6 10 apollon133 901    864     7376551936 7520   5 10 apollon129 901    868     2551889920 8190   5 10 apollon010 901    862     6640893952 10300   6 10 apollon042 901    864     2577018880 7570   5 10 apollon126 901    864     6645760000 10800   6 10 apollon129
reducercommutativity/avg_true-unreach-call_true-termination.i 931    550     8734183424 7990   6 10 apollon023 901    852     3996483584 9190   4 10 apollon127 902    523     9789026304 8370   6 10 apollon142 902    808     5116149760 9670   4 10 apollon030 300    212     5062647808 2970   apollon095 288    210     5034594304 2760   apollon025 901    856     4107124736 9480   4 10 apollon035 273    247     4459601920 3640   apollon077 901    867     1643446272 12500   6 10 apollon081
reducercommutativity/max05_true-unreach-call_true-termination.i 901    864     2773135360 10600   8 12 apollon134 901    865     2194857984 12400   8 12 apollon007 901    860     2587914240 10900   8 12 apollon037 901    866     2064715776 9970   8 12 apollon029 901    869     2221428736 11000   8 12 apollon087 901    868     2817515520 9740   8 12 apollon060 901    866     2674348032 12400   8 12 apollon006 901    866     2711977984 10200   8 12 apollon037 901    864     2614132736 12700   8 12 apollon014
reducercommutativity/max10_true-unreach-call_true-termination.i 901    866     4386467840 12900   8 12 apollon081 901    866     3683962880 13000   8 12 apollon069 901    863     4380909568 10600   8 12 apollon143 901    864     3683385344 11000   8 12 apollon037 901    888     3019137024 8110   8 12 apollon112 901    887     2946617344 6360   8 12 apollon149 901    867     4032053248 11100   8 12 apollon037 901    887     2975805440 6890   8 12 apollon026 901    865     3273105408 10400   8 12 apollon041
reducercommutativity/max20_true-unreach-call.i 901    866     4618002432 10500   7 12 apollon060 901    869     4128530432 12400   8 12 apollon007 901    866     4598263808 10700   7 12 apollon086 901    868     4121280512 12000   8 12 apollon091 901    884     1638842368 6610   8 12 apollon001 901    878     1559158784 7790   8 12 apollon017 901    867     4142735360 11000   8 12 apollon119 901    874     2603126784 8590   8 12 apollon123 901    865     4117684224 13000   8 12 apollon030
reducercommutativity/max40_true-unreach-call.i 901    865     4777467904 9810   6 12 apollon034 901    862     4318191616 11300   8 12 apollon093 901    862     4848967680 9930   6 12 apollon072 901    861     4297560064 12000   8 12 apollon108 901    873     3729108992 8120   8 12 apollon075 901    866     4751601664 10200   6 12 apollon043 901    859     4325736448 11000   8 12 apollon022 901    861     4682866688 12200   6 12 apollon006 901    864     4318523392 10900   8 12 apollon050
reducercommutativity/max60_true-unreach-call.i 901    869     2433875968 7050   5 12 apollon038 901    858     4435562496 11700   8 12 apollon046 901    872     3814670336 6850   5 12 apollon004 901    860     4466757632 11200   8 12 apollon082 902    878     4675997696 8180   6 12 apollon080 901    870     1898807296 7360   5 12 apollon046 901    859     4434006016 11700   8 12 apollon114 901    868     1855954944 7150   5 12 apollon008 901    859     4467970048 10800   8 12 apollon026
reducercommutativity/max_true-unreach-call_true-termination.i 901    499     10759188480 9010   8 12 apollon020 901    546     8452202496 9120   6 12 apollon093 902    516     9634631680 8690   8 12 apollon093 902    562     7389286400 8540   6 12 apollon129 901    840     3709321216 10600   8 12 apollon116 901    840     3305078784 12800   8 12 apollon163 902    587     7717847040 10900   6 12 apollon111 901    891     1759662080 9870   8 12 apollon060 901    592     6775754752 9120   8 12 apollon166
reducercommutativity/sep05_true-unreach-call_true-termination.i 901    552     8655101952 8130   10 12 apollon120 901    518     8967405568 9100   10 12 apollon010 901    563     10783215616 9100   10 12 apollon077 901    598     6175657984 9240   10 12 apollon146 901    543     8469860352 8640   10 12 apollon159 902    536     8985780224 7560   10 12 apollon109 902    518     9637687296 8400   10 12 apollon166 902    434     10883039232 7360   10 12 apollon108 901    541     9117900800 8360   10 12 apollon099
reducercommutativity/sep10_true-unreach-call.i 901    675     6895632384 9830   9 12 apollon146 902    610     7408005120 9190   9 12 apollon142 902    682     7213826048 8880   9 12 apollon143 904    661     6365368320 11000   9 12 apollon106 902    718     5628940288 10500   9 12 apollon021 232    165     14999998464 2200   apollon043 904    491     10879193088 7820   8 12 apollon162 902    626     8640077824 10200   9 12 apollon111 512    227     14999998464 4110   apollon105
reducercommutativity/sep20_true-unreach-call.i 901    851     4440707072 12400   6 12 apollon065 903    785     4837937152 9590   6 12 apollon151 901    834     4470820864 11200   6 12 apollon097 903    764     4988080128 10500   6 12 apollon156 627    591     14999998464 7880   apollon142 918    785     6272884736 11500   8 12 apollon124 915    689     7227326464 9770   8 12 apollon105 901    823     4876029952 12600   8 12 apollon163 903    787     5001248768 10600   8 12 apollon055
reducercommutativity/sep40_true-unreach-call.i 901    866     4560183296 13300   6 12 apollon016 901    846     4168388608 11000   5 12 apollon051 901    857     4727304192 12300   6 12 apollon081 234    199     14999998464 2890   apollon141 901    870     3728257024 12000   8 12 apollon130 901    865     3848204288 10500   6 12 apollon035 901    848     4207423488 10600   5 12 apollon049 901    804     5102272512 12300   8 12 apollon088 903    717     5420716032 8610   8 12 apollon123
reducercommutativity/sep60_true-unreach-call.i 901    863     4619280384 12500   5 12 apollon122 901    841     4357513216 10700   5 12 apollon107 901    859     4558225408 11200   5 12 apollon049 901    832     4507545600 8530   5 12 apollon063 901    872     3471486976 8230   7 12 apollon153 901    870     2189049856 10100   5 12 apollon120 901    847     4231647232 10700   5 12 apollon087 901    863     3482648576 7540   6 12 apollon046 904    788     5710532608 9640   8 12 apollon150
reducercommutativity/sep_true-unreach-call_true-termination.i 901    548     8446103552 8270   8 12 apollon100 902    455     10772484096 7820   8 12 apollon150 901    541     9301430272 8970   8 12 apollon038 902    532     9416773632 8010   8 12 apollon089 902    582     7323865088 8640   8 12 apollon116 914    467     9380913152 8250   10 12 apollon009 901    524     8509259776 8980   apollon091 902    544     9854697472 8210   8 12 apollon083 901    526     9955491840 7880   8 12 apollon029
reducercommutativity/sum05_true-unreach-call_true-termination.i 901    865     2847092736 11200   6 10 apollon023 901    869     3012009984 12000   6 10 apollon070 901    864     2805370880 12400   6 10 apollon138 901    866     2233180160 11100   6 10 apollon115 901    880     3258691584 9880   6 10 apollon154 901    880     3300274176 12400   6 10 apollon148 901    868     2260008960 11600   6 10 apollon072 901    880     3159556096 10600   6 10 apollon017 901    867     2307911680 14000   6 10 apollon021
reducercommutativity/sum10_true-unreach-call_true-termination.i 901    867     4393283584 11100   6 10 apollon066 901    868     4081143808 10300   6 10 apollon092 901    863     4405350400 10500   6 10 apollon128 901    870     3897241600 13200   6 10 apollon014 901    885     3876589568 11000   6 10 apollon114 901    885     4342120448 9460   6 10 apollon108 901    865     4167135232 12300   6 10 apollon071 901    884     4200640512 8130   6 10 apollon139 901    866     4151345152 11900   6 10 apollon147
reducercommutativity/sum20_true-unreach-call.i 901    862     4688916480 12900   6 10 apollon155 901    870     4381491200 11900   6 10 apollon068 901    865     4544184320 11900   6 10 apollon022 901    866     4373123072 10700   6 10 apollon135 902    869     5919334400 11100   6 10 apollon124 901    862     4901437440 13800   6 10 apollon016 901    872     4418420736 12400   6 10 apollon167 901    864     4868558848 12100   6 10 apollon009 901    869     4409397248 10700   6 10 apollon090
reducercommutativity/sum40_true-unreach-call.i 901    864     4916424704 12300   6 10 apollon046 901    867     5398765568 12000   6 10 apollon007 901    857     4901158912 13400   6 10 apollon008 902    864     5464252416 10600   6 10 apollon034 901    857     5219135488 11500   6 10 apollon072 901    860     4701392896 12000   6 10 apollon146 901    864     5394292736 10100   6 10 apollon100 901    863     4584898560 11000   6 10 apollon025 901    867     5376286720 11400   6 10 apollon046
reducercommutativity/sum60_true-unreach-call.i 901    867     3912269824 7660   5 10 apollon046 901    865     5508055040 12400   6 10 apollon130 901    863     3257303040 7760   5 10 apollon122 901    863     5677936640 9800   6 10 apollon002 902    864     7882432512 7710   5 10 apollon007 901    867     3722526720 8060   5 10 apollon019 901    862     6233251840 12000   6 10 apollon155 901    860     3502600192 9100   5 10 apollon080 901    864     6572965888 10600   6 10 apollon144
reducercommutativity/sum_true-unreach-call_true-termination.i 902    514     9935884288 8630   6 10 apollon096 902    500     8040755200 7830   4 10 apollon127 901    513     9866620928 7380   6 10 apollon158 902    575     8074096640 8810   4 10 apollon087 901    843     4413825024 10400   6 10 apollon136 901    839     4288999424 10700   6 10 apollon168 902    467     9273970688 8080   4 10 apollon067 901    891     1828032512 9960   6 10 apollon092 901    608     5972082688 10000   6 10 apollon046
array-tiling/mlceu_false-unreach-call.i 902    653     7364833280 9920   6 10 apollon011 901    648     7971852288 9410   6 10 apollon110 901    827     4598185984 12300   8 10 apollon126 901    834     4260712448 10900   8 10 apollon025 902    639     7751438336 9660   6 10 apollon022 901    736     5651599360 10300   6 10 apollon110 901    702     6474772480 9840   6 10 apollon103 901    867     1220472832 11000   8 10 apollon096 901    864     2013597696 11100   8 10 apollon071
array-tiling/skippedu_false-unreach-call.i 4.26 1.77  267661312 37.4 apollon154 4.29 1.75  271900672 38.2 apollon157 4.28 1.77  268804096 45.1 apollon057 4.30 1.78  268931072 35.9 apollon100 4.40 1.81  270417920 43.9 apollon068 4.23 1.77  272551936 39.4 apollon055 4.22 1.72  269443072 39.2 apollon012 4.10 1.68  265052160 33.5 apollon158 4.47 1.77  270749696 41.8 apollon101
array-tiling/mbpr2_true-unreach-call.i 4.22 1.73  270049280 36.6 apollon116 4.36 1.80  269316096 39.0 apollon034 4.63 1.84  277565440 46.6 apollon159 4.41 1.77  270143488 37.0 apollon134 4.45 1.83  269631488 39.2 apollon050 4.22 1.79  268324864 38.6 apollon095 4.39 1.76  274456576 39.7 apollon087 4.38 1.84  272490496 43.4 apollon140 4.57 1.83  277413888 38.8 apollon116
array-tiling/mbpr3_true-unreach-call.i 4.95 2.10  284966912 46.6 apollon120 4.87 2.17  284344320 47.8 apollon114 4.90 2.17  282030080 46.4 apollon061 4.90 2.14  278761472 50.9 apollon014 5.02 2.12  284266496 43.2 apollon060 4.94 2.19  283193344 42.8 apollon099 5.06 2.12  286883840 44.3 apollon137 4.94 2.17  280481792 44.1 apollon079 4.93 2.18  291000320 47.3 apollon012
array-tiling/mbpr4_true-unreach-call.i 4.50 1.80  270082048 42.4 apollon024 4.40 1.79  270340096 37.5 apollon100 4.60 1.84  270848000 40.0 apollon062 4.77 1.94  276344832 43.6 apollon087 4.65 1.93  273534976 41.3 apollon051 4.43 1.79  271241216 41.8 apollon130 4.59 1.88  274345984 41.9 apollon061 4.53 1.87  272474112 42.1 apollon166 4.57 1.81  274403328 43.6 apollon167
array-tiling/mbpr5_true-unreach-call.i 5.08 2.24  283828224 45.1 apollon001 5.04 2.20  280735744 44.9 apollon137 4.99 2.19  281636864 49.6 apollon065 4.97 2.23  287416320 50.8 apollon152 4.92 2.14  280436736 50.9 apollon014 5.01 2.17  284028928 48.0 apollon055 5.10 2.19  288722944 47.2 apollon062 5.10 2.17  284835840 49.2 apollon091 5.09 2.25  278614016 49.0 apollon078
array-tiling/nr2_true-unreach-call.i 4.29 1.74  275668992 38.4 apollon129 4.28 1.79  269021184 43.6 apollon125 4.39 1.80  271437824 40.0 apollon095 4.31 1.78  271020032 40.6 apollon051 4.32 1.80  269852672 39.0 apollon072 4.19 1.76  272330752 36.9 apollon104 4.42 1.83  268185600 39.8 apollon162 4.57 1.79  273981440 40.3 apollon105 4.42 1.86  270577664 39.4 apollon034
array-tiling/nr3_true-unreach-call.i 4.52 2.08  276533248 39.8 apollon100 4.66 2.08  282120192 40.5 apollon134 4.82 2.11  284995584 44.8 apollon103 4.64 2.10  282836992 49.3 apollon159 4.73 2.03  280391680 41.9 apollon066 4.54 2.08  280891392 43.4 apollon050 4.64 2.10  279207936 47.5 apollon138 4.73 2.09  287088640 40.3 apollon149 4.70 2.11  282497024 45.5 apollon162
array-tiling/nr4_true-unreach-call.i 4.24 1.75  273113088 41.1 apollon152 4.51 1.78  278380544 41.3 apollon153 4.44 1.76  277495808 44.1 apollon088 4.17 1.72  270327808 36.3 apollon060 4.30 1.74  269520896 37.5 apollon026 4.69 1.81  276815872 45.2 apollon164 4.38 1.81  270598144 39.2 apollon050 4.29 1.77  268308480 39.8 apollon112 4.26 1.76  272338944 41.5 apollon114
array-tiling/nr5_true-unreach-call.i 4.60 2.08  281092096 42.8 apollon119 4.98 2.20  288890880 47.6 apollon112 4.64 2.13  281661440 48.5 apollon014 4.71 2.16  282927104 47.1 apollon124 4.73 2.13  280236032 40.1 apollon143 4.80 2.12  285237248 52.3 apollon057 4.62 2.12  285687808 42.0 apollon035 4.69 2.06  276291584 46.1 apollon015 4.90 2.12  286900224 46.1 apollon167
array-tiling/pnr2_true-unreach-call.i 4.41 1.83  273027072 44.1 apollon106 4.31 1.79  272285696 37.4 apollon149 4.28 1.77  269934592 40.3 apollon078 4.38 1.83  271802368 36.2 apollon092 4.26 1.75  267120640 42.6 apollon027 4.38 1.83  265859072 43.9 apollon108 4.36 1.76  271937536 40.5 apollon046 4.23 1.75  269320192 38.5 apollon072 4.52 1.85  280100864 45.5 apollon028
array-tiling/pnr3_true-unreach-call.i 4.73 2.12  279588864 51.1 apollon106 4.88 2.10  287244288 47.5 apollon136 4.67 2.15  276611072 44.4 apollon144 4.80 2.15  285761536 44.4 apollon119 4.75 2.08  283144192 41.4 apollon066 4.59 2.08  278294528 43.8 apollon157 4.67 2.12  281055232 44.2 apollon084 4.86 2.14  282324992 41.2 apollon089 4.78 2.14  275312640 45.7 apollon046
array-tiling/pnr4_true-unreach-call.i 4.24 1.78  270860288 35.6 apollon100 4.38 1.85  267239424 46.0 apollon126 4.45 1.83  272134144 41.1 apollon147 4.33 1.80  273420288 39.4 apollon062 4.35 1.73  273772544 37.8 apollon066 4.38 1.84  275697664 46.4 apollon111 4.39 1.86  271745024 41.2 apollon051 4.75 1.83  273182720 43.9 apollon136 4.31 1.79  276541440 38.7 apollon001
array-tiling/pnr5_true-unreach-call.i 4.87 2.13  283369472 52.1 apollon021 4.78 2.11  285782016 48.4 apollon019 4.74 2.13  282820608 44.7 apollon052 5.03 2.15  288026624 48.2 apollon024 4.81 2.08  279130112 46.5 apollon167 4.96 2.13  282931200 52.0 apollon030 5.01 2.18  288808960 49.8 apollon047 4.74 2.15  283938816 43.9 apollon082 4.91 2.14  286916608 44.5 apollon090
array-tiling/poly1_true-unreach-call.i 902    618     8041320448 10100   5 8 apollon080 908    645     6478610432 9280   5 8 apollon084 901    834     4285972480 10700   7 8 apollon053 901    836     4274810880 11300   7 8 apollon107 901    669     5933432832 9690   5 8 apollon017 901    715     6264610816 9570   5 8 apollon105 901    721     6227910656 9440   5 8 apollon131 901    870     1680941056 9850   7 8 apollon117 901    867     2151223296 10500   7 8 apollon034
array-tiling/poly2_true-unreach-call.i 901    641     6923116544 9240   7 10 apollon011 901    631     7745150976 9720   7 10 apollon027 901    524     7959859200 9100   9 10 apollon030 901    474     9206583296 7570   9 10 apollon079 901    664     6034014208 8930   7 10 apollon156 902    667     6853677056 11300   7 10 apollon057 901    754     5701152768 10900   7 10 apollon068 901    547     7395409920 8140   8 10 apollon051 901    480     9085771776 7010   9 10 apollon139
array-tiling/pr2_true-unreach-call.i 4.26 1.75  263372800 33.5 apollon063 4.23 1.77  270004224 40.3 apollon055 4.53 1.85  275156992 37.4 apollon040 4.37 1.81  270405632 46.7 apollon021 4.21 1.77  269983744 37.9 apollon042 4.39 1.77  276574208 43.0 apollon069 4.31 1.81  274583552 36.7 apollon116 4.40 1.83  264617984 39.0 apollon166 4.37 1.81  266182656 40.4 apollon114
array-tiling/pr3_true-unreach-call.i 4.78 2.14  283058176 47.1 apollon138 4.88 2.18  283078656 48.6 apollon164 4.84 2.11  279662592 43.5 apollon150 4.90 2.13  282451968 47.4 apollon093 4.78 2.16  275816448 47.8 apollon081 4.62 2.10  281038848 47.2 apollon047 4.68 2.09  283422720 47.6 apollon164 4.75 2.14  275927040 46.6 apollon046 4.82 2.15  276701184 50.8 apollon044
array-tiling/pr4_true-unreach-call.i 4.63 1.83  272973824 47.1 apollon008 4.44 1.87  271843328 45.5 apollon033 4.60 1.86  272900096 40.4 apollon154 4.76 1.88  276078592 42.6 apollon120 4.30 1.75  268685312 44.9 apollon160 4.29 1.80  274489344 38.6 apollon127 4.45 1.83  273354752 39.6 apollon109 4.69 1.82  280215552 47.1 apollon030 4.53 1.82  274165760 37.0 apollon123
array-tiling/pr5_true-unreach-call.i 5.04 2.17  283394048 43.6 apollon003 4.76 2.16  283881472 43.5 apollon086 4.95 2.13  286642176 44.1 apollon110 4.96 2.21  292265984 49.7 apollon152 4.94 2.13  283250688 42.4 apollon128 4.67 2.09  282607616 44.2 apollon119 4.98 2.20  279998464 50.5 apollon077 4.87 2.14  284635136 53.1 apollon160 4.96 2.22  282419200 46.4 apollon051
array-tiling/revcpyswp2_true-unreach-call.i 901    639     5766156288 8920   9 12 apollon035 901    645     5620899840 9600   9 12 apollon018 901    707     5855256576 11700   9 12 apollon030 901    691     6551621632 9560   9 12 apollon025 901    637     7225032704 8560   9 12 apollon089 901    686     5470801920 9940   9 12 apollon017 901    692     5321318400 10900   9 12 apollon125 901    699     6461284352 11900   9 12 apollon030 901    710     5912072192 10400   9 12 apollon087
array-tiling/rew_true-unreach-call.i 902    565     9071693824 10700   7 10 apollon111 901    574     7519109120 8390   7 10 apollon083 902    528     8833105920 10000   7 10 apollon161 901    830     4356005888 13300   9 10 apollon036 901    611     7106244608 9440   7 10 apollon102 901    617     7621701632 10200   7 10 apollon126 901    613     7464996864 8090   7 10 apollon158 902    516     9895018496 7580   7 10 apollon092 901    325     11196309504 6410   7 10 apollon070
array-tiling/rewnif_true-unreach-call.i 901    565     8642396160 8940   7 10 apollon168 901    660     6789128192 9010   7 10 apollon089 907    548     7093714944 9070   7 10 apollon038 901    832     4242042880 11300   9 10 apollon034 902    652     6666575872 9920   7 10 apollon011 901    681     6003994624 10300   7 10 apollon067 901    631     7551356928 10300   7 10 apollon065 901    541     8926691328 9440   7 10 apollon068 901    545     7335186432 9660   7 10 apollon068
array-tiling/rewnifrev2_true-unreach-call.i 902    676     6275284992 9480   5 8 apollon137 902    708     5925658624 9440   5 8 apollon149 902    720     7691075584 11400   5 8 apollon007 901    727     6406410240 9920   5 8 apollon166 902    684     7309037568 9070   5 8 apollon043 901    714     6350962688 9560   5 8 apollon127 902    706     6699859968 10200   5 8 apollon082 902    729     6592040960 10200   5 8 apollon133 902    735     6655746048 11700   5 8 apollon014
array-tiling/rewnifrev_true-unreach-call.i 902    587     9900347392 10900   7 10 apollon136 902    676     7019880448 9050   7 10 apollon040 902    690     6259105792 10500   7 10 apollon084 902    699     6740348928 11000   7 10 apollon068 913    686     6793281536 9670   7 10 apollon154 902    688     6274453504 10300   7 10 apollon146 901    661     8149176320 9430   7 10 apollon107 901    662     7067729920 9930   7 10 apollon061 901    686     6352707584 9790   7 10 apollon107
array-tiling/rewrev_true-unreach-call.i 902    625     7633551360 8690   7 10 apollon117 901    597     8268840960 9210   7 10 apollon156 901    579     9650085888 9680   7 10 apollon010 901    644     7145402368 9560   7 10 apollon058 902    636     6891433984 9650   7 10 apollon049 902    598     7791251456 10100   7 10 apollon132 902    623     6517342208 8950   7 10 apollon127 901    616     8096403456 9090   7 10 apollon154 901    613     7215144960 9180   7 10 apollon150
array-tiling/skipped_true-unreach-call.i 4.20 1.72  266063872 35.3 apollon134 4.17 1.76  270557184 36.7 apollon127 4.28 1.82  267780096 39.3 apollon119 4.15 1.75  268562432 37.7 apollon034 4.38 1.74  270516224 41.2 apollon091 4.11 1.71  270524416 38.1 apollon012 4.15 1.73  270319616 38.5 apollon147 4.17 1.72  265404416 38.5 apollon131 4.32 1.75  274542592 38.4 apollon166
array-tiling/tcpy_true-unreach-call.i 4.17 1.75  268939264 39.3 apollon142 4.17 1.73  274862080 36.5 apollon116 4.49 1.79  279351296 43.6 apollon047 4.45 1.84  276983808 38.0 apollon123 4.36 1.75  276221952 40.4 apollon120 4.56 1.80  278867968 45.2 apollon020 4.50 1.83  273473536 45.5 apollon108 4.47 1.81  272736256 40.6 apollon011 4.57 1.74  284385280 37.4 apollon089
array-programs/copysome1_false-unreach-call.i 901    868     7818334208 10000   1 12 apollon116 901    858     4242976768 10100   1 12 apollon033 901    864     7649361920 11800   1 12 apollon064 901    843     4516810752 8570   1 12 apollon029 901    876     5283065856 11400   1 12 apollon084 901    872     2623979520 9590   1 12 apollon020 901    860     4323307520 7820   1 12 apollon060 901    875     4374867968 9840   1 12 apollon133 901    845     4371755008 9340   1 12 apollon050
array-programs/copysome2_false-unreach-call.i 901    868     8118038528 10100   1 14 apollon107 901    856     4410957824 10600   1 14 apollon047 901    864     8251990016 8140   1 14 apollon002 901    845     4273111040 8150   1 14 apollon104 901    878     5722091520 12200   1 14 apollon088 901    879     2919448576 9400   1 14 apollon129 901    855     4241956864 8680   1 14 apollon035 901    875     4762734592 8670   1 14 apollon093 901    841     4483973120 8630   1 14 apollon149
array-programs/copysome1_true-unreach-call.i 901    868     7722057728 10100   1 12 apollon032 901    862     4205481984 9440   1 12 apollon131 901    865     7654354944 8850   1 12 apollon040 901    844     4387028992 12000   1 12 apollon130 901    876     5199024128 9960   1 12 apollon117 901    874     2599227392 9260   1 12 apollon099 901    859     4334616576 9530   1 12 apollon070 901    874     4242870272 11000   1 12 apollon069 901    846     4380536832 9560   1 12 apollon061
array-programs/copysome2_true-unreach-call.i 901    867     8059621376 11000   1 14 apollon142 901    856     4400545792 10300   1 14 apollon004 901    863     8079835136 10100   1 14 apollon049 901    839     4535537664 11500   1 14 apollon005 901    877     5709176832 10700   1 14 apollon001 901    880     2901073920 9100   1 14 apollon095 901    859     4310376448 8520   1 14 apollon066 901    876     4735393792 10700   1 14 apollon016 901    841     4559822848 9460   1 14 apollon090
bitvector/byte_add_false-unreach-call_true-no-overflow_true-termination.i 19.7  5.48  716738560 154   59 60 apollon100 20.7  5.63  730808320 190   59 60 apollon020 21.1  5.65  746504192 177   59 60 apollon120 21.2  5.67  823996416 176   59 60 apollon156 20.0  5.50  727355392 166   59 60 apollon109 21.0  5.67  784920576 159   59 60 apollon117 20.7  5.67  741998592 160   59 60 apollon123 95.0  72.9   2425298944 1070   59 60 apollon113 94.6  68.3   2647310336 1040   59 60 apollon052
bitvector/sum02_false-unreach-call_true-no-overflow.i 912    537     7747452928 9390   4 8 apollon005 901    517     8260554752 8240   4 8 apollon026 903    523     8785313792 8390   4 8 apollon079 901    494     9545687040 8330   4 8 apollon051 902    546     8772087808 9590   4 8 apollon108 901    483     11141296128 9170   4 8 apollon059 901    541     8935493632 9480   4 8 apollon020 901    852     2734862336 11300   4 8 apollon131 901    863     4130824192 13100   4 8 apollon014
bitvector/byte_add_1_true-unreach-call_true-no-overflow_true-termination.i 901    849     3416735744 11500   43 60 apollon071 90.6  64.2   2652041216 870   44 60 apollon054 901    848     3101581312 9510   43 60 apollon054 91.5  64.5   2533756928 972   44 60 apollon072 195    166     3346935808 2180   44 60 apollon104 190    162     2044575744 2350   44 60 apollon017 90.9  67.7   3347656704 1190   44 60 apollon016 189    159     2997338112 2310   44 60 apollon031 90.5  63.4   2549366784 1090   44 60 apollon059
bitvector/byte_add_2_true-unreach-call_true-no-overflow_true-termination.i 901    853     2879672320 9550   44 60 apollon158 89.8  65.0   2621894656 1050   45 60 apollon114 901    849     3078234112 11900   44 60 apollon024 92.6  69.1   2106527744 964   45 60 apollon134 191    166     2506727424 2360   45 60 apollon004 188    161     3211149312 2070   45 60 apollon002 90.9  66.9   3154747392 1030   45 60 apollon147 188    159     3116814336 2380   45 60 apollon164 91.1  68.5   2544951296 961   45 60 apollon013
bitvector/gcd_1_true-unreach-call_true-no-overflow.i 86.6  80.0   1658384384 998   10 12 apollon092 87.2  79.7   1568444416 1230   10 12 apollon068 87.1  78.8   1309847552 1100   10 12 apollon133 87.4  78.7   1583964160 1190   10 12 apollon091 87.1  79.7   1683263488 1140   10 12 apollon078 86.8  79.7   1682403328 1130   10 12 apollon032 86.9  79.6   1661714432 1310   10 12 apollon036 87.3  78.7   1336721408 1080   10 12 apollon103 87.1  78.4   1294221312 1130   10 12 apollon076
bitvector/gcd_2_true-unreach-call_true-no-overflow.i 85.1  78.6   1626091520 1120   9 10 apollon162 85.1  78.5   1596465152 1190   9 10 apollon132 85.8  77.7   1574088704 1010   9 10 apollon117 85.9  77.5   1275346944 1040   9 10 apollon137 85.6  78.7   1674588160 1050   9 10 apollon104 85.8  78.6   1683771392 1360   9 10 apollon056 85.3  78.6   1651630080 1320   9 10 apollon160 85.8  77.5   1311985664 1140   9 10 apollon031 85.4  77.1   1309880320 1320   9 10 apollon056
bitvector/gcd_3_true-unreach-call_true-no-overflow.i 901    872     1647284224 13600   9 10 apollon069 901    871     1648570368 13200   9 10 apollon122 901    871     1578582016 12900   9 10 apollon155 901    870     1543458816 13100   9 10 apollon130 555    536     1657442304 7890   9 10 apollon005 556    537     1725530112 7260   9 10 apollon118 901    872     1688326144 12400   9 10 apollon138 554    535     1368190976 7320   9 10 apollon011 901    871     1531002880 11700   9 10 apollon118
bitvector/gcd_4_true-unreach-call_true-no-overflow_true-termination.i 5.36 2.06  307359744 54.3 8 12 apollon057 5.53 2.09  303886336 44.4 8 12 apollon143 5.64 2.14  297299968 55.9 8 12 apollon030 5.69 2.20  306601984 47.6 8 12 apollon104 5.67 2.12  299667456 53.5 8 12 apollon164 5.55 2.10  295849984 48.4 8 12 apollon023 5.22 2.04  297988096 54.0 8 12 apollon106 5.50 2.07  295919616 52.4 8 12 apollon065 5.74 2.13  302292992 56.3 8 12 apollon081
bitvector/interleave_bits_true-unreach-call_true-no-overflow.i 86.6  76.9   2398851072 1100   3 4 apollon131 85.2  75.8   2610425856 1090   3 4 apollon001 87.3  75.9   2536247296 1130   3 4 apollon145 85.4  75.3   2458255360 1110   3 4 apollon004 86.5  76.8   2716651520 1040   3 4 apollon013 86.3  76.7   2733834240 1200   3 4 apollon006 85.2  75.6   2574573568 1330   3 4 apollon057 86.5  76.0   2431430656 1250   3 4 apollon069 85.6  75.1   2650992640 1060   3 4 apollon131
bitvector/jain_1_true-unreach-call_true-no-overflow_false-termination.i 82.6  76.7   1705558016 987   1 2 apollon143 82.9  76.7   1577488384 1020   1 2 apollon109 83.0  75.7   1531092992 1330   1 2 apollon039 83.0  76.0   1722093568 1040   1 2 apollon131 82.9  76.8   1667465216 1090   1 2 apollon153 82.8  76.7   1661157376 1210   1 2 apollon140 83.0  76.3   1610149888 1200   1 2 apollon047 82.9  75.8   1368666112 1080   1 2 apollon168 83.1  75.0   1598001152 1170   1 2 apollon007
bitvector/jain_2_true-unreach-call_true-no-overflow_false-termination.i 82.8  76.6   1793114112 1130   1 2 apollon114 82.9  76.7   1485455360 1140   1 2 apollon046 82.8  75.8   1587888128 1130   1 2 apollon138 83.2  75.9   1319231488 1010   1 2 apollon025 82.9  76.7   1805234176 1120   1 2 apollon146 82.8  76.8   1784180736 1110   1 2 apollon096 82.9  76.8   1372786688 1080   1 2 apollon076 82.9  75.8   1560788992 1060   1 2 apollon105 83.1  75.6   1572618240 1060   1 2 apollon156
bitvector/jain_4_true-unreach-call_true-no-overflow_false-termination.i 82.9  76.7   1826742272 1200   1 2 apollon108 83.3  76.9   1766391808 1090   1 2 apollon147 82.9  75.5   1666322432 1100   1 2 apollon067 83.3  75.3   1653927936 1170   1 2 apollon167 82.8  76.6   1817915392 1030   1 2 apollon045 82.8  77.0   1891684352 1050   1 2 apollon026 82.9  76.9   1759952896 1060   1 2 apollon075 83.0  75.6   1645629440 1230   1 2 apollon069 83.0  75.2   1597820928 1230   1 2 apollon030
bitvector/jain_5_true-unreach-call_true-no-overflow.i 901    870     4480831488 9630   1 2 apollon117 901    855     4202201088 12100   1 2 apollon056 901    866     4424871936 8090   1 2 apollon032 901    837     4090372096 7960   1 2 apollon152 901    869     4789739520 9540   1 2 apollon075 901    866     1520807936 7740   1 2 apollon152 901    851     4206862336 10200   1 2 apollon021 901    870     4064112640 8820   1 2 apollon116 901    839     4090626048 8020   1 2 apollon152
bitvector/jain_6_true-unreach-call_true-no-overflow_false-termination.i 83.0  76.9   1807233024 1130   1 2 apollon071 83.0  76.8   1792954368 861   1 2 apollon063 83.0  76.0   1630724096 1120   1 2 apollon113 83.5  75.2   1744785408 1010   1 2 apollon104 82.9  76.8   1877135360 1110   1 2 apollon145 83.0  76.9   1902587904 1010   1 2 apollon013 83.2  76.8   1866055680 1160   1 2 apollon091 83.0  75.8   1683185664 1140   1 2 apollon124 83.6  75.6   1751969792 994   1 2 apollon134
bitvector/jain_7_true-unreach-call_true-no-overflow_false-termination.i 84.7  78.4   1940201472 1150   1 2 apollon017 85.2  78.3   1852432384 1080   1 2 apollon120 85.2  77.4   1724854272 1170   1 2 apollon112 84.6  77.1   1652822016 985   1 2 apollon043 84.6  78.4   1863962624 1150   1 2 apollon084 84.8  78.3   1907683328 1010   1 2 apollon089 84.5  78.3   1797472256 962   1 2 apollon054 84.5  77.0   1790459904 1100   1 2 apollon078 85.3  76.5   1697476608 952   1 2 apollon054
bitvector/modulus_true-unreach-call_true-no-overflow.i 901    849     1314390016 12100   9 12 apollon010 901    853     1088446464 11900   9 12 apollon046 901    848     1033109504 11500   9 12 apollon146 901    851     1110904832 11300   9 12 apollon168 901    868     975486976 11300   11 12 apollon051 901    866     982884352 10700   11 12 apollon003 901    862     3984318464 12600   11 12 apollon024 901    871     891420672 11200   11 12 apollon050 901    864     3954970624 11600   11 12 apollon074
bitvector/num_conversion_1_true-unreach-call_true-no-overflow.i 5.63 2.14  286769152 50.5 5 6 apollon012 5.54 2.01  286511104 48.4 5 6 apollon025 5.31 1.97  282128384 51.1 5 6 apollon048 5.34 2.05  292708352 48.0 5 6 apollon061 5.63 2.03  288296960 52.6 5 6 apollon094 5.26 1.98  285319168 47.9 5 6 apollon147 5.32 1.97  284221440 47.1 5 6 apollon113 5.53 2.09  291745792 46.6 5 6 apollon109 5.82 2.10  297713664 51.6 5 6 apollon078
bitvector/num_conversion_2_true-unreach-call_true-no-overflow.i 93.5  33.1   3512332288 759   5 6 apollon118 901    505     11276300288 9660   5 6 apollon014 94.5  34.2   3569332224 705   5 6 apollon040 901    477     9702031360 9090   5 6 apollon130 93.7  40.6   4310560768 825   5 6 apollon166 93.9  35.4   3901558784 825   5 6 apollon132 929    431     10956779520 7860   5 6 apollon156 93.6  83.1   2328158208 1270   5 6 apollon005 93.3  83.2   2135752704 1160   5 6 apollon076
bitvector/parity_true-unreach-call_true-no-overflow.i 901    592     7453593600 10700   7 8 apollon030 919    615     6450651136 9960   7 8 apollon017 901    735     5581500416 10700   7 8 apollon078 901    680     8612626432 9920   7 8 apollon037 701    466     6073909248 7170   7 8 apollon034 902    608     7367458816 9550   7 8 apollon147 701    467     6035439616 7040   7 8 apollon115 901    700     6079041536 9750   7 8 apollon053 503    375     5008371712 6170   7 8 apollon064
bitvector/sum02_true-unreach-call_true-no-overflow.i 3.67 1.49  271429632 34.4 apollon096 3.64 1.58  268427264 36.4 apollon118 3.81 1.52  272084992 30.7 apollon040 3.60 1.53  259653632 32.5 apollon026 3.66 1.56  265826304 38.4 apollon160 3.44 1.48  259248128 36.1 apollon016 3.64 1.50  269246464 33.4 apollon105 3.83 1.52  266731520 33.6 apollon046 3.66 1.53  266993664 34.4 apollon024
bitvector/s3_clnt_1_false-unreach-call_true-no-overflow.BV.c.cil.c 89.4  29.5   3875966976 741   171 172 apollon024 115    40.3   3120427008 983   171 172 apollon028 83.9  29.1   3655360512 738   171 172 apollon138 101    31.7   2955362304 830   171 172 apollon094 74.7  27.5   2569674752 628   171 172 apollon115 81.1  28.2   2772115456 619   171 172 apollon041 74.0  28.1   2947461120 657   171 172 apollon095 104    32.9   3268640768 896   171 172 apollon028 77.1  30.1   3116535808 730   171 172 apollon140
bitvector/s3_clnt_2_false-unreach-call_true-no-overflow.BV.c.cil.c 106    46.7   3593232384 913   169 170 apollon109 108    34.7   3674832896 912   169 170 apollon094 145    88.5   4084695040 1530   169 170 apollon136 108    41.5   4124758016 964   169 170 apollon055 95.0  31.0   2937982976 690   169 170 apollon066 105    47.0   3080499200 925   169 170 apollon079 93.9  32.3   3421802496 850   169 170 apollon122 156    98.9   3848183808 1560   169 170 apollon034 95.5  37.1   3469017088 784   169 170 apollon013
bitvector/s3_clnt_3_false-unreach-call_true-no-overflow.BV.c.cil.c 94.9  36.2   3224293376 793   124 172 apollon013 901    404     11222081536 7110   124 172 apollon053 95.4  35.4   3132817408 925   124 172 apollon125 731    351     10750455808 7090   124 172 apollon094 112    37.1   4493737984 824   124 172 apollon100 114    33.6   4063334400 898   124 172 apollon081 331    113     8571301888 2510   124 172 apollon006 93.8  35.4   4104585216 803   124 172 apollon085 185    72.6   5233410048 1390   124 172 apollon054
bitvector/s3_clnt_1_true-unreach-call_true-no-overflow.BV.c.cil.c 79.4  28.3   2864173056 740   147 172 apollon033 75.9  28.3   2905591808 650   147 172 apollon156 70.3  28.3   2865373184 678   147 172 apollon130 75.1  29.1   2793140224 726   147 172 apollon126 74.2  27.5   2916704256 672   147 172 apollon064 78.2  28.0   3408781312 618   147 172 apollon013 118    45.8   3936673792 1060   147 172 apollon069 67.7  24.8   3000672256 556   147 172 apollon134 74.8  25.5   2442534912 648   147 172 apollon052
bitvector/s3_clnt_2_true-unreach-call_true-no-overflow.BV.c.cil.c 74.1  26.4   2665205760 654   143 170 apollon140 78.3  27.2   2811142144 709   143 170 apollon028 71.2  26.7   2476195840 624   143 170 apollon147 75.8  27.7   2766073856 657   143 170 apollon032 81.3  27.5   3548590080 733   143 170 apollon036 113    47.0   3188916224 985   143 170 apollon118 67.5  26.4   2797813760 591   143 170 apollon090 67.7  24.1   3029495808 612   143 170 apollon015 71.8  24.7   2662105088 598   143 170 apollon049
bitvector/s3_clnt_3_true-unreach-call_true-no-overflow.BV.c.cil.c 903    401     10894176256 8530   139 172 apollon030 964    428     10815328256 8620   143 172 apollon033 902    401     11232710656 7190   139 172 apollon062 950    403     11262476288 6970   142 172 apollon060 901    462     10441617408 8630   143 172 apollon138 312    147     6344953856 3050   145 172 apollon047 901    475     10597937152 8530   143 172 apollon052 324    142     6792585216 2770   145 172 apollon147 352    133     9691394048 2970   145 172 apollon027
bitvector/s3_srvr_1_alt_true-unreach-call_true-no-overflow.BV.c.cil.c 916    478     10722131968 7390   188 194 apollon029 903    633     5659537408 11100   191 194 apollon080 902    574     8049582080 9390   188 194 apollon084 902    651     6065684480 10400   191 194 apollon112 902    604     10411540480 9100   191 194 apollon001 901    722     6052536320 11000   191 194 apollon130 903    562     8025112576 8900   191 194 apollon072 901    735     6403141632 9890   191 194 apollon090 902    494     8916176896 7710   191 194 apollon134
bitvector/s3_srvr_1_true-unreach-call_true-no-overflow.BV.c.cil.c 901    466     10542309376 8460   125 192 apollon015 857    468     9433489408 8520   150 192 apollon164 934    521     8082726912 9670   125 192 apollon155 857    480     8602226688 7890   150 192 apollon133 901    512     9066369024 9460   125 192 apollon077 316    159     6664515584 3200   150 192 apollon059 237    117     6034587648 2020   150 192 apollon098 428    222     7000281088 4480   150 192 apollon008 350    168     5855383552 3110   150 192 apollon082
bitvector/s3_srvr_2_alt_true-unreach-call_true-no-overflow_false-termination.BV.c.cil.c 901    485     9756098560 7730   173 192 apollon041 901    515     11068796928 8520   173 192 apollon034 902    538     8620228608 9990   173 192 apollon033 902    589     6245699584 11400   173 192 apollon039 623    346     7109967872 5910   175 192 apollon133 682    311     11179003904 5640   175 192 apollon135 902    467     9256902656 7970   173 192 apollon150 617    460     6269267968 6420   175 192 apollon120 767    503     14999998464 8070   apollon032
bitvector/s3_srvr_2_true-unreach-call_true-no-overflow_false-termination.BV.c.cil.c 902    522     9224081408 10100   175 192 apollon008 901    517     8942964736 9920   173 192 apollon044 901    657     5508530176 8950   175 192 apollon117 901    534     8143290368 9660   173 192 apollon140 901    536     7411548160 8800   175 192 apollon012 901    558     7521079296 10200   175 192 apollon033 902    458     10827018240 8090   173 192 apollon165 322    159     6083313664 3180   175 192 apollon007 901    525     8304963584 8300   173 192 apollon023
bitvector/s3_srvr_3_alt_true-unreach-call_true-no-overflow.BV.c.cil.c 901    433     10982887424 8600   124 192 apollon108 902    490     9310801920 8830   148 192 apollon006 902    445     10503159808 7750   124 192 apollon103 901    468     10645585920 7630   148 192 apollon066 901    478     9145720832 7970   128 192 apollon003 288    129     8425304064 2510   149 192 apollon018 261    124     5655810048 2700   149 192 apollon044 901    505     8977944576 8740   126 192 apollon102 330    160     5874925568 3300   149 192 apollon007
bitvector/s3_srvr_3_true-unreach-call_true-no-overflow.BV.c.cil.c 901