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-06 13:29:00
Run set V+P-Test-noreuse_100_100 V+P-Test-cmc-uni-vp_100_100 V+P-Test-cmc-uni-pv_100_100 V+P-Test-cmc-bi_100_100 V+P-Test-precision_100_100 V+P-Test-continue_100_100 V+P-Test-cmc-uni-vp-reuse_100_100 V+P-Test-cmc-uni-pv-reuse_100_100 V+P-Test-cmc-bi-reuse_100_100
Options -heap 10000M -benchmark -setprop log.consoleLevel=SEVERE -spec config/specification/sv-comp-terminatingfunctions.spc -testCaseGeneration-interleaved-value+predicate-noreuse -setprop interleavedAlgorithm.configFiles=config/testCaseGeneration-valueAnalysis.properties::noreuse_100,config/testCaseGeneration-predicateAnalysis.properties::noreuse_100 -heap 10000M -benchmark -setprop log.consoleLevel=SEVERE -spec config/specification/sv-comp-terminatingfunctions.spc -testCaseGeneration-interleaved-value+predicate-cmc-v2p -setprop interleavedAlgorithm.configFiles=config/components/testCaseGeneration-value-generate-cmc-condition.properties::noreuse_100,config/components/testCaseGeneration-predicate-use-cmc-condition.properties::noreuse_100 -setprop interleavedAlgorithm.intermediateStatistics=EXECUTE -heap 10000M -benchmark -setprop log.consoleLevel=SEVERE -spec config/specification/sv-comp-terminatingfunctions.spc -testCaseGeneration-interleaved-value+predicate-cmc-p2v -setprop interleavedAlgorithm.configFiles=config/components/testCaseGeneration-value-use-cmc-condition.properties::noreuse_100,config/components/testCaseGeneration-predicate-generate-cmc-condition.properties::noreuse_100 -setprop interleavedAlgorithm.intermediateStatistics=EXECUTE -heap 10000M -benchmark -setprop log.consoleLevel=SEVERE -spec config/specification/sv-comp-terminatingfunctions.spc -testCaseGeneration-interleaved-value+predicate-cmc-bidirectional -setprop interleavedAlgorithm.configFiles=config/components/testCaseGeneration-value-generate-and-use-cmc-condition.properties::noreuse_100,config/components/testCaseGeneration-predicate-generate-and-use-cmc-condition.properties::noreuse_100 -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_100,config/testCaseGeneration-predicateAnalysis.properties::reuse-precision_100 -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_100,config/testCaseGeneration-predicateAnalysis.properties::continue_100 -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_100,config/components/testCaseGeneration-predicate-use-cmc-condition-precision.properties::noreuse_100 -setprop interleavedAlgorithm.intermediateStatistics=EXECUTE -heap 10000M -benchmark -setprop log.consoleLevel=SEVERE -spec config/specification/sv-comp-terminatingfunctions.spc -testCaseGeneration-interleaved-value+predicate-cmc-p2v -setprop interleavedAlgorithm.configFiles=config/components/testCaseGeneration-value-use-cmc-condition-precision.properties::noreuse_100,config/components/testCaseGeneration-predicate-generate-cmc-condition.properties::continue_100 -setprop interleavedAlgorithm.intermediateStatistics=EXECUTE -heap 10000M -benchmark -setprop log.consoleLevel=SEVERE -spec config/specification/sv-comp-terminatingfunctions.spc -testCaseGeneration-interleaved-value+predicate-cmc-bidirectional -setprop interleavedAlgorithm.configFiles=config/components/testCaseGeneration-value-generate-and-use-cmc-condition-precision.properties::noreuse_100,config/components/testCaseGeneration-predicate-generate-and-use-cmc-condition-precision.properties::noreuse_100 -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 902    819     11384754176 8310   7 18 apollon053 903    640     7016812544 7840   7 18 apollon048 902    806     11624927232 8680   7 18 apollon117 903    717     11703242752 8580   7 18 apollon128 902    812     10446598144 10600   7 18 apollon088 903    798     8552824832 9130   7 18 apollon154 913    618     7992463360 8980   7 18 apollon030 903    819     8170266624 8370   7 18 apollon115 904    803     10545807360 9690   7 18 apollon008
array-examples/sorting_bubblesort_false-unreach-call2_ground.i 901    871     6742040576 10900   4 12 apollon051 901    854     8688619520 9100   4 12 apollon151 901    866     6957330432 10600   4 12 apollon008 901    847     8566300672 8590   4 12 apollon152 902    870     6011514880 10700   4 12 apollon073 901    872     3911135232 10100   4 12 apollon156 902    855     9037131776 9780   4 12 apollon082 901    871     5863280640 9230   4 12 apollon158 901    849     9091485696 10400   4 12 apollon038
array-examples/sorting_bubblesort_false-unreach-call_ground.i 901    870     6787428352 10500   4 12 apollon066 901    853     8505901056 11000   4 12 apollon027 901    865     6987825152 12500   4 12 apollon130 902    849     8885542912 10000   4 12 apollon079 901    870     5984129024 10800   4 12 apollon154 901    873     3404451840 9390   4 12 apollon166 902    855     8863412224 7980   4 12 apollon131 901    870     5926031360 13100   4 12 apollon160 901    849     9117716480 12300   4 12 apollon148
array-examples/sorting_selectionsort_false-unreach-call2_ground.i 901    867     7099805696 10500   4 20 apollon042 902    861     4300083200 10500   4 20 apollon026 901    864     7390797824 12200   4 20 apollon007 902    858     4369051648 11500   4 20 apollon020 901    872     6080782336 9810   4 20 apollon092 901    873     4204236800 10000   4 20 apollon060 902    861     4353916928 10800   4 20 apollon164 901    871     5683490816 10700   4 20 apollon062 901    490     9664897024 7680   4 20 apollon142
array-examples/sorting_selectionsort_false-unreach-call_ground.i 901    869     7081566208 12200   4 20 apollon005 902    861     4289921024 12600   4 20 apollon094 901    865     7240474624 12600   4 20 apollon106 901    860     4369190912 10900   4 20 apollon119 901    870     5785767936 10200   4 20 apollon089 901    873     3668414464 10100   4 20 apollon149 902    862     4344168448 9700   4 20 apollon145 901    870     5418405888 10500   4 20 apollon009 1010    485     8829251584 7850   4 20 apollon165
array-examples/standard_allDiff2_false-unreach-call_ground.i 853    822     14999998464 11500   apollon047 1040    488     10538516480 7950   7 18 apollon101 816    784     15000002560 9750   apollon113 919    444     10396917760 7420   7 18 apollon020 791    762     14999998464 10200   apollon052 901    872     11456425984 10200   7 18 apollon045 932    383     10763550720 7190   7 18 apollon064 901    869     12623974400 11000   7 18 apollon165 902    514     9933598720 7070   7 18 apollon097
array-examples/standard_copy1_false-unreach-call_ground.i 901    871     7159832576 11500   1 8 apollon163 901    864     3972120576 10800   1 8 apollon001 901    869     6993711104 9510   1 8 apollon003 901    862     4283068416 11000   1 8 apollon046 901    875     5770637312 11900   1 8 apollon155 901    871     3668566016 9390   1 8 apollon143 901    862     3958272000 9570   1 8 apollon134 901    876     3511099392 9010   1 8 apollon022 901    860     4286885888 9560   1 8 apollon115
array-examples/standard_copy2_false-unreach-call_ground.i 901    873     7714041856 11700   1 10 apollon155 901    866     4257099776 10600   1 10 apollon144 901    868     7833923584 9170   1 10 apollon151 901    860     4274081792 9340   1 10 apollon092 901    875     5996146688 10200   1 10 apollon137 901    874     2252541952 10100   1 10 apollon156 901    859     4179361792 10000   1 10 apollon018 901    876     3912654848 9580   1 10 apollon086 901    861     4305072128 11300   1 10 apollon059
array-examples/standard_copy3_false-unreach-call_ground.i 901    873     8198316032 10800   1 12 apollon076 901    868     4166090752 9830   1 12 apollon043 901    869     8902139904 9660   1 12 apollon043 901    861     4310626304 9130   1 12 apollon002 901    876     5741015040 11100   1 12 apollon096 901    874     3573149696 9440   1 12 apollon144 901    861     4183842816 9050   1 12 apollon089 901    877     4085927936 10900   1 12 apollon165 901    862     4313337856 13600   1 12 apollon039
array-examples/standard_copy4_false-unreach-call_ground.i 901    872     9187676160 12200   1 14 apollon077 901    862     4255326208 9790   1 14 apollon002 901    868     9251094528 12800   1 14 apollon021 901    859     4368191488 10200   1 14 apollon168 901    876     6271770624 10100   1 14 apollon041 901    879     3209969664 10100   1 14 apollon018 901    862     4300959744 9780   1 14 apollon051 901    878     4716142592 12600   1 14 apollon161 901    858     4379344896 9700   1 14 apollon066
array-examples/standard_copy5_false-unreach-call_ground.i 901    872     9398464512 10900   1 16 apollon162 901    863     4358950912 10200   1 16 apollon109 901    871     9945030656 10900   1 16 apollon019 901    858     4414050304 10300   1 16 apollon163 901    877     6743638016 10900   1 16 apollon135 901    882     5452111872 9180   1 16 apollon002 902    861     4366921728 9130   1 16 apollon089 901    878     4847685632 11100   1 16 apollon059 901    861     4373803008 10100   1 16 apollon107
array-examples/standard_copy6_false-unreach-call_ground.i 901    873     10135056384 10600   1 18 apollon120 901    862     4364943360 10100   1 18 apollon053 901    872     10393350144 9810   1 18 apollon109 901    857     4406722560 9270   1 18 apollon145 901    877     7831818240 10500   1 18 apollon103 901    883     3953311744 9010   1 18 apollon157 902    863     4260003840 11000   1 18 apollon065 901    878     5527666688 9710   1 18 apollon066 901    859     4362510336 11100   1 18 apollon085
array-examples/standard_copy7_false-unreach-call_ground.i 901    876     10718814208 10100   1 20 apollon127 901    863     4300976128 10400   1 20 apollon055 901    872     10601345024 8870   1 20 apollon157 901    855     4475424768 12000   1 20 apollon014 901    876     7919038464 12700   1 20 apollon088 901    882     4498886656 10300   1 20 apollon083 902    859     4464230400 11200   1 20 apollon052 901    878     5508476928 11300   1 20 apollon065 901    855     4436320256 10200   1 20 apollon090
array-examples/standard_copy8_false-unreach-call_ground.i 901    874     11082092544 10500   1 22 apollon144 901    864     4335857664 10100   1 22 apollon150 901    872     11075960832 10800   1 22 apollon028 901    855     4537253888 10500   1 22 apollon075 902    877     8465747968 11200   1 22 apollon038 901    884     4376416256 10700   1 22 apollon079 901    857     4444549120 9570   1 22 apollon102 901    879     5893455872 9960   1 22 apollon105 901    855     4488413184 11600   1 22 apollon036
array-examples/standard_copy9_false-unreach-call_ground.i 901    874     11307061248 11700   1 24 apollon136 901    859     4479578112 11900   1 24 apollon106 901    873     11271647232 9830   1 24 apollon138 901    855     4541300736 9800   1 24 apollon015 901    878     8823939072 11400   1 24 apollon085 901    885     5178716160 9490   1 24 apollon166 902    857     4493893632 9180   1 24 apollon131 901    879     6242332672 12300   1 24 apollon160 901    855     4567195648 7890   1 24 apollon063
array-examples/standard_copyInitSum2_false-unreach-call_ground.i 901    885     4166184960 14100   1 10 apollon016 901    884     2026463232 13100   1 10 apollon081 901    882     4394553344 11900   1 10 apollon147 901    884     1927884800 14500   1 10 apollon111 901    887     3418787840 12200   1 10 apollon015 901    889     2045030400 10800   1 10 apollon043 901    883     2199068672 12600   1 10 apollon091 901    876     3299745792 11500   1 10 apollon019 901    860     4250107904 9460   1 10 apollon074
array-examples/standard_init1_false-unreach-call_ground.i 901    885     4019453952 12000   1 6 apollon168 901    886     1459920896 11600   1 6 apollon073 901    881     3529576448 14500   1 6 apollon056 901    882     1562341376 13300   1 6 apollon126 901    885     3148484608 11400   1 6 apollon144 901    888     1565843456 12700   1 6 apollon048 901    884     1568497664 13800   1 6 apollon036 901    875     2944446464 9450   1 6 apollon022 901    863     4209819648 10100   1 6 apollon067
array-examples/standard_init2_false-unreach-call_ground.i 901    883     3375915008 12900   1 8 apollon064 901    885     1436934144 11800   1 8 apollon058 901    880     3506667520 13600   1 8 apollon069 901    883     1448427520 10900   1 8 apollon043 901    885     3203043328 13000   1 8 apollon068 901    888     1578328064 11600   1 8 apollon050 901    884     1758048256 12900   1 8 apollon164 901    876     3189014528 12000   1 8 apollon064 901    860     4211539968 9950   1 8 apollon098
array-examples/standard_init3_false-unreach-call_ground.i 901    882     3364098048 12100   1 10 apollon038 901    886     1540280320 12000   1 10 apollon118 901    879     3527004160 11900   1 10 apollon153 901    883     1322594304 12000   1 10 apollon147 901    885     3157512192 11000   1 10 apollon100 901    888     1630699520 10900   1 10 apollon128 901    885     1629736960 11600   1 10 apollon050 901    875     3053228032 10200   1 10 apollon109 902    861     4204859392 10100   1 10 apollon138
array-examples/standard_init4_false-unreach-call_ground.i 901    882     3363950592 11800   1 12 apollon097 901    885     1459929088 10900   1 12 apollon143 901    879     3546804224 13800   1 12 apollon030 901    884     1506181120 12000   1 12 apollon102 901    885     3177648128 13200   1 12 apollon028 901    889     2055385088 11700   1 12 apollon131 901    884     1549258752 10800   1 12 apollon043 901    875     3076177920 11200   1 12 apollon017 902    862     4206231552 10500   1 12 apollon070
array-examples/standard_init5_false-unreach-call_ground.i 901    883     3354750976 12800   1 14 apollon010 901    884     1363218432 12900   1 14 apollon065 901    879     3562221568 12900   1 14 apollon064 901    885     1563369472 12600   1 14 apollon046 901    886     3157102592 12500   1 14 apollon114 901    889     1534881792 11200   1 14 apollon099 901    883     1609019392 13200   1 14 apollon047 901    875     3245682688 12200   1 14 apollon167 901    863     4210958336 11800   1 14 apollon010
array-examples/standard_init6_false-unreach-call_ground.i 901    883     3376648192 11100   1 16 apollon116 901    885     1443647488 11900   1 16 apollon135 901    879     3425202176 12400   1 16 apollon114 901    881     1521532928 14000   1 16 apollon016 901    885     3177500672 11300   1 16 apollon003 901    888     1716072448 11800   1 16 apollon037 901    885     1635831808 11600   1 16 apollon050 901    876     3079974912 10700   1 16 apollon062 902    862     4293009408 9250   1 16 apollon166
array-examples/standard_init7_false-unreach-call_ground.i 901    882     3336421376 11600   1 18 apollon131 901    885     1376174080 11200   1 18 apollon083 901    880     3415654400 11000   1 18 apollon099 901    884     1514291200 10900   1 18 apollon128 901    885     3140841472 13300   1 18 apollon159 901    889     1577238528 13400   1 18 apollon126 901    887     1719316480 12400   1 18 apollon101 901    875     3388522496 9430   1 18 apollon041 901    862     4293582848 9660   1 18 apollon055
array-examples/standard_init8_false-unreach-call_ground.i 901    883     3380441088 14000   1 20 apollon044 901    886     1445507072 12200   1 20 apollon096 901    880     3529379840 13700   1 20 apollon125 901    884     1488347136 11500   1 20 apollon119 901    885     3155165184 13300   1 20 apollon122 901    889     1768513536 11400   1 20 apollon137 901    885     1799495680 11400   1 20 apollon090 901    874     2921340928 9270   1 20 apollon157 901    865     4194164736 9510   1 20 apollon131
array-examples/standard_init9_false-unreach-call_ground.i 901    883     3401117696 13100   1 22 apollon155 901    884     1383702528 10900   1 22 apollon089 901    879     3397984256 13600   1 22 apollon148 901    884     1426935808 12800   1 22 apollon024 901    885     3018240000 11900   1 22 apollon162 901    889     1552904192 13100   1 22 apollon068 901    885     1613852672 13700   1 22 apollon148 901    875     3040374784 8800   1 22 apollon123 901    862     4230615040 10200   1 22 apollon048
array-examples/standard_minInArray_false-unreach-call_ground.i 901    870     5656006656 12500   3 8 apollon130 901    859     7742464000 10200   3 8 apollon001 903    867     6529626112 12100   3 8 apollon030 901    854     8295366656 9220   3 8 apollon035 901    871     4748783616 11800   3 8 apollon027 902    868     2818260992 10200   3 8 apollon119 902    854     9001373696 8190   3 8 apollon023 901    871     4696977408 9850   3 8 apollon003 902    500     10242445312 7250   3 8 apollon073
array-examples/standard_partition_false-unreach-call_ground.i 901    873     7806283776 10200   3 14 apollon013 902    857     12174176256 8880   3 14 apollon093 902    866     7995035648 10500   3 14 apollon079 902    857     12540297216 10300   3 14 apollon011 901    875     6699954176 10700   3 14 apollon121 901    879     3164807168 9240   3 14 apollon151 902    855     13116407808 7270   3 14 apollon153 901    873     5190414336 10600   3 14 apollon136 901    553     10178777088 8550   3 14 apollon112
array-examples/standard_running_false-unreach-call.i 901    871     7009058816 10500   3 16 apollon127 901    862     4387487744 10100   3 16 apollon143 901    860     7185678336 11600   3 16 apollon004 901    851     4281761792 12900   3 16 apollon080 901    870     6447595520 11100   3 16 apollon107 901    872     4138913792 12400   3 16 apollon126 902    860     4308307968 12600   3 16 apollon069 901    870     4959711232 10600   3 16 apollon038 901    467     10244857856 6420   apollon043
array-examples/data_structures_set_multi_proc_trivial_true-unreach-call_ground_true-termination.i 901    869     10380939264 9700   5 22 apollon074 901    853     7711076352 10600   5 22 apollon165 902    868     10360287232 9040   5 22 apollon166 901    840     7918641152 10900   5 22 apollon091 901    869     8463269888 10600   5 22 apollon162 901    873     5688877056 8820   5 22 apollon137 902    849     6315458560 8520   5 22 apollon034 901    871     7114960896 8770   5 22 apollon158 902    843     7929851904 9320   5 22 apollon023
array-examples/data_structures_set_multi_proc_true-unreach-call_ground.i 902    857     10305486848 10800   8 18 apollon165 811    721     14999998464 8730   apollon055 902    840     10848149504 10500   8 18 apollon072 778    700     14999998464 9160   apollon020 902    857     9376518144 9510   8 18 apollon023 902    863     7454662656 9340   8 18 apollon095 833    747     15000002560 8640   apollon162 902    820     8014872576 9170   8 18 apollon107 904    780     14014853120 8510   8 18 apollon097
array-examples/relax_true-unreach-call.i 13.0  3.69  390250496 112   apollon132 12.3  3.53  473997312 105   apollon024 13.4  3.72  475750400 104   apollon117 13.2  3.71  413634560 117   apollon118 12.8  3.67  480518144 107   apollon086 12.9  3.66  394817536 107   apollon157 13.9  3.89  487989248 125   apollon094 901    696     8782229504 11900   32 48 apollon161 902    736     6771052544 10700   32 48 apollon070
array-examples/sanfoundry_02_true-unreach-call_ground.i 901    868     6252318720 11000   7 18 apollon015 901    541     9016295424 7870   7 18 apollon107 901    864     6546186240 10400   7 18 apollon133 902    570     11051118592 7380   7 18 apollon023 901    869     5844127744 11200   7 18 apollon082 901    869     2761830400 11600   7 18 apollon052 1060    356     10798374912 7350   apollon028 901    871     4820185088 9660   7 18 apollon037 901    561     9192079360 8630   7 18 apollon052
array-examples/sanfoundry_10_true-unreach-call_ground.i 901    869     5102088192 10700   7 16 apollon075 901    875     3102519296 11400   7 16 apollon011 901    865     5704708096 10600   7 16 apollon009 901    873     4018712576 11200   7 16 apollon113 901    869     4876947456 10500   7 16 apollon025 901    871     2594226176 11800   7 16 apollon068 902    876     2998751232 10200   7 16 apollon109 901    871     4127428608 12800   7 16 apollon030 901    872     4259012608 8480   7 16 apollon063
array-examples/sanfoundry_24_true-unreach-call_true-termination.i 104    86.4   2056798208 1290   9 10 apollon022 105    86.8   2389774336 1260   9 10 apollon131 105    87.2   2123583488 1310   9 10 apollon162 105    86.6   2203205632 1420   9 10 apollon159 104    87.2   2325979136 1260   9 10 apollon026 104    86.9   2172518400 1170   9 10 apollon029 105    87.3   2390831104 1240   9 10 apollon066 104    88.2   2207068160 1280   9 10 apollon050 105    88.8   2049347584 1330   9 10 apollon147
array-examples/sanfoundry_27_true-unreach-call_ground.i 901    871     6460817408 10300   3 8 apollon100 901    477     11104108544 7750   3 8 apollon114 901    862     6638157824 9950   3 8 apollon032 902    506     9840578560 7130   3 8 apollon126 901    871     5591044096 10300   3 8 apollon013 901    866     2808860672 10600   3 8 apollon084 1060    409     11126534144 7270   apollon152 901    873     4273709056 11500   3 8 apollon017 902    486     9793417216 7100   3 8 apollon099
array-examples/sanfoundry_43_true-unreach-call_ground.i 901    868     5371138048 11000   1 6 apollon147 901    862     5398020096 9890   1 6 apollon013 901    867     5405908992 9400   1 6 apollon089 901    862     5678280704 10700   1 6 apollon059 901    872     4735299584 10200   1 6 apollon002 901    868     2922188800 10600   1 6 apollon033 901    864     4799655936 8790   1 6 apollon009 901    875     3024248832 10300   1 6 apollon090 901    864     5282078720 8820   1 6 apollon074
array-examples/sorting_bubblesort_true-unreach-call_ground.i 901    871     6928314368 13000   4 12 apollon080 901    852     8482533376 9530   4 12 apollon146 901    865     7020449792 10300   4 12 apollon015 902    850     8672440320 8030   4 12 apollon078 901    871     5586243584 11000   4 12 apollon152 901    874     4117409792 11200   4 12 apollon114 902    854     9150484480 9810   4 12 apollon058 901    870     5845106688 13600   4 12 apollon057 902    848     9246806016 12200   4 12 apollon088
array-examples/sorting_selectionsort_true-unreach-call_ground.i 901    870     7083343872 10100   4 20 apollon098 901    861     4269768704 12000   4 20 apollon024 901    865     7238389760 12000   4 20 apollon164 902    859     4379324416 9460   4 20 apollon123 901    871     6129799168 10300   4 20 apollon127 901    874     3667079168 11800   4 20 apollon091 902    862     4347170816 9970   4 20 apollon097 901    870     5368999936 10700   4 20 apollon009 902    491     9240748032 7000   4 20 apollon134
array-examples/standard_compareModified_true-unreach-call_ground.i 901    871     7869755392 11300   3 12 apollon011 901    855     4497825792 10200   3 12 apollon138 901    862     8070479872 10100   3 12 apollon051 902    853     4535582720 8850   3 12 apollon145 901    871     6770352128 9330   3 12 apollon104 901    879     5083607040 11300   3 12 apollon068 902    852     4445110272 9760   3 12 apollon117 901    874     5177556992 9550   3 12 apollon089 902    469     10244202496 7280   3 12 apollon165
array-examples/standard_compare_true-unreach-call_ground.i 901    870     6866235392 11000   3 10 apollon070 902    857     7876980736 8970   3 10 apollon078 901    865     7304540160 10200   3 10 apollon121 901    854     8492494848 9200   3 10 apollon119 901    871     6009462784 10900   3 10 apollon129 901    871     2356572160 10100   3 10 apollon126 902    858     9446535168 7030   3 10 apollon139 901    872     4983275520 10700   3 10 apollon062 901    464     9896706048 7190   3 10 apollon072
array-examples/standard_copy1_true-unreach-call_ground.i 901    872     7150678016 9340   1 8 apollon158 901    865     4104695808 11800   1 8 apollon007 901    870     7188037632 10900   1 8 apollon087 901    863     4313010176 9310   1 8 apollon092 901    875     5378129920 10900   1 8 apollon133 901    873     2744311808 9670   1 8 apollon043 902    864     4073054208 10100   1 8 apollon133 901    876     3442941952 9990   1 8 apollon117 901    864     4250521600 9780   1 8 apollon055
array-examples/standard_copy2_true-unreach-call_ground.i 901    874     7854911488 11000   1 10 apollon147 902    865     4201558016 12000   1 10 apollon065 901    870     7848595456 11600   1 10 apollon010 901    862     4226457600 11600   1 10 apollon065 901    873     5764222976 12200   1 10 apollon007 901    876     3298922496 12600   1 10 apollon148 902    863     3957460992 10900   1 10 apollon007 901    877     3702312960 10600   1 10 apollon001 901    862     4277297152 9170   1 10 apollon002
array-examples/standard_copy3_true-unreach-call_ground.i 901    873     8760061952 12000   1 12 apollon005 901    866     4260556800 12600   1 12 apollon036 901    870     8581447680 10100   1 12 apollon073 901    861     4257837056 10900   1 12 apollon049 901    876     5744766976 12000   1 12 apollon155 901    873     3582722048 9060   1 12 apollon029 902    862     4104376320 9470   1 12 apollon101 901    877     3727335424 9630   1 12 apollon101 901    863     4260560896 13100   1 12 apollon044
array-examples/standard_copy4_true-unreach-call_ground.i 901    874     8862945280 9380   1 14 apollon123 901    863     4229300224 11200   1 14 apollon085 901    868     8852082688 10500   1 14 apollon033 901    859     4304248832 9700   1 14 apollon120 901    876     6350426112 10900   1 14 apollon152 901    881     3453984768 10200   1 14 apollon026 902    862     4305539072 9270   1 14 apollon060 901    877     4623581184 9940   1 14 apollon134 901    861     4343971840 11400   1 14 apollon071
array-examples/standard_copy5_true-unreach-call_ground.i 901    875     9830887424 10800   1 16 apollon072 901    862     4339527680 13000   1 16 apollon016 901    871     9927389184 10300   1 16 apollon156 901    858     4387880960 9000   1 16 apollon002 901    876     7386185728 11100   1 16 apollon051 901    882     3602681856 10100   1 16 apollon144 902    867     4242141184 10200   1 16 apollon163 901    879     5735014400 11700   1 16 apollon010 901    861     4355596288 10000   1 16 apollon110
array-examples/standard_copy6_true-unreach-call_ground.i 901    874     10506104832 10900   1 18 apollon001 901    865     4367360000 10800   1 18 apollon135 901    873     10476830720 10400   1 18 apollon075 901    860     4395487232 11300   1 18 apollon122 901    876     6911377408 11300   1 18 apollon067 901    882     4410580992 11600   1 18 apollon019 902    865     4307197952 9280   1 18 apollon074 901    879     5631561728 13000   1 18 apollon044 901    859     4401836032 13300   1 18 apollon057
array-examples/standard_copy7_true-unreach-call_ground.i 901    875     10725695488 10000   1 20 apollon098 901    861     4359360512 10300   1 20 apollon003 901    869     10805116928 10600   1 20 apollon084 901    858     4371849216 9640   1 20 apollon023 901    878     7913250816 11000   1 20 apollon121 901    884     4101763072 10400   1 20 apollon144 902    860     4322713600 10200   1 20 apollon156 901    877     5448273920 10100   1 20 apollon048 901    857     4424175616 10300   1 20 apollon105
array-examples/standard_copy8_true-unreach-call_ground.i 901    874     11142705152 11100   1 22 apollon147 901    863     4379103232 11000   1 22 apollon142 901    872     11132911616 11100   1 22 apollon027 901    858     4441120768 10600   1 22 apollon049 901    878     8557948928 11300   1 22 apollon124 901    884     4690370560 9720   1 22 apollon089 902    860     4396883968 10600   1 22 apollon049 901    879     5951913984 11100   1 22 apollon091 901    857     4479832064 10200   1 22 apollon133
array-examples/standard_copy9_true-unreach-call_ground.i 901    872     11534217216 10700   1 24 apollon154 901    860     4429967360 9820   1 24 apollon043 901    870     11447164928 10200   1 24 apollon050 901    857     4453253120 11300   1 24 apollon091 901    877     8782622720 13200   1 24 apollon030 901    883     5632450560 10300   1 24 apollon003 902    860     4384436224 9760   1 24 apollon118 901    878     5894946816 10500   1 24 apollon026 901    855     4535156736 9950   1 24 apollon066
array-examples/standard_copyInitSum2_true-unreach-call_ground.i 901    885     4063924224 12600   1 10 apollon124 901    883     2000293888 11900   1 10 apollon153 901    880     4013400064 13600   1 10 apollon125 901    885     1892012032 12500   1 10 apollon052 901    885     3294699520 11200   1 10 apollon066 901    890     2135621632 12600   1 10 apollon046 901    881     2053414912 12500   1 10 apollon020 901    876     3343159296 10000   1 10 apollon015 901    861     4261376000 9390   1 10 apollon012
array-examples/standard_copyInitSum3_true-unreach-call_ground.i 901    885     4166082560 12100   1 12 apollon142 901    883     1830830080 11700   1 12 apollon058 901    878     4159311872 11800   1 12 apollon087 901    884     1934798848 12400   1 12 apollon052 901    886     3483152384 12000   1 12 apollon022 901    889     1889423360 10300   1 12 apollon054 901    884     2269224960 11000   1 12 apollon104 901    876     3476086784 10100   1 12 apollon117 901    860     4254142464 10100   1 12 apollon117
array-examples/standard_copyInitSum_true-unreach-call_ground.i 901    884     4140359680 11500   1 10 apollon144 901    884     1851523072 10400   1 10 apollon151 901    878     4078678016 12500   1 10 apollon020 901    883     2016055296 13000   1 10 apollon108 901    885     3408138240 11200   1 10 apollon086 901    889     1891704832 11300   1 10 apollon115 901    884     2149212160 12400   1 10 apollon114 901    875     3311345664 12800   1 10 apollon148 901    859     4263718912 12100   1 10 apollon064
array-examples/standard_copyInit_true-unreach-call_ground.i 901    884     4143042560 11500   1 8 apollon073 901    883     1772929024 11600   1 8 apollon110 901    881     4159713280 11700   1 8 apollon165 901    884     2097537024 12000   1 8 apollon076 901    886     3446804480 12700   1 8 apollon112 901    889     2129842176 12100   1 8 apollon102 901    883     2280148992 11600   1 8 apollon001 901    875     3725426688 9850   1 8 apollon134 901    860     4254789632 10400   1 8 apollon038
array-examples/standard_find_true-unreach-call_ground.i 901    872     5688352768 10900   1 10 apollon110 901    867     3328860160 12800   1 10 apollon148 901    870     6549954560 10800   1 10 apollon058 901    864     4216504320 13700   1 10 apollon057 901    871     5174398976 11000   1 10 apollon165 901    869     2785267712 10300   1 10 apollon090 902    864     3193524224 11000   1 10 apollon046 901    874     2914058240 10100   1 10 apollon066 901    862     4217344000 10600   1 10 apollon155
array-examples/standard_init1_true-unreach-call_ground.i 901    882     3361538048 12200   1 6 apollon093 901    885     1477496832 13600   1 6 apollon088 901    880     3542679552 11500   1 6 apollon144 901    884     1502736384 12000   1 6 apollon162 901    885     3185532928 13700   1 6 apollon125 901    888     1601667072 10300   1 6 apollon054 901    887     1514528768 11000   1 6 apollon127 901    875     2853486592 10400   1 6 apollon121 901    863     4224835584 13100   1 6 apollon111
array-examples/standard_init2_true-unreach-call_ground.i 901    883     3370004480 11600   1 8 apollon154 901    883     1391775744 11900   1 8 apollon095 901    880     3372982272 11500   1 8 apollon157 901    884     1475551232 11700   1 8 apollon119 901    884     3130429440 13600   1 8 apollon014 901    888     1606934528 13500   1 8 apollon094 901    885     1622720512 11700   1 8 apollon129 901    874     3316604928 11100   1 8 apollon047 901    861     4308504576 9600   1 8 apollon040
array-examples/standard_init3_true-unreach-call_ground.i 901    882     3386195968 10900   1 10 apollon143 901    886     1439748096 13000   1 10 apollon068 901    880     3544551424 12800   1 10 apollon024 901    883     1483792384 11800   1 10 apollon121 901    885     3187019776 11200   1 10 apollon166 901    889     1597673472 10500   1 10 apollon092 901    885     1566715904 13300   1 10 apollon014 901    875     3202428928 11900   1 10 apollon112 901    861     4208607232 11000   1 10 apollon046
array-examples/standard_init4_true-unreach-call_ground.i 901    882     3371462656 13600   1 12 apollon163 901    885     1456238592 12200   1 12 apollon061 901    879     3508879360 11000   1 12 apollon100 901    882     1282056192 11700   1 12 apollon075 901    885     3172450304 12000   1 12 apollon168 901    888     1713102848 10900   1 12 apollon002 901    886     1728016384 11200   1 12 apollon099 901    876     3161366528 9810   1 12 apollon074 901    861     4299071488 10300   1 12 apollon050
array-examples/standard_init5_true-unreach-call_ground.i 901    883     3346374656 10200   1 14 apollon158 901    885     1456037888 11500   1 14 apollon150 901    880     3394093056 10900   1 14 apollon149 901    884     1449848832 13100   1 14 apollon019 901    885     3186647040 14000   1 14 apollon044 901    889     1573814272 13200   1 14 apollon167 901    886     1645494272 14000   1 14 apollon044 901    875     3018280960 10500   1 14 apollon051 901    862     4222124032 10600   1 14 apollon062
array-examples/standard_init6_true-unreach-call_ground.i 901    883     3393482752 11000   1 16 apollon060 901    884     1354330112 12000   1 16 apollon087 901    880     3372261376 14600   1 16 apollon111 901    883     1278697472 12700   1 16 apollon010 901    887     3184320512 11600   1 16 apollon131 901    888     1584566272 11800   1 16 apollon120 901    886     1551331328 10900   1 16 apollon002 901    875     2971041792 12500   1 16 apollon130 901    861     4289531904 9630   1 16 apollon055
array-examples/standard_init7_true-unreach-call_ground.i 901    882     3354087424 12100   1 18 apollon085 901    884     1411211264 11800   1 18 apollon135 901    879     3481190400 12200   1 18 apollon015 901    884     1448464384 10500   1 18 apollon029 901    885     3229593600 12200   1 18 apollon096 901    889     1590321152 10500   1 18 apollon151 901    885     1722826752 10500   1 18 apollon092 901    876     3210833920 9570   1 18 apollon089 901    862     4290027520 9880   1 18 apollon152
array-examples/standard_init8_true-unreach-call_ground.i 901    882     3372105728 11100   1 20 apollon086 901    886     1438597120 11100   1 20 apollon109 901    881     3464122368 10900   1 20 apollon143 901    882     1490112512 10800   1 20 apollon128 901    884     3208597504 12500   1 20 apollon020 901    889     1787650048 11600   1 20 apollon026 901    885     1575907328 10800   1 20 apollon043 901    874     2903572480 10300   1 20 apollon031 901    861     4216762368 10300   1 20 apollon168
array-examples/standard_init9_true-unreach-call_ground.i 901    882     3359031296 11300   1 22 apollon045 901    885     1600274432 12200   1 22 apollon070 901    879     3379900416 13700   1 22 apollon125 901    883     1388843008 11800   1 22 apollon121 901    884     3161976832 12700   1 22 apollon112 901    889     1650782208 10200   1 22 apollon158 901    884     1649709056 11900   1 22 apollon118 901    875     3309576192 10100   1 22 apollon018 901    860     4226060288 9630   1 22 apollon025
array-examples/standard_maxInArray_true-unreach-call_ground.i 901    871     5750939648 12000   3 8 apollon132 902    858     7793065984 10600   3 8 apollon028 901    865     6524628992 9460   3 8 apollon097 901    855     8209305600 9900   3 8 apollon027 901    869     4530774016 12500   3 8 apollon088 901    866     2602131456 9170   3 8 apollon153 902    857     8978726912 8080   3 8 apollon040 901    872     4792197120 9550   3 8 apollon037 901    535     9939431424 7530   3 8 apollon076
array-examples/standard_minInArray_true-unreach-call_ground.i 901    870     5625049088 9880   3 8 apollon153 901    856     7741018112 9570   3 8 apollon135 901    866     6432514048 10800   3 8 apollon046 901    853     8370663424 9470   3 8 apollon162 902    872     5032722432 10700   3 8 apollon048 901    866     2388303872 9850   3 8 apollon119 902    856     8917319680 10400   3 8 apollon069 901    872     4069908480 10500   3 8 apollon146 910    417     8400924672 5970   3 8 apollon157
array-examples/standard_palindrome_true-unreach-call_ground.i 901    871     6471602176 10300   1 6 apollon149 901    865     4069773312 12300   1 6 apollon077 901    870     6579892224 9800   1 6 apollon003 901    863     4198494208 9570   1 6 apollon089 901    873     4760117248 12600   1 6 apollon014 901    868     2940747776 9970   1 6 apollon118 902    863     4123090944 9600   1 6 apollon025 901    876     3325648896 10200   1 6 apollon067 901    862     4185546752 8610   1 6 apollon158
array-examples/standard_partial_init_true-unreach-call_ground.i 901    872     7281328128 11100   3 10 apollon147 902    864     5025144832 9530   3 10 apollon002 901    869     7790342144 10800   3 10 apollon095 901    855     5016465408 12700   3 10 apollon080 901    873     5290680320 11700   3 10 apollon136 901    880     4115476480 9890   3 10 apollon015 902    865     4643491840 13000   3 10 apollon111 901    873     5205188608 9190   3 10 apollon145 901    636     10307977216 7100   3 10 apollon104
array-examples/standard_partition_original_true-unreach-call_ground.i 901    869     7851761664 12600   3 10 apollon130 902    847     10795773952 8960   3 10 apollon139 902    866     7847411712 13100   3 10 apollon080 902    843     11537334272 8980   3 10 apollon151 901    872     6659854336 10500   3 10 apollon035 901    878     3082584064 10700   3 10 apollon079 902    850     13258629120 9630   3 10 apollon001 901    874     5186424832 9150   3 10 apollon078 901    481     9858674688 6370   3 10 apollon023
array-examples/standard_partition_true-unreach-call_ground.i 901    868     6965624832 9470   3 12 apollon022 902    859     11329052672 9220   3 12 apollon118 901    863     7193931776 10200   3 12 apollon108 902    853     11535773696 9770   3 12 apollon122 901    872     6282907648 10500   3 12 apollon120 901    879     4174938112 8270   3 12 apollon123 902    851     10206638080 9900   3 12 apollon083 901    874     4942954496 9800   3 12 apollon037 954    532     9255174144 8120   3 12 apollon084
array-examples/standard_password_true-unreach-call_ground.i 901    868     7036997632 13600   3 10 apollon056 902    860     7895261184 12800   3 10 apollon044 901    865     7144828928 10300   3 10 apollon110 901    856     8576479232 9760   3 10 apollon026 901    871     6411722752 11900   3 10 apollon010 901    877     3899392000 9050   3 10 apollon089 902    855     9259827200 7070   3 10 apollon022 901    871     4965351424 10200   3 10 apollon117 901    549     9207029760 7200   3 10 apollon152
array-examples/standard_reverse_true-unreach-call_ground.i 901    873     6951182336 10500   1 6 apollon137 902    863     4259680256 10400   1 6 apollon045 901    870     7109357568 10200   1 6 apollon141 901    863     4258115584 9910   1 6 apollon100 901    874     5496872960 11000   1 6 apollon133 901    874     2773295104 9440   1 6 apollon131 902    861     4025987072 9980   1 6 apollon090 901    874     3210510336 10500   1 6 apollon033 901    863     4295225344 12400   1 6 apollon088
array-examples/standard_running_true-unreach-call.i 901    870     7092912128 11600   3 16 apollon096 902    863     4301803520 10100   3 16 apollon041 901    865     7198773248 12500   3 16 apollon155 902    857     4281257984 12400   3 16 apollon033 901    873     6398971904 10600   3 16 apollon134 901    874     3846017024 11100   3 16 apollon074 902    860     4296192000 11800   3 16 apollon112 901    872     4951715840 9890   3 16 apollon138 903    444     10692669440 7630   3 16 apollon064
array-examples/standard_sentinel_true-unreach-call_true-termination.i 104    87.4   2285211648 1280   7 8 apollon133 105    87.3   2262507520 1370   7 8 apollon048 104    86.9   2190376960 1230   7 8 apollon115 104    86.9   2001063936 1320   7 8 apollon067 104    86.8   2178351104 1350   7 8 apollon152 104    86.8   2086268928 1260   7 8 apollon110 104    87.3   2235871232 1580   7 8 apollon111 104    92.3   3690307584 1270   7 8 apollon062 104    92.6   3697418240 1330   7 8 apollon076
array-examples/standard_seq_init_true-unreach-call_ground.i 901    882     3274657792 11800   1 6 apollon119 901    885     1557434368 13600   1 6 apollon148 901    879     3407044608 11500   1 6 apollon062 901    883     1690480640 13400   1 6 apollon163 901    884     3184631808 11100   1 6 apollon134 901    888     1759735808 12300   1 6 apollon113 901    883     2001498112 13100   1 6 apollon167 901    873     3040964608 11100   1 6 apollon122 901    863     4230381568 9850   1 6 apollon127
array-examples/standard_strcmp_true-unreach-call_ground.i 901    870     7139672064 11200   4 10 apollon048 902    862     8646373376 9920   4 10 apollon045 901    868     7123034112 11100   4 10 apollon011 902    860     8628899840 10200   4 10 apollon007 901    868     6480347136 13900   4 10 apollon039 901    876     4564090880 10200   4 10 apollon134 902    865     9565356032 8820   4 10 apollon164 901    875     3858198528 12400   4 10 apollon130 901    861     9613119488 11500   4 10 apollon014
array-examples/standard_strcpy_original_true-unreach-call.i 901    873     6320295936 13800   1 12 apollon111 901    865     3308953600 11200   1 12 apollon124 901    870     6889918464 12400   1 12 apollon130 901    863     4329443328 12700   1 12 apollon140 901    873     5289590784 13200   1 12 apollon161 901    871     2759327744 11900   1 12 apollon112 902    866     3553095680 9770   1 12 apollon117 901    875     3166228480 9990   1 12 apollon152 901    860     4274536448 11700   1 12 apollon010
array-examples/standard_strcpy_true-unreach-call_ground.i 901    873     6838321152 12100   1 10 apollon132 901    865     3738288128 12100   1 10 apollon006 901    871     6927597568 9990   1 10 apollon043 901    863     4236505088 12200   1 10 apollon077 901    875     5187289088 9650   1 10 apollon123 901    870     2863063040 10300   1 10 apollon121 902    863     3793629184 9590   1 10 apollon055 901    874     3042828288 9760   1 10 apollon025 901    861     4261335040 12400   1 10 apollon130
array-examples/standard_two_index_01_true-unreach-call.i 901    605     9754644480 9210   1 8 apollon142 931    710     5341552640 9040   1 8 apollon123 918    613     9324056576 10300   1 8 apollon036 905    587     6709698560 8510   1 8 apollon075 912    573     9067753472 8040   1 8 apollon083 901    680     7560851456 10300   1 8 apollon093 902    626     7837331456 9280   1 8 apollon107 901    630     7855448064 9310   1 8 apollon011 901    650     7423406080 8700   1 8 apollon131
array-examples/standard_two_index_02_true-unreach-call.i 901    872     6481223680 10900   1 8 apollon034 901    866     3916275712 10800   1 8 apollon118 901    870     6839820288 10400   1 8 apollon033 901    864     4218871808 12000   1 8 apollon069 901    875     5284028416 10600   1 8 apollon086 901    870     2940956672 13700   1 8 apollon056 902    863     3339960320 10600   1 8 apollon165 901    875     3312914432 10100   1 8 apollon048 901    863     4247699456 11400   1 8 apollon047
array-examples/standard_two_index_03_true-unreach-call.i 901    598     9554554880 8610   1 8 apollon090 901    665     8060416000 10800   1 8 apollon027 901    658     8976900096 9570   1 8 apollon033 902    634     8075124736 9000   1 8 apollon009 901    670     8081956864 10800   1 8 apollon047 950    601     11235770368 9210   1 8 apollon135 901    638     8583757824 9670   1 8 apollon165 911    602     9590779904 8360   1 8 apollon109 1000    610     8765460480 8380   1 8 apollon043
array-examples/standard_two_index_04_true-unreach-call.i 901    872     6501396480 12000   1 8 apollon024 901    866     4115132416 11300   1 8 apollon070 901    868     7104126976 9560   1 8 apollon137 901    863     4309966848 10700   1 8 apollon061 901    874     5031284736 12800   1 8 apollon069 901    870     3192643584 10700   1 8 apollon072 902    864     3991576576 11100   1 8 apollon085 901    876     3025235968 9740   1 8 apollon078 901    862     4232630272 11100   1 8 apollon091
array-examples/standard_two_index_05_true-unreach-call.i 901    871     6476689408 10600   1 8 apollon022 901    865     4184330240 10000   1 8 apollon104 901    869     6558535680 10300   1 8 apollon159 901    863     4171403264 11900   1 8 apollon167 901    874     5484310528 11100   1 8 apollon015 901    872     2103521280 9850   1 8 apollon152 902    865     3964674048 10100   1 8 apollon135 901    876     3241013248 9690   1 8 apollon144 901    862     4317364224 11200   1 8 apollon106
array-examples/standard_two_index_06_true-unreach-call.i 901    599     9723027456 8730   1 8 apollon129 901    606     7474405376 9290   1 8 apollon067 977    609     10047909888 9780   1 8 apollon065 1020    640     9432354816 9320   1 8 apollon055 901    694     8136646656 11900   1 8 apollon160 903    589     9489272832 10500   1 8 apollon036 904    633     7467528192 9130   1 8 apollon003 901    683     5254189056 9920   1 8 apollon084 901    474     9362833408 7520   1 8 apollon093
array-examples/standard_two_index_07_true-unreach-call.i 901    871     6793199616 10400   1 8 apollon086 901    865     4107255808 12700   1 8 apollon069 901    870     7039954944 11400   1 8 apollon106 901    862     4187590656 10200   1 8 apollon133 901    875     5333147648 12400   1 8 apollon028 901    868     3283574784 10600   1 8 apollon156 901    865     3918213120 10000   1 8 apollon154 901    876     3253661696 10400   1 8 apollon018 901    862     4316233728 10200   1 8 apollon121
array-examples/standard_two_index_08_true-unreach-call.i 901    873     7043899392 10800   1 8 apollon145 901    864     3902955520 10700   1 8 apollon078 901    870     7234363392 10100   1 8 apollon127 901    865     4254887936 11800   1 8 apollon006 901    875     5224976384 9880   1 8 apollon139 901    872     2926514176 10300   1 8 apollon058 902    863     4004429824 9780   1 8 apollon103 901    876     3378343936 10400   1 8 apollon154 901    861     4339163136 8980   1 8 apollon104
array-examples/standard_two_index_09_true-unreach-call.i 901    872     6658289664 12200   1 8 apollon068 901    866     3801157632 10200   1 8 apollon166 901    869     6982074368 11200   1 8 apollon085 901    859     4313288704 9820   1 8 apollon003 901    875     5779546112 11300   1 8 apollon168 901    873     3036971008 13200   1 8 apollon111 902    863     3382394880 10300   1 8 apollon133 901    875     3226017792 11400   1 8 apollon114 901    862     4211326976 8830   1 8 apollon157
array-examples/standard_vararg_true-unreach-call_ground_true-termination.i 902    837     4939563008 13000   5 6 apollon122 901    841     4933517312 12700   5 6 apollon064 901    836     4906606592 11800   5 6 apollon038 901    824     4577005568 11200   5 6 apollon157 901    845     4423708672 13800   5 6 apollon044 901    838     4531904512 11100   5 6 apollon086 901    836     4519976960 11500   5 6 apollon034 901    830     4518948864 12900   5 6 apollon027 901    826     4454375424 12300   5 6 apollon020
array-examples/standard_vector_difference_true-unreach-call_ground.i 902    874     7687303168 12200   1 6 apollon007 901    862     4291690496 12100   1 6 apollon081 901    870     7964758016 11100   1 6 apollon065 902    861     4269113344 10600   1 6 apollon061 901    875     5586944000 13200   1 6 apollon161 901    873     3080192000 10800   1 6 apollon020 902    865     3505655808 9790   1 6 apollon135 901    876     3491110912 9420   1 6 apollon060 901    861     4285595648 11900   1 6 apollon005
array-industry-pattern/array_assert_loop_dep_false-unreach-call_true-termination.i 901    882     3383156736 14000   1 8 apollon030 901    883     1364443136 12400   1 8 apollon101 901    880     3534753792 11800   1 8 apollon097 901    883     1430302720 12500   1 8 apollon152 901    885     3182981120 12400   1 8 apollon052 901    888     1616400384 11400   1 8 apollon103 901    885     1748459520 12100   1 8 apollon011 901    875     3089039360 9840   1 8 apollon098 902    861     4216578048 10400   1 8 apollon001
array-industry-pattern/array_of_struct_loop_dep_false-unreach-call.i 902    889     5309894656 13000   0 8 apollon114 902    888     4925812736 11600   0 8 apollon109 902    886     5483741184 10700   0 8 apollon123 903    887     4771135488 11600   0 8 apollon042 903    894     4287684608 7100   0 8 apollon050 903    894     4521525248 6090   0 8 apollon153 902    889     5322395648 11600   0 8 apollon099 903    893     4443074560 6010   0 8 apollon119 902    886     4904394752 11500   0 8 apollon099
array-industry-pattern/array_ptr_single_elem_init_false-unreach-call_true-termination.i 901    872     6692286464 11300   7 14 apollon070 902    847     4976144384 9230   7 14 apollon158 901    867     6743359488 12400   7 14 apollon167 902    847     4946448384 13300   7 14 apollon057 901    875     6319468544 11800   7 14 apollon114 902    876     4512092160 9610   7 14 apollon054 902    852     4614180864 10500   7 14 apollon121 901    873     4868435968 12100   7 14 apollon016 902    844     7241621504 10600   7 14 apollon059
array-industry-pattern/array_range_init_false-unreach-call.i 902    888     5412638720 12100   0 10 apollon072 902    889     6056476672 12200   0 10 apollon050 902    887     5748461568 12600   0 10 apollon038 902    886     5505560576 12300   0 10 apollon165 903    895     4282724352 6360   0 10 apollon143 903    895     4735225856 7830   0 10 apollon142 902    889     6110101504 12500   0 10 apollon018 903    895     4342476800 7290   0 10 apollon046 902    887     5601742848 13000   0 10 apollon114
array-industry-pattern/array_single_elem_init_false-unreach-call_true-termination.i 901    870     7454101504 12800   7 14 apollon014 902    853     5335322624 12600   7 14 apollon036 902    864     7401693184 9760   7 14 apollon092 901    846     5288804352 12900   7 14 apollon044 901    871     6548590592 11800   7 14 apollon020 902    876     4903632896 9750   7 14 apollon151 902    847     4809592832 9400   7 14 apollon097 901    871     5173133312 11500   7 14 apollon091 902    836     8257245184 8380   7 14 apollon157
array-industry-pattern/check_removal_from_set_after_insertion_false-unreach-call.i 902    859     5696557056 9750   7 24 apollon086 903    802     7480446976 10100   7 24 apollon119 902    845     5822201856 9870   7 24 apollon116 903    811     7176638464 11100   7 24 apollon071 901    860     6956576768 12500   7 24 apollon130 902    865     5090873344 8960   7 24 apollon066 905    810     7292948480 8260   7 24 apollon157 903    811     5602713600 8190   7 24 apollon029 904    786     7811006464 8720   7 24 apollon151
array-industry-pattern/array_monotonic_true-unreach-call_true-termination.i 903    869     6872825856 11000   3 10 apollon046 901    509     10706554880 7960   3 10 apollon020 902    867     7200256000 10500   3 10 apollon165 901    519     9793777664 7720   3 10 apollon167 901    872     6370508800 10800   3 10 apollon061 901    872     2322153472 9140   3 10 apollon041 1060    378     10759434240 6490   apollon083 901    873     4686856192 10300   3 10 apollon013 944    519     10298638336 6900   3 10 apollon143
array-industry-pattern/array_mul_init_true-unreach-call_true-termination.i 901    882     3949613056 13400   1 14 apollon140 901    887     1726722048 14400   1 14 apollon160 901    883     4433592320 12200   1 14 apollon096 901    884     1831768064 12500   1 14 apollon138 901    886     3331989504 13900   1 14 apollon080 901    889     1931182080 11500   1 14 apollon144 901    887     2205884416 13400   1 14 apollon094 901    875     3212001280 10100   1 14 apollon013 901    862     4248506368 9890   1 14 apollon067
array-industry-pattern/array_of_struct_break_true-unreach-call.i 902    889     5712564224 12300   0 10 apollon156 903    888     5738242048 11700   0 10 apollon137 902    886     5698064384 12900   0 10 apollon071 902    885     5281439744 11400   0 10 apollon134 903    895     4656349184 5020   0 10 apollon123 903    894     4665368576 6730   0 10 apollon049 902    888     5040386048 12000   0 10 apollon144 903    893     4365377536 5910   0 10 apollon118 902    885     5336604672 11300   0 10 apollon100
array-industry-pattern/array_of_struct_ptr_cond_init_true-unreach-call.i 902    890     5719896064 12600   0 10 apollon168 902    887     4956200960 11900   0 10 apollon103 902    888     5459030016 11800   0 10 apollon023 902    886     5569048576 12400   0 10 apollon049 903    895     4582674432 6440   0 10 apollon096 903    895     4169875456 7070   0 10 apollon038 902    889     5383454720 12200   0 10 apollon129 903    895     4438618112 6060   0 10 apollon086 902    885     5918769152 12000   0 10 apollon107
array-industry-pattern/array_of_struct_ptr_flag_init_true-unreach-call.i 901    871     6929657856 12600   1 12 apollon130 901    860     4315471872 10200   1 12 apollon013 901    870     6882557952 10400   1 12 apollon050 901    856     4837244928 9780   1 12 apollon120 901    873     6068645888 13100   1 12 apollon016 901    872     2023346176 10200   1 12 apollon031 902    863     4377784320 11300   1 12 apollon114 901    875     3168882688 9770   1 12 apollon143 902    856     4690767872 9780   1 12 apollon115
array-industry-pattern/array_of_struct_ptr_monotonic_true-unreach-call.i 902    888     5811232768 13300   0 10 apollon065 901    887     5255872512 15500   0 10 apollon039 902    886     5886087168 13300   0 10 apollon010 902    887     5304492032 11200   0 10 apollon098 903    895     4653248512 9330   0 10 apollon044 903    895     4157874176 6830   0 10 apollon061 902    888     5924126720 12400   0 10 apollon162 903    895     4513341440 6970   0 10 apollon126 902    885     5411299328 12000   0 10 apollon079
array-industry-pattern/array_of_struct_ptr_mul_init_true-unreach-call.i 901    884     5717704704 13100   0 14 apollon020 902    883     5455294464 13600   0 14 apollon081 901    883     4914319360 12000   0 14 apollon090 901    881     6105890816 12800   0 14 apollon084 904    894     6623711232 9440   0 14 apollon131 904    895     7256637440 11800   0 14 apollon160 901    880     6449876992 12900   0 14 apollon141 904    894     6845001728 9820   0 14 apollon031 901    881     6140125184 13800   0 14 apollon126
array-industry-pattern/array_of_struct_single_elem_init_true-unreach-call.i 901    883     6447730688 15500   0 12 apollon039 902    882     6343032832 15200   0 12 apollon057 901    881     6310109184 13400   0 12 apollon005 902    879     6099390464 13500   0 12 apollon007 905    895     9098493952 9060   0 12 apollon042 905    895     9089667072 10800   0 12 apollon033 901    882     6217773056 12700   0 12 apollon096 905    895     9009754112 10000   0 12 apollon146 901    878     5326405632 11200   0 12 apollon139
array-industry-pattern/array_ptr_partial_init_true-unreach-call.i 902    889     5420851200 14100   0 8 apollon106 902    889     5777793024 13800   0 8 apollon126 902    887     5593980928 12700   0 8 apollon011 902    886     5305069568 10800   0 8 apollon123 903    895     4132921344 5980   0 8 apollon109 903    895     4567007232 7540   0 8 apollon028 902    888     5578203136 11800   0 8 apollon086 903    895     4521177088 7360   0 8 apollon050 902    885     5531013120 13100   0 8 apollon020
array-industry-pattern/array_ptr_single_elem_init_true-unreach-call.i 902    889     5636976640 12200   0 18 apollon072 902    889     4621701120 12300   0 18 apollon120 902    887     5685796864 12100   0 18 apollon144 902    886     5120425984 12000   0 18 apollon131 903    895     4576661504 6600   0 18 apollon152 903    895     4239769600 7940   0 18 apollon077 902    887     5532491776 12300   0 18 apollon055 903    895     4544966656 6720   0 18 apollon004 902    886     5505081344 11500   0 18 apollon013
array-industry-pattern/array_shadowinit_true-unreach-call_true-termination.i 901    623     8145027072 8820   7 8 apollon013 903    611     7490064384 10900   7 8 apollon014 901    607     8213303296 8710   7 8 apollon066 901    633     7537758208 11200   7 8 apollon161 901    619     7432585216 9660   7 8 apollon009 901    827     4964200448 11000   7 8 apollon160 901    834     4241874944 9720   7 8 apollon116 901    664     6956666880 9210   7 8 apollon099 901    650     8488718336 8860   7 8 apollon129
reducercommutativity/rangesum05_false-unreach-call_true-termination.i 901    871     1876901888 10300   9 14 apollon119 901    873     2220187648 13800   9 14 apollon039 901    870     1842536448 9840   9 14 apollon134 901    873     1708576768 10300   9 14 apollon154 901    873     2412519424 10500   9 14 apollon031 901    870     2325008384 9820   9 14 apollon025 901    873     1738690560 10800   9 14 apollon113 901    871     1772306432 11500   9 14 apollon006 901    872     2285580288 13700   9 14 apollon039
reducercommutativity/rangesum10_false-unreach-call_true-termination.i 901    867     4100255744 8370   9 14 apollon123 901    872     4015128576 9460   9 14 apollon104 901    863     3224027136 8970   9 14 apollon040 901    865     3963047936 11500   9 14 apollon010 901    867     2527469568 9070   9 14 apollon098 901    864     2593738752 9800   9 14 apollon050 901    871     3992178688 9890   9 14 apollon109 901    864     2056171520 9640   9 14 apollon110 901    873     3897581568 11200   9 14 apollon142
reducercommutativity/rangesum20_false-unreach-call.i 901    868     4581453824 9800   9 14 apollon058 901    869     2225938432 9790   9 14 apollon058 901    864     4727635968 10400   9 14 apollon164 901    866     2770690048 10500   9 14 apollon126 901    866     3335639040 10100   9 14 apollon024 901    872     4463136768 11500   9 14 apollon080 901    866     2867830784 11000   9 14 apollon112 901    863     2526814208 10500   9 14 apollon112 901    867     3161100288 9330   9 14 apollon074
reducercommutativity/rangesum40_false-unreach-call.i 901    852     5903839232 10800   9 14 apollon073 137    113     14999998464 1490   apollon034 901    854     5906505728 11400   9 14 apollon101 136    113     14999998464 1380   apollon043 902    865     7054049280 9200   9 14 apollon064 902    860     6431535104 9510   9 14 apollon011 136    111     14999998464 1450   apollon150 901    859     5899796480 9870   9 14 apollon031 137    109     14999998464 1490   apollon095
reducercommutativity/rangesum60_false-unreach-call.i 901    852     7460700160 11600   9 14 apollon113 901    865     6376062976 10800   9 14 apollon016 901    847     7373467648 13100   9 14 apollon016 901    862     6386311168 10100   9 14 apollon094 903    858     9672740864 12400   9 14 apollon080 901    861     5333684224 11400   9 14 apollon076 901    858     6771134464 9150   9 14 apollon168 901    859     5336879104 10500   9 14 apollon134 901    860     6762930176 8920   9 14 apollon079
reducercommutativity/rangesum_false-unreach-call_true-termination.i 905    659     7453888512 9420   14 16 apollon091 905    570     7784280064 9860   11 16 apollon033 902    663     7750414336 9430   14 16 apollon065 903    646     6700023808 9080   11 16 apollon120 901    679     5912989696 9670   14 16 apollon101 901    678     8405106688 7980   14 16 apollon158 902    719     6358360064 9960   5 16 apollon097 902    714     5278232576 9260   14 16 apollon022 902    630     6251438080 9250   14 16 apollon004
reducercommutativity/avg05_true-unreach-call_true-termination.i 901    872     2466926592 11400   6 10 apollon156 901    876     2471084032 10600   6 10 apollon090 901    872     2941571072 12600   6 10 apollon028 901    877     2015899648 10600   6 10 apollon093 901    890     3662086144 9830   6 10 apollon082 901    890     3340464128 8050   6 10 apollon153 901    876     3278114816 10500   6 10 apollon143 901    889     3725840384 8760   6 10 apollon126 901    876     3086848000 12200   6 10 apollon033
reducercommutativity/avg10_true-unreach-call_true-termination.i 901    868     2282295296 11400   6 10 apollon110 901    872     2615488512 12300   6 10 apollon016 901    864     2271080448 13200   6 10 apollon069 901    871     2432823296 10100   6 10 apollon055 901    877     2538586112 12000   6 10 apollon016 901    878     2934505472 12900   6 10 apollon056 901    873     2566283264 11600   6 10 apollon046 901    875     2753609728 10800   6 10 apollon114 901    871     2080182272 10100   6 10 apollon127
reducercommutativity/avg20_true-unreach-call.i 901    869     4062961664 11700   6 10 apollon082 901    873     4327596032 9150   6 10 apollon137 901    869     4059439104 12100   6 10 apollon052 901    872     4334026752 9880   6 10 apollon038 901    869     3245441024 11400   6 10 apollon072 901    869     3240357888 12700   6 10 apollon019 901    874     4462882816 10300   6 10 apollon108 901    868     2790514688 12200   6 10 apollon020 901    873     4322373632 10500   6 10 apollon052
reducercommutativity/avg40_true-unreach-call.i 901    868     4328271872 10800   6 10 apollon105 901    871     5565685760 10600   6 10 apollon030 901    868     4343574528 10400   6 10 apollon103 901    875     5667389440 9190   6 10 apollon038 901    870     4307546112 13900   6 10 apollon057 901    871     4353253376 11100   6 10 apollon075 901    871     5613457408 8600   6 10 apollon012 901    869     4319985664 10600   6 10 apollon099 901    870     5582467072 8600   6 10 apollon032
reducercommutativity/avg60_true-unreach-call.i 901    867     12960059392 8710   5 10 apollon062 901    869     8240209920 10000   6 10 apollon084 901    865     12595150848 7990   5 10 apollon035 901    869     8226353152 9270   6 10 apollon074 586    555     14999998464 5280   apollon040 901    867     12339073024 8800   5 10 apollon082 901    868     7840432128 9610   6 10 apollon133 901    863     11874455552 8760   5 10 apollon061 901    866     7863197696 9780   6 10 apollon031
reducercommutativity/avg_true-unreach-call_true-termination.i 903    676     7977943040 9350   6 10 apollon165 901    815     4551286784 9720   4 10 apollon150 902    675     8199450624 10100   6 10 apollon027 902    762     6251147264 9150   4 10 apollon159 334    240     5154095104 3550   apollon020 237    210     4259741696 2400   apollon166 901    827     4292710400 11200   4 10 apollon019 220    198     3860217856 2260   apollon139 365    325     6191271936 4030   apollon100
reducercommutativity/max05_true-unreach-call_true-termination.i 901    871     2736013312 11000   8 12 apollon008 901    875     2679033856 12700   8 12 apollon021 901    872     2707890176 10100   8 12 apollon165 901    875     1628815360 11700   8 12 apollon014 901    875     2873372672 9530   8 12 apollon075 901    874     3145969664 10300   8 12 apollon114 901    875     1734041600 9820   8 12 apollon055 901    874     2363535360 9200   8 12 apollon083 901    873     2599264256 12800   8 12 apollon044
reducercommutativity/max10_true-unreach-call_true-termination.i 901    868     2364022784 10700   8 12 apollon010 901    868     2224812032 8570   8 12 apollon151 901    865     1840160768 9530   8 12 apollon119 901    870     1834881024 8970   8 12 apollon143 901    888     2540380160 6630   8 12 apollon101 901    888     2922176512 7310   8 12 apollon087 901    870     1845145600 9620   8 12 apollon093 901    886     2512424960 6720   8 12 apollon034 901    868     2166136832 10200   8 12 apollon114
reducercommutativity/max20_true-unreach-call.i 901    868     5173026816 11900   8 12 apollon047 901    871     3557384192 10500   8 12 apollon079 901    866     5085392896 11700   8 12 apollon007 901    873     3030999040 11000   8 12 apollon061 901    890     1455534080 5540   8 12 apollon124 901    889     1494286336 5380   8 12 apollon137 901    870     2107514880 10100   8 12 apollon013 901    889     1438695424 6270   8 12 apollon113 901    871     2881314816 9880   8 12 apollon128
reducercommutativity/max40_true-unreach-call.i 901    866     6669840384 12600   6 12 apollon161 901    866     5167718400 9610   8 12 apollon075 901    865     6781517824 12000   6 12 apollon125 901    866     5223903232 8860   8 12 apollon127 901    876     2638225408 6380   8 12 apollon090 901    873     4274794496 7900   7 12 apollon026 901    866     4475944960 10100   8 12 apollon009 901    871     3317456896 6970   7 12 apollon127 901    865     4347666432 9190   8 12 apollon149
reducercommutativity/max60_true-unreach-call.i 901    871     5110996992 6540   5 12 apollon051 901    863     5180370944 10900   8 12 apollon114 901    870     5076316160 6840   5 12 apollon070 901    864     5106216960 11400   8 12 apollon132 901    880     2048315392 5670   5 12 apollon126 901    882     2002313216 5280   5 12 apollon159 901    864     5000581120 8730   8 12 apollon158 901    884     1790967808 5110   5 12 apollon037 901    865     5011480576 9520   8 12 apollon041
reducercommutativity/max_true-unreach-call_true-termination.i 901    622     6256705536 9360   8 12 apollon124 901    630     7199219712 11400   8 12 apollon021 903    608     6985715712 9780   8 12 apollon136 901    627     6514225152 10300   8 12 apollon132 901    833     4390744064 12200   8 12 apollon024 901    832     4350914560 13900   8 12 apollon111 921    522     10195537920 8530   8 12 apollon087 901    890     1694216192 12200   8 12 apollon112 901    664     6897713152 9860   8 12 apollon095
reducercommutativity/sep05_true-unreach-call_true-termination.i 901    655     7576342528 7580   10 12 apollon124 901    650     6623121408 9670   10 12 apollon085 901    638     8501260288 8270   10 12 apollon125 902    643     6602936320 9160   10 12 apollon119 921    642     8606982144 8990   10 12 apollon021 928    649     7567523840 7180   10 12 apollon097 902    611     7798894592 8780   10 12 apollon099 919    619     8919539712 7710   10 12 apollon163 929    609     7740264448 9290   10 12 apollon120
reducercommutativity/sep10_true-unreach-call.i 902    721     7153635328 8010   9 12 apollon004 903    671     5590327296 9650   9 12 apollon097 902    759     5461139456 8130   9 12 apollon162 905    657     6285615104 9560   9 12 apollon165 902    715     8139370496 7520   9 12 apollon008 902    724     8990896128 7040   8 12 apollon165 904    660     5982011392 8770   8 12 apollon040 906    674     7861096448 6710   9 12 apollon104 904    693     6373011456 9940   9 12 apollon055
reducercommutativity/sep20_true-unreach-call.i 902    856     5606301696 10800   8 12 apollon086 903    766     5128978432 10500   6 12 apollon095 902    838     6079057920 11600   8 12 apollon031 904    661     6576046080 8310   6 12 apollon054 348    328     14999998464 3500   apollon123 350    328     14999998464 4930   apollon160 908    700     5592190976 10600   8 12 apollon136 499    452     14999998464 5950   apollon031 904    816     4906000384 10800   8 12 apollon154
reducercommutativity/sep40_true-unreach-call.i 901    866     5157838848 12000   7 12 apollon064 901    850     4234878976 12100   5 12 apollon155 901    864     6040907776 11200   7 12 apollon147 901    847     4324904960 12600   5 12 apollon140 787    764     14999998464 8320   apollon042 901    867     4445679616 9170   8 12 apollon029 902    848     4260376576 10500   5 12 apollon097 902    824     6398541824 10300   8 12 apollon166 904    744     5631934464 10400   8 12 apollon032
reducercommutativity/sep60_true-unreach-call.i 901    864     6164041728 12500   6 12 apollon125 901    847     4229079040 12300   5 12 apollon077 901    862     6713487360 13500   6 12 apollon056 902    842     4311015424 11200   5 12 apollon082 901    871     3493793792 6890   8 12 apollon139 901    864     4989927424 12200   7 12 apollon014 902    845     4279734272 10200   5 12 apollon131 901    861     7558021120 8350   6 12 apollon154 904    794     6020845568 8800   8 12 apollon149
reducercommutativity/sep_true-unreach-call_true-termination.i 901    621     8746876928 11500   8 12 apollon160 901    605     7618056192 9780   8 12 apollon084 902    640     6361268224 9390   8 12 apollon166 901    635     7321993216 10900   8 12 apollon094 902    669     5488705536 11300   8 12 apollon059 901    629     8937676800 9460   9 12 apollon119 902    632     6495408128 9600   10 12 apollon135 901    874     1613373440 11200   8 12 apollon034 901    873     1548939264 13700   8 12 apollon044
reducercommutativity/sum05_true-unreach-call_true-termination.i 901    873     2867343360 11000   6 10 apollon154 901    875     2453327872 12800   6 10 apollon108 901    873     2751037440 11300   6 10 apollon009 901    876     1987244032 11400   6 10 apollon034 901    882     3292258304 9520   6 10 apollon115 901    882     3369660416 11600   6 10 apollon024 901    876     2484600832 12900   6 10 apollon019 901    879     3747422208 9900   6 10 apollon096 901    876     1901133824 11300   6 10 apollon090
reducercommutativity/sum10_true-unreach-call_true-termination.i 901    867     3116068864 11300   6 10 apollon034 901    871     2949214208 12800   6 10 apollon125 901    865     3071328256 13000   6 10 apollon130 901    871     2770980864 10800   6 10 apollon145 901    885     4293623808 9490   6 10 apollon151 901    885     3784556544 9210   6 10 apollon008 901    867     2835464192 10800   6 10 apollon078 901    885     4123697152 9640   6 10 apollon115 901    872     2336145408 10600   6 10 apollon083
reducercommutativity/sum20_true-unreach-call.i 901    868     6451757056 11100   6 10 apollon045 901    873     4590497792 9900   6 10 apollon144 901    865     6369193984 12600   6 10 apollon006 901    870     4477276160 11300   6 10 apollon122 902    873     4007882752 7790   6 10 apollon105 901    876     4130553856 9900   6 10 apollon088 901    872     4653301760 9660   6 10 apollon097 902    874     3970383872 8130   6 10 apollon162 901    874     4466819072 11100   6 10 apollon142
reducercommutativity/sum40_true-unreach-call.i 901    863     6395011072 13500   6 10 apollon016 901    871     5269827584 8530   6 10 apollon116 901    863     6048026624 11400   6 10 apollon097 901    868     5253394432 6880   6 10 apollon063 901    862     6456238080 11800   6 10 apollon096 901    864     5719834624 14000   6 10 apollon057 901    869     5500444672 8750   6 10 apollon032 901    863     6150918144 13900   6 10 apollon160 901    867     5493075968 9120   6 10 apollon168
reducercommutativity/sum60_true-unreach-call.i 901    866     14376239104 8620   5 10 apollon050 901    869     7531139072 9240   6 10 apollon090 901    865     14244847616 8610   5 10 apollon087 901    867     7576838144 9680   6 10 apollon038 585    556     14999998464 5810   apollon067 901    869     14285635584 8730   5 10 apollon058 901    869     7601569792 9600   6 10 apollon015 902    865     13643014144 7440   5 10 apollon139 901    868     7596957696 8960   6 10 apollon013
reducercommutativity/sum_true-unreach-call_true-termination.i 901    632     7364608000 9120   6 10 apollon086 902    600     7150489600 9050   4 10 apollon072 906    566     10101678080 8420   6 10 apollon115 909    581     6595686400 8610   6 10 apollon003 901    834     4544929792 10700   6 10 apollon129 901    834     4854128640 9950   6 10 apollon163 902    542     7459164160 8510   4 10 apollon119 901    890     1804095488 14200   6 10 apollon039 902    694     5699424256 10500   6 10 apollon017
array-tiling/mlceu_false-unreach-call.i 902    698     6870900736 11700   6 10 apollon016 927    687     7805104128 10600   6 10 apollon136 901    826     4413136896 10800   8 10 apollon116 901    823     4341919744 11200   8 10 apollon154 902    695     8123191296 9700   6 10 apollon131 901    726     6195564544 10700   6 10 apollon084 901    725     5901197312 10600   6 10 apollon031 901    870     884678656 9600   8 10 apollon054 901    868     1050927104 12300   8 10 apollon047
array-tiling/skippedu_false-unreach-call.i 4.25 1.74  269348864 43.7 apollon161 4.18 1.73  267005952 41.5 apollon027 4.42 1.79  271699968 40.3 apollon034 4.43 1.76  278691840 40.0 apollon049 4.42 1.76  270462976 39.6 apollon103 4.23 1.73  270565376 40.9 apollon017 4.35 1.70  277032960 38.8 apollon103 4.14 1.73  267759616 37.9 apollon144 4.50 1.80  274792448 46.9 apollon036
array-tiling/mbpr2_true-unreach-call.i 4.46 1.80  277487616 39.7 apollon129 4.23 1.77  275636224 37.3 apollon104 4.47 1.75  276516864 40.9 apollon120 4.47 1.79  278581248 37.9 apollon123 4.41 1.78  273203200 42.9 apollon146 4.35 1.72  274812928 37.6 apollon137 4.44 1.78  270286848 38.2 apollon134 4.37 1.78  273604608 43.8 apollon081 4.60 1.91  268652544 45.7 apollon122
array-tiling/mbpr3_true-unreach-call.i 5.10 2.14  284012544 53.3 apollon030 5.03 2.13  284467200 44.8 apollon023 4.81 2.09  282664960 46.4 apollon005 5.09 2.15  283860992 45.2 apollon110 4.94 2.19  285134848 44.1 apollon127 5.06 2.10  289341440 42.7 apollon128 4.81 2.15  275836928 49.0 apollon048 5.06 2.14  284553216 45.3 apollon023 4.96 2.16  282501120 52.6 apollon020
array-tiling/mbpr4_true-unreach-call.i 4.59 1.82  272953344 37.5 apollon054 4.67 1.87  278175744 43.4 apollon145 4.62 1.86  275861504 41.8 apollon090 4.54 1.81  276860928 41.8 apollon084 4.70 1.83  275324928 43.6 apollon010 4.44 1.77  269934592 40.3 apollon074 4.75 1.85  278216704 44.2 apollon005 4.61 1.84  275042304 44.3 apollon068 4.54 1.85  277061632 40.4 apollon129
array-tiling/mbpr5_true-unreach-call.i 5.03 2.22  285941760 47.6 apollon090 5.03 2.20  287244288 51.1 apollon069 5.10 2.16  286896128 51.3 apollon081 5.00 2.20  283611136 41.8 apollon098 5.11 2.20  294608896 47.9 apollon135 4.95 2.17  285208576 45.0 apollon154 5.09 2.21  276840448 45.5 apollon165 5.07 2.18  284147712 46.2 apollon023 4.95 2.19  278110208 51.1 apollon016
array-tiling/nr2_true-unreach-call.i 4.27 1.79  269348864 42.0 apollon047 4.38 1.75  278421504 40.5 apollon011 4.21 1.73  267972608 37.8 apollon042 4.28 1.78  271753216 36.4 apollon117 4.28 1.72  269819904 39.8 apollon038 4.28 1.80  265322496 41.0 apollon015 4.32 1.78  275267584 38.5 apollon129 4.35 1.77  268562432 40.0 apollon105 4.49 1.86  276054016 46.5 apollon111
array-tiling/nr3_true-unreach-call.i 4.60 2.08  277037056 45.1 apollon009 4.76 2.08  281624576 42.2 apollon107 4.58 2.14  276594688 48.6 apollon106 4.65 2.11  281018368 43.6 apollon166 4.61 2.06  275496960 41.0 apollon066 4.46 2.04  276037632 41.9 apollon119 4.46 2.07  277467136 39.5 apollon092 4.68 2.09  280866816 48.8 apollon028 4.67 2.13  273530880 46.1 apollon065
array-tiling/nr4_true-unreach-call.i 4.44 1.77  276119552 42.4 apollon047 4.31 1.74  275144704 42.7 apollon152 4.35 1.75  273907712 39.5 apollon121 4.44 1.75  275931136 42.5 apollon019 4.43 1.81  269914112 39.7 apollon127 4.24 1.75  270045184 39.5 apollon084 4.49 1.78  279478272 42.4 apollon136 4.50 1.84  270360576 36.9 apollon139 4.23 1.77  269795328 38.2 apollon095
array-tiling/nr5_true-unreach-call.i 4.87 2.18  276635648 45.0 apollon102 4.74 2.10  282783744 46.2 apollon167 4.63 2.11  281759744 47.5 apollon152 4.74 2.09  283201536 50.9 apollon036 4.54 2.08  275079168 42.8 apollon105 4.68 2.06  282832896 51.7 apollon021 4.76 2.13  280342528 48.7 apollon014 4.71 2.11  279322624 46.5 apollon017 4.85 2.13  290193408 47.7 apollon064
array-tiling/pnr2_true-unreach-call.i 4.29 1.75  267583488 38.4 apollon072 4.42 1.79  265940992 44.1 apollon126 4.38 1.82  271257600 47.7 apollon036 4.48 1.81  277512192 44.3 apollon028 4.38 1.76  270409728 41.5 apollon101 4.34 1.78  270135296 40.1 apollon070 4.40 1.78  277704704 44.1 apollon028 4.41 1.79  278282240 40.0 apollon103 4.26 1.80  272830464 41.9 apollon031
array-tiling/pnr3_true-unreach-call.i 4.53 2.07  283680768 50.4 apollon111 4.60 2.09  284434432 41.7 apollon104 4.66 2.10  285675520 45.1 apollon135 4.77 2.12  287424512 45.4 apollon011 4.74 2.15  275087360 44.2 apollon131 4.57 2.07  279445504 43.4 apollon071 4.97 2.15  287162368 43.8 apollon023 4.63 2.11  273412096 42.7 apollon085 4.86 2.23  285392896 42.3 apollon116
array-tiling/pnr4_true-unreach-call.i 4.65 1.84  272199680 45.9 apollon163 4.43 1.83  271327232 44.4 apollon161 4.43 1.77  279384064 44.1 apollon164 4.73 1.83  281452544 40.0 apollon083 4.45 1.78  277647360 41.4 apollon112 4.37 1.80  273358848 38.3 apollon001 4.31 1.76  271015936 41.6 apollon101 4.35 1.76  272228352 36.2 apollon043 4.62 1.78  281804800 42.2 apollon112
array-tiling/pnr5_true-unreach-call.i 4.90 2.10  281231360 44.1 apollon025 4.91 2.13  286433280 41.5 apollon128 4.77 2.10  282542080 43.3 apollon025 4.68 2.09  282402816 43.1 apollon154 4.67 2.13  280969216 41.1 apollon029 4.79 2.07  288165888 49.9 apollon044 4.78 2.09  278331392 49.2 apollon059 4.96 2.15  283447296 46.5 apollon076 4.82 2.15  287014912 46.4 apollon144
array-tiling/poly1_true-unreach-call.i 901    699     7097233408 8050   5 8 apollon086 901    621     8567726080 7240   5 8 apollon134 901    827     4466905088 10300   7 8 apollon053 901    828     4458409984 10400   7 8 apollon117 909    732     5234352128 9070   5 8 apollon136 901    718     6466236416 8390   5 8 apollon035 901    760     5571768320 8770   5 8 apollon078 901    872     1402101760 10900   7 8 apollon051 901    870     1573621760 10900   7 8 apollon055
array-tiling/poly2_true-unreach-call.i 902    695     6260224000 7570   7 10 apollon042 901    718     5524774912 8480   7 10 apollon156 901    623     8375083008 7460   9 10 apollon144 906    584     10844635136 7710   9 10 apollon085 901    673     8369856512 9090   7 10 apollon132 901    780     4906418176 11500   7 10 apollon021 902    661     6922956800 7300   7 10 apollon042 902    667     7546073088 9150   8 10 apollon071 902    655     7086784512 8910   9 10 apollon114
array-tiling/pr2_true-unreach-call.i 4.44 1.73  274751488 39.4 apollon107 4.39 1.74  273756160 43.6 apollon148 4.60 1.82  274546688 39.2 apollon062 4.52 1.85  270749696 42.7 apollon009 4.30 1.78  268890112 34.4 apollon143 4.26 1.80  271106048 39.6 apollon090 4.59 1.78  276664320 43.9 apollon093 4.34 1.80  266395648 38.4 apollon131 4.25 1.75  270135296 41.5 apollon009
array-tiling/pr3_true-unreach-call.i 4.64 2.13  278577152 45.1 apollon017 4.59 2.11  279715840 43.2 apollon109 4.61 2.10  281116672 45.6 apollon142 4.63 2.09  279478272 39.0 apollon158 5.03 2.22  283607040 49.2 apollon088 4.91 2.13  283213824 46.1 apollon004 4.63 2.10  284000256 44.2 apollon142 4.97 2.18  283406336 47.8 apollon091 4.89 2.17  290623488 46.6 apollon055
array-tiling/pr4_true-unreach-call.i 4.45 1.83  279031808 41.0 apollon011 4.35 1.75  268505088 42.4 apollon101 4.42 1.80  273702912 40.8 apollon052 4.57 1.89  273305600 44.4 apollon114 4.44 1.80  271937536 40.2 apollon085 4.52 1.81  271130624 45.0 apollon161 4.40 1.82  276430848 39.6 apollon127 4.41 1.78  271732736 37.3 apollon100 4.52 1.84  271527936 40.0 apollon062
array-tiling/pr5_true-unreach-call.i 5.09 2.17  283156480 49.7 apollon136 4.98 2.23  285286400 47.0 apollon076 4.92 2.20  289099776 47.8 apollon118 4.82 2.13  283308032 46.3 apollon078 4.88 2.15  281759744 46.7 apollon071 4.95 2.13  287088640 44.7 apollon023 4.92 2.16  281071616 43.9 apollon002 5.05 2.15  289546240 47.8 apollon067 5.00 2.15  288997376 48.1 apollon112
array-tiling/revcpyswp2_true-unreach-call.i 901    721     5611413504 11200   9 12 apollon106 904    716     5846306816 9620   9 12 apollon120 902    774     4841598976 9820   9 12 apollon013 901    769     5128806400 9550   9 12 apollon043 901    716     5530882048 10300   9 12 apollon126 901    748     5296336896 9730   9 12 apollon026 901    743     5049380864 11200   9 12 apollon014 902    774     4723564544 10600   9 12 apollon090 901    754     5847158784 11800   9 12 apollon122
array-tiling/rew_true-unreach-call.i 911    673     7475388416 8870   7 10 apollon098 901    683     6963748864 9580   7 10 apollon090 917    623     6511022080 8530   7 10 apollon098 901    812     5548105728 13000   9 10 apollon161 921    689     6073507840 11600   7 10 apollon125 902    647     6789337088 10100   7 10 apollon046 901    676     7121797120 10700   7 10 apollon064 901    643     6242992128 11600   7 10 apollon057 901    587     10917928960 9010   7 10 apollon087
array-tiling/rewnif_true-unreach-call.i 902    711     6320951296 11200   7 10 apollon167 901    703     8658984960 10600   7 10 apollon048 901    643     6915096576 9680   7 10 apollon061 901    823     4834676736 12400   9 10 apollon006 901    721     6641127424 9880   7 10 apollon079 901    706     7075799040 9450   7 10 apollon116 901    684     6546296832 9230   7 10 apollon013 901    659     6408904704 10800   7 10 apollon059 902    648     8511959040 8920   7 10 apollon134
array-tiling/rewnifrev2_true-unreach-call.i 902    763     5343318016 10200   5 8 apollon137 901    762     5452550144 10800   5 8 apollon070 902    790     5319991296 11000   5 8 apollon018 901    779     5282209792 11700   5 8 apollon065 902    768     5101002752 11000   5 8 apollon015 901    752     5065580544 11200   5 8 apollon114 901    765     5789257728 10100   5 8 apollon066 901    785     5204402176 11800   5 8 apollon068 901    779     5693267968 12600   5 8 apollon080
array-tiling/rewnifrev_true-unreach-call.i 902    748     5563043840 11600   7 10 apollon007 901    747     5346418688 11500   7 10 apollon155 901    750     5294592000 10800   7 10 apollon147 901    740     6014595072 10700   7 10 apollon011 902    731     6684110848 11400   7 10 apollon028 901    749     5435904000 12300   7 10 apollon016 901    742     6224134144 9770   7 10 apollon053 902    749     5219262464 10100   7 10 apollon115 901    751     5461876736 10700   7 10 apollon076
array-tiling/rewrev_true-unreach-call.i 902    669     6575017984 11500   7 10 apollon016 902    656     6941212672 10700   7 10 apollon047 901    696     5999665152 10600   7 10 apollon017 901    685     7386472448 9240   7 10 apollon127 902    696     6296182784 11100   7 10 apollon007 901    690     6879567872 10500   7 10 apollon124 912    670     6466871296 10300   7 10 apollon084 901    684     6137532416 10300   7 10 apollon004 902    707     6429159424 9980   7 10 apollon110
array-tiling/skipped_true-unreach-call.i 4.21 1.71  263995392 36.8 apollon134 4.29 1.79  269316096 38.1 apollon133 4.32 1.80  270196736 40.0 apollon034 4.21 1.75  270860288 35.0 apollon117 4.18 1.71  265752576 41.4 apollon048 4.17 1.75  267419648 38.3 apollon079 4.52 1.77  276258816 41.4 apollon096 4.60 1.78  281530368 43.6 apollon068 4.22 1.82  274329600 44.5 apollon033
array-tiling/tcpy_true-unreach-call.i 4.23 1.73  269582336 41.1 apollon130 4.58 1.80  277270528 40.7 apollon107 4.22 1.77  272240640 38.2 apollon121 4.50 1.86  275202048 39.9 apollon072 4.32 1.74  272920576 43.7 apollon088 4.33 1.72  270565376 38.8 apollon150 4.57 1.78  278843392 38.8 apollon128 4.51 1.79  277782528 40.7 apollon011 4.45 1.85  270647296 42.5 apollon132
array-programs/copysome1_false-unreach-call.i 901    871     8967757824 11100   1 12 apollon087 901    866     4288794624 9530   1 12 apollon139 901    871     8759111680 10200   1 12 apollon051 901    857     4363489280 9820   1 12 apollon066 901    875     5904494592 11300   1 12 apollon018 901    877     3435429888 9470   1 12 apollon053 902    859     4275773440 10200   1 12 apollon001 901    876     4052344832 11900   1 12 apollon132 901    859     4364177408 9580   1 12 apollon120
array-programs/copysome2_false-unreach-call.i 902    874     10089041920 11100   1 14 apollon049 902    867     4250558464 13200   1 14 apollon044 901    872     10110259200 11500   1 14 apollon052 901    855     4428623872 10200   1 14 apollon033 901    877     7266881536 11000   1 14 apollon162 901    881     4024434688 10000   1 14 apollon121 902    863     4250316800 9550   1 14 apollon138 901    877     5548109824 10200   1 14 apollon162 901    856     4446961664 9970   1 14 apollon159
array-programs/copysome1_true-unreach-call.i 901    872     8750968832 12400   1 12 apollon106 901    867     4277612544 10200   1 12 apollon127 902    869     8882130944 9700   1 12 apollon120 901    861     4361814016 9540   1 12 apollon089 901    876     6140682240 11300   1 12 apollon085 901    875     3499061248 9420   1 12 apollon037 902    859     4259102720 10500   1 12 apollon165 901    878     4087910400 9790   1 12 apollon127 901    857     4350459904 8870   1 12 apollon104
array-programs/copysome2_true-unreach-call.i 901    873     10042241024 10100   1 14 apollon134 901    864     4245622784 11100   1 14 apollon147 901    870     10015076352 9170   1 14 apollon002 901    854     4444917760 8750   1 14 apollon139 901    875     6584508416 12300   1 14 apollon167 901    879     3539779584 10000   1 14 apollon075 902    864     4282126336 11400   1 14 apollon094 901    877     5294813184 10000   1 14 apollon128 901    853     4418564096 10200   1 14 apollon110
bitvector/byte_add_false-unreach-call_true-no-overflow_true-termination.i 20.3  5.52  741298176 177   59 60 apollon009 19.9  5.47  731975680 167   59 60 apollon165 20.6  5.58  802463744 157   59 60 apollon151 21.2  5.63  821547008 164   59 60 apollon083 20.1  5.54  721543168 158   59 60 apollon104 20.1  5.48  716111872 169   59 60 apollon142 20.3  5.48  685166592 163   59 60 apollon110 115    92.6   2609315840 1170   59 60 apollon149 114    88.1   2465779712 1080   59 60 apollon123
bitvector/sum02_false-unreach-call_true-no-overflow.i 901    629     7830933504 9060   4 8 apollon096 901    650     7174352896 8490   4 8 apollon002 902    617     8240865280 8240   4 8 apollon043 901    665     6316662784 12000   4 8 apollon039 901    625     8243466240 8330   4 8 apollon002 906    624     9104310272 9410   4 8 apollon076 901    634     8498872320 11000   4 8 apollon161 901    857     6104301568 11800   4 8 apollon114 901    858     4897779712 11000   4 8 apollon168
bitvector/byte_add_1_true-unreach-call_true-no-overflow_true-termination.i 901    851     3954487296 11600   43 60 apollon084 112    88.3   2257080320 1150   44 60 apollon029 901    851     3561230336 13700   43 60 apollon111 110    88.2   2104786944 1360   44 60 apollon091 325    296     2760359936 4520   44 60 apollon047 311    280     3555008512 3820   44 60 apollon153 109    88.0   3150233600 1480   44 60 apollon080 311    281     3367505920 4180   44 60 apollon155 111    87.4   2941829120 1320   44 60 apollon009
bitvector/byte_add_2_true-unreach-call_true-no-overflow_true-termination.i 901    849     3890810880 9610   44 60 apollon123 112    84.4   2659213312 1190   45 60 apollon003 901    849     3584622592 11600   44 60 apollon017 110    87.0   2343272448 1270   45 60 apollon087 320    290     3674619904 3820   45 60 apollon154 311    279     4157943808 3460   45 60 apollon098 111    83.9   2638434304 1270   45 60 apollon102 311    280     3420647424 3760   45 60 apollon097 112    88.3   2366291968 1440   45 60 apollon033
bitvector/gcd_1_true-unreach-call_true-no-overflow.i 107    99.3   1670938624 1460   10 12 apollon114 107    99.3   1616830464 1370   10 12 apollon075 106    98.7   1575534592 1440   10 12 apollon113 106    98.4   1492848640 1350   10 12 apollon144 106    99.5   1661833216 1570   10 12 apollon059 107    99.5   1699508224 1350   10 12 apollon166 107    99.0   1617956864 1420   10 12 apollon061 107    98.7   1599610880 1380   10 12 apollon012 107    98.5   1459851264 1530   10 12 apollon081
bitvector/gcd_2_true-unreach-call_true-no-overflow.i 106    98.3   1625731072 1370   9 10 apollon001 105    98.3   1565929472 1360   9 10 apollon121 106    97.5   1577156608 1420   9 10 apollon052 106    96.9   1320775680 1490   9 10 apollon167 106    98.4   1434062848 1700   9 10 apollon056 106    98.3   1689636864 1310   9 10 apollon115 106    98.3   1643978752 1380   9 10 apollon087 106    97.7   1561223168 1430   9 10 apollon031 106    96.5   1487515648 1320   9 10 apollon073
bitvector/gcd_3_true-unreach-call_true-no-overflow.i 901    879     1708285952 10700   9 10 apollon128 901    878     1402847232 13200   9 10 apollon106 901    878     1664442368 11400   9 10 apollon105 901    878     1718964224 12500   9 10 apollon126 354    341     1726738432 4510   9 10 apollon156 353    341     1750495232 4490   9 10 apollon110 901    878     1401655296 11700   9 10 apollon093 356    343     1605836800 5090   9 10 apollon122 901    878     1527738368 11900   9 10 apollon124
bitvector/gcd_4_true-unreach-call_true-no-overflow_true-termination.i 5.43 2.08  299749376 46.1 8 12 apollon127 5.53 2.08  294367232 46.6 8 12 apollon066 5.58 2.18  298377216 55.6 8 12 apollon014 5.64 2.09  293076992 50.1 8 12 apollon153 5.40 2.08  290848768 48.0 8 12 apollon135 5.45 2.08  295563264 49.8 8 12 apollon012 5.53 2.11  300630016 50.5 8 12 apollon153 5.77 2.19  308948992 51.5 8 12 apollon166 5.83 2.14  300036096 53.7 8 12 apollon167
bitvector/interleave_bits_true-unreach-call_true-no-overflow.i 106    95.9   1779445760 1290   3 4 apollon083 105    95.5   2578624512 1310   3 4 apollon025 106    95.1   1726676992 1390   3 4 apollon118 105    94.3   2578722816 1370   3 4 apollon082 106    96.5   2614468608 1440   3 4 apollon031 106    95.8   2600914944 1290   3 4 apollon149 105    94.9   2659139584 1510   3 4 apollon167 107    95.4   2319732736 1460   3 4 apollon152 105    94.3   2427015168 1390   3 4 apollon011
bitvector/jain_1_true-unreach-call_true-no-overflow_false-termination.i 103    96.7   1659019264 1440   1 2 apollon124 103    96.4   1601646592 1330   1 2 apollon001 103    95.3   1578094592 1500   1 2 apollon059 103    95.6   1510899712 1560   1 2 apollon080 103    96.5   1663664128 1360   1 2 apollon049 103    96.5   1688104960 1510   1 2 apollon028 103    96.6   1639870464 1330   1 2 apollon135 103    95.4   1560936448 1460   1 2 apollon005 103    95.3   1519759360 1340   1 2 apollon162
bitvector/jain_2_true-unreach-call_true-no-overflow_false-termination.i 103    96.4   1472610304 1330   1 2 apollon012 103    96.2   1719607296 1290   1 2 apollon079 103    95.8   1321672704 1570   1 2 apollon080 103    95.9   1530474496 1390   1 2 apollon031 103    96.7   1730723840 1400   1 2 apollon113 103    96.9   1635373056 1310   1 2 apollon107 103    96.5   1741324288 1420   1 2 apollon141 103    95.4   1662705664 1360   1 2 apollon102 103    95.2   1470083072 1330   1 2 apollon121
bitvector/jain_4_true-unreach-call_true-no-overflow_false-termination.i 103    96.5   1558544384 1540   1 2 apollon163 103    96.3   1739030528 1190   1 2 apollon029 103    95.4   1717268480 1350   1 2 apollon118 103    95.0   1347432448 1240   1 2 apollon116 103    96.7   1604411392 1540   1 2 apollon014 103    96.6   1590517760 1390   1 2 apollon085 103    96.7   1818828800 1260   1 2 apollon100 103    95.3   1663680512 1380   1 2 apollon145 103    94.7   1693249536 1500   1 2 apollon126
bitvector/jain_5_true-unreach-call_true-no-overflow.i 901    864     5595676672 8580   1 2 apollon157 901    856     8225284096 8620   1 2 apollon150 901    862     5669408768 11200   1 2 apollon071 901    848     8128479232 10800   1 2 apollon036 901    867     5448671232 9250   1 2 apollon074 901    874     1976696832 10400   1 2 apollon062 902    855     7077326848 8240   1 2 apollon144 901    869     4140306432 9520   1 2 apollon012 902    841     8217628672 10100   1 2 apollon062
bitvector/jain_6_true-unreach-call_true-no-overflow_false-termination.i 103    96.8   1823023104 1430   1 2 apollon138 103    96.3   1799417856 1340   1 2 apollon120 103    95.2   1738145792 1260   1 2 apollon116 103    95.2   1360953344 1540   1 2 apollon106 103    96.6   1926111232 1250   1 2 apollon002 103    96.7   1916538880 1260   1 2 apollon041 103    96.6   1866219520 1320   1 2 apollon110 103    95.5   1667751936 1260   1 2 apollon127 104    95.2   1326669824 1280   1 2 apollon154
bitvector/jain_7_true-unreach-call_true-no-overflow_false-termination.i 105    98.2   1872289792 1370   1 2 apollon129 105    98.1   1855963136 1300   1 2 apollon104 105    96.8   1450868736 1300   1 2 apollon042 105    96.4   1670705152 1590   1 2 apollon161 105    98.4   1582780416 1400   1 2 apollon118 105    98.2   2024280064 1490   1 2 apollon024 105    98.2   1503612928 1350   1 2 apollon012 105    96.8   1667567616 1640   1 2 apollon160 104    95.3   1640673280 1270   1 2 apollon116
bitvector/modulus_true-unreach-call_true-no-overflow.i 901    865     1907089408 12300   11 12 apollon114 901    866     1701490688 12200   11 12 apollon017 901    817     4614664192 10800   11 12 apollon135 901    863     1457414144 13400   11 12 apollon161 901    880     783564800 11600   11 12 apollon102 901    878     1041571840 11200   11 12 apollon097 901    865     1751232512 11700   11 12 apollon049 901    883     895156224 13800   11 12 apollon021 901    868     1390223360 11300   11 12 apollon026
bitvector/num_conversion_1_true-unreach-call_true-no-overflow.i 5.43 2.01  281284608 48.2 5 6 apollon135 5.32 2.00  290164736 51.5 5 6 apollon155 5.62 2.10  282058752 46.2 5 6 apollon043 5.33 2.02  280383488 46.1 5 6 apollon110 5.70 2.08  291233792 45.2 5 6 apollon041 5.35 1.98  284024832 52.3 5 6 apollon152 5.29 2.08  280940544 49.5 5 6 apollon114 5.51 2.03  289382400 52.2 5 6 apollon146 5.49 2.05  295870464 52.5 5 6 apollon064
bitvector/num_conversion_2_true-unreach-call_true-no-overflow.i 122    45.7   4614492160 993   5 6 apollon109 901    632     8305123328 9190   5 6 apollon104 115    46.4   4158517248 936   5 6 apollon089 906    586     9285640192 10600   5 6 apollon125 115    42.5   4527558656 962   5 6 apollon152 113    36.5   4616667136 755   5 6 apollon054 903    617     9430372352 9100   5 6 apollon045 114    103     2345140224 1670   5 6 apollon036 113    102     2249043968 1300   5 6 apollon143
bitvector/parity_true-unreach-call_true-no-overflow.i 902    663     7010643968 10400   7 8 apollon141 901    603     9452023808 9990   7 8 apollon155 901    744     6433251328 11900   7 8 apollon126 387    310     4570337280 4830   7 8 apollon020 333    223     5424906240 3930   7 8 apollon130 344    236     4737916928 3530   7 8 apollon137 322    189     5614632960 3580   7 8 apollon014 346    255     4963065856 4010   7 8 apollon101 308    218     4757893120 3660   7 8 apollon167
bitvector/sum02_true-unreach-call_true-no-overflow.i 3.63 1.56  263962624 30.9 apollon137 3.73 1.53  270581760 33.5 apollon049 3.73 1.51  269836288 34.2 apollon011 3.75 1.51  273453056 34.6 apollon011 3.73 1.52  268546048 32.1 apollon066 3.77 1.52  259563520 34.1 apollon168 3.92 1.57  273170432 36.4 apollon112 3.59 1.54  264835072 30.9 apollon116 3.77 1.53  269549568 31.0 apollon099
bitvector/s3_clnt_1_false-unreach-call_true-no-overflow.BV.c.cil.c 82.0  28.6   3554242560 678   171 172 apollon095 72.3  27.9   2891407360 605   171 172 apollon149 74.6  28.4   2878042112 690   171 172 apollon152 80.0  29.3   3242938368 661   171 172 apollon073 77.4  28.1   3391283200 621   171 172 apollon116 83.7  28.7   3127230464 755   171 172 apollon008 81.5  28.7   3100250112 676   171 172 apollon085 85.9  29.9   2735984640 697   171 172 apollon129 81.2  30.6   2901512192 728   171 172 apollon052
bitvector/s3_clnt_2_false-unreach-call_true-no-overflow.BV.c.cil.c 136    71.5   4639412224 1360   169 170 apollon165 114    36.3   3995697152 879   169 170 apollon145 133    66.5   3746746368 1500   169 170 apollon021 115    45.1   4190216192 1020   169 170 apollon011 137    61.1   4432347136 1110   169 170 apollon043 132    62.5   4492541952 1260   169 170 apollon142 115    44.7   4289527808 1060   169 170 apollon138 133    64.3   3782066176 1320   169 170 apollon101 118    45.5   4689035264 1180   169 170 apollon021
bitvector/s3_clnt_3_false-unreach-call_true-no-overflow.BV.c.cil.c 113    40.3   4180312064 947   124 172 apollon004 155    78.5   4695703552 1340   124 172 apollon029 114    44.1   4628606976 984   124 172 apollon061 158    81.9   4596785152 1400   124 172 apollon040 117    43.0   4116303872 1030   124 172 apollon091 114    41.6   4852641792 1050   124 172 apollon094 187    98.2   5358034944 1750   124 172 apollon107 121    39.5   3529711616 999   124 172 apollon114 147    70.7   5507563520 1300   124 172 apollon002
bitvector/s3_clnt_1_true-unreach-call_true-no-overflow.BV.c.cil.c 83.5  28.7   3475116032 751   147 172 apollon014 79.5  28.8   2881114112 669   147 172 apollon144 82.0  29.6   2677444608 646   147 172 apollon104 85.5  31.0   3457134592 764   147 172 apollon126 75.9  27.7   2873069568 736   147 172 apollon111 82.6  28.9   3378323456 697   147 172 apollon152 73.5  28.3   2839535616 687   147 172 apollon048 69.6  24.6   2426834944 596   147 172 apollon090 69.5  25.5   2880286720 719   147 172 apollon039
bitvector/s3_clnt_2_true-unreach-call_true-no-overflow.BV.c.cil.c 78.3  26.8   2750578688 616   143 170 apollon058 69.6  26.3   2748645376 688   143 170 apollon125 91.0  29.2   3202035712 660   143 170 apollon086 79.1  28.2   2830012416 650   143 170 apollon025 80.9  27.2   3473104896 643   143 170 apollon095 67.9  25.7   2720522240 577   143 170 apollon053 70.0  26.5   2320371712 634   143 170 apollon055 71.8  24.2   2873626624 592   143 170 apollon119 65.8  24.3   2919669760 587   143 170 apollon156
bitvector/s3_clnt_3_true-unreach-call_true-no-overflow.BV.c.cil.c 167    88.3   3828899840 1730   145 172 apollon077 901    529     10314940416 7940   143 172 apollon023 165    97.7   4785704960 1830   145 172 apollon141 904    573     8884559872 9390   145 172 apollon024 172    90.9   3971362816 1730   145 172 apollon046 169    92.3   3983761408 1890   145 172 apollon080 593    374     8138964992 5850   145 172 apollon107 163    93.5   4986904576 1780   145 172 apollon136 382    220     6568386560 3740   145 172 apollon018
bitvector/s3_srvr_1_alt_true-unreach-call_true-no-overflow.BV.c.cil.c 902    741     5353689088 9540   191 194 apollon043 902    693     6867230720 10900   191 194 apollon163 909    728     6317457408 10100   191 194 apollon120 902    705     5595516928 11300   191 194 apollon130 901    799     5428084736 11200   191 194 apollon108 901    770     5916545024 10500   191 194 apollon067 902    700     5822496768 8120   191 194 apollon063 904    787     5705711616 10000   191 194 apollon117 901    664     8570560512 10800   191 194 apollon163
bitvector/s3_srvr_1_true-unreach-call_true-no-overflow.BV.c.cil.c 363    192     7616978944 3260   150 192 apollon103 415    281     5562146816 4240   150 192 apollon050 371    189     7816699904 3370   150 192 apollon147 447    272     7234232320 4800   150 192 apollon122 931    577     9611943936 9710   127 192 apollon046 377    192     8195174400 3120   150 192 apollon100 433    273     6849945600 4270   150 192 apollon090 414    199     8993120256 4000   150 192 apollon030 221    133     4399017984 2240   150 192 apollon087
bitvector/s3_srvr_2_alt_true-unreach-call_true-no-overflow_false-termination.BV.c.cil.c 415    265     6221058048 4860   175 192 apollon163 901    629     8348798976 9980   175 192 apollon011 391    313     4628324352 4460   175 192 apollon144 901    623     7075827712 8980   174 192 apollon083 318    204     4757827584 3500   175 192 apollon071 306    178     6307352576 2810   175 192 apollon098 904    598     10353881088 9460   175 192 apollon135 328    251     4486807552 3580   175 192 apollon138 902    650     6865457152 9770   173 192 apollon103
bitvector/s3_srvr_2_true-unreach-call_true-no-overflow_false-termination.BV.c.cil.c 392    265     5745991680 4630   175 192 apollon167 901    584     10013175808 8520   173 192 apollon139 391    251     6042775552 3340   175 192 apollon063 901    665     6340456448 9280   1