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-continue_10_10 test-generation_50_50.V+P-Test-continue_50_50 test-generation_100_100.V+P-Test-cmc-uni-vp-reuse_100_100 test-generation_250_250.V+P-Test-cmc-uni-vp-reuse_250_250 test-generation_80_20.V+P-Test-continue_80_20 test-generation_20_80.V+P-Test-cmc-uni-vp-reuse_20_80
Options -heap 10000M -benchmark -setprop log.consoleLevel=SEVERE -spec config/specification/sv-comp-terminatingfunctions.spc -testCaseGeneration-interleaved-value+predicate-continue -setprop interleavedAlgorithm.configFiles=config/testCaseGeneration-valueAnalysis.properties::continue,config/testCaseGeneration-predicateAnalysis.properties::continue -heap 10000M -benchmark -setprop log.consoleLevel=SEVERE -spec config/specification/sv-comp-terminatingfunctions.spc -testCaseGeneration-interleaved-value+predicate-continue -setprop interleavedAlgorithm.configFiles=config/testCaseGeneration-valueAnalysis.properties::continue_50,config/testCaseGeneration-predicateAnalysis.properties::continue_50 -heap 10000M -benchmark -setprop log.consoleLevel=SEVERE -spec config/specification/sv-comp-terminatingfunctions.spc -testCaseGeneration-interleaved-value+predicate-cmc-v2p -setprop interleavedAlgorithm.configFiles=config/components/testCaseGeneration-value-generate-cmc-condition.properties::continue_100,config/components/testCaseGeneration-predicate-use-cmc-condition-precision.properties::noreuse_100 -setprop interleavedAlgorithm.intermediateStatistics=EXECUTE -heap 10000M -benchmark -setprop log.consoleLevel=SEVERE -spec config/specification/sv-comp-terminatingfunctions.spc -testCaseGeneration-interleaved-value+predicate-cmc-v2p -setprop interleavedAlgorithm.configFiles=config/components/testCaseGeneration-value-generate-cmc-condition.properties::continue_250,config/components/testCaseGeneration-predicate-use-cmc-condition-precision.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-continue -setprop interleavedAlgorithm.configFiles=config/testCaseGeneration-valueAnalysis.properties::continue_80,config/testCaseGeneration-predicateAnalysis.properties::continue_20 -heap 10000M -benchmark -setprop log.consoleLevel=SEVERE -spec config/specification/sv-comp-terminatingfunctions.spc -testCaseGeneration-interleaved-value+predicate-cmc-v2p -setprop interleavedAlgorithm.configFiles=config/components/testCaseGeneration-value-generate-cmc-condition.properties::continue_20,config/components/testCaseGeneration-predicate-use-cmc-condition-precision.properties::noreuse_80 -setprop interleavedAlgorithm.intermediateStatistics=EXECUTE
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    797     6111559680 8940   7 18 apollon096 901    799     7327232000 8900   7 18 apollon015 913    618     7992463360 8980   7 18 apollon030 901    558     9001418752 6250   7 18 apollon153 901    750     6912479232 7480   7 18 apollon041 902    728     8678875136 9480   7 18 apollon051
array-examples/sorting_bubblesort_false-unreach-call2_ground.i 901    872     1829138432 10400   4 12 apollon070 901    867     2699419648 10100   4 12 apollon134 902    855     9037131776 9780   4 12 apollon082 901    861     8719740928 8710   4 12 apollon041 901    869     2127364096 9110   4 12 apollon155 901    858     12456108032 8800   4 12 apollon151
array-examples/sorting_bubblesort_false-unreach-call_ground.i 901    872     2392289280 9620   4 12 apollon043 901    870     2756562944 11100   4 12 apollon017 902    855     8863412224 7980   4 12 apollon131 901    860     8689733632 7960   4 12 apollon002 901    870     2042302464 9000   4 12 apollon098 901    856     11769397248 9010   4 12 apollon163
array-examples/sorting_selectionsort_false-unreach-call2_ground.i 901    873     2126118912 9670   4 20 apollon092 901    867     3682447360 13100   4 20 apollon161 902    861     4353916928 10800   4 20 apollon164 901    870     4251037696 9920   4 20 apollon060 901    865     2601848832 11400   4 20 apollon059 901    857     4593876992 12300   4 20 apollon005
array-examples/sorting_selectionsort_false-unreach-call_ground.i 901    872     2182819840 11000   4 20 apollon051 901    864     3610505216 13200   4 20 apollon161 902    862     4344168448 9700   4 20 apollon145 901    867     4271763456 12400   4 20 apollon014 901    865     2494357504 9420   4 20 apollon097 901    858     4476518400 12600   4 20 apollon033
array-examples/standard_allDiff2_false-unreach-call_ground.i 901    869     2570743808 11400   7 18 apollon122 901    872     8374845440 9510   7 18 apollon104 932    383     10763550720 7190   7 18 apollon064 1060    416     11044376576 6870   apollon050 901    868     3640393728 12300   7 18 apollon088 826    608     14999998464 7820   apollon163
array-examples/standard_copy1_false-unreach-call_ground.i 901    877     2542817280 10200   1 8 apollon126 901    871     2921947136 11400   1 8 apollon010 901    862     3958272000 9570   1 8 apollon134 902    872     2661818368 10100   1 8 apollon107 901    868     3176665088 8510   1 8 apollon135 886    851     14999998464 9510   apollon094
array-examples/standard_copy2_false-unreach-call_ground.i 901    875     2290237440 10800   1 10 apollon011 901    874     3192438784 10000   1 10 apollon107 901    859     4179361792 10000   1 10 apollon018 902    871     2834055168 8970   1 10 apollon060 901    873     2784620544 8070   1 10 apollon089 746    716     14999998464 6170   apollon166
array-examples/standard_copy3_false-unreach-call_ground.i 901    874     2761912320 12700   1 12 apollon044 901    876     3124232192 12400   1 12 apollon161 901    861     4183842816 9050   1 12 apollon089 901    873     2921656320 10600   1 12 apollon046 901    873     2514657280 8300   1 12 apollon096 637    608     14999998464 5690   apollon145
array-examples/standard_copy4_false-unreach-call_ground.i 901    878     3247390720 10100   1 14 apollon168 901    878     3041320960 9520   1 14 apollon045 901    862     4300959744 9780   1 14 apollon051 901    872     3030679552 9630   1 14 apollon099 901    876     2017902592 8490   1 14 apollon003 544    518     14999998464 5750   apollon072
array-examples/standard_copy5_false-unreach-call_ground.i 901    879     3079454720 10400   1 16 apollon038 901    881     3740721152 10200   1 16 apollon031 902    861     4366921728 9130   1 16 apollon089 901    871     2735964160 8770   1 16 apollon104 901    881     3085832192 11400   1 16 apollon064 477    449     14999998464 5200   apollon079
array-examples/standard_copy6_false-unreach-call_ground.i 901    879     3139801088 10900   1 18 apollon165 901    882     3413266432 11000   1 18 apollon081 902    863     4260003840 11000   1 18 apollon065 901    870     3237720064 11600   1 18 apollon064 901    881     3010232320 8870   1 18 apollon092 452    427     14999998464 6110   apollon044
array-examples/standard_copy7_false-unreach-call_ground.i 901    880     3630874624 10200   1 20 apollon086 901    886     4663984128 10400   1 20 apollon126 902    859     4464230400 11200   1 20 apollon052 901    869     3154538496 9970   1 20 apollon083 901    882     2903498752 9020   1 20 apollon136 443    415     14999998464 5090   apollon091
array-examples/standard_copy8_false-unreach-call_ground.i 901    882     4009906176 11000   1 22 apollon165 901    884     4067319808 10100   1 22 apollon109 901    857     4444549120 9570   1 22 apollon102 901    870     3092402176 9090   1 22 apollon151 901    882     3122835456 9300   1 22 apollon154 407    380     14999998464 5020   apollon030
array-examples/standard_copy9_false-unreach-call_ground.i 901    884     4522831872 12500   1 24 apollon094 901    884     3952111616 11100   1 24 apollon004 902    857     4493893632 9180   1 24 apollon131 901    868     3585122304 9710   1 24 apollon164 901    884     4372213760 8760   1 24 apollon115 450    424     14999998464 6050   apollon021
array-examples/standard_copyInitSum2_false-unreach-call_ground.i 901    889     1511714816 12100   1 10 apollon004 901    890     1763692544 11900   1 10 apollon087 901    883     2199068672 12600   1 10 apollon091 902    887     1807814656 11100   1 10 apollon149 901    890     1548013568 11800   1 10 apollon012 902    884     2426437632 13100   1 10 apollon094
array-examples/standard_init1_false-unreach-call_ground.i 901    889     1181847552 11800   1 6 apollon120 901    889     1482125312 12200   1 6 apollon067 901    884     1568497664 13800   1 6 apollon036 902    888     1332875264 12100   1 6 apollon147 901    891     1111834624 13700   1 6 apollon033 901    883     1927864320 12500   1 6 apollon091
array-examples/standard_init2_false-unreach-call_ground.i 901    889     1080303616 12400   1 8 apollon071 901    890     1421156352 12100   1 8 apollon118 901    884     1758048256 12900   1 8 apollon164 902    887     1342562304 10900   1 8 apollon040 901    891     1222848512 13100   1 8 apollon006 901    883     1789739008 12200   1 8 apollon052
array-examples/standard_init3_false-unreach-call_ground.i 901    889     1181872128 11800   1 10 apollon097 901    889     1352458240 13900   1 10 apollon080 901    885     1629736960 11600   1 10 apollon050 902    887     1388179456 11900   1 10 apollon153 901    891     1177866240 13500   1 10 apollon122 902    883     1859833856 12300   1 10 apollon124
array-examples/standard_init4_false-unreach-call_ground.i 901    889     1173909504 11300   1 12 apollon042 901    890     1506500608 11400   1 12 apollon137 901    884     1549258752 10800   1 12 apollon043 902    887     1424556032 13900   1 12 apollon080 901    891     1147256832 11900   1 12 apollon133 901    883     1778294784 12100   1 12 apollon084
array-examples/standard_init5_false-unreach-call_ground.i 901    889     1203036160 12000   1 14 apollon118 901    890     1431298048 11300   1 14 apollon066 901    883     1609019392 13200   1 14 apollon047 901    887     1407250432 11600   1 14 apollon001 901    891     1149644800 11500   1 14 apollon079 901    886     1769074688 14300   1 14 apollon111
array-examples/standard_init6_false-unreach-call_ground.i 901    889     1198465024 11800   1 16 apollon037 901    889     1424465920 13700   1 16 apollon148 901    885     1635831808 11600   1 16 apollon050 901    885     1458008064 14100   1 16 apollon016 901    891     1138790400 13600   1 16 apollon059 902    884     1801052160 10800   1 16 apollon041
array-examples/standard_init7_false-unreach-call_ground.i 901    888     1205186560 13200   1 18 apollon167 901    889     1438142464 11900   1 18 apollon051 901    887     1719316480 12400   1 18 apollon101 902    885     1430859776 11900   1 18 apollon078 901    891     1301344256 13400   1 18 apollon081 901    885     1962434560 12600   1 18 apollon065
array-examples/standard_init8_false-unreach-call_ground.i 901    888     1081438208 13400   1 20 apollon047 901    889     1324462080 12100   1 20 apollon145 901    885     1799495680 11400   1 20 apollon090 902    885     1402474496 11300   1 20 apollon086 901    891     1102217216 12300   1 20 apollon070 902    884     1889505280 11500   1 20 apollon119
array-examples/standard_init9_false-unreach-call_ground.i 901    888     1086287872 13500   1 22 apollon125 901    889     1455906816 11700   1 22 apollon110 901    885     1613852672 13700   1 22 apollon148 902    886     1396998144 13500   1 22 apollon014 901    891     1194766336 10700   1 22 apollon029 901    883     1800466432 12300   1 22 apollon046
array-examples/standard_minInArray_false-unreach-call_ground.i 901    875     1642504192 10000   3 8 apollon162 901    875     1819484160 9970   3 8 apollon076 902    854     9001373696 8190   3 8 apollon023 901    864     7970168832 7830   3 8 apollon002 901    868     1506684928 9070   3 8 apollon001 901    860     12501934080 9040   3 8 apollon155
array-examples/standard_partition_false-unreach-call_ground.i 901    874     2602123264 10200   3 14 apollon154 901    878     3280048128 11200   3 14 apollon047 902    855     13116407808 7270   3 14 apollon153 902    859     11672645632 9240   3 14 apollon143 901    878     2747826176 8010   3 14 apollon093 593    558     14999998464 8390   apollon069
array-examples/standard_running_false-unreach-call.i 901    876     3162124288 10800   3 16 apollon003 901    871     3825025024 10600   3 16 apollon134 902    860     4308307968 12600   3 16 apollon069 901    865     4203417600 10600   3 16 apollon073 901    870     3167956992 12500   3 16 apollon081 901    860     4398526464 11400   3 16 apollon162
array-examples/data_structures_set_multi_proc_trivial_true-unreach-call_ground_true-termination.i 901    874     2488680448 9130   5 22 apollon003 901    876     4100603904 11900   5 22 apollon160 902    849     6315458560 8520   5 22 apollon034 902    861     10020880384 8790   5 22 apollon096 901    874     4239147008 7100   5 22 apollon104 407    376     14999998464 4110   apollon060
array-examples/data_structures_set_multi_proc_true-unreach-call_ground.i 901    868     5060698112 10300   8 18 apollon017 901    866     6221164544 9480   8 18 apollon119 833    747     15000002560 8640   apollon162 902    794     14570450944 9890   8 18 apollon065 902    849     5483421696 7490   8 18 apollon151 707    639     14999998464 8630   apollon118
array-examples/relax_true-unreach-call.i 12.8  3.69  393670656 122   apollon057 13.4  3.75  420352000 118   apollon164 13.9  3.89  487989248 125   apollon094 13.0  3.62  483176448 104   apollon066 13.6  3.90  483450880 119   apollon076 13.8  3.91  405581824 103   apollon143
array-examples/sanfoundry_02_true-unreach-call_ground.i 901    872     1853075456 11600   7 18 apollon125 901    865     2576998400 12000   7 18 apollon005 1060    356     10798374912 7350   apollon028 1060    394     10906529792 6470   apollon022 901    869     2590834688 9250   7 18 apollon119 973    588     14488924160 7870   7 18 apollon023
array-examples/sanfoundry_10_true-unreach-call_ground.i 901    873     1650970624 10600   7 16 apollon119 901    866     1502425088 10000   7 16 apollon055 902    876     2998751232 10200   7 16 apollon109 901    873     1581768704 8810   7 16 apollon157 901    860     1372008448 9900   7 16 apollon110 902    875     3532505088 11300   7 16 apollon121
array-examples/sanfoundry_24_true-unreach-call_true-termination.i 13.9  9.26  856260608 168   9 10 apollon027 54.1  42.4   2013003776 717   9 10 apollon077 105    87.3   2390831104 1240   9 10 apollon066 256    217     2560626688 3100   9 10 apollon154 84.2  69.0   2345082880 996   9 10 apollon131 24.4  17.5   1337741312 259   9 10 apollon040
array-examples/sanfoundry_27_true-unreach-call_ground.i 901    874     1897783296 9780   3 8 apollon109 901    867     2798678016 10300   3 8 apollon159 1060    409     11126534144 7270   apollon152 1050    429     11140993024 7010   apollon086 901    870     3183452160 8840   3 8 apollon127 901    595     13902626816 7110   3 8 apollon124
array-examples/sanfoundry_43_true-unreach-call_ground.i 901    874     1724231680 9840   1 6 apollon053 901    867     1645490176 10200   1 6 apollon138 901    864     4799655936 8790   1 6 apollon009 901    869     3653308416 9760   1 6 apollon168 901    863     2296483840 8480   1 6 apollon096 901    864     5597847552 10600   1 6 apollon065
array-examples/sorting_bubblesort_true-unreach-call_ground.i 901    873     2106675200 10400   4 12 apollon126 901    870     2820395008 9630   4 12 apollon131 902    854     9150484480 9810   4 12 apollon058 901    863     8917979136 11700   4 12 apollon160 901    870     1949126656 12300   4 12 apollon111 901    861     12149690368 9910   4 12 apollon017
array-examples/sorting_selectionsort_true-unreach-call_ground.i 901    872     2273427456 12500   4 20 apollon077 901    867     2430713856 10200   4 20 apollon149 902    862     4347170816 9970   4 20 apollon097 901    868     4256059392 10300   4 20 apollon035 901    866     1991254016 10900   4 20 apollon162 902    856     4586295296 11500   4 20 apollon102
array-examples/standard_compareModified_true-unreach-call_ground.i 901    875     2712965120 9850   3 12 apollon128 901    876     3764482048 9040   3 12 apollon022 902    852     4445110272 9760   3 12 apollon117 902    866     4398235648 8650   3 12 apollon166 901    878     2401886208 8960   3 12 apollon034 901    860     4180312064 10600   3 12 apollon001
array-examples/standard_compare_true-unreach-call_ground.i 901    872     2635280384 9830   3 10 apollon075 901    872     2540412928 13200   3 10 apollon057 902    858     9446535168 7030   3 10 apollon139 901    865     8510349312 9440   3 10 apollon122 901    871     3977650176 7540   3 10 apollon158 901    865     14045229056 7960   3 10 apollon124
array-examples/standard_copy1_true-unreach-call_ground.i 901    876     2221486080 9860   1 8 apollon035 901    869     2391056384 10100   1 8 apollon168 902    864     4073054208 10100   1 8 apollon133 901    873     2357886976 11400   1 8 apollon167 901    869     2779353088 8750   1 8 apollon051 880    845     14999998464 8340   apollon129
array-examples/standard_copy2_true-unreach-call_ground.i 901    876     2411360256 8410   1 10 apollon158 901    872     3170189312 9680   1 10 apollon098 902    863     3957460992 10900   1 10 apollon007 901    872     2809851904 10500   1 10 apollon133 901    872     1791139840 9560   1 10 apollon027 693    660     14999998464 7750   apollon071
array-examples/standard_copy3_true-unreach-call_ground.i 901    876     2717306880 9020   1 12 apollon151 901    874     2862723072 11100   1 12 apollon052 902    862     4104376320 9470   1 12 apollon101 901    872     3171323904 10400   1 12 apollon004 901    872     2591723520 7580   1 12 apollon042 598    572     15000023040 5920   apollon070
array-examples/standard_copy4_true-unreach-call_ground.i 901    875     3013140480 9600   1 14 apollon045 901    877     2955350016 9890   1 14 apollon090 902    862     4305539072 9270   1 14 apollon060 901    873     2890096640 9020   1 14 apollon041 901    878     2746503168 9490   1 14 apollon038 532    503     14999998464 5450   apollon162
array-examples/standard_copy5_true-unreach-call_ground.i 901    878     3073552384 9720   1 16 apollon055 901    880     3762159616 10700   1 16 apollon049 902    867     4242141184 10200   1 16 apollon163 901    872     2951716864 9910   1 16 apollon093 901    881     3496587264 11000   1 16 apollon077 488    463     15000010752 5100   apollon018
array-examples/standard_copy6_true-unreach-call_ground.i 901    881     3385208832 12700   1 18 apollon160 901    880     2864918528 10000   1 18 apollon102 902    865     4307197952 9280   1 18 apollon074 901    872     3038441472 10700   1 18 apollon061 901    880     2901569536 9290   1 18 apollon086 456    428     14999998464 4420   apollon041
array-examples/standard_copy7_true-unreach-call_ground.i 901    882     3266101248 13100   1 20 apollon160 901    885     4314816512 10800   1 20 apollon018 902    860     4322713600 10200   1 20 apollon156 901    872     2914672640 10100   1 20 apollon076 901    883     3056099328 8180   1 20 apollon074 448    421     14999998464 4510   apollon037
array-examples/standard_copy8_true-unreach-call_ground.i 901    883     3611525120 10200   1 22 apollon115 901    884     3752337408 9990   1 22 apollon143 902    860     4396883968 10600   1 22 apollon049 901    871     3066908672 10600   1 22 apollon004 901    883     3105873920 10200   1 22 apollon083 403    379     14999998464 3910   apollon040
array-examples/standard_copy9_true-unreach-call_ground.i 901    883     4458086400 10500   1 24 apollon026 901    885     4860948480 11300   1 24 apollon085 902    860     4384436224 9760   1 24 apollon118 901    871     3459854336 11300   1 24 apollon071 901    884     4384174080 10700   1 24 apollon047 445    420     14999998464 4610   apollon149
array-examples/standard_copyInitSum2_true-unreach-call_ground.i 901    890     1427521536 13200   1 10 apollon122 901    890     1786966016 14400   1 10 apollon057 901    881     2053414912 12500   1 10 apollon020 901    888     1770737664 10400   1 10 apollon092 901    891     1607446528 14900   1 10 apollon056 902    884     2396282880 11000   1 10 apollon003
array-examples/standard_copyInitSum3_true-unreach-call_ground.i 901    889     1477840896 11900   1 12 apollon102 901    890     1834504192 11000   1 12 apollon089 901    884     2269224960 11000   1 12 apollon104 901    886     1691262976 11700   1 12 apollon133 901    891     1390678016 11700   1 12 apollon119 901    882     2366087168 10600   1 12 apollon089
array-examples/standard_copyInitSum_true-unreach-call_ground.i 901    889     1485574144 12000   1 10 apollon085 901    889     1628565504 11600   1 10 apollon074 901    884     2149212160 12400   1 10 apollon114 902    886     1861840896 11000   1 10 apollon053 901    890     1532022784 11200   1 10 apollon100 901    882     2592141312 11700   1 10 apollon038
array-examples/standard_copyInit_true-unreach-call_ground.i 901    889     1581158400 11500   1 8 apollon131 901    889     1601056768 10400   1 8 apollon092 901    883     2280148992 11600   1 8 apollon001 902    886     1813114880 11800   1 8 apollon165 901    891     1517678592 12000   1 8 apollon001 902    884     2473959424 11700   1 8 apollon067
array-examples/standard_find_true-unreach-call_ground.i 901    876     2136788992 13200   1 10 apollon044 901    873     1805934592 12300   1 10 apollon094 902    864     3193524224 11000   1 10 apollon046 901    872     2169450496 10200   1 10 apollon105 901    865     2206896128 10100   1 10 apollon084 901    866     11760148480 7080   1 10 apollon139
array-examples/standard_init1_true-unreach-call_ground.i 901    888     1110056960 12200   1 6 apollon093 901    889     1655455744 12200   1 6 apollon168 901    887     1514528768 11000   1 6 apollon127 902    886     1401253888 12300   1 6 apollon146 901    891     1112133632 13400   1 6 apollon130 902    883     1826197504 10300   1 6 apollon029
array-examples/standard_init2_true-unreach-call_ground.i 901    889     1227956224 12300   1 8 apollon146 901    890     1422823424 12500   1 8 apollon138 901    885     1622720512 11700   1 8 apollon129 902    888     1411387392 12800   1 8 apollon091 901    890     1156812800 12400   1 8 apollon093 901    882     1850560512 11600   1 8 apollon049
array-examples/standard_init3_true-unreach-call_ground.i 901    888     1115664384 11500   1 10 apollon154 901    889     1358004224 11000   1 10 apollon089 901    885     1566715904 13300   1 10 apollon014 902    886     1472831488 11500   1 10 apollon026 901    891     1205379072 11400   1 10 apollon099 901    884     1852960768 11300   1 10 apollon034
array-examples/standard_init4_true-unreach-call_ground.i 901    888     1129611264 11600   1 12 apollon110 901    890     1452249088 11600   1 12 apollon034 901    886     1728016384 11200   1 12 apollon099 902    887     1391374336 12400   1 12 apollon017 901    891     1197412352 13200   1 12 apollon068 901    882     1791303680 12200   1 12 apollon141
array-examples/standard_init5_true-unreach-call_ground.i 901    889     1205612544 12500   1 14 apollon114 901    890     1404600320 12000   1 14 apollon153 901    886     1645494272 14000   1 14 apollon044 902    888     1386303488 13900   1 14 apollon008 901    891     1092526080 11800   1 14 apollon131 901    884     1924284416 12300   1 14 apollon020
array-examples/standard_init6_true-unreach-call_ground.i 901    888     1114316800 11300   1 16 apollon115 901    889     1419395072 12000   1 16 apollon087 901    886     1551331328 10900   1 16 apollon002 902    887     1368662016 12400   1 16 apollon084 901    891     1187405824 12300   1 16 apollon093 901    882     1816805376 13000   1 16 apollon159
array-examples/standard_init7_true-unreach-call_ground.i 901    888     1121591296 10800   1 18 apollon043 901    890     1434152960 11300   1 18 apollon042 901    885     1722826752 10500   1 18 apollon092 902    888     1434857472 11700   1 18 apollon075 901    891     1218912256 13000   1 18 apollon091 902    886     1908142080 11700   1 18 apollon162
array-examples/standard_init8_true-unreach-call_ground.i 901    888     1099878400 11300   1 20 apollon025 901    890     1417768960 12200   1 20 apollon142 901    885     1575907328 10800   1 20 apollon043 902    887     1415106560 12300   1 20 apollon009 901    891     1139052544 10900   1 20 apollon098 902    884     1808830464 11400   1 20 apollon072
array-examples/standard_init9_true-unreach-call_ground.i 901    888     1097756672 14400   1 22 apollon160 901    889     1368424448 11700   1 22 apollon074 901    884     1649709056 11900   1 22 apollon118 902    887     1422913536 13600   1 22 apollon014 901    891     1215778816 14200   1 22 apollon161 902    882     1934974976 12100   1 22 apollon101
array-examples/standard_maxInArray_true-unreach-call_ground.i 901    872     1683333120 9320   3 8 apollon023 901    867     2316435456 9390   3 8 apollon143 902    857     8978726912 8080   3 8 apollon040 902    866     8362414080 10200   3 8 apollon165 901    867     1590026240 11500   3 8 apollon064 902    843     12977950720 8820   3 8 apollon134
array-examples/standard_minInArray_true-unreach-call_ground.i 901    875     1772630016 9210   3 8 apollon097 901    867     2299441152 9310   3 8 apollon032 902    856     8917319680 10400   3 8 apollon069 901    862     8292859904 12800   3 8 apollon057 901    869     1930956800 8160   3 8 apollon076 901    860     13034930176 11500   3 8 apollon140
array-examples/standard_palindrome_true-unreach-call_ground.i 901    875     2106523648 9930   1 6 apollon119 901    869     1934516224 9790   1 6 apollon066 902    863     4123090944 9600   1 6 apollon025 901    872     2316136448 10400   1 6 apollon018 901    868     1508642816 8240   1 6 apollon138 901    862     11796766720 8370   1 6 apollon163
array-examples/standard_partial_init_true-unreach-call_ground.i 901    875     2237227008 10300   3 10 apollon099 901    878     3043721216 11100   3 10 apollon147 902    865     4643491840 13000   3 10 apollon111 901    866     3939569664 9660   3 10 apollon101 901    875     2763964416 9350   3 10 apollon120 901    865     5176000512 12600   3 10 apollon094
array-examples/standard_partition_original_true-unreach-call_ground.i 902    875     2954989568 13000   3 10 apollon080 901    878     3785854976 10900   3 10 apollon165 902    850     13258629120 9630   3 10 apollon001 901    857     11088560128 10400   3 10 apollon059 901    878     3029364736 10200   3 10 apollon034 754    713     14999998464 10600   apollon069
array-examples/standard_partition_true-unreach-call_ground.i 901    871     2789351424 9970   3 12 apollon086 901    872     3788824576 11200   3 12 apollon142 902    851     10206638080 9900   3 12 apollon083 901    861     10157961216 10500   3 12 apollon017 901    877     2950389760 9350   3 12 apollon116 787    750     14999998464 9280   apollon074
array-examples/standard_password_true-unreach-call_ground.i 901    874     1941360640 9910   3 10 apollon031 901    873     3505512448 10800   3 10 apollon028 902    855     9259827200 7070   3 10 apollon022 901    864     8636014592 8500   3 10 apollon092 901    874     3082186752 8420   3 10 apollon127 901    864     14665080832 9790   3 10 apollon082
array-examples/standard_reverse_true-unreach-call_ground.i 901    875     2272653312 11300   1 6 apollon019 901    873     2247012352 9940   1 6 apollon035 902    861     4025987072 9980   1 6 apollon090 901    872     2465189888 10200   1 6 apollon051 901    870     2330107904 8960   1 6 apollon018 860    827     14999998464 8620   apollon059
array-examples/standard_running_true-unreach-call.i 901    871     2524147712 11500   3 16 apollon096 901    872     2817363968 10500   3 16 apollon134 902    860     4296192000 11800   3 16 apollon112 901    865     3967766528 12200   3 16 apollon028 901    866     3536973824 10200   3 16 apollon002 901    861     4268404736 11700   3 16 apollon052
array-examples/standard_sentinel_true-unreach-call_true-termination.i 13.7  9.19  846716928 143   7 8 apollon099 53.7  41.7   1885765632 658   7 8 apollon004 104    87.3   2235871232 1580   7 8 apollon111 256    221     2124943360 3760   7 8 apollon080 84.4  68.8   2161205248 1050   7 8 apollon093 23.9  17.5   1285763072 286   7 8 apollon071
array-examples/standard_seq_init_true-unreach-call_ground.i 901    889     1201004544 13100   1 6 apollon167 901    888     1370312704 11200   1 6 apollon099 901    883     2001498112 13100   1 6 apollon167 902    888     1637466112 13200   1 6 apollon059 901    890     1235525632 14800   1 6 apollon056 902    883     1956732928 12600   1 6 apollon164
array-examples/standard_strcmp_true-unreach-call_ground.i 901    874     2894036992 10300   4 10 apollon105 901    873     2494730240 10500   4 10 apollon095 902    865     9565356032 8820   4 10 apollon164 901    868     8675926016 11700   4 10 apollon160 901    873     2104897536 9220   4 10 apollon133 901    868     13756506112 9720   4 10 apollon001
array-examples/standard_strcpy_original_true-unreach-call.i 901    875     2126888960 11900   1 12 apollon005 901    872     3177463808 10200   1 12 apollon109 902    866     3553095680 9770   1 12 apollon117 901    873     2149609472 11400   1 12 apollon122 901    868     2543792128 11000   1 12 apollon069 890    857     14999998464 8080   apollon034
array-examples/standard_strcpy_true-unreach-call_ground.i 901    877     2202636288 10300   1 10 apollon105 901    872     2034282496 10700   1 10 apollon067 902    863     3793629184 9590   1 10 apollon055 901    872     2116399104 10800   1 10 apollon155 901    868     1575686144 8590   1 10 apollon103 901    868     14929084416 8270   1 10 apollon133
array-examples/standard_two_index_01_true-unreach-call.i 964    320     8465743872 6830   1 8 apollon004 904    605     8856776704 9700   1 8 apollon031 902    626     7837331456 9280   1 8 apollon107 948    770     6629543936 11100   1 8 apollon030 904    500     10638049280 7820   1 8 apollon116 983    589     10272354304 8610   1 8 apollon003
array-examples/standard_two_index_02_true-unreach-call.i 901    876     2091794432 9980   1 8 apollon090 901    871     2857426944 9370   1 8 apollon137 902    863     3339960320 10600   1 8 apollon165 901    872     2426974208 10200   1 8 apollon154 901    868     2922680320 9420   1 8 apollon013 875    840     14999998464 7660   apollon025
array-examples/standard_two_index_03_true-unreach-call.i 942    371     10410995712 7130   1 8 apollon119 952    438     8202067968 8330   1 8 apollon130 901    638     8583757824 9670   1 8 apollon165 942    754     5262671872 8640   1 8 apollon143 901    496     11821883392 8040   1 8 apollon154 901    504     9904295936 8930   1 8 apollon016
array-examples/standard_two_index_04_true-unreach-call.i 901    876     2182041600 13300   1 8 apollon056 901    871     2992054272 10600   1 8 apollon141 902    864     3991576576 11100   1 8 apollon085 901    872     2310725632 10100   1 8 apollon144 901    871     1701158912 10100   1 8 apollon065 839    804     14999998464 9520   apollon094
array-examples/standard_two_index_05_true-unreach-call.i 901    876     2132451328 9970   1 8 apollon076 901    875     2984816640 11400   1 8 apollon019 902    865     3964674048 10100   1 8 apollon135 901    872     2194456576 11800   1 8 apollon064 901    870     2551578624 9880   1 8 apollon038 892    859     14999998464 7310   apollon152
array-examples/standard_two_index_06_true-unreach-call.i 907    389     11035615232 7990   1 8 apollon159 904    509     10473529344 7890   1 8 apollon115 904    633     7467528192 9130   1 8 apollon003 965    771     7391133696 10600   1 8 apollon010 901    558     10779623424 9290   1 8 apollon031 1040    595     10113544192 8590   1 8 apollon109
array-examples/standard_two_index_07_true-unreach-call.i 901    876     2179198976 9180   1 8 apollon166 901    872     3111301120 10400   1 8 apollon033 901    865     3918213120 10000   1 8 apollon154 901    873     2329976832 10300   1 8 apollon099 901    874     1782333440 10100   1 8 apollon091 877    841     14999998464 11200   apollon056
array-examples/standard_two_index_08_true-unreach-call.i 901    876     2112229376 11100   1 8 apollon007 901    873     2938863616 9600   1 8 apollon032 902    863     4004429824 9780   1 8 apollon103 901    872     2471829504 11100   1 8 apollon068 901    871     2870595584 9090   1 8 apollon090 901    868     14944096256 8380   1 8 apollon020
array-examples/standard_two_index_09_true-unreach-call.i 901    876     2077134848 11200   1 8 apollon142 901    870     2820042752 11400   1 8 apollon106 902    863     3382394880 10300   1 8 apollon133 901    873     2435833856 11900   1 8 apollon132 901    872     3049541632 10000   1 8 apollon079 881    849     14999998464 8220   apollon058
array-examples/standard_vararg_true-unreach-call_ground_true-termination.i 901    853     5268901888 11500   5 6 apollon072 901    844     4679663616 11600   5 6 apollon121 901    836     4519976960 11500   5 6 apollon034 901    837     4399448064 12800   5 6 apollon007 902    822     4835979264 13300   5 6 apollon069 901    862     3248340992 12100   5 6 apollon146
array-examples/standard_vector_difference_true-unreach-call_ground.i 901    876     2212098048 9660   1 6 apollon144 901    873     2278477824 11100   1 6 apollon011 902    865     3505655808 9790   1 6 apollon135 901    873     3002134528 9330   1 6 apollon002 901    873     1812447232 8420   1 6 apollon144 901    868     4104122368 9960   1 6 apollon002
array-industry-pattern/array_assert_loop_dep_false-unreach-call_true-termination.i 901    889     1169969152 11800   1 8 apollon119 901    889     1359867904 11600   1 8 apollon034 901    885     1748459520 12100   1 8 apollon011 902    886     1443434496 13600   1 8 apollon069 901    890     1167986688 10300   1 8 apollon054 901    883     1839370240 14400   1 8 apollon056
array-industry-pattern/array_of_struct_loop_dep_false-unreach-call.i 903    897     4152676352 5340   0 8 apollon031 903    896     4218572800 6030   0 8 apollon003 902    889     5322395648 11600   0 8 apollon099 903    882     4457480192 11800   0 8 apollon164 903    897     4188528640 5470   0 8 apollon166 902    889     4639133696 13500   0 8 apollon126
array-industry-pattern/array_ptr_single_elem_init_false-unreach-call_true-termination.i 901    873     2205896704 10600   7 14 apollon025 901    877     3438170112 12000   7 14 apollon155 902    852     4614180864 10500   7 14 apollon121 901    862     4366934016 9510   7 14 apollon092 901    875     3354705920 8790   7 14 apollon158 901    856     5631889408 12100   7 14 apollon136
array-industry-pattern/array_range_init_false-unreach-call.i 903    898     4082786304 5320   0 10 apollon137 903    898     4087357440 5820   0 10 apollon078 902    889     6110101504 12500   0 10 apollon018 903    884     4557266944 10700   0 10 apollon131 903    898     4091670528 6620   0 10 apollon147 902    891     4064141312 13200   0 10 apollon112
array-industry-pattern/array_single_elem_init_false-unreach-call_true-termination.i 901    875     2490523648 10400   7 14 apollon134 901    875     3190657024 11100   7 14 apollon121 902    847     4809592832 9400   7 14 apollon097 901    858     4495273984 11400   7 14 apollon114 901    875     3791458304 11500   7 14 apollon071 901    855     6100422656 10400   7 14 apollon089
array-industry-pattern/check_removal_from_set_after_insertion_false-unreach-call.i 901    865     3583475712 11600   7 24 apollon112 901    866     3983773696 8920   7 24 apollon032 905    810     7292948480 8260   7 24 apollon157 902    809     7950712832 11400   7 24 apollon130 901    850     4517314560 10200   7 24 apollon088 901    817     7335186432 10700   7 24 apollon133
array-industry-pattern/array_monotonic_true-unreach-call_true-termination.i 901    872     2326163456 8800   3 10 apollon157 901    871     2248937472 9740   3 10 apollon051 1060    378     10759434240 6490   apollon083 1060    410     10909483008 7120   apollon065 901    872     2821525504 8580   3 10 apollon164 902    643     13520048128 8370   3 10 apollon020
array-industry-pattern/array_mul_init_true-unreach-call_true-termination.i 901    889     1470357504 12800   1 14 apollon112 901    889     1632419840 11200   1 14 apollon023 901    887     2205884416 13400   1 14 apollon094 902    888     1670742016 11700   1 14 apollon058 901    891     1539395584 12700   1 14 apollon052 902    887     2132660224 10900   1 14 apollon099
array-industry-pattern/array_of_struct_break_true-unreach-call.i 903    897     4185677824 4610   0 10 apollon002 903    897     4194504704 7110   0 10 apollon129 902    888     5040386048 12000   0 10 apollon144 903    883     4580503552 9810   0 10 apollon098 903    897     4234833920 5420   0 10 apollon103 902    890     4612345856 12700   0 10 apollon052
array-industry-pattern/array_of_struct_ptr_cond_init_true-unreach-call.i 903    897     4041850880 6340   0 10 apollon046 903    897     4002611200 5890   0 10 apollon120 902    889     5383454720 12200   0 10 apollon129 903    884     4354457600 12000   0 10 apollon065 903    897     4061433856 7200   0 10 apollon125 902    890     4113723392 11100   0 10 apollon029
array-industry-pattern/array_of_struct_ptr_flag_init_true-unreach-call.i 901    874     2249949184 9960   1 12 apollon013 901    871     2104684544 11300   1 12 apollon019 902    863     4377784320 11300   1 12 apollon114 901    868     4147306496 9790   1 12 apollon124 901    873     2001879040 8510   1 12 apollon015 901    860     4896661504 10900   1 12 apollon078
array-industry-pattern/array_of_struct_ptr_monotonic_true-unreach-call.i 903    897     4112072704 7060   0 10 apollon112 903    897     4012011520 6160   0 10 apollon048 902    888     5924126720 12400   0 10 apollon162 903    884     4499849216 10400   0 10 apollon023 903    897     4100902912 6310   0 10 apollon045 902    890     4125954048 11800   0 10 apollon166
array-industry-pattern/array_of_struct_ptr_mul_init_true-unreach-call.i 904    898     6267408384 9660   0 14 apollon126 904    897     6529523712 9590   0 14 apollon124 901    880     6449876992 12900   0 14 apollon141 902    883     6312087552 12200   0 14 apollon075 904    896     6471032832 9660   0 14 apollon154 902    882     5636509696 11400   0 14 apollon053
array-industry-pattern/array_of_struct_single_elem_init_true-unreach-call.i 905    898     8503394304 9580   0 12 apollon084 904    898     8613425152 10900   0 12 apollon005 901    882     6217773056 12700   0 12 apollon096 903    884     7213809664 12600   0 12 apollon015 905    898     8596275200 9400   0 12 apollon034 902    880     5483622400 15000   0 12 apollon056
array-industry-pattern/array_ptr_partial_init_true-unreach-call.i 903    898     4103196672 7150   0 8 apollon114 903    898     4144140288 5580   0 8 apollon089 902    888     5578203136 11800   0 8 apollon086 903    884     4374970368 12100   0 8 apollon064 903    897     4012896256 9670   0 8 apollon039 902    890     4066267136 12300   0 8 apollon078
array-industry-pattern/array_ptr_single_elem_init_true-unreach-call.i 903    898     4083793920 5210   0 18 apollon097 903    898     4134842368 7540   0 18 apollon132 902    887     5532491776 12300   0 18 apollon055 903    884     4395749376 12000   0 18 apollon010 903    897     4070285312 6660   0 18 apollon033 902    890     4149915648 14000   0 18 apollon148
array-industry-pattern/array_shadowinit_true-unreach-call_true-termination.i 924    703     7499608064 9210   7 8 apollon012 901    835     4441255936 10200   7 8 apollon142 901    834     4241874944 9720   7 8 apollon116 901    819     4573782016 10100   7 8 apollon164 901    822     4782632960 9550   7 8 apollon052 901    766     4927528960 12300   7 8 apollon130
reducercommutativity/rangesum05_false-unreach-call_true-termination.i 901    861     4260896768 10700   9 14 apollon084 901    871     2403602432 10500   9 14 apollon165 901    873     1738690560 10800   9 14 apollon113 901    876     2285494272 10300   9 14 apollon118 901    862     2349502464 11400   9 14 apollon067 901    880     2438070272 8920   9 14 apollon120
reducercommutativity/rangesum10_false-unreach-call_true-termination.i 901    842     4385128448 10400   9 14 apollon048 901    870     4128653312 10800   9 14 apollon028 901    871     3992178688 9890   9 14 apollon109 901    870     1958719488 13600   9 14 apollon039 901    866     4117012480 11900   9 14 apollon136 901    874     4032102400 8850   9 14 apollon073
reducercommutativity/rangesum20_false-unreach-call.i 901    826     4451430400 11400   9 14 apollon020 901    865     4487733248 9580   9 14 apollon079 901    866     2867830784 11000   9 14 apollon112 901    873     2787336192 9080   9 14 apollon127 236    213     14999998464 3520   apollon057 901    865     4237824000 7840   9 14 apollon066
reducercommutativity/rangesum40_false-unreach-call.i 901    834     4614397952 10200   9 14 apollon117 901    840     4932595712 10300   9 14 apollon117 136    111     14999998464 1450   apollon150 285    257     14999998464 3230   apollon117 901    856     4838486016 12200   9 14 apollon052 53.6  34.3   1269202944 606   apollon088
reducercommutativity/rangesum60_false-unreach-call.i 901    796     5090791424 9990   8 14 apollon081 901    849     5255417856 13200   9 14 apollon160 901    858     6771134464 9150   9 14 apollon168 402    378     14999998464 4120   apollon050 901    854     4844593152 13100   9 14 apollon163 140    118     3044851712 1400   apollon135
reducercommutativity/rangesum_false-unreach-call_true-termination.i 902    780     5323841536 10400   14 16 apollon152 901    753     5133041664 8660   14 16 apollon054 902    719     6358360064 9960   5 16 apollon097 901    777     6082433024 11200   5 16 apollon108 901    646     7813775360 9570   14 16 apollon138 901    787     5424431104 11100   10 16 apollon096
reducercommutativity/avg05_true-unreach-call_true-termination.i 901    884     3516497920 8900   6 10 apollon066 901    891     3298263040 10000   6 10 apollon165 901    876     3278114816 10500   6 10 apollon143 901    880     2935128064 10000   6 10 apollon104 901    883     3329736704 10800   6 10 apollon069 901    882     2333007872 12300   6 10 apollon132
reducercommutativity/avg10_true-unreach-call_true-termination.i 901    860     4895326208 9570   6 10 apollon123 902    875     3181404160 9920   6 10 apollon109 901    873     2566283264 11600   6 10 apollon046 902    877     2570805248 10500   6 10 apollon055 901    864     1825140736 11200   6 10 apollon025 902    878     2566459392 11500   6 10 apollon077
reducercommutativity/avg20_true-unreach-call.i 901    843     4354887680 11900   6 10 apollon017 901    867     4081012736 10900   6 10 apollon157 901    874     4462882816 10300   6 10 apollon108 901    872     2760757248 10700   6 10 apollon010 901    865     4084842496 11600   6 10 apollon119 901    874     4408696832 9030   6 10 apollon006
reducercommutativity/avg40_true-unreach-call.i 901    841     3744911360 8400   5 10 apollon012 901    862     5094649856 8730   6 10 apollon104 901    871     5613457408 8600   6 10 apollon012 902    876     5609234432 10300   6 10 apollon036 901    865     4483272704 11200   6 10 apollon154 902    862     5839708160 8690   6 10 apollon112
reducercommutativity/avg60_true-unreach-call.i 901    847     4072558592 9590   3 10 apollon087 901    862     6343471104 11100   5 10 apollon039 901    868     7840432128 9610   6 10 apollon133 903    875     7922651136 8890   6 10 apollon120 901    868     2551889920 8190   5 10 apollon010 903    860     8130076672 8520   6 10 apollon038
reducercommutativity/avg_true-unreach-call_true-termination.i 145    122     4550713344 1550   apollon031 228    171     5653000192 2280   apollon050 901    827     4292710400 11200   4 10 apollon019 902    832     4547870720 11100   4 10 apollon007 288    210     5034594304 2760   apollon025 902    780     4631203840 9740   4 10 apollon034
reducercommutativity/max05_true-unreach-call_true-termination.i 901    867     4345790464 9920   8 12 apollon106 901    873     1913516032 12300   8 12 apollon056 901    875     1734041600 9820   8 12 apollon055 901    878     2288041984 11700   8 12 apollon036 901    868     2817515520 9740   8 12 apollon060 901    881     1577672704 8400   8 12 apollon067
reducercommutativity/max10_true-unreach-call_true-termination.i 901    887     3015270400 8380   8 12 apollon161 901    888     2579083264 5960   8 12 apollon144 901    870     1845145600 9620   8 12 apollon093 901    871     1953742848 9410   8 12 apollon051 901    887     2946617344 6360   8 12 apollon149 901    876     2156470272 7640   8 12 apollon097
reducercommutativity/max20_true-unreach-call.i 901    880     3918471168 11000   8 12 apollon106 901    890     1130283008 7550   8 12 apollon088 901    870     2107514880 10100   8 12 apollon013 901    871     2115534848 9540   8 12 apollon003 901    878     1559158784 7790   8 12 apollon017 901    871     4180824064 10500   8 12 apollon045
reducercommutativity/max40_true-unreach-call.i 901    833     4791230464 11500   6 12 apollon138 901    872     4943642624 8530   7 12 apollon007 901    866     4475944960 10100   8 12 apollon009 901    868     2242449408 10000   7 12 apollon064 901    866     4751601664 10200   6 12 apollon043 901    861     4595990528 9720   8 12 apollon145
reducercommutativity/max60_true-unreach-call.i 901    844     4015144960 10100   5 12 apollon007 901    883     1839427584 7480   5 12 apollon130 901    864     5000581120 8730   8 12 apollon158 902    871     5448777728 11000   7 12 apollon140 901    870     1898807296 7360   5 12 apollon046 901    852     4788834304 10300   8 12 apollon017
reducercommutativity/max_true-unreach-call_true-termination.i 901    890     657211392 11900   8 12 apollon076 901    854     1877065728 12000   8 12 apollon101 921    522     10195537920 8530   8 12 apollon087 904    567     8139120640 8730   6 12 apollon153 901    840     3305078784 12800   8 12 apollon163 901    785     4848222208 10200   8 12 apollon150
reducercommutativity/sep05_true-unreach-call_true-termination.i 901    560     9275875328 7840   10 12 apollon152 901    695     5821730816 9940   10 12 apollon039 902    611     7798894592 8780   10 12 apollon099 901    604     9363820544 10300   10 12 apollon080 902    536     8985780224 7560   10 12 apollon109 901    792     5168025600 10300   10 12 apollon043
reducercommutativity/sep10_true-unreach-call.i 902    702     6728216576 7820   8 12 apollon061 903    770     5835640832 7100   8 12 apollon100 904    660     5982011392 8770   8 12 apollon040 902    618     8433037312 9220   8 12 apollon061 232    165     14999998464 2200   apollon043 901    726     6066331648 11600   8 12 apollon163
reducercommutativity/sep20_true-unreach-call.i 901    827     5119700992 10100   8 12 apollon104 366    342     14999998464 4350   apollon141 908    700     5592190976 10600   8 12 apollon136 902    737     7006928896 11100   8 12 apollon068 918    785     6272884736 11500   8 12 apollon124 902    756     5415702528 11500   6 12 apollon108
reducercommutativity/sep40_true-unreach-call.i 901    869     2834677760 10700   6 12 apollon037 901    866     4609802240 10700   7 12 apollon133 902    848     4260376576 10500   5 12 apollon097 901    855     4168507392 11400   5 12 apollon033 901    865     3848204288 10500   6 12 apollon035 901    843     4218949632 11000   6 12 apollon097
reducercommutativity/sep60_true-unreach-call.i 901    867     1985249280 10800   5 12 apollon144 901    866     4686499840 13700   6 12 apollon056 902    845     4279734272 10200   5 12 apollon131 902    852     4204335104 11000   5 12 apollon147 901    870     2189049856 10100   5 12 apollon120 901    849     4074790912 10800   5 12 apollon026
reducercommutativity/sep_true-unreach-call_true-termination.i 901    706     5308260352 9950   8 12 apollon086 901    676     6163136512 9280   10 12 apollon117 902    632     6495408128 9600   10 12 apollon135 902    609     8689553408 9700   10 12 apollon093 914    467     9380913152 8250   10 12 apollon009 901    760     5534306304 12700   9 12 apollon044
reducercommutativity/sum05_true-unreach-call_true-termination.i 901    885     3051896832 8430   6 10 apollon032 901    882     2794749952 9400   6 10 apollon149 901    876     2484600832 12900   6 10 apollon019 901    879     2250567680 12300   6 10 apollon048 901    880     3300274176 12400   6 10 apollon148 901    881     2327400448 11200   6 10 apollon037
reducercommutativity/sum10_true-unreach-call_true-termination.i 901    883     4203606016 8430   6 10 apollon137 901    886     4480667648 9840   6 10 apollon109 901    867     2835464192 10800   6 10 apollon078 901    876     3694284800 13500   6 10 apollon160 901    885     4342120448 9460   6 10 apollon108 901    876     2865086464 13300   6 10 apollon161
reducercommutativity/sum20_true-unreach-call.i 901    840     4755189760 11700   6 10 apollon113 902    875     4203278336 8780   6 10 apollon027 901    872     4653301760 9660   6 10 apollon097 901    871     3520036864 9810   6 10 apollon083 901    862     4901437440 13800   6 10 apollon016 901    873     4631457792 8760   6 10 apollon116
reducercommutativity/sum40_true-unreach-call.i 901    835     5252423680 9000   5 10 apollon018 901    857     6290849792 12900   6 10 apollon130 901    869     5500444672 8750   6 10 apollon032 902    878     5410828288 10900   6 10 apollon148 901    860     4701392896 12000   6 10 apollon146 902    867     6004174848 7430   6 10 apollon004
reducercommutativity/sum60_true-unreach-call.i 901    845     4017324032 8950   3 10 apollon066 901    862     8400740352 7190   5 10 apollon123 901    869     7601569792 9600   6 10 apollon015 903    877     8073306112 8710   6 10 apollon134 901    867     3722526720 8060   5 10 apollon019 902    855     8396185600 7880   6 10 apollon128
reducercommutativity/sum_true-unreach-call_true-termination.i 901    888     1034141696 12900   6 10 apollon130 901    861     3942604800 10800   6 10 apollon154 902    542     7459164160 8510   4 10 apollon119 902    541     10124238848 7740   4 10 apollon043 901    839     4288999424 10700   6 10 apollon168 901    769     5328060416 10500   6 10 apollon012
array-tiling/mlceu_false-unreach-call.i 901    701     7822561280 11000   6 10 apollon108 901    748     5651017728 9620   6 10 apollon040 901    725     5901197312 10600   6 10 apollon031 901    718     6375428096 10300   6 10 apollon082 901    736     5651599360 10300   6 10 apollon110 901    790     5403254784 10500   6 10 apollon156
array-tiling/skippedu_false-unreach-call.i 4.21 1.72  270290944 36.5 apollon086 4.18 1.70  268197888 40.6 apollon101 4.35 1.70  277032960 38.8 apollon103 4.40 1.72  276189184 38.2 apollon045 4.23 1.77  272551936 39.4 apollon055 4.20 1.71  275357696 39.2 apollon070
array-tiling/mbpr2_true-unreach-call.i 4.24 1.77  266833920 35.5 apollon089 4.35 1.77  271794176 42.3 apollon068 4.44 1.78  270286848 38.2 apollon134 4.48 1.79  272257024 41.5 apollon153 4.22 1.79  268324864 38.6 apollon095 4.35 1.81  269225984 42.3 apollon065
array-tiling/mbpr3_true-unreach-call.i 5.23 2.20  286171136 48.5 apollon091 4.92 2.15  277475328 46.1 apollon067 4.81 2.15  275836928 49.0 apollon048 4.82 2.14  280391680 46.1 apollon105 4.94 2.19  283193344 42.8 apollon099 4.87 2.17  282550272 45.1 apollon072
array-tiling/mbpr4_true-unreach-call.i 4.63 1.82  273510400 42.3 apollon096 4.72 1.91  266002432 42.2 apollon009 4.75 1.85  278216704 44.2 apollon005 4.67 1.83  274706432 39.0 apollon083 4.43 1.79  271241216 41.8 apollon130 4.49 1.83  274427904 44.7 apollon007
array-tiling/mbpr5_true-unreach-call.i 5.08 2.17  290054144 47.5 apollon011 4.84 2.13  281804800 50.5 apollon016 5.09 2.21  276840448 45.5 apollon165 5.15 2.29  278130688 45.9 apollon165 5.01 2.17  284028928 48.0 apollon055 5.09 2.19  282587136 49.8 apollon010
array-tiling/nr2_true-unreach-call.i 4.30 1.72  275628032 37.3 apollon058 4.40 1.78  269279232 32.8 apollon063 4.32 1.78  275267584 38.5 apollon129 4.37 1.80  270430208 39.8 apollon052 4.19 1.76  272330752 36.9 apollon104 4.30 1.80  266899456 42.6 apollon114
array-tiling/nr3_true-unreach-call.i 4.76 2.06  285376512 42.3 apollon110 4.76 2.11  282152960 40.3 apollon089 4.46 2.07  277467136 39.5 apollon092 4.68 2.11  284094464 51.6 apollon039 4.54 2.08  280891392 43.4 apollon050 4.75 2.05  287559680 41.3 apollon099
array-tiling/nr4_true-unreach-call.i 4.40 1.75  271777792 42.8 apollon148 4.29 1.73  270274560 40.3 apollon024 4.49 1.78  279478272 42.4 apollon136 4.32 1.78  274116608 37.1 apollon098 4.69 1.81  276815872 45.2 apollon164 4.28 1.76  269725696 43.7 apollon126
array-tiling/nr5_true-unreach-call.i 4.56 2.06  277983232 39.8 apollon117 4.87 2.15  285413376 47.4 apollon162 4.76 2.13  280342528 48.7 apollon014 4.57 2.06  274956288 38.0 apollon158 4.80 2.12  285237248 52.3 apollon057 4.78 2.13  288382976 49.7 apollon030
array-tiling/pnr2_true-unreach-call.i 4.25 1.73  273756160 39.7 apollon052 4.20 1.77  269254656 37.2 apollon116 4.40 1.78  277704704 44.1 apollon028 4.66 1.82  278228992 47.5 apollon008 4.38 1.83  265859072 43.9 apollon108 4.46 1.86  268632064 37.2 apollon045
array-tiling/pnr3_true-unreach-call.i 4.67 2.07  283213824 49.9 apollon008 4.59 2.06  280137728 51.3 apollon039 4.97 2.15  287162368 43.8 apollon023 4.68 2.12  283742208 41.9 apollon129 4.59 2.08  278294528 43.8 apollon157 4.64 2.09  280891392 40.8 apollon127
array-tiling/pnr4_true-unreach-call.i 4.53 1.76  273514496 39.2 apollon061 4.25 1.77  268550144 36.2 apollon089 4.31 1.76  271015936 41.6 apollon101 4.41 1.76  269279232 47.1 apollon036 4.38 1.84  275697664 46.4 apollon111 4.31 1.77  274853888 43.4 apollon148
array-tiling/pnr5_true-unreach-call.i 4.97 2.20  288149504 46.3 apollon037 4.87 2.11  285769728 44.8 apollon045 4.78 2.09  278331392 49.2 apollon059 4.90 2.19  282697728 48.8 apollon068 4.96 2.13  282931200 52.0 apollon030 4.86 2.10  282017792 41.4 apollon089
array-tiling/poly1_true-unreach-call.i 901    750     5473751040 9820   5 8 apollon081 901    752     5327147008 7930   5 8 apollon104 901    760     5571768320 8770   5 8 apollon078 901    749     5002141696 8320   5 8 apollon041 901    715     6264610816 9570   5 8 apollon105 901    804     4507541504 8400   5 8 apollon121
array-tiling/poly2_true-unreach-call.i 901    736     5423079424 7230   7 10 apollon123 901    788     4951367680 8590   7 10 apollon149 902    661     6922956800 7300   7 10 apollon042 901    695     7145963520 9160   7 10 apollon006 902    667     6853677056 11300   7 10 apollon057 901    812     4843401216 10400   7 10 apollon111
array-tiling/pr2_true-unreach-call.i 4.26 1.74  266907648 42.1 apollon146 4.46 1.73  274599936 43.1 apollon094 4.59 1.78  276664320 43.9 apollon093 4.48 1.79  271536128 38.2 apollon137 4.39 1.77  276574208 43.0 apollon069 4.48 1.81  271462400 43.1 apollon047
array-tiling/pr3_true-unreach-call.i 4.82 2.14  284758016 46.1 apollon105 4.70 2.08  281169920 46.1 apollon146 4.63 2.10  284000256 44.2 apollon142 4.92 2.12  286584832 44.7 apollon103 4.62 2.10  281038848 47.2 apollon047 4.65 2.15  284090368 44.5 apollon070
array-tiling/pr4_true-unreach-call.i 4.37 1.80  272637952 36.3 apollon098 4.28 1.79  272023552 38.7 apollon025 4.40 1.82  276430848 39.6 apollon127 4.26 1.75  269340672 45.9 apollon056 4.29 1.80  274489344 38.6 apollon127 4.53 1.87  276828160 42.3 apollon132
array-tiling/pr5_true-unreach-call.i 4.76 2.10  279846912 46.1 apollon024 4.90 2.12  283586560 49.0 apollon140 4.92 2.16  281071616 43.9 apollon002 5.00 2.23  286662656 46.6 apollon086 4.67 2.09  282607616 44.2 apollon119 5.01 2.24  279425024 48.8 apollon145
array-tiling/revcpyswp2_true-unreach-call.i 906    704     5190057984 9930   9 12 apollon162 902    712     6265036800 10700   9 12 apollon005 901    743     5049380864 11200   9 12 apollon014 901    779     5578969088 9840   9 12 apollon062 901    686     5470801920 9940   9 12 apollon017 901    795     5095710720 12900   9 12 apollon039
array-tiling/rew_true-unreach-call.i 901    716     5602082816 9880   7 10 apollon073 901    706     5707976704 9640   7 10 apollon066 901    676     7121797120 10700   7 10 apollon064 901    683     6422958080 9720   7 10 apollon133 901    617     7621701632 10200   7 10 apollon126 901    782     5656023040 10700   7 10 apollon096
array-tiling/rewnif_true-unreach-call.i 901    724     5913030656 9600   7 10 apollon013 901    709     6504472576 9590   7 10 apollon023 901    684     6546296832 9230   7 10 apollon013 901    663     6632632320 10600   7 10 apollon167 901    681     6003994624 10300   7 10 apollon067 901    779     5567848448 10500   7 10 apollon049
array-tiling/rewnifrev2_true-unreach-call.i 901    742     6034845696 10200   5 8 apollon050 901    755     6056763392 11000   5 8 apollon084 901    765     5789257728 10100   5 8 apollon066 901    785     5594103808 10500   5 8 apollon079 901    714     6350962688 9560   5 8 apollon127 901    820     5009850368 11100   5 8 apollon018
array-tiling/rewnifrev_true-unreach-call.i 901    741     5856006144 11000   7 10 apollon020 901    726     6199988224 10700   7 10 apollon071 901    742     6224134144 9770   7 10 apollon053 901    773     5329256448 11100   7 10 apollon048 902    688     6274453504 10300   7 10 apollon146 901    814     4932124672 10600   7 10 apollon144
array-tiling/rewrev_true-unreach-call.i 901    692     5547315200 10200   7 10 apollon168 902    706     7001358336 11200   7 10 apollon077 912    670     6466871296 10300   7 10 apollon084 901    656     8502272000 11000   7 10 apollon030 902    598     7791251456 10100   7 10 apollon132 901    791     5064634368 11100   7 10 apollon071
array-tiling/skipped_true-unreach-call.i 4.22 1.70  267677696 44.0 apollon111 4.19 1.73  264675328 39.7 apollon067 4.52 1.77  276258816 41.4 apollon096 4.27 1.72  269897728 38.7 apollon004 4.11 1.71  270524416 38.1 apollon012 4.24 1.79  270508032 43.6 apollon033
array-tiling/tcpy_true-unreach-call.i 4.35 1.75  272453632 43.3 apollon159 4.32 1.72  274395136 39.8 apollon096 4.57 1.78  278843392 38.8 apollon128 4.41 1.79  269742080 46.7 apollon039 4.56 1.80  278867968 45.2 apollon020 4.37 1.77  271941632 40.6 apollon087
array-programs/copysome1_false-unreach-call.i 901    876     3009335296 9900   1 12 apollon035 901    875     3248373760 9630   1 12 apollon128 902    859     4275773440 10200   1 12 apollon001 901    872     2983415808 9560   1 12 apollon035 901    872     2623979520 9590   1 12 apollon020 587    558     14999998464 6280   apollon017
array-programs/copysome2_false-unreach-call.i 901    876     3176755200 9930   1 14 apollon110 901    881     3585687552 10200   1 14 apollon129 902    863     4250316800 9550   1 14 apollon138 901    870     3220074496 10700   1 14 apollon085 901    879     2919448576 9400   1 14 apollon129 493    466     14999998464 5120   apollon110
array-programs/copysome1_true-unreach-call.i 901    877     3034734592 12200   1 12 apollon088 901    877     3354476544 9220   1 12 apollon131 902    859     4259102720 10500   1 12 apollon165 901    874     2832109568 10100   1 12 apollon096 901    874     2599227392 9260   1 12 apollon099 556    529     14999998464 5920   apollon062
array-programs/copysome2_true-unreach-call.i 901    878     2949697536 13400   1 14 apollon056 901    881     3715645440 9940   1 14 apollon073 902    864     4282126336 11400   1 14 apollon094 902    870     3248156672 9900   1 14 apollon121 901    880     2901073920 9100   1 14 apollon095 488    461     14999998464 4540   apollon060
bitvector/byte_add_false-unreach-call_true-no-overflow_true-termination.i 37.7  20.1   1253863424 391   59 60 apollon146 20.4  5.60  719925248 186   59 60 apollon020 20.3  5.48  685166592 163   59 60 apollon110 21.1  5.69  745820160 181   59 60 apollon032 21.0  5.67  784920576 159   59 60 apollon117 20.3  5.50  720556032 163   59 60 apollon139
bitvector/sum02_false-unreach-call_true-no-overflow.i 901    645     6780796928 9140   4 8 apollon149 901    631     7415926784 8750   4 8 apollon128 901    634     8498872320 11000   4 8 apollon161 901    615     10218479616 9900   4 8 apollon006 901    483     11141296128 9170   4 8 apollon059 901    771     5641072640 10600   4 8 apollon027
bitvector/byte_add_1_true-unreach-call_true-no-overflow_true-termination.i 39.5  20.4   2028994560 365   44 60 apollon099 159    128     3490713600 1810   44 60 apollon129 109    88.0   3150233600 1480   44 60 apollon080 260    236     2277830656 3530   44 60 apollon077 190    162     2044575744 2350   44 60 apollon017 31.0  9.73  1079455744 275   44 60 apollon005
bitvector/byte_add_2_true-unreach-call_true-no-overflow_true-termination.i 912    890     2550583296 14900   apollon030 158    129     3512799232 1720   45 60 apollon041 111    83.9   2638434304 1270   45 60 apollon102 260    234     2831093760 3230   45 60 apollon142 188    161     3211149312 2070   45 60 apollon002 31.4  9.44  1049460736 266   45 60 apollon038
bitvector/gcd_1_true-unreach-call_true-no-overflow.i 16.6  10.4   1058545664 170   10 12 apollon104 56.3  50.0   1692975104 762   10 12 apollon141 107    99.0   1617956864 1420   10 12 apollon061 257    246     1603629056 3650   10 12 apollon136 86.8  79.7   1682403328 1130   10 12 apollon032 26.7  20.3   1426628608 321   10 12 apollon145
bitvector/gcd_2_true-unreach-call_true-no-overflow.i 15.1  9.11  1072472064 168   9 10 apollon067 55.4  48.8   1671241728 700   9 10 apollon074 106    98.3   1643978752 1380   9 10 apollon087 255    245     1622503424 3510   9 10 apollon017 85.8  78.6   1683771392 1360   9 10 apollon056 25.8  19.1   1186799616 306   9 10 apollon096
bitvector/gcd_3_true-unreach-call_true-no-overflow.i 215    205     1614127104 2750   9 10 apollon162 308    296     1675825152 4290   9 10 apollon033 901    878     1401655296 11700   9 10 apollon093 403    392     1644314624 4880   9 10 apollon013 556    537     1725530112 7260   9 10 apollon118 901    886     1511837696 11400   9 10 apollon124
bitvector/gcd_4_true-unreach-call_true-no-overflow_true-termination.i 5.46 2.08  299474944 46.6 8 12 apollon042 5.48 2.09  301547520 48.1 8 12 apollon042 5.53 2.11  300630016 50.5 8 12 apollon153 5.35 2.05  298102784 44.2 8 12 apollon098 5.55 2.10  295849984 48.4 8 12 apollon023 5.54 2.11  291717120 51.0 8 12 apollon067
bitvector/interleave_bits_true-unreach-call_true-no-overflow.i 16.6  7.72  1797783552 165   3 4 apollon084 56.5  46.7   2810286080 659   3 4 apollon116 105    94.9   2659139584 1510   3 4 apollon167 255    242     2522730496 3460   3 4 apollon061 86.3  76.7   2733834240 1200   3 4 apollon006 25.0  16.3   2174861312 289   3 4 apollon046
bitvector/jain_1_true-unreach-call_true-no-overflow_false-termination.i 12.9  7.62  1130917888 144   1 2 apollon152 52.9  47.6   1717723136 644   1 2 apollon104 103    96.6   1639870464 1330   1 2 apollon135 253    242     1293795328 3330   1 2 apollon153 82.8  76.7   1661157376 1210   1 2 apollon140 22.9  17.1   1480351744 261   1 2 apollon144
bitvector/jain_2_true-unreach-call_true-no-overflow_false-termination.i 12.8  7.63  1193013248 131   1 2 apollon003 52.7  47.0   1741942784 631   1 2 apollon083 103    96.5   1741324288 1420   1 2 apollon141 253    243     1709146112 3320   1 2 apollon095 82.8  76.8   1784180736 1110   1 2 apollon096 22.9  17.0   1240588288 272   1 2 apollon067
bitvector/jain_4_true-unreach-call_true-no-overflow_false-termination.i 12.6  7.73  1076707328 132   1 2 apollon001 53.4  47.6   1899343872 680   1 2 apollon153 103    96.7   1818828800 1260   1 2 apollon100 253    243     1870610432 3690   1 2 apollon081 82.8  77.0   1891684352 1050   1 2 apollon026 22.9  17.1   1543819264 237   1 2 apollon092
bitvector/jain_5_true-unreach-call_true-no-overflow.i 901    870     1403998208 9730   1 2 apollon129 901    874     2121400320 8620   1 2 apollon060 902    855     7077326848 8240   1 2 apollon144 902    864     7871836160 8180   1 2 apollon152 901    866     1520807936 7740   1 2 apollon152 901    859     6981361664 10600   1 2 apollon008
bitvector/jain_6_true-unreach-call_true-no-overflow_false-termination.i 12.8  7.67  1254223872 139   1 2 apollon142 52.8  47.2   1563553792 673   1 2 apollon121 103    96.6   1866219520 1320   1 2 apollon110 253    243     1817366528 3270   1 2 apollon150 83.0  76.9   1902587904 1010   1 2 apollon013 22.8  17.1   1575731200 285   1 2 apollon006
bitvector/jain_7_true-unreach-call_true-no-overflow_false-termination.i 15.3  9.75  1482305536 178   1 2 apollon091 55.3  49.0   1572007936 689   1 2 apollon107 105    98.2   1503612928 1350   1 2 apollon012 254    244     1849569280 3350   1 2 apollon120 84.8  78.3   1907683328 1010   1 2 apollon089 24.5  18.7   1575661568 316   1 2 apollon155
bitvector/modulus_true-unreach-call_true-no-overflow.i 901    887     663814144 11000   11 12 apollon107 901    884     773214208 13900   11 12 apollon021 901    865     1751232512 11700   11 12 apollon049 901    865     3981537280 11200   11 12 apollon034 901    866     982884352 10700   11 12 apollon003 901    882     1880571904 11400   11 12 apollon034
bitvector/num_conversion_1_true-unreach-call_true-no-overflow.i 5.58 2.04  285913088 51.7 5 6 apollon068 5.33 2.01  283492352 50.3 5 6 apollon065 5.29 2.08  280940544 49.5 5 6 apollon114 5.40 2.03  282230784 53.1 5 6 apollon027 5.26 1.98  285319168 47.9 5 6 apollon147 5.23 1.97  282292224 44.9 5 6 apollon003
bitvector/num_conversion_2_true-unreach-call_true-no-overflow.i 36.6  15.8   1072291840 284   5 6 apollon104 64.9  22.6   2221191168 509   5 6 apollon022 903    617     9430372352 9100   5 6 apollon045 901    619     8187547648 9060   5 6 apollon003 93.9  35.4   3901558784 825   5 6 apollon132 901    770     6665261056 9920   5 6 apollon149
bitvector/parity_true-unreach-call_true-no-overflow.i 902    697     5863989248 9720   7 8 apollon042 297    208     4419702784 3370   7 8 apollon093 322    189     5614632960 3580   7 8 apollon014 361    234     5440503808 3350   7 8 apollon123 902    608     7367458816 9550   7 8 apollon147 146    110     2260180992 1870   7 8 apollon122
bitvector/sum02_true-unreach-call_true-no-overflow.i 3.63 1.49  265875456 35.0 apollon064 3.44 1.51  264953856 30.9 apollon109 3.92 1.57  273170432 36.4 apollon112 3.75 1.53  267272192 35.9 apollon148 3.44 1.48  259248128 36.1 apollon016 3.67 1.53  264331264 33.4 apollon084
bitvector/s3_clnt_1_false-unreach-call_true-no-overflow.BV.c.cil.c 74.3  40.8   1764761600 829   171 172 apollon047 114    67.5   2577453056 1180   171 172 apollon071 81.5  28.7   3100250112 676   171 172 apollon085 81.3  29.0   2962464768 754   171 172 apollon163 81.1  28.2   2772115456 619   171 172 apollon041 72.8  47.1   1500065792 760   171 172 apollon050
bitvector/s3_clnt_2_false-unreach-call_true-no-overflow.BV.c.cil.c 68.0  35.7   2240950272 811   169 170 apollon160 73.0  25.9   2410147840 682   169 170 apollon125 115    44.7   4289527808 1060   169 170 apollon138 265    126     5218656256 2710   169 170 apollon016 105    47.0   3080499200 925   169 170 apollon079 58.2  33.9   1266958336 609   169 170 apollon165
bitvector/s3_clnt_3_false-unreach-call_true-no-overflow.BV.c.cil.c 901    682     7892422656 11000   124 172 apollon020 198    110     3807916032 1910   124 172 apollon103 187    98.2   5358034944 1750   124 172 apollon107 275    131     6136418304 2690   124 172 apollon006 114    33.6   4063334400 898   124 172 apollon081 142    96.7   2616950784 1880   124 172 apollon039
bitvector/s3_clnt_1_true-unreach-call_true-no-overflow.BV.c.cil.c 68.4  40.0   1854570496 765   147 172 apollon006 128    78.1   2959626240 1360   147 172 apollon052 73.5  28.3   2839535616 687   147 172 apollon048 81.5  28.9   2825101312 635   147 172 apollon066 78.2  28.0   3408781312 618   147 172 apollon013 125    90.4   2300715008 1320   147 172 apollon083
bitvector/s3_clnt_2_true-unreach-call_true-no-overflow.BV.c.cil.c 60.8  28.9   1678036992 586   143 170 apollon113 121    69.5   3057074176 1240   143 170 apollon018 70.0  26.5   2320371712 634   143 170 apollon055 80.6  27.3   2735558656 695   143 170 apollon141 113    47.0   3188916224 985   143 170 apollon118 120    87.6   2020278272 1460   143 170 apollon124
bitvector/s3_clnt_3_true-unreach-call_true-no-overflow.BV.c.cil.c 903    670     8508506112 9920   143 172 apollon058 406    255     6303256576 3970   145 172 apollon003 593    374     8138964992 5850   145 172 apollon107 790    476     9664499712 8300   145 172 apollon068 312    147     6344953856 3050   145 172 apollon047 901    746     7104262144 11500   145 172 apollon024
bitvector/s3_srvr_1_alt_true-unreach-call_true-no-overflow.BV.c.cil.c 901    853     3212156928 11200   191 194 apollon108 901    825     4599025664 10500   190 194 apollon018 902    700     5822496768 8120   191 194 apollon063 901    695     6025187328 9260   191 194 apollon134 901    722     6052536320 11000   191 194 apollon130 901    786     5003300864 10300   190 194 apollon157
bitvector/s3_srvr_1_true-unreach-call_true-no-overflow.BV.c.cil.c 223    129     5198270464 2060   150 192 apollon013 213    124     5223198720 2380   150 192 apollon069 433    273     6849945600 4270   150 192 apollon090 221    92.2   5497901056 1890   150 192 apollon018 316    159     6664515584 3200   150 192 apollon059 118    88.3   2696093696 1420   150 192 apollon108
bitvector/s3_srvr_2_alt_true-unreach-call_true-no-overflow_false-termination.BV.c.cil.c 375    261     5377290240 4170   175 192 apollon095 278    175     4591616000 2750   175 192 apollon134 904    598     10353881088 9460   175 192 apollon135 901    650     7010672640 9770   175 192 apollon103 682    311     11179003904 5640   175 192 apollon135 902    760     5481910272 10500   175 192 apollon103
bitvector/s3_srvr_2_true-unreach-call_true-no-overflow_false-termination.BV.c.cil.c 720    524     6300991488 7110   175 192 apollon123 390    243     6493184000 3880   175 192 apollon166 901    544     10684895232 9200   175 192 apollon015 902    603     9363349504 9110   175 192 apollon062 901    558     7521079296 10200   175 192 apollon033 902    781     4816908288 12600   173 192 apollon159
bitvector/s3_srvr_3_alt_true-unreach-call_true-no-overflow.BV.c.cil.c 350    227     5893980160 3620   149 192 apollon119 416    292     5914865664 4880   149 192 apollon164 408    276     5300031488 4160   149 192 apollon037 221    92.6   5736157184 1750   149 192 apollon123 288    129     8425304064 2510   149 192 apollon018 214    169     3453534208 2370   149 192 apollon090
bitvector/s3_srvr_3_true-unreach-call_true-no-overflow.BV.c.cil.c 343    219     6238851072 3270   149 192 apollon041 432    298     6053523456 5030   149 192 apollon164 216    137     4590940160 2170   149 192 apollon129 510    331     6395645952 5930   149 192 apollon021 320    153     6335815680 2360   149 192 apollon063 215    167     3448561664 2320   149 192 apollon031
bitvector/soft_float_1_true-unreach-call_true-no-overflow_true-termination.c.cil.c 22.7  7.88  549478400 230   51 74 apollon039 57.0  17.7   1988378624 499   51 74 apollon005 109    44.3   4177686528 910   51 74 apollon089 259    132     5419560960 2500   51 74 apollon070 86.9  30.7   3918843904 711   51 74 apollon013 31.7  9.95  952225792 279   51 74 apollon024
bitvector/soft_float_2_true-unreach-call_true-no-overflow_true-termination.c.cil.c 420    254     7000428544 3840   33 48 apollon043 264    163     4915957760 2810   33 48 apollon084 107    41.0   4242313216 921   33 48 apollon025 257    107     6301577216 2030   33 48 apollon100 644    328     8440283136 6090   33 48 apollon017 30.3  10.4   1009872896 272   33 48 apollon052
bitvector/soft_float_3_true-unreach-call_true-no-overflow_true-termination.c.cil.c 901    673     5702918144 11000   31 48 apollon108 388    263     5327020032 4000   34 48 apollon133 901    617     9851576320 11600   31 48 apollon008 901    617     8942678016 9680   31 48 apollon079 901    462     9835110400 8330   31 48 apollon015 901    790     4943708160 12200   31 48 apollon084
bitvector/soft_float_4_true-unreach-call_true-no-overflow_true-termination.c.cil.c 345    255     4468428800 3730   25 42 apollon042 797    584     6732857344 10100   25 42 apollon125 181    108     4489195520 1990   25 42 apollon126 338    183     5629030400 3280   25 42 apollon009 901    616     7640469504 9820   25 42 apollon071 154    112     1991290880 1530   25 42 apollon123
bitvector/soft_float_5_true-unreach-call_true-no-overflow_true-termination.c.cil.c 441    295     5240774656 4490   33 48 apollon042 273    162     5090267136 2550   33 48 apollon002 125    46.2   4548485120 946   33 48 apollon158 257    117     6523174912 2200   33 48 apollon109 609    345     7036948480 6450   33 48 apollon077 31.3  10.1   863068160 284   33 48 apollon164
bitvector-regression/implicitfloatconversion_false-unreach-call_true-termination.c 3.61 1.52  262127616 31.5 1 2 apollon023 3.48 1.46  265134080 32.7 1 2 apollon037 3.40 1.48  271667200 34.5 1 2 apollon080 3.44 1.52  262557696 26.1 1 2 apollon063 3.49 1.53  261554176 32.9 1 2 apollon031 3.54 1.54  264208384 37.1 1 2 apollon159
bitvector-regression/implicitunsignedconversion_false-unreach-call_true-termination.c 3.70 1.53  265129984 35.8 1 2 apollon048 3.57 1.52  264843264 36.6 1 2 apollon008 3.54 1.51  269377536 35.2 1 2 apollon020 3.27 1.48  262098944 31.0 1 2 apollon142 3.38 1.49  259076096 33.7 1 2 apollon007 3.53 1.47  268410880 32.0 1 2 apollon096
bitvector-regression/integerpromotion_false-unreach-call_true-termination.c 3.41 1.52  266465280 30.2 1 2 apollon109 3.42 1.46  257265664 35.9 1 2 apollon126 3.40 1.48  264818688 31.6 1 2 apollon071 3.46 1.53  259248128 29.5 1 2 apollon060 3.44 1.50  265535488 30.5 1 2 apollon104 3.55 1.50  266502144 30.0 1 2 apollon123
bitvector-regression/recHanoi03_false-unreach-call_true-termination.c 154    84.3   14999998464 1650   apollon167 154    85.0   14999998464 1610   apollon164 192    118     14999998464 2400   apollon021 193    117     14999998464 1920   apollon035 155    84.4   14999998464 1550   apollon146 191    119     14999998464 1870   apollon149
bitvector-regression/signextension2_false-unreach-call_true-termination.c 3.95 1.65  266805248 35.4 4 8 apollon109 4.17 1.66  273985536 38.4 4 8 apollon103 4.16 1.69  272969728 38.1 4 8 apollon049 4.10 1.64  271765504 36.9 4 8 apollon052 4.08 1.70  269225984 42.1 4 8 apollon125 4.04 1.66  272244736 37.5 4 8 apollon097
bitvector-regression/signextension_false-unreach-call_true-termination.c 4.41 1.76  272105472 39.9 4 8 apollon097 4.09 1.69  269340672 38.8 4 8 apollon017 4.31 1.69  275390464 38.2 4 8 apollon105 4.39 1.75  268890112 50.3 4 8 apollon112 4.18 1.69  264110080 41.1 4 8 apollon048 4.01 1.68  269021184 34.3 4 8 apollon099
bitvector-regression/implicitunsignedconversion_true-unreach-call_true-termination.c 3.30 1.44  260911104 33.8 1 2 apollon125 3.69 1.53  260898816 31.1 1 2 apollon128 3.53 1.53  266719232 32.8 1 2 apollon017 3.50 1.47  259530752 30.1 1 2 apollon110 3.38 1.44  262193152 34.6 1 2 apollon059 3.40 1.49  259497984 37.8 1 2 apollon021
bitvector-regression/integerpromotion_true-unreach-call_true-termination.c 3.32 1.48  257200128 30.6 1 2 apollon100 3.38 1.46  260288512 30.4 1 2 apollon075 3.45 1.54  254861312 32.6 1 2 apollon067 3.53 1.54  265170944 31.8 1 2 apollon087 3.58 1.51  262754304 31.8 1 2 apollon107 3.35 1.47  257581056 36.2 1 2 apollon125
bitvector-regression/signextension2_true-unreach-call_true-termination.c 4.24 1.68  270663680 38.3 4 8 apollon097 4.19 1.64  273788928 38.5 4 8 apollon130 4.05 1.70  269955072 36.2 4 8 apollon018 4.14 1.70  273154048 36.2 4 8 apollon029 4.07 1.67  271585280 40.5 4 8 apollon155 4.19 1.68  271990784 41.7 4 8 apollon020
bitvector-regression/signextension_true-unreach-call_true-termination.c 4.12 1.68  267194368 41.6 4 8 apollon014 4.10 1.64  268316672 38.8 4 8 apollon067 4.16 1.67  278372352 39.7 4 8 apollon031 4.19 1.74  268644352 37.1 4 8 apollon121 4.16 1.72  271564800 40.0 4 8 apollon031 4.02 1.66  267653120 40.4 4 8 apollon080
bitvector-loops/diamond_false-unreach-call2.i 15.7  4.66  531668992 125   24 24 apollon149 56.3  16.6   2592223232 524   24 24 apollon039 110    40.4   4386545664 958   24 24 apollon096 258    113     5885116416 2320   24 24 apollon084 84.4  27.7   3855245312 747   24 24 apollon108 27.2  7.31  871305216 228   24 24 apollon024
bitvector-loops/overflow_false-unreach-call1.i 901    876     1485213696 10800   1 4 apollon058 901    871     1488064512 11200   1 4 apollon061 902    868     3963793408 11000   1 4 apollon068 901    872     3306086400 9770   1 4 apollon096 901    871     1210208256 9270   1 4 apollon108 901    869     5183922176 8900   1 4 apollon055
bitvector-loops/verisec_sendmail__tTflag_arr_one_loop_false-unreach-call_true-termination.i 901    880     2023419904 12500   7 8 apollon165 901    861     3978530816 11300   7 8 apollon040 76.2  24.6   3285553152 636   8 8 apollon165 71.8  23.9   3025477632 646   8 8 apollon132 76.2  24.5   3368767488 643   8 8 apollon038 223    178     3448545280 2670   8 8 apollon095
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c 79.2  35.0   2476216320 763   257 350 apollon010 77.9  35.2   3057147904 800   257 350 apollon080 132    46.8   4727517184 904   257 350 apollon151 296    135     5804924928 2610   257 350 apollon095 193    83.3   5217189888 1660   257 350 apollon119 52.2  28.1   1292615680 547   257 350 apollon008
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c 38.7  14.4   1069346816 374   136 174 apollon094 59.0  19.0   1925668864 525   136 174 apollon164 58.3  18.5   2252967936 514   136 174 apollon140 65.2  19.7   3087835136 495   136 174 apollon013 59.4  18.3   2278662144 499   136 174 apollon144 44.0  17.0   1256513536 375   136 174 apollon073
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c 48.1  18.4   1272647680 430   214 254 apollon025 66.3  26.0   2234519552 603   214 254 apollon052 87.5  28.8   4279812096 746   214 254 apollon141 93.7  29.8   3996909568 826   214 254 apollon111 86.7  29.8   2994565120 691   214 254 apollon133 48.7  22.9   1224966144 457   214 254 apollon097
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c 23.6  8.70  717918208 222   97 138 apollon006 47.5  11.7   1769705472 412   97 138 apollon014 47.2  11.8   1779478528 389   97 138 apollon047 45.9  11.7   2005950464 348   97 138 apollon157 43.2  11.8   1424146432 383   97 138 apollon047 31.1  9.98  1098014720 289   97 138 apollon047
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 67.0  30.6   1725964288 702   255 348 apollon122 78.4  35.3   2507984896 777   255 348 apollon108 132    60.0   4584656896 1290   255 348 apollon138 290    101     6466228224 2320   255 348 apollon167 189    89.9   4985847808 1690   255 348 apollon115 54.3  27.0   1194180608 491   255 348 apollon100
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 40.9  15.9   1253498880 421   108 164 apollon039 67.0  23.5   2556715008 578   108 164 apollon165 118    43.0   4552540160 943   108 164 apollon002 267    104     6549831680 2220   108 164 apollon071 116    35.7   3994075136 850   108 164 apollon053 43.7  16.4   1294843904 380   108 164 apollon105
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c 33.4  13.0   1057071104 357   136 174 apollon039 59.4  18.8   2085941248 511   136 174 apollon022 66.2  19.5   2645966848 548   136 174 apollon048 62.2  18.9   2299744256 522   136 174 apollon112 88.3  23.3   3130580992 578   136 174 apollon040 43.6  17.4   1198780416 350   136 174 apollon151
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c 49.6  19.5   1556484096 422   214 254 apollon149 71.3  25.9   2141982720 552   214 254 apollon089 89.1  28.8   3169673216 665   214 254 apollon128 69.8  26.9   3083849728 635   214 254 apollon147 78.9  27.8   3609587712 682   214 254 apollon168 47.8  22.5   1160552448 447   214 254 apollon085
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 18.2  5.53  578023424 150   51 82 apollon023 28.2  7.59  1200832512 236   51 82 apollon046 30.3  7.77  1177489408 225   51 82 apollon083 29.7  7.54  1177354240 227   51 82 apollon029 29.8  7.55  1196400640 220   51 82 apollon089 26.7  6.94  913956864 215   51 82 apollon061
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c 23.5  7.97  746065920 186   93 134 apollon158 47.4  11.5   1792745472 367   93 134 apollon113 42.3  11.1   1602449408 356   93 134 apollon136 40.3  11.3   1344516096 337   93 134 apollon078 43.7  11.2   1628884992 360   93 134 apollon101 31.9  9.64  907251712 282   93 134 apollon064
ssh-simplified/s3_clnt_1_false-unreach-call_true-termination.cil.c 65.8  31.8   1583738880 695   145 170 apollon007 111    64.1   2397409280 1110   145 170 apollon023 71.9  24.3   2431791104 602   145 170 apollon025 102    28.4   3497525248 755   145 170 apollon093 73.9  24.5   2678505472 632   145 170 apollon118 114    83.0   1842479104 1360   145 170 apollon136
ssh-simplified/s3_clnt_2_false-unreach-call_true-termination.cil.c 56.2  24.3   1466228736 574   144 170 apollon094 108    62.8   1931407360 1220   144 170 apollon065 71.7  24.5   2422759424 649   144 170 apollon048 80.8  25.5   2620002304 702   144 170 apollon126 81.9  25.4   3604316160 603   144 170 apollon116 108    81.6   1800609792 1090   144 170 apollon123
ssh-simplified/s3_clnt_3_false-unreach-call_true-termination.cil.c 757    529     6782631936 8260   144 170 apollon135 298    185     5570416640 3000   144 170 apollon062 314    179     6735392768 3410   144 170 apollon148 391    231     6000009216 3560   144 170 apollon098 202    82.5   6441127936 1830   144 170 apollon126 244    178     4520472576 2800   144 170 apollon152
ssh-simplified/s3_clnt_4_false-unreach-call_true-termination.cil.c 62.7  30.3   1669206016 609   144 170 apollon135 114    63.0   2063982592 1120   144 170 apollon037 80.2  25.5   2570100736 615   144 170 apollon137 69.5  24.4   2676625408 684   144 170 apollon057 81.9  25.5   3649531904 645   144 170 apollon078 114    83.3   1810485248 1260   144 170 apollon058
ssh-simplified/s3_srvr_10_false-unreach-call_false-termination.cil.c 114    56.9   3281047552 992   141 200 apollon139 104    52.3   2428456960 1050   141 200 apollon077 90.2  28.1   3535052800 781   141 200 apollon028 85.1  27.5   3316781056 774   141 200 apollon163 113    43.5   3799048192 964   141 200 apollon032 110    80.7   2668453888 1350   141 200 apollon019
ssh-simplified/s3_srvr_11_false-unreach-call_false-termination.cil.c 169    85.5   5034512384 1630   163 208 apollon046 206    125     4582670336 2330   163 208 apollon140 384    228     6936686592 4230   163 208 apollon030 902    552     11182952448 8640   163 208 apollon144 438    190     8191102976 3940   163 208 apollon140 902    744     6508662784 9990   163 208 apollon137
ssh-simplified/s3_srvr_12_false-unreach-call_false-termination.cil.c 901    637     6997061632 9040   184 242 apollon116 317    196     5766692864 3190   189 242 apollon034 901    564     10137714688 8680   189 242 apollon107 901    567     9672261632 9700   189 242 apollon033 901    513     10095390720 9150   189 242 apollon065 910    701     7534080000 9580   189 242 apollon115
ssh-simplified/s3_srvr_13_false-unreach-call_false-termination.cil.c 544    364     6661586944 5530   168 214 apollon079 299    156     6355619840 2970   168 214 apollon164 371    229     6358196224 3670   168 214 apollon001 891    528     11580997632 8080   168 214 apollon023 934    531     8644943872 9030   161 214 apollon076 180    129     3470217216 1850   168 214 apollon083
ssh-simplified/s3_srvr_14_false-unreach-call_false-termination.cil.c 901    473     10628542464 8300   132 212 apollon004 87.9  42.7   2601660416 940   157 212 apollon088 918    574     7809536000 10000   157 212 apollon019 902    558     10536820736 8910   157 212 apollon055 495    258     7608561664 4610   157 212 apollon120 901    700     7386144768 9160   157 212 apollon098
ssh-simplified/s3_srvr_1_false-unreach-call_false-termination.cil.c 75.9  32.6   2297921536 684   137 192 apollon052 86.1  41.0   2607476736 798   137 192 apollon110 417    236     6710063104 3960   137 192 apollon085 516    314     7646302208 5640   137 192 apollon059 233    75.3   6648926208 1950   137 192 apollon056 901    751     7092498432 11600   137 192 apollon033
ssh-simplified/s3_srvr_2_false-unreach-call_false-termination.cil.c 200    109     4537782272 2010   136 192 apollon168 82.4  37.9   2097807360 914   136 192 apollon057 386    226     6214995968 4180   136 192 apollon081 395    206     8323698688 3790   136 192 apollon136 198    72.7   6004215808 1550   136 192 apollon150 170    119     3543310336 2050   136 192 apollon163
ssh-simplified/s3_srvr_6_false-unreach-call_false-termination.cil.c 901    629     7125123072 11700   163 228 apollon057 901    588     8611295232 10200   176 228 apollon140 901    582     7563059200 10600   176 228 apollon161 901    470     12588761088 7190   176 228 apollon134 901    427     10897563648 7890   160 228 apollon070 901    764     5957443584 10500   176 228 apollon144
ssh-simplified/s3_clnt_1_true-unreach-call_true-termination.cil.c 63.7  31.4   2141097984 587   145 170 apollon137 120    71.7   2301231104 1170   145 170 apollon002 82.4  28.4   2957791232 597   145 170 apollon158 81.2  28.3   2914152448 652   145 170 apollon129 82.5  28.2   2925670400 700   145 170 apollon112 124    88.4   2062860288 1380   145 170 apollon135
ssh-simplified/s3_clnt_2_true-unreach-call_true-termination.cil.c 63.7  33.2   1847201792 714   143 170 apollon069 119    68.3   2786304000 1240   143 170 apollon084 77.3  28.1   2888429568 659   143 170 apollon153 82.1  28.2   2846457856 689   143 170 apollon087 105    44.9   3481440256 917   143 170 apollon037 112    85.9   1943486464 1270   143 170 apollon037
ssh-simplified/s3_clnt_3_true-unreach-call_true-termination.cil.c 802    529     8007921664 9480   143 170 apollon069 97.3  55.3   2494103552 1090   143 170 apollon008 602    310     10476933120 5110   143 170 apollon166 456    276     7417122816 4740   143 170 apollon019 506    292     6724435968 4880   143 170 apollon025 148    106     3045883904 1960   143 170 apollon111
ssh-simplified/s3_clnt_4_true-unreach-call_true-termination.cil.c 60.8  28.1   1651720192 479   143 170 apollon063 89.1  46.8   1945960448 910   143 170 apollon084 74.9  27.4   2350387200 635   143 170 apollon110 77.9  27.6   2381955072 723   143 170 apollon068 77.8  27.0   2886262784 601   143 170 apollon040 112    84.8   1882251264 1470   143 170 apollon030
ssh-simplified/s3_srvr_1_true-unreach-call_false-termination.cil.c 252    161     4749504512 3020   149 192 apollon148 460    307     7044841472 4860   149 192 apollon133 907    562     8252321792 9220   149 192 apollon141 499    327     6079418368 5480   149 192 apollon010 793    347     11037216768 7020   149 192 apollon077 284    214     4355035136 3150   149 192 apollon165
ssh-simplified/s3_srvr_1a_true-unreach-call_false-termination.cil.c 20.7  5.78  757288960 168   53 58 apollon001 21.0  5.45  746254336 167   53 58 apollon135 19.1  5.20  672112640 168   53 58 apollon047 20.8  5.45  749056000 163   53 58 apollon035 19.9  5.36  772120576 162   53 58 apollon026 21.3  5.40  791003136 173   53 58 apollon024
ssh-simplified/s3_srvr_1b_true-unreach-call_false-termination.cil.c 9.12 2.88  339132416 74.8 25 30 apollon072 9.45 3.04  342155264 73.8 25 30 apollon043 9.38 3.01  442720256 86.2 25 30 apollon020 9.01 2.90  436277248 71.3 25 30 apollon098 9.19 2.91  439631872 69.5 25 30 apollon143 9.42 2.95  443576320 71.8 25 30 apollon151
ssh-simplified/s3_srvr_2_true-unreach-call_false-termination.cil.c 652    436     7189807104 8400   147 192 apollon039 518    343     6387425280 6280   147 192 apollon088 913    556     7928320000 8710   147 192 apollon133 902    569     9456455680 9020   147 192 apollon082 902    503     10465624064 8830   147 192 apollon071 902    731     7538843648 10300   147 192 apollon133
ssh-simplified/s3_srvr_3_true-unreach-call_false-termination.cil.c 713    471     7772516352 7250   148 192 apollon166 466    312     6396289024 4620   148 192 apollon134 576    366     6385442816 5930   148 192 apollon145 503    294     7440355328 4510   148 192 apollon013 847    467     9892519936 7850   148 192 apollon072 307    237     5099802624 4180   148 192 apollon160
ssh-simplified/s3_srvr_4_true-unreach-call_false-termination.cil.c 601    417     6488117248 6540   146 192 apollon165 522    341     5547024384 5220   146 192 apollon066 577    347     7736049664 6040   146 192 apollon005 494    273     6973194240 4940   146 192 apollon064 902    471     10624860160 9220   140 192 apollon088 901    762     6344523776 12900   146 192 apollon021
ssh-simplified/s3_srvr_6_true-unreach-call_false-termination.cil.c 901    595     8195350528 10400   169 226 apollon047 922    613     8165646336 9600   174 226 apollon051 901    531     10015772672 8620   174 226 apollon153 902    518     11894165504 9330   174 226 apollon130 902    447     10890731520 8140   147 226 apollon076 901    717     7194710016 10300   174 226 apollon032
ssh-simplified/s3_srvr_7_true-unreach-call_false-termination.cil.c 902    609     8177537024 9760   134 202 apollon022 901    631     7742738432 10000   156 202 apollon096 902    598     9010458624 9240   156 202 apollon012 901    525     11210964992 8790   156 202 apollon145 927    473     10703818752 9080   143 202 apollon020 901    704     8235696128 10100   156 202 apollon156
ssh-simplified/s3_srvr_8_true-unreach-call_false-termination.cil.c 901    567     8832364544 9400   127 204 apollon146 524    351     5818486784 6380   150 204 apollon125 904    571     9243709440 9500   150 204 apollon046 468    278     7656251392 4690   150 204 apollon101 902    428     10148675584 8300   131 204 apollon138 196    151     3683835904 2680   150 204 apollon057
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c 16.7  5.61  547368960 159   72 86 apollon138 55.5  40.0   1894338560 629   72 86 apollon049 904    769     5401362432 12100   42 86 apollon140 901    764     6147055616 10100   46 86 apollon086 85.7  68.1   2162741248 952   72 86 apollon013 902    735     5467484160 11600   36 86 apollon064
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c 18.0  6.32  682299392 172   77 92 apollon118 55.8  40.9   1687302144 677   77 92 apollon091 907    762     5579894784 11400   38 92 apollon112 901    768     6264791040 11800   38 92 apollon140 85.6  70.8   1964507136 1150   77 92 apollon106 901    718     5477392384 10700   35 92 apollon082
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c 14.8  4.69  485441536 138   52 62 apollon048 29.5  12.7   1219260416 320   52 62 apollon057 29.8  13.0   1256329216 302   52 62 apollon068 28.3  12.8   1033564160 290   52 62 apollon007 27.9  12.5   1204686848 273   52 62 apollon071 111    81.1   3998920704 1410   52 62 apollon007
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c 15.4  4.93  545595392 157   57 68 apollon021 53.2  35.6   1918332928 599   57 68 apollon055 56.9  38.5   1806217216 617   57 68 apollon075 56.6  38.8   1780297728 638   57 68 apollon147 55.1  38.0   1929515008 609   57 68 apollon120 309    233     4470718464 3610   57 68 apollon032
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c 16.3  5.20  547172352 140   62 74 apollon085 54.3  37.2   2060193792 621   62 74 apollon096 449    331     5239128064 5950   62 74 apollon057 174    150     3440021504 2410   62 74 apollon106 83.2  62.1   2457735168 1170   62 74 apollon039 901    728     5510729728 10800   62 74 apollon087
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c 16.5  5.35  561426432 134   67 80 apollon043 55.7  38.8   1881911296 582   67 80 apollon100 904    736     5726613504 9890   67 80 apollon099 901    753     6307663872 11300   67 80 apollon020 86.3  65.9   2178072576 1010   67 80 apollon038 901    713     5511380992 11000   45 80 apollon113
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c 17.6  5.66  489525248 167   72 86 apollon069 55.6  39.6   1894670336 612   72 86 apollon034 905    750     5593198592 10200   44 86 apollon153 901    770     6227111936 10800   45 86 apollon095 85.9  67.7   2230218752 1120   72 86 apollon014 901    709     5431799808 11100   36 86 apollon114
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c 19.6  6.42  546123776 199   77 92 apollon036 55.8  41.0   1830223872 568   77 92 apollon029 907    773     5274521600 10600   39 92 apollon050 901    781     6288564224 10500   39 92 apollon124 86.7  70.2   2284752896 976   77 92 apollon025 901    727     5487247360 12000   35 92 apollon094
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c 10.0  3.08  443576320 92.3 27 32 apollon155 9.67 3.00  442945536 94.0 27 32 apollon111 9.76 3.06  445173760 80.4 27 32 apollon139 9.64 3.04  451567616 72.8 27 32 apollon092 10.0  3.05  447090688 86.5 27 32 apollon156 9.80 3.08  456376320 82.1 27 32 apollon049
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c 11.3  3.38  475336704 100   32 38 apollon118 10.7  3.23  469803008 86.8 32 38 apollon079 11.5  3.51  466341888 88.5 32 38 apollon083 11.5  3.48  472858624 98.4 32 38 apollon046 11.0  3.29  461045760 93.2 32 38 apollon131 11.0  3.33  478830592 87.0 32 38 apollon128
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c 12.7  3.70  539033600 105   37 44 apollon002 12.8  3.72  447426560 96.4 37 44 apollon158 13.6  3.88  542220288 123   37 44 apollon008 13.4  3.92  540729344 118   37 44 apollon145 13.1  3.82  546304000 116   37 44 apollon064 13.1  3.84  550342656 117   37 44 apollon022
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c 14.4  4.19  538062848 128   42 50 apollon032 16.1  4.61  568500224 124   42 50 apollon099 16.0  4.70  670031872 138   42 50 apollon011 15.6  4.63  607100928 123   42 50 apollon041 16.0  4.68  568426496 140   42 50 apollon077 15.5  4.50  504119296 137   42 50 apollon168
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c 14.8  4.44  532484096 116   47 56 apollon151 20.8  6.33  771379200 187   47 56 apollon167 20.9  6.63  768593920 176   47 56 apollon073 21.0  6.75  781234176 182   47 56 apollon165 20.4  6.53  756940800 194   47 56 apollon020 21.5  6.83  773263360 212   47 56 apollon008
ntdrivers/cdaudio_false-unreach-call.i.cil.c 901    781     7042637824 10800   5 930 apollon107 902    820     7240028160 10900   5 930 apollon034 901    795     5446574080 9930   29 930 apollon029 909    824     5144825856 12800   22 930 apollon094 901    781     5851254784 10900   13 930 apollon133 903    801     5985120256 11100   26 930 apollon156
ntdrivers/diskperf_false-unreach-call.i.cil.c 88.3  63.7   927895552 937   122 268 apollon058 86.3  69.0   978415616 1090   122 268 apollon167 138    119     1210490880 1620   122 268 apollon105 280    256     1544478720 4110   122 268 apollon057 193    157     2472620032 2220   122 268 apollon075 57.6  43.5   664178688 705   122 268 apollon019
ntdrivers/floppy_false-unreach-call.i.cil.c 901    849     3235991552 11100   289 1098 apollon145 901    848     3165593600 10900   287 1098 apollon135 901    840     3608297472 12000   289 1098 apollon007 901    842     2936836096 10200   280 1098 apollon109 894    813     4307197952 9470   apollon151 901    860     2588340224 10400   311 1098 apollon035
ntdrivers/kbfiltr_false-unreach-call.i.cil.c 61.1  37.5   891805696 668   114 204 apollon055 76.8  48.3   1386004480 766   114 204 apollon041 114    71.2   1806319616 1330   114 204 apollon140 130    86.4   1853071360 1390   114 204 apollon062 99.7  64.1   1603416064 1010   114 204 apollon116 54.7  34.3   865406976 586   114 204 apollon022
ntdrivers/parport_false-unreach-call.i.cil.c 901    673     6385131520 9350   314 1058 apollon040 901    652     7440478208 10200   314 1058 apollon004 901    670     7551545344 11400   314 1058 apollon122 902    644     6986059776 9040   314 1058 apollon117 901    690     6227771392 9900   314 1058 apollon115 901    687     6359064576 10100   314 1058 apollon090
ntdrivers/cdaudio_true-unreach-call.i.cil.c 113    64.0   2968899584 1120   258 924 apollon075 95.4  53.0   2811990016 998   258 924 apollon017 94.1  45.9   3944534016 948   apollon113 97.8  45.7   3708133376 945   apollon156 188    108     4497641472 2150   258 924 apollon033 72.1  44.6   1324945408 770   258 924 apollon061
ntdrivers/diskperf_true-unreach-call.i.cil.c 901    847     4502011904 14200   2 280 apollon008 901    855     3294674944 13600   2 280 apollon033 901    854     2738286592 11900   2 280 apollon050 901    860     2085548032 11300   2 280 apollon060 901    857     2901929984 12300   2 280 apollon118 901    858     4285243392 12300   2 280 apollon082
ntdrivers/floppy2_true-unreach-call_true-termination.i.cil.c 684    638     3721347072 9140   353 1208 apollon008 689    650     2551332864 8680   353 1208 apollon168 760    719     3423694848 10600   353 1208 apollon132 832    789     2766942208 11100   353 1208 apollon084 901    851     2810478592 11800   311 1208 apollon120 477    439     2714796032 5580   353 1208 apollon076
ntdrivers/floppy_true-unreach-call_true-valid-memsafety.i.cil.c 901    849     3125239808 12800   284 1104 apollon148 901    845     2783379456 11000   291 1104 apollon168 901    836     4064632832 10600   283 1104 apollon037 901    840     3077050368 11200   284 1104 apollon093 901    817     4587307008 10300   238 1104 apollon026 901    859     3116310528 9730   317 1104 apollon151
ntdrivers/parport_true-unreach-call.i.cil.c 914    679     6403817472 9620   319 1064 apollon100 901    676     6397841408 11400   319 1064 apollon130 901    682     5906849792 9750   319 1064 apollon053 924    670     7796834304 10400   319 1064 apollon102 901    685     6522564608 11000   319 1064 apollon091 901    667     8422756352 10400   319 1064 apollon004
ssh/s3_clnt.blast.01_false-unreach-call.i.cil.c 901    804     4602703872 10200   130 172 apollon098 901    785     4774617088 12800   130 172 apollon030 901    781     4988518400 11300   137 172 apollon146 901    766     5020667904 11700   132 172 apollon005 901    736     5871976448 9920   130 172 apollon116 901    825     4479397888 12200   131 172 apollon064
ssh/s3_clnt.blast.02_false-unreach-call.i.cil.c 901    793     4679335936 12400   79 174 apollon088 901    784     4648054784 10800   79 174 apollon165 901    769     5037891584 9800   85 174 apollon040 901    768     5001101312 10400   130 174 apollon090 901    766     5088980992 9850   79 174 apollon117 901    832     4527026176 12700   137 174 apollon047
ssh/s3_clnt.blast.03_false-unreach-call.i.cil.c 901    793     4583723008 10600   79 174 apollon055 901    777     4658327552 9940   79 174 apollon166 901    771     4781969408 11500   85 174 apollon091 901    765     4956061696 9150   85 174 apollon123 901    758     4999778304 11700   79 174 apollon033 901    824     4367630336 10400   137 174 apollon002
ssh/s3_clnt.blast.04_false-unreach-call.i.cil.c 901    792     4545818624 12200   79 174 apollon106 901    776     4631072768 9060   79 174 apollon123 901    771     4911640576 11400   131 174 apollon048 901    779     4959272960 9920   130 174 apollon134 901    753     5371473920 11600   79 174 apollon064 901    835     4508532736 13500   137 174 apollon161
ssh/s3_srvr.blast.01_false-unreach-call.i.cil.c 901    862     2494918656 11100   120 198 apollon075 901    868     1976819712 9620   120 198 apollon143 901    870     1975455744 11800   120 198 apollon067 901    871     1935302656 11300   120 198 apollon037 901    861     1950973952 10100   120 198 apollon054 901    876     1602748416 12800   120 198 apollon094
ssh/s3_srvr.blast.02_false-unreach-call.i.cil.c 901    864     2660413440 10800   119 198 apollon023 901    870     1974472704 12200   119 198 apollon052 901    869     1875664896 11300   119 198 apollon097 901    870     1891520512 11600   119 198 apollon133 901    862     1904951296 12100   119 198 apollon067 901    875     1557278720 12800   119 198 apollon094
ssh/s3_srvr.blast.03_false-unreach-call.i.cil.c 901    866     2393284608 12500   119 198 apollon024 901    869     1960534016 11700   119 198 apollon087 901    870     1925091328 11400   119 198 apollon153 901    870     1888985088 11400   119 198 apollon022 901    863     2654212096 13500   119 198 apollon094 901    874     1554432000 11100   119 198 apollon095
ssh/s3_srvr.blast.04_false-unreach-call.i.cil.c 901    865     2414485504 12500   119 198 apollon010 901    869     1934581760 12300   119 198 apollon059 901    870     1958129664 11500   119 198 apollon105 901    871     1950588928 12700   119 198 apollon024 901    863     1860603904 11000   119 198 apollon127 901    876     1524039680 9950   119 198 apollon151
ssh/s3_srvr.blast.06_false-unreach-call.i.cil.c 901    864     2322612224 11100   128 230 apollon164 901    870     1952210944 13600   128 230 apollon080 901    869     1978425344 9940   128 230 apollon054 901    871     1945886720 12400   128 230 apollon141 901    862     2527690752 14300   128 230 apollon057 901    873     1544024064 9390   128 230 apollon086
ssh/s3_srvr.blast.07_false-unreach-call.i.cil.c 901    863     2434269184 11500   118 208 apollon121 901    867     1959559168 11100   128 208 apollon074 901    869     1867829248 10200   118 208 apollon092 901    871     1886064640 12200   118 208 apollon071 901    862     1944551424 11700   118 208 apollon012 901    875     2377146368 11300   118 208 apollon065
ssh/s3_srvr.blast.08_false-unreach-call.i.cil.c 901    866     2842071040 10600   117 208 apollon002 901    868     1907015680 10900   117 208 apollon157 901    868     1903771648 11900   117 208 apollon038 901    870     1920602112 11900   117 208 apollon087 901    863     1892196352 14900   117 208 apollon039 901    874     1625350144 12100   117 208 apollon091
ssh/s3_srvr.blast.09_false-unreach-call.i.cil.c 901    863     2508435456 11000   118 208 apollon066 901    865     1975738368 11000   128 208 apollon025 901    868     1906192384 9810   118 208 apollon158 901    871     2490994688 11900   118 208 apollon082 901    861     1915187200 11100   118 208 apollon041 901    872     1529839616 11600   118 208 apollon167
ssh/s3_srvr.blast.10_false-unreach-call.i.cil.c 901    864     2338619392 11500   117 202 apollon001