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-08 09:03:00 2018-10-18 18:45:00 2018-10-22 12:12:00
Run set test-generation_250_250.V+P-Test-noreuse_250_250 test-generation_250_250.V+P-Test-cmc-uni-vp_250_250 test-generation_250_250.V+P-Test-cmc-uni-pv_250_250 test-generation_250_250.V+P-Test-cmc-bi_250_250 test-generation_20_80.V+P-Test-precision_20_80 test-generation_20_80.V+P-Test-continue_20_80 test-generation_20_80.V+P-Test-cmc-uni-vp-reuse_20_80 test-generation_20_80.V+P-Test-cmc-uni-pv-reuse_20_80 test-generation_20_80.V+P-Test-cmc-bi-reuse_20_80
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_250,config/testCaseGeneration-predicateAnalysis.properties::noreuse_250 -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_250,config/components/testCaseGeneration-predicate-use-cmc-condition.properties::noreuse_250 -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_250,config/components/testCaseGeneration-predicate-generate-cmc-condition.properties::noreuse_250 -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_250,config/components/testCaseGeneration-predicate-generate-and-use-cmc-condition.properties::noreuse_250 -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_20,config/testCaseGeneration-predicateAnalysis.properties::reuse-precision_80 -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_20,config/testCaseGeneration-predicateAnalysis.properties::continue_80 -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_20,config/components/testCaseGeneration-predicate-use-cmc-condition-precision.properties::noreuse_80 -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_20,config/components/testCaseGeneration-predicate-generate-cmc-condition.properties::continue_80 -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_20,config/components/testCaseGeneration-predicate-generate-and-use-cmc-condition-precision.properties::noreuse_80 -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    799     10034696192 8670   7 18 apollon073 902    585     8197103616 7040   7 18 apollon135 901    795     10216951808 7780   7 18 apollon060 834    625     14999998464 9830   apollon039 901    863     13301473280 11600   7 18 apollon019 901    844     7354875904 10800   7 18 apollon136 902    728     8678875136 9480   7 18 apollon051 901    864     7036018688 11800   7 18 apollon125 901    851     7010267136 10700   7 18 apollon168
array-examples/sorting_bubblesort_false-unreach-call2_ground.i 901    871     5034360832 10400   4 12 apollon141 901    860     8435830784 9440   4 12 apollon143 901    869     5743194112 9620   4 12 apollon096 902    857     8673099776 10100   4 12 apollon129 901    872     7171776512 13300   4 12 apollon044 901    875     2686349312 11300   4 12 apollon049 901    858     12456108032 8800   4 12 apollon151 901    875     4327993344 10600   4 12 apollon115 902    865     7954923520 10200   4 12 apollon154
array-examples/sorting_bubblesort_false-unreach-call_ground.i 901    871     5194866688 8130   4 12 apollon063 901    859     8293273600 9370   4 12 apollon143 901    869     5772021760 9660   4 12 apollon048 902    855     8372375552 8090   4 12 apollon131 901    871     6804348928 11000   4 12 apollon153 901    875     3070222336 12400   4 12 apollon081 901    856     11769397248 9010   4 12 apollon163 901    874     4099170304 10900   4 12 apollon154 902    866     7945601024 10600   4 12 apollon049
array-examples/sorting_selectionsort_false-unreach-call2_ground.i 901    871     5285040128 12700   4 20 apollon069 901    869     4227506176 11800   4 20 apollon024 901    870     5948764160 9990   4 20 apollon043 904    865     4337594368 10100   4 20 apollon103 901    871     7632097280 11900   4 20 apollon052 901    875     3326697472 11100   4 20 apollon001 901    857     4593876992 12300   4 20 apollon005 901    876     4402495488 13000   4 20 apollon148 902    808     9750478848 8550   4 20 apollon041
array-examples/sorting_selectionsort_false-unreach-call_ground.i 901    871     5207834624 9290   4 20 apollon158 901    869     4211245056 10500   4 20 apollon062 901    870     5733023744 12800   4 20 apollon016 902    865     2823516160 10200   4 20 apollon102 901    872     6593880064 11500   4 20 apollon085 901    875     2848206848 10300   4 20 apollon143 901    858     4476518400 12600   4 20 apollon033 901    874     3664416768 11300   4 20 apollon095 902    837     9864257536 9860   4 20 apollon048
array-examples/standard_allDiff2_false-unreach-call_ground.i 901    870     14531575808 9950   7 18 apollon043 1060    419     10783358976 6850   apollon127 901    869     14921199616 10000   7 18 apollon025 1060    415     10835779584 6970   apollon147 537    513     14999998464 6600   apollon074 901    870     11506884608 11000   7 18 apollon145 826    608     14999998464 7820   apollon163 901    871     12737314816 11400   7 18 apollon082 910    810     12864122880 10100   7 18 apollon085
array-examples/standard_copy1_false-unreach-call_ground.i 901    876     4729786368 9510   1 8 apollon002 901    873     2495791104 10600   1 8 apollon129 901    874     5099937792 8630   1 8 apollon029 901    872     3959787520 10600   1 8 apollon114 901    873     6224605184 13000   1 8 apollon008 901    881     2340171776 12700   1 8 apollon094 886    851     14999998464 9510   apollon094 901    880     2485362688 11500   1 8 apollon147 901    868     10255355904 9640   1 8 apollon043
array-examples/standard_copy2_false-unreach-call_ground.i 901    876     5461729280 9220   1 10 apollon002 901    873     3218821120 10700   1 10 apollon001 901    873     5175005184 8940   1 10 apollon055 901    869     4229926912 11200   1 10 apollon071 901    876     6619566080 13200   1 10 apollon016 901    881     2939400192 12100   1 10 apollon126 746    716     14999998464 6170   apollon166 901    879     3022630912 12800   1 10 apollon106 901    866     12163330048 8840   1 10 apollon139
array-examples/standard_copy3_false-unreach-call_ground.i 901    876     5725810688 9570   1 12 apollon092 901    872     3123585024 10100   1 12 apollon100 901    875     5747519488 9340   1 12 apollon051 901    869     4237332480 9320   1 12 apollon096 901    877     7509753856 12200   1 12 apollon006 901    883     3028516864 10900   1 12 apollon129 637    608     14999998464 5690   apollon145 901    880     2909573120 11600   1 12 apollon071 901    864     14471495680 13500   1 12 apollon057
array-examples/standard_copy4_false-unreach-call_ground.i 901    878     6281396224 12400   1 14 apollon094 901    871     3145928704 9780   1 14 apollon089 901    875     6533595136 11500   1 14 apollon005 901    868     4276584448 10500   1 14 apollon091 901    878     7503081472 11200   1 14 apollon095 901    882     3349753856 10800   1 14 apollon145 544    518     14999998464 5750   apollon072 901    879     3100237824 11100   1 14 apollon078 838    807     14999998464 9720   apollon146
array-examples/standard_copy5_false-unreach-call_ground.i 901    877     6849650688 10500   1 16 apollon079 901    873     3375116288 13200   1 16 apollon057 901    874     6878179328 11900   1 16 apollon088 901    870     4320362496 12000   1 16 apollon080 901    878     7990140928 11100   1 16 apollon153 901    884     4143853568 10800   1 16 apollon078 477    449     14999998464 5200   apollon079 901    881     3299762176 10900   1 16 apollon107 661    629     14999998464 6790   apollon054
array-examples/standard_copy6_false-unreach-call_ground.i 901    877     7467261952 11800   1 18 apollon112 901    872     3274203136 10100   1 18 apollon013 901    875     7558389760 12800   1 18 apollon044 901    869     3942592512 10000   1 18 apollon163 901    881     9185488896 13200   1 18 apollon016 901    882     4157181952 11800   1 18 apollon020 452    427     14999998464 6110   apollon044 901    881     3703971840 10300   1 18 apollon040 645    613     14999998464 7010   apollon042
array-examples/standard_copy7_false-unreach-call_ground.i 901    880     8023371776 13400   1 20 apollon057 901    871     3297239040 10800   1 20 apollon008 901    877     7945383936 8750   1 20 apollon097 901    869     4401934336 9730   1 20 apollon116 901    880     8332447744 11900   1 20 apollon052 901    884     4279922688 10900   1 20 apollon144 443    415     14999998464 5090   apollon091 901    880     4503764992 10600   1 20 apollon035 557    528     14999998464 6970   apollon142
array-examples/standard_copy8_false-unreach-call_ground.i 901    879     8007966720 9670   1 22 apollon037 901    869     3423109120 9840   1 22 apollon128 901    877     8072916992 10000   1 22 apollon004 901    869     4403302400 9730   1 22 apollon018 901    881     10151342080 11500   1 22 apollon113 901    886     4772462592 12400   1 22 apollon163 407    380     14999998464 5020   apollon030 901    883     5526331392 13300   1 22 apollon044 536    505     14999998464 7720   apollon044
array-examples/standard_copy9_false-unreach-call_ground.i 901    878     8778629120 12000   1 24 apollon132 901    870     3536752640 10200   1 24 apollon066 902    876     8346587136 9180   1 24 apollon093 901    867     4345614336 9220   1 24 apollon118 901    883     10489724928 11900   1 24 apollon046 901    886     5070700544 11500   1 24 apollon018 450    424     14999998464 6050   apollon021 901    883     5851467776 12300   1 24 apollon122 486    457     14999998464 5350   apollon128
array-examples/standard_copyInitSum2_false-unreach-call_ground.i 901    887     3366199296 11100   1 10 apollon083 902    885     1778032640 11100   1 10 apollon137 901    884     3339431936 13800   1 10 apollon080 902    888     1666543616 11800   1 10 apollon097 902    883     4773576704 12100   1 10 apollon152 901    888     1956909056 12700   1 10 apollon005 902    884     2426437632 13100   1 10 apollon094 901    878     2382790656 11800   1 10 apollon124 901    865     11168718848 10100   1 10 apollon079
array-examples/standard_init1_false-unreach-call_ground.i 901    885     2868043776 13300   1 6 apollon047 902    888     1253814272 11800   1 6 apollon001 901    883     2908569600 10900   1 6 apollon143 902    888     1377157120 12100   1 6 apollon118 901    879     4704505856 10800   1 6 apollon104 901    887     1639542784 14300   1 6 apollon160 901    883     1927864320 12500   1 6 apollon091 901    879     2668691456 10700   1 6 apollon115 901    865     8865763328 12800   1 6 apollon044
array-examples/standard_init2_false-unreach-call_ground.i 901    886     2913468416 11500   1 8 apollon026 901    887     1319661568 11400   1 8 apollon166 901    882     2896556032 11800   1 8 apollon095 902    886     1343205376 11900   1 8 apollon055 901    882     4637720576 11200   1 8 apollon144 901    887     1646157824 11700   1 8 apollon162 901    883     1789739008 12200   1 8 apollon052 901    878     2129551360 11800   1 8 apollon031 901    865     8911151104 10700   1 8 apollon085
array-examples/standard_init3_false-unreach-call_ground.i 901    885     2893004800 11100   1 10 apollon013 902    887     1341915136 11800   1 10 apollon097 901    882     2902736896 12500   1 10 apollon138 902    887     1456898048 12800   1 10 apollon024 901    882     4716748800 11900   1 10 apollon142 901    887     1651453952 11600   1 10 apollon135 902    883     1859833856 12300   1 10 apollon124 901    878     2399805440 11500   1 10 apollon082 901    862     8910278656 9870   1 10 apollon124
array-examples/standard_init4_false-unreach-call_ground.i 901    885     2886270976 11700   1 12 apollon001 902    888     1330171904 13500   1 12 apollon140 901    883     2892722176 11900   1 12 apollon078 901    887     1455362048 11700   1 12 apollon105 901    881     4558372864 11700   1 12 apollon118 901    888     1678831616 11700   1 12 apollon162 901    883     1778294784 12100   1 12 apollon084 901    878     2735161344 11300   1 12 apollon076 901    862     8911126528 10100   1 12 apollon050
array-examples/standard_init5_false-unreach-call_ground.i 901    885     2878898176 11000   1 14 apollon149 901    888     1336737792 11400   1 14 apollon025 901    882     2900594688 12800   1 14 apollon005 902    886     1432367104 11000   1 14 apollon134 901    882     4719570944 10200   1 14 apollon151 901    887     1715601408 11900   1 14 apollon085 901    886     1769074688 14300   1 14 apollon111 901    877     2561957888 10400   1 14 apollon117 901    863     8901738496 9810   1 14 apollon086
array-examples/standard_init6_false-unreach-call_ground.i 901    885     2874896384 12200   1 16 apollon096 902    888     1356759040 11800   1 16 apollon165 901    884     2897002496 11300   1 16 apollon166 901    887     1497321472 12600   1 16 apollon046 901    880     4681715712 9860   1 16 apollon158 901    888     1807454208 11300   1 16 apollon131 902    884     1801052160 10800   1 16 apollon041 901    878     2429071360 10500   1 16 apollon143 901    862     8900509696 10300   1 16 apollon031
array-examples/standard_init7_false-unreach-call_ground.i 901    886     2893197312 9350   1 18 apollon063 901    887     1372692480 10500   1 18 apollon092 901    884     2911326208 12900   1 18 apollon064 902    888     1261379584 13600   1 18 apollon106 901    881     4721078272 11000   1 18 apollon025 901    887     1662242816 11100   1 18 apollon003 901    885     1962434560 12600   1 18 apollon065 901    877     2335002624 11200   1 18 apollon129 901    863     8928849920 7760   1 18 apollon063
array-examples/standard_init8_false-unreach-call_ground.i 901    885     2889306112 11600   1 20 apollon073 902    887     1363738624 14700   1 20 apollon056 901    884     2890174464 11900   1 20 apollon038 901    888     1282691072 11300   1 20 apollon023 901    880     4640247808 11600   1 20 apollon153 901    888     1688363008 10600   1 20 apollon098 902    884     1889505280 11500   1 20 apollon119 901    879     2731675648 12400   1 20 apollon005 901    863     8751685632 9820   1 20 apollon003
array-examples/standard_init9_false-unreach-call_ground.i 901    885     2890571776 12700   1 22 apollon124 902    886     1348784128 13300   1 22 apollon028 901    883     2907734016 12500   1 22 apollon138 902    888     1413406720 12400   1 22 apollon031 901    882     4612759552 13200   1 22 apollon094 901    887     1680945152 12700   1 22 apollon065 901    883     1800466432 12300   1 22 apollon046 901    879     2719522816 12600   1 22 apollon081 901    865     8817192960 9940   1 22 apollon154
array-examples/standard_minInArray_false-unreach-call_ground.i 901    875     3862097920 9810   3 8 apollon149 901    861     6719934464 10000   3 8 apollon061 901    873     4625920000 9960   3 8 apollon164 901    862     7591288832 9640   3 8 apollon038 901    872     6430085120 12000   3 8 apollon136 901    877     2199920640 10700   3 8 apollon022 901    860     12501934080 9040   3 8 apollon155 901    876     2829799424 14200   3 8 apollon039 902    785     10826022912 11200   3 8 apollon111
array-examples/standard_partition_false-unreach-call_ground.i 901    874     5525000192 11000   3 14 apollon087 901    860     11737214976 9590   3 14 apollon067 901    869     6248300544 12000   3 14 apollon064 902    856     11928510464 9370   3 14 apollon050 901    874     6597758976 12500   3 14 apollon167 901    880     3543740416 10400   3 14 apollon083 593    558     14999998464 8390   apollon069 901    878     3776847872 10300   3 14 apollon117 901    803     13100294144 11500   3 14 apollon160
array-examples/standard_running_false-unreach-call.i 901    874     4712943616 11900   3 16 apollon071 901    864     3869790208 10600   3 16 apollon103 901    870     5469954048 11300   3 16 apollon165 902    856     4240285696 11800   3 16 apollon024 901    873     7222988800 11800   3 16 apollon101 901    878     3502133248 10400   3 16 apollon089 901    860     4398526464 11400   3 16 apollon162 901    875     3388735488 9860   3 16 apollon151 902    834     9916862464 9190   3 16 apollon045
array-examples/data_structures_set_multi_proc_trivial_true-unreach-call_ground_true-termination.i 901    873     7075975168 8260   5 22 apollon123 902    859     9330782208 9790   5 22 apollon154 901    870     7663484928 9510   5 22 apollon050 902    854     10540625920 10200   5 22 apollon068 901    875     9994809344 11300   5 22 apollon087 901    877     4853272576 8440   5 22 apollon063 407    376     14999998464 4110   apollon060 901    876     5065383936 12800   5 22 apollon088 495    462     14999998464 5340   apollon145
array-examples/data_structures_set_multi_proc_true-unreach-call_ground.i 901    851     9308172288 9790   8 18 apollon033 902    804     14698360832 8170   8 18 apollon157 902    844     9309728768 9130   8 18 apollon096 902    812     14955315200 9040   8 18 apollon048 717    686     14999998464 8340   apollon025 901    871     6875668480 10800   8 18 apollon058 707    639     14999998464 8630   apollon118 901    856     8090652672 9970   8 18 apollon099 691    635     14999998464 9900   apollon036
array-examples/relax_true-unreach-call.i 13.6  3.84  483782656 111   apollon085 12.9  3.66  479002624 106   apollon079 13.2  3.68  476860416 116   apollon091 13.2  3.71  482013184 112   apollon005 12.8  3.61  489963520 111   apollon017 12.7  3.66  413949952 107   apollon121 13.8  3.91  405581824 103   apollon143 901    792     7867924480 11400   32 48 apollon046 902    791     6597099520 10500   32 48 apollon032
array-examples/sanfoundry_02_true-unreach-call_ground.i 901    871     4609806336 9930   7 18 apollon043 1060    392     10836246528 6310   apollon157 901    868     5416484864 9510   7 18 apollon100 1060    396     10961289216 7640   apollon080 901    870     6328655872 11300   7 18 apollon102 901    875     2315575296 12400   7 18 apollon163 973    588     14488924160 7870   7 18 apollon023 901    875     3144912896 10600   7 18 apollon109 903    844     8895766528 8980   7 18 apollon029
array-examples/sanfoundry_10_true-unreach-call_ground.i 902    874     3954634752 10500   7 16 apollon102 901    878     1909608448 12400   7 16 apollon167 901    871     4627148800 10000   7 16 apollon050 901    877     2508759040 11200   7 16 apollon027 901    872     6702981120 12100   7 16 apollon136 901    875     2263461888 11200   7 16 apollon118 902    875     3532505088 11300   7 16 apollon121 901    876     3115700224 11600   7 16 apollon147 902    875     4654665728 11400   7 16 apollon135
array-examples/sanfoundry_24_true-unreach-call_true-termination.i 254    216     2687311872 3850   9 10 apollon111 256    216     2856624128 3530   9 10 apollon059 254    215     2581336064 3660   9 10 apollon030 257    217     2654613504 3480   9 10 apollon064 23.8  17.2   1282879488 293   9 10 apollon132 23.9  17.2   1294045184 298   9 10 apollon064 24.4  17.5   1337741312 259   9 10 apollon040 24.0  17.2   1325060096 269   9 10 apollon058 25.2  17.6   1423400960 267   9 10 apollon002
array-examples/sanfoundry_27_true-unreach-call_ground.i 901    875     4746858496 11900   3 8 apollon091 1060    425     10836369408 7770   apollon106 901    871     5120421888 11700   3 8 apollon030 1060    414     10734907392 6950   apollon033 901    873     7218524160 10700   3 8 apollon137 901    877     2479476736 12200   3 8 apollon155 901    595     13902626816 7110   3 8 apollon124 901    876     3181604864 11600   3 8 apollon011 903    789     10954969088 10800   3 8 apollon036
array-examples/sanfoundry_43_true-unreach-call_ground.i 901    873     3894353920 10900   1 6 apollon072 901    869     3353145344 10200   1 6 apollon073 901    873     3998834688 12900   1 6 apollon044 901    867     5375254528 11800   1 6 apollon111 901    872     6371106816 11900   1 6 apollon138 901    878     2307055616 10700   1 6 apollon003 901    864     5597847552 10600   1 6 apollon065 901    877     2263834624 11600   1 6 apollon067 902    869     5323513856 10500   1 6 apollon153
array-examples/sorting_bubblesort_true-unreach-call_ground.i 901    871     4984385536 11100   4 12 apollon087 901    858     8448344064 9600   4 12 apollon141 901    868     5679833088 12800   4 12 apollon161 902    857     8687484928 9540   4 12 apollon117 901    872     7020269568 10400   4 12 apollon104 901    875     3103330304 12700   4 12 apollon125 901    861     12149690368 9910   4 12 apollon017 901    874     4266975232 11200   4 12 apollon168 902    863     7919284224 10900   4 12 apollon164
array-examples/sorting_selectionsort_true-unreach-call_ground.i 901    871     4894662656 10200   4 20 apollon157 901    866     1772036096 10200   4 20 apollon041 901    870     5659287552 9890   4 20 apollon060 901    861     4349775872 10200   4 20 apollon154 901    872     7203991552 11600   4 20 apollon009 901    876     3014512640 12800   4 20 apollon014 902    856     4586295296 11500   4 20 apollon102 901    876     3966119936 11500   4 20 apollon102 901    823     9637879808 9430   4 20 apollon049
array-examples/standard_compareModified_true-unreach-call_ground.i 901    872     5546688512 11600   3 12 apollon010 901    864     4418772992 10900   3 12 apollon142 901    873     6196539392 11400   3 12 apollon024 902    862     4416794624 10000   3 12 apollon072 901    876     8139984896 10900   3 12 apollon050 901    880     3871793152 10900   3 12 apollon055 901    860     4180312064 10600   3 12 apollon001 901    875     3764342784 10700   3 12 apollon157 901    853     4893270016 11400   3 12 apollon065
array-examples/standard_compare_true-unreach-call_ground.i 901    875     4970299392 11400   3 10 apollon091 901    862     7531970560 13300   3 10 apollon039 901    871     5784367104 9050   3 10 apollon098 901    859     7897653248 12100   3 10 apollon148 901    875     6376554496 10500   3 10 apollon083 901    877     3278893056 11800   3 10 apollon052 901    865     14045229056 7960   3 10 apollon124 901    875     3708211200 9610   3 10 apollon158 903    787     11441786880 8560   3 10 apollon040
array-examples/standard_copy1_true-unreach-call_ground.i 901    877     5021020160 11600   1 8 apollon068 901    871     2519310336 8870   1 8 apollon123 901    875     5029429248 11100   1 8 apollon069 901    871     3733471232 9530   1 8 apollon121 901    874     7507148800 11300   1 8 apollon102 901    880     3056717824 10400   1 8 apollon100 880    845     14999998464 8340   apollon129 901    880     2735329280 10900   1 8 apollon150 901    866     11076300800 11200   1 8 apollon059
array-examples/standard_copy2_true-unreach-call_ground.i 901    875     3154477056 11300   1 10 apollon033 901    872     2875740160 9840   1 10 apollon073 901    875     5461536768 8860   1 10 apollon074 901    871     4026507264 11100   1 10 apollon069 901    876     7722496000 10900   1 10 apollon107 901    881     2719424512 11600   1 10 apollon017 693    660     14999998464 7750   apollon071 901    880     2796683264 10500   1 10 apollon041 901    868     13672280064 9700   1 10 apollon128
array-examples/standard_copy3_true-unreach-call_ground.i 901    876     5574914048 10300   1 12 apollon109 901    873     3073777664 10500   1 12 apollon062 901    876     5859102720 12600   1 12 apollon044 902    872     4193845248 9420   1 12 apollon134 901    877     7182352384 12400   1 12 apollon033 901    883     3132149760 9740   1 12 apollon092 598    572     15000023040 5920   apollon070 901    878     3334156288 11100   1 12 apollon029 850    816     14999998464 10900   apollon125
array-examples/standard_copy4_true-unreach-call_ground.i 901    877     6594420736 12000   1 14 apollon077 901    871     2980220928 10200   1 14 apollon153 902    876     6431440896 8960   1 14 apollon137 901    871     4222480384 9510   1 14 apollon156 901    875     7755120640 10900   1 14 apollon037 901    883     3557117952 11700   1 14 apollon046 532    503     14999998464 5450   apollon162 901    881     3226603520 12000   1 14 apollon024 672    638     14999998464 6810   apollon029
array-examples/standard_copy5_true-unreach-call_ground.i 901    877     6982504448 11500   1 16 apollon020 901    871     3307528192 12200   1 16 apollon069 901    876     6930722816 9840   1 16 apollon162 901    869     4280713216 9850   1 16 apollon075 901    878     7626366976 10700   1 16 apollon137 901    884     3995774976 10600   1 16 apollon003 488    463     15000010752 5100   apollon018 901    880     4084350976 10900   1 16 apollon012 638    606     14999998464 8430   apollon030
array-examples/standard_copy6_true-unreach-call_ground.i 901    877     7309549568 10200   1 18 apollon120 901    870     3277668352 9880   1 18 apollon060 901    877     7349022720 9980   1 18 apollon033 901    869     4281069568 9220   1 18 apollon045 901    882     9238167552 13200   1 18 apollon016 901    883     3665006592 12600   1 18 apollon047 456    428     14999998464 4420   apollon041 901    880     4094107648 11400   1 18 apollon070 549    519     14999998464 6500   apollon084
array-examples/standard_copy7_true-unreach-call_ground.i 901    878     7636303872 10600   1 20 apollon154 901    871     3483877376 9870   1 20 apollon128 901    877     7732461568 9850   1 20 apollon133 901    866     4370092032 10600   1 20 apollon085 901    881     9097936896 11900   1 20 apollon020 901    884     3978657792 11200   1 20 apollon095 448    421     14999998464 4510   apollon037 901    882     4709789696 12100   1 20 apollon126 484    456     14999998464 5140   apollon060
array-examples/standard_copy8_true-unreach-call_ground.i 901    878     8132956160 10300   1 22 apollon103 901    871     3497332736 11000   1 22 apollon138 901    877     8219250688 9390   1 22 apollon053 901    869     4365045760 9170   1 22 apollon149 901    882     10116493312 12000   1 22 apollon112 901    886     5321424896 13000   1 22 apollon069 403    379     14999998464 3910   apollon040 901    883     4392681472 10600   1 22 apollon025 461    435     14999998464 4750   apollon054
array-examples/standard_copy9_true-unreach-call_ground.i 901    878     8971522048 10700   1 24 apollon001 901    869     3693101056 12000   1 24 apollon167 901    877     8617406464 9890   1 24 apollon072 901    866     4426915840 8830   1 24 apollon151 901    880     10206224384 11500   1 24 apollon061 901    885     5501227008 11800   1 24 apollon071 445    420     14999998464 4610   apollon149 901    880     4943855616 13400   1 24 apollon044 455    422     14999998464 4780   apollon166
array-examples/standard_copyInitSum2_true-unreach-call_ground.i 901    886     3359694848 11300   1 10 apollon154 902    888     1731026944 13800   1 10 apollon080 901    885     3413417984 11500   1 10 apollon154 902    887     1636147200 11100   1 10 apollon127 901    883     4944412672 11200   1 10 apollon026 901    889     1991507968 13000   1 10 apollon028 902    884     2396282880 11000   1 10 apollon003 901    877     2733219840 11100   1 10 apollon001 901    864     11094818816 9330   1 10 apollon037
array-examples/standard_copyInitSum3_true-unreach-call_ground.i 901    886     3368226816 13200   1 12 apollon033 902    887     1761120256 13700   1 12 apollon148 901    885     3355037696 11000   1 12 apollon127 902    888     1754050560 11100   1 12 apollon053 902    880     4881752064 11800   1 12 apollon004 901    888     1950134272 11700   1 12 apollon076 901    882     2366087168 10600   1 12 apollon089 901    879     2930348032 10700   1 12 apollon066 901    865     11100311552 9670   1 12 apollon119
array-examples/standard_copyInitSum_true-unreach-call_ground.i 901    886     3389325312 11600   1 10 apollon012 901    886     1764884480 12500   1 10 apollon091 901    883     3449708544 12000   1 10 apollon102 901    885     1719123968 11600   1 10 apollon105 901    880     4844081152 11400   1 10 apollon095 901    888     1963479040 12500   1 10 apollon006 901    882     2592141312 11700   1 10 apollon038 901    878     2517991424 10800   1 10 apollon137 901    865     10887356416 11500   1 10 apollon069
array-examples/standard_copyInit_true-unreach-call_ground.i 901    886     3378577408 11700   1 8 apollon135 902    887     1617489920 13600   1 8 apollon148 901    884     3378610176 11900   1 8 apollon018 901    884     1771229184 11600   1 8 apollon072 901    882     5008343040 12200   1 8 apollon152 901    888     1984925696 11200   1 8 apollon062 902    884     2473959424 11700   1 8 apollon067 901    879     2344235008 11200   1 8 apollon078 901    865     10948206592 10800   1 8 apollon007
array-examples/standard_find_true-unreach-call_ground.i 901    875     3866755072 10500   1 10 apollon074 901    871     2525106176 10300   1 10 apollon097 901    874     4486508544 9350   1 10 apollon115 901    870     3493437440 10200   1 10 apollon013 902    872     6695071744 9760   1 10 apollon123 901    877     1912680448 11700   1 10 apollon124 901    866     11760148480 7080   1 10 apollon139 901    876     2277875712 11000   1 10 apollon062 901    867     8623255552 11800   1 10 apollon112
array-examples/standard_init1_true-unreach-call_ground.i 901    886     2882334720 11300   1 6 apollon079 902    889     1319337984 10500   1 6 apollon151 901    883     2893139968 13100   1 6 apollon167 902    886     1475440640 11600   1 6 apollon034 901    881     4737777664 11700   1 6 apollon118 901    887     1685098496 12000   1 6 apollon096 902    883     1826197504 10300   1 6 apollon029 901    878     2352467968 11600   1 6 apollon085 901    863     8851120128 12500   1 6 apollon080
array-examples/standard_init2_true-unreach-call_ground.i 901    885     2872668160 13700   1 8 apollon106 902    886     1370505216 11000   1 8 apollon060 901    883     2897027072 12400   1 8 apollon101 902    885     1292423168 12000   1 8 apollon018 901    881     4675870720 11200   1 8 apollon144 901    887     1658589184 10100   1 8 apollon123 901    882     1850560512 11600   1 8 apollon049 901    876     2422099968 13800   1 8 apollon160 901    863     8892043264 9360   1 8 apollon166
array-examples/standard_init3_true-unreach-call_ground.i 901    884     2879565824 11600   1 10 apollon129 902    886     1274658816 10700   1 10 apollon139 901    883     2892611584 11600   1 10 apollon034 902    887     1408991232 13700   1 10 apollon148 901    880     4690968576 10700   1 10 apollon060 901    888     1585741824 10500   1 10 apollon139 901    884     1852960768 11300   1 10 apollon034 901    877     2829647872 11300   1 10 apollon118 901    867     8945426432 10200   1 10 apollon090
array-examples/standard_init4_true-unreach-call_ground.i 901    885     2902786048 10300   1 12 apollon092 902    887     1303875584 11800   1 12 apollon119 901    883     2904133632 14300   1 12 apollon021 902    888     1339785216 11000   1 12 apollon060 901    881     4626014208 12500   1 12 apollon010 901    887     1722732544 11600   1 12 apollon165 901    882     1791303680 12200   1 12 apollon141 901    878     2623258624 11900   1 12 apollon017 901    865     8940871680 12400   1 12 apollon148
array-examples/standard_init5_true-unreach-call_ground.i 901    885     2897645568 12500   1 14 apollon152 902    890     1355317248 14400   1 14 apollon057 901    883     2902052864 12000   1 14 apollon087 902    887     1352007680 10900   1 14 apollon040 901    882     4433453056 11400   1 14 apollon129 901    887     1653661696 11600   1 14 apollon133 901    884     1924284416 12300   1 14 apollon020 901    878     2419462144 10300   1 14 apollon043 901    867     8886292480 9790   1 14 apollon116
array-examples/standard_init6_true-unreach-call_ground.i 901    885     2907832320 9470   1 16 apollon063 902    887     1318035456 11100   1 16 apollon013 901    883     2889932800 12300   1 16 apollon146 902    885     1468645376 12600   1 16 apollon152 901    880     4565766144 11400   1 16 apollon121 901    887     1637154816 11700   1 16 apollon049 901    882     1816805376 13000   1 16 apollon159 901    877     2363273216 9870   1 16 apollon123 901    863     8895410176 9480   1 16 apollon023
array-examples/standard_init7_true-unreach-call_ground.i 901    885     2874884096 11800   1 18 apollon120 901    885     1290567680 12600   1 18 apollon152 901    884     2906755072 11300   1 18 apollon025 902    888     1396506624 13800   1 18 apollon125 902    879     4497494016 12100   1 18 apollon152 901    887     1603489792 13000   1 18 apollon028 902    886     1908142080 11700   1 18 apollon162 901    878     2181918720 12600   1 18 apollon167 901    866     8955088896 9260   1 18 apollon157
array-examples/standard_init8_true-unreach-call_ground.i 901    886     2879283200 14000   1 20 apollon044 902    888     1357135872 12800   1 20 apollon091 901    884     2895687680 10900   1 20 apollon143 902    888     1444700160 10800   1 20 apollon043 901    879     4581879808 10100   1 20 apollon151 901    887     1602613248 12800   1 20 apollon155 902    884     1808830464 11400   1 20 apollon072 901    878     2489114624 12400   1 20 apollon068 901    863     8912977920 10500   1 20 apollon061
array-examples/standard_init9_true-unreach-call_ground.i 901    885     2898489344 11000   1 22 apollon089 902    885     1348055040 12900   1 22 apollon065 901    883     2885533696 12000   1 22 apollon022 902    889     1372778496 13700   1 22 apollon088 901    882     4665659392 11100   1 22 apollon003 901    888     1673175040 10600   1 22 apollon043 902    882     1934974976 12100   1 22 apollon101 901    877     2401595392 12600   1 22 apollon081 901    863     8854851584 9920   1 22 apollon073
array-examples/standard_maxInArray_true-unreach-call_ground.i 901    875     4217733120 9860   3 8 apollon045 901    861     6520438784 9900   3 8 apollon107 901    871     4742471680 9100   3 8 apollon115 901    860     7541227520 7870   3 8 apollon097 901    872     5850570752 12400   3 8 apollon081 901    876     2304753664 11000   3 8 apollon058 902    843     12977950720 8820   3 8 apollon134 901    875     2900275200 12200   3 8 apollon112 902    802     10944798720 9510   3 8 apollon129
array-examples/standard_minInArray_true-unreach-call_ground.i 901    876     3928313856 9550   3 8 apollon089 901    861     6888783872 10200   3 8 apollon122 901    871     4850098176 8810   3 8 apollon023 901    859     7549976576 8890   3 8 apollon163 901    871     5876658176 10900   3 8 apollon037 901    877     2113986560 10300   3 8 apollon117 901    860     13034930176 11500   3 8 apollon140 901    876     2879119360 9970   3 8 apollon151 901    766     10460286976 8990   3 8 apollon013
array-examples/standard_palindrome_true-unreach-call_ground.i 901    875     4072738816 10700   1 6 apollon135 901    873     2441904128 11400   1 6 apollon027 901    875     4428128256 8640   1 6 apollon022 901    870     3822338048 10300   1 6 apollon017 901    873     6650236928 11200   1 6 apollon153 901    878     2007404544 12200   1 6 apollon010 901    862     11796766720 8370   1 6 apollon163 901    878     2300678144 11200   1 6 apollon110 901    866     8866975744 11500   1 6 apollon068
array-examples/standard_partial_init_true-unreach-call_ground.i 901    875     4807319552 11000   3 10 apollon165 901    866     4499079168 9540   3 10 apollon097 901    871     5380145152 11500   3 10 apollon065 902    861     4527099904 11000   3 10 apollon142 901    875     6579875840 11200   3 10 apollon051 901    881     3226554368 12600   3 10 apollon130 901    865     5176000512 12600   3 10 apollon094 901    876     3483467776 12700   3 10 apollon140 902    799     12098113536 9050   3 10 apollon143
array-examples/standard_partition_original_true-unreach-call_ground.i 901    874     5546946560 13700   3 10 apollon056 901    857     9445498880 9670   3 10 apollon078 901    868     6887088128 10200   3 10 apollon099 902    855     10190299136 10900   3 10 apollon155 901    874     7387709440 13100   3 10 apollon036 901    879     2689581056 11600   3 10 apollon152 754    713     14999998464 10600   apollon069 901    878     3635507200 10500   3 10 apollon166 901    794     12222537728 8920   3 10 apollon153
array-examples/standard_partition_true-unreach-call_ground.i 901    875     4921135104 9750   3 12 apollon078 902    859     6955216896 9180   3 12 apollon098 901    872     6289690624 10600   3 12 apollon061 901    858     10503118848 9540   3 12 apollon061 901    873     6260895744 11600   3 12 apollon031 901    878     2683592704 13500   3 12 apollon160 787    750     14999998464 9280   apollon074 901    876     3660550144 11200   3 12 apollon121 902    813     11597660160 10300   3 12 apollon011
array-examples/standard_password_true-unreach-call_ground.i 901    873     5059448832 10700   3 10 apollon046 901    862     7365447680 10900   3 10 apollon011 901    870     5338353664 9010   3 10 apollon115 901    862     7896612864 7960   3 10 apollon042 901    874     6250598400 10500   3 10 apollon116 901    878     3056345088 10600   3 10 apollon045 901    864     14665080832 9790   3 10 apollon082 901    875     3211792384 13300   3 10 apollon080 902    802     12150099968 9330   3 10 apollon168
array-examples/standard_reverse_true-unreach-call_ground.i 901    876     4448567296 10900   1 6 apollon138 901    871     3107229696 10000   1 6 apollon083 901    876     4947795968 9700   1 6 apollon168 901    870     3741904896 8650   1 6 apollon060 901    874     6352322560 11800   1 6 apollon114 901    880     2595639296 13200   1 6 apollon080 860    827     14999998464 8620   apollon059 901    879     2958200832 10000   1 6 apollon139 901    864     11280764928 10400   1 6 apollon129
array-examples/standard_running_true-unreach-call.i 901    872     5346582528 11200   3 16 apollon001 901    865     4306952192 11000   3 16 apollon095 901    870     5442396160 10700   3 16 apollon104 901    855     2547335168 10200   3 16 apollon127 901    872     6958518272 10500   3 16 apollon149 901    878     3325280256 11400   3 16 apollon078 901    861     4268404736 11700   3 16 apollon052 901    876     3372314624 12300   3 16 apollon006 902    703     11122757632 10800   3 16 apollon161
array-examples/standard_sentinel_true-unreach-call_true-termination.i 254    221     2226307072 2560   7 8 apollon063 256    221     2241875968 2980   7 8 apollon002 255    221     2200719360 3750   7 8 apollon080 255    220     2244308992 3570   7 8 apollon122 24.1  17.6   1327312896 281   7 8 apollon102 23.2  16.6   1297604608 263   7 8 apollon097 23.9  17.5   1285763072 286   7 8 apollon071 23.6  14.6   1706991616 262   7 8 apollon009 23.7  14.6   1586286592 259   7 8 apollon055
array-examples/standard_seq_init_true-unreach-call_ground.i 901    885     2890391552 12600   1 6 apollon138 901    886     1358688256 12600   1 6 apollon046 901    882     2909581312 10700   1 6 apollon098 902    885     1606758400 11600   1 6 apollon157 901    882     4599050240 11800   1 6 apollon102 901    887     1675272192 11600   1 6 apollon135 902    883     1956732928 12600   1 6 apollon164 901    877     2263511040 12600   1 6 apollon140 901    866     8863043584 10200   1 6 apollon034
array-examples/standard_strcmp_true-unreach-call_ground.i 901    874     5383077888 13800   4 10 apollon039 901    865     9122344960 9980   4 10 apollon076 901    873     5203664896 10600   4 10 apollon028 901    864     9032228864 9010   4 10 apollon073 901    873     7188365312 10900   4 10 apollon073 901    880     2440740864 13800   4 10 apollon057 901    868     13756506112 9720   4 10 apollon001 901    878     2640044032 10300   4 10 apollon128 901    866     11328761856 11200   4 10 apollon167
array-examples/standard_strcpy_original_true-unreach-call.i 901    877     4604207104 12700   1 12 apollon069 901    873     2348634112 10500   1 12 apollon153 901    874     4850421760 10400   1 12 apollon018 901    870     4067360768 9600   1 12 apollon066 901    873     6460923904 11600   1 12 apollon031 901    879     2576134144 11300   1 12 apollon076 890    857     14999998464 8080   apollon034 901    879     2270109696 12400   1 12 apollon005 901    865     11003723776 9710   1 12 apollon145
array-examples/standard_strcpy_true-unreach-call_ground.i 901    876     4849741824 10100   1 10 apollon074 901    871     2311135232 12000   1 10 apollon081 901    873     5093789696 10600   1 10 apollon165 901    871     3923779584 9720   1 10 apollon073 901    873     6786945024 12400   1 10 apollon081 901    881     3079667712 11100   1 10 apollon055 901    868     14929084416 8270   1 10 apollon133 901    878     2984845312 11300   1 10 apollon095 901    868     11193384960 9530   1 10 apollon043
array-examples/standard_two_index_01_true-unreach-call.i 901    775     6591758336 10600   1 8 apollon001 917    791     5689765888 9810   1 8 apollon138 901    775     6150922240 10800   1 8 apollon011 972    783     6928936960 9520   1 8 apollon135 901    872     5928157184 11000   1 8 apollon107 901    589     8755707904 8520   1 8 apollon042 983    589     10272354304 8610   1 8 apollon003 901    875     2049777664 14000   1 8 apollon111 901    866     6336606208 12700   1 8 apollon130
array-examples/standard_two_index_02_true-unreach-call.i 901    876     4464910336 11000   1 8 apollon082 901    872     2530099200 11600   1 8 apollon091 901    875     4814897152 11600   1 8 apollon030 901    870     4071665664 10500   1 8 apollon059 901    875     6450470912 11000   1 8 apollon034 901    879     2577231872 10800   1 8 apollon144 875    840     14999998464 7660   apollon025 901    878     2563592192 12700   1 8 apollon059 901    865     10948317184 9950   1 8 apollon124
array-examples/standard_two_index_03_true-unreach-call.i 902    778     7592026112 11900   1 8 apollon007 944    792     5912633344 11200   1 8 apollon036 901    751     7337242624 11900   1 8 apollon088 927    782     5983436800 10200   1 8 apollon155 901    872     6068301824 12500   1 8 apollon033 1050    621     7692488704 11400   1 8 apollon160 901    504     9904295936 8930   1 8 apollon016 901    875     1816989696 12300   1 8 apollon164 901    867     6128668672 12100   1 8 apollon081
array-examples/standard_two_index_04_true-unreach-call.i 901    876     4710789120 12700   1 8 apollon088 901    872     2250334208 13200   1 8 apollon160 901    874     5105750016 9050   1 8 apollon103 901    871     3919978496 12900   1 8 apollon044 901    873     6398279680 11700   1 8 apollon101 901    879     2713243648 10900   1 8 apollon012 839    804     14999998464 9520   apollon094 901    879     2305748992 9880   1 8 apollon092 901    867     10964082688 9930   1 8 apollon101
array-examples/standard_two_index_05_true-unreach-call.i 901    876     3111968768 10200   1 8 apollon015 901    872     2546360320 10500   1 8 apollon073 901    875     4903063552 9720   1 8 apollon034 901    869     4122972160 11100   1 8 apollon142 901    874     6409551872 10700   1 8 apollon166 901    879     2791346176 11300   1 8 apollon101 892    859     14999998464 7310   apollon152 901    878     2819211264 12700   1 8 apollon163 901    867     11121823744 10500   1 8 apollon072
array-examples/standard_two_index_06_true-unreach-call.i 901    758     6341853184 10100   1 8 apollon137 956    788     6551756800 9130   1 8 apollon100 901    780     6166802432 10000   1 8 apollon025 947    780     5788057600 9430   1 8 apollon119 901    872     5853466624 11200   1 8 apollon133 910    512     8488919040 7800   1 8 apollon025 1040    595     10113544192 8590   1 8 apollon109 901    875     2003542016 11500   1 8 apollon049 901    863     6336040960 12200   1 8 apollon064
array-examples/standard_two_index_07_true-unreach-call.i 901    876     4586033152 10400   1 8 apollon154 901    873     2770833408 9840   1 8 apollon143 901    875     5148000256 9620   1 8 apollon117 901    871     3937112064 10000   1 8 apollon082 901    875     6899585024 10300   1 8 apollon089 901    880     2520956928 12300   1 8 apollon068 877    841     14999998464 11200   apollon056 901    879     2482794496 9980   1 8 apollon029 901    866     11185020928 11000   1 8 apollon091
array-examples/standard_two_index_08_true-unreach-call.i 901    876     4939108352 10200   1 8 apollon143 901    871     2457239552 10700   1 8 apollon138 901    876     4823437312 9800   1 8 apollon168 901    870     3903578112 12400   1 8 apollon111 901    875     6548676608 10900   1 8 apollon062 901    881     2655199232 10900   1 8 apollon012 901    868     14944096256 8380   1 8 apollon020 901    879     2572959744 12700   1 8 apollon077 901    865     11037908992 11000   1 8 apollon027
array-examples/standard_two_index_09_true-unreach-call.i 901    877     4550942720 10600   1 8 apollon062 901    873     2592841728 9510   1 8 apollon029 901    874     4819034112 8770   1 8 apollon022 901    870     2022158336 12400   1 8 apollon148 901    876     6991224832 12200   1 8 apollon065 901    879     2245697536 10400   1 8 apollon041 881    849     14999998464 8220   apollon058 901    878     2950270976 10300   1 8 apollon117 902    869     11246698496 11100   1 8 apollon019
array-examples/standard_vararg_true-unreach-call_ground_true-termination.i 901    838     4559843328 11900   5 6 apollon004 901    837     4593446912 11300   5 6 apollon144 901    829     4558299136 11700   5 6 apollon076 901    822     4760657920 12600   5 6 apollon108 901    866     2346749952 12700   5 6 apollon164 901    864     2697113600 11800   5 6 apollon082 901    862     3248340992 12100   5 6 apollon146 901    859     3055050752 12700   5 6 apollon006 901    860     3832893440 11400   5 6 apollon034
array-examples/standard_vector_difference_true-unreach-call_ground.i 901    877     5106647040 10300   1 6 apollon025 901    873     3004260352 12400   1 6 apollon069 901    875     5659029504 11000   1 6 apollon006 901    871     4203409408 9230   1 6 apollon128 901    875     6703771648 11600   1 6 apollon009 901    880     3494494208 9700   1 6 apollon092 901    868     4104122368 9960   1 6 apollon002 901    880     2797711360 10200   1 6 apollon002 901    866     12754771968 10500   1 6 apollon048
array-industry-pattern/array_assert_loop_dep_false-unreach-call_true-termination.i 901    885     2890858496 12600   1 8 apollon138 901    886     1356541952 13100   1 8 apollon108 901    882     2911653888 11900   1 8 apollon049 901    886     1350852608 13100   1 8 apollon033 902    882     4550500352 13300   1 8 apollon069 901    888     1630093312 12200   1 8 apollon101 901    883     1839370240 14400   1 8 apollon056 901    878     2447630336 12600   1 8 apollon167 901    863     8808189952 10600   1 8 apollon108
array-industry-pattern/array_of_struct_loop_dep_false-unreach-call.i 903    884     4467318784 9890   0 8 apollon040 903    884     4353687552 11100   0 8 apollon009 903    882     4369915904 11000   0 8 apollon076 903    881     4471787520 12300   0 8 apollon094 903    897     4189319168 5920   0 8 apollon029 903    897     4226854912 5790   0 8 apollon003 902    889     4639133696 13500   0 8 apollon126 903    897     4214226944 4910   0 8 apollon022 902    889     4530782208 11900   0 8 apollon062
array-industry-pattern/array_ptr_single_elem_init_false-unreach-call_true-termination.i 901    868     5753856000 10300   7 14 apollon109 901    852     4775055360 11800   7 14 apollon027 901    866     6254604288 11600   7 14 apollon047 902    855     4633206784 9810   7 14 apollon134 901    874     5643603968 11200   7 14 apollon050 901    880     3685322752 11100   7 14 apollon037 901    856     5631889408 12100   7 14 apollon136 901    873     4110024704 11800   7 14 apollon017 901    875     5991931904 10300   7 14 apollon042
array-industry-pattern/array_range_init_false-unreach-call.i 903    884     4399845376 12200   0 10 apollon159 903    884     4405051392 10900   0 10 apollon120 903    883     4423073792 10700   0 10 apollon107 903    883     4154331136 12100   0 10 apollon033 903    898     4084072448 6190   0 10 apollon147 903    897     4006289408 6040   0 10 apollon076 902    891     4064141312 13200   0 10 apollon112 903    898     4041048064 5880   0 10 apollon018 902    891     4021518336 12400   0 10 apollon156
array-industry-pattern/array_single_elem_init_false-unreach-call_true-termination.i 901    866     5840064512 11600   7 14 apollon020 901    855     4888805376 10100   7 14 apollon097 901    867     6152769536 12500   7 14 apollon014 902    852     4962492416 9570   7 14 apollon151 901    873     6700666880 11100   7 14 apollon120 901    878     3768020992 13700   7 14 apollon057 901    855     6100422656 10400   7 14 apollon089 901    872     4287029248 12800   7 14 apollon125 901    872     6292131840 13100   7 14 apollon030
array-industry-pattern/check_removal_from_set_after_insertion_false-unreach-call.i 901    852     6327078912 8840   7 24 apollon145 902    820     8572719104 8910   7 24 apollon055 901    846     6389121024 9640   7 24 apollon033 902    816     8386404352 10600   7 24 apollon069 901    869     8282308608 12700   7 24 apollon014 901    874     2742587392 10800   7 24 apollon101 901    817     7335186432 10700   7 24 apollon133 901    865     4609204224 12900   7 24 apollon044 902    842     7410184192 10500   7 24 apollon118
array-industry-pattern/array_monotonic_true-unreach-call_true-termination.i 901    873     4969607168 8930   3 10 apollon042 1060    411     11158392832 8280   apollon021 901    871     5783760896 11100   3 10 apollon077 1060    407     11169738752 6250   apollon099 901    871     7474585600 9680   3 10 apollon151 901    878     3078828032 10800   3 10 apollon153 902    643     13520048128 8370   3 10 apollon020 901    874     3239043072 11400   3 10 apollon118 904    747     10684510208 8470   3 10 apollon031
array-industry-pattern/array_mul_init_true-unreach-call_true-termination.i 901    887     3387154432 11800   1 14 apollon078 902    889     1689329664 13400   1 14 apollon126 901    883     3432722432 11900   1 14 apollon162 902    887     1566388224 13200   1 14 apollon167 901    880     4883165184 13100   1 14 apollon106 901    888     2068586496 11300   1 14 apollon131 902    887     2132660224 10900   1 14 apollon099 901    879     2609541120 11200   1 14 apollon118 901    867     10268868608 13200   1 14 apollon044
array-industry-pattern/array_of_struct_break_true-unreach-call.i 903    883     4473090048 11000   0 10 apollon147 903    883     4508585984 11300   0 10 apollon084 903    882     4582539264 11000   0 10 apollon082 903    881     4426944512 11000   0 10 apollon093 903    896     4195553280 5690   0 10 apollon083 903    897     4193927168 6230   0 10 apollon011 902    890     4612345856 12700   0 10 apollon052 903    897     4197220352 5240   0 10 apollon086 902    889     4612534272 12200   0 10 apollon085
array-industry-pattern/array_of_struct_ptr_cond_init_true-unreach-call.i 903    884     4260696064 10500   0 10 apollon023 903    884     4412657664 10000   0 10 apollon002 903    882     4411523072 11700   0 10 apollon071 903    882     4346630144 10500   0 10 apollon099 903    897     3994390528 5550   0 10 apollon051 903    897     4007866368 5520   0 10 apollon074 902    890     4113723392 11100   0 10 apollon029 903    897     4006391808 5570   0 10 apollon149 902    890     4134146048 13600   0 10 apollon108
array-industry-pattern/array_of_struct_ptr_flag_init_true-unreach-call.i 901    875     4802777088 11000   1 12 apollon147 901    868     4204802048 12000   1 12 apollon069 901    873     4593827840 10700   1 12 apollon087 902    866     4831887360 11700   1 12 apollon094 901    873     6265856000 11400   1 12 apollon087 901    877     2662916096 12500   1 12 apollon059 901    860     4896661504 10900   1 12 apollon078 901    878     2709327872 11000   1 12 apollon107 901    866     11081322496 10600   1 12 apollon026
array-industry-pattern/array_of_struct_ptr_monotonic_true-unreach-call.i 903    884     4420296704 11000   0 10 apollon050 903    883     4438773760 10500   0 10 apollon035 903    883     4290547712 10400   0 10 apollon117 903    881     4318674944 11400   0 10 apollon101 903    897     4050563072 7270   0 10 apollon077 903    897     4030906368 5720   0 10 apollon096 902    890     4125954048 11800   0 10 apollon166 903    898     4093448192 6690   0 10 apollon106 902    889     4158267392 13300   0 10 apollon006
array-industry-pattern/array_of_struct_ptr_mul_init_true-unreach-call.i 902    883     6844645376 12200   0 14 apollon119 903    880     5395038208 13100   0 14 apollon124 902    878     5355786240 14500   0 14 apollon044 903    878     5077643264 11500   0 14 apollon013 904    897     6474866688 10100   0 14 apollon028 904    896     6371450880 8690   0 14 apollon073 902    882     5636509696 11400   0 14 apollon053 904    897     6408073216 10800   0 14 apollon160 902    880     5488623616 11000   0 14 apollon002
array-industry-pattern/array_of_struct_single_elem_init_true-unreach-call.i 903    879     5377970176 14900   0 12 apollon160 903    884     6426132480 12100   0 12 apollon001 903    883     6600331264 15200   0 12 apollon056 903    881     6887149568 9820   0 12 apollon063 905    898     8594939904 9180   0 12 apollon093 905    898     8537800704 8710   0 12 apollon083 902    880     5483622400 15000   0 12 apollon056 905    897     8507351040 9280   0 12 apollon004 902    881     5294075904 11900   0 12 apollon072
array-industry-pattern/array_ptr_partial_init_true-unreach-call.i 903    884     4442062848 10800   0 8 apollon105 903    884     4418265088 11200   0 8 apollon082 903    882     4334751744 9630   0 8 apollon054 903    882     4392800256 10800   0 8 apollon032 903    898     4111572992 6050   0 8 apollon076 903    897     4104253440 4900   0 8 apollon002 902    890     4066267136 12300   0 8 apollon078 903    897     4125687808 6840   0 8 apollon001 902    890     3957997568 12200   0 8 apollon012
array-industry-pattern/array_ptr_single_elem_init_true-unreach-call.i 903    885     4354043904 11300   0 18 apollon004 903    884     4418633728 12500   0 18 apollon094 903    883     4425797632 10500   0 18 apollon099 903    883     4237570048 10700   0 18 apollon090 903    898     4082552832 6420   0 18 apollon084 903    897     4066254848 6610   0 18 apollon117 902    890     4149915648 14000   0 18 apollon148 903    897     4099547136 5900   0 18 apollon083 902    890     3996020736 13200   0 18 apollon091
array-industry-pattern/array_shadowinit_true-unreach-call_true-termination.i 901    818     4843724800 9150   7 8 apollon107 901    719     7149740032 9810   7 8 apollon058 901    825     4997894144 8650   7 8 apollon154 901    777     4975140864 12400   7 8 apollon111 901    745     6758961152 12000   7 8 apollon044 901    837     4067450880 12600   7 8 apollon021 901    766     4927528960 12300   7 8 apollon130 901    773     5694996480 12400   7 8 apollon016 901    773     4950781952 11900   7 8 apollon019
reducercommutativity/rangesum05_false-unreach-call_true-termination.i 901    875     1856884736 12100   9 14 apollon064 901    876     2369310720 10800   9 14 apollon070 901    873     2195861504 10500   9 14 apollon124 901    875     2144280576 10700   9 14 apollon070 901    878     2175897600 9310   9 14 apollon126 901    879     1558659072 11300   9 14 apollon161 901    880     2438070272 8920   9 14 apollon120 901    876     2065879040 11000   9 14 apollon160 901    879     2222784512 10200   9 14 apollon047
reducercommutativity/rangesum10_false-unreach-call_true-termination.i 901    869     2477588480 11300   9 14 apollon077 901    870     2109063168 10500   9 14 apollon001 901    867     2022465536 9380   9 14 apollon003 901    872     2286841856 9750   9 14 apollon003 901    874     2348118016 9320   9 14 apollon071 901    874     3108745216 7880   9 14 apollon143 901    874     4032102400 8850   9 14 apollon073 901    873     4113543168 11000   9 14 apollon056 901    872     4009840640 10400   9 14 apollon010
reducercommutativity/rangesum20_false-unreach-call.i 901    867     3162415104 10300   9 14 apollon017 901    871     2881265664 9110   9 14 apollon109 901    867     3103809536 10700   9 14 apollon027 901    870     2723926016 10900   9 14 apollon027 901    862     4480073728 7230   9 14 apollon090 901    861     4453335040 8720   9 14 apollon059 901    865     4237824000 7840   9 14 apollon066 901    862     4268339200 7090   9 14 apollon040 901    863     4161044480 7370   9 14 apollon097
reducercommutativity/rangesum40_false-unreach-call.i 902    862     5639630848 12300   9 14 apollon080 285    259     14999998464 3270   apollon117 902    863     5303422976 10700   9 14 apollon142 286    259     14999998464 3760   apollon024 901    864     10302676992 5530   9 14 apollon022 901    853     4908695552 11600   9 14 apollon024 53.6  34.3   1269202944 606   apollon088 901    847     4973027328 10500   9 14 apollon145 54.9  34.7   1190629376 520   apollon045
reducercommutativity/rangesum60_false-unreach-call.i 901    863     6338715648 12400   9 14 apollon081 408    383     14999998464 3860   apollon023 901    860     6420979712 12500   9 14 apollon028 403    377     14999998464 4060   apollon050 904    867     8771518464 6480   9 14 apollon037 902    850     4296953856 11000   8 14 apollon164 140    118     3044851712 1400   apollon135 901    856     4640182272 8970   8 14 apollon151 133    110     2153365504 1590   apollon130
reducercommutativity/rangesum_false-unreach-call_true-termination.i 901    730     6024597504 9070   14 16 apollon034 902    739     5967269888 9590   10 16 apollon086 901    730     5201502208 9320   14 16 apollon095 904    745     6531284992 8990   10 16 apollon139 901    795     5144764416 9580   14 16 apollon100 901    811     4390604800 12200   14 16 apollon016 901    787     5424431104 11100   10 16 apollon096 901    804     4777172992 10700   14 16 apollon052 902    772     5441646592 10500   14 16 apollon019
reducercommutativity/avg05_true-unreach-call_true-termination.i 901    878     3728027648 13600   6 10 apollon044 901    880     3069300736 10900   6 10 apollon018 901    877     2796048384 11700   6 10 apollon017 901    880     2982457344 10900   6 10 apollon129 901    892     3953180672 7980   6 10 apollon015 901    892     3502034944 7440   6 10 apollon158 901    882     2333007872 12300   6 10 apollon132 901    891     3430686720 8910   6 10 apollon134 901    881     2402209792 10300   6 10 apollon041
reducercommutativity/avg10_true-unreach-call_true-termination.i 901    871     2254938112 12200   6 10 apollon136 901    875     3148976128 10800   6 10 apollon085 901    870     2334867456 11900   6 10 apollon004 901    875     3077476352 13100   6 10 apollon056 901    881     2450280448 7840   6 10 apollon092 901    882     3141885952 11600   6 10 apollon140 902    878     2566459392 11500   6 10 apollon077 901    880     3426185216 9240   6 10 apollon095 901    878     2363002880 10100   6 10 apollon133
reducercommutativity/avg20_true-unreach-call.i 901    867     2475880448 13400   6 10 apollon030 902    871     3058155520 10200   6 10 apollon084 901    866     2619637760 11300   6 10 apollon121 901    871     3285020672 9280   6 10 apollon037 901    868     4117524480 10800   6 10 apollon124 901    871     4130004992 11200   6 10 apollon067 901    874     4408696832 9030   6 10 apollon006 901    867     4155940864 11100   6 10 apollon067 901    871     4440834048 6860   6 10 apollon002
reducercommutativity/avg40_true-unreach-call.i 901    874     4303622144 11200   6 10 apollon096 902    879     5565018112 10200   6 10 apollon036 901    875     4307083264 10500   6 10 apollon023 902    877     5626486784 9530   6 10 apollon114 416    383     14999998464 5410   apollon008 901    862     12575748096 10200   5 10 apollon113 902    862     5839708160 8690   6 10 apollon112 901    859     12363337728 11200   5 10 apollon014 905    869     5841436672 6490   6 10 apollon054
reducercommutativity/avg60_true-unreach-call.i 834    805     14999998464 9300   apollon102 910    880     8183492608 8720   6 10 apollon097 846    813     14999998464 9190   apollon118 910    882     8181018624 8350   6 10 apollon127 903    882     5976256512 5870   6 10 apollon032 901    859     9695866880 10300   5 10 apollon108 903    860     8130076672 8520   6 10 apollon038 902    855     10083041280 12000   5 10 apollon111 903    859     8195223552 8100   6 10 apollon095
reducercommutativity/avg_true-unreach-call_true-termination.i 392    360     3916832768 4030   apollon137 909    830     4602032128 10300   4 10 apollon070 388    356     3638071296 4610   apollon065 907    794     5438791680 11300   4 10 apollon161 173    134     5364436992 1540   apollon158 172    133     5135425536 1980   apollon112 902    780     4631203840 9740   4 10 apollon034 154    128     5397422080 1610   apollon124 177    147     5972844544 1950   apollon147
reducercommutativity/max05_true-unreach-call_true-termination.i 901    876     3045593088 9310   8 12 apollon045 901    878     2623569920 9760   8 12 apollon073 901    875     2237308928 9250   8 12 apollon045 901    878     2597691392 9530   8 12 apollon037 901    881     2119999488 9240   8 12 apollon036 901    880     2668081152 8500   8 12 apollon165 901    881     1577672704 8400   8 12 apollon067 901    878     1950167040 7440   8 12 apollon097 901    880     2334244864 10200   8 12 apollon160
reducercommutativity/max10_true-unreach-call_true-termination.i 901    871     2499096576 8950   8 12 apollon023 901    872     2399522816 8830   8 12 apollon098 901    870     2432638976 10700   8 12 apollon132 901    874     1933443072 9180   8 12 apollon037 901    889     3354165248 5610   8 12 apollon040 901    888     2452094976 5550   8 12 apollon060 901    876     2156470272 7640   8 12 apollon097 901    887     2701344768 6170   8 12 apollon138 901    876     2394046464 7400   8 12 apollon040
reducercommutativity/max20_true-unreach-call.i 902    869     2292871168 10800   8 12 apollon005 901    872     2156802048 9550   8 12 apollon137 901    865     2977587200 9300   8 12 apollon032 901    872     1630531584 11400   8 12 apollon132 901    890     1158664192 7060   8 12 apollon030 901    889     1149800448 6100   8 12 apollon038 901    871     4180824064 10500   8 12 apollon045 901    889     1078476800 5260   8 12 apollon037 901    871     3466309632 12200   8 12 apollon005
reducercommutativity/max40_true-unreach-call.i 901    865     2437394432 9420   6 12 apollon072 901    866     2133762048 8970   8 12 apollon067 901    863     3146592256 9140   6 12 apollon022 901    867     2949234688 8560   8 12 apollon118 901    878     3356413952 8580   8 12 apollon016 901    871     5218299904 8090   7 12 apollon152 901    861     4595990528 9720   8 12 apollon145 901    869     5521645568 8370   7 12 apollon129 901    861     4459257856 11200   8 12 apollon081
reducercommutativity/max60_true-unreach-call.i 901    869     2603368448 7530   5 12 apollon098 902    868     5142065152 9900   7 12 apollon114 901    868     2672939008 8570   5 12 apollon011 902    871     5138460672 9000   7 12 apollon105 901    883     2032791552 6240   5 12 apollon027 901    880     1801424896 5790   5 12 apollon147 901    852     4788834304 10300   8 12 apollon017 901    881     2036256768 6340   5 12 apollon028 901    853     4786425856 9840   8 12 apollon079
reducercommutativity/max_true-unreach-call_true-termination.i 901    636     7149133824 11000   8 12 apollon030 902    514     8900091904 9380   6 12 apollon125 901    642     7289352192 10100   8 12 apollon164 902    597     7460589568 10000   8 12 apollon094 901    881     1144676352 11700   8 12 apollon121 901    881     1029206016 11600   8 12 apollon074 901    785     4848222208 10200   8 12 apollon150 901    892     1623732224 11500   8 12 apollon059 901    791     5062135808 11100   8 12 apollon147
reducercommutativity/sep05_true-unreach-call_true-termination.i 901    679     6114328576 8400   10 12 apollon024 901    616     8874536960 8410   10 12 apollon150 901    631     7589019648 7730   10 12 apollon062 901    664     5994352640 10200   10 12 apollon024 901    776     6697619456 6270   9 12 apollon116 901    790     6102614016 6940   10 12 apollon087 901    792     5168025600 10300   10 12 apollon043 901    796     4869664768 7270   9 12 apollon155 901    798     5079130112 13700   10 12 apollon160
reducercommutativity/sep10_true-unreach-call.i 902    723     6697209856 7260   9 12 apollon101 902    642     7513333760 9480   9 12 apollon049 901    737     6080036864 7920   9 12 apollon062 904    702     6900051968 9430   9 12 apollon131 901    868     4866863104 5770   8 12 apollon115 902    825     5426569216 5530   8 12 apollon144 901    726     6066331648 11600   8 12 apollon163 902    812     4936388608 6930   9 12 apollon059 901    799     4901384192 10700   9 12 apollon157
reducercommutativity/sep20_true-unreach-call.i 486    452     14999998464 5500   apollon035 903    777     6260314112 11900   7 12 apollon122 489    450     14999998464 5650   apollon097 907    728     6874320896 9700   6 12 apollon115 514    496     14999998464 6320   apollon065 335    317     14999998464 3730   apollon144 902    756     5415702528 11500   6 12 apollon108 556    527     14999998464 6220   apollon162 148    126     14999998464 1680   apollon020
reducercommutativity/sep40_true-unreach-call.i 901    869     5803999232 10400   8 12 apollon101 901    853     4167917568 10700   5 12 apollon145 901    868     6893002752 9730   8 12 apollon037 902    849     4198666240 10400   5 12 apollon153 488    469     14999998464 5320   apollon156 901    866     5915316224 12900   8 12 apollon057 901    843     4218949632 11000   6 12 apollon097 901    851     9237360640 11100   8 12 apollon147 902    766     5245726720 10200   8 12 apollon035
reducercommutativity/sep60_true-unreach-call.i 901    866     4123156480 11800   7 12 apollon077 902    851     4187009024 11900   5 12 apollon006 901    864     4872695808 10300   7 12 apollon075 902    848     4173492224 9110   5 12 apollon158 901    874     3283943424 6530   8 12 apollon093 901    864     6596882432 10200   6 12 apollon041 901    849     4074790912 10800   5 12 apollon026 901    851     8280178688 10400   6 12 apollon138 902    815     7160365056 8510   8 12 apollon063
reducercommutativity/sep_true-unreach-call_true-termination.i 901    621     8306802688 9290   8 12 apollon131 902    592     8406802432 11400   8 12 apollon039 902    640     7274921984 9790   8 12 apollon049 902    629     7380238336 9430   9 12 apollon097 903    775     5337120768 11100   8 12 apollon168 901    784     5004222464 11900   8 12 apollon024 901    760     5534306304 12700   9 12 apollon044 901    864     1473097728 10400   8 12 apollon139 901    878     1401909248 10400   8 12 apollon029
reducercommutativity/sum05_true-unreach-call_true-termination.i 901    877     3246800896 11900   6 10 apollon007 901    878     2402091008 10800   6 10 apollon089 901    876     2811506688 11500   6 10 apollon011 901    878     2548224000 11700   6 10 apollon049 901    886     3114708992 8800   6 10 apollon115 901    886     2647175168 9010   6 10 apollon138 901    881     2327400448 11200   6 10 apollon037 901    884     3026292736 9340   6 10 apollon136 901    881     1708523520 10500   6 10 apollon104
reducercommutativity/sum10_true-unreach-call_true-termination.i 901    873     3145457664 12600   6 10 apollon106 901    875     3705360384 11000   6 10 apollon026 901    868     3501936640 12000   6 10 apollon155 901    873     3953340416 10300   6 10 apollon149 901    886     3927650304 10100   6 10 apollon107 901    885     4054347776 10500   6 10 apollon028 901    876     2865086464 13300   6 10 apollon161 901    887     3891953664 7900   6 10 apollon123 901    877     2662109184 11700   6 10 apollon114
reducercommutativity/sum20_true-unreach-call.i 901    862     4576460800 11600   6 10 apollon136 901    873     3415957504 9700   6 10 apollon032 902    863     4546080768 10800   6 10 apollon078 901    874     3044433920 9460   6 10 apollon149 902    879     7388565504 7060   6 10 apollon150 902    878     7538171904 7710   6 10 apollon072 901    873     4631457792 8760   6 10 apollon116 902    877     5864296448 8250   6 10 apollon027 901    873     4623601664 8340   6 10 apollon118
reducercommutativity/sum40_true-unreach-call.i 901    868     6552436736 13100   6 10 apollon014 903    877     5408333824 8790   6 10 apollon118 901    868     5906038784 11600   6 10 apollon076 902    876     5383012352 10300   6 10 apollon094 374    342     14999998464 5260   apollon044 901    854     12632039424 13500   6 10 apollon056 902    867     6004174848 7430   6 10 apollon004 901    849     12517322752 12000   6 10 apollon005 902    861     5883334656 7120   6 10 apollon031
reducercommutativity/sum60_true-unreach-call.i 532    507     14999998464 6240   apollon020 903    875     8114634752 9800   6 10 apollon108 577    552     14999998464 6260   apollon096 903    872     8029437952 9080   6 10 apollon133 903    878     7903662080 6330   6 10 apollon096 902    858     11642224640 11800   5 10 apollon140 902    855     8396185600 7880   6 10 apollon128 902    856     11606290432 9740   5 10 apollon022 902    853     8341381120 8290   6 10 apollon009
reducercommutativity/sum_true-unreach-call_true-termination.i 901    664     5768781824 9910   6 10 apollon082 903    492     10334670848 8200   4 10 apollon022 901    642     6925594624 9530   6 10 apollon076 902    569     9485168640 8890   4 10 apollon142 901    880     1870032896 10700   6 10 apollon136 901    878     1529749504 10100   6 10 apollon041 901    769     5328060416 10500   6 10 apollon012 901    892     1514745856 10900   6 10 apollon051 901    785     5792124928 10500   6 10 apollon051
array-tiling/mlceu_false-unreach-call.i 901    722     6409981952 10400   6 10 apollon118 901    708     6464626688 10000   6 10 apollon119 901    765     5277962240 12500   8 10 apollon125 901    773     4906147840 12700   8 10 apollon036 901    783     6535741440 9950   6 10 apollon083 901    788     5615972352 10300   6 10 apollon107 901    790     5403254784 10500   6 10 apollon156 901    872     996401152 11200   8 10 apollon062 901    869     1458397184 12700   8 10 apollon005
array-tiling/skippedu_false-unreach-call.i 4.50 1.74  273932288 38.8 apollon150 4.25 1.72  273612800 45.8 apollon021 4.42 1.74  279052288 44.4 apollon008 4.31 1.76  274198528 38.4 apollon129 4.17 1.71  271433728 36.7 apollon115 4.17 1.74  270331904 38.2 apollon119 4.20 1.71  275357696 39.2 apollon070 4.10 1.72  265072640 36.0 apollon050 4.31 1.71  271904768 45.6 apollon056
array-tiling/mbpr2_true-unreach-call.i 4.37 1.85  270114816 39.4 apollon166 4.31 1.78  271958016 40.1 apollon113 4.72 1.80  278482944 43.0 apollon024 4.67 1.83  275107840 41.9 apollon105 4.34 1.75  271454208 41.6 apollon065 4.35 1.79  269971456 42.3 apollon032 4.35 1.81  269225984 42.3 apollon065 4.50 1.76  271179776 42.2 apollon065 4.40 1.76  272179200 44.4 apollon030
array-tiling/mbpr3_true-unreach-call.i 4.89 2.16  273838080 47.4 apollon167 4.82 2.13  279879680 47.8 apollon032 4.95 2.17  286998528 44.5 apollon053 4.87 2.14  282370048 45.1 apollon144 4.97 2.16  288325632 51.4 apollon069 4.79 2.07  278757376 45.1 apollon162 4.87 2.17  282550272 45.1 apollon072 4.84 2.11  287035392 48.5 apollon031 5.16 2.19  286171136 43.3 apollon060
array-tiling/mbpr4_true-unreach-call.i 4.68 1.83  275746816 42.6 apollon168 4.61 1.82  284737536 46.7 apollon163 4.58 1.85  274767872 41.8 apollon051 4.65 1.85  277467136 40.3 apollon149 4.67 1.83  280801280 38.9 apollon089 4.63 1.86  272240640 45.6 apollon159 4.49 1.83  274427904 44.7 apollon007 4.45 1.80  273940480 39.6 apollon109 4.55 1.85  272433152 46.6 apollon030
array-tiling/mbpr5_true-unreach-call.i 4.90 2.14  285306880 42.7 apollon139 4.95 2.18  277950464 50.6 apollon081 4.93 2.15  286916608 45.9 apollon071 5.00 2.22  282730496 44.7 apollon079 5.02 2.23  281866240 51.1 apollon059 4.96 2.17  294252544 45.3 apollon150 5.09 2.19  282587136 49.8 apollon010 4.93 2.19  276668416 41.9 apollon043 4.94 2.22  278413312 48.1 apollon017
array-tiling/nr2_true-unreach-call.i 4.44 1.80  269844480 44.1 apollon108 4.60 1.89  272113664 47.9 apollon103 4.30 1.74  269324288 38.4 apollon142 4.42 1.81  268025856 37.4 apollon053 4.31 1.76  266928128 38.5 apollon049 4.38 1.81  273575936 39.2 apollon086 4.30 1.80  266899456 42.6 apollon114 4.38 1.80  272535552 38.6 apollon109 4.33 1.75  271966208 42.5 apollon020
array-tiling/nr3_true-unreach-call.i 4.84 2.18  282390528 48.8 apollon124 4.55 2.04  279875584 46.2 apollon077 4.71 2.08  284651520 45.7 apollon145 4.76 2.18  281038848 46.2 apollon078 4.69 2.13  277782528 46.7 apollon047 4.60 2.07  274829312 44.6 apollon005 4.75 2.05  287559680 41.3 apollon099 4.64 2.08  278548480 42.1 apollon018 4.63 2.09  276262912 43.6 apollon072
array-tiling/nr4_true-unreach-call.i 4.34 1.73  271958016 41.7 apollon140 4.38 1.82  270909440 38.6 apollon115 4.35 1.82  273809408 40.4 apollon051 4.22 1.75  270966784 37.6 apollon127 4.45 1.74  276807680 42.0 apollon167 4.29 1.81  272019456 36.3 apollon100 4.28 1.76  269725696 43.7 apollon126 4.41 1.73  275189760 42.3 apollon019 4.22 1.75  272101376 37.6 apollon154
array-tiling/nr5_true-unreach-call.i 4.95 2.19  282607616 45.7 apollon067 4.63 2.12  278933504 44.7 apollon113 4.78 2.08  285667328 45.2 apollon049 4.74 2.07  285904896 44.4 apollon103 4.68 2.13  282820608 46.3 apollon141 4.68 2.13  283906048 44.2 apollon129 4.78 2.13  288382976 49.7 apollon030 4.64 2.09  275947520 40.7 apollon116 4.62 2.12  277245952 45.2 apollon101
array-tiling/pnr2_true-unreach-call.i 4.24 1.77  269213696 39.5 apollon096 4.31 1.80  267673600 40.4 apollon102 4.28 1.73  272105472 36.7 apollon134 4.30 1.78  267501568 40.7 apollon065 4.43 1.81  267165696 39.0 apollon026 4.28 1.75  274231296 38.5 apollon090 4.46 1.86  268632064 37.2 apollon045 4.42 1.81  274325504 40.6 apollon070 4.19 1.76  267689984 40.3 apollon101
array-tiling/pnr3_true-unreach-call.i 4.79 2.15  285917184 47.8 apollon047 4.76 2.13  281849856 43.8 apollon073 4.84 2.11  283021312 45.3 apollon037 4.62 2.08  284950528 42.0 apollon058 5.28 2.26  287453184 66.1 apollon072 4.81 2.07  282599424 50.5 apollon036 4.64 2.09  280891392 40.8 apollon127 4.87 2.14  287535104 46.0 apollon017 4.49 2.08  277045248 42.3 apollon090
array-tiling/pnr4_true-unreach-call.i 4.45 1.78  277094400 47.5 apollon021 4.50 1.82  275767296 40.4 apollon062 4.33 1.78  270602240 45.1 apollon106 4.40 1.78  276303872 36.5 apollon143 4.48 1.77  267227136 43.7 apollon015 4.37 1.80  266645504 42.5 apollon094 4.31 1.77  274853888 43.4 apollon148 4.30 1.74  273215488 39.1 apollon072 4.61 1.81  278142976 44.1 apollon094
array-tiling/pnr5_true-unreach-call.i 4.92 2.15  286355456 43.5 apollon129 4.93 2.19  287272960 42.5 apollon123 4.89 2.11  282845184 49.3 apollon028 4.83 2.15  277544960 49.1 apollon081 4.78 2.16  282464256 45.6 apollon055 4.60 2.08  275472384 46.8 apollon114 4.86 2.10  282017792 41.4 apollon089 4.86 2.10  283525120 47.9 apollon009 4.80 2.17  276742144 43.8 apollon074
array-tiling/poly1_true-unreach-call.i 901    755     5447254016 9430   5 8 apollon164 901    740     5198589952 8230   5 8 apollon100 901    762     5253038080 10200   7 8 apollon011 901    780     5004939264 9400   7 8 apollon083 901    798     5028106240 9620   5 8 apollon006 901    811     4472430592 8540   5 8 apollon162 901    804     4507541504 8400   5 8 apollon121 901    874     1633488896 12300   7 8 apollon155 901    873     1652985856 10300   7 8 apollon089
array-tiling/poly2_true-unreach-call.i 902    728     6031523840 8790   7 10 apollon147 901    671     6711078912 8140   7 10 apollon072 901    643     8164380672 8610   9 10 apollon047 902    661     6432321536 7700   9 10 apollon054 901    785     5314289664 7890   7 10 apollon159 901    821     4462145536 8010   7 10 apollon118 901    812     4843401216 10400   7 10 apollon111 901    773     5049356288 9650   8 10 apollon132 901    792     4751458304 6860   9 10 apollon040
array-tiling/pr2_true-unreach-call.i 4.20 1.71  268693504 40.3 apollon065 4.39 1.80  272125952 40.4 apollon037 4.48 1.73  275099648 43.8 apollon030 4.65 1.82  276189184 41.1 apollon107 4.26 1.77  267497472 38.4 apollon157 4.45 1.71  272191488 41.2 apollon168 4.48 1.81  271462400 43.1 apollon047 4.28 1.74  268611584 36.5 apollon060 4.37 1.81  271417344 43.6 apollon014
array-tiling/pr3_true-unreach-call.i 4.76 2.09  283877376 43.5 apollon090 4.63 2.11  278020096 45.1 apollon146 4.76 2.15  277630976 45.9 apollon102 4.63 2.10  275402752 42.6 apollon079 4.54 2.06  279621632 43.4 apollon061 4.64 2.10  276754432 41.1 apollon104 4.65 2.15  284090368 44.5 apollon070 4.69 2.10  279343104 47.3 apollon101 4.67 2.09  280633344 44.0 apollon051
array-tiling/pr4_true-unreach-call.i 4.38 1.80  271142912 39.9 apollon095 4.47 1.87  276717568 36.8 apollon054 4.47 1.82  274726912 42.0 apollon031 4.55 1.90  267239424 45.9 apollon016 4.48 1.87  274718720 40.2 apollon017 4.43 1.82  269578240 39.4 apollon026 4.53 1.87  276828160 42.3 apollon132 4.55 1.86  276094976 41.9 apollon113 4.39 1.78  270192640 38.1 apollon083
array-tiling/pr5_true-unreach-call.i 5.00 2.23  287571968 46.0 apollon115 5.04 2.15  282402816 46.0 apollon103 4.90 2.16  282931200 42.5 apollon073 4.82 2.15  279592960 52.4 apollon126 4.82 2.15  279711744 42.8 apollon079 5.18 2.24  278249472 48.9 apollon024 5.01 2.24  279425024 48.8 apollon145 4.86 2.11  278425600 49.9 apollon016 4.77 2.14  276434944 41.4 apollon134
array-tiling/revcpyswp2_true-unreach-call.i 901    771     5593743360 11600   9 12 apollon088 901    746     6105202688 11700   9 12 apollon161 901    796     3712880640 10200   9 12 apollon145 901    787     5055836160 10900   9 12 apollon126 901    804     4559765504 10100   9 12 apollon153 901    808     4614565888 10500   9 12 apollon072 901    795     5095710720 12900   9 12 apollon039 901    818     4163215360 9760   9 12 apollon029 901    822     4640657408 9800   9 12 apollon029
array-tiling/rew_true-unreach-call.i 901    569     8839786496 8590   7 10 apollon119 901    696     6708035584 9820   7 10 apollon034 901    636     9383612416 8730   7 10 apollon041 901    758     5772357632 10100   9 10 apollon003 901    787     5422419968 10800   7 10 apollon061 901    774     5431693312 10500   7 10 apollon121 901    782     5656023040 10700   7 10 apollon096 901    767     5528391680 11400   7 10 apollon159 901    774     5599145984 12700   7 10 apollon111
array-tiling/rewnif_true-unreach-call.i 901    721     6129680384 11300   7 10 apollon155 901    687     6644445184 9410   7 10 apollon023 901    672     6390140928 9920   7 10 apollon085 901    774     5044715520 12000   9 10 apollon077 901    779     5902954496 12000   7 10 apollon094 901    794     4749860864 12100   7 10 apollon140 901    779     5567848448 10500   7 10 apollon049 901    778     5729161216 10700   7 10 apollon162 901    781     5500592128 9830   7 10 apollon109
array-tiling/rewnifrev2_true-unreach-call.i 901    795     5343764480 11700   5 8 apollon020 901    777     4882530304 11200   5 8 apollon113 901    801     4934205440 10400   5 8 apollon042 901    804     4985356288 10700   5 8 apollon062 901    818     5098582016 8760   5 8 apollon063 901    815     5283749888 10100   5 8 apollon127 901    820     5009850368 11100   5 8 apollon018 901    827     4776357888 13000   5 8 apollon080 901    827     4972969984 10200   5 8 apollon116
array-tiling/rewnifrev_true-unreach-call.i 902    771     5507616768 11800   7 10 apollon140 901    750     6297702400 10200   7 10 apollon050 901    774     5355638784 12300   7 10 apollon148 902    766     5807845376 10100   7 10 apollon157 901    818     4762320896 11000   7 10 apollon051 901    815     5177450496 10900   7 10 apollon135 901    814     4932124672 10600   7 10 apollon144 901    811     4713168896 12000   7 10 apollon068 901    808     5149622272 10300   7 10 apollon086
array-tiling/rewrev_true-unreach-call.i 901    629     9412993024 9490   7 10 apollon004 902    700     6690549760 11400   7 10 apollon069 901    697     5596827648 9780   7 10 apollon154 901    704     5645197312 10100   7 10 apollon051 901    800     4847583232 9740   7 10 apollon139 901    749     6616227840 11800   7 10 apollon069 901    791     5064634368 11100   7 10 apollon071 901    805     4721164288 10800   7 10 apollon110 901    799     4850184192 11300   7 10 apollon071
array-tiling/skipped_true-unreach-call.i 4.11 1.72  265617408 34.1 apollon054 4.14 1.76  274108416 43.2 apollon125 4.19 1.73  269185024 37.8 apollon025 4.31 1.74  267358208 43.2 apollon161 4.24 1.71  268337152 37.9 apollon079 4.19 1.74  271994880 42.1 apollon088 4.24 1.79  270508032 43.6 apollon033 4.40 1.85  268103680 35.6 apollon158 4.32 1.77  273121280 41.2 apollon032
array-tiling/tcpy_true-unreach-call.i 4.25 1.72  267325440 43.6 apollon056 4.59 1.82  274608128 40.6 apollon120 4.77 1.91  33468416 54.3 apollon009 4.42 1.80  271310848 43.8 apollon164 4.68 1.81  276697088 40.5 apollon023 4.50 1.74  276013056 43.0 apollon101 4.37 1.77  271941632 40.6 apollon087 4.23 1.73  271634432 39.0 apollon049 4.33 1.78  272502784 40.7 apollon067
array-programs/copysome1_false-unreach-call.i 901    877     6086131712 11500   1 12 apollon114 901    871     3197169664 10200   1 12 apollon156 901    875     6438940672 9250   1 12 apollon100 901    869     4262604800 9210   1 12 apollon025 901    876     7104356352 12900   1 12 apollon106 901    884     3728719872 12300   1 12 apollon019 587    558     14999998464 6280   apollon017 901    879     4192870400 13000   1 12 apollon036 853    817     14999998464 10500   apollon085
array-programs/copysome2_false-unreach-call.i 901    878     6994178048 10600   1 14 apollon133 901    871     3473211392 12800   1 14 apollon160 901    874     7169445888 8600   1 14 apollon002 901    867     4375576576 9160   1 14 apollon040 901    875     7990509568 11400   1 14 apollon093 901    884     3897610240 13100   1 14 apollon080 493    466     14999998464 5120   apollon110 901    881     4193083392 10500   1 14 apollon116 748    712     14999998464 8100   apollon022
array-programs/copysome1_true-unreach-call.i 901    876     5833908224 11200   1 12 apollon020 901    874     2970800128 10900   1 12 apollon049 901    875     6306492416 9970   1 12 apollon163 901    869     4296740864 10100   1 12 apollon051 901    874     7484739584 11300   1 12 apollon070 901    882     3910500352 12300   1 12 apollon028 556    529     14999998464 5920   apollon062 901    880     4016185344 13200   1 12 apollon161 854    819     14999998464 10200   apollon165
array-programs/copysome2_true-unreach-call.i 901    877     7067013120 11600   1 14 apollon125 901    872     3355762688 9980   1 14 apollon128 901    874     7188062208 13100   1 14 apollon056 901    869     4336746496 9640   1 14 apollon031 901    879     7701647360 13900   1 14 apollon056 901    884     4116467712 11100   1 14 apollon051 488    461     14999998464 4540   apollon060 901    881     4139388928 11600   1 14 apollon084 745    711     14999998464 8490   apollon135
bitvector/byte_add_false-unreach-call_true-no-overflow_true-termination.i 20.5  5.55  732340224 176   59 60 apollon105 21.4  5.68  766119936 185   59 60 apollon064 21.1  5.72  811233280 178   59 60 apollon156 21.2  5.74  815427584 177   59 60 apollon150 20.4  5.52  737366016 162   59 60 apollon123 20.3  5.51  736600064 186   59 60 apollon020 20.3  5.50  720556032 163   59 60 apollon139 35.0  15.2   1094520832 321   59 60 apollon058 35.3  11.2   1181007872 298   59 60 apollon086
bitvector/sum02_false-unreach-call_true-no-overflow.i 902    520     11856650240 7380   4 8 apollon042 901    603     8544841728 9140   4 8 apollon142 901    612     8249516032 10000   4 8 apollon106 901    635     7826595840 8780   4 8 apollon137 901    766     8681680896 10900   4 8 apollon088 901    770     6724788224 9990   4 8 apollon022 901    771     5641072640 10600   4 8 apollon027 901    858     6338596864 11900   4 8 apollon006 901    854     5056557056 10500   4 8 apollon082
bitvector/byte_add_1_true-unreach-call_true-no-overflow_true-termination.i 901    853     4404912128 12800   43 60 apollon106 261    234     2770055168 3530   44 60 apollon140 901    855     2547941376 10600   43 60 apollon023 261    233     2668769280 3300   44 60 apollon124 145    119     3508187136 1770   44 60 apollon070 132    108     3445919744 1530   44 60 apollon034 31.0  9.73  1079455744 275   44 60 apollon005 132    106     3572846592 1510   44 60 apollon144 34.7  9.87  1074933760 263   44 60 apollon054
bitvector/byte_add_2_true-unreach-call_true-no-overflow_true-termination.i 901    855     4866277376 10700   44 60 apollon025 260    233     2869227520 3360   45 60 apollon048 901    852     3869528064 10200   44 60 apollon143 262    236     2056343552 3020   45 60 apollon079 138    107     2816159744 1600   45 60 apollon087 131    101     2684334080 1620   45 60 apollon068 31.4  9.44  1049460736 266   45 60 apollon038 130    104     3411034112 1500   45 60 apollon001 32.1  10.2   1225146368 268   45 60 apollon003
bitvector/gcd_1_true-unreach-call_true-no-overflow.i 257    245     1389158400 3170   10 12 apollon041 257    245     1345970176 3120   10 12 apollon143 257    245     1339740160 3340   10 12 apollon001 257    245     1497485312 3510   10 12 apollon084 26.9  19.8   1221423104 360   10 12 apollon163 26.9  20.0   1555853312 285   10 12 apollon098 26.7  20.3   1426628608 321   10 12 apollon145 27.5  19.7   1490665472 318   10 12 apollon147 26.0  19.1   1377906688 350   10 12 apollon044
bitvector/gcd_2_true-unreach-call_true-no-overflow.i 255    244     1650958336 3130   9 10 apollon100 255    244     1618448384 4010   9 10 apollon021 255    244     1546186752 3090   9 10 apollon100 255    243     1581543424 3230   9 10 apollon026 25.1  19.1   1209917440 295   9 10 apollon037 25.8  19.2   1514270720 324   9 10 apollon132 25.8  19.1   1186799616 306   9 10 apollon096 25.3  18.6   1356713984 340   9 10 apollon125 24.9  17.9   1426874368 275   9 10 apollon042
bitvector/gcd_3_true-unreach-call_true-no-overflow.i 402    391     1692749824 6430   9 10 apollon111 402    390     1424195584 5290   9 10 apollon085 404    391     1617645568 5310   9 10 apollon018 404    391     1532985344 4970   9 10 apollon086 193    185     1580310528 2400   9 10 apollon129 194    185     1564319744 2420   9 10 apollon121 901    886     1511837696 11400   9 10 apollon124 196    186     1553555456 2590   9 10 apollon108 901    884     1415294976 10500   9 10 apollon157
bitvector/gcd_4_true-unreach-call_true-no-overflow_true-termination.i 5.53 2.12  295186432 56.5 8 12 apollon008 5.64 2.10  293699584 48.1 8 12 apollon023 5.26 2.02  295845888 43.6 8 12 apollon092 5.45 2.07  299925504 55.0 8 12 apollon126 5.71 2.14  293048320 51.9 8 12 apollon024 5.47 2.03  306069504 52.5 8 12 apollon148 5.54 2.11  291717120 51.0 8 12 apollon067 5.88 2.16  298004480 51.1 8 12 apollon025 5.55 2.14  298033152 56.4 8 12 apollon008
bitvector/interleave_bits_true-unreach-call_true-no-overflow.i 256    243     2579050496 3040   3 4 apollon029 255    241     2606481408 3400   3 4 apollon049 256    242     2524688384 3280   3 4 apollon103 255    241     2297724928 3500   3 4 apollon009 26.4  17.9   2399260672 306   3 4 apollon084 26.1  17.1   2178404352 276   3 4 apollon127 25.0  16.3   2174861312 289   3 4 apollon046 26.8  16.6   2203824128 312   3 4 apollon048 24.8  15.7   2082873344 286   3 4 apollon015
bitvector/jain_1_true-unreach-call_true-no-overflow_false-termination.i 253    243     1718231040 3550   1 2 apollon020 253    243     1601392640 3240   1 2 apollon144 253    242     1649426432 3310   1 2 apollon133 253    241     1582608384 3260   1 2 apollon075 22.5  17.1   1537150976 292   1 2 apollon167 22.8  17.8   1518141440 276   1 2 apollon082 22.9  17.1   1480351744 261   1 2 apollon144 22.9  16.4   1424293888 281   1 2 apollon085 22.9  16.6   1357357056 233   1 2 apollon123
bitvector/jain_2_true-unreach-call_true-no-overflow_false-termination.i 253    243     1680801792 3320   1 2 apollon135 253    242     1674764288 3310   1 2 apollon097 253    242     1642008576 3450   1 2 apollon146 253    242     1538019328 3290   1 2 apollon119 23.2  17.8   1600897024 276   1 2 apollon085 23.1  17.8   1528008704 291   1 2 apollon112 22.9  17.0   1240588288 272   1 2 apollon067 23.0  16.4   1456472064 271   1 2 apollon118 23.2  16.6   1367605248 246   1 2 apollon041
bitvector/jain_4_true-unreach-call_true-no-overflow_false-termination.i 253    243     1816141824 3410   1 2 apollon067 253    243     1794928640 3580   1 2 apollon024 253    242     1630408704 3690   1 2 apollon108 253    242     1633898496 3300   1 2 apollon135 22.7  17.3   1634861056 247   1 2 apollon117 22.6  17.3   1606266880 252   1 2 apollon042 22.9  17.1   1543819264 237   1 2 apollon092 22.7  15.9   1494536192 250   1 2 apollon075 22.9  15.7   1489743872 255   1 2 apollon135
bitvector/jain_5_true-unreach-call_true-no-overflow.i 901    870     4119269376 11200   1 2 apollon077 902    860     7978999808 10500   1 2 apollon167 901    866     4971954176 10400   1 2 apollon059 902    855     8774750208 7870   1 2 apollon157 901    866     4451119104 10900   1 2 apollon072 901    875     1762418688 14100   1 2 apollon039 901    859     6981361664 10600   1 2 apollon008 901    877     2942197760 12900   1 2 apollon014 902    866     5843574784 9270   1 2 apollon092
bitvector/jain_6_true-unreach-call_true-no-overflow_false-termination.i 253    243     1820225536 3490   1 2 apollon084 253    243     1537536000 3520   1 2 apollon138 253    242     1482797056 3180   1 2 apollon023 253    241     1610911744 3750   1 2 apollon159 22.8  17.3   1857249280 238   1 2 apollon123 22.7  17.3   1722114048 278   1 2 apollon071 22.8  17.1   1575731200 285   1 2 apollon006 23.2  16.5   1292324864 260   1 2 apollon058 22.9  15.8   1454690304 264   1 2 apollon168
bitvector/jain_7_true-unreach-call_true-no-overflow_false-termination.i 254    244     1929011200 3070   1 2 apollon098 255    244     1814712320 3630   1 2 apollon136 254    243     1680797696 3260   1 2 apollon090 255    242     1449500672 3290   1 2 apollon037 25.3  19.4   1828880384 318   1 2 apollon048 24.6  19.5   1700626432 278   1 2 apollon002 24.5  18.7   1575661568 316   1 2 apollon155 24.3  17.5   1496977408 302   1 2 apollon064 24.7  17.0   1511575552 258   1 2 apollon139
bitvector/modulus_true-unreach-call_true-no-overflow.i 901    857     1242701824 11700   11 12 apollon145 901    867     3997597696 12600   11 12 apollon155 901    859     1209733120 11500   11 12 apollon076 901    866     3725934592 10700   11 12 apollon083 901    892     591400960 11400   11 12 apollon156 901    891     614715392 11500   11 12 apollon049 901    882     1880571904 11400   11 12 apollon034 901    892     598319104 11000   11 12 apollon003 901    882     1747542016 12100   11 12 apollon101
bitvector/num_conversion_1_true-unreach-call_true-no-overflow.i 5.37 2.00  281300992 50.8 5 6 apollon068 5.60 2.12  288321536 47.6 5 6 apollon045 5.33 2.02  287731712 47.9 5 6 apollon087 5.10 1.99  291192832 47.8 5 6 apollon052 5.42 1.98  280739840 54.1 5 6 apollon126 5.49 2.05  288518144 47.2 5 6 apollon131 5.23 1.97  282292224 44.9 5 6 apollon003 5.62 2.09  289644544 52.5 5 6 apollon012 5.51 2.06  304582656 45.5 5 6 apollon137
bitvector/num_conversion_2_true-unreach-call_true-no-overflow.i 264    121     6434349056 2480   5 6 apollon141 901    618     11040972800 9810   5 6 apollon009 264    115     6412390400 2110   5 6 apollon134 901    609     9524318208 10500   5 6 apollon008 36.3  15.4   1088380928 313   5 6 apollon046 34.3  14.9   1083793408 331   5 6 apollon148 901    770     6665261056 9920   5 6 apollon149 33.3  24.4   2002755584 367   5 6 apollon061 33.4  23.9   1209643008 360   5 6 apollon093
bitvector/parity_true-unreach-call_true-no-overflow.i 387    249     5584429056 3730   7 8 apollon083 361    232     5246496768 3520   7 8 apollon116 388    252     5541031936 3750   7 8 apollon149 361    226     6142275584 3510   7 8 apollon137 167    127     2190135296 1940   7 8 apollon070 175    138     2460168192 2090   7 8 apollon142 146    110     2260180992 1870   7 8 apollon122 174    139     1979146240 2080   7 8 apollon153 144    108     1402265600 1690   7 8 apollon093
bitvector/sum02_true-unreach-call_true-no-overflow.i 3.61 1.54  262836224 33.1 apollon070 3.58 1.56  263327744 36.2 apollon126 3.58 1.53  264302592 37.7 apollon080 3.59 1.55  258592768 37.5 apollon027 3.86 1.57  273641472 36.5 apollon047 3.81 1.56  273698816 32.8 apollon157 3.67 1.53  264331264 33.4 apollon084 3.82 1.59  265662464 35.7 apollon032 3.80 1.55  269795328 35.5 apollon156
bitvector/s3_clnt_1_false-unreach-call_true-no-overflow.BV.c.cil.c 78.2  28.0   2752917504 730   171 172 apollon122 76.8  28.0   2631036928 719   171 172 apollon007 102    31.6   3933581312 728   171 172 apollon110 79.5  29.4   3556298752 638   171 172 apollon089 53.5  30.9   1126064128 591   171 172 apollon114 53.4  30.9   1063440384 569   171 172 apollon071 72.8  47.1   1500065792 760   171 172 apollon050 54.0  31.1   1089814528 524   171 172 apollon099 123    95.5   2056347648 1360   171 172 apollon115
bitvector/s3_clnt_2_false-unreach-call_true-no-overflow.BV.c.cil.c 287    132     5489950720 2440   169 170 apollon045 264    110     6560247808 2470   169 170 apollon159 302    155     5747105792 3120   169 170 apollon130 266    125     6953807872 2350   169 170 apollon150 50.4  28.9   1132277760 540   169 170 apollon038 49.1  26.7   1223991296 591   169 170 apollon056 58.2  33.9   1266958336 609   169 170 apollon165 50.2  26.6   1022263296 524   169 170 apollon070 54.6  32.0   1218469888 595   169 170 apollon118
bitvector/s3_clnt_3_false-unreach-call_true-no-overflow.BV.c.cil.c 264    107     7192723456 2100   124 172 apollon066 276    117     6396694528 2260   124 172 apollon079 264    93.2   5976522752 1970   124 172 apollon058 293    116     6888337408 2260   124 172 apollon115 901    802     4764119040 10900   124 172 apollon035 134    96.6   2518036480 1760   124 172 apollon106 142    96.7   2616950784 1880   124 172 apollon039 137    96.2   2120437760 1710   124 172 apollon077 136    91.2   3128762368 1400   124 172 apollon109
bitvector/s3_clnt_1_true-unreach-call_true-no-overflow.BV.c.cil.c 74.5  27.5   2910912512 650   147 172 apollon017 75.4  28.1   2878955520 668   147 172 apollon078 81.0  29.4   3393761280 716   147 172 apollon114 71.4  29.1   2840674304 689   147 172 apollon019 238    202     1922142208 3490   147 172 apollon111 140    109     1756749824 1680   147 172 apollon085 125    90.4   2300715008 1320   147 172 apollon083 144    112     1742159872 1720   147 172 apollon165 123    87.2   2142154752 1260   147 172 apollon043
bitvector/s3_clnt_2_true-unreach-call_true-no-overflow.BV.c.cil.c 69.4  25.9   2854346752 618   143 170 apollon102 67.7  26.1   2750898176 600   143 170 apollon061 80.7  28.2   3460034560 725   143 170 apollon106 79.5  28.5   3580862464 617   143 170 apollon116 127    102     1727025152 1550   143 170 apollon055 126    98.9   1612566528 1340   143 170 apollon123 120    87.6   2020278272 1460   143 170 apollon124 120    89.2   1925144576 1430   143 170 apollon162 113    83.4   1874452480 1340   143 170 apollon087
bitvector/s3_clnt_3_true-unreach-call_true-no-overflow.BV.c.cil.c 338    139     7045804032 3100   145 172 apollon161 432    261     6800699392 4270   145 172 apollon037 297    141     6597656576 2880   145 172 apollon164 458    298     5876428800 5220   145 172 apollon019 919    765     6368284672 11900   139 172 apollon124 275    214     4353273856 3090   145 172 apollon045 901    746     7104262144 11500   145 172 apollon024 303    247     3567296512 3710   145 172 apollon168 908    709     7643639808 9970   145 172 apollon034
bitvector/s3_srvr_1_alt_true-unreach-call_true-no-overflow.BV.c.cil.c 901    665     7063908352 9720   191 194 apollon135 902    642     7656550400 9890   191 194 apollon138 901    661     7382200320 8620   191 194 apollon054 901    669     7888510976 8500   191 194 apollon054 901    833     4765224960 10500   190 194 apollon078 901    852     2907795456 8950   190 194 apollon063 901    786     5003300864 10300   190 194 apollon157 901    853     3857940480 11900   190 194 apollon046 901    794     5472346112 11700   191 194 apollon008
bitvector/s3_srvr_1_true-unreach-call_true-no-overflow.BV.c.cil.c 238    94.2   6798438400 2000   150 192 apollon061 456    258     8213135360 4730   150 192 apollon081 283    112     7120097280 2260   150 192 apollon042 224    94.5   5501980672 2070   150 192 apollon019 222    178     2815840256 3070   150 192 apollon080 163    123     2489884672 1890   150 192 apollon061 118    88.3   2696093696 1420   150 192 apollon108 168    123     2398855168 2080   150 192 apollon064 109    81.6   1953013760 1090   150 192 apollon054
bitvector/s3_srvr_2_alt_true-unreach-call_true-no-overflow_false-termination.BV.c.cil.c 362    211     6657347584 3540   175 192 apollon050 901    528     9263456256 9610   175 192 apollon094 360    216     5852905472 4070   175 192 apollon028 902    664     5998415872 9410   175 192 apollon053 251    201     3969703936 3110   175 192 apollon011 165    128     2231218176 2030   175 192 apollon113 902    760     5481910272 10500   175 192 apollon103 168    141     2507304960 2100   175 192 apollon038 901    790     4994412544 11500   173 192 apollon102
bitvector/s3_srvr_2_true-unreach-call_true-no-overflow_false-termination.BV.c.cil.c 845    550     7822004224 9420   175 192 apollon065 903    629     7641485312 11700   175 192 apollon021 843    601     8327684096 9030   175 192 apollon072 902    637     6966018048 9380   175 192 apollon129 273    222     3658584064 3140   175 192 apollon109 201    160     2441175040 2390   175 192 apollon090 902    781     4816908288 12600   173 192 apollon159 201    174     2146443264 2850   175 192 apollon088 901    790     5160628224 12900   173 192 apollon069
bitvector/s3_srvr_3_alt_true-unreach-call_true-no-overflow.BV.c.cil.c 502    301     8233533440 5840   149 192 apollon039 513    322     8869216256 4270   149 192 apollon054 432    255     7724457984 3980   149 192 apollon086 215    93.5   4968546304 2040   149 192 apollon091 218    174     2588639232 2570   149 192 apollon067 114    88.5   1459396608 1360   149 192 apollon141 214    169     3453534208 2370   149 192 apollon090 109    82.7   1675214848 1250   149 192 apollon162 109    81.8   2254434304 1140   149 192 apollon086
bitvector/s3_srvr_3_true-unreach-call_true-no-overflow.BV.c.cil.c 419    239     6567391232 4050   149 192 apollon009 514    313     6929604608 4960   149 192 apollon138 212    92.6   5725294592 1830   149 192 apollon110 594    383     7977107456 5200   149 192 apollon002 113    89.7   1687560192 1430   149 192 apollon081 113    88.1   1731682304 1220   149 192 apollon116 215    167     3448561664 2320   149 192 apollon031 106    80.0   1362374656 1220   149 192 apollon162 113    85.5   2118221824 1170   149 192 apollon053
bitvector/soft_float_1_true-unreach-call_true-no-overflow_true-termination.c.cil.c 258    133     4837072896 2950   51 74 apollon056 259    127     5169881088 2790   51 74 apollon161 258    132     5031469056 2450   51 74 apollon119 258    128     5260681216 2430   51 74 apollon162 30.3  9.97  907038720 265   51 74 apollon135 31.2  10.1   903102464 293   51 74 apollon033 31.7  9.95  952225792 279   51 74 apollon024 31.1  10.3   907427840 277   51 74 apollon087 32.5  10.8   905908224 330   51 74 apollon160
bitvector/soft_float_2_true-unreach-call_true-no-overflow_true-termination.c.cil.c 360    160     8094814208 3170   33 48 apollon065 257    96.8   7392509952 2180   33 48 apollon138 351    174     5938941952 3510   33 48 apollon148 265    93.6   7114854400 1990   33 48 apollon072 145    105     2575450112 1520   33 48 apollon149 167    126     2689466368 2030   33 48 apollon010 30.3  10.4   1009872896 272   33 48 apollon052 184    132     2500218880 2000   33 48 apollon165 31.2  10.5   1176313856 307   33 48 apollon030
bitvector/soft_float_3_true-unreach-call_true-no-overflow_true-termination.c.cil.c 352    213     6258135040 3970   34 48 apollon130 901    655     7254757376 11700   31 48 apollon159 352    185     7329783808 3130   34 48 apollon133 901    686     5743828992 9960   31 48 apollon041 139    99.0   2360922112 1550   34 48 apollon145 212    156     2589388800 2300   34 48 apollon164 901    790     4943708160 12200   31 48 apollon084 263    193     4908654592 2580   34 48 apollon043