Tool CPAchecker 1.7-svn 29347M
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8
Host Unknown
OS Unknown
System Unknown
Date of execution 2018-10-03 01:18:00 2018-10-04 20:21:00 2018-10-06 13:29:00 2018-10-08 09:03:00 2018-10-10 06:30:00 2018-10-18 18:45:00
Run set test-generation_10_10.V+P-Test-cmc-bi_10_10 test-generation_50_50.V+P-Test-cmc-bi_50_50 test-generation_100_100.V+P-Test-cmc-bi_100_100 test-generation_250_250.V+P-Test-cmc-bi_250_250 test-generation_80_20.V+P-Test-cmc-bi_80_20 test-generation_20_80.V+P-Test-cmc-bi_20_80
Options -heap 10000M -benchmark -setprop log.consoleLevel=SEVERE -spec config/specification/sv-comp-terminatingfunctions.spc -testCaseGeneration-interleaved-value+predicate-cmc-bidirectional -setprop interleavedAlgorithm.configFiles=config/components/testCaseGeneration-value-generate-and-use-cmc-condition.properties,config/components/testCaseGeneration-predicate-generate-and-use-cmc-condition.properties -setprop interleavedAlgorithm.intermediateStatistics=EXECUTE -heap 10000M -benchmark -setprop log.consoleLevel=SEVERE -spec config/specification/sv-comp-terminatingfunctions.spc -testCaseGeneration-interleaved-value+predicate-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-cmc-bidirectional -setprop interleavedAlgorithm.configFiles=config/components/testCaseGeneration-value-generate-and-use-cmc-condition.properties::noreuse_100,config/components/testCaseGeneration-predicate-generate-and-use-cmc-condition.properties::noreuse_100 -setprop interleavedAlgorithm.intermediateStatistics=EXECUTE -heap 10000M -benchmark -setprop log.consoleLevel=SEVERE -spec config/specification/sv-comp-terminatingfunctions.spc -testCaseGeneration-interleaved-value+predicate-cmc-bidirectional -setprop interleavedAlgorithm.configFiles=config/components/testCaseGeneration-value-generate-and-use-cmc-condition.properties::noreuse_250,config/components/testCaseGeneration-predicate-generate-and-use-cmc-condition.properties::noreuse_250 -setprop interleavedAlgorithm.intermediateStatistics=EXECUTE -heap 10000M -benchmark -setprop log.consoleLevel=SEVERE -spec config/specification/sv-comp-terminatingfunctions.spc -testCaseGeneration-interleaved-value+predicate-cmc-bidirectional -setprop interleavedAlgorithm.configFiles=config/components/testCaseGeneration-value-generate-and-use-cmc-condition.properties::noreuse_80,config/components/testCaseGeneration-predicate-generate-and-use-cmc-condition.properties::noreuse_20 -setprop interleavedAlgorithm.intermediateStatistics=EXECUTE -heap 10000M -benchmark -setprop log.consoleLevel=SEVERE -spec config/specification/sv-comp-terminatingfunctions.spc -testCaseGeneration-interleaved-value+predicate-cmc-bidirectional -setprop interleavedAlgorithm.configFiles=config/components/testCaseGeneration-value-generate-and-use-cmc-condition.properties::noreuse_20,config/components/testCaseGeneration-predicate-generate-and-use-cmc-condition.properties::noreuse_80 -setprop interleavedAlgorithm.intermediateStatistics=EXECUTE
../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
array-examples/data_structures_set_multi_proc_false-unreach-call_ground.i 901    815     10626650112 10300   7 18 apollon055 902    750     12968853504 9910   7 18 apollon070 903    717     11703242752 8580   7 18 apollon128 834    625     14999998464 9830   apollon039 905    746     7413714944 8120   7 18 apollon037 397    345     14999998464 4490   apollon032
array-examples/sorting_bubblesort_false-unreach-call2_ground.i 901    858     8488095744 9370   4 12 apollon097 901    854     8718065664 10200   4 12 apollon020 901    847     8566300672 8590   4 12 apollon152 902    857     8673099776 10100   4 12 apollon129 901    840     4356640768 11600   4 12 apollon106 902    866     8307355648 8110   4 12 apollon063
array-examples/sorting_bubblesort_false-unreach-call_ground.i 901    856     8458493952 9710   4 12 apollon078 901    852     8606687232 9910   4 12 apollon113 902    849     8885542912 10000   4 12 apollon079 902    855     8372375552 8090   4 12 apollon131 901    836     4464914432 10800   4 12 apollon147 902    865     8319856640 11400   4 12 apollon065
array-examples/sorting_selectionsort_false-unreach-call2_ground.i 901    859     4888440832 11600   4 20 apollon138 901    852     4545048576 11600   4 20 apollon124 902    858     4369051648 11500   4 20 apollon020 904    865     4337594368 10100   4 20 apollon103 901    851     4352585728 10000   4 20 apollon060 901    860     5020082176 11300   4 20 apollon074
array-examples/sorting_selectionsort_false-unreach-call_ground.i 901    854     4846514176 12700   4 20 apollon008 901    854     4518580224 12500   4 20 apollon094 901    860     4369190912 10900   4 20 apollon119 902    865     2823516160 10200   4 20 apollon102 901    853     4221083648 11400   4 20 apollon048 901    860     5070749696 12200   4 20 apollon124
array-examples/standard_allDiff2_false-unreach-call_ground.i 901    815     9436848128 11900   7 18 apollon014 901    551     7680630784 8200   7 18 apollon095 919    444     10396917760 7420   7 18 apollon020 1060    415     10835779584 6970   apollon147 901    843     4291940352 9380   7 18 apollon164 902    782     14230224896 10000   7 18 apollon085
array-examples/standard_copy1_false-unreach-call_ground.i 901    861     4046798848 13700   1 8 apollon039 901    860     4101292032 10800   1 8 apollon133 901    862     4283068416 11000   1 8 apollon046 901    872     3959787520 10600   1 8 apollon114 901    853     4272173056 8660   1 8 apollon054 901    868     8607166464 13100   1 8 apollon080
array-examples/standard_copy2_false-unreach-call_ground.i 901    860     4061876224 12300   1 10 apollon036 901    858     4111896576 10900   1 10 apollon084 901    860     4274081792 9340   1 10 apollon092 901    869     4229926912 11200   1 10 apollon071 901    850     4340391936 9870   1 10 apollon081 901    866     8866971648 12000   1 10 apollon091
array-examples/standard_copy3_false-unreach-call_ground.i 901    857     4126203904 10400   1 12 apollon154 901    859     4049629184 10200   1 12 apollon124 901    861     4310626304 9130   1 12 apollon002 901    869     4237332480 9320   1 12 apollon096 901    850     4321878016 7660   1 12 apollon158 901    866     11531100160 10900   1 12 apollon101
array-examples/standard_copy4_false-unreach-call_ground.i 901    852     4462903296 11100   1 14 apollon159 901    856     4131295232 12600   1 14 apollon148 901    859     4368191488 10200   1 14 apollon168 901    868     4276584448 10500   1 14 apollon091 901    846     4425154560 9300   1 14 apollon109 901    865     12662788096 11200   1 14 apollon138
array-examples/standard_copy5_false-unreach-call_ground.i 901    851     4380008448 10000   1 16 apollon100 901    856     4134301696 10200   1 16 apollon035 901    858     4414050304 10300   1 16 apollon163 901    870     4320362496 12000   1 16 apollon080 901    845     4519530496 9750   1 16 apollon122 901    867     10376679424 12900   1 16 apollon094
array-examples/standard_copy6_false-unreach-call_ground.i 901    852     4520755200 11500   1 18 apollon068 901    855     4203106304 11400   1 18 apollon114 901    857     4406722560 9270   1 18 apollon145 901    869     3942592512 10000   1 18 apollon163 901    845     4534407168 9720   1 18 apollon075 901    866     13484158976 10800   1 18 apollon145
array-examples/standard_copy7_false-unreach-call_ground.i 901    845     4706922496 13500   1 20 apollon039 901    852     4245086208 10100   1 20 apollon134 901    855     4475424768 12000   1 20 apollon014 901    869     4401934336 9730   1 20 apollon116 902    848     4266672128 8200   1 20 apollon055 901    867     12936720384 11400   1 20 apollon049
array-examples/standard_copy8_false-unreach-call_ground.i 901    849     4596797440 10000   1 22 apollon074 901    851     4303720448 10700   1 22 apollon062 901    855     4537253888 10500   1 22 apollon075 901    869     4403302400 9730   1 22 apollon018 901    842     4627472384 9010   1 22 apollon143 901    865     12167901184 11700   1 22 apollon011
array-examples/standard_copy9_false-unreach-call_ground.i 901    841     4808933376 10100   1 24 apollon032 901    851     4212736000 10100   1 24 apollon117 901    855     4541300736 9800   1 24 apollon015 901    867     4345614336 9220   1 24 apollon118 902    841     4611342336 9070   1 24 apollon096 901    869     9518051328 13700   1 24 apollon044
array-examples/standard_copyInitSum2_false-unreach-call_ground.i 901    871     4183916544 11900   1 10 apollon004 902    881     1996234752 14000   1 10 apollon161 901    884     1927884800 14500   1 10 apollon111 902    888     1666543616 11800   1 10 apollon097 901    879     2434539520 12100   1 10 apollon102 902    881     1914773504 10500   1 10 apollon098
array-examples/standard_init1_false-unreach-call_ground.i 901    872     2503151616 12900   1 6 apollon081 901    880     1509007360 12200   1 6 apollon146 901    882     1562341376 13300   1 6 apollon126 902    888     1377157120 12100   1 6 apollon118 901    878     1657974784 11000   1 6 apollon089 901    883     1366798336 11500   1 6 apollon001
array-examples/standard_init2_false-unreach-call_ground.i 901    869     2470494208 11900   1 8 apollon142 901    881     1562316800 11700   1 8 apollon037 901    883     1448427520 10900   1 8 apollon043 902    886     1343205376 11900   1 8 apollon055 901    879     1678467072 11600   1 8 apollon144 902    885     1567371264 11100   1 8 apollon025
array-examples/standard_init3_false-unreach-call_ground.i 901    871     2583461888 11600   1 10 apollon051 902    882     1617235968 12700   1 10 apollon010 901    883     1322594304 12000   1 10 apollon147 902    887     1456898048 12800   1 10 apollon024 901    878     1599762432 13200   1 10 apollon167 901    885     1500315648 11300   1 10 apollon073
array-examples/standard_init4_false-unreach-call_ground.i 901    869     2520879104 13600   1 12 apollon008 902    881     1607647232 11700   1 12 apollon097 901    884     1506181120 12000   1 12 apollon102 901    887     1455362048 11700   1 12 apollon105 901    879     1604534272 9510   1 12 apollon063 901    882     1523617792 11500   1 12 apollon032
array-examples/standard_init5_false-unreach-call_ground.i 901    868     2452369408 12600   1 14 apollon010 902    881     1520812032 13500   1 14 apollon094 901    885     1563369472 12600   1 14 apollon046 902    886     1432367104 11000   1 14 apollon134 901    879     1570713600 13900   1 14 apollon080 902    884     1442709504 11100   1 14 apollon086
array-examples/standard_init6_false-unreach-call_ground.i 901    870     2788179968 11900   1 16 apollon015 901    880     1385181184 12000   1 16 apollon145 901    881     1521532928 14000   1 16 apollon016 901    887     1497321472 12600   1 16 apollon046 901    881     1560260608 10900   1 16 apollon002 902    885     1466093568 10900   1 16 apollon104
array-examples/standard_init7_false-unreach-call_ground.i 901    870     2534793216 12700   1 18 apollon132 901    882     1543360512 12000   1 18 apollon118 901    884     1514291200 10900   1 18 apollon128 902    888     1261379584 13600   1 18 apollon106 901    878     1713860608 11600   1 18 apollon073 902    883     1324695552 12000   1 18 apollon004
array-examples/standard_init8_false-unreach-call_ground.i 901    868     2578165760 11300   1 20 apollon157 901    881     1382494208 12900   1 20 apollon005 901    884     1488347136 11500   1 20 apollon119 901    888     1282691072 11300   1 20 apollon023 901    876     1595162624 13700   1 20 apollon125 901    883     1483345920 11500   1 20 apollon133
array-examples/standard_init9_false-unreach-call_ground.i 901    872     2770575360 11700   1 22 apollon049 902    881     1492791296 11000   1 22 apollon109 901    884     1426935808 12800   1 22 apollon024 902    888     1413406720 12400   1 22 apollon031 901    879     1593077760 12000   1 22 apollon078 901    883     1277833216 10600   1 22 apollon002
array-examples/standard_minInArray_false-unreach-call_ground.i 901    854     8816726016 9320   3 8 apollon040 901    853     8694050816 11200   3 8 apollon024 901    854     8295366656 9220   3 8 apollon035 901    862     7591288832 9640   3 8 apollon038 901    850     4215140352 9680   3 8 apollon034 902    867     9051000832 10100   3 8 apollon107
array-examples/standard_partition_false-unreach-call_ground.i 868    825     14999998464 11700   apollon036 902    856     14187634688 8010   3 14 apollon002 902    857     12540297216 10300   3 14 apollon011 902    856     11928510464 9370   3 14 apollon050 901    848     5385863168 10300   3 14 apollon125 373    341     14999998464 5240   apollon161
array-examples/standard_running_false-unreach-call.i 901    855     4437831680 11000   3 16 apollon072 901    856     4402855936 10900   3 16 apollon062 901    851     4281761792 12900   3 16 apollon080 902    856     4240285696 11800   3 16 apollon024 901    849     4054319104 10300   3 16 apollon060 902    859     4440965120 12600   3 16 apollon130
array-examples/data_structures_set_multi_proc_trivial_true-unreach-call_ground_true-termination.i 901    851     4916727808 9590   5 22 apollon144 901    848     5838819328 10200   5 22 apollon026 901    840     7918641152 10900   5 22 apollon091 902    854     10540625920 10200   5 22 apollon068 901    834     4050317312 8210   5 22 apollon159 174    154     14999998464 2370   apollon016
array-examples/data_structures_set_multi_proc_true-unreach-call_ground.i 901    838     14256189440 10000   8 18 apollon086 811    730     14999998464 10400   apollon065 778    700     14999998464 9160   apollon020 902    812     14955315200 9040   8 18 apollon048 901    797     7289311232 8560   8 18 apollon152 398    366     14999998464 4480   apollon098
array-examples/relax_true-unreach-call.i 13.5  3.76  495652864 113   apollon017 13.6  3.80  397340672 112   apollon002 13.2  3.71  413634560 117   apollon118 13.2  3.71  482013184 112   apollon005 13.4  3.76  481755136 109   apollon075 12.9  3.58  476651520 99.3 apollon134
array-examples/sanfoundry_02_true-unreach-call_ground.i 901    834     7016820736 10800   7 18 apollon017 902    656     9873465344 8930   7 18 apollon168 902    570     11051118592 7380   7 18 apollon023 1060    396     10961289216 7640   apollon080 901    652     7975030784 10000   7 18 apollon014 903    829     10109349888 9520   7 18 apollon093
array-examples/sanfoundry_10_true-unreach-call_ground.i 901    873     4338221056 12500   7 16 apollon163 901    870     4335153152 11600   7 16 apollon008 901    873     4018712576 11200   7 16 apollon113 901    877     2508759040 11200   7 16 apollon027 901    870     4171845632 10700   7 16 apollon051 901    871     5144645632 10400   7 16 apollon128
array-examples/sanfoundry_24_true-unreach-call_true-termination.i 14.6  9.44  872706048 178   9 10 apollon014 54.7  42.3   1945161728 643   9 10 apollon012 105    86.6   2203205632 1420   9 10 apollon159 257    217     2654613504 3480   9 10 apollon064 84.9  69.7   2234527744 1290   9 10 apollon039 25.0  17.7   1335238656 303   9 10 apollon091
array-examples/sanfoundry_27_true-unreach-call_ground.i 901    828     6991007744 11100   3 8 apollon065 901    574     7488765952 8160   3 8 apollon135 902    506     9840578560 7130   3 8 apollon126 1060    414     10734907392 6950   apollon033 901    845     4324462592 8810   3 8 apollon029 901    770     11668533248 9230   3 8 apollon108
array-examples/sanfoundry_43_true-unreach-call_ground.i 901    861     5555138560 10600   1 6 apollon093 901    861     5514088448 10700   1 6 apollon020 901    862     5678280704 10700   1 6 apollon059 901    867     5375254528 11800   1 6 apollon111 901    857     4260417536 9900   1 6 apollon155 902    869     5717368832 11300   1 6 apollon071
array-examples/sorting_bubblesort_true-unreach-call_ground.i 901    851     8581062656 10100   4 12 apollon079 901    854     8953856000 12900   4 12 apollon057 902    850     8672440320 8030   4 12 apollon078 902    857     8687484928 9540   4 12 apollon117 901    842     4349870080 11100   4 12 apollon052 902    863     8486858752 9790   4 12 apollon012
array-examples/sorting_selectionsort_true-unreach-call_ground.i 901    857     4879355904 10300   4 20 apollon013 901    854     4526440448 11100   4 20 apollon015 902    859     4379324416 9460   4 20 apollon123 901    861     4349775872 10200   4 20 apollon154 901    851     4340453376 11000   4 20 apollon082 901    859     5130731520 11500   4 20 apollon055
array-examples/standard_compareModified_true-unreach-call_ground.i 901    856     4321951744 10100   3 12 apollon003 901    854     4320120832 9730   3 12 apollon086 902    853     4535582720 8850   3 12 apollon145 902    862     4416794624 10000   3 12 apollon072 901    839     4440199168 9000   3 12 apollon143 902    871     4517191680 12300   3 12 apollon088
array-examples/standard_compare_true-unreach-call_ground.i 901    853     6966439936 12500   apollon161 901    853     8792977408 11500   3 10 apollon005 901    854     8492494848 9200   3 10 apollon119 901    859     7897653248 12100   3 10 apollon148 901    845     4323676160 12100   3 10 apollon160 902    869     10870829056 9220   3 10 apollon115
array-examples/standard_copy1_true-unreach-call_ground.i 901    864     4049133568 9910   1 8 apollon040 901    863     4091723776 9960   1 8 apollon078 901    863     4313010176 9310   1 8 apollon092 901    871     3733471232 9530   1 8 apollon121 901    854     4316254208 9610   1 8 apollon110 901    867     10973396992 11900   1 8 apollon094
array-examples/standard_copy2_true-unreach-call_ground.i 901    859     4081020928 10800   1 10 apollon152 901    858     4104744960 11100   1 10 apollon147 901    862     4226457600 11600   1 10 apollon065 901    871     4026507264 11100   1 10 apollon069 901    853     4234248192 8830   1 10 apollon150 901    866     12734267392 9910   1 10 apollon134
array-examples/standard_copy3_true-unreach-call_ground.i 901    854     4189376512 10700   1 12 apollon102 901    857     4157009920 10200   1 12 apollon134 901    861     4257837056 10900   1 12 apollon049 902    872     4193845248 9420   1 12 apollon134 901    850     4469288960 10000   1 12 apollon049 901    865     14036647936 10700   1 12 apollon048
array-examples/standard_copy4_true-unreach-call_ground.i 901    851     4306890752 10100   1 14 apollon099 901    857     4250402816 10700   1 14 apollon001 901    859     4304248832 9700   1 14 apollon120 901    871     4222480384 9510   1 14 apollon156 901    849     4373630976 9090   1 14 apollon108 898    862     14999998464 11600   apollon019
array-examples/standard_copy5_true-unreach-call_ground.i 901    851     4705443840 11600   1 16 apollon007 901    855     4416512000 12500   1 16 apollon130 901    858     4387880960 9000   1 16 apollon002 901    869     4280713216 9850   1 16 apollon075 901    846     4557066240 9840   1 16 apollon099 889    852     14999998464 10200   apollon109
array-examples/standard_copy6_true-unreach-call_ground.i 901    852     4498788352 11800   1 18 apollon112 901    855     4438073344 10500   1 18 apollon051 901    860     4395487232 11300   1 18 apollon122 901    869     4281069568 9220   1 18 apollon045 902    847     4536868864 9170   1 18 apollon041 791    759     14999998464 9980   apollon126
array-examples/standard_copy7_true-unreach-call_ground.i 901    851     4483416064 11800   apollon005 901    853     4385804288 9820   1 20 apollon149 901    858     4371849216 9640   1 20 apollon023 901    866     4370092032 10600   1 20 apollon085 901    849     4464656384 9590   1 20 apollon154 793    759     14999998464 9370   apollon153
array-examples/standard_copy8_true-unreach-call_ground.i 901    844     4843110400 10300   1 22 apollon073 901    850     4146085888 10100   1 22 apollon101 901    858     4441120768 10600   1 22 apollon049 901    869     4365045760 9170   1 22 apollon149 901    847     4580065280 9620   1 22 apollon119 687    653     14999998464 9880   apollon016
array-examples/standard_copy9_true-unreach-call_ground.i 901    842     4853907456 9770   1 24 apollon040 901    850     4426694656 12100   1 24 apollon014 901    857     4453253120 11300   1 24 apollon091 901    866     4426915840 8830   1 24 apollon151 901    844     4641484800 10000   1 24 apollon061 901    863     14430236672 10500   1 24 apollon134
array-examples/standard_copyInitSum2_true-unreach-call_ground.i 901    867     3591401472 11800   1 10 apollon038 902    880     2194968576 12400   1 10 apollon141 901    885     1892012032 12500   1 10 apollon052 902    887     1636147200 11100   1 10 apollon127 901    878     2311544832 12400   1 10 apollon071 902    883     1922998272 11300   1 10 apollon154
array-examples/standard_copyInitSum3_true-unreach-call_ground.i 901    867     3618480128 14100   1 12 apollon160 902    880     2191736832 10500   1 12 apollon139 901    884     1934798848 12400   1 12 apollon052 902    888     1754050560 11100   1 12 apollon053 901    879     2414862336 11300   1 12 apollon066 901    884     1848721408 10500   1 12 apollon098
array-examples/standard_copyInitSum_true-unreach-call_ground.i 901    867     3658874880 11400   1 10 apollon037 902    880     2082570240 11600   1 10 apollon072 901    883     2016055296 13000   1 10 apollon108 901    885     1719123968 11600   1 10 apollon105 901    877     2260525056 11600   1 10 apollon107 901    884     1789276160 11300   1 10 apollon034
array-examples/standard_copyInit_true-unreach-call_ground.i 901    872     4220547072 10600   1 8 apollon098 902    880     2020073472 11000   1 8 apollon083 901    884     2097537024 12000   1 8 apollon076 901    884     1771229184 11600   1 8 apollon072 901    877     2201001984 11600   1 8 apollon012 902    883     1914785792 12900   1 8 apollon028
array-examples/standard_find_true-unreach-call_ground.i 901    861     4020178944 10700   1 10 apollon078 901    862     4059230208 10900   1 10 apollon105 901    864     4216504320 13700   1 10 apollon057 901    870     3493437440 10200   1 10 apollon013 901    857     4165394432 9220   1 10 apollon074 901    866     9459486720 10500   1 10 apollon146
array-examples/standard_init1_true-unreach-call_ground.i 901    866     2650595328 13000   1 6 apollon159 902    880     1466376192 13100   1 6 apollon108 901    884     1502736384 12000   1 6 apollon162 902    886     1475440640 11600   1 6 apollon034 901    879     1640689664 13300   1 6 apollon155 902    885     1492127744 11600   1 6 apollon120
array-examples/standard_init2_true-unreach-call_ground.i 901    870     2642620416 10700   1 8 apollon143 901    879     1396662272 13300   1 8 apollon014 901    884     1475551232 11700   1 8 apollon119 902    885     1292423168 12000   1 8 apollon018 901    879     1668169728 12900   1 8 apollon064 902    884     1520148480 13600   1 8 apollon030
array-examples/standard_init3_true-unreach-call_ground.i 901    871     2660319232 13000   1 10 apollon077 901    883     1587769344 11100   1 10 apollon116 901    883     1483792384 11800   1 10 apollon121 902    887     1408991232 13700   1 10 apollon148 901    878     1614225408 13400   1 10 apollon122 901    885     1580634112 12900   1 10 apollon019
array-examples/standard_init4_true-unreach-call_ground.i 901    869     2654224384 11400   1 12 apollon129 902    881     1410658304 11100   1 12 apollon053 901    882     1282056192 11700   1 12 apollon075 902    888     1339785216 11000   1 12 apollon060 901    877     1592557568 11300   1 12 apollon023 901    883     1563430912 13400   1 12 apollon069
array-examples/standard_init5_true-unreach-call_ground.i 901    870     2541924352 12700   1 14 apollon132 902    881     1484419072 10800   1 14 apollon143 901    884     1449848832 13100   1 14 apollon019 902    887     1352007680 10900   1 14 apollon040 901    877     1685950464 12400   1 14 apollon071 901    884     1490640896 11100   1 14 apollon025
array-examples/standard_init6_true-unreach-call_ground.i 901    871     2567593984 11900   1 16 apollon015 901    881     1536659456 12500   1 16 apollon141 901    883     1278697472 12700   1 16 apollon010 902    885     1468645376 12600   1 16 apollon152 901    877     1582575616 11100   1 16 apollon104 901    882     1451069440 10900   1 16 apollon053
array-examples/standard_init7_true-unreach-call_ground.i 901    869     2681970688 10800   1 18 apollon100 902    883     1546838016 11700   1 18 apollon097 901    884     1448464384 10500   1 18 apollon029 902    888     1396506624 13800   1 18 apollon125 901    878     1606938624 11300   1 18 apollon023 902    884     1408139264 10700   1 18 apollon040
array-examples/standard_init8_true-unreach-call_ground.i 901    868     2512113664 11200   1 20 apollon079 901    880     1487310848 11600   1 20 apollon110 901    882     1490112512 10800   1 20 apollon128 902    888     1444700160 10800   1 20 apollon043 901    879     1591312384 12800   1 20 apollon124 902    885     1431896064 10700   1 20 apollon040
array-examples/standard_init9_true-unreach-call_ground.i 901    868     2562625536 13100   1 22 apollon047 901    880     1531551744 11200   1 22 apollon115 901    883     1388843008 11800   1 22 apollon121 902    889     1372778496 13700   1 22 apollon088 901    878     1627533312 13300   1 22 apollon159 901    884     1493966848 10500   1 22 apollon098
array-examples/standard_maxInArray_true-unreach-call_ground.i 901    856     8283090944 11500   3 8 apollon007 901    856     8454070272 10700   3 8 apollon007 901    855     8209305600 9900   3 8 apollon027 901    860     7541227520 7870   3 8 apollon097 901    850     4190322688 9540   3 8 apollon073 902    870     9119272960 9760   3 8 apollon116
array-examples/standard_minInArray_true-unreach-call_ground.i 901    858     8674504704 9390   3 8 apollon041 901    854     8331366400 8620   3 8 apollon145 901    853     8370663424 9470   3 8 apollon162 901    859     7549976576 8890   3 8 apollon163 901    851     4188704768 9980   3 8 apollon004 902    868     9118150656 9660   3 8 apollon117
array-examples/standard_palindrome_true-unreach-call_ground.i 901    863     3999711232 10800   1 6 apollon058 901    859     4128489472 12400   1 6 apollon130 901    863     4198494208 9570   1 6 apollon089 901    870     3822338048 10300   1 6 apollon017 901    855     4228251648 10800   1 6 apollon065 901    869     6198509568 12600   1 6 apollon064
array-examples/standard_partial_init_true-unreach-call_ground.i 902    857     7691055104 10400   3 10 apollon109 901    854     5491302400 11900   3 10 apollon027 901    855     5016465408 12700   3 10 apollon080 902    861     4527099904 11000   3 10 apollon142 901    856     4836438016 11500   3 10 apollon125 901    858     7647891456 11000   3 10 apollon135
array-examples/standard_partition_original_true-unreach-call_ground.i 901    845     9780224000 10300   3 10 apollon104 901    841     12454273024 10800   3 10 apollon011 902    843     11537334272 8980   3 10 apollon151 902    855     10190299136 10900   3 10 apollon155 901    834     4513812480 10400   3 10 apollon154 504    466     14999998464 6060   apollon008
array-examples/standard_partition_true-unreach-call_ground.i 901    862     14960087040 11900   3 12 apollon132 902    854     12385943552 9910   3 12 apollon019 902    853     11535773696 9770   3 12 apollon122 901    858     10503118848 9540   3 12 apollon061 901    849     5228306432 9250   3 12 apollon100 405    374     14999998464 5400   apollon167
array-examples/standard_password_true-unreach-call_ground.i 901    856     6866583552 10800   3 10 apollon038 901    853     8819109888 10300   3 10 apollon129 901    856     8576479232 9760   3 10 apollon026 901    862     7896612864 7960   3 10 apollon042 901    848     4297220096 10300   3 10 apollon059 902    870     10928566272 10700   3 10 apollon122
array-examples/standard_reverse_true-unreach-call_ground.i 901    863     4032729088 12200   1 6 apollon077 901    861     4123901952 10000   1 6 apollon128 901    863     4258115584 9910   1 6 apollon100 901    870     3741904896 8650   1 6 apollon060 901    853     4323966976 10500   1 6 apollon072 901    872     6448332800 12500   1 6 apollon006
array-examples/standard_running_true-unreach-call.i 901    853     4523147264 10700   3 16 apollon035 902    856     4222681088 10600   3 16 apollon115 902    857     4281257984 12400   3 16 apollon033 901    855     2547335168 10200   3 16 apollon127 901    852     4096487424 10700   3 16 apollon086 902    859     4433412096 10200   3 16 apollon002
array-examples/standard_sentinel_true-unreach-call_true-termination.i 13.8  8.78  721715200 146   7 8 apollon121 54.1  42.2   1840648192 718   7 8 apollon163 104    86.9   2001063936 1320   7 8 apollon067 255    220     2244308992 3570   7 8 apollon122 83.6  68.6   2330845184 998   7 8 apollon150 23.5  17.0   1281216512 294   7 8 apollon164
array-examples/standard_seq_init_true-unreach-call_ground.i 901    871     2610331648 11100   1 6 apollon137 902    881     1728671744 13200   1 6 apollon059 901    883     1690480640 13400   1 6 apollon163 902    885     1606758400 11600   1 6 apollon157 901    879     1694388224 13700   1 6 apollon125 901    885     1639079936 11900   1 6 apollon085
array-examples/standard_strcmp_true-unreach-call_ground.i 901    858     7178989568 10300   4 10 apollon078 901    857     8785551360 9360   4 10 apollon015 902    860     8628899840 10200   4 10 apollon007 901    864     9032228864 9010   4 10 apollon073 901    852     4282994688 10600   4 10 apollon047 901    867     11709427712 9870   4 10 apollon084
array-examples/standard_strcpy_original_true-unreach-call.i 901    862     4069023744 12400   1 12 apollon125 901    860     4100255744 12100   1 12 apollon024 901    863     4329443328 12700   1 12 apollon140 901    870     4067360768 9600   1 12 apollon066 901    856     4192681984 8790   1 12 apollon158 901    866     11081613312 9500   1 12 apollon166
array-examples/standard_strcpy_true-unreach-call_ground.i 901    857     4223414272 13500   1 10 apollon057 901    861     4238667776 11000   1 10 apollon001 901    863     4236505088 12200   1 10 apollon077 901    871     3923779584 9720   1 10 apollon073 901    855     4259057664 10300   1 10 apollon113 901    868     11203829760 12200   1 10 apollon130
array-examples/standard_two_index_01_true-unreach-call.i 901    867     3951546368 11900   1 8 apollon010 901    861     4090814464 10800   1 8 apollon156 905    587     6709698560 8510   1 8 apollon075 972    783     6928936960 9520   1 8 apollon135 337    191     14999998464 3300   apollon167 901    870     7149199360 10500   1 8 apollon150
array-examples/standard_two_index_02_true-unreach-call.i 901    860     4046749696 10300   1 8 apollon144 901    860     4070526976 11400   1 8 apollon028 901    864     4218871808 12000   1 8 apollon069 901    870     4071665664 10500   1 8 apollon059 901    855     4216901632 8540   1 8 apollon166 901    868     10835939328 10300   1 8 apollon009
array-examples/standard_two_index_03_true-unreach-call.i 901    863     4052647936 9320   1 8 apollon158 901    863     3979948032 11800   1 8 apollon027 902    634     8075124736 9000   1 8 apollon009 927    782     5983436800 10200   1 8 apollon155 901    627     8595247104 9570   1 8 apollon077 901    862     7171977216 12900   1 8 apollon036
array-examples/standard_two_index_04_true-unreach-call.i 901    858     4167942144 10800   1 8 apollon095 901    860     4061372416 12600   1 8 apollon016 901    863     4309966848 10700   1 8 apollon061 901    871     3919978496 12900   1 8 apollon044 901    855     4256780288 10300   1 8 apollon129 901    865     11388469248 10400   1 8 apollon072
array-examples/standard_two_index_05_true-unreach-call.i 901    859     4087386112 11600   1 8 apollon033 901    861     4114530304 11600   1 8 apollon052 901    863     4171403264 11900   1 8 apollon167 901    869     4122972160 11100   1 8 apollon142 901    853     4342042624 10400   1 8 apollon001 901    865     10984624128 10400   1 8 apollon072
array-examples/standard_two_index_06_true-unreach-call.i 901    866     3931664384 13200   1 8 apollon044 901    861     4011356160 10300   1 8 apollon086 1020    640     9432354816 9320   1 8 apollon055 947    780     5788057600 9430   1 8 apollon119 901    422     11542401024 6800   apollon135 901    869     6774145024 10900   1 8 apollon135
array-examples/standard_two_index_07_true-unreach-call.i 901    862     4035846144 11400   1 8 apollon046 901    861     4089643008 11400   1 8 apollon142 901    862     4187590656 10200   1 8 apollon133 901    871     3937112064 10000   1 8 apollon082 901    856     4228063232 10400   1 8 apollon070 902    865     11139420160 9490   1 8 apollon040
array-examples/standard_two_index_08_true-unreach-call.i 901    862     4079448064 10500   1 8 apollon079 901    861     4067713024 10800   1 8 apollon072 901    865     4254887936 11800   1 8 apollon006 901    870     3903578112 12400   1 8 apollon111 901    855     4214747136 10900   1 8 apollon114 901    868     11218792448 10300   1 8 apollon079
array-examples/standard_two_index_09_true-unreach-call.i 901    858     4175052800 10800   1 8 apollon118 901    861     4104204288 9620   1 8 apollon022 901    859     4313288704 9820   1 8 apollon003 901    870     2022158336 12400   1 8 apollon148 901    856     4230823936 9580   1 8 apollon053 901    863     11217731584 10900   1 8 apollon008
array-examples/standard_vararg_true-unreach-call_ground_true-termination.i 901    831     7263055872 10000   5 6 apollon054 901    832     4886573056 12000   5 6 apollon146 901    824     4577005568 11200   5 6 apollon157 901    822     4760657920 12600   5 6 apollon108 901    812     5014077440 12900   5 6 apollon059 901    861     4025311232 11500   5 6 apollon034
array-examples/standard_vector_difference_true-unreach-call_ground.i 901    855     4085481472 10900   1 6 apollon070 901    858     4223836160 11400   1 6 apollon027 902    861     4269113344 10600   1 6 apollon061 901    871     4203409408 9230   1 6 apollon128 901    852     4331761664 9190   1 6 apollon089 901    868     4287004672 11600   1 6 apollon097
array-industry-pattern/array_assert_loop_dep_false-unreach-call_true-termination.i 901    870     2829066240 11000   1 8 apollon025 901    882     1628233728 11800   1 8 apollon168 901    883     1430302720 12500   1 8 apollon152 901    886     1350852608 13100   1 8 apollon033 901    878     1878462464 13800   1 8 apollon036 902    885     1457451008 11100   1 8 apollon035
array-industry-pattern/array_of_struct_loop_dep_false-unreach-call.i 901    863     7024869376 13000   0 8 apollon125 902    888     3777568768 10700   0 8 apollon029 903    887     4771135488 11600   0 8 apollon042 903    881     4471787520 12300   0 8 apollon094 902    890     4480688128 12600   0 8 apollon113 902    889     4330184704 14800   0 8 apollon111
array-industry-pattern/array_ptr_single_elem_init_false-unreach-call_true-termination.i 901    853     7853375488 11600   7 14 apollon138 902    849     5484765184 12100   7 14 apollon019 902    847     4946448384 13300   7 14 apollon057 902    855     4633206784 9810   7 14 apollon134 901    843     4807761920 10200   7 14 apollon074 901    858     7768539136 11500   7 14 apollon093
array-industry-pattern/array_range_init_false-unreach-call.i 901    868     5687148544 10800   0 10 apollon127 902    890     3365511168 12800   0 10 apollon017 902    886     5505560576 12300   0 10 apollon165 903    883     4154331136 12100   0 10 apollon033 902    892     4142489600 12700   0 10 apollon015 902    891     3924160512 13400   0 10 apollon005
array-industry-pattern/array_single_elem_init_false-unreach-call_true-termination.i 901    854     8944177152 12800   7 14 apollon106 902    849     5912109056 10700   7 14 apollon154 901    846     5288804352 12900   7 14 apollon044 902    852     4962492416 9570   7 14 apollon151 901    849     4798418944 11200   7 14 apollon142 901    854     8876294144 11200   7 14 apollon055
array-industry-pattern/check_removal_from_set_after_insertion_false-unreach-call.i 901    841     5622206464 10300   7 24 apollon035 901    817     6623735808 13000   7 24 apollon160 903    811     7176638464 11100   7 24 apollon071 902    816     8386404352 10600   7 24 apollon069 902    804     5260668928 10700   7 24 apollon125 901    845     8148279296 13600   7 24 apollon160
array-industry-pattern/array_monotonic_true-unreach-call_true-termination.i 902    815     8285831168 10100   3 10 apollon126 923    622     7747227648 8030   3 10 apollon108 901    519     9793777664 7720   3 10 apollon167 1060    407     11169738752 6250   apollon099 901    843     4219064320 12400   3 10 apollon044 902    803     11948187648 8020   3 10 apollon045
array-industry-pattern/array_mul_init_true-unreach-call_true-termination.i 901    870     2918617088 11900   1 14 apollon142 902    884     1770962944 11300   1 14 apollon166 901    884     1831768064 12500   1 14 apollon138 902    887     1566388224 13200   1 14 apollon167 901    881     1958367232 11600   1 14 apollon034 901    885     1837019136 10900   1 14 apollon099
array-industry-pattern/array_of_struct_break_true-unreach-call.i 901    866     8081235968 12900   0 10 apollon008 902    888     3771424768 12100   0 10 apollon102 902    885     5281439744 11400   0 10 apollon134 903    881     4426944512 11000   0 10 apollon093 902    889     4426997760 11900   0 10 apollon062 902    888     4645855232 11300   0 10 apollon013
array-industry-pattern/array_of_struct_ptr_cond_init_true-unreach-call.i 901    866     6576529408 10600   0 10 apollon098 902    889     3445497856 14200   0 10 apollon008 902    886     5569048576 12400   0 10 apollon049 903    882     4346630144 10500   0 10 apollon099 902    891     4181639168 12200   0 10 apollon105 902    890     3985207296 12000   0 10 apollon026
array-industry-pattern/array_of_struct_ptr_flag_init_true-unreach-call.i 901    861     4048580608 12900   1 12 apollon044 901    848     4547444736 12100   1 12 apollon167 901    856     4837244928 9780   1 12 apollon120 902    866     4831887360 11700   1 12 apollon094 901    855     4241244160 11200   1 12 apollon142 901    867     5249265664 13600   1 12 apollon016
array-industry-pattern/array_of_struct_ptr_monotonic_true-unreach-call.i 901    864     5795840000 11300   0 10 apollon037 902    889     3394662400 13500   0 10 apollon081 902    887     5304492032 11200   0 10 apollon098 903    881     4318674944 11400   0 10 apollon101 902    890     4213784576 14000   0 10 apollon014 902    890     4150554624 11400   0 10 apollon089
array-industry-pattern/array_of_struct_ptr_mul_init_true-unreach-call.i 907    861     13110751232 11600   0 14 apollon138 902    882     6851477504 13600   0 14 apollon094 901    881     6105890816 12800   0 14 apollon084 903    878     5077643264 11500   0 14 apollon013 905    884     5130014720 13300   0 14 apollon081 902    883     5330198528 11400   0 14 apollon053
array-industry-pattern/array_of_struct_single_elem_init_true-unreach-call.i 902    852     13100441600 11100   0 12 apollon118 901    880     5942300672 12600   0 12 apollon071 902    879     6099390464 13500   0 12 apollon007 903    881     6887149568 9820   0 12 apollon063 904    885     5310525440 11500   0 12 apollon109 902    882     5152530432 11100   0 12 apollon040
array-industry-pattern/array_ptr_partial_init_true-unreach-call.i 901    866     6475808768 11000   0 8 apollon053 902    890     3332395008 13600   0 8 apollon108 902    886     5305069568 10800   0 8 apollon123 903    882     4392800256 10800   0 8 apollon032 902    891     4110487552 11000   0 8 apollon092 902    889     4083552256 12200   0 8 apollon133
array-industry-pattern/array_ptr_single_elem_init_true-unreach-call.i 901    871     6984097792 13300   apollon140 902    889     3361271808 11700   0 18 apollon045 902    886     5120425984 12000   0 18 apollon131 903    883     4237570048 10700   0 18 apollon090 902    890     4105924608 12000   0 18 apollon073 902    890     4075216896 13400   0 18 apollon005
array-industry-pattern/array_shadowinit_true-unreach-call_true-termination.i 902    776     5525000192 10200   7 8 apollon041 901    646     7245099008 10300   7 8 apollon010 901    633     7537758208 11200   7 8 apollon161 901    777     4975140864 12400   7 8 apollon111 902    559     8570163200 9960   7 8 apollon028 903    786     5032243200 11700   7 8 apollon047
reducercommutativity/rangesum05_false-unreach-call_true-termination.i 901    856     4259155968 11300   9 14 apollon071 901    874     3374235648 11300   9 14 apollon068 901    873     1708576768 10300   9 14 apollon154 901    875     2144280576 10700   9 14 apollon070 901    867     4004601856 10700   9 14 apollon035 901    879     2249560064 11700   9 14 apollon161
reducercommutativity/rangesum10_false-unreach-call_true-termination.i 901    843     4298702848 10900   9 14 apollon028 901    868     4136837120 9460   9 14 apollon023 901    865     3963047936 11500   9 14 apollon010 901    872     2286841856 9750   9 14 apollon003 901    873     4143140864 11700   9 14 apollon084 901    874     4007170048 10700   9 14 apollon132
reducercommutativity/rangesum20_false-unreach-call.i 901    830     4435693568 9250   9 14 apollon156 901    861     3445153792 10500   9 14 apollon112 901    866     2770690048 10500   9 14 apollon126 901    870     2723926016 10900   9 14 apollon027 901    857     4170182656 11800   9 14 apollon108 901    866     3969503232 7380   9 14 apollon055
reducercommutativity/rangesum40_false-unreach-call.i 901    824     4895318016 8810   9 14 apollon165 88.4  64.8   14999998464 825   apollon066 136    113     14999998464 1380   apollon043 286    259     14999998464 3760   apollon024 117    93.0   14999998464 1310   apollon136 54.4  34.7   1249067008 529   apollon012
reducercommutativity/rangesum60_false-unreach-call.i 901    809     5916598272 10100   9 14 apollon159 902    854     6547030016 9230   9 14 apollon147 901    862     6386311168 10100   9 14 apollon094 403    377     14999998464 4060   apollon050 902    852     6282133504 10300   9 14 apollon150 191    166     2142797824 2390   apollon130
reducercommutativity/rangesum_false-unreach-call_true-termination.i 901    860     3772866560 12200   4 16 apollon014 903    658     6255996928 10700   12 16 apollon044 903    646     6700023808 9080   11 16 apollon120 904    745     6531284992 8990   10 16 apollon139 901    860     3365089280 10100   4 16 apollon072 902    734     5670793216 8970   14 16 apollon144
reducercommutativity/avg05_true-unreach-call_true-termination.i 901    866     4202119168 10000   6 10 apollon051 901    874     1801904128 13600   6 10 apollon111 901    877     2015899648 10600   6 10 apollon093 901    880     2982457344 10900   6 10 apollon129 901    867     2129195008 11000   6 10 apollon012 901    881     2606927872 10500   6 10 apollon008
reducercommutativity/avg10_true-unreach-call_true-termination.i 901    855     4256079872 10500   6 10 apollon085 901    876     3532152832 12300   6 10 apollon021 901    871     2432823296 10100   6 10 apollon055 901    875     3077476352 13100   6 10 apollon056 901    866     4088516608 12800   6 10 apollon069 901    877     2485620736 9850   6 10 apollon062
reducercommutativity/avg20_true-unreach-call.i 901    841     4634062848 9360   6 10 apollon074 901    874     4331835392 10200   6 10 apollon084 901    872     4334026752 9880   6 10 apollon038 901    871     3285020672 9280   6 10 apollon037 901    871     4280819712 12200   6 10 apollon006 902    874     4354375680 8220   6 10 apollon136
reducercommutativity/avg40_true-unreach-call.i 901    836     5422116864 9670   6 10 apollon075 902    863     5810618368 9740   6 10 apollon108 901    875     5667389440 9190   6 10 apollon038 902    877     5626486784 9530   6 10 apollon114 902    865     5452992512 11600   6 10 apollon108 902    862     5720829952 9800   6 10 apollon056
reducercommutativity/avg60_true-unreach-call.i 901    830     5340332032 10500   6 10 apollon061 902    863     7294320640 9650   6 10 apollon049 901    869     8226353152 9270   6 10 apollon074 910    882     8181018624 8350   6 10 apollon127 901    864     5342081024 10700   6 10 apollon133 903    858     8426807296 9110   6 10 apollon114
reducercommutativity/avg_true-unreach-call_true-termination.i 901    800     4990349312 8650   4 10 apollon150 902    759     5476532224 9260   4 10 apollon165 902    762     6251147264 9150   4 10 apollon159 907    794     5438791680 11300   4 10 apollon161 902    808     5116149760 9670   4 10 apollon030 901    754     5207302144 10100   6 10 apollon126
reducercommutativity/max05_true-unreach-call_true-termination.i 901    863     4147539968 9990   8 12 apollon103 901    872     1669599232 10600   8 12 apollon046 901    875     1628815360 11700   8 12 apollon014 901    878     2597691392 9530   8 12 apollon037 901    866     2064715776 9970   8 12 apollon029 901    879     1505804288 7920   8 12 apollon037
reducercommutativity/max10_true-unreach-call_true-termination.i 901    856     4170223616 12100   8 12 apollon152 901    871     3526086656 11100   8 12 apollon069 901    870     1834881024 8970   8 12 apollon143 901    874     1933443072 9180   8 12 apollon037 901    864     3683385344 11000   8 12 apollon037 901    875     2308100096 8040   8 12 apollon162
reducercommutativity/max20_true-unreach-call.i 901    841     4259610624 12300   8 12 apollon006 901    872     4088127488 12200   8 12 apollon065 901    873     3030999040 11000   8 12 apollon061 901    872     1630531584 11400   8 12 apollon132 901    868     4121280512 12000   8 12 apollon091 901    873     3804282880 13900   8 12 apollon039
reducercommutativity/max40_true-unreach-call.i 901    831     4430934016 10000   8 12 apollon104 901    861     4546252800 10500   8 12 apollon034 901    866     5223903232 8860   8 12 apollon127 901    867     2949234688 8560   8 12 apollon118 901    861     4297560064 12000   8 12 apollon108 901    862     4794421248 9750   8 12 apollon093
reducercommutativity/max60_true-unreach-call.i 901    826     4650016768 10200   8 12 apollon134 901    853     4623134720 10400   8 12 apollon107 901    864     5106216960 11400   8 12 apollon132 902    871     5138460672 9000   7 12 apollon105 901    860     4466757632 11200   8 12 apollon082 901    850     4949164032 10900   8 12 apollon071
reducercommutativity/max_true-unreach-call_true-termination.i 902    626     6906810368 9470   8 12 apollon129 901    639     6719979520 9560   8 12 apollon105 901    627     6514225152 10300   8 12 apollon132 902    597     7460589568 10000   8 12 apollon094 902    562     7389286400 8540   6 12 apollon129 901    777     4892528640 12300   8 12 apollon094
reducercommutativity/sep05_true-unreach-call_true-termination.i 901    654     5310922752 10300   9 12 apollon046 901    637     7215001600 9440   10 12 apollon012 902    643     6602936320 9160   10 12 apollon119 901    664     5994352640 10200   10 12 apollon024 901    598     6175657984 9240   10 12 apollon146 901    759     5729161216 9370   10 12 apollon158
reducercommutativity/sep10_true-unreach-call.i 655    510     14999998464 8410   apollon161 903    656     6030893056 8860   apollon134 905    657     6285615104 9560   9 12 apollon165 904    702     6900051968 9430   9 12 apollon131 904    661     6365368320 11000   9 12 apollon106 904    724     5675053056 9830   8 12 apollon129
reducercommutativity/sep20_true-unreach-call.i 901    854     4131807232 12400   5 12 apollon155 901    661     5889884160 9050   6 12 apollon137 904    661     6576046080 8310   6 12 apollon054 907    728     6874320896 9700   6 12 apollon115 903    764     4988080128 10500   6 12 apollon156 901    859     4671930368 9250   8 12 apollon115
reducercommutativity/sep40_true-unreach-call.i 901    851     4120215552 11500   5 12 apollon141 901    838     4300615680 10700   5 12 apollon026 901    847     4324904960 12600   5 12 apollon140 902    849     4198666240 10400   5 12 apollon153 234    199     14999998464 2890   apollon141 901    853     4076630016 13000   5 12 apollon069
reducercommutativity/sep60_true-unreach-call.i 901    855     4061290496 10300   5 12 apollon041 901    838     4267094016 11300   5 12 apollon146 902    842     4311015424 11200   5 12 apollon082 902    848     4173492224 9110   5 12 apollon158 901    832     4507545600 8530   5 12 apollon063 901    851     4065054720 10900   5 12 apollon062
reducercommutativity/sep_true-unreach-call_true-termination.i 927    623     7555641344 10400   8 12 apollon020 901    615     9145655296 9570   8 12 apollon145 901    635     7321993216 10900   8 12 apollon094 902    629     7380238336 9430   9 12 apollon097 902    532     9416773632 8010   8 12 apollon089 901    760     5238808576 10400   9 12 apollon154
reducercommutativity/sum05_true-unreach-call_true-termination.i 901    865     4217245696 13000   6 10 apollon122 901    874     2468130816 12500   6 10 apollon024 901    876     1987244032 11400   6 10 apollon034 901    878     2548224000 11700   6 10 apollon049 901    866     2233180160 11100   6 10 apollon115 903    883     1720999936 12000   6 10 apollon084
reducercommutativity/sum10_true-unreach-call_true-termination.i 901    856     4266946560 10300   6 10 apollon089 901    873     3775533056 10900   6 10 apollon086 901    871     2770980864 10800   6 10 apollon145 901    873     3953340416 10300   6 10 apollon149 901    870     3897241600 13200   6 10 apollon014 901    878     2698936320 11100   6 10 apollon113
reducercommutativity/sum20_true-unreach-call.i 901    844     4593299456 10100   6 10 apollon019 901    874     4511141888 9610   6 10 apollon025 901    870     4477276160 11300   6 10 apollon122 901    874     3044433920 9460   6 10 apollon149 901    866     4373123072 10700   6 10 apollon135 901    871     4540882944 9380   6 10 apollon162
reducercommutativity/sum40_true-unreach-call.i 901    833     5321691136 9530   6 10 apollon121 902    864     5444665344 8550   6 10 apollon035 901    868     5253394432 6880   6 10 apollon063 902    876     5383012352 10300   6 10 apollon094 902    864     5464252416 10600   6 10 apollon034 902    864     5545279488 6440   6 10 apollon040
reducercommutativity/sum60_true-unreach-call.i 901    824     5419192320 11400   6 10 apollon064 902    854     6882320384 8960   6 10 apollon116 901    867     7576838144 9680   6 10 apollon038 903    872     8029437952 9080   6 10 apollon133 901    863     5677936640 9800   6 10 apollon002 902    860     8086945792 8270   6 10 apollon124
reducercommutativity/sum_true-unreach-call_true-termination.i 910    642     6390243328 10500   6 10 apollon006 901    654     5933735936 9450   6 10 apollon003 909    581     6595686400 8610   6 10 apollon003 902    569     9485168640 8890   4 10 apollon142 902    575     8074096640 8810   4 10 apollon087 901    761     5923033088 10100   6 10 apollon003
array-tiling/mlceu_false-unreach-call.i 901    858     1477562368 11500   8 10 apollon103 901    848     4056178688 11900   8 10 apollon087 901    823     4341919744 11200   8 10 apollon154 901    773     4906147840 12700   8 10 apollon036 901    834     4260712448 10900   8 10 apollon025 901    865     1389547520 11300   8 10 apollon042
array-tiling/skippedu_false-unreach-call.i 4.22 1.78  270807040 39.8 apollon113 4.32 1.79  274034688 37.9 apollon104 4.43 1.76  278691840 40.0 apollon049 4.31 1.76  274198528 38.4 apollon129 4.30 1.78  268931072 35.9 apollon100 4.30 1.78  267313152 37.7 apollon131
array-tiling/mbpr2_true-unreach-call.i 4.37 1.78  271659008 40.5 apollon166 4.41 1.82  271601664 40.3 apollon119 4.47 1.79  278581248 37.9 apollon123 4.67 1.83  275107840 41.9 apollon105 4.41 1.77  270143488 37.0 apollon134 4.50 1.84  273227776 47.3 apollon039
array-tiling/mbpr3_true-unreach-call.i 5.13 2.17  290181120 51.3 apollon047 4.83 2.12  281432064 47.1 apollon113 5.09 2.15  283860992 45.2 apollon110 4.87 2.14  282370048 45.1 apollon144 4.90 2.14  278761472 50.9 apollon014 5.08 2.20  289710080 42.9 apollon099
array-tiling/mbpr4_true-unreach-call.i 4.65 1.88  275865600 37.4 apollon092 4.79 1.88  278274048 47.3 apollon141 4.54 1.81  276860928 41.8 apollon084 4.65 1.85  277467136 40.3 apollon149 4.77 1.94  276344832 43.6 apollon087 4.73 1.83  277299200 46.0 apollon044
array-tiling/mbpr5_true-unreach-call.i 4.89 2.18  286142464 50.9 apollon108 5.01 2.24  277557248 45.0 apollon045 5.00 2.20  283611136 41.8 apollon098 5.00 2.22  282730496 44.7 apollon079 4.97 2.23  287416320 50.8 apollon152 4.91 2.17  284704768 45.5 apollon085
array-tiling/nr2_true-unreach-call.i 4.46 1.80  277639168 42.2 apollon064 4.38 1.85  268046336 41.3 apollon142 4.28 1.78  271753216 36.4 apollon117 4.42 1.81  268025856 37.4 apollon053 4.31 1.78  271020032 40.6 apollon051 4.47 1.78  280469504 41.0 apollon006
array-tiling/nr3_true-unreach-call.i 4.58 2.07  276242432 45.6 apollon136 4.51 2.05  276058112 40.1 apollon137 4.65 2.11  281018368 43.6 apollon166 4.76 2.18  281038848 46.2 apollon078 4.64 2.10  282836992 49.3 apollon159 4.60 2.09  282509312 42.7 apollon082
array-tiling/nr4_true-unreach-call.i 4.28 1.74  271134720 43.7 apollon069 4.34 1.77  263544832 40.0 apollon046 4.44 1.75  275931136 42.5 apollon019 4.22 1.75  270966784 37.6 apollon127 4.17 1.72  270327808 36.3 apollon060 4.44 1.87  271106048 42.3 apollon147
array-tiling/nr5_true-unreach-call.i 4.90 2.12  286846976 41.8 apollon089 4.69 2.08  281571328 47.8 apollon068 4.74 2.09  283201536 50.9 apollon036 4.74 2.07  285904896 44.4 apollon103 4.71 2.16  282927104 47.1 apollon124 4.88 2.15  285302784 43.9 apollon025
array-tiling/pnr2_true-unreach-call.i 4.47 1.78  277774336 39.3 apollon107 4.37 1.80  269983744 43.8 apollon014 4.48 1.81  277512192 44.3 apollon028 4.30 1.78  267501568 40.7 apollon065 4.38 1.83  271802368 36.2 apollon092 4.39 1.81  272515072 40.3 apollon005
array-tiling/pnr3_true-unreach-call.i 4.67 2.08  278548480 48.3 apollon094 4.96 2.14  284692480 50.5 apollon163 4.77 2.12  287424512 45.4 apollon011 4.62 2.08  284950528 42.0 apollon058 4.80 2.15  285761536 44.4 apollon119 4.70 2.10  280801280 42.8 apollon018
array-tiling/pnr4_true-unreach-call.i 4.40 1.79  273858560 39.9 apollon035 4.28 1.76  273666048 42.1 apollon146 4.73 1.83  281452544 40.0 apollon083 4.40 1.78  276303872 36.5 apollon143 4.33 1.80  273420288 39.4 apollon062 4.52 1.84  278077440 46.6 apollon111
array-tiling/pnr5_true-unreach-call.i 4.77 2.12  281899008 42.6 apollon013 4.84 2.13  280174592 44.1 apollon035 4.68 2.09  282402816 43.1 apollon154 4.83 2.15  277544960 49.1 apollon081 5.03 2.15  288026624 48.2 apollon024 4.80 2.14  279130112 49.8 apollon094
array-tiling/poly1_true-unreach-call.i 901    857     2892951552 11900   7 8 apollon055 901    847     3830149120 11200   7 8 apollon090 901    828     4458409984 10400   7 8 apollon117 901    780     5004939264 9400   7 8 apollon083 901    836     4274810880 11300   7 8 apollon107 901    869     1846534144 11800   7 8 apollon102
array-tiling/poly2_true-unreach-call.i 901    589     7871303680 6760   9 10 apollon023 901    607     8159019008 8060   9 10 apollon164 906    584     10844635136 7710   9 10 apollon085 902    661     6432321536 7700   9 10 apollon054 901    474     9206583296 7570   9 10 apollon079 901    769     5799088128 6580   9 10 apollon166
array-tiling/pr2_true-unreach-call.i 4.49 1.79  271847424 42.0 apollon024 4.39 1.76  266153984 44.8 apollon016 4.52 1.85  270749696 42.7 apollon009 4.65 1.82  276189184 41.1 apollon107 4.37 1.81  270405632 46.7 apollon021 4.32 1.77  274411520 39.1 apollon147
array-tiling/pr3_true-unreach-call.i 4.89 2.17  283451392 48.0 apollon091 4.75 2.13  276156416 46.2 apollon012 4.63 2.09  279478272 39.0 apollon158 4.63 2.10  275402752 42.6 apollon079 4.90 2.13  282451968 47.4 apollon093 4.77 2.08  276615168 43.3 apollon165
array-tiling/pr4_true-unreach-call.i 4.45 1.83  273756160 43.0 apollon152 4.49 1.84  269983744 41.1 apollon078 4.57 1.89  273305600 44.4 apollon114 4.55 1.90  267239424 45.9 apollon016 4.76 1.88  276078592 42.6 apollon120 4.73 1.80  280629248 41.5 apollon011
array-tiling/pr5_true-unreach-call.i 4.88 2.13  281501696 48.1 apollon064 4.83 2.17  281251840 45.4 apollon147 4.82 2.13  283308032 46.3 apollon078 4.82 2.15  279592960 52.4 apollon126 4.96 2.21  292265984 49.7 apollon152 4.97 2.15  286003200 47.6 apollon097
array-tiling/revcpyswp2_true-unreach-call.i 254    178     14999998464 2620   apollon013 901    758     5513547776 10400   9 12 apollon110 901    769     5128806400 9550   9 12 apollon043 901    787     5055836160 10900   9 12 apollon126 901    691     6551621632 9560   9 12 apollon025 901    818     4892467200 10300   9 12 apollon134
array-tiling/rew_true-unreach-call.i 901    867     1368432640 13000   9 10 apollon106 901    841     2880184320 14200   9 10 apollon039 901    812     5548105728 13000   9 10 apollon161 901    758     5772357632 10100   9 10 apollon003 901    830     4356005888 13300   9 10 apollon036 901    869     2885726208 13400   9 10 apollon016
array-tiling/rewnif_true-unreach-call.i 901    855     1675227136 12700   9 10 apollon112 901    846     3528949760 11600   9 10 apollon001 901    823     4834676736 12400   9 10 apollon006 901    774     5044715520 12000   9 10 apollon077 901    832     4242042880 11300   9 10 apollon034 901    861     1414778880 11300   9 10 apollon045
array-tiling/rewnifrev2_true-unreach-call.i 901    766     6683471872 10500   5 8 apollon135 901    779     5266825216 11600   5 8 apollon010 901    779     5282209792 11700   5 8 apollon065 901    804     4985356288 10700   5 8 apollon062 901    727     6406410240 9920   5 8 apollon166 901    826     4908867584 11100   5 8 apollon076
array-tiling/rewnifrev_true-unreach-call.i 901    757     5656051712 9830   7 10 apollon100 901    732     6479622144 11400   7 10 apollon077 901    740     6014595072 10700   7 10 apollon011 902    766     5807845376 10100   7 10 apollon157 902    699     6740348928 11000   7 10 apollon068 901    814     4866945024 10000   7 10 apollon143
array-tiling/rewrev_true-unreach-call.i 901    731     5593567232 9090   7 10 apollon123 901    713     6166986752 10700   7 10 apollon017 901    685     7386472448 9240   7 10 apollon127 901    704     5645197312 10100   7 10 apollon051 901    644     7145402368 9560   7 10 apollon058 901    799     5032534016 11900   7 10 apollon033
array-tiling/skipped_true-unreach-call.i 4.16 1.70  269885440 37.2 apollon053 4.52 1.83  275828736 41.1 apollon093 4.21 1.75  270860288 35.0 apollon117 4.31 1.74  267358208 43.2 apollon161 4.15 1.75  268562432 37.7 apollon034 4.27 1.78  272138240 44.7 apollon057
array-tiling/tcpy_true-unreach-call.i 4.59 1.78  277970944 41.5 apollon105 4.39 1.84  273088512 46.1 apollon159 4.50 1.86  275202048 39.9 apollon072 4.42 1.80  271310848 43.8 apollon164 4.45 1.84  276983808 38.0 apollon123 4.47 1.80  276738048 42.9 apollon017
array-programs/copysome1_false-unreach-call.i 901    848     4187078656 9660   1 12 apollon041 901    859     4134739968 11600   1 12 apollon068 901    857     4363489280 9820   1 12 apollon066 901    869     4262604800 9210   1 12 apollon025 901    843     4516810752 8570   1 12 apollon029 901    865     12449652736 12400   1 12 apollon094
array-programs/copysome2_false-unreach-call.i 901    844     4667781120 11300   1 14 apollon065 901    854     4130762752 12900   1 14 apollon160 901    855     4428623872 10200   1 14 apollon033 901    867     4375576576 9160   1 14 apollon040 901    845     4273111040 8150   1 14 apollon104 901    865     10625703936 10700   1 14 apollon035
array-programs/copysome1_true-unreach-call.i 901    845     4259090432 9550   1 12 apollon002 901    857     4168134656 10600   1 12 apollon095 901    861     4361814016 9540   1 12 apollon089 901    869     4296740864 10100   1 12 apollon051 901    844     4387028992 12000   1 12 apollon130 901    864     11993657344 13400   1 12 apollon044
array-programs/copysome2_true-unreach-call.i 901    842     4726644736 10200   1 14 apollon015 901    854     4172165120 10800   1 14 apollon107 901    854     4444917760 8750   1 14 apollon139 901    869     4336746496 9640   1 14 apollon031 901    839     4535537664 11500   1 14 apollon005 901    869     9864609792 11500   1 14 apollon082
bitvector/byte_add_false-unreach-call_true-no-overflow_true-termination.i 41.2  19.2   1269829632 417   59 60 apollon068 21.3  5.75  837316608 175   59 60 apollon095 21.2  5.63  821547008 164   59 60 apollon083 21.2  5.74  815427584 177   59 60 apollon150 21.2  5.67  823996416 176   59 60 apollon156 21.4  5.80  822505472 196   59 60 apollon028
bitvector/sum02_false-unreach-call_true-no-overflow.i 901    633     8600965120 10600   4 8 apollon069 901    631     9092042752 9060   4 8 apollon135 901    665     6316662784 12000   4 8 apollon039 901    635     7826595840 8780   4 8 apollon137 901    494     9545687040 8330   4 8 apollon051 901    774     6213787648 8070   4 8 apollon063
bitvector/byte_add_1_true-unreach-call_true-no-overflow_true-termination.i 40.3  18.8   1377988608 433   44 60 apollon080 60.6  34.5   2476339200 656   44 60 apollon140 110    88.2   2104786944 1360   44 60 apollon091 261    233     2668769280 3300   44 60 apollon124 91.5  64.5   2533756928 972   44 60 apollon072 32.2  9.60  1044750336 263   44 60 apollon154
bitvector/byte_add_2_true-unreach-call_true-no-overflow_true-termination.i 41.2  17.8   1760546816 383   45 60 apollon074 61.0  38.2   2794303488 586   45 60 apollon143 110    87.0   2343272448 1270   45 60 apollon087 262    236     2056343552 3020   45 60 apollon079 92.6  69.1   2106527744 964   45 60 apollon134 31.6  9.51  1035407360 281   45 60 apollon019
bitvector/gcd_1_true-unreach-call_true-no-overflow.i 17.0  9.44  946634752 187   10 12 apollon138 56.6  48.8   1522130944 760   10 12 apollon136 106    98.4   1492848640 1350   10 12 apollon144 257    245     1497485312 3510   10 12 apollon084 87.4  78.7   1583964160 1190   10 12 apollon091 26.3  19.1   1421471744 335   10 12 apollon130
bitvector/gcd_2_true-unreach-call_true-no-overflow.i 15.4  8.66  962510848 158   9 10 apollon090 55.6  48.0   1520812032 701   9 10 apollon018 106    96.9   1320775680 1490   9 10 apollon167 255    243     1581543424 3230   9 10 apollon026 85.9  77.5   1275346944 1040   9 10 apollon137 25.3  17.8   1381838848 317   9 10 apollon081
bitvector/gcd_3_true-unreach-call_true-no-overflow.i 901    877     3934646272 12600   9 10 apollon136 901    877     1528467456 13100   9 10 apollon140 901    878     1718964224 12500   9 10 apollon126 404    391     1532985344 4970   9 10 apollon086 901    870     1543458816 13100   9 10 apollon130 901    885     1418674176 11700   9 10 apollon138
bitvector/gcd_4_true-unreach-call_true-no-overflow_true-termination.i 5.38 2.07  302247936 58.2 8 12 apollon033 5.63 2.19  297451520 52.4 8 12 apollon130 5.64 2.09  293076992 50.1 8 12 apollon153 5.45 2.07  299925504 55.0 8 12 apollon126 5.69 2.20  306601984 47.6 8 12 apollon104 5.73 2.10  306425856 50.1 8 12 apollon119
bitvector/interleave_bits_true-unreach-call_true-no-overflow.i 14.5  5.87  1020112896 152   3 4 apollon008 54.9  45.3   2494124032 691   3 4 apollon118 105    94.3   2578722816 1370   3 4 apollon082 255    241     2297724928 3500   3 4 apollon009 85.4  75.3   2458255360 1110   3 4 apollon004 25.5  15.7   2207473664 283   3 4 apollon102
bitvector/jain_1_true-unreach-call_true-no-overflow_false-termination.i 12.9  6.04  908722176 126   1 2 apollon087 52.8  45.9   1506168832 631   1 2 apollon042 103    95.6   1510899712 1560   1 2 apollon080 253    241     1582608384 3260   1 2 apollon075 83.0  76.0   1722093568 1040   1 2 apollon131 23.0  15.6   1088749568 264   1 2 apollon067
bitvector/jain_2_true-unreach-call_true-no-overflow_false-termination.i 12.9  6.53  967081984 142   1 2 apollon007 52.9  46.3   1612361728 535   1 2 apollon063 103    95.9   1530474496 1390   1 2 apollon031 253    242     1538019328 3290   1 2 apollon119 83.2  75.9   1319231488 1010   1 2 apollon025 23.4  16.8   1380761600 260   1 2 apollon062
bitvector/jain_4_true-unreach-call_true-no-overflow_false-termination.i 13.3  6.09  942796800 130   1 2 apollon135 53.1  45.7   1674727424 612   1 2 apollon002 103    95.0   1347432448 1240   1 2 apollon116 253    242     1633898496 3300   1 2 apollon135 83.3  75.3   1653927936 1170   1 2 apollon167 22.7  15.7   1576312832 253   1 2 apollon034
bitvector/jain_5_true-unreach-call_true-no-overflow.i 901    851     4731842560 11100   1 2 apollon027 901    840     6756188160 9890   1 2 apollon008 901    848     8128479232 10800   1 2 apollon036 902    855     8774750208 7870   1 2 apollon157 901    837     4090372096 7960   1 2 apollon152 903    869     5853454336 9710   1 2 apollon149
bitvector/jain_6_true-unreach-call_true-no-overflow_false-termination.i 13.0  6.56  1072377856 131   1 2 apollon012 53.0  45.6   1715875840 684   1 2 apollon022 103    95.2   1360953344 1540   1 2 apollon106 253    241     1610911744 3750   1 2 apollon159 83.5  75.2   1744785408 1010   1 2 apollon104 23.0  16.0   1175236608 262   1 2 apollon162
bitvector/jain_7_true-unreach-call_true-no-overflow_false-termination.i 14.7  7.55  963108864 149   1 2 apollon135 54.6  47.1   1697652736 741   1 2 apollon005 105    96.4   1670705152 1590   1 2 apollon161 255    242     1449500672 3290   1 2 apollon037 84.6  77.1   1652822016 985   1 2 apollon043 24.6  17.4   1436106752 322   1 2 apollon080
bitvector/modulus_true-unreach-call_true-no-overflow.i 901    857     878628864 13100   9 12 apollon069 901    868     1880162304 11000   11 12 apollon096 901    863     1457414144 13400   11 12 apollon161 901    866     3725934592 10700   11 12 apollon083 901    851     1110904832 11300   9 12 apollon168 901    881     1786953728 10600   11 12 apollon049
bitvector/num_conversion_1_true-unreach-call_true-no-overflow.i 5.52 2.01  291610624 49.3 5 6 apollon105 5.68 2.08  289927168 48.4 5 6 apollon107 5.33 2.02  280383488 46.1 5 6 apollon110 5.10 1.99  291192832 47.8 5 6 apollon052 5.34 2.05  292708352 48.0 5 6 apollon061 5.25 2.02  289615872 48.8 5 6 apollon070
bitvector/num_conversion_2_true-unreach-call_true-no-overflow.i 901    647     6953070592 9970   5 6 apollon087 901    568     8404623360 10300   5 6 apollon030 906    586     9285640192 10600   5 6 apollon125 901    609     9524318208 10500   5 6 apollon008 901    477     9702031360 9090   5 6 apollon130 901    739     8375648256 11200   5 6 apollon124
bitvector/parity_true-unreach-call_true-no-overflow.i 901    766     5759942656 11900   7 8 apollon167 682    551     5314191360 7480   7 8 apollon002 387    310     4570337280 4830   7 8 apollon020 361    226     6142275584 3510   7 8 apollon137 901    680     8612626432 9920   7 8 apollon037 265    225     2922004480 2970   7 8 apollon089
bitvector/sum02_true-unreach-call_true-no-overflow.i 3.49 1.53  262672384 31.1 apollon149 3.49 1.50  263049216 34.8 apollon019 3.75 1.51  273453056 34.6 apollon011 3.59 1.55  258592768 37.5 apollon027 3.60 1.53  259653632 32.5 apollon026 3.76 1.61  268644352 34.1 apollon109
bitvector/s3_clnt_1_false-unreach-call_true-no-overflow.BV.c.cil.c 84.5  43.4   2665365504 772   171 172 apollon116 116    65.3   2086424576 1350   171 172 apollon021 80.0  29.3   3242938368 661   171 172 apollon073 79.5  29.4   3556298752 638   171 172 apollon089 101    31.7   2955362304 830   171 172 apollon094 139    108     2520051712 1590   171 172 apollon049
bitvector/s3_clnt_2_false-unreach-call_true-no-overflow.BV.c.cil.c 88.4  48.1   2648309760 916   169 170 apollon084 81.0  36.6   2581602304 739   169 170 apollon025 115    45.1   4190216192 1020   169 170 apollon011 266    125     6953807872 2350   169 170 apollon150 108    41.5   4124758016 964   169 170 apollon055 75.4  50.0   1324380160 747   169 170 apollon029
bitvector/s3_clnt_3_false-unreach-call_true-no-overflow.BV.c.cil.c 901    603     8531632128 9040   124 172 apollon152 443    269     6619140096 4380   124 172 apollon096 158    81.9   4596785152 1400   124 172 apollon040 293    116     6888337408 2260   124 172 apollon115 731    351     10750455808 7090   124 172 apollon094 194    146     3766763520 2210   124 172 apollon061
bitvector/s3_clnt_1_true-unreach-call_true-no-overflow.BV.c.cil.c 99.2  56.4   2932965376 1020   147 172 apollon152 120    69.7   2861367296 1340   147 172 apollon028 85.5  31.0   3457134592 764   147 172 apollon126 71.4  29.1   2840674304 689   147 172 apollon019 75.1  29.1   2793140224 726   147 172 apollon126 125    91.3   2190999552 1430   147 172 apollon168
bitvector/s3_clnt_2_true-unreach-call_true-no-overflow.BV.c.cil.c 102    56.2   2640678912 976   143 170 apollon115 130    68.4   3354263552 1300   143 170 apollon019 79.1  28.2   2830012416 650   143 170 apollon025 79.5  28.5   3580862464 617   143 170 apollon116 75.8  27.7   2766073856 657   143 170 apollon032 122    89.0   2362466304 1360   143 170 apollon001
bitvector/s3_clnt_3_true-unreach-call_true-no-overflow.BV.c.cil.c 901    552     9232805888 8220   142 172 apollon035 926    482     11985018880 9040   145 172 apollon148 904    573     8884559872 9390   145 172 apollon024 458    298     5876428800 5220   145 172 apollon019 950    403     11262476288 6970   142 172 apollon060 901    763     7143313408 10200   145 172 apollon095
bitvector/s3_srvr_1_alt_true-unreach-call_true-no-overflow.BV.c.cil.c 901    827     4784685056 9770   191 194 apollon137 902    713     5618253824 9390   191 194 apollon083 902    705     5595516928 11300   191 194 apollon130 901    669     7888510976 8500   191 194 apollon054 902    651     6065684480 10400   191 194 apollon112 901    820     4953145344 8860   191 194 apollon029
bitvector/s3_srvr_1_true-unreach-call_true-no-overflow.BV.c.cil.c 901    789     5415542784 10400   150 192 apollon126 469    295     7046860800 5090   150 192 apollon077 447    272     7234232320 4800   150 192 apollon122 224    94.5   5501980672 2070   150 192 apollon019 857    480     8602226688 7890   150 192 apollon133 126    94.6   2724614144 1440   150 192 apollon152
bitvector/s3_srvr_2_alt_true-unreach-call_true-no-overflow_false-termination.BV.c.cil.c 902    597     8479109120 9100   173 192 apollon058 902    642     6781943808 10500   173 192 apollon136 901    623     7075827712 8980   174 192 apollon083 902    664     5998415872 9410   175 192 apollon053 902    589     6245699584 11400   173 192 apollon039 901    769     5388349440 10800   173 192 apollon074
bitvector/s3_srvr_2_true-unreach-call_true-no-overflow_false-termination.BV.c.cil.c 902    646     6200868864 11000   173 192 apollon122 902    637     6635823104 9460   173 192 apollon090 901    665     6340456448 9280   173 192 apollon041 902    637     6966018048 9380   175 192 apollon129 901    534     8143290368 9660   173 192 apollon140 902    783     5124005888 11200   175 192 apollon038
bitvector/s3_srvr_3_alt_true-unreach-call_true-no-overflow.BV.c.cil.c 735    631     5284253696 8710   149 192 apollon011 654    460     8105394176 6820   149 192 apollon124 627    422     7309295616 5490   149 192 apollon123 215    93.5   4968546304 2040   149 192 apollon091 901    468     10645585920 7630   148 192 apollon066 323    268     5009244160 3830   149 192 apollon142
bitvector/s3_srvr_3_true-unreach-call_true-no-overflow.BV.c.cil.c 857    754     5158301696 9540   149 192 apollon124 424    290     5732585472 4340   149 192 apollon075 642    414     8396554240 7650   149 192 apollon056 594    383     7977107456 5200   149 192 apollon002 851    507     8208961536 7380   149 192 apollon092 334    263     5172125696 3370   149 192 apollon002
bitvector/soft_float_1_true-unreach-call_true-no-overflow_true-termination.c.cil.c 23.1  8.53  675721216 215   51 74 apollon146 57.3  17.6   2135478272 478   51 74 apollon034 108    41.8   4035330048 986   51 74 apollon008 258    128     5260681216 2430   51 74 apollon162 86.4  36.2   4011343872 786   51 74 apollon078 30.6  10.0   896163840 267   51 74 apollon061
bitvector/soft_float_2_true-unreach-call_true-no-overflow_true-termination.c.cil.c 43.6  16.9   1155899392 415   33 48 apollon048 59.5  20.5   2641276928 482   33 48 apollon043 107    48.9   4443344896 957   33 48 apollon099 265    93.6   7114854400 1990   33 48 apollon072 88.1  35.0   3718701056 812   33 48 apollon070 30.8  10.4   967049216 284   33 48 apollon138
bitvector/soft_float_3_true-unreach-call_true-no-overflow_true-termination.c.cil.c 901    645     6270140416 12100   31 48 apollon021 901    633     7596310528 10800   31 48 apollon124 901    644     6764343296 10600   31 48 apollon145 901    686     5743828992 9960   31 48 apollon041 901    559     10039152640 11100   31 48 apollon160 901    771     5933617152 14000   31 48 apollon021
bitvector/soft_float_4_true-unreach-call_true-no-overflow_true-termination.c.cil.c 176    110     4302016512 1880   apollon070 722    582     5139423232 7920   25 42 apollon166 182    113     4456771584 1800   25 42 apollon042 341    203     5252444160 3580   25 42 apollon152 901    581     7719645184 9410   25 42 apollon146 907    800     4818710528 12300   25 42 apollon047
bitvector/soft_float_5_true-unreach-call_true-no-overflow_true-termination.c.cil.c 25.4  8.88  651005952 246   33 48 apollon007 58.3  18.0   2285113344 500   33 48 apollon119 109    42.2   4517240832 1000   33 48 apollon009 257    109     6533615616 2010   33 48 apollon043 89.7  29.8   3480727552 740   33 48 apollon142 30.5  10.1   1021067264 253   33 48 apollon110
bitvector-regression/implicitfloatconversion_false-unreach-call_true-termination.c 3.56 1.51  261095424 34.2 1 2 apollon167 3.45 1.49  258576384 36.4 1 2 apollon056 3.58 1.47  266018816 34.2 1 2 apollon146 3.37 1.45  258699264 31.1 1 2 apollon026 3.43 1.52  256716800 33.4 1 2 apollon077 3.43 1.54  261570560 33.2 1 2 apollon032
bitvector-regression/implicitunsignedconversion_false-unreach-call_true-termination.c 3.35 1.50  261611520 31.4 1 2 apollon142 3.35 1.49  262467584 31.0 1 2 apollon119 3.52 1.52  262311936 31.8 1 2 apollon129 3.51 1.48  261578752 30.9 1 2 apollon149 3.43 1.47  266391552 31.3 1 2 apollon090 3.39 1.49  263188480 31.4 1 2 apollon072
bitvector-regression/integerpromotion_false-unreach-call_true-termination.c 3.54 1.54  265592832 29.2 1 2 apollon123 3.56 1.54  266063872 28.9 1 2 apollon040 3.42 1.46  262414336 32.9 1 2 apollon015 3.51 1.48  267943936 29.3 1 2 apollon123 3.69 1.55  265707520 37.2 1 2 apollon030 3.49 1.51  260227072 32.0 1 2 apollon113
bitvector-regression/recHanoi03_false-unreach-call_true-termination.c 112    80.4   14999998464 1250   apollon038 110    80.7   14999998464 1190   apollon050 118    85.1   14999998464 1270   apollon008 111    81.2   14999998464 1140   apollon143 110    81.0   14999998464 1420   apollon030 114    82.1   14999998464 1260   apollon093
bitvector-regression/signextension2_false-unreach-call_true-termination.c 4.17 1.68  270979072 40.9 4 8 apollon069 4.25 1.68  273145856 37.3 4 8 apollon062 4.04 1.64  268505088 37.9 4 8 apollon102 4.12 1.69  266051584 34.4 4 8 apollon134 4.26 1.69  273793024 43.5 4 8 apollon036 4.07 1.67  267137024 41.6 4 8 apollon126
bitvector-regression/signextension_false-unreach-call_true-termination.c 4.23 1.77  272564224 37.2 4 8 apollon095 4.34 1.72  275521536 41.3 4 8 apollon048 4.22 1.67  273575936 37.2 4 8 apollon025 4.00 1.71  272125952 37.3 4 8 apollon061 4.28 1.71  274817024 38.4 4 8 apollon097 4.07 1.72  268304384 39.5 4 8 apollon145
bitvector-regression/implicitunsignedconversion_true-unreach-call_true-termination.c 3.44 1.49  259600384 32.1 1 2 apollon051 3.50 1.52  263360512 31.1 1 2 apollon129 3.33 1.46  262438912 32.1 1 2 apollon005 3.49 1.48  260521984 36.3 1 2 apollon163 3.45 1.47  265531392 34.5 1 2 apollon048 3.37 1.49  260681728 33.7 1 2 apollon130
bitvector-regression/integerpromotion_true-unreach-call_true-termination.c 3.52 1.48  270352384 36.0 1 2 apollon163 3.35 1.47  258191360 30.4 1 2 apollon166 3.45 1.49  265228288 33.5 1 2 apollon067 3.66 1.52  268607488 36.4 1 2 apollon030 3.57 1.47  265601024 30.5 1 2 apollon089 3.53 1.47  267735040 31.1 1 2 apollon079
bitvector-regression/signextension2_true-unreach-call_true-termination.c 3.97 1.64  264757248 39.4 4 8 apollon064 4.02 1.67  269725696 41.8 4 8 apollon125 4.33 1.69  268189696 36.5 4 8 apollon137 4.35 1.72  269344768 40.6 4 8 apollon091 4.21 1.67  274690048 39.5 4 8 apollon101 4.49 1.80  274800640 38.3 4 8 apollon110
bitvector-regression/signextension_true-unreach-call_true-termination.c 4.15 1.71  267837440 38.6 4 8 apollon102 4.11 1.70  264343552 40.9 4 8 apollon101 4.18 1.71  268120064 37.0 4 8 apollon002 4.11 1.69  268541952 37.3 4 8 apollon034 4.02 1.67  273575936 37.5 4 8 apollon071 4.18 1.65  273117184 42.8 4 8 apollon039
bitvector-loops/diamond_false-unreach-call2.i 17.1  4.94  511033344 138   24 24 apollon110 57.2  17.1   2296905728 508   24 24 apollon068 105    39.0   4637454336 859   24 24 apollon149 255    113     5672730624 2540   24 24 apollon044 86.5  28.2   4061941760 690   24 24 apollon129 26.2  7.44  931274752 226   24 24 apollon006
bitvector-loops/overflow_false-unreach-call1.i 901    864     4738469888 10500   1 4 apollon062 901    865     5139460096 9780   1 4 apollon040 901    863     5396500480 10300   1 4 apollon062 901    870     4815331328 11100   1 4 apollon094 901    864     4046581760 11300   1 4 apollon122 903    869     6438526976 12300   1 4 apollon125
bitvector-loops/verisec_sendmail__tTflag_arr_one_loop_false-unreach-call_true-termination.i 97.7  58.4   2580398080 1040   8 8 apollon082 114    66.5   2722607104 1190   8 8 apollon097 79.4  24.9   3690770432 665   8 8 apollon031 79.1  25.0   2790993920 709   8 8 apollon163 81.1  24.9   2863620096 628   8 8 apollon086 120    87.0   1518170112 1550   8 8 apollon163
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c 49.3  20.1   1218080768 452   257 350 apollon103 80.6  36.4   2738634752 730   257 350 apollon037 131    57.4   5162446848 1270   257 350 apollon155 283    131     6593433600 2480   257 350 apollon034 115    43.5   4136243200 980   257 350 apollon147 57.0  28.0   1523363840 537   257 350 apollon144
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c 43.6  16.4   1170587648 364   136 174 apollon013 69.6  21.1   2178707456 548   136 174 apollon074 59.7  19.5   2957701120 547   136 174 apollon108 59.2  19.1   2418696192 527   136 174 apollon124 58.5  18.9   2591326208 499   136 174 apollon135 40.1  16.8   1132003328 377   136 174 apollon012
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c 51.8  20.6   1544757248 457   214 254 apollon058 73.8  27.3   2106023936 613   214 254 apollon037 85.7  29.0   3721265152 704   214 254 apollon074 72.5  27.7   2926952448 632   214 254 apollon023 104    32.9   3403116544 866   214 254 apollon126 48.1  22.8   1178718208 423   214 254 apollon139
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c 29.6  8.77  820183040 253   97 138 apollon061 41.2  11.6   1792548864 317   97 138 apollon040 50.9  12.8   1996300288 392   97 138 apollon131 47.6  11.9   1733206016 399   97 138 apollon148 43.1  12.4   1810415616 372   97 138 apollon076 30.9  10.5   1072775168 258   97 138 apollon013
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 47.9  19.8   1262297088 404   255 348 apollon143 79.5  33.5   2507747328 751   255 348 apollon155 131    55.8   4343480320 1050   255 348 apollon098 283    125     6392332288 2720   255 348 apollon159 120    41.0   3349807104 977   255 348 apollon076 54.0  26.8   1265324032 538   255 348 apollon091
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 45.5  16.4   1357066240 414   108 164 apollon051 68.8  23.8   2599505920 580   108 164 apollon095 118    47.4   4415156224 967   108 164 apollon040 269    126     5192081408 2390   108 164 apollon026 97.0  31.6   3684921344 750   108 164 apollon150 43.3  16.3   1263419392 431   108 164 apollon160
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c 40.9  15.3   1131569152 342   136 174 apollon139 63.6  19.7   1955315712 494   136 174 apollon154 62.5  19.3   2500014080 507   136 174 apollon073 56.1  19.1   2392928256 489   136 174 apollon078 63.5  19.8   3052969984 587   136 174 apollon111 38.8  17.1   1070485504 417   136 174 apollon033
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c 49.2  22.0   1137102848 462   214 254 apollon090 71.5  28.1   2223468544 700   214 254 apollon033 75.8  27.6   2850516992 683   214 254 apollon076 73.8  27.8   3091554304 689   214 254 apollon010 88.6  29.2   2747461632 692   214 254 apollon075 50.6  22.9   1235783680 444   214 254 apollon013
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 19.5  5.65  654831616 151   51 82 apollon041 28.5  7.73  1151995904 253   51 82 apollon164 30.3  7.63  1141018624 246   51 82 apollon037 33.3  8.20  1104334848 291   51 82 apollon039 29.3  7.65  1166741504 254   51 82 apollon076 31.7  7.77  1090293760 272   51 82 apollon057
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c 28.5  8.45  849252352 245   93 134 apollon135 40.7  11.2   1333170176 341   93 134 apollon071 44.2  11.2   1721147392 357   93 134 apollon046 44.6  11.4   1982365696 355   93 134 apollon102 46.7  11.5   1991872512 379   93 134 apollon136 36.1  10.4   1106292736 297   93 134 apollon132
ssh-simplified/s3_clnt_1_false-unreach-call_true-termination.cil.c 105    51.9   3379253248 965   145 170 apollon090 112    63.4   2897883136 1130   145 170 apollon166 90.6  27.4   3303710720 753   145 170 apollon033 81.7  26.2   3470020608 652   145 170 apollon135 131    45.0   3921182720 1110   145 170 apollon016 114    82.7   1983926272 1320   145 170 apollon067
ssh-simplified/s3_clnt_2_false-unreach-call_true-termination.cil.c 99.5  50.5   3010039808 964   144 170 apollon156 120    62.0   2882166784 1190   144 170 apollon141 79.9  25.9   2608967680 632   144 170 apollon107 69.5  25.0   2779856896 648   144 170 apollon068 75.7  25.5   2739855360 653   144 170 apollon118 114    83.4   2945503232 1440   144 170 apollon027
ssh-simplified/s3_clnt_3_false-unreach-call_true-termination.cil.c 902    605     9364688896 9920   135 170 apollon167 901    525     10317275136 8080   144 170 apollon049 923    555     9285120000 8600   144 170 apollon009 380    184     7777394688 3140   144 170 apollon035 901    466     10284466176 7110   141 170 apollon123 901    748     5835419648 12000   144 170 apollon057
ssh-simplified/s3_clnt_4_false-unreach-call_true-termination.cil.c 95.3  52.7   2430107648 844   144 170 apollon158 111    61.4   2577416192 1240   144 170 apollon047 72.9  25.3   2262601728 649   144 170 apollon032 80.0  26.3   2695766016 732   144 170 apollon125 73.2  25.2   2354880512 669   144 170 apollon068 114    82.6   2191605760 1240   144 170 apollon103
ssh-simplified/s3_srvr_10_false-unreach-call_false-termination.cil.c 114    61.8   3009167360 1140   141 200 apollon147 221    155     3519234048 2610   141 200 apollon167 86.6  28.4   2992148480 763   141 200 apollon164 82.4  27.5   3166461952 730   141 200 apollon009 113    47.5   4055584768 1120   141 200 apollon122 209    177     3480993792 2340   141 200 apollon090
ssh-simplified/s3_srvr_11_false-unreach-call_false-termination.cil.c 903    620     9476210688 10500   161 208 apollon088 901    615     6747230208 9210   154 208 apollon051 901    544     11428462592 9510   163 208 apollon140 441    237     7259570176 3640   163 208 apollon143 901    519     8984961024 8350   161 208 apollon026 901    762     6275481600 10700   163 208 apollon071
ssh-simplified/s3_srvr_12_false-unreach-call_false-termination.cil.c 924    595     7822299136 9870   162 242 apollon112 902    549     9726177280 8370   185 242 apollon150 903    576     8640843776 10000   184 242 apollon094 901    628     8062590976 9090   187 242 apollon037 917    483     10186190848 8150   144 242 apollon001 901    736     6261780480 9200   184 242 apollon023
ssh-simplified/s3_srvr_13_false-unreach-call_false-termination.cil.c 901    634     6604918784 10000   147 214 apollon126 903    574     9106489344 8740   133 214 apollon062 902    661     7010983936 9640   162 214 apollon124 902    611     8296763392 9330   160 214 apollon009 925    497     8975781888 8960   162 214 apollon164 901    821     5366145024 10600   161 214 apollon047
ssh-simplified/s3_srvr_14_false-unreach-call_false-termination.cil.c 934    589     8307916800 8200   101 212 apollon092 901    599     8767275008 8450   125 212 apollon100 902    553     9078992896 9360   131 212 apollon033 902    608     8229941248 8660   157 212 apollon045 902    485     8654974976 8070   116 212 apollon131 901    735     6297190400 9140   126 212 apollon041
ssh-simplified/s3_srvr_1_false-unreach-call_false-termination.cil.c 645    397     14999998464 5810   apollon128 901    586     7889367040 9480   133 192 apollon046 902    576     8458121216 9640   137 192 apollon126 521    315     7528726528 5100   137 192 apollon032 940    499     8155955200 7900   123 192 apollon117 901    721     7100186624 9920   117 192 apollon146
ssh-simplified/s3_srvr_2_false-unreach-call_false-termination.cil.c 902    563     11390230528 9200   127 192 apollon017 902    582     7612833792 8760   130 192 apollon058 934    564     9717641216 8940   136 192 apollon162 468    313     6059192320 5070   136 192 apollon147 901    461     9232637952 8690   122 192 apollon065 902    742     5918150656 12300   136 192 apollon057
ssh-simplified/s3_srvr_6_false-unreach-call_false-termination.cil.c 901    632     6776934400 9480   170 228 apollon124 901    593     7953055744 8970   172 228 apollon034 902    589     9092141056 8880   173 228 apollon133 902    603     9531064320 10300   176 228 apollon094 903    525     8509714432 8860   159 228 apollon055 901    752     7663587328 9830   175 228 apollon153
ssh-simplified/s3_clnt_1_true-unreach-call_true-termination.cil.c 112    68.9   3248918528 1230   145 170 apollon114 113    66.2   2575110144 1230   145 170 apollon091 79.9  29.0   3022757888 672   145 170 apollon018 87.3  30.1   3414941696 686   145 170 apollon062 108    47.7   3136966656 931   145 170 apollon003 124    90.0   2507116544 1540   145 170 apollon033
ssh-simplified/s3_clnt_2_true-unreach-call_true-termination.cil.c 94.7  53.8   2599231488 916   143 170 apollon086 116    63.2   2872967168 1150   143 170 apollon153 80.2  29.3   3997552640 752   143 170 apollon125 74.5  28.5   2429009920 732   143 170 apollon122 70.8  28.7   3037253632 666   143 170 apollon022 117    88.0   1944035328 1180   143 170 apollon123
ssh-simplified/s3_clnt_3_true-unreach-call_true-termination.cil.c 903    631     7456215040 9400   134 170 apollon141 901    601     8430485504 8320   141 170 apollon116 902    582     8373039104 8650   143 170 apollon072 447    283     7153410048 4400   143 170 apollon103 901    470     9713680384 8120   140 170 apollon102 901    761     6072070144 11500   141 170 apollon161
ssh-simplified/s3_clnt_4_true-unreach-call_true-termination.cil.c 97.5  53.5   3550490624 916   143 170 apollon066 114    65.3   2982785024 1070   143 170 apollon139 67.7  28.5   3042713600 657   143 170 apollon152 81.1  29.2   2879672320 712   143 170 apollon065 118    45.4   3434332160 994   143 170 apollon046 119    88.1   1963618304 1430   143 170 apollon124
ssh-simplified/s3_srvr_1_true-unreach-call_false-termination.cil.c 902    565     10283528192 8690   143 192 apollon032 923    573     9528619008 7950   145 192 apollon151 937    579     9656541184 9390   149 192 apollon124 417    226     7855017984 4170   149 192 apollon126 903    487     9689088000 8910   133 192 apollon132 901    757     6363246592 9520   143 192 apollon166
ssh-simplified/s3_srvr_1a_true-unreach-call_false-termination.cil.c 22.6  6.62  742420480 186   53 58 apollon133 21.0  5.47  746807296 169   53 58 apollon147 18.9  5.17  682725376 156   53 58 apollon095 21.2  5.55  741859328 182   53 58 apollon047 18.8  5.11  684228608 155   53 58 apollon150 18.8  5.16  675667968 149   53 58 apollon001
ssh-simplified/s3_srvr_1b_true-unreach-call_false-termination.cil.c 9.12 2.89  451280896 79.7 25 30 apollon076 9.01 2.82  441958400 70.9 25 30 apollon043 9.42 3.04  447197184 78.5 25 30 apollon042 9.15 2.90  441090048 84.7 25 30 apollon027 8.88 2.85  433844224 81.0 25 30 apollon114 9.06 2.83  345415680 74.0 25 30 apollon018
ssh-simplified/s3_srvr_2_true-unreach-call_false-termination.cil.c 901    590     7469121536 9220   129 192 apollon061 901    601     8090038272 8790   145 192 apollon131 909    588     9169612800 8640   146 192 apollon025 473    304     6743797760 4740   147 192 apollon154 903    476     9545281536 8230   122 192 apollon135 901    750     6712238080 10500   145 192 apollon126
ssh-simplified/s3_srvr_3_true-unreach-call_false-termination.cil.c 544    346     14999998464 5490   apollon135 902    569     9184612352 8770   137 192 apollon145 902    625     6731157504 9310   148 192 apollon097 467    262     7247806464 4400   148 192 apollon038 901    443     9352572928 7620   118 192 apollon045 901    765     6430818304 10200   148 192 apollon001
ssh-simplified/s3_srvr_4_true-unreach-call_false-termination.cil.c 901    593     8303423488 8640   112 192 apollon115 901    556     8544587776 8340   132 192 apollon115 902    609     7719571456 10300   146 192 apollon130 902    679     7019343872 9290   146 192 apollon131 952    475     11151388672 9330   118 192 apollon027 901    740     7147978752 10200   146 192 apollon141
ssh-simplified/s3_srvr_6_true-unreach-call_false-termination.cil.c 901    583     8273580032 9640   144 226 apollon008 901    592     8189378560 9240   147 226 apollon038 902    522     10747817984 8000   142 226 apollon131 902    574     9920405504 8350   173 226 apollon053 901    490     8201617408 8390   139 226 apollon095 901    742     6404190208 12500   132 226 apollon056
ssh-simplified/s3_srvr_7_true-unreach-call_false-termination.cil.c 901    591     7848960000 8640   114 202 apollon022 901    602     7169257472 9910   123 202 apollon006 903    596     7486894080 10300   152 202 apollon014 902    692     8214847488 8900   156 202 apollon143 901    470     10245996544 8290   136 202 apollon096 901    748     7141949440 9320   152 202 apollon137
ssh-simplified/s3_srvr_8_true-unreach-call_false-termination.cil.c 901    503     11386429440 7730   110 204 apollon127 901    627     6820950016 9520   139 204 apollon152 902    586     7524737024 8870   150 204 apollon074 501    304     7647940608 5680   150 204 apollon030 904    416     10825916416 7010   142 204 apollon134 901    740     6724345856 10100   147 204 apollon082
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c 901    825     3080937472 11500   32 86 apollon118 901    753     5001359360 10900   36 86 apollon067 903    764     5356359680 10400   36 86 apollon154 901    782     6200123392 11000   38 86 apollon082 904    826     4080742400 11500   36 86 apollon108 901    747     5394587648 12300   34 86 apollon088
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c 902    847     3976929280 13000   32 92 apollon027 901    755     5001613312 10700   35 92 apollon121 903    760     5289263104 11600   37 92 apollon024 901    762     6390231040 10400   38 92 apollon090 904    829     4028973056 11300   36 92 apollon009 901    730     5381070848 11100   33 92 apollon084
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c 901    839     3921162240 13900   52 62 apollon160 29.5  13.7   1317199872 291   52 62 apollon076 31.3  14.0   1287065600 288   52 62 apollon001 30.5  13.8   1334288384 309   52 62 apollon130 30.8  14.2   1361645568 285   52 62 apollon075 901    759     5213392896 13100   52 62 apollon021
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c 901    838     4025917440 13300   46 68 apollon125 901    767     5127213056 13000   57 68 apollon161 61.6  41.8   2273091584 729   57 68 apollon006 59.6  41.7   2240937984 705   57 68 apollon138 61.3  42.5   2264252416 760   57 68 apollon008 901    733     5392809984 10500   57 68 apollon034
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c 902    848     3971502080 12800   34 74 apollon007 902    742     4989775872 9630   51 74 apollon139 902    730     5417705472 10900   62 74 apollon071 186    160     3746488320 2140   62 74 apollon003 901    812     4109230080 11400   62 74 apollon152 902    716     5203046400 10400   40 74 apollon131
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c 901    842     3988287488 12500   33 80 apollon010 901    753     4990468096 12800   38 80 apollon021 903    742     5498712064 10100   44 80 apollon109 901    754     6416969728 9590   60 80 apollon139 902    824     4036747264 11000   apollon119 901    704     5287026688 12200   35 80 apollon044
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c 901    827     3598647296 10700   32 86 apollon100 901    748     5007396864 10900   36 86 apollon070 903    754     5337935872 11300   38 86 apollon114 901    766     6364790784 9640   41 86 apollon143 904    824     4112621568 10200   37 86 apollon060 901    715     5387280384 10600   34 86 apollon119
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c 901    840     3980591104 11000   32 92 apollon035 901    753     4953309184 11000   35 92 apollon061 904    761     5445214208 11000   37 92 apollon113 901    767     6345650176 9790   39 92 apollon134 904    822     4101472256 11100   37 92 apollon096 901    722     5429211136 11100   33 92 apollon101
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c 9.73 3.04  454144000 88.5 27 32 apollon141 9.94 3.04  350523392 86.1 27 32 apollon004 10.3  3.17  460664832 83.1 27 32 apollon023 9.89 3.08  456114176 84.3 27 32 apollon131 9.67 3.00  451170304 89.4 27 32 apollon069 10.5  3.20  478605312 88.0 27 32 apollon113
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c 12.2  3.55  539389952 98.5 32 38 apollon073 11.7  3.43  544788480 97.3 32 38 apollon090 11.6  3.43  482906112 98.5 32 38 apollon061 12.0  3.54  429305856 113   32 38 apollon033 12.2  3.59  544931840 104   32 38 apollon153 11.7  3.45  488038400 102   32 38 apollon166
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c 13.3  3.91  538189824 116   37 44 apollon140 14.0  4.07  543821824 110   37 44 apollon104 13.6  3.95  501608448 105   37 44 apollon134 13.6  3.93  541868032 116   37 44 apollon078 13.7  4.04  531709952 117   37 44 apollon120 14.0  4.15  492572672 122   37 44 apollon153
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c 28.5  11.6   1281929216 294   42 50 apollon106 16.3  4.91  683896832 140   42 50 apollon087 17.3  5.20  688492544 145   42 50 apollon095 17.2  4.96  702308352 139   42 50 apollon029 16.3  4.80  687706112 142   42 50 apollon017 16.5  4.82  679337984 134   42 50 apollon139
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c 54.7  31.7   1966112768 588   47 56 apollon017 21.3  7.11  832110592 175   47 56 apollon128 21.3  7.05  864874496 171   47 56 apollon041 21.2  6.94  933588992 201   47 56 apollon059 22.2  6.97  819265536 187   47 56 apollon026 22.1  7.15  836112384 198   47 56 apollon153
ntdrivers/cdaudio_false-unreach-call.i.cil.c 901    752     6549655552 9450   5 930 apollon151 906    817     7005736960 11700   11 930 apollon084 902    808     5769875456 11600   21 930 apollon046 903    819     5116538880 10900   22 930 apollon110 901    783     5880471552 11900   20 930 apollon132 906    837     5178478592 10200   18 930 apollon134
ntdrivers/diskperf_false-unreach-call.i.cil.c 901    858     1244151808 8450   113 268 apollon123 86.3  69.1   1076346880 1070   122 268 apollon065 137    118     1246191616 1680   122 268 apollon142 281    257     1433812992 3390   122 268 apollon105 902    757     7035949056 12000   122 268 apollon016 58.1  43.8   672092160 795   122 268 apollon056
ntdrivers/floppy_false-unreach-call.i.cil.c 901    844     2599690240 10700   211 1098 apollon150 903    847     3499507712 12700   252 1098 apollon125 903    839     3680112640 11200   258 1098 apollon085 901    844     2805760000 10200   248 1098 apollon060 901    812     4546420736 11000   226 1098 apollon085 901    857     2446503936 12200   306 1098 apollon047
ntdrivers/kbfiltr_false-unreach-call.i.cil.c 63.7  37.4   976994304 691   114 204 apollon084 77.0  46.2   1133096960 870   114 204 apollon141 114    74.0   1603960832 1240   114 204 apollon037 132    87.2   2004516864 1570   114 204 apollon140 106    65.6   1546145792 1120   114 204 apollon012 56.6  36.4   693030912 560   114 204 apollon098
ntdrivers/parport_false-unreach-call.i.cil.c 915    676     5697282048 10400   222 1058 apollon087 901    635     9198800896 9960   307 1058 apollon153 920    663     7966363648 9820   309 1058 apollon062 902    654     6929559552 10300   314 1058 apollon071 901    606     9260650496 9150   309 1058 apollon154 901    681     5352079360 11500   275 1058 apollon130
ntdrivers/cdaudio_true-unreach-call.i.cil.c 78.9  40.5   1856831488 901   258 924 apollon125 102    56.4   2318086144 981   258 924 apollon037 103    46.4   4132036608 938   apollon086 104    46.3   3985596416 986   apollon071 115    56.5   4135088128 1110   258 924 apollon156 74.5  46.6   1353715712 768   258 924 apollon110
ntdrivers/diskperf_true-unreach-call.i.cil.c 901    839     4512120832 11000   2 280 apollon143 901    861     4075393024 12600   2 280 apollon031 901    855     3545182208 11300   2 280 apollon041 901    859     2652024832 12200   2 280 apollon055 901    856     3998310400 14600   2 280 apollon160 901    854     4347076608 11900   2 280 apollon157
ntdrivers/floppy2_true-unreach-call_true-termination.i.cil.c 901    752     5248847872 10800   175 1208 apollon141 901    775     5200621568 11800   337 1208 apollon167 803    685     5234253824 8250   353 1208 apollon139 852    742     5086257152 9960   353 1208 apollon097 901    707     6161129472 12200   186 1208 apollon044 901    785     5373501440 11100   352 1208 apollon006
ntdrivers/floppy_true-unreach-call_true-valid-memsafety.i.cil.c 902    845     2516246528 12000   213 1104 apollon164 912    856     3089113088 12800   apollon069 901    839     3315752960 12600   266 1104 apollon036 902    842     2875191296 12300   250 1104 apollon122 901    819     4367093760 13400   230 1104 apollon039 901    858     2318598144 11300   313 1104 apollon031
ntdrivers/parport_true-unreach-call.i.cil.c 901    641     7068033024 12100   232 1064 apollon039 901    661     6993702912 9720   313 1064 apollon166 902    675     6868586496 9940   316 1064 apollon107 927    648     7138275328 9320   319 1064 apollon002 901    682     6018088960 10200   314 1064 apollon037 901    677     5483089920 10200   288 1064 apollon156
ssh/s3_clnt.blast.01_false-unreach-call.i.cil.c 901    762     5497233408 10000   115 172 apollon078 901    741     6210367488 11400   82 172 apollon033 901    756     5462421504 9990   82 172 apollon099 901    750     5186469888 11800   82 172 apollon077 901    682     5862895616 12500   82 172 apollon056 901    824     4501733376 9980   130 172 apollon037
ssh/s3_clnt.blast.02_false-unreach-call.i.cil.c 901    771     5991665664 10700   112 174 apollon141 901    743     4733140992 10500   84 174 apollon105 901    749     6337019904 11500   84 174 apollon126 901    743     4970962944 10200   84 174 apollon079 901    699     6230474752 11100   84 174 apollon006 901    825     4521246720 8980   83 174 apollon158
ssh/s3_clnt.blast.03_false-unreach-call.i.cil.c 901    780     5496160256 11200   120 174 apollon052 901    764     4887547904 11200   84 174 apollon048 901    749     4837588992 12900   84 174 apollon160 901    752     5215002624 10300   84 174 apollon079 901    690     5343162368 12000   84 174 apollon036 901    830     4567285760 11100   83 174 apollon020
ssh/s3_clnt.blast.04_false-unreach-call.i.cil.c 901    771     5535154176 11500   85 174 apollon132 901    753     5098909696 10100   84 174 apollon023 901    748     4850946048 11500   84 174 apollon005 901    751     5621760000 11400   84 174 apollon024 901    702     5278285824 11600   84 174 apollon122 901    831     4550393856 11700   83 174 apollon122
ssh/s3_srvr.blast.01_false-unreach-call.i.cil.c 901    761     5925638144 11300   123 198 apollon068 901    786     5410603008 10500   122 198 apollon045 901    787     4730015744 11000   122 198 apollon156 901    812     4703395840 12500   122 198 apollon077 901    732     5772492800 8530   122 198 apollon063 901    829     4469796864 11600   122 198 apollon052
ssh/s3_srvr.blast.02_false-unreach-call.i.cil.c 901    768     5757931520 10100   121 198 apollon115 901    787     4960747520 10500   121 198 apollon157 901    789     4832149504 10000   121 198 apollon043 901    811     5126914048 10600   121 198 apollon137 901    710     6429851648 9580   121 198 apollon040 901    834     4475289600 11200   121 198 apollon082
ssh/s3_srvr.blast.03_false-unreach-call.i.cil.c 901    767     5657206784 12900   121 198 apollon021 901    790     4760559616 13500   121 198 apollon056 906    772     5671014400 11700   121 198 apollon159 901    814     4705976320 11000   121 198 apollon050 901    730     5803331584 12200   121 198 apollon008 901    826     4435722240 12500   121 198 apollon130
ssh/s3_srvr.blast.04_false-unreach-call.i.cil.c 901    759     5813334016 11200   121 198 apollon159 901    784     4667109376 10800   121 198 apollon097 901    779     4870799360 11200   121 198 apollon038 901    816     4673392640 12700   121 198 apollon130 901    749     4968333312 12400   121 198 apollon008 901    830     4862947328 10500   121 198 apollon103
ssh/s3_srvr.blast.06_false-unreach-call.i.cil.c 901    775     5083107328 10100   104 230 apollon134 901    782     4850806784 10200   103 230 apollon060 901    772     5548171264 10900   103 230 apollon095 901    808     4767674368 12100   103 230 apollon024 901    721     6643036160 11400   103 230 apollon006 901    833     4562821120 10600   105 230 apollon045
ssh/s3_srvr.blast.07_false-unreach-call.i.cil.c 901    769     5008924672 10600   120 208 apollon074 901    782     4975808512 12400   105 208 apollon069 901    780     5018849280 12000   116 208 apollon155 901    808     4679634944 11900   98 208 apollon046 901    727     5831991296 10600   111 208 apollon165 901    825     4589613056 10600   122 208 apollon079
ssh/s3_srvr.blast.08_false-unreach-call.i.cil.c 901    766     5777752064 12200   124 208 apollon088 901    765     5631270912 11400   96 208 apollon114 901    772     5254750208 10700   94 208 apollon131 901    810     4685701120 11200   94 208 apollon135 901    727     5035429888 9810   95 208 apollon117 901    828     4563075072 12400   119 208 apollon027
ssh/s3_srvr.blast.09_false-unreach-call.i.cil.c 901    759     5340487680 10400   117 208 apollon107 901    774     4821299200 12400   105 208 apollon014 902    787     4810334208 13400   116 208 apollon160 901    805     5355417600 10500   98 208 apollon099 901    716     6285225984 10000   111 208 apollon042 901    828     4740268032 12700   147 208 apollon080
ssh/s3_srvr.blast.10_false-unreach-call.i.cil.c 901    754     5090603008 11400   124 202 apollon164 901    782     4752887808 11100   95 202 apollon018 901    772     5476458496 11600   94 202 apollon046 901    808     4755845120 12900   94 202 apollon148 901    729     5989699584 11200   96 202 apollon114 901    831     4505661440 10700   96 202 apollon062
ssh/s3_srvr.blast.11_false-unreach-call.i.cil.c 901    753     5980950528 9930   133 208 apollon053 901    783     4792094720 11100   105 208 apollon087 901    778     5442744320 10500   116 208 apollon023 901    805     4715282432 10900   98 208 apollon131 901    732     5786656768 9990   111 208 apollon116 901    819     4992450560 11100   134 208 apollon038
ssh/s3_srvr.blast.12_false-unreach-call.i.cil.c 901    764     5043298304 9530   134 212 apollon098 901    772     5954592768 11700   97 212 apollon136 901    786     4792647680 11000   97 212 apollon135 901    809     4954714112 11600   97 212 apollon146 901    727     6737211392 9880   97 212 apollon149 901    819     4579590144 10700   99 212 apollon026
ssh/s3_srvr.blast.13_false-unreach-call.i.cil.c 901    759     5745590272 10700   134 208 apollon076 901    781     4871086080 10600   105 208 apollon103 901    775     4811501568 11000   116 208 apollon022 901    803     4745854976 11300   98 208 apollon168 901    721     6520979456 11800   111 208 apollon130 901    824     5125193728 12400   120 208 apollon130
ssh/s3_srvr.blast.14_false-unreach-call.i.cil.c 901    766     4903800832 9520   124 218 apollon092 901    784     4821008384 9990   99 218 apollon043 901    787     4757192704 10100   99 218 apollon128 901    807     4869255168 11100   99 218 apollon120 901    734     5654073344 10800   99 218 apollon153 901    824     4385230848 11000   101 218 apollon133
ssh/s3_srvr.blast.15_false-unreach-call.i.cil.c 901    774     5355978752 12300   124 214 apollon088 901    776     5478313984 10400   95 214 apollon023 901    773     5056798720 11200   94 214 apollon096 901    812     4776505344 11300   94 214 apollon165 901    736     5664354304 11800   96 214 apollon077 901    830     4526444544 11000   119 214 apollon152
ssh/s3_srvr.blast.16_false-unreach-call.i.cil.c 901    772     5143072768 12100   118 224 apollon130 901    768     4846821376 9960   101 224 apollon143 901    780     5456015360 11200   101 224 apollon145 901    806     5149990912 10600   101 224 apollon099 901    732     5491793920 9780   101 224 apollon098 901    825     4587307008 11300   103 224 apollon038
ssh/s3_clnt.blast.01_true-unreach-call.i.cil.c 901    781     5408276480 12000   115 172 apollon069 901    738     4852404224 11600   82 172 apollon163 901    742     4855996416 10100   82 172 apollon086 901    759     4963680256 10400   82 172 apollon032 901    701     6054801408 11700   82 172 apollon094 901    828     4603580416 10100   130 172 apollon023
ssh/s3_clnt.blast.02_true-unreach-call.i.cil.c 901    774     5434032128 11000   102 174 apollon017 901    750     4856995840 9800   84 174 apollon002 901    763     5050900480 10600   84 174 apollon022 901    749     5236580352 11500   84 174 apollon064 901    694     6948425728 9690   84 174 apollon109 901    831     4537327616 12300   79 174 apollon140
ssh/s3_clnt.blast.03_true-unreach-call.i.cil.c 901    776     5319761920 11500   106 174 apollon007 901    755     4960059392 11600   84 174 apollon108 915    736     5708967936 9950   84 174 apollon109 901    758     4921491456 12300   84 174 apollon030 901    681     5824667648 11600   84 174 apollon125 901    824     4850057216 10600   81 174 apollon096
ssh/s3_clnt.blast.04_true-unreach-call.i.cil.c 901    775     5802110976 9790   119 174 apollon157 901    745     5201313792 11500   84 174 apollon033 901    752     4864954368 11000   84 174 apollon071 901    752     5716320256 11600   84 174 apollon028 901    691     5897695232 9750   84 174 apollon066 901    824     4526817280 11200   83 174 apollon142
ssh/s3_srvr.blast.01_true-unreach-call.i.cil.c 901    767     5400113152 11700   120 198 apollon005 901    779     5410791424 10600   108 198 apollon058 901    787     4793729024 10700   130 198 apollon078 901    810     4776153088 12600   120 198 apollon027