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-18 18:45:00 2018-10-22 12:12:00
Run set V+P-Test-noreuse_20_80 V+P-Test-cmc-uni-vp_20_80 V+P-Test-cmc-uni-pv_20_80 V+P-Test-cmc-bi_20_80 V+P-Test-precision_20_80 V+P-Test-continue_20_80 V+P-Test-cmc-uni-vp-reuse_20_80 V+P-Test-cmc-uni-pv-reuse_20_80 V+P-Test-cmc-bi-reuse_20_80
Options -heap 10000M -benchmark -setprop log.consoleLevel=SEVERE -spec config/specification/sv-comp-terminatingfunctions.spc -testCaseGeneration-interleaved-value+predicate-noreuse -setprop interleavedAlgorithm.configFiles=config/testCaseGeneration-valueAnalysis.properties::noreuse_20,config/testCaseGeneration-predicateAnalysis.properties::noreuse_80 -heap 10000M -benchmark -setprop log.consoleLevel=SEVERE -spec config/specification/sv-comp-terminatingfunctions.spc -testCaseGeneration-interleaved-value+predicate-cmc-v2p -setprop interleavedAlgorithm.configFiles=config/components/testCaseGeneration-value-generate-cmc-condition.properties::noreuse_20,config/components/testCaseGeneration-predicate-use-cmc-condition.properties::noreuse_80 -setprop interleavedAlgorithm.intermediateStatistics=EXECUTE -heap 10000M -benchmark -setprop log.consoleLevel=SEVERE -spec config/specification/sv-comp-terminatingfunctions.spc -testCaseGeneration-interleaved-value+predicate-cmc-p2v -setprop interleavedAlgorithm.configFiles=config/components/testCaseGeneration-value-use-cmc-condition.properties::noreuse_20,config/components/testCaseGeneration-predicate-generate-cmc-condition.properties::noreuse_80 -setprop interleavedAlgorithm.intermediateStatistics=EXECUTE -heap 10000M -benchmark -setprop log.consoleLevel=SEVERE -spec config/specification/sv-comp-terminatingfunctions.spc -testCaseGeneration-interleaved-value+predicate-cmc-bidirectional -setprop interleavedAlgorithm.configFiles=config/components/testCaseGeneration-value-generate-and-use-cmc-condition.properties::noreuse_20,config/components/testCaseGeneration-predicate-generate-and-use-cmc-condition.properties::noreuse_80 -setprop interleavedAlgorithm.intermediateStatistics=EXECUTE -heap 10000M -benchmark -setprop log.consoleLevel=SEVERE -spec config/specification/sv-comp-terminatingfunctions.spc -testCaseGeneration-interleaved-value+predicate-precision-reuse -setprop interleavedAlgorithm.configFiles=config/testCaseGeneration-valueAnalysis.properties::reuse-precision_20,config/testCaseGeneration-predicateAnalysis.properties::reuse-precision_80 -heap 10000M -benchmark -setprop log.consoleLevel=SEVERE -spec config/specification/sv-comp-terminatingfunctions.spc -testCaseGeneration-interleaved-value+predicate-continue -setprop interleavedAlgorithm.configFiles=config/testCaseGeneration-valueAnalysis.properties::continue_20,config/testCaseGeneration-predicateAnalysis.properties::continue_80 -heap 10000M -benchmark -setprop log.consoleLevel=SEVERE -spec config/specification/sv-comp-terminatingfunctions.spc -testCaseGeneration-interleaved-value+predicate-cmc-v2p -setprop interleavedAlgorithm.configFiles=config/components/testCaseGeneration-value-generate-cmc-condition.properties::continue_20,config/components/testCaseGeneration-predicate-use-cmc-condition-precision.properties::noreuse_80 -setprop interleavedAlgorithm.intermediateStatistics=EXECUTE -heap 10000M -benchmark -setprop log.consoleLevel=SEVERE -spec config/specification/sv-comp-terminatingfunctions.spc -testCaseGeneration-interleaved-value+predicate-cmc-p2v -setprop interleavedAlgorithm.configFiles=config/components/testCaseGeneration-value-use-cmc-condition-precision.properties::noreuse_20,config/components/testCaseGeneration-predicate-generate-cmc-condition.properties::continue_80 -setprop interleavedAlgorithm.intermediateStatistics=EXECUTE -heap 10000M -benchmark -setprop log.consoleLevel=SEVERE -spec config/specification/sv-comp-terminatingfunctions.spc -testCaseGeneration-interleaved-value+predicate-cmc-bidirectional -setprop interleavedAlgorithm.configFiles=config/components/testCaseGeneration-value-generate-and-use-cmc-condition-precision.properties::noreuse_20,config/components/testCaseGeneration-predicate-generate-and-use-cmc-condition-precision.properties::noreuse_80 -setprop interleavedAlgorithm.intermediateStatistics=EXECUTE
sv-benchmarks/c/ status cputime (s) walltime (s) memUsage cpuenergy (J) #CoveredGoals #Goals host status cputime (s) walltime (s) memUsage cpuenergy (J) #CoveredGoals #Goals host status cputime (s) walltime (s) memUsage cpuenergy (J) #CoveredGoals #Goals host status cputime (s) walltime (s) memUsage cpuenergy (J) #CoveredGoals #Goals host status cputime (s) walltime (s) memUsage cpuenergy (J) #CoveredGoals #Goals host status cputime (s) walltime (s) memUsage cpuenergy (J) #CoveredGoals #Goals host status cputime (s) walltime (s) memUsage cpuenergy (J) #CoveredGoals #Goals host status cputime (s) walltime (s) memUsage cpuenergy (J) #CoveredGoals #Goals host status cputime (s) walltime (s) memUsage cpuenergy (J) #CoveredGoals #Goals host
array-examples/data_structures_set_multi_proc_false-unreach-call_ground.i 772    727     14999998464 8640   apollon105 902    732     13677522944 9360   7 18 apollon093 775    724     14999998464 10900   apollon160 397    345     14999998464 4490   apollon032 901    863     13301473280 11600   7 18 apollon019 901    844     7354875904 10800   7 18 apollon136 902    728     8678875136 9480   7 18 apollon051 901    864     7036018688 11800   7 18 apollon125 901    851     7010267136 10700   7 18 apollon168
array-examples/sorting_bubblesort_false-unreach-call2_ground.i 901    875     8341794816 12300   4 12 apollon159 902    865     9573249024 12100   4 12 apollon080 901    871     8873861120 12100   4 12 apollon112 902    866     8307355648 8110   4 12 apollon063 901    872     7171776512 13300   4 12 apollon044 901    875     2686349312 11300   4 12 apollon049 901    858     12456108032 8800   4 12 apollon151 901    875     4327993344 10600   4 12 apollon115 902    865     7954923520 10200   4 12 apollon154
array-examples/sorting_bubblesort_false-unreach-call_ground.i 901    875     8080424960 10900   4 12 apollon073 902    867     9539440640 10000   4 12 apollon168 901    872     8867942400 12300   4 12 apollon047 902    865     8319856640 11400   4 12 apollon065 901    871     6804348928 11000   4 12 apollon153 901    875     3070222336 12400   4 12 apollon081 901    856     11769397248 9010   4 12 apollon163 901    874     4099170304 10900   4 12 apollon154 902    866     7945601024 10600   4 12 apollon049
array-examples/sorting_selectionsort_false-unreach-call2_ground.i 901    875     9073352704 11200   4 20 apollon129 901    859     4782268416 10600   4 20 apollon083 901    871     9480052736 12600   4 20 apollon027 901    860     5020082176 11300   4 20 apollon074 901    871     7632097280 11900   4 20 apollon052 901    875     3326697472 11100   4 20 apollon001 901    857     4593876992 12300   4 20 apollon005 901    876     4402495488 13000   4 20 apollon148 902    808     9750478848 8550   4 20 apollon041
array-examples/sorting_selectionsort_false-unreach-call_ground.i 902    874     9323085824 11200   4 20 apollon095 901    857     4785700864 11100   4 20 apollon105 901    871     9393389568 10600   4 20 apollon099 901    860     5070749696 12200   4 20 apollon124 901    872     6593880064 11500   4 20 apollon085 901    875     2848206848 10300   4 20 apollon143 901    858     4476518400 12600   4 20 apollon033 901    874     3664416768 11300   4 20 apollon095 902    837     9864257536 9860   4 20 apollon048
array-examples/standard_allDiff2_false-unreach-call_ground.i 594    569     14999998464 7440   apollon168 901    731     14880444416 9250   7 18 apollon165 570    544     14999998464 7420   apollon114 902    782     14230224896 10000   7 18 apollon085 537    513     14999998464 6600   apollon074 901    870     11506884608 11000   7 18 apollon145 826    608     14999998464 7820   apollon163 901    871     12737314816 11400   7 18 apollon082 910    810     12864122880 10100   7 18 apollon085
array-examples/standard_copy1_false-unreach-call_ground.i 901    878     9699651584 12100   1 8 apollon006 901    875     5113360384 11400   1 8 apollon133 901    874     10037018624 10600   1 8 apollon103 901    868     8607166464 13100   1 8 apollon080 901    873     6224605184 13000   1 8 apollon008 901    881     2340171776 12700   1 8 apollon094 886    851     14999998464 9510   apollon094 901    880     2485362688 11500   1 8 apollon147 901    868     10255355904 9640   1 8 apollon043
array-examples/standard_copy2_false-unreach-call_ground.i 901    874     4902461440 10300   1 10 apollon060 901    869     9964408832 11800   1 10 apollon122 901    872     11635589120 11300   1 10 apollon038 901    866     8866971648 12000   1 10 apollon091 901    876     6619566080 13200   1 10 apollon016 901    881     2939400192 12100   1 10 apollon126 746    716     14999998464 6170   apollon166 901    879     3022630912 12800   1 10 apollon106 901    866     12163330048 8840   1 10 apollon139
array-examples/standard_copy3_false-unreach-call_ground.i 902    880     13080936448 12700   1 12 apollon088 901    872     7467872256 13000   1 12 apollon140 901    874     12281511936 11100   1 12 apollon146 901    866     11531100160 10900   1 12 apollon101 901    877     7509753856 12200   1 12 apollon006 901    883     3028516864 10900   1 12 apollon129 637    608     14999998464 5690   apollon145 901    880     2909573120 11600   1 12 apollon071 901    864     14471495680 13500   1 12 apollon057
array-examples/standard_copy4_false-unreach-call_ground.i 902    879     13978214400 10900   1 14 apollon133 901    871     7925096448 11300   1 14 apollon121 902    877     14319071232 11100   1 14 apollon009 901    865     12662788096 11200   1 14 apollon138 901    878     7503081472 11200   1 14 apollon095 901    882     3349753856 10800   1 14 apollon145 544    518     14999998464 5750   apollon072 901    879     3100237824 11100   1 14 apollon078 838    807     14999998464 9720   apollon146
array-examples/standard_copy5_false-unreach-call_ground.i 898    875     14999998464 12500   apollon094 901    869     9927991296 12400   1 16 apollon132 884    857     14999998464 10600   apollon050 901    867     10376679424 12900   1 16 apollon094 901    878     7990140928 11100   1 16 apollon153 901    884     4143853568 10800   1 16 apollon078 477    449     14999998464 5200   apollon079 901    881     3299762176 10900   1 16 apollon107 661    629     14999998464 6790   apollon054
array-examples/standard_copy6_false-unreach-call_ground.i 846    823     14999998464 11600   apollon163 902    870     10275876864 11300   1 18 apollon076 844    818     14999998464 9920   apollon144 901    866     13484158976 10800   1 18 apollon145 901    881     9185488896 13200   1 18 apollon016 901    882     4157181952 11800   1 18 apollon020 452    427     14999998464 6110   apollon044 901    881     3703971840 10300   1 18 apollon040 645    613     14999998464 7010   apollon042
array-examples/standard_copy7_false-unreach-call_ground.i 829    807     15000014848 9550   apollon042 901    873     12019175424 10500   1 20 apollon157 782    757     14999998464 9380   apollon034 901    867     12936720384 11400   1 20 apollon049 901    880     8332447744 11900   1 20 apollon052 901    884     4279922688 10900   1 20 apollon144 443    415     14999998464 5090   apollon091 901    880     4503764992 10600   1 20 apollon035 557    528     14999998464 6970   apollon142
array-examples/standard_copy8_false-unreach-call_ground.i 747    727     14999998464 8460   apollon127 902    870     10764713984 10700   1 22 apollon023 742    717     14999998464 8590   apollon003 901    865     12167901184 11700   1 22 apollon011 901    881     10151342080 11500   1 22 apollon113 901    886     4772462592 12400   1 22 apollon163 407    380     14999998464 5020   apollon030 901    883     5526331392 13300   1 22 apollon044 536    505     14999998464 7720   apollon044
array-examples/standard_copy9_false-unreach-call_ground.i 745    722     14999998464 8420   apollon041 902    871     7736004608 10100   1 24 apollon092 746    721     14999998464 8520   apollon053 901    869     9518051328 13700   1 24 apollon044 901    883     10489724928 11900   1 24 apollon046 901    886     5070700544 11500   1 24 apollon018 450    424     14999998464 6050   apollon021 901    883     5851467776 12300   1 24 apollon122 486    457     14999998464 5350   apollon128
array-examples/standard_copyInitSum2_false-unreach-call_ground.i 901    879     7639494656 13200   1 10 apollon088 901    884     2029211648 12300   1 10 apollon020 901    878     7804698624 11000   1 10 apollon003 902    881     1914773504 10500   1 10 apollon098 902    883     4773576704 12100   1 10 apollon152 901    888     1956909056 12700   1 10 apollon005 902    884     2426437632 13100   1 10 apollon094 901    878     2382790656 11800   1 10 apollon124 901    865     11168718848 10100   1 10 apollon079
array-examples/standard_init1_false-unreach-call_ground.i 901    873     5828784128 11000   1 6 apollon025 901    883     1468440576 12600   1 6 apollon136 901    873     5920509952 11700   1 6 apollon082 901    883     1366798336 11500   1 6 apollon001 901    879     4704505856 10800   1 6 apollon104 901    887     1639542784 14300   1 6 apollon160 901    883     1927864320 12500   1 6 apollon091 901    879     2668691456 10700   1 6 apollon115 901    865     8865763328 12800   1 6 apollon044
array-examples/standard_init2_false-unreach-call_ground.i 901    875     5848764416 13200   1 8 apollon094 901    884     1527574528 11100   1 8 apollon166 901    875     6130323456 12800   1 8 apollon167 902    885     1567371264 11100   1 8 apollon025 901    882     4637720576 11200   1 8 apollon144 901    887     1646157824 11700   1 8 apollon162 901    883     1789739008 12200   1 8 apollon052 901    878     2129551360 11800   1 8 apollon031 901    865     8911151104 10700   1 8 apollon085
array-examples/standard_init3_false-unreach-call_ground.i 901    874     5821599744 12500   1 10 apollon006 902    885     1316265984 12900   1 10 apollon155 901    876     6082269184 12200   1 10 apollon020 901    885     1500315648 11300   1 10 apollon073 901    882     4716748800 11900   1 10 apollon142 901    887     1651453952 11600   1 10 apollon135 902    883     1859833856 12300   1 10 apollon124 901    878     2399805440 11500   1 10 apollon082 901    862     8910278656 9870   1 10 apollon124
array-examples/standard_init4_false-unreach-call_ground.i 901    874     5852639232 12900   1 12 apollon028 902    884     1492303872 12700   1 12 apollon132 901    874     6080057344 12900   1 12 apollon140 901    882     1523617792 11500   1 12 apollon032 901    881     4558372864 11700   1 12 apollon118 901    888     1678831616 11700   1 12 apollon162 901    883     1778294784 12100   1 12 apollon084 901    878     2735161344 11300   1 12 apollon076 901    862     8911126528 10100   1 12 apollon050
array-examples/standard_init5_false-unreach-call_ground.i 901    876     5951238144 13500   1 14 apollon036 902    885     1513906176 11100   1 14 apollon115 901    875     5947396096 11400   1 14 apollon050 902    884     1442709504 11100   1 14 apollon086 901    882     4719570944 10200   1 14 apollon151 901    887     1715601408 11900   1 14 apollon085 901    886     1769074688 14300   1 14 apollon111 901    877     2561957888 10400   1 14 apollon117 901    863     8901738496 9810   1 14 apollon086
array-examples/standard_init6_false-unreach-call_ground.i 901    873     5832863744 12500   1 16 apollon006 901    884     1373237248 11400   1 16 apollon050 901    874     6001516544 13000   1 16 apollon126 902    885     1466093568 10900   1 16 apollon104 901    880     4681715712 9860   1 16 apollon158 901    888     1807454208 11300   1 16 apollon131 902    884     1801052160 10800   1 16 apollon041 901    878     2429071360 10500   1 16 apollon143 901    862     8900509696 10300   1 16 apollon031
array-examples/standard_init7_false-unreach-call_ground.i 901    876     5945217024 13100   1 18 apollon130 902    884     1600782336 10800   1 18 apollon089 901    875     6079619072 14300   1 18 apollon056 902    883     1324695552 12000   1 18 apollon004 901    881     4721078272 11000   1 18 apollon025 901    887     1662242816 11100   1 18 apollon003 901    885     1962434560 12600   1 18 apollon065 901    877     2335002624 11200   1 18 apollon129 901    863     8928849920 7760   1 18 apollon063
array-examples/standard_init8_false-unreach-call_ground.i 901    874     5788692480 11300   1 20 apollon034 901    884     1572347904 13300   1 20 apollon163 901    875     6137106432 11000   1 20 apollon166 901    883     1483345920 11500   1 20 apollon133 901    880     4640247808 11600   1 20 apollon153 901    888     1688363008 10600   1 20 apollon098 902    884     1889505280 11500   1 20 apollon119 901    879     2731675648 12400   1 20 apollon005 901    863     8751685632 9820   1 20 apollon003
array-examples/standard_init9_false-unreach-call_ground.i 901    876     5928873984 11000   1 22 apollon035 901    885     1640124416 13000   1 22 apollon081 901    874     6054645760 11400   1 22 apollon037 901    883     1277833216 10600   1 22 apollon002 901    882     4612759552 13200   1 22 apollon094 901    887     1680945152 12700   1 22 apollon065 901    883     1800466432 12300   1 22 apollon046 901    879     2719522816 12600   1 22 apollon081 901    865     8817192960 9940   1 22 apollon154
array-examples/standard_minInArray_false-unreach-call_ground.i 901    875     7145558016 12400   3 8 apollon081 902    867     11034820608 9860   3 8 apollon061 901    871     8332095488 10900   3 8 apollon107 902    867     9051000832 10100   3 8 apollon107 901    872     6430085120 12000   3 8 apollon136 901    877     2199920640 10700   3 8 apollon022 901    860     12501934080 9040   3 8 apollon155 901    876     2829799424 14200   3 8 apollon039 902    785     10826022912 11200   3 8 apollon111
array-examples/standard_partition_false-unreach-call_ground.i 901    876     11310456832 10700   3 14 apollon144 383    351     14999998464 4510   apollon165 902    872     11288334336 11100   3 14 apollon093 373    341     14999998464 5240   apollon161 901    874     6597758976 12500   3 14 apollon167 901    880     3543740416 10400   3 14 apollon083 593    558     14999998464 8390   apollon069 901    878     3776847872 10300   3 14 apollon117 901    803     13100294144 11500   3 14 apollon160
array-examples/standard_running_false-unreach-call.i 902    876     9983508480 11200   3 16 apollon037 901    864     4463874048 11100   3 16 apollon153 901    874     9945534464 11300   3 16 apollon135 902    859     4440965120 12600   3 16 apollon130 901    873     7222988800 11800   3 16 apollon101 901    878     3502133248 10400   3 16 apollon089 901    860     4398526464 11400   3 16 apollon162 901    875     3388735488 9860   3 16 apollon151 902    834     9916862464 9190   3 16 apollon045
array-examples/data_structures_set_multi_proc_trivial_true-unreach-call_ground_true-termination.i 901    874     15000002560 10900   apollon133 198    174     14999998464 2340   apollon113 880    853     14999998464 9900   apollon117 174    154     14999998464 2370   apollon016 901    875     9994809344 11300   5 22 apollon087 901    877     4853272576 8440   5 22 apollon063 407    376     14999998464 4110   apollon060 901    876     5065383936 12800   5 22 apollon088 495    462     14999998464 5340   apollon145
array-examples/data_structures_set_multi_proc_true-unreach-call_ground.i 843    814     14999998464 10600   apollon152 468    427     14999998464 5710   apollon118 800    766     14999998464 8940   apollon002 398    366     14999998464 4480   apollon098 717    686     14999998464 8340   apollon025 901    871     6875668480 10800   8 18 apollon058 707    639     14999998464 8630   apollon118 901    856     8090652672 9970   8 18 apollon099 691    635     14999998464 9900   apollon036
array-examples/relax_true-unreach-call.i 13.3  3.77  490729472 108   apollon127 13.8  3.93  483635200 116   apollon045 13.6  3.79  481075200 118   apollon136 12.9  3.58  476651520 99.3 apollon134 12.8  3.61  489963520 111   apollon017 12.7  3.66  413949952 107   apollon121 13.8  3.91  405581824 103   apollon143 901    792     7867924480 11400   32 48 apollon046 902    791     6597099520 10500   32 48 apollon032
array-examples/sanfoundry_02_true-unreach-call_ground.i 901    874     7708012544 11500   7 18 apollon101 903    775     10910793728 9180   7 18 apollon107 901    870     8042307584 12400   7 18 apollon163 903    829     10109349888 9520   7 18 apollon093 901    870     6328655872 11300   7 18 apollon102 901    875     2315575296 12400   7 18 apollon163 973    588     14488924160 7870   7 18 apollon023 901    875     3144912896 10600   7 18 apollon109 903    844     8895766528 8980   7 18 apollon029
array-examples/sanfoundry_10_true-unreach-call_ground.i 901    875     6388068352 11200   7 16 apollon093 901    873     4596670464 10900   7 16 apollon003 901    871     6859751424 11300   7 16 apollon147 901    871     5144645632 10400   7 16 apollon128 901    872     6702981120 12100   7 16 apollon136 901    875     2263461888 11200   7 16 apollon118 902    875     3532505088 11300   7 16 apollon121 901    876     3115700224 11600   7 16 apollon147 902    875     4654665728 11400   7 16 apollon135
array-examples/sanfoundry_24_true-unreach-call_true-termination.i 23.4  17.2   1303703552 239   9 10 apollon151 25.2  17.9   1323438080 311   9 10 apollon155 24.0  17.2   1243582464 257   9 10 apollon149 25.0  17.7   1335238656 303   9 10 apollon091 23.8  17.2   1282879488 293   9 10 apollon132 23.9  17.2   1294045184 298   9 10 apollon064 24.4  17.5   1337741312 259   9 10 apollon040 24.0  17.2   1325060096 269   9 10 apollon058 25.2  17.6   1423400960 267   9 10 apollon002
array-examples/sanfoundry_27_true-unreach-call_ground.i 901    875     7715471360 11300   3 8 apollon168 902    756     12597989376 8300   3 8 apollon012 901    871     8406007808 9890   3 8 apollon092 901    770     11668533248 9230   3 8 apollon108 901    873     7218524160 10700   3 8 apollon137 901    877     2479476736 12200   3 8 apollon155 901    595     13902626816 7110   3 8 apollon124 901    876     3181604864 11600   3 8 apollon011 903    789     10954969088 10800   3 8 apollon036
array-examples/sanfoundry_43_true-unreach-call_ground.i 901    875     6292815872 10800   1 6 apollon086 903    872     4742529024 11700   1 6 apollon064 901    872     6480367616 13600   1 6 apollon021 902    869     5717368832 11300   1 6 apollon071 901    872     6371106816 11900   1 6 apollon138 901    878     2307055616 10700   1 6 apollon003 901    864     5597847552 10600   1 6 apollon065 901    877     2263834624 11600   1 6 apollon067 902    869     5323513856 10500   1 6 apollon153
array-examples/sorting_bubblesort_true-unreach-call_ground.i 901    875     8345976832 12500   4 12 apollon047 902    867     9604886528 9300   4 12 apollon043 902    872     8972689408 11100   4 12 apollon093 902    863     8486858752 9790   4 12 apollon012 901    872     7020269568 10400   4 12 apollon104 901    875     3103330304 12700   4 12 apollon125 901    861     12149690368 9910   4 12 apollon017 901    874     4266975232 11200   4 12 apollon168 902    863     7919284224 10900   4 12 apollon164
array-examples/sorting_selectionsort_true-unreach-call_ground.i 902    874     8897847296 10700   4 20 apollon003 901    860     4771946496 10500   4 20 apollon060 901    872     9353453568 11900   4 20 apollon046 901    859     5130731520 11500   4 20 apollon055 901    872     7203991552 11600   4 20 apollon009 901    876     3014512640 12800   4 20 apollon014 902    856     4586295296 11500   4 20 apollon102 901    876     3966119936 11500   4 20 apollon102 901    823     9637879808 9430   4 20 apollon049
array-examples/standard_compareModified_true-unreach-call_ground.i 901    877     11315384320 10200   3 12 apollon042 901    869     4147945472 10500   3 12 apollon074 901    873     11327213568 12500   3 12 apollon106 902    871     4517191680 12300   3 12 apollon088 901    876     8139984896 10900   3 12 apollon050 901    880     3871793152 10900   3 12 apollon055 901    860     4180312064 10600   3 12 apollon001 901    875     3764342784 10700   3 12 apollon157 901    853     4893270016 11400   3 12 apollon065
array-examples/standard_compare_true-unreach-call_ground.i 901    878     9727471616 10900   3 10 apollon105 901    868     12837113856 8580   3 10 apollon151 901    873     9821777920 10500   3 10 apollon116 902    869     10870829056 9220   3 10 apollon115 901    875     6376554496 10500   3 10 apollon083 901    877     3278893056 11800   3 10 apollon052 901    865     14045229056 7960   3 10 apollon124 901    875     3708211200 9610   3 10 apollon158 903    787     11441786880 8560   3 10 apollon040
array-examples/standard_copy1_true-unreach-call_ground.i 901    877     9294995456 12300   1 8 apollon005 901    875     8686387200 12900   1 8 apollon160 901    874     10064310272 11100   1 8 apollon051 901    867     10973396992 11900   1 8 apollon094 901    874     7507148800 11300   1 8 apollon102 901    880     3056717824 10400   1 8 apollon100 880    845     14999998464 8340   apollon129 901    880     2735329280 10900   1 8 apollon150 901    866     11076300800 11200   1 8 apollon059
array-examples/standard_copy2_true-unreach-call_ground.i 902    879     11595661312 10200   1 10 apollon127 901    870     11075596288 9810   1 10 apollon166 901    875     11899121664 10200   1 10 apollon060 901    866     12734267392 9910   1 10 apollon134 901    876     7722496000 10900   1 10 apollon107 901    881     2719424512 11600   1 10 apollon017 693    660     14999998464 7750   apollon071 901    880     2796683264 10500   1 10 apollon041 901    868     13672280064 9700   1 10 apollon128
array-examples/standard_copy3_true-unreach-call_ground.i 902    880     13021368320 12100   1 12 apollon065 902    871     12068405248 10800   1 12 apollon072 901    877     12971642880 10700   1 12 apollon079 901    865     14036647936 10700   1 12 apollon048 901    877     7182352384 12400   1 12 apollon033 901    883     3132149760 9740   1 12 apollon092 598    572     15000023040 5920   apollon070 901    878     3334156288 11100   1 12 apollon029 850    816     14999998464 10900   apollon125
array-examples/standard_copy4_true-unreach-call_ground.i 901    880     14136201216 10900   1 14 apollon119 902    869     12633300992 11500   1 14 apollon020 902    875     13864665088 11000   1 14 apollon133 898    862     14999998464 11600   apollon019 901    875     7755120640 10900   1 14 apollon037 901    883     3557117952 11700   1 14 apollon046 532    503     14999998464 5450   apollon162 901    881     3226603520 12000   1 14 apollon024 672    638     14999998464 6810   apollon029
array-examples/standard_copy5_true-unreach-call_ground.i 883    861     14999998464 10900   apollon118 902    870     13237424128 11600   1 16 apollon046 892    866     14999998464 10800   apollon051 889    852     14999998464 10200   apollon109 901    878     7626366976 10700   1 16 apollon137 901    884     3995774976 10600   1 16 apollon003 488    463     15000010752 5100   apollon018 901    880     4084350976 10900   1 16 apollon012 638    606     14999998464 8430   apollon030
array-examples/standard_copy6_true-unreach-call_ground.i 850    827     14999998464 13100   apollon039 891    862     14999998464 11900   apollon027 840    817     14999998464 10700   apollon138 791    759     14999998464 9980   apollon126 901    882     9238167552 13200   1 18 apollon016 901    883     3665006592 12600   1 18 apollon047 456    428     14999998464 4420   apollon041 901    880     4094107648 11400   1 18 apollon070 549    519     14999998464 6500   apollon084
array-examples/standard_copy7_true-unreach-call_ground.i 821    799     15000002560 10200   apollon118 899    869     14999998464 11100   apollon049 781    758     14999998464 8540   apollon139 793    759     14999998464 9370   apollon153 901    881     9097936896 11900   1 20 apollon020 901    884     3978657792 11200   1 20 apollon095 448    421     14999998464 4510   apollon037 901    882     4709789696 12100   1 20 apollon126 484    456     14999998464 5140   apollon060
array-examples/standard_copy8_true-unreach-call_ground.i 746    724     14999998464 9380   apollon096 804    774     14999998464 9980   apollon152 745    721     14999998464 8890   apollon026 687    653     14999998464 9880   apollon016 901    882     10116493312 12000   1 22 apollon112 901    886     5321424896 13000   1 22 apollon069 403    379     14999998464 3910   apollon040 901    883     4392681472 10600   1 22 apollon025 461    435     14999998464 4750   apollon054
array-examples/standard_copy9_true-unreach-call_ground.i 745    723     14999998464 9360   apollon096 901    866     14133022720 10600   1 24 apollon086 738    714     14999998464 10000   apollon167 901    863     14430236672 10500   1 24 apollon134 901    880     10206224384 11500   1 24 apollon061 901    885     5501227008 11800   1 24 apollon071 445    420     14999998464 4610   apollon149 901    880     4943855616 13400   1 24 apollon044 455    422     14999998464 4780   apollon166
array-examples/standard_copyInitSum2_true-unreach-call_ground.i 901    875     7423275008 11500   1 10 apollon165 901    883     1883238400 13100   1 10 apollon047 901    880     7867195392 11400   1 10 apollon074 902    883     1922998272 11300   1 10 apollon154 901    883     4944412672 11200   1 10 apollon026 901    889     1991507968 13000   1 10 apollon028 902    884     2396282880 11000   1 10 apollon003 901    877     2733219840 11100   1 10 apollon001 901    864     11094818816 9330   1 10 apollon037
array-examples/standard_copyInitSum3_true-unreach-call_ground.i 901    880     8008056832 11700   1 12 apollon085 901    884     2050887680 12100   1 12 apollon113 901    877     7732736000 11700   1 12 apollon067 901    884     1848721408 10500   1 12 apollon098 902    880     4881752064 11800   1 12 apollon004 901    888     1950134272 11700   1 12 apollon076 901    882     2366087168 10600   1 12 apollon089 901    879     2930348032 10700   1 12 apollon066 901    865     11100311552 9670   1 12 apollon119
array-examples/standard_copyInitSum_true-unreach-call_ground.i 901    875     7519866880 12900   1 10 apollon140 901    883     1692876800 11100   1 10 apollon086 901    878     7824908288 11200   1 10 apollon144 901    884     1789276160 11300   1 10 apollon034 901    880     4844081152 11400   1 10 apollon095 901    888     1963479040 12500   1 10 apollon006 901    882     2592141312 11700   1 10 apollon038 901    878     2517991424 10800   1 10 apollon137 901    865     10887356416 11500   1 10 apollon069
array-examples/standard_copyInit_true-unreach-call_ground.i 901    880     7760588800 12500   1 8 apollon006 902    883     2082365440 12500   1 8 apollon024 901    877     7714840576 11700   1 8 apollon082 902    883     1914785792 12900   1 8 apollon028 901    882     5008343040 12200   1 8 apollon152 901    888     1984925696 11200   1 8 apollon062 902    884     2473959424 11700   1 8 apollon067 901    879     2344235008 11200   1 8 apollon078 901    865     10948206592 10800   1 8 apollon007
array-examples/standard_find_true-unreach-call_ground.i 901    875     8201895936 11200   1 10 apollon075 901    871     8058953728 12300   1 10 apollon130 901    873     8073424896 10300   1 10 apollon002 901    866     9459486720 10500   1 10 apollon146 902    872     6695071744 9760   1 10 apollon123 901    877     1912680448 11700   1 10 apollon124 901    866     11760148480 7080   1 10 apollon139 901    876     2277875712 11000   1 10 apollon062 901    867     8623255552 11800   1 10 apollon112
array-examples/standard_init1_true-unreach-call_ground.i 901    875     5840031744 11700   1 6 apollon145 901    884     1503928320 12600   1 6 apollon010 901    872     5935931392 12000   1 6 apollon071 902    885     1492127744 11600   1 6 apollon120 901    881     4737777664 11700   1 6 apollon118 901    887     1685098496 12000   1 6 apollon096 902    883     1826197504 10300   1 6 apollon029 901    878     2352467968 11600   1 6 apollon085 901    863     8851120128 12500   1 6 apollon080
array-examples/standard_init2_true-unreach-call_ground.i 901    874     5815242752 14200   1 8 apollon111 902    884     1498558464 14600   1 8 apollon039 901    875     6109540352 11500   1 8 apollon097 902    884     1520148480 13600   1 8 apollon030 901    881     4675870720 11200   1 8 apollon144 901    887     1658589184 10100   1 8 apollon123 901    882     1850560512 11600   1 8 apollon049 901    876     2422099968 13800   1 8 apollon160 901    863     8892043264 9360   1 8 apollon166
array-examples/standard_init3_true-unreach-call_ground.i 901    874     5782585344 12200   1 10 apollon152 902    884     1488359424 12200   1 10 apollon101 901    875     6047678464 12500   1 10 apollon064 901    885     1580634112 12900   1 10 apollon019 901    880     4690968576 10700   1 10 apollon060 901    888     1585741824 10500   1 10 apollon139 901    884     1852960768 11300   1 10 apollon034 901    877     2829647872 11300   1 10 apollon118 901    867     8945426432 10200   1 10 apollon090
array-examples/standard_init4_true-unreach-call_ground.i 901    874     5871931392 9880   1 12 apollon158 902    884     1466679296 12700   1 12 apollon068 901    875     6110261248 11300   1 12 apollon107 901    883     1563430912 13400   1 12 apollon069 901    881     4626014208 12500   1 12 apollon010 901    887     1722732544 11600   1 12 apollon165 901    882     1791303680 12200   1 12 apollon141 901    878     2623258624 11900   1 12 apollon017 901    865     8940871680 12400   1 12 apollon148
array-examples/standard_init5_true-unreach-call_ground.i 901    875     5893201920 13200   1 14 apollon014 901    885     1497858048 11500   1 14 apollon075 901    874     5874454528 12400   1 14 apollon091 901    884     1490640896 11100   1 14 apollon025 901    882     4433453056 11400   1 14 apollon129 901    887     1653661696 11600   1 14 apollon133 901    884     1924284416 12300   1 14 apollon020 901    878     2419462144 10300   1 14 apollon043 901    867     8886292480 9790   1 14 apollon116
array-examples/standard_init6_true-unreach-call_ground.i 901    874     5882441728 12800   1 16 apollon007 901    884     1475743744 11800   1 16 apollon076 901    874     5921292288 10800   1 16 apollon116 901    882     1451069440 10900   1 16 apollon053 901    880     4565766144 11400   1 16 apollon121 901    887     1637154816 11700   1 16 apollon049 901    882     1816805376 13000   1 16 apollon159 901    877     2363273216 9870   1 16 apollon123 901    863     8895410176 9480   1 16 apollon023
array-examples/standard_init7_true-unreach-call_ground.i 901    873     5734912000 12800   1 18 apollon108 901    884     1403584512 11900   1 18 apollon038 901    876     6040899584 12800   1 18 apollon155 902    884     1408139264 10700   1 18 apollon040 902    879     4497494016 12100   1 18 apollon152 901    887     1603489792 13000   1 18 apollon028 902    886     1908142080 11700   1 18 apollon162 901    878     2181918720 12600   1 18 apollon167 901    866     8955088896 9260   1 18 apollon157
array-examples/standard_init8_true-unreach-call_ground.i 901    874     5831831552 12000   1 20 apollon071 902    884     1515098112 12000   1 20 apollon093 901    875     5908369408 11400   1 20 apollon074 902    885     1431896064 10700   1 20 apollon040 901    879     4581879808 10100   1 20 apollon151 901    887     1602613248 12800   1 20 apollon155 902    884     1808830464 11400   1 20 apollon072 901    878     2489114624 12400   1 20 apollon068 901    863     8912977920 10500   1 20 apollon061
array-examples/standard_init9_true-unreach-call_ground.i 901    874     5911359488 11700   1 22 apollon038 901    884     1398771712 11100   1 22 apollon023 901    876     6123839488 12200   1 22 apollon046 901    884     1493966848 10500   1 22 apollon098 901    882     4665659392 11100   1 22 apollon003 901    888     1673175040 10600   1 22 apollon043 902    882     1934974976 12100   1 22 apollon101 901    877     2401595392 12600   1 22 apollon081 901    863     8854851584 9920   1 22 apollon073
array-examples/standard_maxInArray_true-unreach-call_ground.i 901    875     7607287808 10200   3 8 apollon128 902    865     10844495872 9350   3 8 apollon096 901    871     8261144576 11500   3 8 apollon011 902    870     9119272960 9760   3 8 apollon116 901    872     5850570752 12400   3 8 apollon081 901    876     2304753664 11000   3 8 apollon058 902    843     12977950720 8820   3 8 apollon134 901    875     2900275200 12200   3 8 apollon112 902    802     10944798720 9510   3 8 apollon129
array-examples/standard_minInArray_true-unreach-call_ground.i 901    875     7534010368 10600   3 8 apollon083 902    867     11012378624 10600   3 8 apollon068 901    871     8383201280 10400   3 8 apollon041 902    868     9118150656 9660   3 8 apollon117 901    871     5876658176 10900   3 8 apollon037 901    877     2113986560 10300   3 8 apollon117 901    860     13034930176 11500   3 8 apollon140 901    876     2879119360 9970   3 8 apollon151 901    766     10460286976 8990   3 8 apollon013
array-examples/standard_palindrome_true-unreach-call_ground.i 901    875     8272551936 11400   1 6 apollon145 901    874     3204227072 11500   1 6 apollon037 901    874     8401661952 10400   1 6 apollon149 901    869     6198509568 12600   1 6 apollon064 901    873     6650236928 11200   1 6 apollon153 901    878     2007404544 12200   1 6 apollon010 901    862     11796766720 8370   1 6 apollon163 901    878     2300678144 11200   1 6 apollon110 901    866     8866975744 11500   1 6 apollon068
array-examples/standard_partial_init_true-unreach-call_ground.i 901    878     10265661440 11000   3 10 apollon012 901    862     7717826560 11500   3 10 apollon017 901    872     10764062720 12500   3 10 apollon122 901    858     7647891456 11000   3 10 apollon135 901    875     6579875840 11200   3 10 apollon051 901    881     3226554368 12600   3 10 apollon130 901    865     5176000512 12600   3 10 apollon094 901    876     3483467776 12700   3 10 apollon140 902    799     12098113536 9050   3 10 apollon143
array-examples/standard_partition_original_true-unreach-call_ground.i 901    876     10987130880 12200   3 10 apollon065 494    457     14999998464 7110   apollon057 902    874     11058700288 10500   3 10 apollon134 504    466     14999998464 6060   apollon008 901    874     7387709440 13100   3 10 apollon036 901    879     2689581056 11600   3 10 apollon152 754    713     14999998464 10600   apollon069 901    878     3635507200 10500   3 10 apollon166 901    794     12222537728 8920   3 10 apollon153
array-examples/standard_partition_true-unreach-call_ground.i 901    877     9321086976 11100   3 12 apollon121 460    429     14999998464 5910   apollon081 901    872     9774317568 11100   3 12 apollon121 405    374     14999998464 5400   apollon167 901    873     6260895744 11600   3 12 apollon031 901    878     2683592704 13500   3 12 apollon160 787    750     14999998464 9280   apollon074 901    876     3660550144 11200   3 12 apollon121 902    813     11597660160 10300   3 12 apollon011
array-examples/standard_password_true-unreach-call_ground.i 901    875     9661427712 10800   3 10 apollon144 901    866     12558082048 8410   3 10 apollon145 901    872     9903747072 10500   3 10 apollon083 902    870     10928566272 10700   3 10 apollon122 901    874     6250598400 10500   3 10 apollon116 901    878     3056345088 10600   3 10 apollon045 901    864     14665080832 9790   3 10 apollon082 901    875     3211792384 13300   3 10 apollon080 902    802     12150099968 9330   3 10 apollon168
array-examples/standard_reverse_true-unreach-call_ground.i 901    878     10019774464 11000   1 6 apollon075 901    873     3265646592 11400   1 6 apollon154 901    876     10174980096 9800   1 6 apollon151 901    872     6448332800 12500   1 6 apollon006 901    874     6352322560 11800   1 6 apollon114 901    880     2595639296 13200   1 6 apollon080 860    827     14999998464 8620   apollon059 901    879     2958200832 10000   1 6 apollon139 901    864     11280764928 10400   1 6 apollon129
array-examples/standard_running_true-unreach-call.i 901    877     9572323328 11300   3 16 apollon097 901    863     4477030400 10300   3 16 apollon042 901    869     10066939904 11500   3 16 apollon102 902    859     4433412096 10200   3 16 apollon002 901    872     6958518272 10500   3 16 apollon149 901    878     3325280256 11400   3 16 apollon078 901    861     4268404736 11700   3 16 apollon052 901    876     3372314624 12300   3 16 apollon006 902    703     11122757632 10800   3 16 apollon161
array-examples/standard_sentinel_true-unreach-call_true-termination.i 23.8  17.0   1284849664 308   7 8 apollon088 24.2  17.5   1306079232 311   7 8 apollon163 23.6  16.6   1098960896 286   7 8 apollon005 23.5  17.0   1281216512 294   7 8 apollon164 24.1  17.6   1327312896 281   7 8 apollon102 23.2  16.6   1297604608 263   7 8 apollon097 23.9  17.5   1285763072 286   7 8 apollon071 23.6  14.6   1706991616 262   7 8 apollon009 23.7  14.6   1586286592 259   7 8 apollon055
array-examples/standard_seq_init_true-unreach-call_ground.i 901    875     5740933120 10700   1 6 apollon127 902    884     1616584704 11800   1 6 apollon022 901    872     5848178688 11600   1 6 apollon087 901    885     1639079936 11900   1 6 apollon085 901    882     4599050240 11800   1 6 apollon102 901    887     1675272192 11600   1 6 apollon135 902    883     1956732928 12600   1 6 apollon164 901    877     2263511040 12600   1 6 apollon140 901    866     8863043584 10200   1 6 apollon034
array-examples/standard_strcmp_true-unreach-call_ground.i 902    875     9941438464 10600   4 10 apollon134 901    868     11394457600 9210   4 10 apollon152 901    873     9639018496 10300   4 10 apollon060 901    867     11709427712 9870   4 10 apollon084 901    873     7188365312 10900   4 10 apollon073 901    880     2440740864 13800   4 10 apollon057 901    868     13756506112 9720   4 10 apollon001 901    878     2640044032 10300   4 10 apollon128 901    866     11328761856 11200   4 10 apollon167
array-examples/standard_strcpy_original_true-unreach-call.i 901    876     9240911872 11000   1 12 apollon107 901    867     9694162944 13400   1 12 apollon057 901    870     9948332032 12400   1 12 apollon081 901    866     11081613312 9500   1 12 apollon166 901    873     6460923904 11600   1 12 apollon031 901    879     2576134144 11300   1 12 apollon076 890    857     14999998464 8080   apollon034 901    879     2270109696 12400   1 12 apollon005 901    865     11003723776 9710   1 12 apollon145
array-examples/standard_strcpy_true-unreach-call_ground.i 901    875     9320128512 14100   1 10 apollon039 901    869     9112879104 9750   1 10 apollon060 901    872     9715245056 11000   1 10 apollon120 901    868     11203829760 12200   1 10 apollon130 901    873     6786945024 12400   1 10 apollon081 901    881     3079667712 11100   1 10 apollon055 901    868     14929084416 8270   1 10 apollon133 901    878     2984845312 11300   1 10 apollon095 901    868     11193384960 9530   1 10 apollon043
array-examples/standard_two_index_01_true-unreach-call.i 901    876     6049697792 11000   1 8 apollon107 901    868     4788011008 10400   1 8 apollon040 901    872     6342017024 9580   1 8 apollon158 901    870     7149199360 10500   1 8 apollon150 901    872     5928157184 11000   1 8 apollon107 901    589     8755707904 8520   1 8 apollon042 983    589     10272354304 8610   1 8 apollon003 901    875     2049777664 14000   1 8 apollon111 901    866     6336606208 12700   1 8 apollon130
array-examples/standard_two_index_02_true-unreach-call.i 901    876     9298960384 11200   1 8 apollon022 901    869     8832114688 10600   1 8 apollon145 901    876     10195607552 11300   1 8 apollon018 901    868     10835939328 10300   1 8 apollon009 901    875     6450470912 11000   1 8 apollon034 901    879     2577231872 10800   1 8 apollon144 875    840     14999998464 7660   apollon025 901    878     2563592192 12700   1 8 apollon059 901    865     10948317184 9950   1 8 apollon124
array-examples/standard_two_index_03_true-unreach-call.i 901    873     6179889152 10400   1 8 apollon117 901    870     4816904192 11600   1 8 apollon113 901    872     6674862080 10400   1 8 apollon104 901    862     7171977216 12900   1 8 apollon036 901    872     6068301824 12500   1 8 apollon033 1050    621     7692488704 11400   1 8 apollon160 901    504     9904295936 8930   1 8 apollon016 901    875     1816989696 12300   1 8 apollon164 901    867     6128668672 12100   1 8 apollon081
array-examples/standard_two_index_04_true-unreach-call.i 901    877     9566621696 12500   1 8 apollon167 901    870     9348902912 12400   1 8 apollon088 901    873     9547632640 11400   1 8 apollon004 901    865     11388469248 10400   1 8 apollon072 901    873     6398279680 11700   1 8 apollon101 901    879     2713243648 10900   1 8 apollon012 839    804     14999998464 9520   apollon094 901    879     2305748992 9880   1 8 apollon092 901    867     10964082688 9930   1 8 apollon101
array-examples/standard_two_index_05_true-unreach-call.i 901    877     9618624512 11000   1 8 apollon012 901    870     8642199552 11600   1 8 apollon159 901    876     10206875648 9550   1 8 apollon123 901    865     10984624128 10400   1 8 apollon072 901    874     6409551872 10700   1 8 apollon166 901    879     2791346176 11300   1 8 apollon101 892    859     14999998464 7310   apollon152 901    878     2819211264 12700   1 8 apollon163 901    867     11121823744 10500   1 8 apollon072
array-examples/standard_two_index_06_true-unreach-call.i 901    874     6450814976 10400   1 8 apollon089 901    872     5055578112 11000   1 8 apollon156 901    870     6471753728 10800   1 8 apollon079 901    869     6774145024 10900   1 8 apollon135 901    872     5853466624 11200   1 8 apollon133 910    512     8488919040 7800   1 8 apollon025 1040    595     10113544192 8590   1 8 apollon109 901    875     2003542016 11500   1 8 apollon049 901    863     6336040960 12200   1 8 apollon064
array-examples/standard_two_index_07_true-unreach-call.i 901    877     9761914880 10200   1 8 apollon098 901    870     8818597888 11900   1 8 apollon059 901    873     9961398272 10600   1 8 apollon066 902    865     11139420160 9490   1 8 apollon040 901    875     6899585024 10300   1 8 apollon089 901    880     2520956928 12300   1 8 apollon068 877    841     14999998464 11200   apollon056 901    879     2482794496 9980   1 8 apollon029 901    866     11185020928 11000   1 8 apollon091
array-examples/standard_two_index_08_true-unreach-call.i 901    876     9239531520 13900   1 8 apollon057 901    870     9301966848 11400   1 8 apollon071 901    872     9613017088 11100   1 8 apollon156 901    868     11218792448 10300   1 8 apollon079 901    875     6548676608 10900   1 8 apollon062 901    881     2655199232 10900   1 8 apollon012 901    868     14944096256 8380   1 8 apollon020 901    879     2572959744 12700   1 8 apollon077 901    865     11037908992 11000   1 8 apollon027
array-examples/standard_two_index_09_true-unreach-call.i 901    876     9840488448 11000   1 8 apollon105 901    871     8492658688 11300   1 8 apollon046 901    874     9581654016 10200   1 8 apollon043 901    863     11217731584 10900   1 8 apollon008 901    876     6991224832 12200   1 8 apollon065 901    879     2245697536 10400   1 8 apollon041 881    849     14999998464 8220   apollon058 901    878     2950270976 10300   1 8 apollon117 902    869     11246698496 11100   1 8 apollon019
array-examples/standard_vararg_true-unreach-call_ground_true-termination.i 901    862     3953295360 13600   5 6 apollon008 901    864     4059938816 10900   5 6 apollon013 901    858     5328396288 14100   5 6 apollon057 901    861     4025311232 11500   5 6 apollon034 901    866     2346749952 12700   5 6 apollon164 901    864     2697113600 11800   5 6 apollon082 901    862     3248340992 12100   5 6 apollon146 901    859     3055050752 12700   5 6 apollon006 901    860     3832893440 11400   5 6 apollon034
array-examples/standard_vector_difference_true-unreach-call_ground.i 901    875     11013984256 11200   1 6 apollon067 901    873     3940909056 13500   1 6 apollon148 902    874     11101110272 10900   1 6 apollon072 901    868     4287004672 11600   1 6 apollon097 901    875     6703771648 11600   1 6 apollon009 901    880     3494494208 9700   1 6 apollon092 901    868     4104122368 9960   1 6 apollon002 901    880     2797711360 10200   1 6 apollon002 901    866     12754771968 10500   1 6 apollon048
array-industry-pattern/array_assert_loop_dep_false-unreach-call_true-termination.i 901    876     5963919360 14100   1 8 apollon057 902    885     1420607488 12100   1 8 apollon071 901    873     5910011904 12900   1 8 apollon028 902    885     1457451008 11100   1 8 apollon035 902    882     4550500352 13300   1 8 apollon069 901    888     1630093312 12200   1 8 apollon101 901    883     1839370240 14400   1 8 apollon056 901    878     2447630336 12600   1 8 apollon167 901    863     8808189952 10600   1 8 apollon108
array-industry-pattern/array_of_struct_loop_dep_false-unreach-call.i 902    889     4531343360 10400   0 8 apollon158 902    889     4421795840 12800   0 8 apollon020 902    889     4601507840 12000   0 8 apollon072 902    889     4330184704 14800   0 8 apollon111 903    897     4189319168 5920   0 8 apollon029 903    897     4226854912 5790   0 8 apollon003 902    889     4639133696 13500   0 8 apollon126 903    897     4214226944 4910   0 8 apollon022 902    889     4530782208 11900   0 8 apollon062
array-industry-pattern/array_ptr_single_elem_init_false-unreach-call_true-termination.i 901    876     8199704576 12600   7 14 apollon033 901    859     7990345728 12800   7 14 apollon106 901    875     9145946112 11800   7 14 apollon084 901    858     7768539136 11500   7 14 apollon093 901    874     5643603968 11200   7 14 apollon050 901    880     3685322752 11100   7 14 apollon037 901    856     5631889408 12100   7 14 apollon136 901    873     4110024704 11800   7 14 apollon017 901    875     5991931904 10300   7 14 apollon042
array-industry-pattern/array_range_init_false-unreach-call.i 902    891     4087128064 11900   0 10 apollon103 902    891     3998564352 11600   0 10 apollon053 902    891     3954831360 11400   0 10 apollon128 902    891     3924160512 13400   0 10 apollon005 903    898     4084072448 6190   0 10 apollon147 903    897     4006289408 6040   0 10 apollon076 902    891     4064141312 13200   0 10 apollon112 903    898     4041048064 5880   0 10 apollon018 902    891     4021518336 12400   0 10 apollon156
array-industry-pattern/array_single_elem_init_false-unreach-call_true-termination.i 901    876     9679093760 10500   7 14 apollon060 901    859     9200431104 12300   7 14 apollon108 901    873     10175733760 12700   7 14 apollon077 901    854     8876294144 11200   7 14 apollon055 901    873     6700666880 11100   7 14 apollon120 901    878     3768020992 13700   7 14 apollon057 901    855     6100422656 10400   7 14 apollon089 901    872     4287029248 12800   7 14 apollon125 901    872     6292131840 13100   7 14 apollon030
array-industry-pattern/check_removal_from_set_after_insertion_false-unreach-call.i 901    870     5983985664 12800   7 24 apollon148 901    845     8329302016 12200   7 24 apollon019 901    867     6535766016 13100   7 24 apollon021 901    845     8148279296 13600   7 24 apollon160 901    869     8282308608 12700   7 24 apollon014 901    874     2742587392 10800   7 24 apollon101 901    817     7335186432 10700   7 24 apollon133 901    865     4609204224 12900   7 24 apollon044 902    842     7410184192 10500   7 24 apollon118
array-industry-pattern/array_monotonic_true-unreach-call_true-termination.i 901    876     9328926720 10800   3 10 apollon153 909    777     11686121472 8480   3 10 apollon099 901    871     9724370944 9930   3 10 apollon002 902    803     11948187648 8020   3 10 apollon045 901    871     7474585600 9680   3 10 apollon151 901    878     3078828032 10800   3 10 apollon153 902    643     13520048128 8370   3 10 apollon020 901    874     3239043072 11400   3 10 apollon118 904    747     10684510208 8470   3 10 apollon031
array-industry-pattern/array_mul_init_true-unreach-call_true-termination.i 901    879     7738757120 12500   1 14 apollon112 901    887     1916043264 12700   1 14 apollon065 901    878     7771856896 12400   1 14 apollon091 901    885     1837019136 10900   1 14 apollon099 901    880     4883165184 13100   1 14 apollon106 901    888     2068586496 11300   1 14 apollon131 902    887     2132660224 10900   1 14 apollon099 901    879     2609541120 11200   1 14 apollon118 901    867     10268868608 13200   1 14 apollon044
array-industry-pattern/array_of_struct_break_true-unreach-call.i 902    890     4543139840 9630   0 10 apollon063 902    889     4487536640 12300   0 10 apollon168 902    889     4408573952 11800   0 10 apollon131 902    888     4645855232 11300   0 10 apollon013 903    896     4195553280 5690   0 10 apollon083 903    897     4193927168 6230   0 10 apollon011 902    890     4612345856 12700   0 10 apollon052 903    897     4197220352 5240   0 10 apollon086 902    889     4612534272 12200   0 10 apollon085
array-industry-pattern/array_of_struct_ptr_cond_init_true-unreach-call.i 902    891     4089593856 12500   0 10 apollon168 902    890     4240121856 11000   0 10 apollon029 902    890     4041744384 13000   0 10 apollon152 902    890     3985207296 12000   0 10 apollon026 903    897     3994390528 5550   0 10 apollon051 903    897     4007866368 5520   0 10 apollon074 902    890     4113723392 11100   0 10 apollon029 903    897     4006391808 5570   0 10 apollon149 902    890     4134146048 13600   0 10 apollon108
array-industry-pattern/array_of_struct_ptr_flag_init_true-unreach-call.i 901    872     8257712128 10300   1 12 apollon117 902    871     4922761216 11600   1 12 apollon032 901    874     9267703808 12600   1 12 apollon077 901    867     5249265664 13600   1 12 apollon016 901    873     6265856000 11400   1 12 apollon087 901    877     2662916096 12500   1 12 apollon059 901    860     4896661504 10900   1 12 apollon078 901    878     2709327872 11000   1 12 apollon107 901    866     11081322496 10600   1 12 apollon026
array-industry-pattern/array_of_struct_ptr_monotonic_true-unreach-call.i 902    890     4143034368 11700   0 10 apollon115 902    889     4029898752 11600   0 10 apollon099 902    889     4135174144 11200   0 10 apollon098 902    890     4150554624 11400   0 10 apollon089 903    897     4050563072 7270   0 10 apollon077 903    897     4030906368 5720   0 10 apollon096 902    890     4125954048 11800   0 10 apollon166 903    898     4093448192 6690   0 10 apollon106 902    889     4158267392 13300   0 10 apollon006
array-industry-pattern/array_of_struct_ptr_mul_init_true-unreach-call.i 902    880     5666119680 12100   0 14 apollon055 901    880     5980598272 11300   0 14 apollon134 902    882     5190459392 13500   0 14 apollon027 902    883     5330198528 11400   0 14 apollon053 904    897     6474866688 10100   0 14 apollon028 904    896     6371450880 8690   0 14 apollon073 902    882     5636509696 11400   0 14 apollon053 904    897     6408073216 10800   0 14 apollon160 902    880     5488623616 11000   0 14 apollon002
array-industry-pattern/array_of_struct_single_elem_init_true-unreach-call.i 902    883     6350852096 12200   0 12 apollon049 902    881     5263765504 11500   0 12 apollon115 902    882     5323681792 15200   0 12 apollon039 902    882     5152530432 11100   0 12 apollon040 905    898     8594939904 9180   0 12 apollon093 905    898     8537800704 8710   0 12 apollon083 902    880     5483622400 15000   0 12 apollon056 905    897     8507351040 9280   0 12 apollon004 902    881     5294075904 11900   0 12 apollon072
array-industry-pattern/array_ptr_partial_init_true-unreach-call.i 902    890     4081020928 12100   0 8 apollon110 902    890     4146024448 11300   0 8 apollon098 902    890     3954229248 11400   0 8 apollon127 902    889     4083552256 12200   0 8 apollon133 903    898     4111572992 6050   0 8 apollon076 903    897     4104253440 4900   0 8 apollon002 902    890     4066267136 12300   0 8 apollon078 903    897     4125687808 6840   0 8 apollon001 902    890     3957997568 12200   0 8 apollon012
array-industry-pattern/array_ptr_single_elem_init_true-unreach-call.i 902    890     4057526272 13900   0 18 apollon140 902    890     4046364672 12000   0 18 apollon131 902    890     3973763072 14400   0 18 apollon016 902    890     4075216896 13400   0 18 apollon005 903    898     4082552832 6420   0 18 apollon084 903    897     4066254848 6610   0 18 apollon117 902    890     4149915648 14000   0 18 apollon148 903    897     4099547136 5900   0 18 apollon083 902    890     3996020736 13200   0 18 apollon091
array-industry-pattern/array_shadowinit_true-unreach-call_true-termination.i 901    762     5955403776 10600   7 8 apollon009 901    769     5858787328 12100   7 8 apollon016 901    772     6539931648 9460   7 8 apollon043 903    786     5032243200 11700   7 8 apollon047 901    745     6758961152 12000   7 8 apollon044 901    837     4067450880 12600   7 8 apollon021 901    766     4927528960 12300   7 8 apollon130 901    773     5694996480 12400   7 8 apollon016 901    773     4950781952 11900   7 8 apollon019
reducercommutativity/rangesum05_false-unreach-call_true-termination.i 901    878     2766118912 9530   9 14 apollon084 901    878     2430238720 11900   9 14 apollon140 901    876     2580758528 9250   9 14 apollon136 901    879     2249560064 11700   9 14 apollon161 901    878     2175897600 9310   9 14 apollon126 901    879     1558659072 11300   9 14 apollon161 901    880     2438070272 8920   9 14 apollon120 901    876     2065879040 11000   9 14 apollon160 901    879     2222784512 10200   9 14 apollon047
reducercommutativity/rangesum10_false-unreach-call_true-termination.i 901    868     4196720640 8800   9 14 apollon087 901    874     4033257472 7990   9 14 apollon042 901    869     4189634560 8600   9 14 apollon079 901    874     4007170048 10700   9 14 apollon132 901    874     2348118016 9320   9 14 apollon071 901    874     3108745216 7880   9 14 apollon143 901    874     4032102400 8850   9 14 apollon073 901    873     4113543168 11000   9 14 apollon056 901    872     4009840640 10400   9 14 apollon010
reducercommutativity/rangesum20_false-unreach-call.i 901    859     4867727360 6760   9 14 apollon158 901    865     4175249408 8110   9 14 apollon001 901    859     4443095040 7960   9 14 apollon154 901    866     3969503232 7380   9 14 apollon055 901    862     4480073728 7230   9 14 apollon090 901    861     4453335040 8720   9 14 apollon059 901    865     4237824000 7840   9 14 apollon066 901    862     4268339200 7090   9 14 apollon040 901    863     4161044480 7370   9 14 apollon097
reducercommutativity/rangesum40_false-unreach-call.i 901    849     6695247872 9660   9 14 apollon143 54.5  34.9   1289084928 515   apollon131 901    844     6605012992 9980   9 14 apollon022 54.4  34.7   1249067008 529   apollon012 901    864     10302676992 5530   9 14 apollon022 901    853     4908695552 11600   9 14 apollon024 53.6  34.3   1269202944 606   apollon088 901    847     4973027328 10500   9 14 apollon145 54.9  34.7   1190629376 520   apollon045
reducercommutativity/rangesum60_false-unreach-call.i 902    850     10503036928 9600   8 14 apollon107 190    168     1813159936 2390   apollon030 902    849     10493886464 9430   8 14 apollon012 191    166     2142797824 2390   apollon130 904    867     8771518464 6480   9 14 apollon037 902    850     4296953856 11000   8 14 apollon164 140    118     3044851712 1400   apollon135 901    856     4640182272 8970   8 14 apollon151 133    110     2153365504 1590   apollon130
reducercommutativity/rangesum_false-unreach-call_true-termination.i 901    783     4750397440 9270   14 16 apollon070 903    631     6232104960 8240   14 16 apollon040 901    774     5430841344 8150   14 16 apollon042 902    734     5670793216 8970   14 16 apollon144 901    795     5144764416 9580   14 16 apollon100 901    811     4390604800 12200   14 16 apollon016 901    787     5424431104 11100   10 16 apollon096 901    804     4777172992 10700   14 16 apollon052 902    772     5441646592 10500   14 16 apollon019
reducercommutativity/avg05_true-unreach-call_true-termination.i 901    879     2263879680 10100   6 10 apollon150 901    882     2290536448 10700   6 10 apollon017 901    876     1988759552 11000   6 10 apollon163 901    881     2606927872 10500   6 10 apollon008 901    892     3953180672 7980   6 10 apollon015 901    892     3502034944 7440   6 10 apollon158 901    882     2333007872 12300   6 10 apollon132 901    891     3430686720 8910   6 10 apollon134 901    881     2402209792 10300   6 10 apollon041
reducercommutativity/avg10_true-unreach-call_true-termination.i 901    873     2477162496 12200   6 10 apollon125 901    877     2521718784 8980   6 10 apollon108 901    874     2306207744 10100   6 10 apollon115 901    877     2485620736 9850   6 10 apollon062 901    881     2450280448 7840   6 10 apollon092 901    882     3141885952 11600   6 10 apollon140 902    878     2566459392 11500   6 10 apollon077 901    880     3426185216 9240   6 10 apollon095 901    878     2363002880 10100   6 10 apollon133
reducercommutativity/avg20_true-unreach-call.i 901    867     4134379520 10600   6 10 apollon129 901    873     4311805952 9460   6 10 apollon094 901    867     4111769600 10600   6 10 apollon129 902    874     4354375680 8220   6 10 apollon136 901    868     4117524480 10800   6 10 apollon124 901    871     4130004992 11200   6 10 apollon067 901    874     4408696832 9030   6 10 apollon006 901    867     4155940864 11100   6 10 apollon067 901    871     4440834048 6860   6 10 apollon002
reducercommutativity/avg40_true-unreach-call.i 901    863     13582278656 10400   5 10 apollon071 902    863     5823111168 8110   6 10 apollon068 901    858     13148622848 8790   5 10 apollon104 902    862     5720829952 9800   6 10 apollon056 416    383     14999998464 5410   apollon008 901    862     12575748096 10200   5 10 apollon113 902    862     5839708160 8690   6 10 apollon112 901    859     12363337728 11200   5 10 apollon014 905    869     5841436672 6490   6 10 apollon054
reducercommutativity/avg60_true-unreach-call.i 901    864     14331944960 8210   4 10 apollon151 903    856     8460197888 8570   6 10 apollon001 901    857     12425080832 10300   4 10 apollon028 903    858     8426807296 9110   6 10 apollon114 903    882     5976256512 5870   6 10 apollon032 901    859     9695866880 10300   5 10 apollon108 903    860     8130076672 8520   6 10 apollon038 902    855     10083041280 12000   5 10 apollon111 903    859     8195223552 8100   6 10 apollon095
reducercommutativity/avg_true-unreach-call_true-termination.i 901    788     5994930176 10200   6 10 apollon087 903    739     5320937472 10700   4 10 apollon068 901    784     6053179392 9700   6 10 apollon105 901    754     5207302144 10100   6 10 apollon126 173    134     5364436992 1540   apollon158 172    133     5135425536 1980   apollon112 902    780     4631203840 9740   4 10 apollon034 154    128     5397422080 1610   apollon124 177    147     5972844544 1950   apollon147
reducercommutativity/max05_true-unreach-call_true-termination.i 901    878     2150199296 7660   8 12 apollon032 901    880     2586464256 10100   8 12 apollon052 901    875     1682325504 8950   8 12 apollon027 901    879     1505804288 7920   8 12 apollon037 901    881     2119999488 9240   8 12 apollon036 901    880     2668081152 8500   8 12 apollon165 901    881     1577672704 8400   8 12 apollon067 901    878     1950167040 7440   8 12 apollon097 901    880     2334244864 10200   8 12 apollon160
reducercommutativity/max10_true-unreach-call_true-termination.i 901    874     4082814976 8250   8 12 apollon168 901    878     2068533248 8360   8 12 apollon113 901    870     4181028864 7620   8 12 apollon022 901    875     2308100096 8040   8 12 apollon162 901    889     3354165248 5610   8 12 apollon040 901    888     2452094976 5550   8 12 apollon060 901    876     2156470272 7640   8 12 apollon097 901    887     2701344768 6170   8 12 apollon138 901    876     2394046464 7400   8 12 apollon040
reducercommutativity/max20_true-unreach-call.i 901    867     6231269376 11100   8 12 apollon070 901    872     4091822080 12400   8 12 apollon059 901    866     6219776000 12700   8 12 apollon148 901    873     3804282880 13900   8 12 apollon039 901    890     1158664192 7060   8 12 apollon030 901    889     1149800448 6100   8 12 apollon038 901    871     4180824064 10500   8 12 apollon045 901    889     1078476800 5260   8 12 apollon037 901    871     3466309632 12200   8 12 apollon005
reducercommutativity/max40_true-unreach-call.i 901    861     9245310976 10300   6 12 apollon035 901    865     4672233472 10500   8 12 apollon020 901    860     9102794752 13000   6 12 apollon161 901    862     4794421248 9750   8 12 apollon093 901    878     3356413952 8580   8 12 apollon016 901    871     5218299904 8090   7 12 apollon152 901    861     4595990528 9720   8 12 apollon145 901    869     5521645568 8370   7 12 apollon129 901    861     4459257856 11200   8 12 apollon081
reducercommutativity/max60_true-unreach-call.i 901    867     3346149376 6820   5 12 apollon092 901    853     4897710080 11000   8 12 apollon059 901    863     3278233600 7300   5 12 apollon115 901    850     4949164032 10900   8 12 apollon071 901    883     2032791552 6240   5 12 apollon027 901    880     1801424896 5790   5 12 apollon147 901    852     4788834304 10300   8 12 apollon017 901    881     2036256768 6340   5 12 apollon028 901    853     4786425856 9840   8 12 apollon079
reducercommutativity/max_true-unreach-call_true-termination.i 901    787     4609552384 10100   8 12 apollon100 901    773     4966465536 10400   8 12 apollon129 901    791     4594745344 13400   8 12 apollon039 901    777     4892528640 12300   8 12 apollon094 901    881     1144676352 11700   8 12 apollon121 901    881     1029206016 11600   8 12 apollon074 901    785     4848222208 10200   8 12 apollon150 901    892     1623732224 11500   8 12 apollon059 901    791     5062135808 11100   8 12 apollon147
reducercommutativity/sep05_true-unreach-call_true-termination.i 901    769     7518535680 6440   9 12 apollon003 901    794     4675952640 12000   10 12 apollon048 901    793     4903272448 7020   9 12 apollon033 901    759     5729161216 9370   10 12 apollon158 901    776     6697619456 6270   9 12 apollon116 901    790     6102614016 6940   10 12 apollon087 901    792     5168025600 10300   10 12 apollon043 901    796     4869664768 7270   9 12 apollon155 901    798     5079130112 13700   10 12 apollon160
reducercommutativity/sep10_true-unreach-call.i 901    860     5319036928 7920   8 12 apollon168 901    757     5462732800 12500   8 12 apollon160 901    853     5750931456 7800   8 12 apollon058 904    724     5675053056 9830   8 12 apollon129 901    868     4866863104 5770   8 12 apollon115 902    825     5426569216 5530   8 12 apollon144 901    726     6066331648 11600   8 12 apollon163 902    812     4936388608 6930   9 12 apollon059 901    799     4901384192 10700   9 12 apollon157
reducercommutativity/sep20_true-unreach-call.i 901    867     7696359424 12100   7 12 apollon065 902    680     6788771840 10100   8 12 apollon006 901    864     8153255936 10200   7 12 apollon100 901    859     4671930368 9250   8 12 apollon115 514    496     14999998464 6320   apollon065 335    317     14999998464 3730   apollon144 902    756     5415702528 11500   6 12 apollon108 556    527     14999998464 6220   apollon162 148    126     14999998464 1680   apollon020
reducercommutativity/sep40_true-unreach-call.i 901    871     6042431488 10900   7 12 apollon022 901    856     4013830144 9800   5 12 apollon054 901    870     7395303424 10600   7 12 apollon150 901    853     4076630016 13000   5 12 apollon069 488    469     14999998464 5320   apollon156 901    866     5915316224 12900   8 12 apollon057 901    843     4218949632 11000   6 12 apollon097 901    851     9237360640 11100   8 12 apollon147 902    766     5245726720 10200   8 12 apollon035
reducercommutativity/sep60_true-unreach-call.i 902    872     4896272384 9150   5 12 apollon082 901    854     4062638080 12700   5 12 apollon027 901    867     5564952576 10100   5 12 apollon047 901    851     4065054720 10900   5 12 apollon062 901    874     3283943424 6530   8 12 apollon093 901    864     6596882432 10200   6 12 apollon041 901    849     4074790912 10800   5 12 apollon026 901    851     8280178688 10400   6 12 apollon138 902    815     7160365056 8510   8 12 apollon063
reducercommutativity/sep_true-unreach-call_true-termination.i 901    782     4723294208 11200   8 12 apollon038 901    763     5593772032 10600   9 12 apollon050 901    778     4881715200 9820   8 12 apollon029 901    760     5238808576 10400   9 12 apollon154 903    775     5337120768 11100   8 12 apollon168 901    784     5004222464 11900   8 12 apollon024 901    760     5534306304 12700   9 12 apollon044 901    864     1473097728 10400   8 12 apollon139 901    878     1401909248 10400   8 12 apollon029
reducercommutativity/sum05_true-unreach-call_true-termination.i 901    879     2505977856 11900   6 10 apollon068 905    884     2239471616 12800   6 10 apollon132 901    877     2059960320 10300   6 10 apollon003 903    883     1720999936 12000   6 10 apollon084 901    886     3114708992 8800   6 10 apollon115 901    886     2647175168 9010   6 10 apollon138 901    881     2327400448 11200   6 10 apollon037 901    884     3026292736 9340   6 10 apollon136 901    881     1708523520 10500   6 10 apollon104
reducercommutativity/sum10_true-unreach-call_true-termination.i 901    871     4497641472 12300   6 10 apollon047 901    876     3137462272 12600   6 10 apollon036 901    869     4592803840 11200   6 10 apollon082 901    878     2698936320 11100   6 10 apollon113 901    886     3927650304 10100   6 10 apollon107 901    885     4054347776 10500   6 10 apollon028 901    876     2865086464 13300   6 10 apollon161 901    887     3891953664 7900   6 10 apollon123 901    877     2662109184 11700   6 10 apollon114
reducercommutativity/sum20_true-unreach-call.i 901    865     7130533888 12000   6 10 apollon052 901    875     4515889152 8360   6 10 apollon060 901    863     7031566336 11900   6 10 apollon152 901    871     4540882944 9380   6 10 apollon162 902    879     7388565504 7060   6 10 apollon150 902    878     7538171904 7710   6 10 apollon072 901    873     4631457792 8760   6 10 apollon116 902    877     5864296448 8250   6 10 apollon027 901    873     4623601664 8340   6 10 apollon118
reducercommutativity/sum40_true-unreach-call.i 855    814     14999998464 10200   apollon033 902    864     5630156800 6980   6 10 apollon119 885    840     14999998464 10700   apollon007 902    864     5545279488 6440   6 10 apollon040 374    342     14999998464 5260   apollon044 901    854     12632039424 13500   6 10 apollon056 902    867     6004174848 7430   6 10 apollon004 901    849     12517322752 12000   6 10 apollon005 902    861     5883334656 7120   6 10 apollon031
reducercommutativity/sum60_true-unreach-call.i 795    754     14999998464 9750   apollon167 902    862     8197148672 9240   6 10 apollon052 829    783     14999998464 9120   apollon082 902    860     8086945792 8270   6 10 apollon124 903    878     7903662080 6330   6 10 apollon096 902    858     11642224640 11800   5 10 apollon140 902    855     8396185600 7880   6 10 apollon128 902    856     11606290432 9740   5 10 apollon022 902    853     8341381120 8290   6 10 apollon009
reducercommutativity/sum_true-unreach-call_true-termination.i 901    783     5089415168 11100   6 10 apollon108 902    782     4958224384 10300   6 10 apollon086 901    778     4595011584 12000   6 10 apollon106 901    761     5923033088 10100   6 10 apollon003 901    880     1870032896 10700   6 10 apollon136 901    878     1529749504 10100   6 10 apollon041 901    769     5328060416 10500   6 10 apollon012 901    892     1514745856 10900   6 10 apollon051 901    785     5792124928 10500   6 10 apollon051
array-tiling/mlceu_false-unreach-call.i 901    793     5271384064 9220   6 10 apollon054 901    796     5310865408 10800   6 10 apollon070 901    861     1887498240 10800   8 10 apollon128 901    865     1389547520 11300   8 10 apollon042 901    783     6535741440 9950   6 10 apollon083 901    788     5615972352 10300   6 10 apollon107 901    790     5403254784 10500   6 10 apollon156 901    872     996401152 11200   8 10 apollon062 901    869     1458397184 12700   8 10 apollon005
array-tiling/skippedu_false-unreach-call.i 4.94 2.04  263675904 56.6 apollon158 4.43 1.72  278822912 40.6 apollon153 4.23 1.73  268144640 36.2 apollon043 4.30 1.78  267313152 37.7 apollon131 4.17 1.71  271433728 36.7 apollon115 4.17 1.74  270331904 38.2 apollon119 4.20 1.71  275357696 39.2 apollon070 4.10 1.72  265072640 36.0 apollon050 4.31 1.71  271904768 45.6 apollon056
array-tiling/mbpr2_true-unreach-call.i 4.15 1.75  267087872 37.3 apollon133 4.41 1.80  273649664 39.6 apollon061 4.44 1.83  272461824 38.6 apollon050 4.50 1.84  273227776 47.3 apollon039 4.34 1.75  271454208 41.6 apollon065 4.35 1.79  269971456 42.3 apollon032 4.35 1.81  269225984 42.3 apollon065 4.50 1.76  271179776 42.2 apollon065 4.40 1.76  272179200 44.4 apollon030
array-tiling/mbpr3_true-unreach-call.i 4.90 2.11  281726976 48.4 apollon167 5.03 2.21  278700032 47.7 apollon067 4.98 2.22  284524544 52.1 apollon111 5.08 2.20  289710080 42.9 apollon099 4.97 2.16  288325632 51.4 apollon069 4.79 2.07  278757376 45.1 apollon162 4.87 2.17  282550272 45.1 apollon072 4.84 2.11  287035392 48.5 apollon031 5.16 2.19  286171136 43.3 apollon060
array-tiling/mbpr4_true-unreach-call.i 4.53 1.81  268779520 39.0 apollon060 4.69 1.88  276353024 42.9 apollon120 4.56 1.87  272277504 42.6 apollon017 4.73 1.83  277299200 46.0 apollon044 4.67 1.83  280801280 38.9 apollon089 4.63 1.86  272240640 45.6 apollon159 4.49 1.83  274427904 44.7 apollon007 4.45 1.80  273940480 39.6 apollon109 4.55 1.85  272433152 46.6 apollon030
array-tiling/mbpr5_true-unreach-call.i 4.96 2.20  283418624 48.4 apollon024 4.92 2.14  277372928 40.5 apollon158 4.96 2.20  286121984 44.2 apollon109 4.91 2.17  284704768 45.5 apollon085 5.02 2.23  281866240 51.1 apollon059 4.96 2.17  294252544 45.3 apollon150 5.09 2.19  282587136 49.8 apollon010 4.93 2.19  276668416 41.9 apollon043 4.94 2.22  278413312 48.1 apollon017
array-tiling/nr2_true-unreach-call.i 4.43 1.76  272949248 38.9 apollon121 4.38 1.85  267816960 36.0 apollon092 4.31 1.78  268365824 39.8 apollon052 4.47 1.78  280469504 41.0 apollon006 4.31 1.76  266928128 38.5 apollon049 4.38 1.81  273575936 39.2 apollon086 4.30 1.80  266899456 42.6 apollon114 4.38 1.80  272535552 38.6 apollon109 4.33 1.75  271966208 42.5 apollon020
array-tiling/nr3_true-unreach-call.i 4.58 2.10  280858624 39.7 apollon054 4.73 2.08  280981504 43.6 apollon120 4.79 2.06  284131328 51.9 apollon039 4.60 2.09  282509312 42.7 apollon082 4.69 2.13  277782528 46.7 apollon047 4.60 2.07  274829312 44.6 apollon005 4.75 2.05  287559680 41.3 apollon099 4.64 2.08  278548480 42.1 apollon018 4.63 2.09  276262912 43.6 apollon072
array-tiling/nr4_true-unreach-call.i 4.35 1.79  265904128 42.8 apollon080 4.51 1.76  274239488 39.7 apollon135 4.41 1.80  265146368 44.6 apollon126 4.44 1.87  271106048 42.3 apollon147 4.45 1.74  276807680 42.0 apollon167 4.29 1.81  272019456 36.3 apollon100 4.28 1.76  269725696 43.7 apollon126 4.41 1.73  275189760 42.3 apollon019 4.22 1.75  272101376 37.6 apollon154
array-tiling/nr5_true-unreach-call.i 4.86 2.09  286298112 40.3 apollon151 4.62 2.12  277704704 42.1 apollon079 4.59 2.09  276733952 46.8 apollon114 4.88 2.15  285302784 43.9 apollon025 4.68 2.13  282820608 46.3 apollon141 4.68 2.13  283906048 44.2 apollon129 4.78 2.13  288382976 49.7 apollon030 4.64 2.09  275947520 40.7 apollon116 4.62 2.12  277245952 45.2 apollon101
array-tiling/pnr2_true-unreach-call.i 4.24 1.75  266956800 40.7 apollon130 4.40 1.83  274685952 38.3 apollon050 4.49 1.81  272650240 42.3 apollon032 4.39 1.81  272515072 40.3 apollon005 4.43 1.81  267165696 39.0 apollon026 4.28 1.75  274231296 38.5 apollon090 4.46 1.86  268632064 37.2 apollon045 4.42 1.81  274325504 40.6 apollon070 4.19 1.76  267689984 40.3 apollon101
array-tiling/pnr3_true-unreach-call.i 4.79 2.09  281645056 47.6 apollon164 4.67 2.09  278994944 45.0 apollon084 4.91 2.14  284352512 44.2 apollon087 4.70 2.10  280801280 42.8 apollon018 5.28 2.26  287453184 66.1 apollon072 4.81 2.07  282599424 50.5 apollon036 4.64 2.09  280891392 40.8 apollon127 4.87 2.14  287535104 46.0 apollon017 4.49 2.08  277045248 42.3 apollon090
array-tiling/pnr4_true-unreach-call.i 4.46 1.77  271790080 41.5 apollon064 4.47 1.78  278740992 38.9 apollon073 4.40 1.77  271654912 42.4 apollon048 4.52 1.84  278077440 46.6 apollon111 4.48 1.77  267227136 43.7 apollon015 4.37 1.80  266645504 42.5 apollon094 4.31 1.77  274853888 43.4 apollon148 4.30 1.74  273215488 39.1 apollon072 4.61 1.81  278142976 44.1 apollon094
array-tiling/pnr5_true-unreach-call.i 4.84 2.10  278867968 45.9 apollon015 4.80 2.12  280342528 47.0 apollon049 4.95 2.16  282464256 42.3 apollon060 4.80 2.14  279130112 49.8 apollon094 4.78 2.16  282464256 45.6 apollon055 4.60 2.08  275472384 46.8 apollon114 4.86 2.10  282017792 41.4 apollon089 4.86 2.10  283525120 47.9 apollon009 4.80 2.17  276742144 43.8 apollon074
array-tiling/poly1_true-unreach-call.i 901    796     4636647424 8360   5 8 apollon108 901    800     5114064896 10700   5 8 apollon021 901    869     1884037120 10600   7 8 apollon003 901    869     1846534144 11800   7 8 apollon102 901    798     5028106240 9620   5 8 apollon006 901    811     4472430592 8540   5 8 apollon162 901    804     4507541504 8400   5 8 apollon121 901    874     1633488896 12300   7 8 apollon155 901    873     1652985856 10300   7 8 apollon089
array-tiling/poly2_true-unreach-call.i 901    794     4484632576 7990   7 10 apollon008 901    798     4526223360 8230   7 10 apollon033 901    776     5208391680 7910   9 10 apollon134 901    769     5799088128 6580   9 10 apollon166 901    785     5314289664 7890   7 10 apollon159 901    821     4462145536 8010   7 10 apollon118 901    812     4843401216 10400   7 10 apollon111 901    773     5049356288 9650   8 10 apollon132 901    792     4751458304 6860   9 10 apollon040
array-tiling/pr2_true-unreach-call.i 4.26 1.76  276041728 37.7 apollon104 4.27 1.76  270540800 38.6 apollon150 4.47 1.75  276115456 43.2 apollon022 4.32 1.77  274411520 39.1 apollon147 4.26 1.77  267497472 38.4 apollon157 4.45 1.71  272191488 41.2 apollon168 4.48 1.81  271462400 43.1 apollon047 4.28 1.74  268611584 36.5 apollon060 4.37 1.81  271417344 43.6 apollon014
array-tiling/pr3_true-unreach-call.i 4.59 2.07  276471808 44.2 apollon011 4.68 2.07  283668480 47.0 apollon140 4.62 2.10  275333120 42.3 apollon073 4.77 2.08  276615168 43.3 apollon165 4.54 2.06  279621632 43.4 apollon061 4.64 2.10  276754432 41.1 apollon104 4.65 2.15  284090368 44.5 apollon070 4.69 2.10  279343104 47.3 apollon101 4.67 2.09  280633344 44.0 apollon051
array-tiling/pr4_true-unreach-call.i 4.50 1.77  270573568 37.5 apollon043 4.77 1.89  282275840 44.8 apollon164 4.48 1.84  270794752 45.8 apollon080 4.73 1.80  280629248 41.5 apollon011 4.48 1.87  274718720 40.2 apollon017 4.43 1.82  269578240 39.4 apollon026 4.53 1.87  276828160 42.3 apollon132 4.55 1.86  276094976 41.9 apollon113 4.39 1.78  270192640 38.1 apollon083
array-tiling/pr5_true-unreach-call.i 4.95 2.14  284565504 46.2 apollon105 4.93 2.20  276148224 46.0 apollon150 4.88 2.15  282652672 50.8 apollon122 4.97 2.15  286003200 47.6 apollon097 4.82 2.15  279711744 42.8 apollon079 5.18 2.24  278249472 48.9 apollon024 5.01 2.24  279425024 48.8 apollon145 4.86 2.11  278425600 49.9 apollon016 4.77 2.14  276434944 41.4 apollon134
array-tiling/revcpyswp2_true-unreach-call.i 901    806     4565860352 10600   9 12 apollon018 901    803     4960796672 10400   9 12 apollon072 901    823     4146610176 11400   9 12 apollon163 901    818     4892467200 10300   9 12 apollon134 901    804     4559765504 10100   9 12 apollon153 901    808     4614565888 10500   9 12 apollon072 901    795     5095710720 12900   9 12 apollon039 901    818     4163215360 9760   9 12 apollon029 901    822     4640657408 9800   9 12 apollon029
array-tiling/rew_true-unreach-call.i 901    793     5210681344 11700   7 10 apollon167 901    788     4978634752 9900   7 10 apollon116 901    769     6172831744 10400   7 10 apollon165 901    869     2885726208 13400   9 10 apollon016 901    787     5422419968 10800   7 10 apollon061 901    774     5431693312 10500   7 10 apollon121 901    782     5656023040 10700   7 10 apollon096 901    767     5528391680 11400   7 10 apollon159 901    774     5599145984 12700   7 10 apollon111
array-tiling/rewnif_true-unreach-call.i 901    795     5415297024 9740   7 10 apollon117 901    789     5975044096 9920   7 10 apollon042 901    773     5488918528 10900   7 10 apollon113 901    861     1414778880 11300   9 10 apollon045 901    779     5902954496 12000   7 10 apollon094 901    794     4749860864 12100   7 10 apollon140 901    779     5567848448 10500   7 10 apollon049 901    778     5729161216 10700   7 10 apollon162 901    781     5500592128 9830   7 10 apollon109
array-tiling/rewnifrev2_true-unreach-call.i 901    820     5032738816 10500   5 8 apollon103 901    806     5558890496 10800   5 8 apollon055 901    829     4909023232 11200   5 8 apollon085 901    826     4908867584 11100   5 8 apollon076 901    818     5098582016 8760   5 8 apollon063 901    815     5283749888 10100   5 8 apollon127 901    820     5009850368 11100   5 8 apollon018 901    827     4776357888 13000   5 8 apollon080 901    827     4972969984 10200   5 8 apollon116
array-tiling/rewnifrev_true-unreach-call.i 901    814     4886269952 10400   7 10 apollon023 901    811     4877811712 12100   7 10 apollon163 901    810     4863299584 10900   7 10 apollon078 901    814     4866945024 10000   7 10 apollon143 901    818     4762320896 11000   7 10 apollon051 901    815     5177450496 10900   7 10 apollon135 901    814     4932124672 10600   7 10 apollon144 901    811     4713168896 12000   7 10 apollon068 901    808     5149622272 10300   7 10 apollon086
array-tiling/rewrev_true-unreach-call.i 901    796     4969357312 10900   7 10 apollon168 901    794     5353390080 10800   7 10 apollon087 901    806     4848431104 11000   7 10 apollon168 901    799     5032534016 11900   7 10 apollon033 901    800     4847583232 9740   7 10 apollon139 901    749     6616227840 11800   7 10 apollon069 901    791     5064634368 11100   7 10 apollon071 901    805     4721164288 10800   7 10 apollon110 901    799     4850184192 11300   7 10 apollon071
array-tiling/skipped_true-unreach-call.i 4.32 1.79  269901824 39.1 apollon071 4.29 1.76  275423232 36.1 apollon149 4.15 1.70  266592256 40.8 apollon094 4.27 1.78  272138240 44.7 apollon057 4.24 1.71  268337152 37.9 apollon079 4.19 1.74  271994880 42.1 apollon088 4.24 1.79  270508032 43.6 apollon033 4.40 1.85  268103680 35.6 apollon158 4.32 1.77  273121280 41.2 apollon032
array-tiling/tcpy_true-unreach-call.i 4.38 1.76  274423808 40.7 apollon051 4.38 1.81  273035264 41.7 apollon031 4.56 1.75  274935808 37.2 apollon128 4.47 1.80  276738048 42.9 apollon017 4.68 1.81  276697088 40.5 apollon023 4.50 1.74  276013056 43.0 apollon101 4.37 1.77  271941632 40.6 apollon087 4.23 1.73  271634432 39.0 apollon049 4.33 1.78  272502784 40.7 apollon067
array-programs/copysome1_false-unreach-call.i 901    874     13085982720 11100   1 12 apollon145 902    873     11074260992 11000   1 12 apollon058 902    873     13706567680 10200   1 12 apollon042 901    865     12449652736 12400   1 12 apollon094 901    876     7104356352 12900   1 12 apollon106 901    884     3728719872 12300   1 12 apollon019 587    558     14999998464 6280   apollon017 901    879     4192870400 13000   1 12 apollon036 853    817     14999998464 10500   apollon085
array-programs/copysome2_false-unreach-call.i 865    842     14999998464 10500   apollon095 901    871     9365737472 12200   1 14 apollon024 863    837     14999998464 10300   apollon129 901    865     10625703936 10700   1 14 apollon035 901    875     7990509568 11400   1 14 apollon093 901    884     3897610240 13100   1 14 apollon080 493    466     14999998464 5120   apollon110 901    881     4193083392 10500   1 14 apollon116 748    712     14999998464 8100   apollon022
array-programs/copysome1_true-unreach-call.i 901    875     13266362368 10900   1 12 apollon075 901    867     10986733568 10400   1 12 apollon115 901    876     13819654144 12700   1 12 apollon036 901    864     11993657344 13400   1 12 apollon044 901    874     7484739584 11300   1 12 apollon070 901    882     3910500352 12300   1 12 apollon028 556    529     14999998464 5920   apollon062 901    880     4016185344 13200   1 12 apollon161 854    819     14999998464 10200   apollon165
array-programs/copysome2_true-unreach-call.i 867    844     14999998464 11600   apollon028 901    864     8240570368 11600   1 14 apollon009 867    840     14999998464 9980   apollon157 901    869     9864609792 11500   1 14 apollon082 901    879     7701647360 13900   1 14 apollon056 901    884     4116467712 11100   1 14 apollon051 488    461     14999998464 4540   apollon060 901    881     4139388928 11600   1 14 apollon084 745    711     14999998464 8490   apollon135
bitvector/byte_add_false-unreach-call_true-no-overflow_true-termination.i 19.9  5.48  740069376 168   59 60 apollon005 20.2  5.44  715141120 170   59 60 apollon120 20.9  5.65  755597312 186   59 60 apollon161 21.4  5.80  822505472 196   59 60 apollon028 20.4  5.52  737366016 162   59 60 apollon123 20.3  5.51  736600064 186   59 60 apollon020 20.3  5.50  720556032 163   59 60 apollon139 35.0  15.2   1094520832 321   59 60 apollon058 35.3  11.2   1181007872 298   59 60 apollon086
bitvector/sum02_false-unreach-call_true-no-overflow.i 901    781     5460574208 11200   4 8 apollon030 901    773     5985669120 11600   4 8 apollon080 901    769     6155059200 9770   4 8 apollon072 901    774     6213787648 8070   4 8 apollon063 901    766     8681680896 10900   4 8 apollon088 901    770     6724788224 9990   4 8 apollon022 901    771     5641072640 10600   4 8 apollon027 901    858     6338596864 11900   4 8 apollon006 901    854     5056557056 10500   4 8 apollon082
bitvector/byte_add_1_true-unreach-call_true-no-overflow_true-termination.i 901    860     7070363648 10800   43 60 apollon133 30.5  9.78  1126547456 238   44 60 apollon143 901    855     5113688064 12000   43 60 apollon132 32.2  9.60  1044750336 263   44 60 apollon154 145    119     3508187136 1770   44 60 apollon070 132    108     3445919744 1530   44 60 apollon034 31.0  9.73  1079455744 275   44 60 apollon005 132    106     3572846592 1510   44 60 apollon144 34.7  9.87  1074933760 263   44 60 apollon054
bitvector/byte_add_2_true-unreach-call_true-no-overflow_true-termination.i 901    854     7083089920 11500   44 60 apollon017 31.7  10.0   1019043840 290   45 60 apollon101 901    858     7866597376 12200   44 60 apollon028 31.6  9.51  1035407360 281   45 60 apollon019 138    107     2816159744 1600   45 60 apollon087 131    101     2684334080 1620   45 60 apollon068 31.4  9.44  1049460736 266   45 60 apollon038 130    104     3411034112 1500   45 60 apollon001 32.1  10.2   1225146368 268   45 60 apollon003
bitvector/gcd_1_true-unreach-call_true-no-overflow.i 26.5  20.1   1226670080 301   10 12 apollon079 26.9  20.3   1435877376 360   10 12 apollon106 27.2  19.8   1449185280 318   10 12 apollon096 26.3  19.1   1421471744 335   10 12 apollon130 26.9  19.8   1221423104 360   10 12 apollon163 26.9  20.0   1555853312 285   10 12 apollon098 26.7  20.3   1426628608 321   10 12 apollon145 27.5  19.7   1490665472 318   10 12 apollon147 26.0  19.1   1377906688 350   10 12 apollon044
bitvector/gcd_2_true-unreach-call_true-no-overflow.i 25.3  19.1   1499353088 295   9 10 apollon095 25.9  19.1   1431580672 320   9 10 apollon048 25.2  18.4   1451229184 324   9 10 apollon027 25.3  17.8   1381838848 317   9 10 apollon081 25.1  19.1   1209917440 295   9 10 apollon037 25.8  19.2   1514270720 324   9 10 apollon132 25.8  19.1   1186799616 306   9 10 apollon096 25.3  18.6   1356713984 340   9 10 apollon125 24.9  17.9   1426874368 275   9 10 apollon042
bitvector/gcd_3_true-unreach-call_true-no-overflow.i 901    886     1498603520 11600   9 10 apollon061 901    885     1248935936 10500   9 10 apollon060 901    884     1508716544 13000   9 10 apollon125 901    885     1418674176 11700   9 10 apollon138 193    185     1580310528 2400   9 10 apollon129 194    185     1564319744 2420   9 10 apollon121 901    886     1511837696 11400   9 10 apollon124 196    186     1553555456 2590   9 10 apollon108 901    884     1415294976 10500   9 10 apollon157
bitvector/gcd_4_true-unreach-call_true-no-overflow_true-termination.i 5.43 2.12  296562688 48.2 8 12 apollon142 5.33 2.08  298676224 47.5 8 12 apollon115 5.40 2.10  302252032 48.7 8 12 apollon034 5.73 2.10  306425856 50.1 8 12 apollon119 5.71 2.14  293048320 51.9 8 12 apollon024 5.47 2.03  306069504 52.5 8 12 apollon148 5.54 2.11  291717120 51.0 8 12 apollon067 5.88 2.16  298004480 51.1 8 12 apollon025 5.55 2.14  298033152 56.4 8 12 apollon008
bitvector/interleave_bits_true-unreach-call_true-no-overflow.i 26.1  18.0   1400803328 307   3 4 apollon084 25.6  17.0   2494763008 275   3 4 apollon115 27.1  16.3   2154307584 297   3 4 apollon142 25.5  15.7   2207473664 283   3 4 apollon102 26.4  17.9   2399260672 306   3 4 apollon084 26.1  17.1   2178404352 276   3 4 apollon127 25.0  16.3   2174861312 289   3 4 apollon046 26.8  16.6   2203824128 312   3 4 apollon048 24.8  15.7   2082873344 286   3 4 apollon015
bitvector/jain_1_true-unreach-call_true-no-overflow_false-termination.i 23.0  17.9   1301430272 269   1 2 apollon150 22.8  17.0   1492578304 316   1 2 apollon021 22.8  16.7   1425747968 248   1 2 apollon116 23.0  15.6   1088749568 264   1 2 apollon067 22.5  17.1   1537150976 292   1 2 apollon167 22.8  17.8   1518141440 276   1 2 apollon082 22.9  17.1   1480351744 261   1 2 apollon144 22.9  16.4   1424293888 281   1 2 apollon085 22.9  16.6   1357357056 233   1 2 apollon123
bitvector/jain_2_true-unreach-call_true-no-overflow_false-termination.i 23.1  17.8   1534697472 279   1 2 apollon147 23.3  16.7   1700839424 371   1 2 apollon117 23.0  16.7   1445703680 278   1 2 apollon017 23.4  16.8   1380761600 260   1 2 apollon062 23.2  17.8   1600897024 276   1 2 apollon085 23.1  17.8   1528008704 291   1 2 apollon112 22.9  17.0   1240588288 272   1 2 apollon067 23.0  16.4   1456472064 271   1 2 apollon118 23.2  16.6   1367605248 246   1 2 apollon041
bitvector/jain_4_true-unreach-call_true-no-overflow_false-termination.i 22.7  17.2   1659715584 296   1 2 apollon108 22.9  17.3   1685032960 309   1 2 apollon016 22.8  15.9   1439477760 264   1 2 apollon070 22.7  15.7   1576312832 253   1 2 apollon034 22.7  17.3   1634861056 247   1 2 apollon117 22.6  17.3   1606266880 252   1 2 apollon042 22.9  17.1   1543819264 237   1 2 apollon092 22.7  15.9   1494536192 250   1 2 apollon075 22.9  15.7   1489743872 255   1 2 apollon135
bitvector/jain_5_true-unreach-call_true-no-overflow.i 901    871     6362525696 11400   1 2 apollon113 903    874     5035470848 9050   1 2 apollon054 901    868     6586499072 12500   1 2 apollon069 903    869     5853454336 9710   1 2 apollon149 901    866     4451119104 10900   1 2 apollon072 901    875     1762418688 14100   1 2 apollon039 901    859     6981361664 10600   1 2 apollon008 901    877     2942197760 12900   1 2 apollon014 902    866     5843574784 9270   1 2 apollon092
bitvector/jain_6_true-unreach-call_true-no-overflow_false-termination.i 22.7  17.3   1419071488 271   1 2 apollon162 22.9  17.3   1354645504 276   1 2 apollon015 22.6  15.9   1502937088 249   1 2 apollon042 23.0  16.0   1175236608 262   1 2 apollon162 22.8  17.3   1857249280 238   1 2 apollon123 22.7  17.3   1722114048 278   1 2 apollon071 22.8  17.1   1575731200 285   1 2 apollon006 23.2  16.5   1292324864 260   1 2 apollon058 22.9  15.8   1454690304 264   1 2 apollon168
bitvector/jain_7_true-unreach-call_true-no-overflow_false-termination.i 24.2  18.8   1401188352 302   1 2 apollon146 24.6  18.8   1592459264 298   1 2 apollon153 24.7  18.1   1517764608 266   1 2 apollon134 24.6  17.4   1436106752 322   1 2 apollon080 25.3  19.4   1828880384 318   1 2 apollon048 24.6  19.5   1700626432 278   1 2 apollon002 24.5  18.7   1575661568 316   1 2 apollon155 24.3  17.5   1496977408 302   1 2 apollon064 24.7  17.0   1511575552 258   1 2 apollon139
bitvector/modulus_true-unreach-call_true-no-overflow.i 901    882     1422516224 12300   11 12 apollon152 901    883     1464582144 11000   11 12 apollon104 901    846     3005693952 12700   11 12 apollon027 901    881     1786953728 10600   11 12 apollon049 901    892     591400960 11400   11 12 apollon156 901    891     614715392 11500   11 12 apollon049 901    882     1880571904 11400   11 12 apollon034 901    892     598319104 11000   11 12 apollon003 901    882     1747542016 12100   11 12 apollon101
bitvector/num_conversion_1_true-unreach-call_true-no-overflow.i 5.58 2.03  284950528 56.1 5 6 apollon036 5.44 2.04  288448512 49.2 5 6 apollon105 5.27 2.01  292532224 48.6 5 6 apollon166 5.25 2.02  289615872 48.8 5 6 apollon070 5.42 1.98  280739840 54.1 5 6 apollon126 5.49 2.05  288518144 47.2 5 6 apollon131 5.23 1.97  282292224 44.9 5 6 apollon003 5.62 2.09  289644544 52.5 5 6 apollon012 5.51 2.06  304582656 45.5 5 6 apollon137
bitvector/num_conversion_2_true-unreach-call_true-no-overflow.i 33.8  14.8   1074139136 336   5 6 apollon064 901    756     8577830912 11400   5 6 apollon112 34.2  15.3   1133023232 293   5 6 apollon025 901    739     8375648256 11200   5 6 apollon124 36.3  15.4   1088380928 313   5 6 apollon046 34.3  14.9   1083793408 331   5 6 apollon148 901    770     6665261056 9920   5 6 apollon149 33.3  24.4   2002755584 367   5 6 apollon061 33.4  23.9   1209643008 360   5 6 apollon093
bitvector/parity_true-unreach-call_true-no-overflow.i 901    783     4854681600 10500   7 8 apollon131 901    792     4548292608 11600   7 8 apollon114 901    823     4697698304 11400   7 8 apollon070 265    225     2922004480 2970   7 8 apollon089 167    127     2190135296 1940   7 8 apollon070 175    138     2460168192 2090   7 8 apollon142 146    110     2260180992 1870   7 8 apollon122 174    139     1979146240 2080   7 8 apollon153 144    108     1402265600 1690   7 8 apollon093
bitvector/sum02_true-unreach-call_true-no-overflow.i 3.84 1.54  272375808 35.0 apollon096 3.66 1.54  267014144 37.0 apollon014 3.70 1.53  268865536 32.6 apollon139 3.76 1.61  268644352 34.1 apollon109 3.86 1.57  273641472 36.5 apollon047 3.81 1.56  273698816 32.8 apollon157 3.67 1.53  264331264 33.4 apollon084 3.82 1.59  265662464 35.7 apollon032 3.80 1.55  269795328 35.5 apollon156
bitvector/s3_clnt_1_false-unreach-call_true-no-overflow.BV.c.cil.c 53.0  30.9   1048281088 559   171 172 apollon049 72.7  47.5   1534263296 806   171 172 apollon113 53.3  31.1   1119260672 521   171 172 apollon083 139    108     2520051712 1590   171 172 apollon049 53.5  30.9   1126064128 591   171 172 apollon114 53.4  30.9   1063440384 569   171 172 apollon071 72.8  47.1   1500065792 760   171 172 apollon050 54.0  31.1   1089814528 524   171 172 apollon099 123    95.5   2056347648 1360   171 172 apollon115
bitvector/s3_clnt_2_false-unreach-call_true-no-overflow.BV.c.cil.c 49.0  26.6   1206579200 491   169 170 apollon034 76.2  50.4   1438060544 948   169 170 apollon106 51.8  29.6   1144770560 558   169 170 apollon046 75.4  50.0   1324380160 747   169 170 apollon029 50.4  28.9   1132277760 540   169 170 apollon038 49.1  26.7   1223991296 591   169 170 apollon056 58.2  33.9   1266958336 609   169 170 apollon165 50.2  26.6   1022263296 524   169 170 apollon070 54.6  32.0   1218469888 595   169 170 apollon118
bitvector/s3_clnt_3_false-unreach-call_true-no-overflow.BV.c.cil.c 136    94.5   2074984448 1430   124 172 apollon083 190    145     3765854208 2510   124 172 apollon036 136    92.4   1920765952 1550   124 172 apollon076 194    146     3766763520 2210   124 172 apollon061 901    802     4764119040 10900   124 172 apollon035 134    96.6   2518036480 1760   124 172 apollon106 142    96.7   2616950784 1880   124 172 apollon039 137    96.2   2120437760 1710   124 172 apollon077 136    91.2   3128762368 1400   124 172 apollon109
bitvector/s3_clnt_1_true-unreach-call_true-no-overflow.BV.c.cil.c 123    92.6   2072993792 1600   147 172 apollon027 123    90.4   2226728960 1280   147 172 apollon143 214    180     2405416960 2670   147 172 apollon004 125    91.3   2190999552 1430   147 172 apollon168 238    202     1922142208 3490   147 172 apollon111 140    109     1756749824 1680   147 172 apollon085 125    90.4   2300715008 1320   147 172 apollon083 144    112     1742159872 1720   147 172 apollon165 123    87.2   2142154752 1260   147 172 apollon043
bitvector/s3_clnt_2_true-unreach-call_true-no-overflow.BV.c.cil.c 114    88.7   1622638592 1490   143 170 apollon167 116    85.8   2036736000 1280   143 170 apollon045 116    89.1   1843204096 1610   143 170 apollon044 122    89.0   2362466304 1360   143 170 apollon001 127    102     1727025152 1550   143 170 apollon055 126    98.9   1612566528 1340   143 170 apollon123 120    87.6   2020278272 1460   143 170 apollon124 120    89.2   1925144576 1430   143 170 apollon162 113    83.4   1874452480 1340   143 170 apollon087
bitvector/s3_clnt_3_true-unreach-call_true-no-overflow.BV.c.cil.c 236    186     3814019072 2630   145 172 apollon041 901    743     8377245696 10100   145 172 apollon096 245    182     4093591552 3010   145 172 apollon136 901    763     7143313408 10200   145 172 apollon095 919    765     6368284672 11900   139 172 apollon124 275    214     4353273856 3090   145 172 apollon045 901    746     7104262144 11500   145 172 apollon024 303    247     3567296512 3710   145 172 apollon168 908    709     7643639808 9970   145 172 apollon034
bitvector/s3_srvr_1_alt_true-unreach-call_true-no-overflow.BV.c.cil.c 901    861     2998312960 11400   191 194 apollon101 901    824     4688842752 10800   191 194 apollon007 901    858     4007354368 12600   191 194 apollon077 901    820     4953145344 8860   191 194 apollon029 901    833     4765224960 10500   190 194 apollon078 901    852     2907795456 8950   190 194 apollon063 901    786     5003300864 10300   190 194 apollon157 901    853     3857940480 11900   190 194 apollon046 901    794     5472346112 11700   191 194 apollon008
bitvector/s3_srvr_1_true-unreach-call_true-no-overflow.BV.c.cil.c 160    121     2713632768 2110   150 192 apollon122 118    89.1   2602655744 1460   150 192 apollon027 163    122     2654003200 1960   150 192 apollon071 126    94.6   2724614144 1440   150 192 apollon152 222    178     2815840256 3070   150 192 apollon080 163    123     2489884672 1890   150 192 apollon061 118    88.3   2696093696 1420   150 192 apollon108 168    123     2398855168 2080   150 192 apollon064 109    81.6   1953013760 1090   150 192 apollon054
bitvector/s3_srvr_2_alt_true-unreach-call_true-no-overflow_false-termination.BV.c.cil.c 901    784     4642107392 10800   175 192 apollon079 901    765     5056966656 11800   175 192 apollon005 901    855     2402410496 11900   175 192 apollon142 901    769     5388349440 10800   173 192 apollon074 251    201     3969703936 3110   175 192 apollon011 165    128     2231218176 2030   175 192 apollon113 902    760     5481910272 10500   175 192 apollon103 168    141     2507304960 2100   175 192 apollon038 901    790     4994412544 11500   173 192 apollon102
bitvector/s3_srvr_2_true-unreach-call_true-no-overflow_false-termination.BV.c.cil.c 902    768     5378019328 9540   175 192 apollon158 901    761     5599440896 10600   173 192 apollon090 901    860     3967131648 11600   175 192 apollon097 902    783     5124005888 11200   175 192 apollon038 273    222     3658584064 3140   175 192 apollon109 201    160     2441175040 2390   175 192 apollon090 902    781     4816908288 12600   173 192 apollon159 201    174     2146443264 2850   175 192 apollon088 901    790     5160628224 12900   173 192 apollon069
bitvector/s3_srvr_3_alt_true-unreach-call_true-no-overflow.BV.c.cil.c 112    88.2   1696538624 1410   149 192 apollon019 218    170     3604365312 2430   149 192 apollon061 901    785     5421486080 9780   148 192 apollon149 323    268     5009244160 3830   149 192 apollon142 218    174     2588639232 2570   149 192 apollon067