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-04 20:21:00
Run set V+P-Test-noreuse_50_50 V+P-Test-cmc-uni-vp_50_50 V+P-Test-cmc-uni-pv_50_50 V+P-Test-cmc-bi_50_50 V+P-Test-precision_50_50 V+P-Test-continue_50_50 V+P-Test-cmc-uni-vp-reuse_50_50 V+P-Test-cmc-uni-pv-reuse_50_50 V+P-Test-cmc-bi-reuse_50_50
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_50,config/testCaseGeneration-predicateAnalysis.properties::noreuse_50 -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_50,config/components/testCaseGeneration-predicate-use-cmc-condition.properties::noreuse_50 -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_50,config/components/testCaseGeneration-predicate-generate-cmc-condition.properties::noreuse_50 -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_50,config/components/testCaseGeneration-predicate-generate-and-use-cmc-condition.properties::noreuse_50 -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_50,config/testCaseGeneration-predicateAnalysis.properties::reuse-precision_50 -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_50,config/testCaseGeneration-predicateAnalysis.properties::continue_50 -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_50,config/components/testCaseGeneration-predicate-use-cmc-condition-precision.properties::noreuse_50 -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_50,config/components/testCaseGeneration-predicate-generate-cmc-condition.properties::continue_50 -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_50,config/components/testCaseGeneration-predicate-generate-and-use-cmc-condition-precision.properties::noreuse_50 -setprop interleavedAlgorithm.intermediateStatistics=EXECUTE
sv-benchmarks/c/ status cputime (s) walltime (s) memUsage cpuenergy (J) #CoveredGoals #Goals host status cputime (s) walltime (s) memUsage cpuenergy (J) #CoveredGoals #Goals host status cputime (s) walltime (s) memUsage cpuenergy (J) #CoveredGoals #Goals host status cputime (s) walltime (s) memUsage cpuenergy (J) #CoveredGoals #Goals host status cputime (s) walltime (s) memUsage cpuenergy (J) #CoveredGoals #Goals host status cputime (s) walltime (s) memUsage cpuenergy (J) #CoveredGoals #Goals host status cputime (s) walltime (s) memUsage cpuenergy (J) #CoveredGoals #Goals host status cputime (s) walltime (s) memUsage cpuenergy (J) #CoveredGoals #Goals host status cputime (s) walltime (s) memUsage cpuenergy (J) #CoveredGoals #Goals host
array-examples/data_structures_set_multi_proc_false-unreach-call_ground.i 901    823     13381992448 8000   7 18 apollon042 903    654     6265384960 7660   7 18 apollon127 901    810     13642416128 8490   7 18 apollon149 902    750     12968853504 9910   7 18 apollon070 901    831     10720632832 9950   7 18 apollon059 901    799     7327232000 8900   7 18 apollon015 911    624     7747125248 9300   7 18 apollon160 901    817     6978662400 7990   7 18 apollon029 908    807     10543157248 8880   7 18 apollon115
array-examples/sorting_bubblesort_false-unreach-call2_ground.i 901    870     7477370880 11400   4 12 apollon138 901    852     8701206528 11900   4 12 apollon016 901    865     7594123264 11500   4 12 apollon155 901    854     8718065664 10200   4 12 apollon020 901    871     6260822016 10900   4 12 apollon145 901    867     2699419648 10100   4 12 apollon134 901    857     9762889728 9240   4 12 apollon156 901    872     5000798208 10300   4 12 apollon097 901    850     9530503168 10600   4 12 apollon081
array-examples/sorting_bubblesort_false-unreach-call_ground.i 901    871     7554326528 12500   4 12 apollon094 903    853     8856166400 9450   4 12 apollon128 901    867     7547604992 10500   4 12 apollon144 901    852     8606687232 9910   4 12 apollon113 901    870     6424571904 11200   4 12 apollon146 901    870     2756562944 11100   4 12 apollon017 901    856     9822138368 12400   4 12 apollon111 901    871     4922605568 11000   4 12 apollon121 902    854     9578254336 9940   4 12 apollon038
array-examples/sorting_selectionsort_false-unreach-call2_ground.i 901    870     7816765440 10700   4 20 apollon137 901    856     4409589760 13100   4 20 apollon044 901    866     7818149888 10800   4 20 apollon079 901    852     4545048576 11600   4 20 apollon124 901    870     6545027072 10500   4 20 apollon100 901    867     3682447360 13100   4 20 apollon161 901    858     4495323136 12800   4 20 apollon160 901    873     5024976896 12700   4 20 apollon094 901    856     8173387776 9100   4 20 apollon138
array-examples/sorting_selectionsort_false-unreach-call_ground.i 901    870     7781531648 12500   4 20 apollon159 901    857     4444180480 10300   4 20 apollon099 901    865     7807868928 11500   4 20 apollon146 901    854     4518580224 12500   4 20 apollon094 901    870     6539665408 11000   4 20 apollon072 901    864     3610505216 13200   4 20 apollon161 901    854     4537204736 9170   4 20 apollon029 901    872     4413874176 10600   4 20 apollon066 901    829     8378105856 7990   4 20 apollon157
array-examples/standard_allDiff2_false-unreach-call_ground.i 885    853     14999998464 10100   apollon134 901    507     8129200128 7540   7 18 apollon079 899    864     14999998464 10600   apollon146 901    551     7680630784 8200   7 18 apollon095 769    741     14999998464 9290   apollon074 901    872     8374845440 9510   7 18 apollon104 1050    338     11048271872 6470   apollon035 901    868     9484316672 9770   7 18 apollon157 901    843     13040893952 8270   7 18 apollon002
array-examples/standard_copy1_false-unreach-call_ground.i 901    873     8676753408 10300   1 8 apollon137 901    866     4051263488 9690   1 8 apollon157 901    871     8678363136 10300   1 8 apollon076 901    860     4101292032 10800   1 8 apollon133 901    875     6376607744 10700   1 8 apollon073 901    871     2921947136 11400   1 8 apollon010 901    862     4143382528 9810   1 8 apollon090 901    876     3393527808 10400   1 8 apollon031 901    862     4114296832 10500   1 8 apollon105
array-examples/standard_copy2_false-unreach-call_ground.i 901    875     9818210304 10600   1 10 apollon075 901    863     4251217920 11700   1 10 apollon028 901    871     9853149184 12000   1 10 apollon132 901    858     4111896576 10900   1 10 apollon084 901    874     6278979584 10200   1 10 apollon013 901    874     3192438784 10000   1 10 apollon107 901    858     4311371776 9030   1 10 apollon145 901    878     4051329024 10500   1 10 apollon154 901    858     4121788416 9640   1 10 apollon089
array-examples/standard_copy3_false-unreach-call_ground.i 901    874     10765320192 10900   1 12 apollon095 901    865     4129153024 12600   1 12 apollon130 901    872     10799427584 10300   1 12 apollon164 901    859     4049629184 10200   1 12 apollon124 901    875     6697414656 10900   1 12 apollon072 901    876     3124232192 12400   1 12 apollon161 901    861     4191576064 9600   1 12 apollon119 901    877     3968917504 9890   1 12 apollon074 901    860     4060999680 10600   1 12 apollon136
array-examples/standard_copy4_false-unreach-call_ground.i 901    875     11449253888 10400   1 14 apollon032 901    861     4339961856 12200   1 14 apollon014 901    873     11507130368 12700   1 14 apollon080 901    856     4131295232 12600   1 14 apollon148 901    874     7028387840 10700   1 14 apollon129 901    878     3041320960 9520   1 14 apollon045 901    859     4205375488 10600   1 14 apollon122 901    882     5021986816 11000   1 14 apollon011 901    857     4128776192 9750   1 14 apollon153
array-examples/standard_copy5_false-unreach-call_ground.i 901    872     12176379904 10700   1 16 apollon075 901    863     4218884096 8170   1 16 apollon063 901    873     12030185472 10000   1 16 apollon013 901    856     4134301696 10200   1 16 apollon035 901    878     7657979904 10100   1 16 apollon145 901    881     3740721152 10200   1 16 apollon031 901    854     4363661312 8550   1 16 apollon022 901    881     5161353216 10500   1 16 apollon084 901    855     4138086400 9480   1 16 apollon022
array-examples/standard_copy6_false-unreach-call_ground.i 901    874     12730003456 10000   1 18 apollon166 901    863     4261285888 11000   1 18 apollon084 901    871     12724613120 10500   1 18 apollon008 901    855     4203106304 11400   1 18 apollon114 901    877     8128954368 10000   1 18 apollon040 901    882     3413266432 11000   1 18 apollon081 901    861     4192563200 10500   1 18 apollon028 901    882     5005848576 9890   1 18 apollon128 901    852     4190699520 10400   1 18 apollon113
array-examples/standard_copy7_false-unreach-call_ground.i 901    876     13108858880 10600   1 20 apollon135 901    858     4433149952 12200   1 20 apollon014 901    872     13236146176 11200   1 20 apollon019 901    852     4245086208 10100   1 20 apollon134 901    877     8395317248 11900   1 20 apollon068 901    886     4663984128 10400   1 20 apollon126 901    859     4302336000 8760   1 20 apollon042 901    880     4860694528 9530   1 20 apollon131 901    853     4437872640 12700   1 20 apollon080
array-examples/standard_copy8_false-unreach-call_ground.i 901    873     13671886848 10500   1 22 apollon154 901    861     4361515008 12100   1 22 apollon069 901    870     13833629696 9810   1 22 apollon101 901    851     4303720448 10700   1 22 apollon062 901    878     8520634368 12400   1 22 apollon125 901    884     4067319808 10100   1 22 apollon109 901    855     4436148224 11000   1 22 apollon125 901    881     5465862144 8700   1 22 apollon139 901    852     4286169088 9330   1 22 apollon151
array-examples/standard_copy9_false-unreach-call_ground.i 901    870     13551853568 10500   1 24 apollon154 901    854     4434571264 9580   1 24 apollon157 901    873     13511159808 10600   1 24 apollon058 901    851     4212736000 10100   1 24 apollon117 901    879     8964861952 10800   1 24 apollon101 901    884     3952111616 11100   1 24 apollon004 901    857     4299137024 9970   1 24 apollon136 901    881     5484535808 11100   1 24 apollon047 901    848     4481703936 10600   1 24 apollon129
array-examples/standard_copyInitSum2_false-unreach-call_ground.i 901    880     5829861376 12300   1 10 apollon017 902    882     2062057472 10800   1 10 apollon089 901    881     6209122304 12400   1 10 apollon020 902    881     1996234752 14000   1 10 apollon161 901    886     3388375040 13000   1 10 apollon108 901    890     1763692544 11900   1 10 apollon087 902    882     2745954304 11200   1 10 apollon166 901    877     3752464384 13400   1 10 apollon057 901    858     4107911168 10100   1 10 apollon086
array-examples/standard_init1_false-unreach-call_ground.i 901    879     4352372736 11900   1 6 apollon087 901    883     1629794304 11200   1 6 apollon066 901    877     4393705472 12800   1 6 apollon004 901    880     1509007360 12200   1 6 apollon146 901    885     3283718144 13900   1 6 apollon030 901    889     1482125312 12200   1 6 apollon067 901    882     2149826560 14300   1 6 apollon160 901    875     3031900160 10900   1 6 apollon141 901    860     4045008896 10700   1 6 apollon062
array-examples/standard_init2_false-unreach-call_ground.i 901    880     4364566528 11600   1 8 apollon072 902    883     1670545408 11200   1 8 apollon035 901    877     4364161024 11800   1 8 apollon153 901    881     1562316800 11700   1 8 apollon037 901    885     3280756736 12200   1 8 apollon084 901    890     1421156352 12100   1 8 apollon118 901    882     2103857152 11400   1 8 apollon154 901    875     3102068736 12700   1 8 apollon088 901    859     4039634944 12400   1 8 apollon014
array-examples/standard_init3_false-unreach-call_ground.i 901    879     4281593856 11700   1 10 apollon165 902    882     1552203776 10400   1 10 apollon029 901    877     4307562496 12200   1 10 apollon084 902    882     1617235968 12700   1 10 apollon010 901    885     3283091456 13600   1 10 apollon106 901    889     1352458240 13900   1 10 apollon080 901    882     2034810880 11000   1 10 apollon083 901    875     2974732288 10400   1 10 apollon066 901    862     4035645440 10900   1 10 apollon164
array-examples/standard_init4_false-unreach-call_ground.i 901    878     4263497728 10400   1 12 apollon029 901    881     1738047488 11600   1 12 apollon110 901    875     4297076736 11800   1 12 apollon087 902    881     1607647232 11700   1 12 apollon097 901    885     3308969984 12400   1 12 apollon052 901    890     1506500608 11400   1 12 apollon137 902    882     2029899776 11800   1 12 apollon156 901    876     3106017280 11600   1 12 apollon052 901    858     4045074432 10100   1 12 apollon149
array-examples/standard_init5_false-unreach-call_ground.i 901    879     4301000704 11800   1 14 apollon078 902    883     1574436864 13500   1 14 apollon069 901    878     4392505344 14300   1 14 apollon160 902    881     1520812032 13500   1 14 apollon094 901    885     3329536000 12400   1 14 apollon101 901    890     1431298048 11300   1 14 apollon066 902    881     2179235840 11100   1 14 apollon066 901    876     3346731008 10700   1 14 apollon079 901    860     4043571200 11800   1 14 apollon065
array-examples/standard_init6_false-unreach-call_ground.i 901    879     4371406848 13400   1 16 apollon014 902    883     1648381952 11400   1 16 apollon154 901    877     4401467392 13900   1 16 apollon044 901    880     1385181184 12000   1 16 apollon145 901    885     3326681088 13000   1 16 apollon108 901    889     1424465920 13700   1 16 apollon148 902    883     2224885760 10900   1 16 apollon134 901    876     3010621440 11800   1 16 apollon028 901    861     4048752640 9050   1 16 apollon158
array-examples/standard_init7_false-unreach-call_ground.i 901    878     4285419520 13200   1 18 apollon077 901    881     1552850944 11200   1 18 apollon003 901    878     4392914944 12000   1 18 apollon082 901    882     1543360512 12000   1 18 apollon118 901    885     3290386432 12100   1 18 apollon096 901    889     1438142464 11900   1 18 apollon051 902    882     2016931840 13000   1 18 apollon155 901    876     3431251968 9470   1 18 apollon054 901    859     4036923392 9440   1 18 apollon104
array-examples/standard_init8_false-unreach-call_ground.i 901    878     4288528384 11700   1 20 apollon119 902    882     1583951872 10700   1 20 apollon098 901    877     4334452736 14200   1 20 apollon021 901    881     1382494208 12900   1 20 apollon005 901    885     3378520064 10800   1 20 apollon128 901    889     1324462080 12100   1 20 apollon145 901    881     2082762752 11800   1 20 apollon153 901    878     3309207552 12200   1 20 apollon036 901    860     4049903616 10500   1 20 apollon135
array-examples/standard_init9_false-unreach-call_ground.i 901    880     4303962112 13400   1 22 apollon014 902    881     1533800448 11300   1 22 apollon086 901    876     4318507008 12400   1 22 apollon152 902    881     1492791296 11000   1 22 apollon109 901    884     3340578816 13200   1 22 apollon028 901    889     1455906816 11700   1 22 apollon110 901    881     2059591680 11400   1 22 apollon073 901    876     3261358080 10700   1 22 apollon154 901    859     4051505152 11800   1 22 apollon006
array-examples/standard_minInArray_false-unreach-call_ground.i 901    872     6103080960 9120   3 8 apollon123 901    853     7941570560 11600   3 8 apollon064 901    865     7119691776 11200   3 8 apollon085 901    853     8694050816 11200   3 8 apollon024 901    871     5421817856 11900   3 8 apollon024 901    875     1819484160 9970   3 8 apollon076 901    860     9862168576 8090   3 8 apollon108 901    872     4411691008 11300   3 8 apollon018 901    644     7851245568 9380   3 8 apollon047
array-examples/standard_partition_false-unreach-call_ground.i 901    874     9297657856 10100   3 14 apollon150 902    856     14132170752 10700   3 14 apollon006 901    866     9370873856 10200   3 14 apollon015 902    856     14187634688 8010   3 14 apollon002 901    872     6792024064 12200   3 14 apollon027 901    878     3280048128 11200   3 14 apollon047 871    829     14999998464 8170   apollon143 901    877     4796694528 9880   3 14 apollon153 902    844     12195303424 9540   3 14 apollon099
array-examples/standard_running_false-unreach-call.i 901    868     8431603712 11700   3 16 apollon038 901    860     4409708544 12300   3 16 apollon132 901    867     8398082048 10900   3 16 apollon137 901    856     4402855936 10900   3 16 apollon062 901    871     6432346112 14000   3 16 apollon111 901    871     3825025024 10600   3 16 apollon134 901    863     3998765056 11600   3 16 apollon052 901    873     4600406016 10100   3 16 apollon086 901    554     9799282688 8690   3 16 apollon112
array-examples/data_structures_set_multi_proc_trivial_true-unreach-call_ground_true-termination.i 901    872     12786130944 10100   5 22 apollon093 901    862     5685428224 9380   5 22 apollon003 901    872     12919455744 12600   5 22 apollon148 901    848     5838819328 10200   5 22 apollon026 901    868     8473063424 10500   5 22 apollon093 901    876     4100603904 11900   5 22 apollon160 901    850     5095424000 8570   5 22 apollon113 901    875     5629124608 12400   5 22 apollon140 902    847     5862027264 9810   5 22 apollon053
array-examples/data_structures_set_multi_proc_true-unreach-call_ground.i 901    863     12311642112 11700   8 18 apollon047 902    812     14725697536 10100   8 18 apollon159 901    852     12364849152 11200   8 18 apollon085 811    730     14999998464 10400   apollon065 901    865     9710632960 9740   8 18 apollon037 901    866     6221164544 9480   8 18 apollon119 811    714     14999998464 10400   apollon161 901    819     6661820416 8980   8 18 apollon102 901    787     13331693568 9300   8 18 apollon117
array-examples/relax_true-unreach-call.i 13.0  3.69  482971648 106   apollon075 13.2  3.73  400924672 115   apollon152 13.5  3.74  487460864 107   apollon123 13.6  3.80  397340672 112   apollon002 13.0  3.65  482164736 120   apollon030 13.4  3.75  420352000 118   apollon164 13.2  3.75  477392896 106   apollon133 901    747     7307452416 12200   32 48 apollon094 902    709     6389899264 9480   32 48 apollon089
array-examples/sanfoundry_02_true-unreach-call_ground.i 901    869     6887239680 11000   7 18 apollon152 950    620     9252343808 9100   7 18 apollon061 901    866     6913126400 10500   7 18 apollon154 902    656     9873465344 8930   7 18 apollon168 901    868     6249349120 13700   7 18 apollon056 901    865     2576998400 12000   7 18 apollon005 902    839     9015828480 9430   7 18 apollon083 901    872     4470677504 12600   7 18 apollon130 901    662     11286638592 8030   7 18 apollon092
array-examples/sanfoundry_10_true-unreach-call_ground.i 901    873     5591445504 11900   7 16 apollon024 901    871     3356905472 11300   7 16 apollon162 901    867     5662818304 11600   7 16 apollon155 901    870     4335153152 11600   7 16 apollon008 901    868     5633736704 12200   7 16 apollon008 901    866     1502425088 10000   7 16 apollon055 901    873     3592855552 13500   7 16 apollon111 901    873     3963330560 11200   7 16 apollon095 901    871     4360216576 10800   7 16 apollon066
array-examples/sanfoundry_24_true-unreach-call_true-termination.i 53.9  42.0   1761112064 663   9 10 apollon084 54.6  43.2   2013229056 626   9 10 apollon023 54.3  42.0   2039943168 698   9 10 apollon024 54.7  42.3   1945161728 643   9 10 apollon012 53.8  42.5   1934954496 625   9 10 apollon035 54.1  42.4   2013003776 717   9 10 apollon077 54.7  43.3   2127052800 777   9 10 apollon161 54.1  42.9   2125148160 702   9 10 apollon065 55.1  43.6   1931960320 648   9 10 apollon062
array-examples/sanfoundry_27_true-unreach-call_ground.i 901    872     7084871680 10400   3 8 apollon099 901    552     9277739008 7870   3 8 apollon025 901    866     7049768960 10300   3 8 apollon074 901    574     7488765952 8160   3 8 apollon135 901    871     6260326400 11300   3 8 apollon061 901    867     2798678016 10300   3 8 apollon159 901    667     10918019072 8920   3 8 apollon095 901    872     4405497856 13300   3 8 apollon044 901    709     8389599232 8830   3 8 apollon090
array-examples/sanfoundry_43_true-unreach-call_ground.i 901    872     5341691904 11600   1 6 apollon164 901    863     5515317248 9960   1 6 apollon066 901    870     5351743488 13000   1 6 apollon021 901    861     5514088448 10700   1 6 apollon020 901    872     5601542144 12500   1 6 apollon140 901    867     1645490176 10200   1 6 apollon138 901    866     5468823552 11800   1 6 apollon111 901    874     2870304768 13800   1 6 apollon111 901    860     5458354176 9490   1 6 apollon086
array-examples/sorting_bubblesort_true-unreach-call_ground.i 901    871     7489609728 11000   4 12 apollon129 901    854     8854192128 9480   4 12 apollon100 901    869     7598129152 10300   4 12 apollon013 901    854     8953856000 12900   4 12 apollon057 901    872     6431715328 12900   4 12 apollon036 901    870     2820395008 9630   4 12 apollon131 901    855     9793179648 10200   4 12 apollon065 901    871     4966850560 12100   4 12 apollon068 901    852     9471328256 8920   4 12 apollon103
array-examples/sorting_selectionsort_true-unreach-call_ground.i 901    873     7817048064 13100   4 20 apollon036 901    856     4425539584 12200   4 20 apollon081 901    866     7798534144 11300   4 20 apollon118 901    854     4526440448 11100   4 20 apollon015 901    871     6443732992 13600   4 20 apollon021 901    867     2430713856 10200   4 20 apollon149 901    857     4407062528 8720   4 20 apollon123 901    873     4949827584 12300   4 20 apollon167 901    810     8698204160 11400   4 20 apollon160
array-examples/standard_compareModified_true-unreach-call_ground.i 901    872     9340493824 11000   3 12 apollon049 901    855     4205645824 12000   3 12 apollon125 901    867     9344430080 9510   3 12 apollon151 901    854     4320120832 9730   3 12 apollon086 901    872     6901481472 12300   3 12 apollon125 901    876     3764482048 9040   3 12 apollon022 901    843     4092194816 9210   3 12 apollon012 901    876     4799262720 12400   3 12 apollon094 901    629     8117563392 10600   3 12 apollon021
array-examples/standard_compare_true-unreach-call_ground.i 901    871     8383537152 10600   3 10 apollon034 901    856     8084549632 10100   3 10 apollon008 901    865     8379285504 10700   3 10 apollon107 901    853     8792977408 11500   3 10 apollon005 901    871     6470070272 11500   3 10 apollon084 901    872     2540412928 13200   3 10 apollon057 902    859     10982416384 8440   3 10 apollon118 901    873     4592779264 13000   3 10 apollon016 902    768     11764846592 8190   3 10 apollon048
array-examples/standard_copy1_true-unreach-call_ground.i 901    874     8773029888 10800   1 8 apollon119 901    869     4007211008 10300   1 8 apollon034 901    869     8788594688 10500   1 8 apollon154 901    863     4091723776 9960   1 8 apollon078 901    873     6355533824 12400   1 8 apollon077 901    869     2391056384 10100   1 8 apollon168 901    863     4243628032 11000   1 8 apollon007 901    877     3189305344 9610   1 8 apollon029 901    859     4106366976 11000   1 8 apollon038
array-examples/standard_copy2_true-unreach-call_ground.i 901    874     9855442944 11000   1 10 apollon015 901    867     4151152640 10400   1 10 apollon015 901    874     9872388096 13300   1 10 apollon111 901    858     4104744960 11100   1 10 apollon147 901    875     6922878976 11600   1 10 apollon046 901    872     3170189312 9680   1 10 apollon098 901    863     4100829184 9930   1 10 apollon033 901    876     3392999424 10800   1 10 apollon058 901    857     4104540160 10500   1 10 apollon076
array-examples/standard_copy3_true-unreach-call_ground.i 901    876     10730401792 9490   1 12 apollon092 901    865     4110041088 11200   1 12 apollon163 901    872     10773450752 11700   1 12 apollon059 901    857     4157009920 10200   1 12 apollon134 901    875     7086645248 11200   1 12 apollon018 901    874     2862723072 11100   1 12 apollon052 901    863     4163244032 8650   1 12 apollon158 901    877     3569795072 10900   1 12 apollon113 901    859     4145672192 10100   1 12 apollon101
array-examples/standard_copy4_true-unreach-call_ground.i 901    876     11500261376 10800   1 14 apollon058 901    864     4128759808 10400   1 14 apollon012 901    870     11451858944 10500   1 14 apollon107 901    857     4250402816 10700   1 14 apollon001 901    875     6995550208 13100   1 14 apollon044 901    877     2955350016 9890   1 14 apollon090 901    862     4181860352 10100   1 14 apollon113 901    879     4436553728 11100   1 14 apollon087 901    854     4168810496 9830   1 14 apollon143
array-examples/standard_copy5_true-unreach-call_ground.i 901    877     12218122240 12900   1 16 apollon080 901    865     4150956032 11900   1 16 apollon167 901    870     12205498368 10100   1 16 apollon013 901    855     4416512000 12500   1 16 apollon130 901    876     7675293696 11900   1 16 apollon112 901    880     3762159616 10700   1 16 apollon049 901    860     4312100864 10300   1 16 apollon004 901    882     5161148416 10800   1 16 apollon114 901    854     4172066816 12100   1 16 apollon036
array-examples/standard_copy6_true-unreach-call_ground.i 901    874     12726513664 12200   1 18 apollon132 901    861     4175949824 11800   1 18 apollon059 901    870     12647497728 13100   1 18 apollon021 901    855     4438073344 10500   1 18 apollon051 901    876     8102907904 13200   1 18 apollon021 901    880     2864918528 10000   1 18 apollon102 901    858     4439539712 8650   1 18 apollon139 901    879     4369104896 10900   1 18 apollon018 901    854     4213256192 10400   1 18 apollon051
array-examples/standard_copy7_true-unreach-call_ground.i 901    875     13260525568 11300   1 20 apollon142 901    860     4322799616 10000   1 20 apollon086 901    870     13365587968 11100   1 20 apollon085 901    853     4385804288 9820   1 20 apollon149 901    878     8354545664 10900   1 20 apollon049 901    885     4314816512 10800   1 20 apollon018 901    855     4387352576 10300   1 20 apollon018 901    880     4853501952 9570   1 20 apollon151 901    850     4226609152 9990   1 20 apollon124
array-examples/standard_copy8_true-unreach-call_ground.i 901    874     13668827136 11600   1 22 apollon008 901    862     4191059968 10800   1 22 apollon070 901    870     13792112640 11600   1 22 apollon065 901    850     4146085888 10100   1 22 apollon101 901    875     8698269696 12500   1 22 apollon106 901    884     3752337408 9990   1 22 apollon143 901    858     4302266368 10100   1 22 apollon133 901    880     4918349824 10200   1 22 apollon124 901    849     4469342208 10700   1 22 apollon072
array-examples/standard_copy9_true-unreach-call_ground.i 901    872     13535514624 9680   1 24 apollon139 901    856     4423790592 10200   1 24 apollon032 901    869     13642379264 11400   1 24 apollon071 901    850     4426694656 12100   1 24 apollon014 901    878     8942821376 13000   1 24 apollon030 901    885     4860948480 11300   1 24 apollon085 901    855     4447518720 9670   1 24 apollon045 901    881     5383770112 11100   1 24 apollon087 901    849     4412514304 10500   1 24 apollon146
array-examples/standard_copyInitSum2_true-unreach-call_ground.i 901    883     6326743040 11100   1 10 apollon066 902    882     2073849856 13000   1 10 apollon007 901    881     6172438528 11300   1 10 apollon003 902    880     2194968576 12400   1 10 apollon141 901    887     3452182528 13200   1 10 apollon033 901    890     1786966016 14400   1 10 apollon057 902    880     2879827968 12500   1 10 apollon136 901    875     3328704512 10300   1 10 apollon013 901    860     4110184448 9790   1 10 apollon025
array-examples/standard_copyInitSum3_true-unreach-call_ground.i 901    876     5694889984 11000   1 12 apollon116 902    881     2063097856 12200   1 12 apollon071 901    880     6034976768 11200   1 12 apollon003 902    880     2191736832 10500   1 12 apollon139 901    886     3400105984 11500   1 12 apollon144 901    890     1834504192 11000   1 12 apollon089 901    882     2910752768 11600   1 12 apollon119 901    877     3338194944 11500   1 12 apollon155 901    859     4101054464 12700   1 12 apollon148
array-examples/standard_copyInitSum_true-unreach-call_ground.i 901    876     5640249344 13200   1 10 apollon122 902    882     2222309376 13300   1 10 apollon094 901    878     5929451520 12800   1 10 apollon006 902    880     2082570240 11600   1 10 apollon072 901    885     3383414784 11500   1 10 apollon107 901    889     1628565504 11600   1 10 apollon074 902    881     2783264768 13300   1 10 apollon088 901    875     3572461568 10800   1 10 apollon168 901    858     4108337152 10600   1 10 apollon108
array-examples/standard_copyInit_true-unreach-call_ground.i 901    877     5434122240 11000   1 8 apollon013 901    883     2326401024 11500   1 8 apollon131 901    880     6047100928 11600   1 8 apollon105 902    880     2020073472 11000   1 8 apollon083 901    886     3482648576 11900   1 8 apollon049 901    889     1601056768 10400   1 8 apollon092 901    882     2983182336 11900   1 8 apollon061 901    875     3297144832 10300   1 8 apollon152 901    861     4109664256 10400   1 8 apollon009
array-examples/standard_find_true-unreach-call_ground.i 901    871     7248728064 11800   1 10 apollon136 901    870     3952443392 13500   1 10 apollon057 901    869     7290531840 10600   1 10 apollon034 901    862     4059230208 10900   1 10 apollon105 901    872     5972217856 10500   1 10 apollon035 901    873     1805934592 12300   1 10 apollon094 901    863     4124844032 10300   1 10 apollon107 901    873     3196166144 10500   1 10 apollon035 901    860     4058718208 10800   1 10 apollon119
array-examples/standard_init1_true-unreach-call_ground.i 901    876     4194693120 11000   1 6 apollon100 901    882     1663553536 13300   1 6 apollon027 901    877     4348796928 12600   1 6 apollon124 902    880     1466376192 13100   1 6 apollon108 901    885     3245711360 11600   1 6 apollon090 901    889     1655455744 12200   1 6 apollon168 901    883     2117804032 14000   1 6 apollon161 901    876     3170861056 10100   1 6 apollon117 901    860     4042072064 10400   1 6 apollon135
array-examples/standard_init2_true-unreach-call_ground.i 901    879     4284207104 11700   1 8 apollon105 902    882     1518391296 11600   1 8 apollon121 901    878     4425084928 11000   1 8 apollon134 901    879     1396662272 13300   1 8 apollon014 901    885     3328692224 10800   1 8 apollon043 901    890     1422823424 12500   1 8 apollon138 901    882     2172321792 10800   1 8 apollon002 901    875     2984640512 10400   1 8 apollon093 901    860     4035239936 10700   1 8 apollon075
array-examples/standard_init3_true-unreach-call_ground.i 901    876     4236500992 11900   1 10 apollon087 901    884     1781231616 12200   1 10 apollon004 901    874     4326342656 13400   1 10 apollon106 901    883     1587769344 11100   1 10 apollon116 901    885     3262259200 11400   1 10 apollon079 901    889     1358004224 11000   1 10 apollon089 901    883     2248785920 14500   1 10 apollon056 901    875     3014156288 11700   1 10 apollon114 901    859     4030607360 11600   1 10 apollon052
array-examples/standard_init4_true-unreach-call_ground.i 901    879     4364980224 11200   1 12 apollon023 902    884     1529331712 12100   1 12 apollon061 901    877     4370632704 12600   1 12 apollon136 902    881     1410658304 11100   1 12 apollon053 901    885     3303673856 13300   1 12 apollon027 901    890     1452249088 11600   1 12 apollon034 901    882     2154803200 12900   1 12 apollon155 901    876     3227230208 11900   1 12 apollon024 901    861     4005797888 11400   1 12 apollon155
array-examples/standard_init5_true-unreach-call_ground.i 901    881     4297863168 11100   1 14 apollon053 901    883     1606643712 11300   1 14 apollon042 901    877     4298776576 11200   1 14 apollon003 902    881     1484419072 10800   1 14 apollon143 901    885     3365396480 13100   1 14 apollon033 901    890     1404600320 12000   1 14 apollon153 901    882     2020716544 11500   1 14 apollon050 901    875     3308986368 13200   1 14 apollon160 901    859     4023545856 11600   1 14 apollon052
array-examples/standard_init6_true-unreach-call_ground.i 901    878     4280508416 12500   1 16 apollon152 902    883     1642061824 12700   1 16 apollon112 901    878     4389519360 11900   1 16 apollon076 901    881     1536659456 12500   1 16 apollon141 901    884     3328192512 12800   1 16 apollon091 901    889     1419395072 12000   1 16 apollon087 901    883     2196054016 11400   1 16 apollon026 901    875     2961924096 12100   1 16 apollon064 901    859     4032229376 9880   1 16 apollon074
array-examples/standard_init7_true-unreach-call_ground.i 901    877     4238680064 12300   1 18 apollon113 901    882     1624641536 11800   1 18 apollon078 901    875     4324446208 12200   1 18 apollon084 902    883     1546838016 11700   1 18 apollon097 901    885     3353600000 9400   1 18 apollon063 901    890     1434152960 11300   1 18 apollon042 902    880     2111201280 11000   1 18 apollon104 901    875     2923851776 11700   1 18 apollon122 901    859     4025253888 10400   1 18 apollon159
array-examples/standard_init8_true-unreach-call_ground.i 901    880     4373053440 11300   1 20 apollon079 901    883     1617022976 11000   1 20 apollon149 901    877     4335628288 12200   1 20 apollon146 901    880     1487310848 11600   1 20 apollon110 901    885     3266596864 13400   1 20 apollon047 901    890     1417768960 12200   1 20 apollon142 901    882     2121916416 11100   1 20 apollon099 901    876     3200073728 10700   1 20 apollon051 901    860     4036591616 10600   1 20 apollon119
array-examples/standard_init9_true-unreach-call_ground.i 901    881     4298305536 12300   1 22 apollon084 901    881     1487577088 11100   1 22 apollon115 901    877     4313817088 12000   1 22 apollon085 901    880     1531551744 11200   1 22 apollon115 901    884     3364552704 13400   1 22 apollon126 901    889     1368424448 11700   1 22 apollon074 902    882     2178318336 11400   1 22 apollon154 901    875     3374510080 8400   1 22 apollon063 901    861     4075327488 9960   1 22 apollon043
array-examples/standard_maxInArray_true-unreach-call_ground.i 901    870     7007825920 12000   3 8 apollon059 901    853     7870083072 11000   3 8 apollon007 901    867     7100276736 10700   3 8 apollon001 901    856     8454070272 10700   3 8 apollon007 901    868     5499015168 11900   3 8 apollon024 901    867     2316435456 9390   3 8 apollon143 901    860     9773195264 9330   3 8 apollon047 901    873     4320788480 10800   3 8 apollon093 901    752     9006178304 8900   3 8 apollon154
array-examples/standard_minInArray_true-unreach-call_ground.i 901    871     6339596288 10600   3 8 apollon062 901    855     7993307136 9330   3 8 apollon153 901    866     7124336640 11000   3 8 apollon165 901    854     8331366400 8620   3 8 apollon145 901    870     4739997696 11100   3 8 apollon141 901    867     2299441152 9310   3 8 apollon032 901    861     9693171712 7640   3 8 apollon101 901    873     4396826624 12600   3 8 apollon036 901    548     8741879808 8010   3 8 apollon075
array-examples/standard_palindrome_true-unreach-call_ground.i 901    873     7232761856 10200   1 6 apollon149 901    864     4094939136 10500   1 6 apollon012 901    869     7287091200 10000   1 6 apollon100 901    859     4128489472 12400   1 6 apollon130 901    871     6037671936 12400   1 6 apollon059 901    869     1934516224 9790   1 6 apollon066 901    863     4139507712 9950   1 6 apollon110 901    876     3246280704 12300   1 6 apollon069 901    861     1447292928 9790   1 6 apollon040
array-examples/standard_partial_init_true-unreach-call_ground.i 901    874     8944947200 12800   3 10 apollon030 901    866     5377490944 10000   3 10 apollon022 901    867     9106280448 12100   3 10 apollon047 901    854     5491302400 11900   3 10 apollon027 901    874     6584909824 10400   3 10 apollon083 901    878     3043721216 11100   3 10 apollon147 901    853     4711063552 12100   3 10 apollon130 901    874     4795895808 10000   3 10 apollon041 901    814     11819913216 10100   3 10 apollon165
array-examples/standard_partition_original_true-unreach-call_ground.i 901    872     9150840832 11000   3 10 apollon075 901    847     11496857600 11400   3 10 apollon047 901    864     9124282368 11000   3 10 apollon120 901    841     12454273024 10800   3 10 apollon011 901    871     6862671872 10500   3 10 apollon066 901    878     3785854976 10900   3 10 apollon165 890    838     14999998464 8160   apollon015 901    875     4812107776 10100   3 10 apollon083 901    681     8518619136 7640   3 10 apollon078
array-examples/standard_partition_true-unreach-call_ground.i 901    872     8274227200 11300   3 12 apollon011 901    859     12459171840 8320   3 12 apollon151 901    867     8283795456 11500   3 12 apollon071 902    854     12385943552 9910   3 12 apollon019 901    871     6517886976 11000   3 12 apollon048 901    872     3788824576 11200   3 12 apollon142 901    855     13741707264 9230   3 12 apollon122 901    875     4631146496 10500   3 12 apollon035 901    846     11105148928 10500   3 12 apollon071
array-examples/standard_password_true-unreach-call_ground.i 901    869     8419610624 10300   3 10 apollon109 901    857     8046940160 10200   3 10 apollon102 901    865     8422187008 10400   3 10 apollon015 901    853     8819109888 10300   3 10 apollon129 901    871     6498136064 11300   3 10 apollon136 901    873     3505512448 10800   3 10 apollon028 901    859     10997678080 9600   3 10 apollon020 901    875     4591939584 10200   3 10 apollon150 901    838     10324848640 8370   3 10 apollon003
array-examples/standard_reverse_true-unreach-call_ground.i 901    870     8648757248 11300   1 6 apollon124 901    867     4046385152 10600   1 6 apollon075 901    870     8703336448 10100   1 6 apollon055 901    861     4123901952 10000   1 6 apollon128 901    873     5997723648 10900   1 6 apollon032 901    873     2247012352 9940   1 6 apollon035 901    864     4189270016 9000   1 6 apollon054 901    877     3346169856 11000   1 6 apollon129 901    858     4073029632 10200   1 6 apollon134
array-examples/standard_running_true-unreach-call.i 901    870     8415141888 12400   3 16 apollon024 901    864     4208140288 10300   3 16 apollon116 901    868     8412758016 12600   3 16 apollon019 902    856     4222681088 10600   3 16 apollon115 901    865     5071663104 11000   3 16 apollon090 901    872     2817363968 10500   3 16 apollon134 901    857     4288999424 13600   3 16 apollon056 901    873     4599681024 10900   3 16 apollon058 901    658     10147491840 8360   3 16 apollon109
array-examples/standard_sentinel_true-unreach-call_true-termination.i 53.7  42.1   2021081088 693   7 8 apollon068 53.5  42.5   2026618880 630   7 8 apollon103 53.7  42.3   2081914880 742   7 8 apollon148 54.1  42.2   1840648192 718   7 8 apollon163 54.1  42.6   2008956928 617   7 8 apollon003 53.7  41.7   1885765632 658   7 8 apollon004 53.6  42.5   2125041664 798   7 8 apollon056 54.1  44.5   1993805824 676   7 8 apollon067 53.9  42.6   3692937216 637   7 8 apollon097
array-examples/standard_seq_init_true-unreach-call_ground.i 901    879     4298665984 12500   1 6 apollon114 901    882     1655230464 11700   1 6 apollon074 901    875     2991333376 13000   1 6 apollon155 902    881     1728671744 13200   1 6 apollon059 901    885     3204505600 11700   1 6 apollon074 901    888     1370312704 11200   1 6 apollon099 902    881     2411016192 11700   1 6 apollon078 901    876     3339972608 10800   1 6 apollon168 901    860     4078465024 10400   1 6 apollon015
array-examples/standard_strcmp_true-unreach-call_ground.i 901    873     8394919936 11700   4 10 apollon126 901    858     8756461568 10800   4 10 apollon108 901    869     8428457984 11000   4 10 apollon082 901    857     8785551360 9360   4 10 apollon015 901    871     6574002176 11600   4 10 apollon138 901    873     2494730240 10500   4 10 apollon095 901    860     10660044800 8810   4 10 apollon033 901    875     3884290048 11800   4 10 apollon047 901    863     11115327488 11700   4 10 apollon064
array-examples/standard_strcpy_original_true-unreach-call.i 901    873     8330027008 11500   1 12 apollon124 901    866     4032290816 10800   1 12 apollon001 901    873     8744808448 10700   1 12 apollon076 901    860     4100255744 12100   1 12 apollon024 901    871     6076735488 10500   1 12 apollon045 901    872     3177463808 10200   1 12 apollon109 901    865     4051505152 10300   1 12 apollon009 901    876     3151982592 12200   1 12 apollon005 901    860     4080103424 11600   1 12 apollon125
array-examples/standard_strcpy_true-unreach-call_ground.i 901    873     8674029568 11800   1 10 apollon052 901    868     4027756544 10600   1 10 apollon150 901    871     8729010176 12100   1 10 apollon059 901    861     4238667776 11000   1 10 apollon001 901    872     6171611136 11100   1 10 apollon118 901    872     2034282496 10700   1 10 apollon067 901    867     4046970880 11700   1 10 apollon006 901    876     3158065152 12500   1 10 apollon130 901    861     4056027136 10300   1 10 apollon083
array-examples/standard_two_index_01_true-unreach-call.i 901    870     5657325568 11200   1 8 apollon165 901    867     3994972160 12400   1 8 apollon094 901    869     5704921088 10000   1 8 apollon131 901    861     4090814464 10800   1 8 apollon156 901    869     5008846848 11000   1 8 apollon129 904    605     8856776704 9700   1 8 apollon031 966    411     8066052096 7690   1 8 apollon071 901    873     2619707392 11000   1 8 apollon031 901    863     3988643840 9620   1 8 apollon042
array-examples/standard_two_index_02_true-unreach-call.i 901    871     8738504704 12000   1 8 apollon033 901    867     4128395264 9160   1 8 apollon139 901    871     8759140352 10500   1 8 apollon146 901    860     4070526976 11400   1 8 apollon028 901    872     5915996160 11800   1 8 apollon159 901    871     2857426944 9370   1 8 apollon137 901    866     4075347968 11400   1 8 apollon106 901    877     3514650624 10200   1 8 apollon101 901    859     4103073792 10700   1 8 apollon129
array-examples/standard_two_index_03_true-unreach-call.i 901    872     5436801024 10900   1 8 apollon050 901    865     3991318528 10500   1 8 apollon103 901    868     5657800704 9110   1 8 apollon158 901    863     3979948032 11800   1 8 apollon027 901    869     4966305792 13700   1 8 apollon111 952    438     8202067968 8330   1 8 apollon130 918    434     7996588032 7360   1 8 apollon051 901    874     2854580224 10300   1 8 apollon149 902    862     3979960320 9850   1 8 apollon150
array-examples/standard_two_index_04_true-unreach-call.i 901    872     8799244288 11900   1 8 apollon091 901    866     4032028672 10200   1 8 apollon013 901    872     8725651456 10100   1 8 apollon150 901    860     4061372416 12600   1 8 apollon016 901    873     6166958080 11300   1 8 apollon015 901    871     2992054272 10600   1 8 apollon141 901    868     3989073920 10600   1 8 apollon155 901    877     3473154048 9420   1 8 apollon054 901    859     4107534336 10200   1 8 apollon152
array-examples/standard_two_index_05_true-unreach-call.i 901    874     8750043136 10000   1 8 apollon098 901    867     4019380224 10300   1 8 apollon035 901    870     8702103552 9360   1 8 apollon054 901    861     4114530304 11600   1 8 apollon052 901    874     5691346944 11600   1 8 apollon113 901    875     2984816640 11400   1 8 apollon019 901    869     3980840960 11300   1 8 apollon065 901    876     3046813696 10700   1 8 apollon162 901    858     4173832192 11600   1 8 apollon091
array-examples/standard_two_index_06_true-unreach-call.i 901    870     5418459136 10700   1 8 apollon144 901    868     3975942144 11000   1 8 apollon096 901    869     5673119744 10300   1 8 apollon146 901    861     4011356160 10300   1 8 apollon086 901    869     5239304192 11300   1 8 apollon070 904    509     10473529344 7890   1 8 apollon115 901    393     8002068480 7380   1 8 apollon132 901    873     2930544640 10300   1 8 apollon097 901    863     3984904192 10500   1 8 apollon073
array-examples/standard_two_index_07_true-unreach-call.i 901    872     8325754880 10200   1 8 apollon089 901    867     4022435840 10700   1 8 apollon156 901    871     8783863808 10700   1 8 apollon026 901    861     4089643008 11400   1 8 apollon142 901    874     5688279040 11200   1 8 apollon168 901    872     3111301120 10400   1 8 apollon033 901    864     4160286720 9930   1 8 apollon083 901    876     3280871424 9540   1 8 apollon054 901    859     4093591552 10000   1 8 apollon089
array-examples/standard_two_index_08_true-unreach-call.i 901    874     8786354176 11000   1 8 apollon001 901    867     4085252096 9700   1 8 apollon002 901    870     8764862464 10800   1 8 apollon058 901    861     4067713024 10800   1 8 apollon072 901    872     6488563712 9600   1 8 apollon054 901    873     2938863616 9600   1 8 apollon032 901    863     4244234240 10600   1 8 apollon084 901    877     3283345408 12800   1 8 apollon016 901    861     4111409152 9690   1 8 apollon145
array-examples/standard_two_index_09_true-unreach-call.i 901    873     8764055552 11100   1 8 apollon102 901    865     4028284928 10300   1 8 apollon037 901    872     8741335040 11300   1 8 apollon046 901    861     4104204288 9620   1 8 apollon022 901    874     6589530112 10800   1 8 apollon012 901    870     2820042752 11400   1 8 apollon106 901    863     4326318080 8760   1 8 apollon042 901    876     3599667200 10700   1 8 apollon105 901    861     4097150976 11700   1 8 apollon019
array-examples/standard_vararg_true-unreach-call_ground_true-termination.i 901    846     5697564672 11600   5 6 apollon129 901    847     5594902528 11400   5 6 apollon090 901    835     5730820096 12200   5 6 apollon138 901    832     4886573056 12000   5 6 apollon146 901    849     4512428032 12300   5 6 apollon052 901    844     4679663616 11600   5 6 apollon121 901    840     4764995584 10400   5 6 apollon029 901    837     4651855872 11100   5 6 apollon023 901    834     4610744320 12000   5 6 apollon113
array-examples/standard_vector_difference_true-unreach-call_ground.i 901    873     9827102720 10300   1 6 apollon116 901    866     4030443520 9610   1 6 apollon157 901    873     9838505984 10300   1 6 apollon031 901    858     4223836160 11400   1 6 apollon027 901    875     6759751680 12000   1 6 apollon108 901    873     2278477824 11100   1 6 apollon011 901    861     4157034496 12600   1 6 apollon160 901    878     3416969216 10800   1 6 apollon076 901    858     4088549376 9910   1 6 apollon003
array-industry-pattern/array_assert_loop_dep_false-unreach-call_true-termination.i 901    879     4346073088 12500   1 8 apollon114 901    884     1646403584 12300   1 8 apollon031 901    878     4383576064 14400   1 8 apollon057 901    882     1628233728 11800   1 8 apollon168 901    885     3309457408 14300   1 8 apollon057 901    889     1359867904 11600   1 8 apollon034 901    883     2069680128 11700   1 8 apollon078 901    876     3091808256 11500   1 8 apollon114 901    861     4112764928 10700   1 8 apollon072
array-industry-pattern/array_of_struct_loop_dep_false-unreach-call.i 902    889     3770322944 12900   0 8 apollon091 902    888     3779842048 13100   0 8 apollon065 902    888     3703943168 11300   0 8 apollon099 902    888     3777568768 10700   0 8 apollon029 903    897     4229083136 6830   0 8 apollon027 903    896     4218572800 6030   0 8 apollon003 902    889     3706552320 12000   0 8 apollon153 903    897     4207050752 5530   0 8 apollon137 902    889     3741962240 13400   0 8 apollon077
array-industry-pattern/array_ptr_single_elem_init_false-unreach-call_true-termination.i 901    873     7863119872 13200   7 14 apollon036 901    855     5411377152 11100   7 14 apollon152 901    870     7906717696 11200   7 14 apollon051 902    849     5484765184 12100   7 14 apollon019 901    872     5862580224 9630   7 14 apollon158 901    877     3438170112 12000   7 14 apollon155 901    848     4643975168 10400   7 14 apollon138 901    873     4610203648 10300   7 14 apollon116 901    856     7463444480 11900   7 14 apollon064
array-industry-pattern/array_range_init_false-unreach-call.i 902    890     3284123648 12100   0 10 apollon037 902    891     3248939008 14200   0 10 apollon148 902    891     3330498560 11900   0 10 apollon079 902    890     3365511168 12800   0 10 apollon017 903    898     4060938240 5860   0 10 apollon120 903    898     4087357440 5820   0 10 apollon078 902    890     3325825024 13600   0 10 apollon077 903    897     4070744064 6040   0 10 apollon104 902    891     3337474048 11400   0 10 apollon117
array-industry-pattern/array_single_elem_init_false-unreach-call_true-termination.i 901    873     8738988032 12500   7 14 apollon163 901    857     5974847488 10500   7 14 apollon115 901    868     8729366528 12900   7 14 apollon125 902    849     5912109056 10700   7 14 apollon154 901    873     6657245184 12900   7 14 apollon148 901    875     3190657024 11100   7 14 apollon121 901    846     4803907584 10800   7 14 apollon136 901    873     4777336832 9620   7 14 apollon145 902    851     8118996992 8820   7 14 apollon157
array-industry-pattern/check_removal_from_set_after_insertion_false-unreach-call.i 901    866     5318586368 10200   7 24 apollon090 901    806     7224619008 10500   7 24 apollon156 901    854     5339197440 9320   7 24 apollon054 901    817     6623735808 13000   7 24 apollon160 901    867     7147470848 10600   7 24 apollon067 901    866     3983773696 8920   7 24 apollon032 901    793     6060347392 9580   7 24 apollon038 901    822     4677689344 9950   7 24 apollon114 901    790     6805159936 11400   7 24 apollon160
array-industry-pattern/array_monotonic_true-unreach-call_true-termination.i 901    872     8215228416 10600   3 10 apollon070 901    563     8600805376 8610   3 10 apollon114 901    866     8258174976 9710   3 10 apollon015 923    622     7747227648 8030   3 10 apollon108 901    871     6383054848 12000   3 10 apollon006 901    871     2248937472 9740   3 10 apollon051 1060    419     11092144128 7050   apollon168 901    874     4490547200 9440   3 10 apollon042 901    522     7782191104 7210   3 10 apollon098
array-industry-pattern/array_mul_init_true-unreach-call_true-termination.i 901    880     5785088000 11200   1 14 apollon003 901    884     1903534080 12500   1 14 apollon152 901    881     6079037440 11300   1 14 apollon079 902    884     1770962944 11300   1 14 apollon166 901    886     3482005504 13100   1 14 apollon081 901    889     1632419840 11200   1 14 apollon023 902    885     2578300928 12100   1 14 apollon004 901    876     3621371904 10400   1 14 apollon034 901    858     4076875776 10600   1 14 apollon033
array-industry-pattern/array_of_struct_break_true-unreach-call.i 902    889     3805536256 12400   0 10 apollon101 902    888     3666726912 12100   0 10 apollon168 902    888     3622223872 13500   0 10 apollon014 902    888     3771424768 12100   0 10 apollon102 903    897     4227694592 8020   0 10 apollon167 903    897     4194504704 7110   0 10 apollon129 902    889     3584528384 11900   0 10 apollon135 903    897     4213399552 6470   0 10 apollon081 902    889     3667394560 11400   0 10 apollon003
array-industry-pattern/array_of_struct_ptr_cond_init_true-unreach-call.i 902    890     3477721088 13800   0 10 apollon027 902    890     3378827264 12500   0 10 apollon145 902    890     3556995072 15500   0 10 apollon039 902    889     3445497856 14200   0 10 apollon008 903    897     4141670400 6060   0 10 apollon128 903    897     4002611200 5890   0 10 apollon120 902    889     3380940800 11500   0 10 apollon127 903    897     4015083520 7070   0 10 apollon027 902    889     3387826176 12000   0 10 apollon150
array-industry-pattern/array_of_struct_ptr_flag_init_true-unreach-call.i 901    872     8411447296 10800   1 12 apollon154 901    857     4197523456 10300   1 12 apollon003 901    870     8453713920 11100   1 12 apollon087 901    848     4547444736 12100   1 12 apollon167 901    870     6511820800 11600   1 12 apollon114 901    871     2104684544 11300   1 12 apollon019 901    857     4158566400 9110   1 12 apollon104 901    877     3596742656 10900   1 12 apollon095 901    851     4467515392 10800   1 12 apollon162
array-industry-pattern/array_of_struct_ptr_monotonic_true-unreach-call.i 902    889     3481333760 12400   0 10 apollon085 902    890     3540762624 12000   0 10 apollon150 902    889     3382341632 15200   0 10 apollon056 902    889     3394662400 13500   0 10 apollon081 903    898     4132102144 7040   0 10 apollon001 903    897     4012011520 6160   0 10 apollon048 902    889     3416248320 12100   0 10 apollon110 903    897     4090318848 6770   0 10 apollon084 902    890     3351588864 11400   0 10 apollon117
array-industry-pattern/array_of_struct_ptr_mul_init_true-unreach-call.i 901    882     4981768192 12900   0 14 apollon068 901    878     5517062144 11700   0 14 apollon034 901    882     4781973504 13100   0 14 apollon019 902    882     6851477504 13600   0 14 apollon094 904    897     6434500608 8120   0 14 apollon092 904    897     6529523712 9590   0 14 apollon124 902    883     6625087488 11700   0 14 apollon062 904    897     6448291840 8750   0 14 apollon100 901    882     4896661504 10800   0 14 apollon098
array-industry-pattern/array_of_struct_single_elem_init_true-unreach-call.i 902    881     6124982272 14800   0 12 apollon111 902    883     6074171392 11400   0 12 apollon025 901    880     5022752768 12200   0 12 apollon038 901    880     5942300672 12600   0 12 apollon071 905    895     8493477888 11700   0 12 apollon016 904    898     8613425152 10900   0 12 apollon005 902    882     6138585088 11200   0 12 apollon060 905    896     8527298560 9430   0 12 apollon156 902    883     6624837632 13100   0 12 apollon065
array-industry-pattern/array_ptr_partial_init_true-unreach-call.i 902    890     3326160896 11600   0 8 apollon066 902    890     3583500288 10700   0 8 apollon054 902    890     3352686592 12200   0 8 apollon120 902    890     3332395008 13600   0 8 apollon108 903    897     4062969856 8760   0 8 apollon016 903    898     4144140288 5580   0 8 apollon089 902    890     3518185472 12800   0 8 apollon101 903    897     4111417344 5420   0 8 apollon166 902    890     3269214208 11500   0 8 apollon149
array-industry-pattern/array_ptr_single_elem_init_true-unreach-call.i 902    890     3367096320 12600   0 18 apollon093 902    890     3295096832 10700   0 18 apollon054 902    890     3333283840 12100   0 18 apollon072 902    889     3361271808 11700   0 18 apollon045 903    898     4102299648 7680   0 18 apollon017 903    898     4134842368 7540   0 18 apollon132 902    889     3364032512 12900   0 18 apollon138 903    897     4062707712 7030   0 18 apollon026 902    889     3345354752 13400   0 18 apollon065
array-industry-pattern/array_shadowinit_true-unreach-call_true-termination.i 901    642     8167247872 10700   7 8 apollon094 901    604     9727086592 9710   7 8 apollon122 901    614     8235696128 8560   7 8 apollon060 901    646     7245099008 10300   7 8 apollon010 901    610     8535166976 8790   7 8 apollon131 901    835     4441255936 10200   7 8 apollon142 901    825     4584861696 11800   7 8 apollon036 901    636     9190019072 8780   7 8 apollon149 901    641     8636219392 9500   7 8 apollon055
reducercommutativity/rangesum05_false-unreach-call_true-termination.i 901    873     3777552384 11600   9 14 apollon125 901    876     3981647872 9970   9 14 apollon074 901    873     3416985600 9480   9 14 apollon143 901    874     3374235648 11300   9 14 apollon068 901    871     2279440384 11100   9 14 apollon008 901    871     2403602432 10500   9 14 apollon165 901    875     3648114688 9870   9 14 apollon037 901    868     1771376640 9220   9 14 apollon104 901    874     3381616640 9700   9 14 apollon137
reducercommutativity/rangesum10_false-unreach-call_true-termination.i 901    867     4325806080 9860   9 14 apollon129 901    875     4049068032 10200   9 14 apollon096 902    867     4184260608 9360   9 14 apollon035 901    868     4136837120 9460   9 14 apollon023 901    870     4126986240 8810   9 14 apollon060 901    870     4128653312 10800   9 14 apollon028 901    873     4154421248 10800   9 14 apollon046 901    867     4162113536 9660   9 14 apollon015 901    872     4137304064 9530   9 14 apollon137
reducercommutativity/rangesum20_false-unreach-call.i 901    858     3935170560 10700   9 14 apollon091 901    862     2331131904 9260   9 14 apollon051 901    856     3683688448 9500   9 14 apollon032 901    861     3445153792 10500   9 14 apollon112 901    867     4532998144 9050   9 14 apollon110 901    865     4487733248 9580   9 14 apollon079 901    862     3792793600 8300   9 14 apollon054 901    855     3314401280 9190   9 14 apollon032 901    858     3434139648 9530   9 14 apollon058
reducercommutativity/rangesum40_false-unreach-call.i 902    835     5936988160 8550   9 14 apollon063 88.7  68.6   14999998464 906   apollon070 901    843     5567102976 10700   9 14 apollon135 88.4  64.8   14999998464 825   apollon066 901    862     9640476672 7720   9 14 apollon129 901    840     4932595712 10300   9 14 apollon117 88.0  68.8   14999998464 966   apollon164 901    839     4748926976 11300   9 14 apollon038 87.6  61.8   14999998464 900   apollon091
reducercommutativity/rangesum60_false-unreach-call.i 901    837     8798846976 10500   9 14 apollon144 902    854     6524108800 8320   9 14 apollon098 901    840     7934504960 10200   9 14 apollon116 902    854     6547030016 9230   9 14 apollon147 903    848     9001988096 10400   9 14 apollon093 901    849     5255417856 13200   9 14 apollon160 207    180     14999998464 2090   apollon121 901    854     5261373440 12200   9 14 apollon126 206    172     14999998464 2150   apollon168
reducercommutativity/rangesum_false-unreach-call_true-termination.i 901    653     6701051904 8710   14 16 apollon067 901    857     3919536128 10400   4 16 apollon097 901    669     6960672768 9400   14 16 apollon020 903    658     6255996928 10700   12 16 apollon044 901    734     5962436608 10800   14 16 apollon006 901    753     5133041664 8660   14 16 apollon054 901    725     5759004672 9040   5 16 apollon040 901    721     7779385344 9390   14 16 apollon079 915    595     10451963904 8740   14 16 apollon097
reducercommutativity/avg05_true-unreach-call_true-termination.i 901    871     2281619456 10200   6 10 apollon151 901    872     2345267200 11800   6 10 apollon164 901    871     2283290624 13300   6 10 apollon148 901    874     1801904128 13600   6 10 apollon111 901    887     3300745216 8080   6 10 apollon153 901    891     3298263040 10000   6 10 apollon165 901    876     2704691200 11300   6 10 apollon156 901    890     3260895232 8090   6 10 apollon093 901    873     1923424256 11200   6 10 apollon075
reducercommutativity/avg10_true-unreach-call_true-termination.i 901    869     3597832192 13400   6 10 apollon002 901    873     3778961408 9610   6 10 apollon086 901    872     3408146432 10100   6 10 apollon139 901    876     3532152832 12300   6 10 apollon021 901    876     2803073024 12400   6 10 apollon148 902    875     3181404160 9920   6 10 apollon109 901    873     3786051584 10900   6 10 apollon046 901    874     3018633216 10600   6 10 apollon113 901    873     3499655168 9780   6 10 apollon053
reducercommutativity/avg20_true-unreach-call.i 901    870     4099379200 11000   6 10 apollon012 902    873     4450824192 9710   6 10 apollon101 901    868     4099330048 12500   6 10 apollon059 901    874     4331835392 10200   6 10 apollon084 901    867     4081414144 10700   6 10 apollon060 901    867     4081012736 10900   6 10 apollon157 901    873     4374130688 9020   6 10 apollon053 901    867     4108664832 11700   6 10 apollon070 901    874     4365561856 8580   6 10 apollon042
reducercommutativity/avg40_true-unreach-call.i 901    858     5113384960 9240   6 10 apollon093 901    862     5763629056 8750   6 10 apollon097 901    858     5148880896 9280   6 10 apollon135 902    863     5810618368 9740   6 10 apollon108 901    858     6086488064 9440   6 10 apollon133 901    862     5094649856 8730   6 10 apollon104 902    858     5712646144 7040   6 10 apollon063 901    856     5054615552 9070   6 10 apollon045 902    859     5755719680 11800   6 10 apollon057
reducercommutativity/avg60_true-unreach-call.i 901    859     6973706240 7990   5 10 apollon090 902    866     7385485312 11200   6 10 apollon088 901    865     8843681792 7820   5 10 apollon074 902    863     7294320640 9650   6 10 apollon049 672    634     14999998464 6490   apollon101 901    862     6343471104 11100   5 10 apollon039 902    862     7317467136 9420   6 10 apollon095 901    859     6128238592 7770   5 10 apollon166 902    854     7049273344 10800   6 10 apollon036
reducercommutativity/avg_true-unreach-call_true-termination.i 901    677     6188515328 9350   6 10 apollon038 901    821     3943608320 12000   4 10 apollon080 918    629     9582493696 8630   6 10 apollon026 902    759     5476532224 9260   4 10 apollon165 231    171     5694742528 2640   apollon125 228    171     5653000192 2280   apollon050 901    839     4018143232 10100   4 10 apollon050 216    191     4694413312 2320   apollon041 901    876     3333808128 10200   6 10 apollon149
reducercommutativity/max05_true-unreach-call_true-termination.i 901    872     3413123072 10200   8 12 apollon087 901    873     2386862080 12400   8 12 apollon161 901    868     2303864832 9590   8 12 apollon026 901    872     1669599232 10600   8 12 apollon046 901    874     2474987520 9460   8 12 apollon110 901    873     1913516032 12300   8 12 apollon056 901    873     2168221696 7680   8 12 apollon063 901    870     2695258112 8950   8 12 apollon103 901    872     2656432128 9180   8 12 apollon041
reducercommutativity/max10_true-unreach-call_true-termination.i 901    870     4470288384 9440   8 12 apollon086 901    875     3810668544 10100   8 12 apollon085 901    866     4494901248 10400   8 12 apollon020 901    871     3526086656 11100   8 12 apollon069 901    888     3048800256 5820   8 12 apollon166 901    888     2579083264 5960   8 12 apollon144 901    875     4030865408 9250   8 12 apollon137 901    887     2614317056 6730   8 12 apollon133 901    869     3355463680 9920   8 12 apollon124
reducercommutativity/max20_true-unreach-call.i 901    866     5316751360 11700   8 12 apollon138 901    871     4078571520 11200   8 12 apollon168 901    865     5300908032 13300   8 12 apollon044 901    872     4088127488 12200   8 12 apollon065 901    890     1101320192 6400   8 12 apollon106 901    890     1130283008 7550   8 12 apollon088 901    871     4105310208 11100   8 12 apollon135 901    888     1045487616 5650   8 12 apollon152 901    870     4088389632 11300   8 12 apollon018
reducercommutativity/max40_true-unreach-call.i 901    860     6886678528 12200   6 12 apollon033 901    864     4498370560 9860   8 12 apollon041 901    860     6788890624 10200   6 12 apollon143 901    861     4546252800 10500   8 12 apollon034 901    877     3252998144 6130   8 12 apollon078 901    872     4943642624 8530   7 12 apollon007 901    861     4510736384 11400   8 12 apollon126 901    869     4934221824 8140   7 12 apollon133 901    859     4544704512 10500   8 12 apollon118
reducercommutativity/max60_true-unreach-call.i 901    868     3147534336 7720   5 12 apollon165 901    852     4596588544 13600   8 12 apollon039 902    868     3930562560 7830   5 12 apollon110 901    853     4623134720 10400   8 12 apollon107 902    882     1791660032 4670   5 12 apollon158 901    883     1839427584 7480   5 12 apollon130 901    849     4729069568 10200   8 12 apollon120 901    884     1781153792 5280   5 12 apollon104 901    849     4711194624 9950   8 12 apollon117
reducercommutativity/max_true-unreach-call_true-termination.i 901    634     8177553408 9140   8 12 apollon035 901    636     6742593536 9370   8 12 apollon050 901    654     6230925312 11100   8 12 apollon094 901    639     6719979520 9560   8 12 apollon105 901    861     2449600512 11700   8 12 apollon118 901    854     1877065728 12000   8 12 apollon101 901    625     6615588864 9330   8 12 apollon072 901    892     1734688768 10600   8 12 apollon108 901    662     6591885312 11200   8 12 apollon069
reducercommutativity/sep05_true-unreach-call_true-termination.i 901    648     6690656256 8450   10 12 apollon005 903    576     10703314944 9520   10 12 apollon146 918    646     8808452096 7270   10 12 apollon013 901    637     7215001600 9440   10 12 apollon012 901    668     7268663296 7830   10 12 apollon081 901    695     5821730816 9940   10 12 apollon039 901    646     7278043136 9470   10 12 apollon023 901    704     5747466240 8510   10 12 apollon006 901    656     6646939648 10200   10 12 apollon076
reducercommutativity/sep10_true-unreach-call.i 901    781     5622988800 9200   9 12 apollon076 902    656     5853499392 9560   9 12 apollon087 901    786     5709725696 11300   9 12 apollon044 903    656     6030893056 8860   apollon134 902    779     5607862272 7770   9 12 apollon058 903    770     5835640832 7100   8 12 apollon100 901    672     6300897280 8760   8 12 apollon043 911    709     6045286400 7570   9 12 apollon067 901    713     5482741760 10900   9 12 apollon048
reducercommutativity/sep20_true-unreach-call.i 901    860     5694705664 12900   6 12 apollon014 902    714     5273972736 10700   6 12 apollon006 901    851     5552906240 11200   6 12 apollon129 901    661     5889884160 9050   6 12 apollon137 264    242     14999998464 3360   apollon114 366    342     14999998464 4350   apollon141 901    726     5569843200 10400   8 12 apollon015 653    614     14999998464 8730   apollon167 901    853     4175826944 11200   8 12 apollon072
reducercommutativity/sep40_true-unreach-call.i 901    866     5573455872 11500   6 12 apollon101 901    849     4257824768 9590   5 12 apollon123 901    861     6048321536 10800   6 12 apollon062 901    838     4300615680 10700   5 12 apollon026 870    851     14999998464 9170   apollon060 901    866     4609802240 10700   7 12 apollon133 901    843     4204130304 12300   5 12 apollon094 902    822     6246453248 10600   8 12 apollon050 902    754     5474291712 11000   8 12 apollon114
reducercommutativity/sep60_true-unreach-call.i 901    865     5571796992 10000   5 12 apollon116 901    846     4194070528 10100   5 12 apollon143 901    861     5542174720 11700   5 12 apollon033 901    838     4267094016 11300   5 12 apollon146 901    874     3396251648 9710   8 12 apollon056 901    866     4686499840 13700   6 12 apollon056 901    841     4272726016 8520   5 12 apollon063 901    857     5475561472 9250   6 12 apollon068 901    788     6066724864 9660   8 12 apollon090
reducercommutativity/sep_true-unreach-call_true-termination.i 901    621     8950771712 8430   8 12 apollon123 902    660     6000050176 11000   8 12 apollon007 901    659     6098472960 9710   8 12 apollon157 901    615     9145655296 9570   8 12 apollon145 901    671     5935665152 10000   8 12 apollon074 901    676     6163136512 9280   10 12 apollon117 901    657     6485729280 10100   10 12 apollon145 901    692     6058422272 11500   8 12 apollon122 901    660     6887489536 9980   8 12 apollon097
reducercommutativity/sum05_true-unreach-call_true-termination.i 901    872     2645196800 12100   6 10 apollon138 901    872     2975416320 10900   6 10 apollon109 901    871     2691031040 9880   6 10 apollon158 901    874     2468130816 12500   6 10 apollon024 901    883     3281190912 9910   6 10 apollon013 901    882     2794749952 9400   6 10 apollon149 901    875     2523815936 14400   6 10 apollon056 901    882     3848577024 9260   6 10 apollon103 901    874     2946441216 11200   6 10 apollon079
reducercommutativity/sum10_true-unreach-call_true-termination.i 901    870     4672614400 11300   6 10 apollon058 901    873     3841671168 11600   6 10 apollon049 901    868     4662792192 10500   6 10 apollon149 901    873     3775533056 10900   6 10 apollon086 901    885     3798097920 10100   6 10 apollon083 901    886     4480667648 9840   6 10 apollon109 901    873     4100952064 13000   6 10 apollon027 901    885     4336967680 9990   6 10 apollon090 901    872     3703390208 12400   6 10 apollon091
reducercommutativity/sum20_true-unreach-call.i 901    868     5800267776 11600   6 10 apollon133 901    873     4521291776 11000   6 10 apollon091 901    862     5575118848 11500   6 10 apollon032 901    874     4511141888 9610   6 10 apollon025 902    874     4075417600 8950   6 10 apollon036 902    875     4203278336 8780   6 10 apollon027 901    871     4608393216 9070   6 10 apollon040 902    870     4785160192 8510   6 10 apollon038 901    872     4492009472 9390   6 10 apollon045
reducercommutativity/sum40_true-unreach-call.i 901    853     6399324160 13200   6 10 apollon008 902    866     5414166528 10900   6 10 apollon080 901    852     6428008448 11600   6 10 apollon011 902    864     5444665344 8550   6 10 apollon035 901    856     7335178240 11600   6 10 apollon168 901    857     6290849792 12900   6 10 apollon130 902    865     5647486976 8670   6 10 apollon037 901    851     6217474048 12200   6 10 apollon065 902    861     5647454208 9290   6 10 apollon048
reducercommutativity/sum60_true-unreach-call.i 901    865     10896695296 7860   5 10 apollon022 902    862     6901211136 9080   6 10 apollon134 901    860     9193144320 8070   5 10 apollon118 902    854     6882320384 8960   6 10 apollon116 613    576     14999998464 6650   apollon008 901    862     8400740352 7190   5 10 apollon123 902    862     6935355392 9450   6 10 apollon073 901    860     8003657728 8770   5 10 apollon146 902    852     6992060416 9730   6 10 apollon129
reducercommutativity/sum_true-unreach-call_true-termination.i 901    631     8200523776 10700   6 10 apollon069 901    632     7296638976 9430   6 10 apollon075 901    625     7090585600 10300   6 10 apollon167 901    654     5933735936 9450   6 10 apollon003 901    860     3517538304 13600   6 10 apollon057 901    861     3942604800 10800   6 10 apollon154 903    566     10429980672 8380   6 10 apollon083 901    892     1795956736 10400   6 10 apollon025 901    675     6064340992 10300   6 10 apollon033
array-tiling/mlceu_false-unreach-call.i 901    699     6490345472 9900   6 10 apollon078 901    714     6060752896 9670   6 10 apollon157 901    846     4144390144 10600   8 10 apollon043 901    848     4056178688 11900   8 10 apollon087 901    715     6674006016 10300   6 10 apollon018 901    748     5651017728 9620   6 10 apollon040 901    752     5629812736 11300   6 10 apollon112 901    868     1084583936 11900   8 10 apollon124 901    866     1762889728 11300   8 10 apollon049
array-tiling/skippedu_false-unreach-call.i 4.17 1.71  269426688 41.2 apollon148 4.48 1.80  278974464 37.2 apollon128 4.27 1.74  270925824 42.0 apollon141 4.32 1.79  274034688 37.9 apollon104 4.33 1.70  277585920 41.7 apollon152 4.18 1.70  268197888 40.6 apollon101 4.18 1.70  271818752 39.5 apollon004 4.18 1.72  270209024 41.7 apollon048 4.35 1.77  276705280 43.4 apollon094
array-tiling/mbpr2_true-unreach-call.i 4.31 1.74  268800000 42.9 apollon080 4.40 1.79  274223104 39.0 apollon001 4.45 1.79  270016512 37.5 apollon137 4.41 1.82  271601664 40.3 apollon119 4.64 1.89  269991936 39.1 apollon058 4.35 1.77  271794176 42.3 apollon068 4.53 1.81  273727488 40.2 apollon131 4.43 1.79  271634432 40.3 apollon156 4.64 1.81  281436160 46.0 apollon164
array-tiling/mbpr3_true-unreach-call.i 5.02 2.11  281866240 42.1 apollon099 4.93 2.15  282574848 50.5 apollon088 4.75 2.16  279023616 44.6 apollon144 4.83 2.12  281432064 47.1 apollon113 5.07 2.16  281387008 48.1 apollon105 4.92 2.15  277475328 46.1 apollon067 4.92 2.16  276140032 44.8 apollon026 4.93 2.10  288133120 48.1 apollon136 4.97 2.18  286769152 44.6 apollon073
array-tiling/mbpr4_true-unreach-call.i 4.72 1.88  276635648 45.7 apollon140 4.68 1.78  278216704 43.9 apollon136 4.56 1.82  271147008 46.3 apollon080 4.79 1.88  278274048 47.3 apollon141 4.74 1.81  281145344 41.2 apollon035 4.72 1.91  266002432 42.2 apollon009 4.55 1.86  276783104 39.8 apollon139 4.88 1.86  276189184 40.3 apollon066 4.69 1.87  272711680 48.5 apollon014
array-tiling/mbpr5_true-unreach-call.i 5.04 2.23  283066368 40.6 apollon092 4.94 2.20  282464256 46.9 apollon038 5.15 2.27  286355456 46.8 apollon129 5.01 2.24  277557248 45.0 apollon045 4.74 2.14  280743936 44.1 apollon082 4.84 2.13  281804800 50.5 apollon016 4.97 2.23  282480640 49.0 apollon022 5.10 2.17  289468416 53.9 apollon163 5.05 2.20  280260608 41.8 apollon043
array-tiling/nr2_true-unreach-call.i 4.28 1.76  267620352 39.4 apollon012 4.32 1.80  268226560 38.8 apollon034 4.47 1.77  274161664 42.6 apollon167 4.38 1.85  268046336 41.3 apollon142 4.34 1.77  274087936 40.8 apollon162 4.40 1.78  269279232 32.8 apollon063 4.44 1.75  272482304 42.9 apollon048 4.24 1.77  265752576 44.0 apollon125 4.35 1.80  277454848 40.6 apollon076
array-tiling/nr3_true-unreach-call.i 4.82 2.07  284315648 44.9 apollon156 4.68 2.12  287113216 45.5 apollon113 4.84 2.10  282193920 41.0 apollon123 4.51 2.05  276058112 40.1 apollon137 4.57 2.11  273629184 46.3 apollon019 4.76 2.11  282152960 40.3 apollon089 4.84 2.14  284753920 45.4 apollon153 4.79 2.13  279379968 45.5 apollon112 4.78 2.08  292147200 41.1 apollon040
array-tiling/nr4_true-unreach-call.i 4.28 1.76  273149952 42.5 apollon059 4.28 1.78  273797120 37.5 apollon109 4.39 1.74  275705856 42.8 apollon022 4.34 1.77  263544832 40.0 apollon046 4.24 1.76  269807616 39.5 apollon055 4.29 1.73  270274560 40.3 apollon024 4.31 1.74  271339520 35.5 apollon040 4.21 1.74  267304960 37.9 apollon144 4.40 1.76  275472384 38.9 apollon053
array-tiling/nr5_true-unreach-call.i 4.52 2.07  282542080 43.6 apollon166 4.57 2.06  279625728 45.5 apollon009 4.89 2.15  286744576 41.1 apollon041 4.69 2.08  281571328 47.8 apollon068 4.83 2.13  284299264 43.0 apollon133 4.87 2.15  285413376 47.4 apollon162 4.61 2.07  285007872 45.9 apollon076 4.84 2.16  284565504 46.3 apollon153 4.63 2.08  276369408 46.0 apollon091
array-tiling/pnr2_true-unreach-call.i 4.21 1.72  268017664 42.4 apollon027 4.38 1.82  266825728 38.6 apollon026 4.48 1.83  266797056 39.1 apollon133 4.37 1.80  269983744 43.8 apollon014 4.33 1.76  267161600 43.0 apollon126 4.20 1.77  269254656 37.2 apollon116 4.28 1.79  269332480 40.9 apollon132 4.41 1.79  267423744 42.1 apollon101 4.35 1.77  268275712 40.1 apollon102
array-tiling/pnr3_true-unreach-call.i 4.58 2.05  277790720 42.6 apollon072 4.75 2.08  286523392 52.8 apollon039 4.76 2.18  279752704 40.1 apollon123 4.96 2.14  284692480 50.5 apollon163 4.58 2.04  279056384 41.0 apollon002 4.59 2.06  280137728 51.3 apollon039 4.75 2.08  284442624 41.3 apollon099 4.79 2.17  282980352 46.7 apollon019 4.75 2.16  285339648 44.5 apollon061
array-tiling/pnr4_true-unreach-call.i 4.40 1.77  267878400 39.5 apollon085 4.30 1.75  269729792 35.9 apollon117 4.45 1.77  277499904 39.0 apollon129 4.28 1.76  273666048 42.1 apollon146 4.38 1.78  270553088 40.8 apollon024 4.25 1.77  268550144 36.2 apollon089 4.40 1.80  272248832 38.7 apollon050 4.48 1.83  270864384 44.2 apollon007 4.30 1.77  273334272 39.8 apollon071
array-tiling/pnr5_true-unreach-call.i 4.75 2.12  281579520 42.5 apollon040 4.65 2.11  282918912 49.8 apollon033 4.66 2.09  275714048 45.0 apollon046 4.84 2.13  280174592 44.1 apollon035 4.73 2.08  280285184 49.6 apollon014 4.87 2.11  285769728 44.8 apollon045 4.77 2.11  277233664 44.9 apollon049 4.86 2.09  284942336 47.7 apollon015 4.81 2.16  277803008 48.5 apollon141
array-tiling/poly1_true-unreach-call.i 901    714     6077202432 8300   5 8 apollon076 901    718     5344665600 8620   5 8 apollon049 901    851     2837102592 10600   7 8 apollon100 901    847     3830149120 11200   7 8 apollon090 906    673     6814965760 7820   5 8 apollon145 901    752     5327147008 7930   5 8 apollon104 901    751     5237002240 9080   5 8 apollon159 901    872     1712021504 11200   7 8 apollon049 901    868     1812307968 13400   7 8 apollon044
array-tiling/poly2_true-unreach-call.i 901    690     5952000000 10000   7 10 apollon021 901    697     6012522496 9880   7 10 apollon080 901    624     6985641984 7980   9 10 apollon126 901    607     8159019008 8060   9 10 apollon164 902    674     7689269248 8490   7 10 apollon007 901    788     4951367680 8590   7 10 apollon149 901    704     6477123584 10400   7 10 apollon111 901    670     6020718592 8380   8 10 apollon004 901    651     6597337088 7140   9 10 apollon151
array-tiling/pr2_true-unreach-call.i 4.33 1.79  267173888 36.6 apollon060 4.56 1.77  278421504 43.3 apollon015 4.63 1.84  265400320 43.3 apollon168 4.39 1.76  266153984 44.8 apollon016 4.31 1.79  264900608 38.9 apollon058 4.46 1.73  274599936 43.1 apollon094 4.25 1.73  271044608 38.0 apollon110 4.30 1.77  268046336 44.7 apollon056 4.59 1.86  274268160 39.5 apollon137
array-tiling/pr3_true-unreach-call.i 4.58 2.06  276598784 48.9 apollon030 4.85 2.20  284123136 48.8 apollon068 4.67 2.08  279842816 44.3 apollon038 4.75 2.13  276156416 46.2 apollon012 4.61 2.08  277553152 48.7 apollon108 4.70 2.08  281169920 46.1 apollon146 4.80 2.15  285327360 45.1 apollon061 4.89 2.16  283709440 49.7 apollon088 4.78 2.12  286371840 49.1 apollon148
array-tiling/pr4_true-unreach-call.i 4.42 1.78  273661952 42.2 apollon005 4.37 1.85  267390976 40.7 apollon165 4.56 1.91  274300928 40.1 apollon127 4.49 1.84  269983744 41.1 apollon078 4.55 1.88  263319552 39.9 apollon026 4.28 1.79  272023552 38.7 apollon025 4.44 1.85  276058112 38.5 apollon149 4.67 1.85  277880832 38.5 apollon083 4.54 1.83  266502144 35.8 apollon158
array-tiling/pr5_true-unreach-call.i 4.73 2.13  285052928 47.7 apollon020 4.94 2.17  283308032 42.5 apollon123 5.03 2.19  287162368 47.8 apollon162 4.83 2.17  281251840 45.4 apollon147 4.81 2.17  284827648 43.4 apollon035 4.90 2.12  283586560 49.0 apollon140 4.96 2.12  290533376 49.8 apollon047 5.09 2.21  285388800 51.5 apollon027 4.95 2.22  280563712 42.1 apollon143
array-tiling/revcpyswp2_true-unreach-call.i 901    714     6157365248 11700   9 12 apollon044 901    714     5511983104 11300   9 12 apollon088 901    767     5069369344 9880   9 12 apollon115 901    758     5513547776 10400   9 12 apollon110 901    706     5738016768 10800   9 12 apollon007 902    712     6265036800 10700   9 12 apollon005 901    725     5382832128 9340   9 12 apollon150 901    758     4805906432 11500   9 12 apollon112 901    761     6383071232 10600   9 12 apollon156
array-tiling/rew_true-unreach-call.i 901    687     6687236096 9940   7 10 apollon082 901    663     8629850112 10500   7 10 apollon065 901    646     7173394432 10500   7 10 apollon019 901    841     2880184320 14200   9 10 apollon039 901    678     6292439040 12100   7 10 apollon039 901    706     5707976704 9640   7 10 apollon066 901    708     6170951680 8940   7 10 apollon151 901    643     6841614336 9780   7 10 apollon085 901    650     7146270720 9500   7 10 apollon135
array-tiling/rewnif_true-unreach-call.i 902    708     5497102336 10200   7 10 apollon093 901    685     7855439872 12000   7 10 apollon111 901    673     6024437760 9430   7 10 apollon166 901    846     3528949760 11600   9 10 apollon001 901    722     5909557248 10400   7 10 apollon118 901    709     6504472576 9590   7 10 apollon023 901    732     6373199872 12500   7 10 apollon057 901    624     10129297408 8070   7 10 apollon158 901    599     9699856384 8170   7 10 apollon139
array-tiling/rewnifrev2_true-unreach-call.i 901    736     6018822144 9180   5 8 apollon092 901    747     5429534720 9580   5 8 apollon089 901    781     5611110400 10700   5 8 apollon121 901    779     5266825216 11600   5 8 apollon010 901    776     5316997120 12000   5 8 apollon028 901    755     6056763392 11000   5 8 apollon084 901    749     6015053824 11300   5 8 apollon159 901    779     5677469696 10300   5 8 apollon025 901    773     5270876160 11400   5 8 apollon112
array-tiling/rewnifrev_true-unreach-call.i 901    733     6966861824 10600   7 10 apollon124 902    753     5570379776 12900   7 10 apollon111 901    743     5826162688 9940   7 10 apollon023 901    732     6479622144 11400   7 10 apollon077 902    753     5375741952 10400   7 10 apollon119 901    726     6199988224 10700   7 10 apollon071 901    745     5828698112 10200   7 10 apollon107 901    745     5374922752 10500   7 10 apollon022 901    728     6860058624 9500   7 10 apollon040
array-tiling/rewrev_true-unreach-call.i 901    715     5565894656 9920   7 10 apollon131 901    670     6928629760 9590   7 10 apollon012 901    699     6724362240 12300   7 10 apollon160 901    713     6166986752 10700   7 10 apollon017 901    691     6278582272 11400   7 10 apollon014 902    706     7001358336 11200   7 10 apollon077 901    691     7014809600 11200   7 10 apollon027 901    717     5435588608 10000   7 10 apollon026 901    707     5465874432 10000   7 10 apollon074
array-tiling/skipped_true-unreach-call.i 4.39 1.75  276492288 37.9 apollon003 4.20 1.71  270802944 38.8 apollon012 4.35 1.80  270856192 39.4 apollon162 4.52 1.83  275828736 41.1 apollon093 4.20 1.78  265687040 35.1 apollon099 4.19 1.73  264675328 39.7 apollon067 4.12 1.70  270929920 37.4 apollon079 4.47 1.82  274882560 41.3 apollon091 4.24 1.73  267100160 36.8 apollon107
array-tiling/tcpy_true-unreach-call.i 4.28 1.74  269647872 34.8 apollon092 4.23 1.71  268693504 42.8 apollon080 4.32 1.73  275898368 41.1 apollon010 4.39 1.84  273088512 46.1 apollon159 4.42 1.78  269438976 39.6 apollon131 4.32 1.72  274395136 39.8 apollon096 4.38 1.82  273219584 40.7 apollon153 4.38 1.75  275197952 39.8 apollon061 4.43 1.73  269717504 43.4 apollon044
array-programs/copysome1_false-unreach-call.i 901    872     11159924736 10500   1 12 apollon154 901    866     4227768320 10900   1 12 apollon018 901    871     11164246016 9390   1 12 apollon040 901    859     4134739968 11600   1 12 apollon068 901    874     6469951488 10500   1 12 apollon066 901    875     3248373760 9630   1 12 apollon128 901    863     4178579456 11200   1 12 apollon006 901    878     4117241856 9820   1 12 apollon037 901    853     4171112448 9860   1 12 apollon101
array-programs/copysome2_false-unreach-call.i 901    874     12406919168 10300   1 14 apollon119 901    863     4215595008 9770   1 14 apollon098 901    869     12447051776 11200   1 14 apollon106 901    854     4130762752 12900   1 14 apollon160 901    876     7629619200 11600   1 14 apollon108 901    881     3585687552 10200   1 14 apollon129 901    857     4344799232 9110   1 14 apollon152 901    882     5208190976 11700   1 14 apollon094 901    853     4214722560 10200   1 14 apollon050
array-programs/copysome1_true-unreach-call.i 901    873     11162882048 13000   1 12 apollon161 901    859     4351328256 11900   1 12 apollon027 901    868     11130167296 9960   1 12 apollon093 901    857     4168134656 10600   1 12 apollon095 901    876     6300381184 11700   1 12 apollon159 901    877     3354476544 9220   1 12 apollon131 901    858     4319461376 9560   1 12 apollon126 901    878     4032303104 9650   1 12 apollon041 901    856     4150853632 9840   1 12 apollon150
array-programs/copysome2_true-unreach-call.i 901    874     12329836544 10500   1 14 apollon034 901    860     4243124224 9960   1 14 apollon003 901    868     12241424384 11900   1 14 apollon077 901    854     4172165120 10800   1 14 apollon107 901    880     7857254400 9630   1 14 apollon157 901    881     3715645440 9940   1 14 apollon073 901    855     4381327360 8970   1 14 apollon151 901    879     4589408256 11600   1 14 apollon125 901    847     4204728320 10400   1 14 apollon126
bitvector/byte_add_false-unreach-call_true-no-overflow_true-termination.i 20.4  5.52  726913024 183   59 60 apollon007 20.7  5.66  734244864 181   59 60 apollon118 21.4  5.68  743792640 165   59 60 apollon029 21.3  5.75  837316608 175   59 60 apollon095 20.4  5.54  729968640 187   59 60 apollon155 20.4  5.60  719925248 186   59 60 apollon020 20.5  5.62  724074496 170   59 60 apollon109 64.3  43.0   2225614848 730   59 60 apollon167 63.6  38.1   1692221440 566   59 60 apollon092
bitvector/sum02_false-unreach-call_true-no-overflow.i 901    649     7830859776 8730   4 8 apollon115 901    589     10613424128 8150   4 8 apollon083 901    635     7573819392 10100   4 8 apollon064 901    631     9092042752 9060   4 8 apollon135 901    614     10766721024 8680   4 8 apollon101 901    631     7415926784 8750   4 8 apollon128 901    653     6583627776 10000   4 8 apollon163 901    861     5341986816 11100   4 8 apollon022 901    859     4692971520 12200   4 8 apollon112
bitvector/byte_add_1_true-unreach-call_true-no-overflow_true-termination.i 901    853     4929880064 10300   43 60 apollon041 59.6  34.3   2606817280 590   44 60 apollon144 901    852     4285173760 11600   43 60 apollon046 60.6  34.5   2476339200 656   44 60 apollon140 170    140     3457925120 2090   44 60 apollon046 159    128     3490713600 1810   44 60 apollon129 60.3  34.0   2567901184 671   44 60 apollon088 160    131     3218493440 1700   44 60 apollon139 60.7  33.6   2324307968 709   44 60 apollon021
bitvector/byte_add_2_true-unreach-call_true-no-overflow_true-termination.i 901    852     6092365824 10300   44 60 apollon134 60.5  34.3   2655293440 620   45 60 apollon153 901    851     4197416960 12100   44 60 apollon019 61.0  38.2   2794303488 586   45 60 apollon143 165    135     3764969472 2200   45 60 apollon106 158    129     3512799232 1720   45 60 apollon041 61.3  38.1   2941206528 592   45 60 apollon143 158    128     3560042496 1860   45 60 apollon102 61.6  38.4   2420785152 724   45 60 apollon069
bitvector/gcd_1_true-unreach-call_true-no-overflow.i 56.5  50.2   1651793920 817   10 12 apollon033 56.4  49.6   1571414016 683   10 12 apollon166 56.6  48.9   1600700416 651   10 12 apollon128 56.6  48.8   1522130944 760   10 12 apollon136 56.4  50.0   1627639808 699   10 12 apollon129 56.3  50.0   1692975104 762   10 12 apollon141 56.0  50.1   1565462528 680   10 12 apollon115 56.1  49.1   1260519424 757   10 12 apollon048 56.4  48.7   1565835264 804   10 12 apollon088
bitvector/gcd_2_true-unreach-call_true-no-overflow.i 55.4  48.5   1681629184 674   9 10 apollon079 55.7  48.7   1622900736 790   9 10 apollon033 54.9  47.8   1495187456 651   9 10 apollon013 55.6  48.0   1520812032 701   9 10 apollon018 55.0  48.9   1684738048 782   9 10 apollon140 55.4  48.8   1671241728 700   9 10 apollon074 55.4  48.6   1397645312 687   9 10 apollon110 54.9  48.1   1568628736 745   9 10 apollon006 55.8  47.9   1512181760 787   9 10 apollon014
bitvector/gcd_3_true-unreach-call_true-no-overflow.i 901    880     1760305152 11600   9 10 apollon118 901    877     1656463360 10700   9 10 apollon117 901    877     1651097600 12600   9 10 apollon033 901    877     1528467456 13100   9 10 apollon140 303    291     1712820224 3670   9 10 apollon109 308    296     1675825152 4290   9 10 apollon033 901    879     1340080128 12000   9 10 apollon152 303    290     1612009472 3610   9 10 apollon053 901    878     1561210880 10900   9 10 apollon109
bitvector/gcd_4_true-unreach-call_true-no-overflow_true-termination.i 5.34 2.04  298221568 51.9 8 12 apollon068 5.46 2.09  291528704 50.1 8 12 apollon102 5.34 2.01  290095104 54.7 8 12 apollon056 5.63 2.19  297451520 52.4 8 12 apollon130 5.23 2.04  295137280 54.0 8 12 apollon033 5.48 2.09  301547520 48.1 8 12 apollon042 5.48 2.13  291983360 53.2 8 12 apollon155 5.70 2.13  307142656 46.9 8 12 apollon013 5.62 2.18  296407040 56.7 8 12 apollon163
bitvector/interleave_bits_true-unreach-call_true-no-overflow.i 55.7  46.9   2627317760 857   3 4 apollon056 55.2  46.3   2608619520 802   3 4 apollon030 57.4  46.2   2408382464 718   3 4 apollon055 54.9  45.3   2494124032 691   3 4 apollon118 56.5  46.8   2562183168 608   3 4 apollon158 56.5  46.7   2810286080 659   3 4 apollon116 55.2  46.2   2482343936 628   3 4 apollon098 57.2  46.4   2348421120 777   3 4 apollon108 55.7  45.3   2553798656 685   3 4 apollon165
bitvector/jain_1_true-unreach-call_true-no-overflow_false-termination.i 52.6  46.8   1448235008 768   1 2 apollon163 52.5  46.9   1630593024 762   1 2 apollon094 52.6  46.2   1328504832 726   1 2 apollon065 52.8  45.9   1506168832 631   1 2 apollon042 53.1  47.7   1635893248 691   1 2 apollon070 52.9  47.6   1717723136 644   1 2 apollon104 53.3  47.6   1601548288 623   1 2 apollon089 52.7  45.9   1575006208 744   1 2 apollon140 52.7  46.0   1517035520 652   1 2 apollon034
bitvector/jain_2_true-unreach-call_true-no-overflow_false-termination.i 53.0  47.5   1770905600 650   1 2 apollon166 52.8  46.9   1676566528 781   1 2 apollon016 52.6  46.3   1622544384 618   1 2 apollon040 52.9  46.3   1612361728 535   1 2 apollon063 53.0  47.7   1750704128 757   1 2 apollon077 52.7  47.0   1741942784 631   1 2 apollon083 52.8  46.8   1687863296 685   1 2 apollon022 52.8  46.0   1686773760 746   1 2 apollon047 52.8  45.5   1521799168 627   1 2 apollon042
bitvector/jain_4_true-unreach-call_true-no-overflow_false-termination.i 52.7  47.1   1536536576 721   1 2 apollon091 52.9  47.0   1480617984 756   1 2 apollon028 52.8  45.9   1696829440 662   1 2 apollon105 53.1  45.7   1674727424 612   1 2 apollon002 52.8  46.9   1842507776 643   1 2 apollon035 53.4  47.6   1899343872 680   1 2 apollon153 52.8  47.1   1511841792 814   1 2 apollon056 52.8  45.9   1667846144 682   1 2 apollon142 52.8  45.5   1667461120 646   1 2 apollon073
bitvector/jain_5_true-unreach-call_true-no-overflow.i 901    868     5448953856 8590   1 2 apollon139 901    861     6931357696 9770   1 2 apollon147 901    866     5432561664 9490   1 2 apollon015 901    840     6756188160 9890   1 2 apollon008 901    867     6237827072 9780   1 2 apollon055 901    874     2121400320 8620   1 2 apollon060 901    851     5184876544 8250   1 2 apollon032 901    874     4153782272 9830   1 2 apollon093 902    846     6647332864 9460   1 2 apollon138
bitvector/jain_6_true-unreach-call_true-no-overflow_false-termination.i 53.0  48.0   1870774272 688   1 2 apollon162 53.3  47.6   1891938304 668   1 2 apollon150 52.7  45.9   1728778240 676   1 2 apollon102 53.0  45.6   1715875840 684   1 2 apollon022 52.7  47.0   1891987456 631   1 2 apollon013 52.8  47.2   1563553792 673   1 2 apollon121 52.7  46.9   1820528640 663   1 2 apollon034 52.6  46.0   1673273344 813   1 2 apollon057 52.9  45.6   1662414848 662   1 2 apollon097
bitvector/jain_7_true-unreach-call_true-no-overflow_false-termination.i 54.8  48.4   1915072512 641   1 2 apollon128 54.9  49.2   1739386880 713   1 2 apollon070 54.4  47.3   1671053312 610   1 2 apollon151 54.6  47.1   1697652736 741   1 2 apollon005 55.3  49.1   1917214720 661   1 2 apollon134 55.3  49.0   1572007936 689   1 2 apollon107 54.3  48.2   1762496512 750   1 2 apollon164 55.1  47.1   1514659840 679   1 2 apollon050 54.9  47.0   1654083584 788   1 2 apollon106
bitvector/modulus_true-unreach-call_true-no-overflow.i 901    867     2047275008 11600   11 12 apollon037 901    870     2007633920 11600   11 12 apollon105 901    817     4567203840 10600   11 12 apollon050 901    868     1880162304 11000   11 12 apollon096 901    885     783331328 12500   11 12 apollon005 901    884     773214208 13900   11 12 apollon021 901    870     1670832128 13400   11 12 apollon088 901    888     649203712 11600   11 12 apollon038 901    871     1859854336 11600   11 12 apollon074
bitvector/num_conversion_1_true-unreach-call_true-no-overflow.i 5.36 2.06  286101504 44.3 5 6 apollon099 5.60 2.09  287784960 56.9 5 6 apollon021 5.42 2.00  289587200 46.7 5 6 apollon115 5.68 2.08  289927168 48.4 5 6 apollon107 5.16 1.97  280088576 47.6 5 6 apollon024 5.33 2.01  283492352 50.3 5 6 apollon065 5.23 1.98  286826496 49.1 5 6 apollon146 5.66 2.15  299474944 50.4 5 6 apollon147 5.57 2.13  300261376 55.7 5 6 apollon125
bitvector/num_conversion_2_true-unreach-call_true-no-overflow.i 63.8  23.7   1974276096 483   5 6 apollon041 901    636     8424202240 11700   5 6 apollon057 65.4  23.3   2431979520 595   5 6 apollon094 901    568     8404623360 10300   5 6 apollon030 63.5  25.4   2664357888 568   5 6 apollon067 64.9  22.6   2221191168 509   5 6 apollon022 901    638     7270600704 9500   5 6 apollon144 63.2  53.5   2251165696 723   5 6 apollon035 63.6  53.1   2313854976 648   5 6 apollon158
bitvector/parity_true-unreach-call_true-no-overflow.i 902    694     5929435136 11400   7 8 apollon094 902    701     5832081408 10300   7 8 apollon153 901    767     6144966656 10700   7 8 apollon034 682    551     5314191360 7480   7 8 apollon002 282    192     4422397952 3270   7 8 apollon010 297    208     4419702784 3370   7 8 apollon093 261    174     4345868288 2830   7 8 apollon162 298    218     4809994240 3390   7 8 apollon118 201    120     4523876352 1760   7 8 apollon054
bitvector/sum02_true-unreach-call_true-no-overflow.i 3.37 1.48  261459968 29.4 apollon116 3.72 1.56  265977856 34.1 apollon133 3.84 1.58  272752640 36.4 apollon020 3.49 1.50  263049216 34.8 apollon019 3.75 1.51  272023552 32.5 apollon018 3.44 1.51  264953856 30.9 apollon109 3.90 1.60  272605184 35.5 apollon105 3.71 1.60  267202560 32.2 apollon115 3.73 1.57  267710464 32.3 apollon001
bitvector/s3_clnt_1_false-unreach-call_true-no-overflow.BV.c.cil.c 107    65.4   2086461440 1150   171 172 apollon142 68.4  25.7   2509844480 614   171 172 apollon119 117    72.5   2291728384 1240   171 172 apollon146 116    65.3   2086424576 1350   171 172 apollon021 116    73.1   2018816000 1280   171 172 apollon136 114    67.5   2577453056 1180   171 172 apollon071 73.2  29.3   2513797120 662   171 172 apollon166 160    106     3330461696 1560   171 172 apollon127 77.4  29.9   2123354112 653   171 172 apollon023
bitvector/s3_clnt_2_false-unreach-call_true-no-overflow.BV.c.cil.c 88.0  44.0   1984708608 848   169 170 apollon135 85.8  39.6   2174779392 795   169 170 apollon026 63.6  24.2   2306719744 595   169 170 apollon046 81.0  36.6   2581602304 739   169 170 apollon025 86.6  42.8   2057469952 940   169 170 apollon106 73.0  25.9   2410147840 682   169 170 apollon125 901    587     8947806208 10700   168 170 apollon030 65.8  24.7   1944133632 593   169 170 apollon102 77.0  32.3   1955414016 703   169 170 apollon074
bitvector/s3_clnt_3_false-unreach-call_true-no-overflow.BV.c.cil.c 171    90.2   4719783936 1530   124 172 apollon128 658    391     7993790464 5940   124 172 apollon066 63.9  25.6   2566201344 551   124 172 apollon116 443    269     6619140096 4380   124 172 apollon096 901    614     10054418432 8760   124 172 apollon143 198    110     3807916032 1910   124 172 apollon103 170    89.5   4972843008 1470   124 172 apollon143 63.9  22.6   2404012032 573   124 172 apollon022 94.1  48.5   2573258752 913   124 172 apollon166
bitvector/s3_clnt_1_true-unreach-call_true-no-overflow.BV.c.cil.c 114    70.7   2710196224 1290   147 172 apollon019 120    66.4   2455498752 1270   147 172 apollon159 134    73.5   3500285952 1450   147 172 apollon164 120    69.7   2861367296 1340   147 172 apollon028 125    75.3   2475986944 1390   147 172 apollon019 128    78.1   2959626240 1360   147 172 apollon052 115    69.0   3256983552 1370   147 172 apollon016 116    70.1   2991239168 1250   147 172 apollon101 117    64.1   2563530752 1290   147 172 apollon069
bitvector/s3_clnt_2_true-unreach-call_true-no-overflow.BV.c.cil.c 125    69.9   3026505728 1110   143 170 apollon029 111    66.8   2886868992 1150   143 170 apollon165 115    70.9   2906316800 1240   143 170 apollon018 130    68.4   3354263552 1300   143 170 apollon019 116    70.2   2256781312 1170   143 170 apollon104 121    69.5   3057074176 1240   143 170 apollon018 113    66.0   3066552320 1250   143 170 apollon167 123    74.7   2487263232 1270   143 170 apollon090 109    62.8   2387472384 1110   143 170 apollon121
bitvector/s3_clnt_3_true-unreach-call_true-no-overflow.BV.c.cil.c 263    159     6097068032 2970   145 172 apollon108 901    610     8383557632 7950   145 172 apollon054 266    175     4630659072 2790   145 172 apollon086 926    482     11985018880 9040   145 172 apollon148 902    659     7439257600 10100   139 172 apollon121 406    255     6303256576 3970   145 172 apollon003 922    561     9797967872 9780   143 172 apollon006 299    192     5433098240 3170   145 172 apollon165 903    578     7121932288 10300   143 172 apollon047
bitvector/s3_srvr_1_alt_true-unreach-call_true-no-overflow.BV.c.cil.c 901    772     5816778752 10400   191 194 apollon012 902    691     5524967424 10100   191 194 apollon101 901    816     4842553344 11000   191 194 apollon018 902    713     5618253824 9390   191 194 apollon083 901    816     4755095552 10300   190 194 apollon126 901    825     4599025664 10500   190 194 apollon018 901    660     8608382976 11800   191 194 apollon111 901    805     5204422656 13400   190 194 apollon039 902    637     7686774784 8440   191 194 apollon054
bitvector/s3_srvr_1_true-unreach-call_true-no-overflow.BV.c.cil.c 191    115     4615168000 2070   150 192 apollon009 424    270     5750820864 4610   150 192 apollon163 191    114     4103401472 2210   150 192 apollon148 469    295     7046860800 5090   150 192 apollon077 901    583     10946437120 10400   125 192 apollon027 213    124     5223198720 2380   150 192 apollon069 217    137     4706832384 2130   150 192 apollon099 202    128     4218953728 2120   150 192 apollon150 243    121     5405470720 2010   150 192 apollon083
bitvector/s3_srvr_2_alt_true-unreach-call_true-no-overflow_false-termination.BV.c.cil.c 901    619     8189911040 9510   175 192 apollon157 901    647     6747226112 9410   173 192 apollon104 901    840     4164472832 11300   175 192 apollon138 902    642     6781943808 10500   173 192 apollon136 363    236     5894930432 3920   175 192 apollon067 278    175     4591616000 2750   175 192 apollon134 901    656     6900535296 11800   173 192 apollon161 277    219     4271767552 2980   175 192 apollon083 901    638     9489293312 10000   173 192 apollon168
bitvector/s3_srvr_2_true-unreach-call_true-no-overflow_false-termination.BV.c.cil.c 901    637     7443349504 8940   175 192 apollon043 904    582     11131351040 9860   173 192 apollon124 901    830     4282617856 12200   175 192 apollon006 902    637     6635823104 9460   173 192 apollon090 396    267     4830298112 4930   175 192 apollon008 390    243     6493184000 3880   175 192 apollon166 901    642     6104363008 9330   173 192 apollon013 362    301     4392370176 3980   175 192 apollon055 901    658     6823407616 11200   173 192 apollon047
bitvector/s3_srvr_3_alt_true-unreach-call_true-no-overflow.BV.c.cil.c 901    641     7370694656 9700   124 192 apollon145 427    296     5679501312 4300   149 192 apollon103 901    599     9030795264 9270   128 192 apollon118 654    460     8105394176 6820   149 192 apollon124 901    642     7232741376 10800   124 192 apollon155 416    292     5914865664 4880   149 192 apollon164 213    132     4864757760 2240   149 192 apollon168 548    376     6010294272 5760   149 192 apollon121 255    150     6187925504 2390   149