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
Run set V+P-Test-noreuse_250_250 V+P-Test-cmc-uni-vp_250_250 V+P-Test-cmc-uni-pv_250_250 V+P-Test-cmc-bi_250_250 V+P-Test-precision_250_250 V+P-Test-continue_250_250 V+P-Test-cmc-uni-vp-reuse_250_250 V+P-Test-cmc-uni-pv-reuse_250_250 V+P-Test-cmc-bi-reuse_250_250
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_250,config/testCaseGeneration-predicateAnalysis.properties::reuse-precision_250 -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_250,config/testCaseGeneration-predicateAnalysis.properties::continue_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::continue_250,config/components/testCaseGeneration-predicate-use-cmc-condition-precision.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-precision.properties::noreuse_250,config/components/testCaseGeneration-predicate-generate-cmc-condition.properties::continue_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-precision.properties::noreuse_250,config/components/testCaseGeneration-predicate-generate-and-use-cmc-condition.properties-precision::noreuse_250 -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    798     9898938368 6900   7 18 apollon063 901    781     9910534144 9610   7 18 apollon085 901    558     9001418752 6250   7 18 apollon153 901    806     9439367168 11000   7 18 apollon112 905    752     5909147648 7550   7 18 apollon038
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    873     4906033152 12200   4 12 apollon132 901    872     4588240896 9870   4 12 apollon025 901    861     8719740928 8710   4 12 apollon041 901    869     5785161728 11100   4 12 apollon122 902    876     4061302784 11000   4 12 apollon030
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    873     4949999616 10700   4 12 apollon051 901    872     5028397056 12100   4 12 apollon030 901    860     8689733632 7960   4 12 apollon002 901    869     5926699008 9650   4 12 apollon101 901    875     4084740096 9600   4 12 apollon067
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    872     5185540096 11400   4 20 apollon085 901    873     4779577344 11200   4 20 apollon159 901    870     4251037696 9920   4 20 apollon060 901    870     5902434304 10100   4 20 apollon116 901    876     4024774656 12300   4 20 apollon161
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    874     4708167680 11300   4 20 apollon082 901    873     4822999040 10500   4 20 apollon025 901    867     4271763456 12400   4 20 apollon014 901    871     6180294656 10800   4 20 apollon028 901    875     3987005440 7680   4 20 apollon152
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 901    871     14954356736 8230   7 18 apollon063 901    872     12735488000 9960   7 18 apollon152 1060    416     11044376576 6870   apollon050 901    869     13931847680 11000   7 18 apollon125 901    875     4037038080 7620   7 18 apollon060
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    878     4641427456 9090   1 8 apollon157 901    877     3520659456 10500   1 8 apollon001 902    872     2661818368 10100   1 8 apollon107 901    877     4058521600 9330   1 8 apollon119 901    878     2881445888 9110   1 8 apollon107
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    877     4927344640 10200   1 10 apollon116 901    878     3881852928 10100   1 10 apollon095 902    871     2834055168 8970   1 10 apollon060 901    875     4239613952 9720   1 10 apollon038 901    878     2820120576 9150   1 10 apollon082
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    878     4905418752 10800   1 12 apollon113 901    878     3449516032 9820   1 12 apollon135 901    873     2921656320 10600   1 12 apollon046 901    877     4102930432 9400   1 12 apollon031 901    877     3028090880 8180   1 12 apollon041
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    879     5104525312 10900   1 14 apollon147 901    878     4585766912 10700   1 14 apollon028 901    872     3030679552 9630   1 14 apollon099 901    876     4521721856 8790   1 14 apollon137 901    878     4059656192 10500   1 14 apollon021
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     6206885888 10400   1 16 apollon156 901    880     4667756544 10100   1 16 apollon067 901    871     2735964160 8770   1 16 apollon104 901    878     5242834944 9680   1 16 apollon058 901    878     4083064832 6690   1 16 apollon012
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    878     6149681152 11600   1 18 apollon007 901    879     4970954752 10100   1 18 apollon119 901    870     3237720064 11600   1 18 apollon064 901    878     5610967040 12100   1 18 apollon080 901    880     3648643072 11600   1 18 apollon161
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    878     6341054464 11000   1 20 apollon033 901    881     5257076736 8960   1 20 apollon157 901    869     3154538496 9970   1 20 apollon083 901    879     5616574464 8920   1 20 apollon097 901    877     4219457536 8040   1 20 apollon113
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    880     6719832064 10400   1 22 apollon144 901    880     5399859200 10600   1 22 apollon038 901    870     3092402176 9090   1 22 apollon151 902    877     2737258496 9640   1 22 apollon110 901    877     4121378816 7740   1 22 apollon144
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    879     7248027648 9270   1 24 apollon157 901    880     5850677248 10500   1 24 apollon020 901    868     3585122304 9710   1 24 apollon164 901    876     6499749888 9060   1 24 apollon150 901    879     3966251008 9600   1 24 apollon017
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    888     3169263616 12600   1 10 apollon048 901    889     2751758336 13500   1 10 apollon014 902    887     1807814656 11100   1 10 apollon149 901    876     4058271744 9780   1 10 apollon110 901    877     3749285888 7940   1 10 apollon127
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    887     2952806400 11500   1 6 apollon026 901    888     2049847296 13300   1 6 apollon028 902    888     1332875264 12100   1 6 apollon147 901    876     3533029376 9580   1 6 apollon109 901    876     2717478912 9310   1 6 apollon099
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    887     2950238208 11800   1 8 apollon097 901    888     2040168448 13100   1 8 apollon081 902    887     1342562304 10900   1 8 apollon040 901    876     3691970560 10700   1 8 apollon106 901    876     2732716032 8000   1 8 apollon137
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    887     2964992000 11500   1 10 apollon154 901    888     2139742208 13500   1 10 apollon163 902    887     1388179456 11900   1 10 apollon153 901    878     3407171584 8860   1 10 apollon054 901    876     2694725632 9160   1 10 apollon034
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    886     2994847744 11000   1 12 apollon041 901    888     2054901760 11300   1 12 apollon086 902    887     1424556032 13900   1 12 apollon080 901    875     3766423552 9260   1 12 apollon152 901    875     2534141952 7650   1 12 apollon126
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    886     2977996800 12900   1 14 apollon164 901    888     2128310272 14600   1 14 apollon057 901    887     1407250432 11600   1 14 apollon001 901    877     3571343360 9850   1 14 apollon090 901    876     2818936832 8910   1 14 apollon109
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    887     2979778560 12000   1 16 apollon087 901    888     2078846976 11300   1 16 apollon086 901    885     1458008064 14100   1 16 apollon016 901    876     3417059328 8890   1 16 apollon131 901    875     2516226048 7490   1 16 apollon015
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    887     2996826112 13000   1 18 apollon019 901    889     2146295808 14000   1 18 apollon016 902    885     1430859776 11900   1 18 apollon078 901    877     2834612224 9950   1 18 apollon090 901    876     2723135488 7340   1 18 apollon118
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    886     2939760640 11800   1 20 apollon135 901    888     2043891712 13300   1 20 apollon028 902    885     1402474496 11300   1 20 apollon086 901    875     3572187136 10000   1 20 apollon155 901    875     2623225856 9070   1 20 apollon004
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    886     2988068864 11900   1 22 apollon121 901    888     2079322112 13200   1 22 apollon122 902    886     1396998144 13500   1 22 apollon014 901    876     3431964672 11200   1 22 apollon006 901    877     2829365248 10700   1 22 apollon052
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    877     3978305536 10500   3 8 apollon079 901    877     2755461120 10100   3 8 apollon095 901    864     7970168832 7830   3 8 apollon002 901    873     4412063744 8640   3 8 apollon042 901    877     4029599744 10400   3 8 apollon079
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    876     5244862464 12200   3 14 apollon030 901    876     3886596096 13000   3 14 apollon044 902    859     11672645632 9240   3 14 apollon143 901    874     4909723648 11000   3 14 apollon027 901    875     4151414784 7940   3 14 apollon040
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    874     4401053696 10600   3 16 apollon060 901    875     3619831808 11700   3 16 apollon015 901    865     4203417600 10600   3 16 apollon073 901    873     4974350336 9940   3 16 apollon129 901    873     4083867648 8060   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    873     6610915328 11400   5 22 apollon125 901    872     6851571712 9580   5 22 apollon156 902    861     10020880384 8790   5 22 apollon096 901    869     7685021696 8550   5 22 apollon166 902    864     4215390208 7150   5 22 apollon055
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 902    851     9126555648 10400   8 18 apollon114 901    857     8739336192 9960   8 18 apollon007 902    794     14570450944 9890   8 18 apollon065 901    804     9152368640 7860   8 18 apollon002 906    726     5984051200 7760   8 18 apollon081
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.5  3.60  398757888 97.6 apollon092 13.1  3.71  479961088 118   apollon015 13.0  3.62  483176448 104   apollon066 901    854     6178820096 12100   30 48 apollon124 901    869     1894170624 12000   4 48 apollon049
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    874     4339982336 10700   7 18 apollon090 901    874     3086180352 10100   7 18 apollon086 1060    394     10906529792 6470   apollon022 901    870     4536385536 9840   7 18 apollon041 902    874     4074151936 8920   7 18 apollon149
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    873     1740181504 10800   7 16 apollon162 901    872     4423794688 10700   7 16 apollon163 901    873     1581768704 8810   7 16 apollon157 901    871     5206183936 10100   7 16 apollon109 901    877     3379273728 9110   7 16 apollon121
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 254    217     2831818752 3220   9 10 apollon049 255    217     2627006464 3000   9 10 apollon127 256    217     2560626688 3100   9 10 apollon154 254    222     2033070080 2950   9 10 apollon060 901    839     4296527872 13000   4 10 apollon033
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 902    876     4255383552 10600   3 8 apollon062 901    877     3318693888 11600   3 8 apollon052 1050    429     11140993024 7010   apollon086 901    874     4065972224 12500   3 8 apollon160 901    877     4018843648 10000   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    876     3942121472 10900   1 6 apollon165 901    876     3076141056 10100   1 6 apollon128 901    869     3653308416 9760   1 6 apollon168 901    875     3203325952 10700   1 6 apollon068 901    875     2623643648 7950   1 6 apollon115
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     5053272064 10400   4 12 apollon159 901    871     5334089728 10600   4 12 apollon062 901    863     8917979136 11700   4 12 apollon160 901    869     5837946880 11000   4 12 apollon046 902    875     4073971712 11200   4 12 apollon167
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    874     4926808064 12900   4 20 apollon036 901    873     4972240896 11200   4 20 apollon004 901    868     4256059392 10300   4 20 apollon035 901    870     5604089856 9970   4 20 apollon127 901    876     4022874112 10000   4 20 apollon117
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 902    876     5336469504 10600   3 12 apollon058 901    876     4297949184 11000   3 12 apollon125 902    866     4398235648 8650   3 12 apollon166 901    874     5118550016 10500   3 12 apollon049 901    875     4150931456 8160   3 12 apollon103
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     4266795008 9610   3 10 apollon040 901    875     4341805056 8920   3 10 apollon104 901    865     8510349312 9440   3 10 apollon122 901    872     4786061312 9990   3 10 apollon050 901    877     4039426048 8890   3 10 apollon018
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    877     4684898304 11600   1 8 apollon019 901    879     3720003584 9750   1 8 apollon127 901    873     2357886976 11400   1 8 apollon167 901    877     3757940736 10000   1 8 apollon008 901    877     2627530752 7110   1 8 apollon158
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    878     4805005312 11800   1 10 apollon122 901    877     3598016512 10600   1 10 apollon129 901    872     2809851904 10500   1 10 apollon133 901    877     4015738880 12800   1 10 apollon044 901    878     2839818240 12200   1 10 apollon056
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    878     5046374400 13000   1 12 apollon044 901    879     3790794752 10400   1 12 apollon110 901    872     3171323904 10400   1 12 apollon004 901    877     4356661248 9220   1 12 apollon053 901    878     2837467136 8840   1 12 apollon004
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    879     5199138816 9750   1 14 apollon053 901    879     4208910336 9970   1 14 apollon117 901    873     2890096640 9020   1 14 apollon041 901    877     4899221504 13000   1 14 apollon056 901    878     3868954624 8010   1 14 apollon122
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     5758214144 10200   1 16 apollon083 901    880     5029134336 10300   1 16 apollon004 901    872     2951716864 9910   1 16 apollon093 901    876     4998619136 11900   1 16 apollon130 901    879     4062396416 6010   1 16 apollon063
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    880     6273400832 12000   1 18 apollon167 901    880     5126606848 10100   1 18 apollon144 901    872     3038441472 10700   1 18 apollon061 901    878     5738463232 10000   1 18 apollon072 901    879     4073910272 8220   1 18 apollon154
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    879     6579216384 10500   1 20 apollon120 901    879     5347823616 9650   1 20 apollon152 901    872     2914672640 10100   1 20 apollon076 901    878     5780398080 9720   1 20 apollon107 901    879     4091478016 10800   1 20 apollon132
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    880     6589399040 10700   1 22 apollon051 901    879     5817810944 10300   1 22 apollon049 901    871     3066908672 10600   1 22 apollon004 901    878     5973254144 11700   1 22 apollon016 901    878     4088487936 7820   1 22 apollon043
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 902    879     7528525824 12900   1 24 apollon080 901    880     5911216128 10200   1 24 apollon154 901    871     3459854336 11300   1 24 apollon071 901    877     6161903616 10700   1 24 apollon011 901    877     4223016960 8800   1 24 apollon081
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    888     3213373440 12100   1 10 apollon147 901    888     2473250816 11900   1 10 apollon078 901    888     1770737664 10400   1 10 apollon092 901    876     4055379968 8560   1 10 apollon157 901    878     3962683392 9110   1 10 apollon091
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    889     3315146752 13400   1 12 apollon159 901    888     2609590272 13100   1 12 apollon019 901    886     1691262976 11700   1 12 apollon133 868    876     3788791808 9890   1 12 apollon117 901    876     3964956672 6970   1 12 apollon137
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 902    888     3233718272 11000   1 10 apollon100 901    888     2803855360 11700   1 10 apollon074 902    886     1861840896 11000   1 10 apollon053 901    874     4206338048 9040   1 10 apollon043 901    877     2771513344 7780   1 10 apollon137
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 902    888     3240296448 11700   1 8 apollon050 901    888     2635161600 11700   1 8 apollon135 902    886     1813114880 11800   1 8 apollon165 901    876     4247261184 9340   1 8 apollon162 901    876     3957338112 6190   1 8 apollon104
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    877     3826933760 10500   1 10 apollon144 901    874     2771746816 11900   1 10 apollon006 901    872     2169450496 10200   1 10 apollon105 901    875     3659096064 9450   1 10 apollon083 901    876     3958661120 9980   1 10 apollon024
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    887     2945355776 11700   1 6 apollon032 901    888     2016104448 14400   1 6 apollon057 902    886     1401253888 12300   1 6 apollon146 901    876     4086308864 9170   1 6 apollon100 901    877     2679685120 11800   1 6 apollon021
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    887     2956066816 10500   1 8 apollon151 901    888     2091474944 13300   1 8 apollon033 902    888     1411387392 12800   1 8 apollon091 901    875     3787313152 11900   1 8 apollon148 901    875     2595270656 7150   1 8 apollon101
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    887     2960416768 11800   1 10 apollon095 901    889     2104717312 12700   1 10 apollon124 902    886     1472831488 11500   1 10 apollon026 901    876     3784888320 9490   1 10 apollon127 901    875     2697105408 7940   1 10 apollon138
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    887     2955436032 11500   1 12 apollon144 901    888     2013622272 11300   1 12 apollon086 902    887     1391374336 12400   1 12 apollon017 901    875     3474874368 9410   1 12 apollon086 901    876     3940196352 7760   1 12 apollon113
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    887     2988371968 13300   1 14 apollon047 901    888     2041528320 13600   1 14 apollon088 902    888     1386303488 13900   1 14 apollon008 901    875     3912851456 10600   1 14 apollon125 901    877     3005796352 10500   1 14 apollon085
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    886     2950082560 10900   1 16 apollon143 901    888     2038022144 13300   1 16 apollon059 902    887     1368662016 12400   1 16 apollon084 901    876     3449516032 11600   1 16 apollon030 901    877     2642362368 8870   1 16 apollon105
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 901    887     2952364032 11600   1 18 apollon110 901    888     2022199296 12300   1 18 apollon031 902    888     1434857472 11700   1 18 apollon075 901    875     3657089024 12200   1 18 apollon140 901    877     2757013504 7830   1 18 apollon089
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    887     2953592832 11500   1 20 apollon107 901    888     2053369856 11400   1 20 apollon166 902    887     1415106560 12300   1 20 apollon009 901    875     3613380608 9540   1 20 apollon013 901    874     2528968704 7260   1 20 apollon097
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    886     2858418176 14300   1 22 apollon021 901    888     2042757120 14700   1 22 apollon039 902    887     1422913536 13600   1 22 apollon014 901    876     3507871744 9160   1 22 apollon032 901    876     3009052672 7650   1 22 apollon120
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    876     3597975552 8930   3 8 apollon157 901    876     2559852544 10100   3 8 apollon164 902    866     8362414080 10200   3 8 apollon165 901    873     4252123136 10300   3 8 apollon147 901    875     4026990592 10300   3 8 apollon030
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 902    876     3544838144 11600   3 8 apollon125 901    875     2675290112 9700   3 8 apollon048 901    862     8292859904 12800   3 8 apollon057 901    874     4204167168 12800   3 8 apollon161 901    876     4033875968 10200   3 8 apollon091
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    877     4364267520 10800   1 6 apollon048 901    874     3102302208 9410   1 6 apollon037 901    872     2316136448 10400   1 6 apollon018 901    876     3735502848 9780   1 6 apollon155 901    877     2662227968 8540   1 6 apollon025
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     4929744896 10200   3 10 apollon109 901    876     2725187584 10500   3 10 apollon105 901    866     3939569664 9660   3 10 apollon101 901    873     5474140160 12800   3 10 apollon161 901    875     4190384128 10600   3 10 apollon006
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    873     5616492544 10200   3 10 apollon157 901    875     4361342976 12000   3 10 apollon106 901    857     11088560128 10400   3 10 apollon059 901    868     5774626816 10300   3 10 apollon061 902    873     4187566080 7440   3 10 apollon055
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    875     4672024576 10600   3 12 apollon126 901    877     3580841984 9810   3 12 apollon025 901    861     10157961216 10500   3 12 apollon017 901    872     4987121664 9590   3 12 apollon149 901    875     4144816128 12500   3 12 apollon148
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    876     4615094272 9610   3 10 apollon023 901    875     3594645504 13100   3 10 apollon057 901    864     8636014592 8500   3 10 apollon092 901    870     4680777728 9760   3 10 apollon136 901    877     4044029952 10200   3 10 apollon167
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 902    878     4278808576 11200   1 6 apollon011 901    877     3442909184 11000   1 6 apollon155 901    872     2465189888 10200   1 6 apollon051 901    876     4074934272 9340   1 6 apollon050 901    878     2566225920 7390   1 6 apollon126
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    875     4531425280 13000   3 16 apollon130 901    873     3803303936 11400   3 16 apollon049 901    865     3967766528 12200   3 16 apollon028 901    872     4627652608 8750   3 16 apollon042 901    874     4060491776 8650   3 16 apollon019
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 255    221     2262450176 3520   7 8 apollon159 255    220     2322960384 3230   7 8 apollon118 256    221     2124943360 3760   7 8 apollon080 254    239     3689136128 3050   7 8 apollon040 901    867     3690754048 10800   6 8 apollon040
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    886     2887524352 11700   1 6 apollon129 901    887     2058280960 10700   1 6 apollon098 902    888     1637466112 13200   1 6 apollon059 901    875     3528036352 8610   1 6 apollon092 901    877     3933945856 6670   1 6 apollon158
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 902    876     4994322432 10600   4 10 apollon096 901    877     4269182976 11300   4 10 apollon142 901    868     8675926016 11700   4 10 apollon160 901    874     4070117376 9250   4 10 apollon124 901    876     3975077888 12900   4 10 apollon057
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 902    877     3911983104 10300   1 12 apollon153 901    875     3041574912 11000   1 12 apollon033 901    873     2149609472 11400   1 12 apollon122 901    877     3617292288 9280   1 12 apollon015 901    876     3963088896 10100   1 12 apollon006
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    877     4043661312 10400   1 10 apollon131 901    878     3282866176 11700   1 10 apollon081 901    872     2116399104 10800   1 10 apollon155 901    874     4194025472 10100   1 10 apollon084 901    877     3961360384 8970   1 10 apollon026
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    755     7057223680 12300   1 8 apollon044 901    764     6404501504 12500   1 8 apollon016 948    770     6629543936 11100   1 8 apollon030 901    767     6660632576 9040   1 8 apollon123 901    661     8775618560 8600   1 8 apollon003
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    878     4114259968 9610   1 8 apollon092 901    879     3411648512 9660   1 8 apollon040 901    872     2426974208 10200   1 8 apollon154 901    875     3949748224 9580   1 8 apollon113 901    876     3943321600 8940   1 8 apollon125
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    759     6687629312 11700   1 8 apollon081 901    771     6609375232 10800   1 8 apollon022 942    754     5262671872 8640   1 8 apollon143 901    776     6394306560 10400   1 8 apollon032 901    675     8749436928 9570   1 8 apollon038
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    878     4189736960 9750   1 8 apollon002 901    876     3055026176 10600   1 8 apollon095 901    872     2310725632 10100   1 8 apollon144 901    876     3740561408 8980   1 8 apollon137 901    876     3967352832 8730   1 8 apollon007
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    877     4463087616 10900   1 8 apollon168 901    878     3356770304 11900   1 8 apollon024 901    872     2194456576 11800   1 8 apollon064 901    876     4009099264 9720   1 8 apollon034 901    876     2586886144 7540   1 8 apollon093
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    769     7016554496 10600   1 8 apollon095 901    764     6821564416 8430   1 8 apollon063 965    771     7391133696 10600   1 8 apollon010 901    778     6238629888 11200   1 8 apollon046 901    628     8449179648 8220   1 8 apollon041
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    878     4379828224 11200   1 8 apollon038 901    876     3348299776 10200   1 8 apollon135 901    873     2329976832 10300   1 8 apollon099 901    877     3866333184 12100   1 8 apollon080 901    877     2761342976 7950   1 8 apollon025
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    878     4342415360 11300   1 8 apollon085 901    879     3754123264 9900   1 8 apollon134 901    872     2471829504 11100   1 8 apollon068 901    877     3939016704 10500   1 8 apollon122 901    876     3981205504 11400   1 8 apollon140
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    878     4447948800 10900   1 8 apollon141 901    876     3033849856 9310   1 8 apollon029 901    873     2435833856 11900   1 8 apollon132 901    877     3783098368 11900   1 8 apollon064 901    877     3967418368 8610   1 8 apollon110
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    838     4457955328 11600   5 6 apollon095 901    836     4397670400 11900   5 6 apollon015 901    837     4399448064 12800   5 6 apollon007 901    831     4409565184 13300   5 6 apollon148 901    821     4322115584 13300   4 6 apollon014
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    877     4635504640 9930   1 6 apollon104 901    879     3542740992 9040   1 6 apollon040 901    873     3002134528 9330   1 6 apollon002 901    877     4014149632 10600   1 6 apollon068 901    877     3960520704 8240   1 6 apollon020
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 901    886     2925510656 13300   1 8 apollon159 901    887     2085138432 13900   1 8 apollon008 902    886     1443434496 13600   1 8 apollon069 901    876     3419619328 9930   1 8 apollon033 901    875     3483545600 7650   1 8 apollon075
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    891     4486635520 8140   0 8 apollon011 903    892     4427345920 7910   0 8 apollon117 903    882     4457480192 11800   0 8 apollon164 903    890     4050706432 6990   0 8 apollon109 901    871     3936268288 13200   0 8 apollon019
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    869     5799624704 12100   7 14 apollon081 901    874     3818598400 10000   7 14 apollon043 901    862     4366934016 9510   7 14 apollon092 901    868     5672013824 11500   7 14 apollon052 902    869     4154118144 9390   7 14 apollon129
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    892     4143751168 7870   0 10 apollon102 903    891     3992883200 7360   0 10 apollon023 903    884     4557266944 10700   0 10 apollon131 903    890     4537962496 7400   0 10 apollon143 901    873     3722522624 12200   0 10 apollon145
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     4618006528 10700   7 14 apollon079 901    871     3881181184 11100   7 14 apollon049 901    858     4495273984 11400   7 14 apollon114 901    868     5699760128 9100   7 14 apollon131 902    865     4241641472 9680   7 14 apollon129
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 902    854     7084613632 9880   7 24 apollon058 901    862     5902434304 8960   7 24 apollon116 902    809     7950712832 11400   7 24 apollon130 901    802     6329110528 8890   7 24 apollon031 905    708     6053126144 6600   7 24 apollon054
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    873     4405719040 11300   3 10 apollon065 901    874     3633463296 9850   3 10 apollon108 1060    410     10909483008 7120   apollon065 901    872     4815630336 7960   3 10 apollon123 901    875     4071198720 8920   3 10 apollon049
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    887     3210186752 13100   1 14 apollon108 901    889     2784698368 11300   1 14 apollon003 902    888     1670742016 11700   1 14 apollon058 901    876     4354310144 12400   1 14 apollon130 901    877     3057848320 9080   1 14 apollon026
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    891     4491706368 7620   0 10 apollon067 903    891     3227475968 7720   0 10 apollon124 903    883     4580503552 9810   0 10 apollon098 903    890     4297056256 7880   0 10 apollon082 901    871     3935031296 12300   0 10 apollon142
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    892     4378071040 7290   0 10 apollon144 903    891     4306333696 9030   0 10 apollon071 903    884     4354457600 12000   0 10 apollon065 903    891     3962433536 7240   0 10 apollon144 901    871     3794358272 13400   0 10 apollon077
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    876     4528726016 10600   1 12 apollon090 901    876     3635331072 10900   1 12 apollon004 901    868     4147306496 9790   1 12 apollon124 901    875     3886600192 9960   1 12 apollon020 901    879     2918895616 10300   1 12 apollon114
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    892     4369555456 10700   0 10 apollon056 903    892     3968098304 7600   0 10 apollon051 903    884     4499849216 10400   0 10 apollon023 903    891     4294922240 7580   0 10 apollon104 901    873     3658063872 12800   0 10 apollon020
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    891     7111266304 11200   0 14 apollon070 904    891     7084851200 11100   0 14 apollon162 902    883     6312087552 12200   0 14 apollon075 904    890     7334866944 10900   0 14 apollon121 901    874     6182526976 12600   0 14 apollon114
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    892     9084850176 10900   0 12 apollon032 905    892     9263665152 11200   0 12 apollon082 903    884     7213809664 12600   0 12 apollon015 905    890     9588613120 10600   0 12 apollon137 901    872     6238593024 11700   0 12 apollon073
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    892     4318031872 6760   0 8 apollon139 903    892     4298477568 5820   0 8 apollon063 903    884     4374970368 12100   0 8 apollon064 903    891     4298043392 6660   0 8 apollon158 901    873     3696238592 11200   0 8 apollon060
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    891     4338896896 9500   0 18 apollon167 903    892     4396150784 7510   0 18 apollon104 903    884     4395749376 12000   0 18 apollon010 903    891     3966636032 8350   0 18 apollon084 901    873     3916972032 9570   0 18 apollon063
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 902    783     5692837888 9420   7 8 apollon164 901    829     4657541120 9360   7 8 apollon061 901    819     4573782016 10100   7 8 apollon164 901    715     7570104320 9700   7 8 apollon045 901    870     1415897088 13000   3 8 apollon007
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    875     1820561408 10200   9 14 apollon145 901    875     2333442048 10800   9 14 apollon087 901    876     2285494272 10300   9 14 apollon118 901    874     2281750528 12900   9 14 apollon044 901    864     2154422272 13400   9 14 apollon163
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    868     2101202944 9860   9 14 apollon095 901    866     2615033856 9250   9 14 apollon149 901    870     1958719488 13600   9 14 apollon039 901    868     1965297664 10100   9 14 apollon124 901    859     2376757248 11600   9 14 apollon032
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    869     4041134080 9290   9 14 apollon055 901    869     3271356416 10400   9 14 apollon007 901    873     2787336192 9080   9 14 apollon127 901    867     3077033984 8880   9 14 apollon115 901    875     4002828288 11200   9 14 apollon042
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 902    859     6506921984 11800   9 14 apollon044 901    863     5901881344 9730   9 14 apollon079 285    257     14999998464 3230   apollon117 901    857     6469824512 10700   9 14 apollon091 901    857     3415175168 12700   9 14 apollon005
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 901    865     6670893056 11000   9 14 apollon105 902    866     5739237376 12700   9 14 apollon047 402    378     14999998464 4120   apollon050 901    862     5707436032 10100   9 14 apollon043 901    864     4432965632 13500   9 14 apollon016
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    711     6013820928 9650   14 16 apollon152 901    748     5382918144 11100   14 16 apollon014 901    777     6082433024 11200   5 16 apollon108 901    684     6318215168 8950   14 16 apollon115 901    870     1256730624 12500   3 16 apollon048
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    887     3700903936 11400   6 10 apollon077 901    888     3766747136 9860   6 10 apollon128 901    880     2935128064 10000   6 10 apollon104 901    886     3216732160 9180   6 10 apollon150 901    867     2108358656 13900   6 10 apollon016
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    874     2428473344 11200   6 10 apollon049 901    872     2681774080 11900   6 10 apollon084 902    877     2570805248 10500   6 10 apollon055 901    869     2394349568 12100   6 10 apollon108 901    862     2209488896 11700   6 10 apollon156
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     2464235520 12500   6 10 apollon068 901    867     2097778688 13700   6 10 apollon161 901    872     2760757248 10700   6 10 apollon010 901    869     2358083584 14000   6 10 apollon057 901    857     2423873536 13100   6 10 apollon033
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 901    877     4309479424 11200   6 10 apollon156 901    874     4336680960 10400   6 10 apollon143 902    876     5609234432 10300   6 10 apollon036 901    874     4309278720 12100   6 10 apollon155 901    872     4290469888 12200   6 10 apollon114
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 765    737     14999998464 8320   apollon105 767    740     14999998464 8330   apollon107 903    875     7922651136 8890   6 10 apollon120 767    737     14999998464 8410   apollon145 901    875     4996608000 9660   5 10 apollon048
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 388    357     3697164288 4040   apollon083 387    355     3553644544 4140   apollon079 902    832     4547870720 11100   4 10 apollon007 373    346     3953287168 4760   apollon138 901    870     1221296128 13000   3 10 apollon155
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    878     2857852928 9660   8 12 apollon154 901    877     2878525440 8870   8 12 apollon002 901    878     2288041984 11700   8 12 apollon036 901    876     1874436096 9790   8 12 apollon001 901    868     1582383104 13000   6 12 apollon019
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    884     2979192832 9100   8 12 apollon036 901    884     2358411264 7510   8 12 apollon143 901    871     1953742848 9410   8 12 apollon051 901    882     3271770112 7360   8 12 apollon137 901    866     2114142208 11800   6 12 apollon118
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    885     1480839168 6940   8 12 apollon018 901    885     1885802496 8000   8 12 apollon052 901    871     2115534848 9540   8 12 apollon003 901    883     2658414592 7790   8 12 apollon071 901    874     2322198528 9540   5 12 apollon105
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    872     1675153408 6710   7 12 apollon092 901    873     2233614336 7870   7 12 apollon087 901    868     2242449408 10000   7 12 apollon064 901    873     2445025280 7690   7 12 apollon009 901    870     2906046464 11500   5 12 apollon044
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 902    878     2717773824 6450   5 12 apollon150 901    877     2672295936 7270   5 12 apollon155 902    871     5448777728 11000   7 12 apollon140 902    879     2565984256 5990   5 12 apollon127 901    868     2548715520 8680   5 12 apollon115
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    746     5636300800 10500   8 12 apollon055 901    755     5104848896 11300   8 12 apollon091 904    567     8139120640 8730   6 12 apollon153 901    887     1752211456 11300   8 12 apollon033 901    869     1277071360 11500   5 12 apollon157
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    640     7162634240 9490   10 12 apollon039 901    557     9982033920 6380   10 12 apollon013 901    604     9363820544 10300   10 12 apollon080 901    604     9481670656 6840   10 12 apollon055 902    428     10708078592 7750   10 12 apollon085
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 902    743     7207915520 7050   9 12 apollon145 901    753     5964685312 7690   9 12 apollon087 902    618     8433037312 9220   8 12 apollon061 901    664     8063180800 7930   9 12 apollon019 902    523     10745798656 8370   9 12 apollon051
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 484    450     14999998464 5290   apollon143 487    453     14999998464 5350   apollon060 902    737     7006928896 11100   8 12 apollon068 497    412     14999998464 6270   apollon014 902    682     6531403776 10300   9 12 apollon006
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 714    691     14999998464 7620   apollon118 705    681     14999998464 7580   apollon034 901    855     4168507392 11400   5 12 apollon033 901    842     6339321856 10100   8 12 apollon104 905    818     5045039104 9270   8 12 apollon054
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 902    872     3731382272 7570   7 12 apollon055 902    874     3431305216 9960   7 12 apollon080 902    852     4204335104 11000   5 12 apollon147 902    872     8114479104 12200   6 12 apollon044 901    876     4421967872 9290   6 12 apollon087
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 901    621     7638798336 8420   8 12 apollon092 901    626     7303286784 10300   9 12 apollon064 902    609     8689553408 9700   10 12 apollon093 901    876     1570947072 11400   8 12 apollon120 901    869     1572077568 12600   5 12 apollon065
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    879     3297804288 10600   6 10 apollon051 901    878     3322388480 13200   6 10 apollon021 901    879     2250567680 12300   6 10 apollon048 901    879     3426570240 10600   6 10 apollon141 901    867     1648553984 12400   6 10 apollon052
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    880     3799306240 11700   6 10 apollon065 901    882     4131127296 12000   6 10 apollon077 901    876     3694284800 13500   6 10 apollon160 901    880     3942477824 11500   6 10 apollon142 901    862     1687007232 11600   6 10 apollon133
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    875     4150321152 8800   6 10 apollon165 902    875     4629336064 8070   6 10 apollon022 901    871     3520036864 9810   6 10 apollon083 902    872     3950383104 7920   6 10 apollon127 901    859     1963343872 11900   6 10 apollon038
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 901    870     6385012736 10200   6 10 apollon151 901    870     6177955840 11000   6 10 apollon045 902    878     5410828288 10900   6 10 apollon148 901    868     6647963648 11800   6 10 apollon146 901    869     4225867776 13600   6 10 apollon030
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 521    499     14999998464 5530   apollon023 506    482     14999998464 5440   apollon013 903    877     8073306112 8710   6 10 apollon134 715    682     14999998464 8310   apollon046 901    876     4991553536 11200   5 10 apollon088
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    763     5698482176 11100   6 10 apollon059 901    736     7043784704 9360   6 10 apollon033 902    541     10124238848 7740   4 10 apollon043 901    887     1749524480 11500   6 10 apollon061 901    869     1508544512 11800   3 10 apollon153
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    623     9224204288 9330   6 10 apollon038 901    734     5612544000 10100   6 10 apollon073 901    718     6375428096 10300   6 10 apollon082 901    873     968605696 11700   8 10 apollon010 901    879     1056858112 9890   5 10 apollon075
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.26 1.67  270340096 38.1 apollon026 4.05 1.67  265916416 42.5 apollon056 4.40 1.72  276189184 38.2 apollon045 4.30 1.81  270995456 40.9 apollon142 4.24 1.76  263880704 43.3 apollon126
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.51 1.87  274747392 41.5 apollon118 4.42 1.83  275492864 41.5 apollon031 4.48 1.79  272257024 41.5 apollon153 4.65 1.84  277184512 42.0 apollon156 4.59 1.78  279101440 40.0 apollon003
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 5.01 2.13  286478336 43.9 apollon066 5.09 2.15  288813056 48.8 apollon105 4.82 2.14  280391680 46.1 apollon105 5.23 2.18  285515776 44.1 apollon041 4.71 2.11  278011904 42.3 apollon137
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.55 1.83  278900736 47.9 apollon039 4.64 1.87  274542592 44.3 apollon064 4.67 1.83  274706432 39.0 apollon083 4.59 1.84  270168064 42.5 apollon112 4.71 1.93  277229568 42.1 apollon135
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 4.78 2.13  279048192 44.8 apollon165 4.97 2.18  277303296 48.7 apollon067 5.15 2.29  278130688 45.9 apollon165 4.96 2.18  282435584 53.7 apollon160 5.08 2.24  281956352 43.8 apollon089
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.53 1.82  278769664 44.2 apollon020 4.58 1.78  275046400 37.4 apollon066 4.37 1.80  270430208 39.8 apollon052 4.46 1.79  271659008 43.6 apollon020 4.48 1.78  279007232 38.7 apollon001
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.14  283099136 43.8 apollon103 4.61 2.09  275382272 42.3 apollon131 4.68 2.11  284094464 51.6 apollon039 4.65 2.10  278663168 44.0 apollon165 4.74 2.14  276332544 41.5 apollon002
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.44 1.73  274591744 44.5 apollon008 4.50 1.85  276848640 43.0 apollon097 4.32 1.78  274116608 37.1 apollon098 4.44 1.78  279420928 43.9 apollon028 4.36 1.81  273965056 41.8 apollon132
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.75 2.09  282009600 49.8 apollon014 4.71 2.13  278069248 48.9 apollon081 4.57 2.06  274956288 38.0 apollon158 4.58 2.06  275730432 43.3 apollon085 4.75 2.15  286568448 43.3 apollon072
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.56 1.77  274640896 42.1 apollon010 4.35 1.80  268939264 35.1 apollon092 4.66 1.82  278228992 47.5 apollon008 4.46 1.83  266551296 35.5 apollon158 4.55 1.93  271196160 42.1 apollon087
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 4.56 2.05  280485888 47.0 apollon094 4.68 2.10  283111424 47.5 apollon007 4.68 2.12  283742208 41.9 apollon129 4.71 2.09  279711744 47.7 apollon048 4.71 2.11  278163456 44.5 apollon046
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.41 1.78  269103104 42.6 apollon161 4.40 1.73  279851008 39.4 apollon121 4.41 1.76  269279232 47.1 apollon036 4.43 1.80  270680064 43.9 apollon138 4.41 1.84  273186816 47.0 apollon057
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.92 2.19  279183360 49.2 apollon009 4.81 2.13  281313280 40.3 apollon143 4.90 2.19  282697728 48.8 apollon068 4.76 2.13  279429120 45.3 apollon162 4.88 2.11  286785536 42.8 apollon137
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    733     5613518848 7880   5 8 apollon029 901    756     5721538560 8660   5 8 apollon117 901    749     5002141696 8320   5 8 apollon041 901    875     1683705856 9810   7 8 apollon143 901    870     1505271808 11000   3 8 apollon134
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    673     7729233920 8720   7 10 apollon071 901    754     5045497856 8720   7 10 apollon015 901    695     7145963520 9160   7 10 apollon006 901    728     5865861120 10800   8 10 apollon148 901    869     1233903616 13200   3 10 apollon077
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.38 1.78  274456576 39.2 apollon103 4.41 1.79  273223680 40.7 apollon034 4.48 1.79  271536128 38.2 apollon137 4.28 1.77  269389824 39.9 apollon095 4.49 1.76  279216128 37.1 apollon041
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.59 2.07  274907136 43.1 apollon131 4.58 2.08  278147072 45.4 apollon010 4.92 2.12  286584832 44.7 apollon103 4.66 2.09  275111936 42.1 apollon073 4.79 2.15  285241344 45.5 apollon070
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.40 1.84  270450688 42.2 apollon138 4.37 1.81  268046336 41.9 apollon065 4.26 1.75  269340672 45.9 apollon056 4.55 1.84  269205504 41.7 apollon012 4.49 1.78  279805952 40.0 apollon025
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.74 2.12  282456064 44.2 apollon104 4.92 2.20  280940544 50.6 apollon108 5.00 2.23  286662656 46.6 apollon086 4.97 2.16  280436736 41.4 apollon143 4.94 2.15  286142464 44.9 apollon062
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    765     4980015104 9980   9 12 apollon156 901    791     4635099136 9740   9 12 apollon157 901    779     5578969088 9840   9 12 apollon062 901    802     4629282816 11100   9 12 apollon095 901    870     1442521088 11600   3 12 apollon050
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    579     8228937728 8590   7 10 apollon150 901    610     7922708480 7380   7 10 apollon063 901    683     6422958080 9720   7 10 apollon133 901    629     7518699520 9640   7 10 apollon067 902    494     9579855872 8950   4 10 apollon164
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    718     5935362048 11000   7 10 apollon136 901    712     6225555456 10000   7 10 apollon001 901    663     6632632320 10600   7 10 apollon167 901    689     6517944320 12000   7 10 apollon160 902    672     6755639296 10100   4 10 apollon093
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    784     4848590848 10600   5 8 apollon157 901    795     4978323456 11500   5 8 apollon101 901    785     5594103808 10500   5 8 apollon079 901    798     5108670464 11600   5 8 apollon114 901    870     1378062336 12000   3 8 apollon145
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 902    764     5821091840 11400   7 10 apollon064 902    764     5898792960 10000   7 10 apollon066 901    773     5329256448 11100   7 10 apollon048 901    742     6068678656 10300   7 10 apollon032 902    805     5388869632 11200   4 10 apollon146
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 902    675     6971310080 11300   7 10 apollon030 901    714     5516849152 10000   7 10 apollon034 901    656     8502272000 11000   7 10 apollon030 901    697     6273515520 10100   7 10 apollon095 902    605     6978121728 9410   4 10 apollon124
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.43 1.75  274010112 44.0 apollon056 4.18 1.73  267739136 37.0 apollon053 4.27 1.72  269897728 38.7 apollon004 4.27 1.82  268156928 39.2 apollon162 4.12 1.72  270671872 42.6 apollon122
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.32 1.76  269623296 35.0 apollon143 4.22 1.73  268214272 42.2 apollon027 4.41 1.79  269742080 46.7 apollon039 4.42 1.76  276144128 35.8 apollon043 4.49 1.77  278892544 37.3 apollon099
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    878     5153083392 10000   1 12 apollon035 901    878     3974807552 10400   1 12 apollon168 901    872     2983415808 9560   1 12 apollon035 901    875     4910985216 10400   1 12 apollon059 901    878     4071530496 8550   1 12 apollon116
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    879     5810704384 11400   1 14 apollon122 901    879     4774830080 10100   1 14 apollon108 901    870     3220074496 10700   1 14 apollon085 901    874     5432283136 9130   1 14 apollon025 901    877     4129525760 8040   1 14 apollon119
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    878     5047795712 10600   1 12 apollon031 901    879     4015853568 9910   1 12 apollon127 901    874     2832109568 10100   1 12 apollon096 901    876     4594388992 9350   1 12 apollon067 901    878     2913570816 7750   1 12 apollon144
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     5415206912 9700   1 14 apollon055 901    879     4732977152 9370   1 14 apollon012 902    870     3248156672 9900   1 14 apollon121 901    877     5637210112 9570   1 14 apollon168 901    875     4225486848 6810   1 14 apollon101
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 19.9  5.42  727482368 176   59 60 apollon064 20.2  5.50  735965184 162   59 60 apollon050 21.1  5.69  745820160 181   59 60 apollon032 264    242     2528329728 3690   59 60 apollon111 901    863     2520227840 10500   57 60 apollon078
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    625     10311184384 7770   4 8 apollon123 901    540     11375161344 8280   4 8 apollon095 901    615     10218479616 9900   4 8 apollon006 901    854     3475181568 9330   4 8 apollon158 901    869     1431822336 11200   1 8 apollon025
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 794    749     4277227520 9330   44 60 apollon035 766    723     4299096064 9670   44 60 apollon082 260    236     2277830656 3530   44 60 apollon077 761    716     3985948672 9770   44 60 apollon113 901    858     2037235712 10500   43 60 apollon023
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 781    737     3847933952 9610   45 60 apollon075 759    715     4590288896 8890   45 60 apollon104 260    234     2831093760 3230   45 60 apollon142 762    716     4379009024 8740   45 60 apollon149 901    860     2488422400 10900   44 60 apollon097
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 256    246     1730453504 3980   10 12 apollon036 256    246     1680105472 3630   10 12 apollon124 257    246     1603629056 3650   10 12 apollon136 257    245     1667026944 3630   10 12 apollon024 901    870     1491542016 13000   6 12 apollon005
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 255    245     1681764352 3240   9 10 apollon103 256    245     1644462080 3180   9 10 apollon013 255    245     1622503424 3510   9 10 apollon017 256    244     1605537792 3320   9 10 apollon074 901    871     1474400256 11200   6 10 apollon086
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 403    391     1690857472 5060   9 10 apollon103 405    394     1482637312 5310   9 10 apollon015 403    392     1644314624 4880   9 10 apollon013 407    395     1555697664 5450   9 10 apollon124 901    870     1492508672 11100   8 10 apollon109
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.39 2.11  290598912 52.8 8 12 apollon094 5.33 2.07  288509952 53.2 8 12 apollon016 5.35 2.05  298102784 44.2 8 12 apollon098 5.57 2.16  301375488 50.0 8 12 apollon051 5.93 2.30  314200064 50.0 8 12 apollon050
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 256    242     2629144576 3410   3 4 apollon097 256    242     2633883648 3920   3 4 apollon069 255    242     2522730496 3460   3 4 apollon061 257    242     2646552576 3280   3 4 apollon154 901    868     2387365888 13800   2 4 apollon069
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 253    242     1502724096 3500   1 2 apollon101 253    243     1640898560 3310   1 2 apollon001 253    242     1293795328 3330   1 2 apollon153 253    242     1528950784 3160   1 2 apollon035 901    869     1560297472 11100   0 2 apollon116
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 253    243     1726185472 3130   1 2 apollon013 253    243     1770590208 3200   1 2 apollon115 253    243     1709146112 3320   1 2 apollon095 253    241     1769119744 3580   1 2 apollon091 901    870     1547153408 12800   0 2 apollon010
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 253    243     1641091072 3660   1 2 apollon005 253    243     1860128768 3310   1 2 apollon032 253    243     1870610432 3690   1 2 apollon081 253    241     1642450944 3510   1 2 apollon114 901    869     1592852480 12600   0 2 apollon048
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    870     4481568768 9270   1 2 apollon135 901    873     3280994304 11800   1 2 apollon064 902    864     7871836160 8180   1 2 apollon152 901    868     4157210624 8270   1 2 apollon054 902    868     4085616640 6480   1 2 apollon145
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 253    243     1930452992 3410   1 2 apollon147 253    243     1882140672 3820   1 2 apollon159 253    243     1817366528 3270   1 2 apollon150 253    241     1670262784 3370   1 2 apollon082 901    867     1476857856 14000   0 2 apollon016
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 255    245     1906442240 3230   1 2 apollon086 254    244     1858162688 3410   1 2 apollon162 254    244     1849569280 3350   1 2 apollon120 254    243     1759395840 3720   1 2 apollon007 901    868     1645199360 10500   0 2 apollon151
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    870     947507200 12700   11 12 apollon059 901    869     922673152 10600   11 12 apollon013 901    865     3981537280 11200   11 12 apollon034 901    873     905039872 10400   11 12 apollon143 901    854     896761856 11000   9 12 apollon107
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.32 2.02  286089216 48.3 5 6 apollon012 5.39 2.00  283934720 44.1 5 6 apollon054 5.40 2.03  282230784 53.1 5 6 apollon027 5.67 2.12  297893888 53.0 5 6 apollon130 5.57 2.02  296480768 49.1 5 6 apollon026
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 264    119     6558322688 2170   5 6 apollon100 264    113     6760546304 2190   5 6 apollon026 901    619     8187547648 9060   5 6 apollon003 264    250     2244149248 3660   5 6 apollon136 901    868     1488007168 13100   4 6 apollon081
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 387    257     5544988672 3880   7 8 apollon086 387    251     5679534080 4350   7 8 apollon068 361    234     5440503808 3350   7 8 apollon123 388    258     5800554496 4370   7 8 apollon006 913    524     8489316352 8390   7 8 apollon026
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.61 1.49  261890048 32.4 apollon045 3.53 1.48  262258688 37.3 apollon036 3.75 1.53  267272192 35.9 apollon148 3.53 1.52  259481600 32.1 apollon026 3.76 1.63  261206016 31.7 apollon060
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 74.9  27.8   2591490048 731   171 172 apollon016 77.2  28.0   2907066368 589   171 172 apollon143 81.3  29.0   2962464768 754   171 172 apollon163 77.0  29.5   2539773952 711   171 172 apollon136 75.5  30.1   2588573696 629   171 172 apollon139
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 282    114     7807922176 2250   169 170 apollon150 282    136     6474891264 2650   169 170 apollon022 265    126     5218656256 2710   169 170 apollon016 282    151     6113132544 2800   169 170 apollon011 901    459     8847728640 9710   168 170 apollon160
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 263    88.9   6862786560 2100   124 172 apollon048 263    101     6720798720 2410   124 172 apollon033 275    131     6136418304 2690   124 172 apollon006 264    98.1   7162863616 2020   124 172 apollon058 902    362     10713473024 6650   124 172 apollon134
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 80.5  28.3   2644262912 643   147 172 apollon154 70.6  27.5   2817060864 634   147 172 apollon105 81.5  28.9   2825101312 635   147 172 apollon066 77.0  25.6   2823540736 626   147 172 apollon103 79.4  26.3   2673573888 688   147 172 apollon114
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 66.9  25.6   2706460672 619   143 170 apollon010 77.4  26.7   2531250176 606   143 170 apollon013 80.6  27.3   2735558656 695   143 170 apollon141 93.1  26.8   3558305792 699   143 170 apollon009 66.7  24.1   2863943680 515   143 170 apollon158
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 897    560     9415221248 8840   145 172 apollon001 296    150     6775545856 2600   145 172 apollon089 790    476     9664499712 8300   145 172 apollon068 265    108     5878616064 2470   145 172 apollon155 903    425     9182404608 8470   143 172 apollon124
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    657     7437680640 9130   191 194 apollon137 901    651     7894056960 10500   191 194 apollon064 901    695     6025187328 9260   191 194 apollon134 901    626     10638102528 9150   191 194 apollon150 901    436     10899791872 8200   188 194 apollon078
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 212    91.5   5533634560 2110   150 192 apollon008 245    94.4   7500656640 2090   150 192 apollon132 221    92.2   5497901056 1890   150 192 apollon018 303    145     6727831552 2870   150 192 apollon015 901    363     10750488576 6590   129 192 apollon043
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 362    211     6245310464 3660   175 192 apollon078 358    212     6425669632 3370   175 192 apollon149 901    650     7010672640 9770   175 192 apollon103 382    247     5391355904 4000   175 192 apollon144 957    293     11208679424 7380   38 192 apollon163
bitvector/s3_srvr_2_true-unreach-call_true-no-overflow_false-termination.BV.c.cil.c 845    550