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-03 01:18:00
Run set V+P-Test-noreuse_10_10 V+P-Test-cmc-uni-vp_10_10 V+P-Test-cmc-uni-pv_10_10 V+P-Test-cmc-bi_10_10 V+P-Test-precision_10_10 V+P-Test-continue_10_10 V+P-Test-cmc-uni-vp-reuse_10_10 V+P-Test-cmc-uni-pv-reuse_10_10 V+P-Test-cmc-bi-reuse_10_10
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,config/testCaseGeneration-predicateAnalysis.properties -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,config/components/testCaseGeneration-predicate-use-cmc-condition.properties -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,config/components/testCaseGeneration-predicate-generate-cmc-condition.properties -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,config/components/testCaseGeneration-predicate-generate-and-use-cmc-condition.properties -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,config/testCaseGeneration-predicateAnalysis.properties::reuse-precision -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,config/testCaseGeneration-predicateAnalysis.properties::continue -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_10,config/components/testCaseGeneration-predicate-use-cmc-condition-precision.properties -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,config/components/testCaseGeneration-predicate-generate-cmc-condition.properties::continue_10 -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,config/components/testCaseGeneration-predicate-generate-and-use-cmc-condition-precision.properties -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    860     14937038848 11200   7 18 apollon140 901    769     4854149120 11100   7 18 apollon140 833    778     14999998464 9370   apollon164 901    815     10626650112 10300   7 18 apollon055 901    859     14460497920 9320   7 18 apollon026 901    797     6111559680 8940   7 18 apollon096 908    659     12879380480 8100   7 18 apollon109 901    861     5152354304 10400   7 18 apollon006 846    779     14999998464 10200   apollon028
array-examples/sorting_bubblesort_false-unreach-call2_ground.i 901    868     8675905536 13400   4 12 apollon057 901    848     8059088896 9710   4 12 apollon127 901    866     9179488256 10700   4 12 apollon147 901    858     8488095744 9370   4 12 apollon097 901    870     5685678080 11500   4 12 apollon152 901    872     1829138432 10400   4 12 apollon070 901    853     10944544768 9660   4 12 apollon066 901    873     3692490752 10800   4 12 apollon075 901    855     10761900032 9870   4 12 apollon093
array-examples/sorting_bubblesort_false-unreach-call_ground.i 901    868     9072193536 11300   4 12 apollon033 901    853     8378970112 9710   4 12 apollon003 901    868     9192730624 11100   4 12 apollon011 901    856     8458493952 9710   4 12 apollon078 901    871     5980180480 9990   4 12 apollon002 901    872     2392289280 9620   4 12 apollon043 901    853     11018530816 12600   4 12 apollon080 901    872     3650711552 12300   4 12 apollon008 901    861     10669395968 9930   4 12 apollon135
array-examples/sorting_selectionsort_false-unreach-call2_ground.i 901    870     9959067648 10700   4 20 apollon090 901    859     4255551488 10300   4 20 apollon104 901    869     9958739968 11000   4 20 apollon001 901    859     4888440832 11600   4 20 apollon138 901    872     6483386368 11400   4 20 apollon076 901    873     2126118912 9670   4 20 apollon092 901    854     5051650048 12200   4 20 apollon077 901    873     3398332416 11100   4 20 apollon032 901    851     8895250432 10200   4 20 apollon110
array-examples/sorting_selectionsort_false-unreach-call_ground.i 901    869     9901809664 12100   4 20 apollon068 901    859     4267671552 10600   4 20 apollon154 901    865     9891721216 11600   4 20 apollon138 901    854     4846514176 12700   4 20 apollon008 901    871     5946642432 10200   4 20 apollon098 901    872     2182819840 11000   4 20 apollon051 901    851     5187866624 10800   4 20 apollon102 901    873     3252514816 11400   4 20 apollon087 901    861     8937844736 9600   4 20 apollon040
array-examples/standard_allDiff2_false-unreach-call_ground.i 803    774     14999998464 9360   apollon078 901    836     9393778688 10800   7 18 apollon165 800    768     14999998464 9900   apollon067 901    815     9436848128 11900   7 18 apollon014 842    813     14999998464 10700   apollon152 901    869     2570743808 11400   7 18 apollon122 902    858     12493647872 10400   7 18 apollon086 901    870     5090430976 12000   7 18 apollon052 901    865     12350976000 10900   7 18 apollon145
array-examples/standard_copy1_false-unreach-call_ground.i 901    876     12083785728 9450   1 8 apollon157 901    872     4107489280 8970   1 8 apollon092 901    872     12045426688 10100   1 8 apollon119 901    861     4046798848 13700   1 8 apollon039 901    872     6068416512 12000   1 8 apollon108 901    877     2542817280 10200   1 8 apollon126 901    859     4283842560 9340   1 8 apollon144 901    876     2850553856 12400   1 8 apollon028 901    862     4048850944 10600   1 8 apollon095
array-examples/standard_copy2_false-unreach-call_ground.i 901    866     13187506176 10200   1 10 apollon073 901    865     4208046080 9740   1 10 apollon131 901    868     13416939520 9800   1 10 apollon083 901    860     4061876224 12300   1 10 apollon036 901    873     6270316544 10900   1 10 apollon001 901    875     2290237440 10800   1 10 apollon011 901    858     4357038080 10800   1 10 apollon017 901    878     2911092736 10300   1 10 apollon109 901    858     4094287872 9790   1 10 apollon041
array-examples/standard_copy3_false-unreach-call_ground.i 901    870     14226444288 10900   1 12 apollon136 901    865     4119605248 9630   1 12 apollon022 901    870     14144696320 9470   1 12 apollon060 901    857     4126203904 10400   1 12 apollon154 901    876     6476812288 12400   1 12 apollon047 901    874     2761912320 12700   1 12 apollon044 901    857     4169777152 10200   1 12 apollon107 901    877     3036766208 10200   1 12 apollon127 901    855     4216348672 10300   1 12 apollon121
array-examples/standard_copy4_false-unreach-call_ground.i 901    875     14499811328 11800   1 14 apollon036 901    858     4125483008 11400   1 14 apollon122 902    867     14396694528 11000   1 14 apollon033 901    852     4462903296 11100   1 14 apollon159 901    875     6278230016 11600   1 14 apollon114 901    878     3247390720 10100   1 14 apollon168 901    856     4145451008 8890   1 14 apollon022 901    876     3024281600 11600   1 14 apollon136 564    528     15000002560 7550   apollon088
array-examples/standard_copy5_false-unreach-call_ground.i 901    875     14855655424 10100   1 16 apollon067 902    856     4732985344 10300   1 16 apollon162 902    868     14837145600 9700   1 16 apollon116 901    851     4380008448 10000   1 16 apollon100 901    873     6583767040 10300   1 16 apollon041 901    879     3079454720 10400   1 16 apollon038 583    549     14999998464 6240   apollon041 901    876     3077644288 12500   1 16 apollon069 852    802     14999998464 10400   apollon141
array-examples/standard_copy6_false-unreach-call_ground.i 901    869     14914809856 10700   1 18 apollon152 901    853     4739743744 10100   1 18 apollon121 885    854     14999998464 9810   apollon093 901    852     4520755200 11500   1 18 apollon068 901    876     7133548544 12200   1 18 apollon132 901    879     3139801088 10900   1 18 apollon165 838    798     14999998464 10900   apollon068 901    878     3104821248 12700   1 18 apollon088 810    769     14999998464 8500   apollon054
array-examples/standard_copy7_false-unreach-call_ground.i 901    863     14419992576 10400   1 20 apollon133 901    852     4716515328 9520   1 20 apollon025 901    866     14188871680 11800   1 20 apollon077 901    845     4706922496 13500   1 20 apollon039 901    877     8086499328 10400   1 20 apollon041 901    880     3630874624 10200   1 20 apollon086 860    813     14999998464 8710   apollon158 901    879     3356225536 11300   1 20 apollon101 831    788     14999998464 10200   apollon082
array-examples/standard_copy8_false-unreach-call_ground.i 902    864     14628683776 11800   1 22 apollon027 901    852     4797333504 11200   1 22 apollon167 901    865     14588555264 10100   1 22 apollon015 901    849     4596797440 10000   1 22 apollon074 902    878     8661557248 12000   1 22 apollon164 901    882     4009906176 11000   1 22 apollon165 842    802     14999998464 9820   apollon031 901    877     3685294080 12000   1 22 apollon155 794    746     14999998464 9440   apollon058
array-examples/standard_copy9_false-unreach-call_ground.i 901    861     13646831616 10700   1 24 apollon061 901    851     4816752640 10800   1 24 apollon007 901    861     12363313152 10400   1 24 apollon018 901    841     4808933376 10100   1 24 apollon032 901    877     7835467776 10100   1 24 apollon098 901    884     4522831872 12500   1 24 apollon094 902    851     12373327872 13000   1 24 apollon111 901    874     4150419456 10500   1 24 apollon150 902    851     13082857472 11900   1 24 apollon106
array-examples/standard_copyInitSum2_false-unreach-call_ground.i 901    869     9291235328 11100   1 10 apollon103 901    874     4089962496 11300   1 10 apollon150 901    873     9746440192 11500   1 10 apollon105 901    871     4183916544 11900   1 10 apollon004 901    881     4173045760 11000   1 10 apollon099 901    889     1511714816 12100   1 10 apollon004 901    868     8642105344 11000   1 10 apollon050 901    876     2621607936 11000   1 10 apollon072 901    863     4036481024 13000   1 10 apollon044
array-examples/standard_init1_false-unreach-call_ground.i 901    866     6747414528 10900   1 6 apollon134 901    874     2563325952 10600   1 6 apollon043 901    867     7412518912 12200   1 6 apollon017 901    872     2503151616 12900   1 6 apollon081 901    882     3951452160 12900   1 6 apollon132 901    889     1181847552 11800   1 6 apollon120 901    865     5624709120 11300   1 6 apollon129 901    878     2693095424 10900   1 6 apollon073 901    861     4073312256 11800   1 6 apollon068
array-examples/standard_init2_false-unreach-call_ground.i 901    865     6670659584 13000   1 8 apollon122 901    874     2457935872 10600   1 8 apollon043 901    865     7241060352 11800   1 8 apollon018 901    869     2470494208 11900   1 8 apollon142 901    882     3831803904 11400   1 8 apollon062 901    889     1080303616 12400   1 8 apollon071 901    864     5526597632 11300   1 8 apollon032 901    877     2707255296 11000   1 8 apollon162 901    859     4132532224 10700   1 8 apollon075
array-examples/standard_init3_false-unreach-call_ground.i 901    864     6670299136 10600   1 10 apollon098 901    874     2548432896 11600   1 10 apollon074 901    857     6677512192 11500   1 10 apollon051 901    871     2583461888 11600   1 10 apollon051 901    882     3908898816 12300   1 10 apollon141 901    889     1181872128 11800   1 10 apollon097 901    865     5551366144 11600   1 10 apollon087 901    876     2661068800 9780   1 10 apollon139 901    861     4021088256 10300   1 10 apollon074
array-examples/standard_init4_false-unreach-call_ground.i 901    875     7460188160 12300   1 12 apollon141 901    876     2627358720 11600   1 12 apollon156 901    859     6642544640 10800   1 12 apollon134 901    869     2520879104 13600   1 12 apollon008 901    882     3865812992 11200   1 12 apollon003 901    889     1173909504 11300   1 12 apollon042 901    869     5801598976 11500   1 12 apollon067 901    876     2487255040 10600   1 12 apollon045 901    861     3973857280 11500   1 12 apollon046
array-examples/standard_init5_false-unreach-call_ground.i 901    864     6725943296 13100   1 14 apollon140 901    875     2442317824 10200   1 14 apollon123 901    861     7157100544 12000   1 14 apollon009 901    868     2452369408 12600   1 14 apollon010 901    882     3803291648 13000   1 14 apollon019 901    889     1203036160 12000   1 14 apollon118 901    862     5585747968 13100   1 14 apollon125 901    877     2554052608 12500   1 14 apollon027 901    856     4170076160 10900   1 14 apollon049
array-examples/standard_init6_false-unreach-call_ground.i 901    865     6639431680 11600   1 16 apollon032 901    872     2530459648 11100   1 16 apollon023 901    864     7319457792 10600   1 16 apollon143 901    870     2788179968 11900   1 16 apollon015 901    883     3871670272 11100   1 16 apollon104 901    889     1198465024 11800   1 16 apollon037 901    868     5843382272 10500   1 16 apollon143 901    876     2574106624 11400   1 16 apollon011 901    863     3973656576 10400   1 16 apollon073
array-examples/standard_init7_false-unreach-call_ground.i 901    865     6709301248 12200   1 18 apollon017 901    875     2499616768 14100   1 18 apollon160 901    858     6701391872 11700   1 18 apollon011 901    870     2534793216 12700   1 18 apollon132 901    883     3933958144 10000   1 18 apollon158 901    888     1205186560 13200   1 18 apollon167 901    866     5457403904 11700   1 18 apollon004 901    877     2435313664 13200   1 18 apollon080 901    860     4006678528 10500   1 18 apollon105
array-examples/standard_init8_false-unreach-call_ground.i 901    863     6690025472 10900   1 20 apollon013 901    874     2457210880 14600   1 20 apollon039 901    859     6696677376 11400   1 20 apollon120 901    868     2578165760 11300   1 20 apollon157 901    882     3910946816 14200   1 20 apollon160 901    888     1081438208 13400   1 20 apollon047 901    863     5629075456 10400   1 20 apollon002 901    877     2845274112 10700   1 20 apollon144 901    862     4014809088 10500   1 20 apollon107
array-examples/standard_init9_false-unreach-call_ground.i 901    868     7156805632 10800   1 22 apollon041 901    874     2512039936 10300   1 22 apollon092 901    859     6667468800 11600   1 22 apollon078 901    872     2770575360 11700   1 22 apollon049 901    882     4026462208 11500   1 22 apollon012 901    888     1086287872 13500   1 22 apollon125 901    865     5385986048 11400   1 22 apollon001 901    877     2846412800 10300   1 22 apollon040 901    866     3973599232 10000   1 22 apollon128
array-examples/standard_minInArray_false-unreach-call_ground.i 901    868     8200110080 10900   3 8 apollon113 901    853     7627653120 10100   3 8 apollon154 901    869     9282928640 10600   3 8 apollon009 901    854     8816726016 9320   3 8 apollon040 901    872     4916240384 10900   3 8 apollon051 901    875     1642504192 10000   3 8 apollon162 902    851     12301361152 10300   3 8 apollon017 901    873     3541553152 11000   3 8 apollon034 901    862     10503417856 9860   3 8 apollon156
array-examples/standard_partition_false-unreach-call_ground.i 901    866     11751329792 10100   3 14 apollon013 869    825     14999998464 10200   apollon050 901    867     11839332352 11600   3 14 apollon017 868    825     14999998464 11700   apollon036 901    872     6204133376 10400   3 14 apollon083 901    874     2602123264 10200   3 14 apollon154 770    728     14999998464 9080   apollon162 901    875     3800678400 9830   3 14 apollon029 901    865     6513123328 11500   3 14 apollon020
array-examples/standard_running_false-unreach-call.i 901    865     10889281536 10900   3 16 apollon144 902    866     4632879104 10600   3 16 apollon025 901    868     11117936640 12000   3 16 apollon141 901    855     4437831680 11000   3 16 apollon072 901    872     5580615680 11100   3 16 apollon026 901    876     3162124288 10800   3 16 apollon003 901    856     4276264960 10300   3 16 apollon149 901    873     3804205056 12100   3 16 apollon122 902    860     5596176384 12200   3 16 apollon030
array-examples/data_structures_set_multi_proc_trivial_true-unreach-call_ground_true-termination.i 771    746     14999998464 8690   apollon141 901    865     4738285568 9510   5 22 apollon086 763    733     14999998464 7880   apollon143 901    851     4916727808 9590   5 22 apollon144 901    874     8239775744 11500   5 22 apollon108 901    874     2488680448 9130   5 22 apollon003 567    534     14999998464 5650   apollon042 901    870     3119898624 10400   5 22 apollon078 541    509     14999998464 5500   apollon054
array-examples/data_structures_set_multi_proc_true-unreach-call_ground.i 901    870     14944468992 9790   8 18 apollon099 901    842     14726914048 10400   8 18 apollon079 901    864     14028664832 11700   8 18 apollon019 901    838     14256189440 10000   8 18 apollon086 902    873     12792033280 10200   8 18 apollon154 901    868     5060698112 10300   8 18 apollon017 663    574     15000002560 6880   apollon141 901    863     4694700032 8740   8 18 apollon115 851    784     14999998464 8600   apollon143
array-examples/relax_true-unreach-call.i 12.5  3.56  480436224 102   apollon139 13.2  3.79  403402752 108   apollon001 13.2  3.73  398221312 117   apollon124 13.5  3.76  495652864 113   apollon017 12.6  3.61  480874496 110   apollon136 12.8  3.69  393670656 122   apollon057 12.9  3.67  400629760 108   apollon119 901    708     5106651136 9990   32 48 apollon042 901    683     7234097152 8670   32 48 apollon158
array-examples/sanfoundry_02_true-unreach-call_ground.i 901    872     8589926400 9800   7 18 apollon074 901    836     7071662080 9550   7 18 apollon053 901    868     8570544128 12600   7 18 apollon088 901    834     7016820736 10800   7 18 apollon017 901    872     6018039808 10800   7 18 apollon032 901    872     1853075456 11600   7 18 apollon125 901    863     6018265088 11300   7 18 apollon142 901    874     3914104832 10500   7 18 apollon134 901    860     6104461312 10600   7 18 apollon107
array-examples/sanfoundry_10_true-unreach-call_ground.i 901    872     4482719744 10700   7 16 apollon096 901    873     4164014080 12500   7 16 apollon167 901    870     5121753088 10000   7 16 apollon023 901    873     4338221056 12500   7 16 apollon163 901    871     5076099072 11000   7 16 apollon073 901    873     1650970624 10600   7 16 apollon119 902    868     4384444416 10600   7 16 apollon156 901    875     3026227200 11700   7 16 apollon061 901    872     4181979136 10700   7 16 apollon023
array-examples/sanfoundry_24_true-unreach-call_true-termination.i 14.0  9.51  879525888 175   9 10 apollon027 14.3  9.21  864161792 156   9 10 apollon051 13.9  9.05  856911872 140   9 10 apollon143 14.6  9.44  872706048 178   9 10 apollon014 14.4  9.72  863580160 150   9 10 apollon083 13.9  9.26  856260608 168   9 10 apollon027 14.3  9.38  866500608 146   9 10 apollon083 13.8  9.00  864935936 155   9 10 apollon052 14.9  9.56  884338688 161   9 10 apollon018
array-examples/sanfoundry_27_true-unreach-call_ground.i 901    868     9274847232 11600   3 8 apollon155 901    815     7074885632 10500   3 8 apollon011 901    867     9283354624 9760   3 8 apollon002 901    828     6991007744 11100   3 8 apollon065 901    871     5995315200 8640   3 8 apollon063 901    874     1897783296 9780   3 8 apollon109 902    838     4876648448 12100   3 8 apollon088 901    874     3703681024 10400   3 8 apollon127 901    862     10216493056 10100   apollon163
array-examples/sanfoundry_43_true-unreach-call_ground.i 901    874     5409918976 11000   1 6 apollon049 901    864     5639372800 12000   1 6 apollon140 901    868     5242761216 12400   1 6 apollon125 901    861     5555138560 10600   1 6 apollon093 901    869     5315735552 10900   1 6 apollon097 901    874     1724231680 9840   1 6 apollon053 902    858     5754646528 9280   1 6 apollon048 901    876     2333376512 11300   1 6 apollon051 901    860     5721628672 10900   1 6 apollon159
array-examples/sorting_bubblesort_true-unreach-call_ground.i 901    868     9003798528 10600   4 12 apollon062 901    855     8174891008 9620   4 12 apollon115 901    866     9327943680 12900   4 12 apollon021 901    851     8581062656 10100   4 12 apollon079 901    871     5490954240 12600   4 12 apollon008 901    873     2106675200 10400   4 12 apollon126 901    854     11120480256 10000   4 12 apollon018 901    873     3512430592 12400   4 12 apollon059 901    861     10890113024 9450   4 12 apollon097
array-examples/sorting_selectionsort_true-unreach-call_ground.i 901    872     9910185984 10700   4 20 apollon131 901    855     4465934336 10600   4 20 apollon150 901    868     9911111680 10200   4 20 apollon089 901    857     4879355904 10300   4 20 apollon013 901    873     6244282368 11100   4 20 apollon034 901    872     2273427456 12500   4 20 apollon077 901    852     5078777856 10400   4 20 apollon116 901    873     3381133312 10700   4 20 apollon115 901    850     8407416832 11200   4 20 apollon052
array-examples/standard_compareModified_true-unreach-call_ground.i 901    867     11979288576 10400   3 12 apollon121 901    859     4322025472 12100   3 12 apollon125 901    868     11750617088 10400   3 12 apollon153 901    856     4321951744 10100   3 12 apollon003 901    872     6097752064 9650   3 12 apollon054 901    875     2712965120 9850   3 12 apollon128 901    861     7429750784 9630   3 12 apollon042 901    873     3347259392 10300   3 12 apollon127 901    863     6762848256 10200   3 12 apollon097
array-examples/standard_compare_true-unreach-call_ground.i 901    870     10893258752 12400   3 10 apollon036 901    850     7162302464 9280   3 10 apollon104 901    862     10826559488 11000   3 10 apollon124 901    853     6966439936 12500   apollon161 901    872     5948719104 11400   3 10 apollon142 901    872     2635280384 9830   3 10 apollon075 901    860     6772940800 13500   3 10 apollon057 901    874     3597824000 10400   3 10 apollon013 901    860     5603762176 12000   3 10 apollon125
array-examples/standard_copy1_true-unreach-call_ground.i 901    869     12076908544 10200   1 8 apollon078 901    867     4148170752 10400   1 8 apollon082 901    872     12063805440 10300   1 8 apollon095 901    864     4049133568 9910   1 8 apollon040 901    873     6215081984 9640   1 8 apollon092 901    876     2221486080 9860   1 8 apollon035 902    868     4054773760 10500   1 8 apollon049 901    877     2712809472 11400   1 8 apollon038 901    862     4045053952 9930   1 8 apollon143
array-examples/standard_copy2_true-unreach-call_ground.i 901    876     13298020352 11200   1 10 apollon081 901    868     4029972480 10300   1 10 apollon009 901    870     13458255872 10500   1 10 apollon018 901    859     4081020928 10800   1 10 apollon152 901    872     5963640832 12600   1 10 apollon140 901    876     2411360256 8410   1 10 apollon158 902    863     4081819648 10600   1 10 apollon049 901    877     2658979840 12300   1 10 apollon081 901    855     4035702784 12400   1 10 apollon130
array-examples/standard_copy3_true-unreach-call_ground.i 901    872     14250352640 11500   1 12 apollon019 902    863     4170371072 10600   1 12 apollon061 901    870     14174466048 11400   1 12 apollon122 901    854     4189376512 10700   1 12 apollon102 901    875     6464552960 10300   1 12 apollon116 901    876     2717306880 9020   1 12 apollon151 901    863     4088950784 9860   1 12 apollon093 901    876     2723540992 10600   1 12 apollon157 558    520     14999998464 5970   apollon116
array-examples/standard_copy4_true-unreach-call_ground.i 901    874     14677667840 9420   1 14 apollon098 901    859     4327329792 10200   1 14 apollon146 901    868     14538493952 9330   1 14 apollon151 901    851     4306890752 10100   1 14 apollon099 901    876     6593769472 12500   1 14 apollon140 901    875     3013140480 9600   1 14 apollon045 564    532     14999998464 6930   apollon091 901    877     3178962944 11200   1 14 apollon070 562    525     14999998464 6170   apollon118
array-examples/standard_copy5_true-unreach-call_ground.i 901    874     14999998464 9790   apollon013 901    858     4313948160 10000   1 16 apollon153 902    867     14656221184 10500   1 16 apollon168 901    851     4705443840 11600   1 16 apollon007 901    877     7198793728 10100   1 16 apollon040 901    878     3073552384 9720   1 16 apollon055 565    531     14999998464 6070   apollon043 901    876     3108159488 11800   1 16 apollon164 564    523     14999998464 5770   apollon151
array-examples/standard_copy6_true-unreach-call_ground.i 902    871     14854975488 13300   1 18 apollon039 901    858     4485275648 10500   1 18 apollon061 902    866     14839795712 11300   1 18 apollon091 901    852     4498788352 11800   1 18 apollon112 902    878     7827382272 10500   1 18 apollon109 901    881     3385208832 12700   1 18 apollon160 877    829     14999998464 12500   apollon080 901    878     3165716480 13800   1 18 apollon056 830    789     14999998464 9580   apollon137
array-examples/standard_copy7_true-unreach-call_ground.i 902    867     14731005952 10800   1 20 apollon095 901    858     4681162752 9880   1 20 apollon110 902    867     14468222976 12600   1 20 apollon161 901    851     4483416064 11800   apollon005 901    878     8775114752 10300   1 20 apollon041 901    882     3266101248 13100   1 20 apollon160 857    817     14999998464 9980   apollon012 901    879     3437899776 11300   1 20 apollon096 772    731     14999998464 8620   apollon104
array-examples/standard_copy8_true-unreach-call_ground.i 902    862     14822313984 12300   1 22 apollon069 901    855     4742959104 10300   1 22 apollon015 901    867     14813552640 12000   1 22 apollon064 901    844     4843110400 10300   1 22 apollon073 901    877     8330313728 12500   1 22 apollon122 901    883     3611525120 10200   1 22 apollon115 818    777     14999998464 9560   apollon105 901    878     3685941248 10800   1 22 apollon034 834    792     14999998464 9410   apollon022
array-examples/standard_copy9_true-unreach-call_ground.i 901    865     13919019008 10500   1 24 apollon093 902    853     4808732672 9630   1 24 apollon066 901    861     13895864320 13400   1 24 apollon039 901    842     4853907456 9770   1 24 apollon040 901    878     7910027264 10800   1 24 apollon150 901    883     4458086400 10500   1 24 apollon026 902    859     12575662080 10200   1 24 apollon116 901    878     3636887552 11000   1 24 apollon001 901    853     12708851712 10300   1 24 apollon022
array-examples/standard_copyInitSum2_true-unreach-call_ground.i 901    875     9729880064 11000   1 10 apollon115 901    872     3739574272 13300   1 10 apollon014 901    874     9845059584 11600   1 10 apollon156 901    867     3591401472 11800   1 10 apollon038 901    883     4117594112 11600   1 10 apollon119 901    890     1427521536 13200   1 10 apollon122 901    869     8673898496 11100   1 10 apollon075 901    876     2572468224 11700   1 10 apollon124 901    860     4042899456 9550   1 10 apollon089
array-examples/standard_copyInitSum3_true-unreach-call_ground.i 901    866     8968564736 10700   1 12 apollon089 901    873     4016914432 11900   1 12 apollon082 901    872     9741287424 11400   1 12 apollon012 901    867     3618480128 14100   1 12 apollon160 901    883     3875696640 11600   1 12 apollon097 901    889     1477840896 11900   1 12 apollon102 901    867     8521781248 11800   1 12 apollon017 901    876     2782363648 11200   1 12 apollon168 901    856     4238299136 10200   1 12 apollon073
array-examples/standard_copyInitSum_true-unreach-call_ground.i 901    868     9272455168 12500   1 10 apollon091 901    871     3748179968 10200   1 10 apollon092 901    870     9581010944 11300   1 10 apollon144 901    867     3658874880 11400   1 10 apollon037 901    882     4171362304 10900   1 10 apollon149 901    889     1485574144 12000   1 10 apollon085 901    870     8584282112 11100   1 10 apollon107 901    875     2520584192 11700   1 10 apollon020 901    856     4054069248 11200   1 10 apollon108
array-examples/standard_copyInit_true-unreach-call_ground.i 901    875     9716256768 11100   1 8 apollon066 901    875     4071448576 14200   1 8 apollon057 901    861     8752123904 11400   1 8 apollon072 901    872     4220547072 10600   1 8 apollon098 901    880     3960942592 13100   1 8 apollon130 901    889     1581158400 11500   1 8 apollon131 901    862     7956557824 10500   1 8 apollon042 901    877     2547548160 11200   1 8 apollon102 901    862     4038496256 12200   1 8 apollon140
array-examples/standard_find_true-unreach-call_ground.i 901    869     9765339136 13200   1 10 apollon160 901    872     3889926144 10100   1 10 apollon116 901    867     10147041280 13700   1 10 apollon039 901    861     4020178944 10700   1 10 apollon078 901    871     5575278592 11400   1 10 apollon011 901    876     2136788992 13200   1 10 apollon044 902    865     4043784192 12100   1 10 apollon094 901    876     2689470464 10800   1 10 apollon103 901    863     3991908352 9260   1 10 apollon123
array-examples/standard_init1_true-unreach-call_ground.i 901    864     6737592320 13400   1 6 apollon148 901    874     2643234816 11900   1 6 apollon004 901    873     7675305984 11800   1 6 apollon076 901    866     2650595328 13000   1 6 apollon159 901    882     3807432704 10800   1 6 apollon143 901    888     1110056960 12200   1 6 apollon093 901    865     5456551936 10900   1 6 apollon035 901    876     2494808064 11000   1 6 apollon110 901    861     4049084416 10700   1 6 apollon058
array-examples/standard_init2_true-unreach-call_ground.i 901    864     6737108992 13000   1 8 apollon028 901    874     2772176896 11000   1 8 apollon099 901    863     7157813248 10700   1 8 apollon013 901    870     2642620416 10700   1 8 apollon143 901    880     3891056640 11400   1 8 apollon150 901    889     1227956224 12300   1 8 apollon146 901    864     5654069248 10600   1 8 apollon002 901    876     2483802112 12500   1 8 apollon167 901    860     3993473024 10500   1 8 apollon055
array-examples/standard_init3_true-unreach-call_ground.i 901    863     6752288768 10700   1 10 apollon040 901    873     2410024960 13400   1 10 apollon106 901    858     6620274688 12900   1 10 apollon028 901    871     2660319232 13000   1 10 apollon077 901    878     3822559232 11600   1 10 apollon074 901    888     1115664384 11500   1 10 apollon154 901    865     5529825280 12100   1 10 apollon020 901    874     2640773120 11600   1 10 apollon113 901    863     3984408576 13100   1 10 apollon021
array-examples/standard_init4_true-unreach-call_ground.i 901    865     6650171392 11600   1 12 apollon078 901    875     2491518976 11700   1 12 apollon153 901    859     6629564416 12600   1 12 apollon064 901    869     2654224384 11400   1 12 apollon129 901    882     3921358848 11500   1 12 apollon110 901    888     1129611264 11600   1 12 apollon110 901    865     5472878592 10800   1 12 apollon013 901    876     2847125504 10900   1 12 apollon129 901    863     4039438336 9930   1 12 apollon128
array-examples/standard_init5_true-unreach-call_ground.i 901    864     6681186304 11000   1 14 apollon086 901    873     2708951040 12800   1 14 apollon068 901    860     6674685952 12100   1 14 apollon052 901    870     2541924352 12700   1 14 apollon132 901    882     3978178560 12000   1 14 apollon070 901    889     1205612544 12500   1 14 apollon114 901    864     5662171136 11600   1 14 apollon082 901    876     2603675648 12000   1 14 apollon164 901    862     3994398720 11700   1 14 apollon019
array-examples/standard_init6_true-unreach-call_ground.i 901    863     6723203072 10500   1 16 apollon098 901    873     2465464320 11100   1 16 apollon003 901    860     6668079104 12700   1 16 apollon019 901    871     2567593984 11900   1 16 apollon015 901    882     3947229184 12400   1 16 apollon048 901    888     1114316800 11300   1 16 apollon115 901    863     5327548416 11100   1 16 apollon062 901    875     2578509824 12100   1 16 apollon065 901    861     4004003840 10200   1 16 apollon109
array-examples/standard_init7_true-unreach-call_ground.i 901    864     6728425472 11300   1 18 apollon157 901    874     2503241728 12300   1 18 apollon138 901    858     6587944960 11900   1 18 apollon009 901    869     2681970688 10800   1 18 apollon100 901    883     3780595712 11900   1 18 apollon082 901    888     1121591296 10800   1 18 apollon043 902    865     5581496320 10500   1 18 apollon098 901    875     2696667136 10400   1 18 apollon104 902    861     4099792896 9960   1 18 apollon127
array-examples/standard_init8_true-unreach-call_ground.i 901    865     6760919040 11800   1 20 apollon018 901    873     2539323392 13100   1 20 apollon122 901    858     6645415936 13700   1 20 apollon161 901    868     2512113664 11200   1 20 apollon079 901    882     3774717952 12400   1 20 apollon152 901    888     1099878400 11300   1 20 apollon025 901    866     5572485120 10000   1 20 apollon054 901    876     2495520768 14100   1 20 apollon039 901    862     4052852736 11000   1 20 apollon061
array-examples/standard_init9_true-unreach-call_ground.i 901    865     6636097536 11500   1 22 apollon133 901    875     2532487168 11200   1 22 apollon137 901    872     7648333824 11400   1 22 apollon144 901    868     2562625536 13100   1 22 apollon047 901    879     3880726528 11600   1 22 apollon156 901    888     1097756672 14400   1 22 apollon160 901    865     5391011840 11500   1 22 apollon049 901    876     2631405568 10500   1 22 apollon025 901    860     3979579392 11800   1 22 apollon068
array-examples/standard_maxInArray_true-unreach-call_ground.i 901    865     8731484160 10100   3 8 apollon115 901    846     7187619840 9730   3 8 apollon117 901    865     9253924864 9050   3 8 apollon123 901    856     8283090944 11500   3 8 apollon007 901    872     5572505600 11100   3 8 apollon096 901    872     1683333120 9320   3 8 apollon023 901    855     12090970112 8480   3 8 apollon131 901    873     3742978048 11100   3 8 apollon034 901    858     10529542144 10400   3 8 apollon004
array-examples/standard_minInArray_true-unreach-call_ground.i 901    869     8723632128 9220   3 8 apollon092 901    856     8242020352 9150   3 8 apollon002 901    868     9319669760 9830   3 8 apollon041 901    858     8674504704 9390   3 8 apollon041 901    872     5316038656 11100   3 8 apollon102 901    875     1772630016 9210   3 8 apollon097 902    856     12271218688 10800   3 8 apollon085 901    875     3786506240 10500   3 8 apollon083 901    853     10103394304 9510   3 8 apollon012
array-examples/standard_palindrome_true-unreach-call_ground.i 901    870     10118021120 9900   1 6 apollon143 901    872     3984240640 9570   1 6 apollon128 901    865     10055024640 10100   1 6 apollon157 901    863     3999711232 10800   1 6 apollon058 901    872     5597388800 12900   1 6 apollon008 901    875     2106523648 9930   1 6 apollon119 902    859     4239499264 10700   1 6 apollon147 901    877     2668191744 11200   1 6 apollon168 901    856     4070952960 10400   1 6 apollon097
array-examples/standard_partial_init_true-unreach-call_ground.i 901    869     10679353344 12600   3 10 apollon106 901    856     7891927040 11100   3 10 apollon096 901    867     11243159552 11000   3 10 apollon135 902    857     7691055104 10400   3 10 apollon109 901    874     5738143744 11600   3 10 apollon009 901    875     2237227008 10300   3 10 apollon099 901    852     5452488704 11800   3 10 apollon028 901    875     3911569408 10900   3 10 apollon037 901    864     6316109824 12200   3 10 apollon005
array-examples/standard_partition_original_true-unreach-call_ground.i 901    870     11095490560 12600   3 10 apollon027 901    850     10288164864 11400   3 10 apollon015 901    862     11015688192 11000   3 10 apollon105 901    845     9780224000 10300   3 10 apollon104 901    872     6505463808 11400   3 10 apollon102 902    875     2954989568 13000   3 10 apollon080 838    788     14999998464 10700   apollon020 901    874     3871674368 10100   3 10 apollon128 901    862     6612340736 10800   3 10 apollon020
array-examples/standard_partition_true-unreach-call_ground.i 901    868     10712457216 11400   3 12 apollon071 901    864     14601596928 12100   3 12 apollon014 901    866     10626478080 10500   3 12 apollon037 901    862     14960087040 11900   3 12 apollon132 901    873     5942788096 12700   3 12 apollon094 901    871     2789351424 9970   3 12 apollon086 901    856     14750711808 10400   3 12 apollon096 901    875     3674693632 10800   3 12 apollon090 901    868     6133346304 13200   3 12 apollon021
array-examples/standard_password_true-unreach-call_ground.i 901    868     10914381824 11400   3 10 apollon052 901    852     6306230272 11700   3 10 apollon010 901    861     10869833728 10800   3 10 apollon051 901    856     6866583552 10800   3 10 apollon038 901    871     5882740736 11300   3 10 apollon067 901    874     1941360640 9910   3 10 apollon031 902    864     12821041152 10200   3 10 apollon013 901    873     3430998016 11600   3 10 apollon113 901    855     11843215360 9880   3 10 apollon083
array-examples/standard_reverse_true-unreach-call_ground.i 901    873     12080418816 11800   1 6 apollon005 901    869     4040564736 9820   1 6 apollon099 901    865     12045348864 11900   1 6 apollon132 901    863     4032729088 12200   1 6 apollon077 901    873     5690839040 10400   1 6 apollon042 901    875     2272653312 11300   1 6 apollon019 901    860     4051734528 11200   1 6 apollon047 901    877     2760462336 11200   1 6 apollon145 901    861     4037943296 9910   1 6 apollon127
array-examples/standard_running_true-unreach-call.i 901    871     11180056576 11400   3 16 apollon153 901    865     4550811648 13700   3 16 apollon057 901    867     11069587456 10300   3 16 apollon139 901    853     4523147264 10700   3 16 apollon035 901    871     5505777664 10500   3 16 apollon013 901    871     2524147712 11500   3 16 apollon096 901    859     4288118784 10300   3 16 apollon041 901    873     3804377088 12200   3 16 apollon077 901    858     12447580160 12600   3 16 apollon044
array-examples/standard_sentinel_true-unreach-call_true-termination.i 13.7  9.20  864083968 144   7 8 apollon079 13.7  9.23  870367232 158   7 8 apollon052 14.2  9.22  901693440 138   7 8 apollon123 13.8  8.78  721715200 146   7 8 apollon121 13.4  9.16  851193856 167   7 8 apollon122 13.7  9.19  846716928 143   7 8 apollon099 13.9  9.30  892051456 145   7 8 apollon066 14.3  9.29  914501632 159   7 8 apollon113 13.9  9.19  885202944 154   7 8 apollon085
array-examples/standard_seq_init_true-unreach-call_ground.i 901    864     6615441408 12600   1 6 apollon006 901    877     2521317376 13000   1 6 apollon028 901    859     6833373184 13400   1 6 apollon080 901    871     2610331648 11100   1 6 apollon137 901    882     3788836864 11900   1 6 apollon082 901    889     1201004544 13100   1 6 apollon167 901    865     5663965184 11200   1 6 apollon107 901    876     2568253440 11100   1 6 apollon051 901    860     4012773376 10000   1 6 apollon104
array-examples/standard_strcmp_true-unreach-call_ground.i 901    873     11447676928 10600   4 10 apollon129 901    860     7264485376 10300   4 10 apollon025 901    871     11331395584 10900   4 10 apollon159 901    858     7178989568 10300   4 10 apollon078 901    873     5951082496 13400   4 10 apollon044 901    874     2894036992 10300   4 10 apollon105 902    862     6327275520 10100   4 10 apollon127 901    876     2702163968 10800   4 10 apollon150 901    862     6279200768 10100   4 10 apollon143
array-examples/standard_strcpy_original_true-unreach-call.i 901    871     12152766464 13300   1 12 apollon111 901    867     4058091520 9850   1 12 apollon127 901    867     12158455808 10500   1 12 apollon120 901    862     4069023744 12400   1 12 apollon125 901    872     5421101056 12600   1 12 apollon126 901    875     2126888960 11900   1 12 apollon005 902    867     4011319296 11100   1 12 apollon011 901    877     2607591424 10400   1 12 apollon109 901    861     4050616320 12300   1 12 apollon140
array-examples/standard_strcpy_true-unreach-call_ground.i 901    875     12197289984 10400   1 10 apollon119 901    869     4004569088 10300   1 10 apollon135 901    870     12107952128 11500   1 10 apollon159 901    857     4223414272 13500   1 10 apollon057 901    873     5462728704 10400   1 10 apollon013 901    877     2202636288 10300   1 10 apollon105 902    866     4096024576 8660   1 10 apollon123 901    876     2529275904 13900   1 10 apollon056 901    862     4054245376 10500   1 10 apollon079
array-examples/standard_two_index_01_true-unreach-call.i 901    873     5562007552 10800   1 8 apollon129 901    868     3594092544 11300   1 8 apollon113 901    867     6138806272 12200   1 8 apollon014 901    867     3951546368 11900   1 8 apollon010 901    870     5192990720 12400   1 8 apollon033 964    320     8465743872 6830   1 8 apollon004 901    325     11071279104 7250   1 8 apollon030 901    875     2381549568 10500   1 8 apollon053 901    864     3932463104 13100   1 8 apollon044
array-examples/standard_two_index_02_true-unreach-call.i 901    871     11924824064 9770   1 8 apollon104 901    870     4050702336 9980   1 8 apollon035 901    867     12116004864 12000   1 8 apollon047 901    860     4046749696 10300   1 8 apollon144 901    874     5616963584 11200   1 8 apollon165 901    876     2091794432 9980   1 8 apollon090 902    867     4122226688 12200   1 8 apollon140 901    876     2693582848 13900   1 8 apollon056 901    859     4031098880 9900   1 8 apollon041
array-examples/standard_two_index_03_true-unreach-call.i 901    872     5474267136 10900   1 8 apollon168 901    868     3457818624 12400   1 8 apollon094 901    866     5879296000 12000   1 8 apollon112 901    863     4052647936 9320   1 8 apollon158 901    871     4933824512 11900   1 8 apollon114 942    371     10410995712 7130   1 8 apollon119 958    347     10529341440 6430   1 8 apollon060 901    874     2767298560 12000   1 8 apollon136 901    862     3982782464 11300   1 8 apollon085
array-examples/standard_two_index_04_true-unreach-call.i 901    872     12235943936 10100   1 8 apollon097 901    870     4007878656 10500   1 8 apollon165 901    870     12141371392 12700   1 8 apollon021 901    858     4167942144 10800   1 8 apollon095 901    874     5661032448 11300   1 8 apollon087 901    876     2182041600 13300   1 8 apollon056 902    864     4037259264 9820   1 8 apollon152 901    877     2799947776 11500   1 8 apollon009 901    859     4172472320 10400   1 8 apollon144
array-examples/standard_two_index_05_true-unreach-call.i 901    872     12166230016 11700   1 8 apollon024 901    870     4043489280 10100   1 8 apollon145 901    870     12102389760 11000   1 8 apollon136 901    859     4087386112 11600   1 8 apollon033 901    873     5614542848 11100   1 8 apollon153 901    876     2132451328 9970   1 8 apollon076 902    865     4112658432 9650   1 8 apollon074 901    876     2795732992 11100   1 8 apollon165 901    861     4077637632 10300   1 8 apollon012
array-examples/standard_two_index_06_true-unreach-call.i 901    871     5962211328 12000   1 8 apollon081 901    866     3429769216 10700   1 8 apollon156 901    869     6006460416 10200   1 8 apollon115 901    866     3931664384 13200   1 8 apollon044 901    870     4906287104 11100   1 8 apollon078 907    389     11035615232 7990   1 8 apollon159 908    351     10959187968 6560   1 8 apollon150 901    875     2421219328 12200   1 8 apollon091 901    864     3942535168 10500   1 8 apollon078
array-examples/standard_two_index_07_true-unreach-call.i 901    874     12226957312 12400   1 8 apollon030 901    870     4020875264 11000   1 8 apollon046 901    871     12212457472 11500   1 8 apollon065 901    862     4035846144 11400   1 8 apollon046 901    873     5629362176 12200   1 8 apollon108 901    876     2179198976 9180   1 8 apollon166 901    860     4289454080 11000   1 8 apollon142 901    876     2534793216 12200   1 8 apollon108 901    856     4071714816 10600   1 8 apollon051
array-examples/standard_two_index_08_true-unreach-call.i 901    876     12208721920 8990   1 8 apollon139 901    870     4034179072 12200   1 8 apollon148 901    869     12102225920 10200   1 8 apollon144 901    862     4079448064 10500   1 8 apollon079 901    874     5827559424 11000   1 8 apollon050 901    876     2112229376 11100   1 8 apollon007 901    866     4193423360 9590   1 8 apollon127 901    876     2741309440 11200   1 8 apollon168 901    858     4026118144 10600   1 8 apollon072
array-examples/standard_two_index_09_true-unreach-call.i 901    870     12095500288 11300   1 8 apollon114 901    871     4030267392 9330   1 8 apollon042 901    864     12244811776 11000   1 8 apollon152 901    858     4175052800 10800   1 8 apollon118 901    872     5462421504 12800   1 8 apollon014 901    876     2077134848 11200   1 8 apollon142 901    863     4100759552 9370   1 8 apollon131 901    877     2602516480 11700   1 8 apollon113 901    861     4049776640 10700   1 8 apollon146
array-examples/standard_vararg_true-unreach-call_ground_true-termination.i 901    851     9313071104 11600   5 6 apollon135 901    851     9004503040 13400   5 6 apollon125 901    836     9254993920 13300   5 6 apollon148 901    831     7263055872 10000   5 6 apollon054 901    857     4462510080 12300   5 6 apollon052 901    853     5268901888 11500   5 6 apollon072 901    840     6379634688 11700   5 6 apollon078 901    843     5624578048 11900   5 6 apollon004 901    834     6046838784 12900   5 6 apollon033
array-examples/standard_vector_difference_true-unreach-call_ground.i 901    871     13115117568 10400   1 6 apollon070 901    861     4084838400 9620   1 6 apollon042 901    865     13295947776 11400   1 6 apollon052 901    855     4085481472 10900   1 6 apollon070 901    874     6017445888 12800   1 6 apollon094 901    876     2212098048 9660   1 6 apollon144 901    861     4376584192 10300   1 6 apollon163 901    878     2846978048 10800   1 6 apollon062 901    857     4116430848 10200   1 6 apollon022
array-industry-pattern/array_assert_loop_dep_false-unreach-call_true-termination.i 901    865     6704648192 10800   1 8 apollon149 901    876     2482741248 12200   1 8 apollon101 901    858     6649270272 10400   1 8 apollon139 901    870     2829066240 11000   1 8 apollon025 901    882     3913547776 13300   1 8 apollon140 901    889     1169969152 11800   1 8 apollon119 901    866     5462302720 9810   1 8 apollon158 901    876     2539184128 10800   1 8 apollon103 901    859     4004241408 9900   1 8 apollon157
array-industry-pattern/array_of_struct_loop_dep_false-unreach-call.i 901    864     7056023552 14000   0 8 apollon111 901    870     8409423872 13000   0 8 apollon130 901    862     7044722688 11000   0 8 apollon079 901    863     7024869376 13000   0 8 apollon125 903    897     4167692288 5110   0 8 apollon145 903    897     4152676352 5340   0 8 apollon031 901    864     7575330816 11900   0 8 apollon084 903    896     4214677504 4780   0 8 apollon151 901    869     8327426048 11200   0 8 apollon062
array-industry-pattern/array_ptr_single_elem_init_false-unreach-call_true-termination.i 901    874     9217445888 11200   7 14 apollon156 901    862     7761203200 11800   7 14 apollon114 901    867     9766096896 10300   7 14 apollon040 901    853     7853375488 11600   7 14 apollon138 901    872     4804497408 11700   7 14 apollon142 901    873     2205896704 10600   7 14 apollon025 901    850     5782007808 10200   apollon053 901    872     3629060096 11100   7 14 apollon164 901    864     5419118592 10400   7 14 apollon113
array-industry-pattern/array_range_init_false-unreach-call.i 901    869     6325284864 10700   0 10 apollon143 901    869     6433742848 11600   0 10 apollon118 901    870     6437404672 12800   0 10 apollon007 901    868     5687148544 10800   0 10 apollon127 903    897     4043542528 6580   0 10 apollon065 903    898     4082786304 5320   0 10 apollon137 901    868     5669429248 10100   0 10 apollon123 903    897     4096671744 5800   0 10 apollon045 901    869     6027866112 9990   0 10 apollon158
array-industry-pattern/array_single_elem_init_false-unreach-call_true-termination.i 901    870     9766375424 11600   7 14 apollon031 901    857     9232986112 11400   7 14 apollon101 901    868     10402099200 11200   7 14 apollon165 901    854     8944177152 12800   7 14 apollon106 901    873     5086457856 12500   7 14 apollon132 901    875     2490523648 10400   7 14 apollon134 902    850     6187225088 10300   7 14 apollon003 901    871     3735789568 11100   7 14 apollon164 901    859     5681778688 9030   7 14 apollon060
array-industry-pattern/check_removal_from_set_after_insertion_false-unreach-call.i 901    871     4815323136 11000   7 24 apollon142 901    839     5840445440 10200   7 24 apollon120 901    866     4824182784 9700   7 24 apollon131 901    841     5622206464 10300   7 24 apollon035 901    871     7146258432 12500   7 24 apollon036 901    865     3583475712 11600   7 24 apollon112 910    773     6692962304 8550   7 24 apollon103 901    855     4330164224 11400   7 24 apollon140 393    345     14999998464 4120   apollon109
array-industry-pattern/array_monotonic_true-unreach-call_true-termination.i 901    871     10785587200 9840   3 10 apollon118 901    813     7738052608 10500   3 10 apollon164 901    869     10697891840 11200   3 10 apollon007 902    815     8285831168 10100   3 10 apollon126 901    871     5941321728 10300   3 10 apollon166 901    872     2326163456 8800   3 10 apollon157 902    859     11226988544 9360   3 10 apollon164 901    874     3490856960 11200   3 10 apollon049 901    855     11595128832 9830   3 10 apollon050
array-industry-pattern/array_mul_init_true-unreach-call_true-termination.i 901    868     8702201856 10800   1 14 apollon127 901    875     2957037568 12900   1 14 apollon167 901    871     9545818112 11600   1 14 apollon119 901    870     2918617088 11900   1 14 apollon142 901    884     4078637056 12700   1 14 apollon164 901    889     1470357504 12800   1 14 apollon112 901    872     7013453824 10000   1 14 apollon139 901    876     2627743744 12000   1 14 apollon068 901    857     4223053824 10500   1 14 apollon124
array-industry-pattern/array_of_struct_break_true-unreach-call.i 901    870     8395689984 14200   0 10 apollon057 901    864     6990647296 11100   0 10 apollon026 901    861     7312941056 11300   0 10 apollon156 901    866     8081235968 12900   0 10 apollon008 903    897     4241502208 5200   0 10 apollon012 903    897     4185677824 4610   0 10 apollon002 901    871     8564772864 10500   0 10 apollon089 903    897     4248739840 6060   0 10 apollon081 901    866     8105988096 13400   0 10 apollon030
array-industry-pattern/array_of_struct_ptr_cond_init_true-unreach-call.i 902    876     7274196992 11400   0 10 apollon079 901    875     7229050880 12900   0 10 apollon159 901    865     5772390400 13300   0 10 apollon069 901    866     6576529408 10600   0 10 apollon098 903    897     4081758208 6920   0 10 apollon129 903    897     4041850880 6340   0 10 apollon046 901    873     7108857856 12300   0 10 apollon071 903    897     4065325056 5660   0 10 apollon152 901    866     6079868928 12200   0 10 apollon017
array-industry-pattern/array_of_struct_ptr_flag_init_true-unreach-call.i 901    865     10444820480 9230   1 12 apollon054 901    863     4053782528 11600   1 12 apollon005 901    865     11004383232 9790   1 12 apollon098 901    861     4048580608 12900   1 12 apollon044 901    871     5480439808 12600   1 12 apollon130 901    874     2249949184 9960   1 12 apollon013 901    859     4102811648 11100   1 12 apollon011 901    875     2651480064 12400   1 12 apollon167 901    860     4072067072 11700   1 12 apollon065
array-industry-pattern/array_of_struct_ptr_monotonic_true-unreach-call.i 902    877     7261110272 12400   0 10 apollon114 901    874     7204741120 14100   0 10 apollon021 901    866     6554411008 12700   0 10 apollon108 901    864     5795840000 11300   0 10 apollon037 903    898     3997143040 5040   0 10 apollon166 903    897     4112072704 7060   0 10 apollon112 901    866     5809278976 12700   0 10 apollon005 903    898     4090798080 6060   0 10 apollon061 901    868     6724530176 11600   0 10 apollon133
array-industry-pattern/array_of_struct_ptr_mul_init_true-unreach-call.i 901    854     13005819904 13200   0 14 apollon016 901    857     13031849984 10300   0 14 apollon040 901    855     12991016960 11400   0 14 apollon009 907    861     13110751232 11600   0 14 apollon138 904    897     6250549248 10700   0 14 apollon069 904    898     6267408384 9660   0 14 apollon126 901    859     13124296704 11600   0 14 apollon141 904    897     6422130688 8580   0 14 apollon035 901    857     13026959360 11900   0 14 apollon136
array-industry-pattern/array_of_struct_single_elem_init_true-unreach-call.i 901    854     13162209280 11400   apollon031 902    859     12939702272 10300   0 12 apollon040 902    855     13177114624 11000   0 12 apollon110 902    852     13100441600 11100   0 12 apollon118 905    898     8607731712 9960   0 12 apollon163 905    898     8503394304 9580   0 12 apollon084 901    858     13028569088 11900   0 12 apollon046 904    898     8487772160 10200   0 12 apollon071 901    860     13014257664 11400   0 12 apollon067
array-industry-pattern/array_ptr_partial_init_true-unreach-call.i 901    866     6002778112 14000   0 8 apollon160 901    873     7029297152 11100   0 8 apollon166 901    864     5866168320 11100   0 8 apollon157 901    866     6475808768 11000   0 8 apollon053 903    898     4120657920 6070   0 8 apollon079 903    898     4103196672 7150   0 8 apollon114 901    872     7067652096 14400   0 8 apollon057 903    897     3974619136 5770   0 8 apollon107 901    874     7089987584 11600   0 8 apollon058
array-industry-pattern/array_ptr_single_elem_init_true-unreach-call.i 901    868     6347919360 11100   0 18 apollon045 901    872     6981132288 13600   0 18 apollon036 901    870     6757691392 12600   0 18 apollon024 901    871     6984097792 13300   apollon140 903    898     4110295040 5320   0 18 apollon025 903    898     4083793920 5210   0 18 apollon097 901    865     5763264512 10300   0 18 apollon092 903    897     3998998528 5760   0 18 apollon134 901    874     7313686528 11400   0 18 apollon037
array-industry-pattern/array_shadowinit_true-unreach-call_true-termination.i 901    626     7422709760 11400   7 8 apollon111 901    628     7057453056 9070   7 8 apollon037 901    623     8194703360 9750   7 8 apollon052 902    776     5525000192 10200   7 8 apollon041 901    649     5998620672 10300   7 8 apollon136 924    703     7499608064 9210   7 8 apollon012 901    801     4956590080 13600   7 8 apollon039 901    602     8695570432 8790   7 8 apollon035 901    626     9222262784 10900   7 8 apollon122
reducercommutativity/rangesum05_false-unreach-call_true-termination.i 901    855     4353998848 9380   9 14 apollon089 901    859     4260777984 10200   9 14 apollon119 901    851     4365750272 9580   9 14 apollon157 901    856     4259155968 11300   9 14 apollon071 901    858     4258295808 11100   9 14 apollon027 901    861     4260896768 10700   9 14 apollon084 901    858     4224479232 9850   9 14 apollon074 901    858     4274704384 9690   9 14 apollon097 901    858     4290314240 10400   9 14 apollon138
reducercommutativity/rangesum10_false-unreach-call_true-termination.i 901    838     4641918976 11900   9 14 apollon130 901    845     4282568704 10200   9 14 apollon038 901    838     4638195712 10300   9 14 apollon101 901    843     4298702848 10900   9 14 apollon028 901    844     4380647424 11300   9 14 apollon160 901    842     4385128448 10400   9 14 apollon048 901    843     4282826752 9990   9 14 apollon133 901    840     4403318784 9970   9 14 apollon058 901    841     4322881536 9190   9 14 apollon157
reducercommutativity/rangesum20_false-unreach-call.i 901    828     5130133504 9960   9 14 apollon022 23.0  11.6   672694272 198   apollon143 901    829     5126737920 12600   9 14 apollon044 901    830     4435693568 9250   9 14 apollon156 901    837     4641730560 9780   9 14 apollon008 901    826     4451430400 11400   9 14 apollon020 901    833     4414431232 8770   9 14 apollon143 901    828     4460060672 11000   9 14 apollon082 901    833     4549013504 8660   9 14 apollon116
reducercommutativity/rangesum40_false-unreach-call.i 901    819     7029751808 7970   8 14 apollon055 901    821     4865609728 9850   9 14 apollon019 901    821     7055495168 7960   8 14 apollon012 901    824     4895318016 8810   9 14 apollon165 901    811     4645040128 12700   9 14 apollon167 901    834     4614397952 10200   9 14 apollon117 38.7  21.7   1027928064 338   apollon118 901    830     4590280704 11900   9 14 apollon010 38.9  22.2   1003528192 367   apollon155
reducercommutativity/rangesum60_false-unreach-call.i 901    799     7369945088 9030   8 14 apollon011 902    806     5943562240 9800   9 14 apollon011 902    813     7480442880 9660   8 14 apollon052 901    809     5916598272 10100   9 14 apollon159 901    798     5739143168 10000   8 14 apollon108 901    796     5090791424 9990   8 14 apollon081 63.8  41.2   1565995008 664   apollon010 901    807     5079195648 9770   8 14 apollon017 902    827     5691809792 10200   9 14 apollon136
reducercommutativity/rangesum_false-unreach-call_true-termination.i 901    627     7149494272 8820   12 16 apollon015 901    860     3872555008 10500   4 16 apollon072 901    646     6688636928 9500   12 16 apollon017 901    860     3772866560 12200   4 16 apollon014 901    760     5446565888 10600   14 16 apollon020 902    780     5323841536 10400   14 16 apollon152 901    860     2950733824 10200   4 16 apollon115 901    786     4755312640 10200   14 16 apollon162 901    861     3082235904 10600   10 16 apollon082
reducercommutativity/avg05_true-unreach-call_true-termination.i 901    860     4161986560 13400   6 10 apollon080 901    864     4155092992 9800   6 10 apollon120 901    863     4207091712 14000   6 10 apollon111 901    866     4202119168 10000   6 10 apollon051 901    885     3477766144 11000   6 10 apollon024 901    884     3516497920 8900   6 10 apollon066 901    866     4156899328 11000   6 10 apollon074 901    881     3641978880 9780   6 10 apollon012 901    865     4210778112 11300   6 10 apollon102
reducercommutativity/avg10_true-unreach-call_true-termination.i 901    855     4270960640 12300   6 10 apollon065 901    853     4304248832 10900   6 10 apollon071 901    855     4290379776 10200   6 10 apollon043 901    855     4256079872 10500   6 10 apollon085 902    864     5332656128 9780   6 10 apollon145 901    860     4895326208 9570   6 10 apollon123 901    854     4265299968 11000   6 10 apollon165 901    859     4705275904 10700   6 10 apollon012 901    855     4282654720 10500   6 10 apollon154
reducercommutativity/avg20_true-unreach-call.i 901    841     4356141056 11400   6 10 apollon085 902    841     4524134400 9620   6 10 apollon026 901    841     4366270464 11800   6 10 apollon155 901    841     4634062848 9360   6 10 apollon074 901    841     4764594176 10100   6 10 apollon050 901    843     4354887680 11900   6 10 apollon017 901    842     4637925376 8940   6 10 apollon154 901    844     4324929536 10900   6 10 apollon150 902    843     4712513536 10500   6 10 apollon069
reducercommutativity/avg40_true-unreach-call.i 901    846     4835643392 7770   5 10 apollon134 901    834     5365964800 11900   6 10 apollon021 901    843     3733995520 9370   5 10 apollon094 901    836     5422116864 9670   6 10 apollon075 902    856     8704442368 6820   6 10 apollon012 901    841     3744911360 8400   5 10 apollon012 901    832     5511340032 11100   6 10 apollon059 901    830     5011505152 8350   5 10 apollon128 901    829     5621026816 10400   6 10 apollon136
reducercommutativity/avg60_true-unreach-call.i 901    845     5042253824 9160   3 10 apollon061 901    835     5222866944 10400   6 10 apollon076 902    845     5209292800 6890   3 10 apollon063 901    830     5340332032 10500   6 10 apollon061 904    873     6832500736 5600   6 10 apollon151 901    847     4072558592 9590   3 10 apollon087 901    825     5247000576 11400   6 10 apollon112 901    846     3983990784 9260   3 10 apollon110 901    831     5274066944 12600   6 10 apollon044
reducercommutativity/avg_true-unreach-call_true-termination.i 902    662     6770597888 8320   6 10 apollon073 901    844     3894140928 11000   4 10 apollon046 901    668     5970296832 8310   6 10 apollon116 901    800     4990349312 8650   4 10 apollon150 146    120     4770385920 1500   apollon035 145    122     4550713344 1550   apollon031 901    855     3944730624 9930   4 10 apollon026 138    111     4857733120 1410   apollon026 901    872     4104962048 10600   6 10 apollon075
reducercommutativity/max05_true-unreach-call_true-termination.i 901    860     4359184384 9190   8 12 apollon054 901    864     4090728448 10300   8 12 apollon135 901    856     4471775232 10400   8 12 apollon001 901    863     4147539968 9990   8 12 apollon103 901    868     4381491200 8650   8 12 apollon134 901    867     4345790464 9920   8 12 apollon106 901    863     4245798912 9490   8 12 apollon115 901    865     4389728256 8790   8 12 apollon162 901    862     4127309824 8540   8 12 apollon158
reducercommutativity/max10_true-unreach-call_true-termination.i 901    848     5236293632 13900   8 12 apollon057 901    850     4165734400 13600   8 12 apollon016 901    845     5212340224 11200   8 12 apollon135 901    856     4170223616 12100   8 12 apollon152 901    887     2808881152 8740   8 12 apollon064 901    887     3015270400 8380   8 12 apollon161 901    854     4192837632 10600   8 12 apollon117 901    886     2886500352 5900   8 12 apollon151 901    854     4221693952 10700   8 12 apollon100
reducercommutativity/max20_true-unreach-call.i 901    844     5825273856 11400   6 12 apollon093 901    841     4295450624 10500   8 12 apollon089 901    843     5778001920 11500   6 12 apollon009 901    841     4259610624 12300   8 12 apollon006 901    884     2466942976 11000   8 12 apollon106 901    880     3918471168 11000   8 12 apollon106 901    840     4369190912 11500   8 12 apollon067 901    879     2982293504 9880   8 12 apollon034 901    839     4347936768 10300   8 12 apollon002
reducercommutativity/max40_true-unreach-call.i 902    849     4642631680 7740   5 12 apollon153 901    833     4455260160 11100   8 12 apollon058 901    848     4062306304 8180   5 12 apollon070 901    831     4430934016 10000   8 12 apollon104 901    875     3853340672 9050   8 12 apollon057 901    833     4791230464 11500   6 12 apollon138 901    831     4488585216 10900   8 12 apollon102 901    826     4718731264 11700   6 12 apollon124 901    818     4496269312 12600   8 12 apollon140
reducercommutativity/max60_true-unreach-call.i 901    838     5802913792 10100   5 12 apollon036 901    831     4471848960 11900   8 12 apollon006 901    842     5953380352 9390   5 12 apollon108 901    826     4650016768 10200   8 12 apollon134 902    877     3083395072 5670   6 12 apollon045 901    844     4015144960 10100   5 12 apollon007 901    830     4572659712 9590   8 12 apollon092 901    847     4483457024 8800   5 12 apollon137 901    822     4601794560 11500   8 12 apollon033
reducercommutativity/max_true-unreach-call_true-termination.i 902    632     6855999488 10600   8 12 apollon081 901    626     8012283904 9660   8 12 apollon102 901    655     6451871744 10800   8 12 apollon027 902    626     6906810368 9470   8 12 apollon129 901    889     623894528 11700   8 12 apollon156 901    890     657211392 11900   8 12 apollon076 907    544     10258149376 8560   8 12 apollon075 901    891     1143574528 9920   8 12 apollon109 901    673     5327691776 9250   8 12 apollon043
reducercommutativity/sep05_true-unreach-call_true-termination.i 901    656     8077582336 7860   9 12 apollon149 901    653     7362772992 9600   9 12 apollon073 901    585     10255794176 7660   9 12 apollon050 901    654     5310922752 10300   9 12 apollon046 901    687     5826289664 8350   9 12 apollon145 901    560     9275875328 7840   10 12 apollon152 901    663     7335940096 9860   10 12 apollon110 901    669     7977091072 7350   9 12 apollon023 901    659     7333806080 10200   10 12 apollon055
reducercommutativity/sep10_true-unreach-call.i 901    854     4107173888 11000   8 12 apollon073 901    729     5774839808 11300   8 12 apollon014 901    850     4848934912 11900   8 12 apollon020 655    510     14999998464 8410   apollon161 901    859     4527730688 10300   8 12 apollon160 902    702     6728216576 7820   8 12 apollon061 904    600     7094370304 9170   8 12 apollon071 901    779     5435346944 7590   9 12 apollon096 901    737     5147869184 11700   9 12 apollon059
reducercommutativity/sep20_true-unreach-call.i 901    862     4069486592 10600   6 12 apollon003 901    851     4224176128 12900   6 12 apollon008 901    870     5159354368 11300   6 12 apollon168 901    854     4131807232 12400   5 12 apollon155 273    261     14999998464 3560   apollon047 901    827     5119700992 10100   8 12 apollon104 902    745     5739393024 10800   apollon017 901    848     4378656768 11700   8 12 apollon152 901    792     4757749760 12800   8 12 apollon044
reducercommutativity/sep40_true-unreach-call.i 901    869     4797685760 12400   5 12 apollon014 901    851     4160425984 9690   5 12 apollon151 901    863     5236543488 10300   5 12 apollon166 901    851     4120215552 11500   5 12 apollon141 901    876     1798873088 7940   8 12 apollon092 901    869     2834677760 10700   6 12 apollon037 901    841     4242976768 10700   apollon110 901    827     4941488128 9620   6 12 apollon155 901    797     4377403392 12000   8 12 apollon059
reducercommutativity/sep60_true-unreach-call.i 901    861     5281988608 12300   5 12 apollon019 901    856     3986817024 11100   5 12 apollon145 901    860     5422645248 11300   5 12 apollon076 901    855     4061290496 10300   5 12 apollon041 902    872     3329269760 8040   7 12 apollon010 901    867     1985249280 10800   5 12 apollon144 902    841     4270379008 10800   apollon055 901    840     5053583360 8620   5 12 apollon109 901    845     4616093696 13700   8 12 apollon111
reducercommutativity/sep_true-unreach-call_true-termination.i 901    659     6644256768 10100   8 12 apollon076 902    645     6331793408 9210   8 12 apollon100 901    660     7519535104 9490   8 12 apollon086 927    623     7555641344 10400   8 12 apollon020 902    621     8350142464 9570   8 12 apollon165 901    706     5308260352 9950   8 12 apollon086 901    678     5619617792 9980   8 12 apollon129 901    690     5105790976 10200   8 12 apollon135 918    575     10419707904 9980   8 12 apollon068
reducercommutativity/sum05_true-unreach-call_true-termination.i 901    862     4418703360 11200   6 10 apollon012 901    865     4155809792 11100   6 10 apollon003 901    861     4438949888 11600   6 10 apollon087 901    865     4217245696 13000   6 10 apollon122 901    887     3041611776 10100   6 10 apollon059 901    885     3051896832 8430   6 10 apollon032 901    865     4169216000 13000   6 10 apollon059 901    885     3078803456 9400   6 10 apollon075 901    866     4238610432 11200   6 10 apollon026
reducercommutativity/sum10_true-unreach-call_true-termination.i 901    851     5383139328 11600   6 10 apollon061 901    857     4264034304 11500   6 10 apollon147 901    836     5359083520 11800   6 10 apollon138 901    856     4266946560 10300   6 10 apollon089 901    886     4448083968 8400   6 10 apollon073 901    883     4203606016 8430   6 10 apollon137 901    854     4285353984 10700   6 10 apollon134 901    882     4253831168 11100   6 10 apollon080 901    854     4277260288 11200   6 10 apollon075
reducercommutativity/sum20_true-unreach-call.i 901    837     5608148992 12800   6 10 apollon008 901    842     4515295232 9200   6 10 apollon156 901    838     5668499456 11500   6 10 apollon015 901    844     4593299456 10100   6 10 apollon019 902    877     6880481280 6650   6 10 apollon045 901    840     4755189760 11700   6 10 apollon113 901    841     4513570816 10500   6 10 apollon052 901    840     4682612736 10400   6 10 apollon060 901    845     4632023040 9120   6 10 apollon001
reducercommutativity/sum40_true-unreach-call.i 901    844     6421041152 9300   5 10 apollon106 901    830     5429194752 10800   6 10 apollon047 901    834     6557347840 8300   5 10 apollon133 901    833     5321691136 9530   6 10 apollon121 902    854     8782217216 6860   6 10 apollon015 901    835     5252423680 9000   5 10 apollon018 901    826     5332594688 10700   6 10 apollon081 901    841     5125373952 10300   5 10 apollon005 901    830     5337178112 9440   6 10 apollon120
reducercommutativity/sum60_true-unreach-call.i 902    850     5689966592 8620   3 10 apollon150 901    834     5326901248 10300   6 10 apollon145 901    845     5129306112 8720   3 10 apollon119 901    824     5419192320 11400   6 10 apollon064 903    871     6102179840 6070   6 10 apollon100 901    845     4017324032 8950   3 10 apollon066 901    828     5310148608 10500   6 10 apollon095 901    844     4407259136 8630   3 10 apollon043 901    832     5304074240 10400   6 10 apollon165
reducercommutativity/sum_true-unreach-call_true-termination.i 903    650     6209753088 10000   6 10 apollon031 901    653     7199424512 9700   6 10 apollon050 901    641     8149721088 8550   6 10 apollon151 910    642     6390243328 10500   6 10 apollon006 901    888     1141760000 11800   6 10 apollon122 901    888     1034141696 12900   6 10 apollon130 901    642     6299856896 11000   6 10 apollon159 901    892     1221070848 12700   6 10 apollon094 902    664     6266343424 9320   6 10 apollon013
array-tiling/mlceu_false-unreach-call.i 902    698     6804975616 11100   6 10 apollon059 902    699     5706747904 10400   6 10 apollon101 901    862     1409556480 11000   8 10 apollon066 901    858     1477562368 11500   8 10 apollon103 902    710     6267842560 9620   6 10 apollon086 901    701     7822561280 11000   6 10 apollon108 901    716     6482247680 11600   6 10 apollon106 901    860     2046140416 10700   8 10 apollon035 901    853     3339739136 11100   8 10 apollon032
array-tiling/skippedu_false-unreach-call.i 4.32 1.69  268341248 35.9 apollon089 4.27 1.79  272334848 38.1 apollon018 4.12 1.72  263999488 35.9 apollon079 4.22 1.78  270807040 39.8 apollon113 4.25 1.70  266833920 42.4 apollon161 4.21 1.72  270290944 36.5 apollon086 4.60 1.82  275341312 42.2 apollon112 4.26 1.76  268574720 45.2 apollon021 4.27 1.72  269811712 35.5 apollon043
array-tiling/mbpr2_true-unreach-call.i 4.49 1.80  277188608 38.2 apollon123 4.19 1.76  270381056 43.3 apollon122 4.29 1.75  270266368 42.1 apollon101 4.37 1.78  271659008 40.5 apollon166 4.34 1.84  263839744 41.0 apollon145 4.24 1.77  266833920 35.5 apollon089 4.54 1.81  279285760 44.8 apollon164 4.39 1.78  271110144 38.8 apollon082 4.46 1.84  274710528 46.0 apollon108
array-tiling/mbpr3_true-unreach-call.i 5.09 2.18  286556160 49.3 apollon091 4.86 2.10  288006144 46.1 apollon120 4.96 2.21  280190976 43.7 apollon060 5.13 2.17  290181120 51.3 apollon047 4.79 2.11  282431488 48.7 apollon130 5.23 2.20  286171136 48.5 apollon091 4.93 2.12  283148288 46.0 apollon037 5.05 2.16  273645568 46.3 apollon074 4.83 2.14  279801856 44.8 apollon034
array-tiling/mbpr4_true-unreach-call.i 4.49 1.78  271405056 37.3 apollon040 4.59 1.85  274583552 40.6 apollon072 4.56 1.88  273858560 41.2 apollon086 4.65 1.88  275865600 37.4 apollon092 4.80 1.87  278433792 46.7 apollon057 4.63 1.82  273510400 42.3 apollon096 4.60 1.87  277544960 45.6 apollon122 4.52 1.81  266858496 44.9 apollon016 4.68 1.81  275755008 40.1 apollon058
array-tiling/mbpr5_true-unreach-call.i 5.14 2.22  281931776 49.7 apollon167 4.74 2.13  286777344 52.2 apollon106 4.94 2.20  281796608 47.4 apollon051 4.89 2.18  286142464 50.9 apollon108 5.09 2.23  284495872 45.4 apollon062 5.08 2.17  290054144 47.5 apollon011 5.13 2.29  282648576 47.6 apollon017 5.00 2.22  277049344 42.4 apollon117 5.00 2.20  278466560 50.9 apollon081
array-tiling/nr2_true-unreach-call.i 4.34 1.73  266170368 43.4 apollon088 4.38 1.81  276963328 43.8 apollon155 4.37 1.72  276844544 41.4 apollon167 4.46 1.80  277639168 42.2 apollon064 4.27 1.77  265207808 38.3 apollon154 4.30 1.72  275628032 37.3 apollon058 4.29 1.77  277549056 38.7 apollon127 4.41 1.76  273674240 38.2 apollon058 4.30 1.78  264790016 39.8 apollon011
array-tiling/nr3_true-unreach-call.i 4.68 2.10  283078656 45.6 apollon132 4.76 2.14  281538560 50.2 apollon159 4.71 2.14  280764416 48.4 apollon155 4.58 2.07  276242432 45.6 apollon136 4.65 2.12  281825280 39.9 apollon100 4.76 2.06  285376512 42.3 apollon110 4.92 2.10  280809472 47.6 apollon136 4.81 2.12  280694784 48.8 apollon020 4.59 2.09  280944640 42.1 apollon086
array-tiling/nr4_true-unreach-call.i 4.23 1.74  268939264 40.3 apollon006 4.29 1.71  268087296 38.4 apollon026 4.29 1.74  268898304 39.7 apollon102 4.28 1.74  271134720 43.7 apollon069 4.40 1.86  268800000 40.2 apollon119 4.40 1.75  271777792 42.8 apollon148 4.23 1.73  269594624 43.3 apollon059 4.38 1.80  264097792 36.1 apollon128 4.40 1.83  270360576 36.8 apollon099
array-tiling/nr5_true-unreach-call.i 4.85 2.12  277901312 46.1 apollon097 4.63 2.07  277942272 39.2 apollon158 4.65 2.11  276971520 44.9 apollon102 4.90 2.12  286846976 41.8 apollon089 4.66 2.09  282296320 41.6 apollon104 4.56 2.06  277983232 39.8 apollon117 4.87 2.17  286162944 46.6 apollon153 4.75 2.13  277757952 49.0 apollon161 4.81 2.15  279097344 43.6 apollon110
array-tiling/pnr2_true-unreach-call.i 4.27 1.71  276193280 39.5 apollon011 4.56 1.77  274780160 36.6 apollon151 4.32 1.80  263278592 38.3 apollon165 4.47 1.78  277774336 39.3 apollon107 4.43 1.74  276422656 45.2 apollon159 4.25 1.73  273756160 39.7 apollon052 4.47 1.79  277643264 39.9 apollon103 4.33 1.79  264196096 38.6 apollon018 4.66 1.85  274706432 42.4 apollon093
array-tiling/pnr3_true-unreach-call.i 4.74 2.06  277708800 48.3 apollon126 4.71 2.17  285782016 45.4 apollon076 4.88 2.13  278069248 44.4 apollon103 4.67 2.08  278548480 48.3 apollon094 4.54 2.07  277245952 49.0 apollon057 4.67 2.07  283213824 49.9 apollon008 4.72 2.14  278360064 37.4 apollon063 4.68 2.16  278888448 45.1 apollon017 4.73 2.13  284307456 48.9 apollon088
array-tiling/pnr4_true-unreach-call.i 4.45 1.85  271749120 40.2 apollon070 4.32 1.75  270422016 41.5 apollon138 4.25 1.77  265089024 44.8 apollon036 4.40 1.79  273858560 39.9 apollon035 4.60 1.80  276090880 41.9 apollon097 4.53 1.76  273514496 39.2 apollon061 4.38 1.81  265138176 40.4 apollon074 5.16 2.15  274784256 76.5 apollon039 4.38 1.82  268115968 45.1 apollon163
array-tiling/pnr5_true-unreach-call.i 4.78 2.13  275599360 45.0 apollon011 4.64 2.08  280403968 39.7 apollon143 4.98 2.12  289828864 48.6 apollon152 4.77 2.12  281899008 42.6 apollon013 4.73 2.13  281251840 47.6 apollon114 4.97 2.20  288149504 46.3 apollon037 4.90 2.11  285028352 42.2 apollon060 4.95 2.18  286507008 50.0 apollon047 4.95 2.19  284573696 42.0 apollon098
array-tiling/poly1_true-unreach-call.i 901    700     5293449216 7870   5 8 apollon078 901    692     5177335808 7610   5 8 apollon089 901    862     1245929472 10100   7 8 apollon143 901    857     2892951552 11900   7 8 apollon055 902    699     6464167936 7930   5 8 apollon150 901    750     5473751040 9820   5 8 apollon081 901    756     5177716736 8960   5 8 apollon152 901    861     2142842880 13400   7 8 apollon021 901    846     3154681856 11400   7 8 apollon102
array-tiling/poly2_true-unreach-call.i 901    684     6185672704 9200   7 10 apollon167 901    692     5795393536 8990   7 10 apollon047 901    624     6510329856 7870   9 10 apollon034 901    589     7871303680 6760   9 10 apollon023 901    677     7769669632 8330   7 10 apollon147 901    736     5423079424 7230   7 10 apollon123 901    777     4616278016 9980   apollon065 902    631     6850142208 7620   8 10 apollon116 913    585     8749465600 7120   9 10 apollon013
array-tiling/pr2_true-unreach-call.i 4.46 1.73  275169280 38.9 apollon023 4.23 1.77  273637376 39.5 apollon071 4.44 1.77  276475904 42.9 apollon140 4.49 1.79  271847424 42.0 apollon024 4.33 1.77  272465920 41.5 apollon068 4.26 1.74  266907648 42.1 apollon146 4.51 1.81  269905920 39.5 apollon120 4.59 1.84  275861504 37.0 apollon041 4.45 1.84  268337152 40.7 apollon153
array-tiling/pr3_true-unreach-call.i 4.63 2.07  276131840 40.0 apollon100 4.61 2.08  276283392 42.6 apollon075 4.63 2.10  286044160 40.4 apollon100 4.89 2.17  283451392 48.0 apollon091 4.83 2.07  284311552 45.6 apollon103 4.82 2.14  284758016 46.1 apollon105 4.77 2.13  281255936 47.0 apollon064 4.90 2.16  284917760 47.9 apollon136 4.62 2.10  283148288 45.6 apollon113
array-tiling/pr4_true-unreach-call.i 4.36 1.81  267010048 39.8 apollon052 4.40 1.78  275714048 37.9 apollon058 4.59 1.84  278056960 45.6 apollon059 4.45 1.83  273756160 43.0 apollon152 4.36 1.81  277348352 39.1 apollon090 4.37 1.80  272637952 36.3 apollon098 4.52 1.82  279252992 44.6 apollon047 4.60 1.85  269836288 37.6 apollon134 4.58 1.86  273027072 39.8 apollon129
array-tiling/pr5_true-unreach-call.i 4.82 2.10  286679040 44.4 apollon110 5.07 2.15  287682560 48.5 apollon146 5.00 2.15  288485376 49.3 apollon167 4.88 2.13  281501696 48.1 apollon064 4.89 2.09  285741056 45.9 apollon120 4.76 2.10  279846912 46.1 apollon024 5.04 2.15  287666176 48.2 apollon153 4.97 2.17  284209152 43.2 apollon137 4.97 2.20  275402752 51.4 apollon081
array-tiling/revcpyswp2_true-unreach-call.i 901    686     6538420224 11100   9 12 apollon069 902    674     7557971968 9100   9 12 apollon053 901    712     7807160320 10300   9 12 apollon067 254    178     14999998464 2620   apollon013 901    679     6176276480 10700   9 12 apollon163 906    704     5190057984 9930   9 12 apollon162 901    699     6555160576 10400   9 12 apollon164 901    755     5239631872 9960   9 12 apollon013 901    718     6306598912 10800   9 12 apollon052
array-tiling/rew_true-unreach-call.i 902    665     7486128128 10700   7 10 apollon033 901    679     6182604800 9480   7 10 apollon154 901    646     7492272128 10500   7 10 apollon108 901    867     1368432640 13000   9 10 apollon106 901    682     5552222208 9910   7 10 apollon121 901    716     5602082816 9880   7 10 apollon073 901    692     5875544064 11700   7 10 apollon161 901    640     6668337152 9300   7 10 apollon062 901    596     8632967168 8140   7 10 apollon029
array-tiling/rewnif_true-unreach-call.i 902    695     6607671296 9410   7 10 apollon066 901    691     6077812736 7890   7 10 apollon063 901    671     5302480896 9410   7 10 apollon003 901    855     1675227136 12700   9 10 apollon112 902    711     5874094080 10900   7 10 apollon008 901    724     5913030656 9600   7 10 apollon013 901    741     5759979520 9160   7 10 apollon029 901    629     7746609152 8910   7 10 apollon109 901    658     6108422144 9390   7 10 apollon157
array-tiling/rewnifrev2_true-unreach-call.i 901    750     6347677696 9710   5 8 apollon083 901    743     5602353152 9760   5 8 apollon053 901    774     5463949312 11500   5 8 apollon091 901    766     6683471872 10500   5 8 apollon135 901    746     5949108224 9550   5 8 apollon117 901    742     6034845696 10200   5 8 apollon050 901    752     5693952000 10100   5 8 apollon026 901    774     5468192768 11100   5 8 apollon071 901    769     6033530880 11000   5 8 apollon146
array-tiling/rewnifrev_true-unreach-call.i 902    756     5826408448 9950   7 10 apollon003 901    754     5544841216 10700   7 10 apollon038 901    755     5858549760 12100   7 10 apollon148 901    757     5656051712 9830   7 10 apollon100 902    758     5473415168 10400   7 10 apollon120 901    741     5856006144 11000   7 10 apollon020 901    748     5493178368 10500   7 10 apollon168 901    763     5219717120 9990   7 10 apollon116 901    760     5374119936 10800   7 10 apollon004
array-tiling/rewrev_true-unreach-call.i 901    711     5402640384 11400   7 10 apollon122 901    704     5923532800 10900   7 10 apollon010 901    704     5224546304 11200   7 10 apollon108 901    731     5593567232 9090   7 10 apollon123 901    700     5935796224 9630   7 10 apollon025 901    692     5547315200 10200   7 10 apollon168 901    709     5671669760 11400   7 10 apollon140 902    718     5407494144 10300   7 10 apollon051 901    730     5819764736 10000   7 10 apollon062
array-tiling/skipped_true-unreach-call.i 4.08 1.68  266301440 37.3 apollon165 4.15 1.72  269049856 34.7 apollon054 4.27 1.74  262115328 34.2 apollon158 4.16 1.70  269885440 37.2 apollon053 4.26 1.68  272560128 39.3 apollon096 4.22 1.70  267677696 44.0 apollon111 4.34 1.82  270266368 44.8 apollon122 4.26 1.71  268062720 36.1 apollon128 4.30 1.79  269348864 41.4 apollon068
array-tiling/tcpy_true-unreach-call.i 4.29 1.75  268103680 39.2 apollon144 4.37 1.80  278593536 42.7 apollon106 4.38 1.77  277950464 37.7 apollon003 4.59 1.78  277970944 41.5 apollon105 4.43 1.74  272871424 42.0 apollon167 4.35 1.75  272453632 43.3 apollon159 4.36 1.78  271564800 40.7 apollon118 4.54 1.71  278937600 38.5 apollon107 4.41 1.80  270802944 38.4 apollon075
array-programs/copysome1_false-unreach-call.i 902    865     14600224768 8690   1 12 apollon139 902    857     4249653248 9950   1 12 apollon012 902    860     14808829952 9920   1 12 apollon051 901    848     4187078656 9660   1 12 apollon041 901    875     6190223360 13700   1 12 apollon057 901    876     3009335296 9900   1 12 apollon035 565    527     14999998464 5550   apollon023 901    878     3129442304 12200   1 12 apollon059 561    517     14999998464 5790   apollon120
array-programs/copysome2_false-unreach-call.i 902    867     14807724032 10900   1 14 apollon024 901    858     4268339200 9870   1 14 apollon055 888    845     14999998464 9880   apollon067 901    844     4667781120 11300   1 14 apollon065 901    874     6894985216 10900   1 14 apollon153 901    876     3176755200 9930   1 14 apollon110 604    564     14999998464 6390   apollon115 901    878     3274117120 13700   1 14 apollon056 562    519     14999998464 6410   apollon082
array-programs/copysome1_true-unreach-call.i 901    862     14677561344 9840   1 12 apollon154 901    859     4152983552 10100   1 12 apollon162 903    860     14788288512 12200   1 12 apollon080 901    845     4259090432 9550   1 12 apollon002 901    874     6214148096 10900   1 12 apollon110 901    877     3034734592 12200   1 12 apollon088 901    857     4347211776 10200   1 12 apollon113 901    876     3173662720 12000   1 12 apollon006 554    514     14999998464 5310   apollon054
array-programs/copysome2_true-unreach-call.i 872    834     14999998464 9450   apollon118 902    856     4165324800 9000   1 14 apollon029 890    849     14999998464 9330   apollon131 901    842     4726644736 10200   1 14 apollon015 901    877     7199412224 12600   1 14 apollon014 901    878     2949697536 13400   1 14 apollon056 604    567     14999998464 6180   apollon055 901    879     3255222272 9220   1 14 apollon158 579    536     14999998464 5450   apollon139
bitvector/byte_add_false-unreach-call_true-no-overflow_true-termination.i 44.4  25.9   1259003904 500   59 60 apollon019 41.1  19.7   1325752320 361   59 60 apollon041 45.1  24.4   1168670720 484   59 60 apollon065 41.2  19.2   1269829632 417   59 60 apollon068 38.5  20.7   1233387520 377   59 60 apollon166 37.7  20.1   1253863424 391   59 60 apollon146 42.4  19.2   1398841344 408   59 60 apollon052 901    852     3694129152 11000   57 60 apollon114 65.0  37.1   1703182336 630   59 60 apollon097
bitvector/sum02_false-unreach-call_true-no-overflow.i 902    657     7237144576 10000   4 8 apollon108 901    656     6517297152 10500   4 8 apollon047 934    643     7138385920 9610   4 8 apollon018 901    633     8600965120 10600   4 8 apollon069 901    637     9916919808 10300   4 8 apollon094 901    645     6780796928 9140   4 8 apollon149 901    672     5819199488 11600   4 8 apollon044 901    861     2457911296 13000   4 8 apollon059 901    838     4428296192 12300   4 8 apollon132
bitvector/byte_add_1_true-unreach-call_true-no-overflow_true-termination.i 901    849     5111508992 11400   43 60 apollon071 38.8  18.2   1764532224 370   44 60 apollon131 901    847     5101723648 12800   43 60 apollon016 40.3  18.8   1377988608 433   44 60 apollon080 41.6  21.8   1687674880 484   44 60 apollon036 39.5  20.4   2028994560 365   44 60 apollon099 40.2  20.4   1610575872 389   44 60 apollon107 39.9  19.3   1069969408 451   44 60 apollon021 64.1  38.9   1945956352 585   44 60 apollon123
bitvector/byte_add_2_true-unreach-call_true-no-overflow_true-termination.i 901    850     5293875200 12700   44 60 apollon080 39.8  17.4   1860059136 420   45 60 apollon014 901    847     5237538816 10400   44 60 apollon026 41.2  17.8   1760546816 383   45 60 apollon074 40.0  20.5   1972858880 449   45 60 apollon125 912    890     2550583296 14900   apollon030 40.0  17.3   1819648000 356   45 60 apollon149 912    888     1694961664 14000   apollon007 39.5  16.7   1262338048 368   45 60 apollon032
bitvector/gcd_1_true-unreach-call_true-no-overflow.i 16.4  10.4   1050144768 166   10 12 apollon013 16.9  10.9   1063636992 187   10 12 apollon097 17.2  9.95  942166016 201   10 12 apollon088 17.0  9.44  946634752 187   10 12 apollon138 16.0  10.9   1107615744 185   10 12 apollon118 16.6  10.4   1058545664 170   10 12 apollon104 16.9  10.9   1057275904 212   10 12 apollon125 16.5  9.86  969564160 180   10 12 apollon076 16.6  9.87  938975232 181   10 12 apollon022
bitvector/gcd_2_true-unreach-call_true-no-overflow.i 14.9  9.11  1061392384 141   9 10 apollon092 15.1  9.11  1048965120 165   9 10 apollon096 15.2  8.68  820617216 154   9 10 apollon079 15.4  8.66  962510848 158   9 10 apollon090 15.3  9.69  1189085184 145   9 10 apollon158 15.1  9.11  1072472064 168   9 10 apollon067 16.0  9.71  1140084736 142   9 10 apollon063 15.6  8.65  1013071872 164   9 10 apollon087 15.6  8.70  909729792 147   9 10 apollon098
bitvector/gcd_3_true-unreach-call_true-no-overflow.i 901    879     4096921600 12000   9 10 apollon038 901    878     4072235008 14600   9 10 apollon039 901    879     4059250688 13100   9 10 apollon033 901    877     3934646272 12600   9 10 apollon136 214    204     1727524864 3070   9 10 apollon130 215    205     1614127104 2750   9 10 apollon162 901    880     4065751040 11500   9 10 apollon075 214    203     1571852288 2820   9 10 apollon052 901    879     4048941056 12300   9 10 apollon114
bitvector/gcd_4_true-unreach-call_true-no-overflow_true-termination.i 5.64 2.12  297984000 54.0 8 12 apollon106 5.36 2.05  295731200 54.5 8 12 apollon108 5.48 2.13  289333248 47.7 8 12 apollon018 5.38 2.07  302247936 58.2 8 12 apollon033 5.86 2.13  292016128 49.6 8 12 apollon150 5.46 2.08  299474944 46.6 8 12 apollon042 5.52 2.13  287875072 47.0 8 12 apollon133 5.69 2.17  301666304 53.6 8 12 apollon141 5.61 2.19  312823808 51.9 8 12 apollon076
bitvector/interleave_bits_true-unreach-call_true-no-overflow.i 16.2  7.67  1352491008 162   3 4 apollon051 15.3  6.34  1247338496 150   3 4 apollon019 17.3  6.78  1218732032 167   3 4 apollon076 14.5  5.87  1020112896 152   3 4 apollon008 16.7  7.71  1527058432 164   3 4 apollon038 16.6  7.72  1797783552 165   3 4 apollon084 15.0  6.93  1417723904 155   3 4 apollon031 16.6  6.74  1171423232 164   3 4 apollon010 15.1  5.84  1108283392 145   3 4 apollon167
bitvector/jain_1_true-unreach-call_true-no-overflow_false-termination.i 13.0  7.64  1218781184 147   1 2 apollon136 12.8  7.66  1150615552 124   1 2 apollon143 13.0  7.07  894427136 129   1 2 apollon086 12.9  6.04  908722176 126   1 2 apollon087 12.9  7.61  1144242176 134   1 2 apollon001 12.9  7.62  1130917888 144   1 2 apollon152 12.9  7.61  1086353408 132   1 2 apollon003 12.4  6.53  1005789184 128   1 2 apollon061 12.9  6.11  955715584 128   1 2 apollon147
bitvector/jain_2_true-unreach-call_true-no-overflow_false-termination.i 12.8  7.63  1171984384 126   1 2 apollon041 13.1  7.65  991903744 141   1 2 apollon076 12.8  7.07  883073024 130   1 2 apollon075 12.9  6.53  967081984 142   1 2 apollon007 12.6  7.65  1185611776 139   1 2 apollon076 12.8  7.63  1193013248 131   1 2 apollon003 13.2  7.59  1211760640 148   1 2 apollon048 12.8  6.60  1001680896 135   1 2 apollon132 13.3  6.58  964747264 122   1 2 apollon128
bitvector/jain_4_true-unreach-call_true-no-overflow_false-termination.i 12.8  7.66  1300934656 152   1 2 apollon108 13.0  7.66  1206091776 151   1 2 apollon007 12.9  6.57  1116172288 134   1 2 apollon102 13.3  6.09  942796800 130   1 2 apollon135 12.9  8.29  1366036480 145   1 2 apollon113 12.6  7.73  1076707328 132   1 2 apollon001 13.2  7.63  1327697920 141   1 2 apollon168 13.0  6.60  1043496960 123   1 2 apollon128 13.1  6.10  943730688 143   1 2 apollon069
bitvector/jain_5_true-unreach-call_true-no-overflow.i 901    868     4530229248 9970   1 2 apollon099 901    852     5219688448 10300   1 2 apollon020 901    865     5163446272 10600   1 2 apollon147 901    851     4731842560 11100   1 2 apollon027 901    868     6234931200 10500   1 2 apollon105 901    870     1403998208 9730   1 2 apollon129 901    850     4086849536 11300   1 2 apollon088 901    873     3220086784 11800   1 2 apollon065 901    847     4684500992 9960   1 2 apollon110
bitvector/jain_6_true-unreach-call_true-no-overflow_false-termination.i 12.7  7.73  1298444288 145   1 2 apollon136 13.2  7.75  1266905088 135   1 2 apollon133 13.2  6.61  1071362048 141   1 2 apollon048 13.0  6.56  1072377856 131   1 2 apollon012 12.6  7.69  1270943744 124   1 2 apollon098 12.8  7.67  1254223872 139   1 2 apollon142 13.1  7.76  1254772736 132   1 2 apollon003 13.1  6.61  942231552 148   1 2 apollon030 12.8  6.04  954445824 129   1 2 apollon052
bitvector/jain_7_true-unreach-call_true-no-overflow_false-termination.i 15.1  9.18  1899941888 153   1 2 apollon013 15.2  9.20  1262223360 157   1 2 apollon133 14.5  7.58  931713024 154   1 2 apollon067 14.7  7.55  963108864 149   1 2 apollon135 14.4  9.30  1260752896 154   1 2 apollon001 15.3  9.75  1482305536 178   1 2 apollon091 14.5  9.15  1211052032 181   1 2 apollon080 14.3  7.54  987770880 163   1 2 apollon014 14.6  7.64  839585792 171   1 2 apollon033
bitvector/modulus_true-unreach-call_true-no-overflow.i 901    857     963002368 11800   9 12 apollon011 901    861     1216118784 11800   9 12 apollon004 901    859     942592000 11300   9 12 apollon119 901    857     878628864 13100   9 12 apollon069 901    887     800317440 13900   11 12 apollon057 901    887     663814144 11000   11 12 apollon107 901    858     965373952 10600   9 12 apollon002 901    890     739078144 12700   11 12 apollon167 901    862     997363712 12200   9 12 apollon138
bitvector/num_conversion_1_true-unreach-call_true-no-overflow.i 5.33 1.96  280846336 47.3 5 6 apollon074 5.23 1.98  279080960 45.1 5 6 apollon003 5.51 2.02  283987968 55.3 5 6 apollon008 5.52 2.01  291610624 49.3 5 6 apollon105 5.38 2.00  285671424 43.9 5 6 apollon098 5.58 2.04  285913088 51.7 5 6 apollon068 5.35 2.01  281251840 46.6 5 6 apollon075 5.64 2.06  293851136 53.8 5 6 apollon152 5.78 2.09  294211584 50.0 5 6 apollon103
bitvector/num_conversion_2_true-unreach-call_true-no-overflow.i 66.7  36.0   1784434688 543   5 6 apollon042 901    607     9636802560 9130   5 6 apollon079 47.6  23.0   1097076736 456   5 6 apollon167 901    647     6953070592 9970   5 6 apollon087 37.2  16.3   1094135808 354   5 6 apollon010 36.6  15.8   1072291840 284   5 6 apollon104 902    631     8114016256 9430   5 6 apollon026 33.5  22.1   1989038080 325   5 6 apollon043 39.7  27.6   1810690048 368   5 6 apollon151
bitvector/parity_true-unreach-call_true-no-overflow.i 902    700     5608951808 9940   7 8 apollon073 901    697     5593337856 10200   7 8 apollon051 901    794     4746694656 11000   7 8 apollon121 901    766     5759942656 11900   7 8 apollon167 282    192     4578193408 3290   7 8 apollon065 902    697     5863989248 9720   7 8 apollon042 354    249     4566478848 4530   7 8 apollon044 901    693     7059578880 9350   7 8 apollon128 209    154     3274883072 2290   7 8 apollon023
bitvector/sum02_true-unreach-call_true-no-overflow.i 3.86 1.59  273874944 36.4 apollon020 3.75 1.59  262393856 31.6 apollon066 3.62 1.54  263966720 33.0 apollon135 3.49 1.53  262672384 31.1 apollon149 3.83 1.55  273489920 34.1 apollon133 3.63 1.49  265875456 35.0 apollon064 3.63 1.51  270577664 33.1 apollon034 3.76 1.56  260419584 33.3 apollon150 3.77 1.57  258387968 35.1 apollon046
bitvector/s3_clnt_1_false-unreach-call_true-no-overflow.BV.c.cil.c 71.0  37.8   2246991872 721   171 172 apollon071 80.6  41.8   2215092224 755   171 172 apollon104 81.9  45.6   2051502080 909   171 172 apollon014 84.5  43.4   2665365504 772   171 172 apollon116 80.6  44.7   2082635776 831   171 172 apollon096 74.3  40.8   1764761600 829   171 172 apollon047 77.7  34.9   2200096768 658   171 172 apollon143 171    127     3217907712 2060   171 172 apollon024 103    53.4   3145469952 1100   171 172 apollon069
bitvector/s3_clnt_2_false-unreach-call_true-no-overflow.BV.c.cil.c 68.5  36.9   2155405312 730   169 170 apollon091 91.0  46.8   3275542528 885   169 170 apollon074 82.1  46.1   2237845504 788   169 170 apollon104 88.4  48.1   2648309760 916   169 170 apollon084 71.2  39.9   1584332800 777   169 170 apollon136 68.0  35.7   2240950272 811   169 170 apollon160 90.2  47.3   3279724544 948   169 170 apollon065 82.2  47.6   2144456704 891   169 170 apollon005 144    89.1   3457150976 1750   169 170 apollon057
bitvector/s3_clnt_3_false-unreach-call_true-no-overflow.BV.c.cil.c 77.4  35.3   2099965952 688   124 172 apollon129 901    507     11228188672 9490   123 172 apollon161 97.1  47.4   3153174528 1030   124 172 apollon080 901    603     8531632128 9040   124 172 apollon152 901    671     7507664896 11800   124 172 apollon036 901    682     7892422656 11000   124 172 apollon020 216    122     5012811776 2390   124 172 apollon122 902    668     6890467328 10700   124 172 apollon141 131    72.9   4498124800 1250   124 172 apollon109
bitvector/s3_clnt_1_true-unreach-call_true-no-overflow.BV.c.cil.c 92.7  56.9   2192687104 1020   147 172 apollon017 98.1  57.2   2853556224 930   147 172 apollon117 95.0  57.2   2622222336 1130   147 172 apollon125 99.2  56.4   2932965376 1020   147 172 apollon152 104    60.7   2212724736 1050   147 172 apollon120 68.4  40.0   1854570496 765   147 172 apollon006 80.2  40.8   2160590848 787   147 172 apollon061 74.1  39.1   1894387712 752   147 172 apollon162 76.3  35.4   2181521408 675   147 172 apollon139
bitvector/s3_clnt_2_true-unreach-call_true-no-overflow.BV.c.cil.c 61.3  28.7   1888636928 560   143 170 apollon157 96.3  53.7   2360754176 894   143 170 apollon134 76.9  42.8   2307059712 849   143 170 apollon140 102    56.2   2640678912 976   143 170 apollon115 89.9  55.0   2077007872 1080   143 170 apollon014 60.8  28.9   1678036992 586   143 170 apollon113 74.5  38.0   1960706048 713   143 170 apollon086 59.1  25.3   1621467136 601   143 170 apollon059 75.8  37.0   2168070144 827   143 170 apollon125
bitvector/s3_clnt_3_true-unreach-call_true-no-overflow.BV.c.cil.c 901    536     11112230912 8030   139 172 apollon134 901    575     9852063744 10100   138 172 apollon030 901    639     7242645504 11000   139 172 apollon088 901    552     9232805888 8220   142 172 apollon035 901    655     7212146688 8680   139 172 apollon158 903    670     8508506112 9920   143 172 apollon058 901    618     7446790144 9990   143 172 apollon076 901    657     6817198080 9830   144 172 apollon072 718    490     6985355264 7690   145 172 apollon135
bitvector/s3_srvr_1_alt_true-unreach-call_true-no-overflow.BV.c.cil.c 910    707     6810349568 9210   188 194 apollon040 901    825     4631986176 9850   191 194 apollon144 902    736     5997989888 10600   188 194 apollon124 901    827     4784685056 9770   191 194 apollon137 901    828     4700889088 13200   190 194 apollon057 901    853     3212156928 11200   191 194 apollon108 901    671     5964386304 12000   191 194 apollon111 901    850     3259166720 11500   191 194 apollon064 901    632     10131222528 9650   191 194 apollon168
bitvector/s3_srvr_1_true-unreach-call_true-no-overflow.BV.c.cil.c 901    631     7068147712 9270   121 192 apollon131 271    159     5731598336 2610   150 192 apollon001 901    576     8810991616 9390   121 192 apollon141 901    789     5415542784 10400   150 192 apollon126 128    80.1   4142051328 1490   150 192 apollon081 223    129     5198270464 2060   150 192 apollon013 107    53.3   3724009472 914   150 192 apollon054 242    146     5552517120 2300   150 192 apollon040 90.2  49.1   3618725888 924   150 192 apollon162
bitvector/s3_srvr_2_alt_true-unreach-call_true-no-overflow_false-termination.BV.c.cil.c 901    584     9127923712 11100   173 192 apollon111 901    647     6839308288 9050   173 192 apollon128 901    541     10199883776 9570   173 192 apollon155 902    597     8479109120 9100   173 192 apollon058 270    181     5197021184 2600   175 192 apollon054 375    261     5377290240 4170   175 192 apollon095 901    626     6671060992 9550   173 192 apollon034 363    307     4259901440 4210   175 192 apollon067 902    681     6856855552 11500   173 192 apollon069
bitvector/s3_srvr_2_true-unreach-call_true-no-overflow_false-termination.BV.c.cil.c 901    629     7274627072 10900   173 192 apollon159 901    652     6092931072 9830   173 192 apollon037 921    721     6555598848 9010   173 192 apollon158 902    646     6200868864 11000   173 192 apollon122 204    124     4629565440 2280   175 192 apollon048 720    524     6300991488 7110   175 192 apollon123 901    603     9427337216 10000   173 192 apollon114 157    117     3509706752 1720   175 192 apollon075 901    691     5994778624 10700   173 192 apollon048
bitvector/s3_srvr_3_alt_true-unreach-call_true-no-overflow.BV.c.cil.c 901    616     8974143488 10200   120 192 apollon124 253    163     4715106304 2750   149 192 apollon008 916    609     8805982208 9310   120 192 apollon129 735    631     5284253696 8710   149 192 apollon011 344    229     6681329664 3380   149 192 apollon042 350    227     5893980160 3620   149 192 apollon119 126    67.4   3880374272 1390   149 192 apollon016 901    565     8848171008 9050   128 192 apollon153 110    54.0   4027088896 988   149 192 apollon035
bitvector/s3_srvr_3_true-unreach-call_true-no-overflow.BV.c.cil.c