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-noreuse_10_10 test-generation_50_50.V+P-Test-noreuse_50_50 test-generation_100_100.V+P-Test-noreuse_100_100 test-generation_250_250.V+P-Test-noreuse_250_250 test-generation_80_20.V+P-Test-noreuse_80_20 test-generation_20_80.V+P-Test-noreuse_20_80
Options -heap 10000M -benchmark -setprop log.consoleLevel=SEVERE -spec config/specification/sv-comp-terminatingfunctions.spc -testCaseGeneration-interleaved-value+predicate-noreuse -setprop interleavedAlgorithm.configFiles=config/testCaseGeneration-valueAnalysis.properties,config/testCaseGeneration-predicateAnalysis.properties -heap 10000M -benchmark -setprop log.consoleLevel=SEVERE -spec config/specification/sv-comp-terminatingfunctions.spc -testCaseGeneration-interleaved-value+predicate-noreuse -setprop interleavedAlgorithm.configFiles=config/testCaseGeneration-valueAnalysis.properties::noreuse_50,config/testCaseGeneration-predicateAnalysis.properties::noreuse_50 -heap 10000M -benchmark -setprop log.consoleLevel=SEVERE -spec config/specification/sv-comp-terminatingfunctions.spc -testCaseGeneration-interleaved-value+predicate-noreuse -setprop interleavedAlgorithm.configFiles=config/testCaseGeneration-valueAnalysis.properties::noreuse_100,config/testCaseGeneration-predicateAnalysis.properties::noreuse_100 -heap 10000M -benchmark -setprop log.consoleLevel=SEVERE -spec config/specification/sv-comp-terminatingfunctions.spc -testCaseGeneration-interleaved-value+predicate-noreuse -setprop interleavedAlgorithm.configFiles=config/testCaseGeneration-valueAnalysis.properties::noreuse_250,config/testCaseGeneration-predicateAnalysis.properties::noreuse_250 -heap 10000M -benchmark -setprop log.consoleLevel=SEVERE -spec config/specification/sv-comp-terminatingfunctions.spc -testCaseGeneration-interleaved-value+predicate-noreuse -setprop interleavedAlgorithm.configFiles=config/testCaseGeneration-valueAnalysis.properties::noreuse_80,config/testCaseGeneration-predicateAnalysis.properties::noreuse_20 -heap 10000M -benchmark -setprop log.consoleLevel=SEVERE -spec config/specification/sv-comp-terminatingfunctions.spc -testCaseGeneration-interleaved-value+predicate-noreuse -setprop interleavedAlgorithm.configFiles=config/testCaseGeneration-valueAnalysis.properties::noreuse_20,config/testCaseGeneration-predicateAnalysis.properties::noreuse_80
../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    860     14937038848 11200   7 18 apollon140 901    823     13381992448 8000   7 18 apollon042 902    819     11384754176 8310   7 18 apollon053 901    799     10034696192 8670   7 18 apollon073 901    811     8589975552 7800   7 18 apollon072 772    727     14999998464 8640   apollon105
array-examples/sorting_bubblesort_false-unreach-call2_ground.i 901    868     8675905536 13400   4 12 apollon057 901    870     7477370880 11400   4 12 apollon138 901    871     6742040576 10900   4 12 apollon051 901    871     5034360832 10400   4 12 apollon141 901    869     5841625088 11800   4 12 apollon019 901    875     8341794816 12300   4 12 apollon159
array-examples/sorting_bubblesort_false-unreach-call_ground.i 901    868     9072193536 11300   4 12 apollon033 901    871     7554326528 12500   4 12 apollon094 901    870     6787428352 10500   4 12 apollon066 901    871     5194866688 8130   4 12 apollon063 901    870     5846904832 9760   4 12 apollon022 901    875     8080424960 10900   4 12 apollon073
array-examples/sorting_selectionsort_false-unreach-call2_ground.i 901    870     9959067648 10700   4 20 apollon090 901    870     7816765440 10700   4 20 apollon137 901    867     7099805696 10500   4 20 apollon042 901    871     5285040128 12700   4 20 apollon069 901    869     6041366528 13000   4 20 apollon036 901    875     9073352704 11200   4 20 apollon129
array-examples/sorting_selectionsort_false-unreach-call_ground.i 901    869     9901809664 12100   4 20 apollon068 901    870     7781531648 12500   4 20 apollon159 901    869     7081566208 12200   4 20 apollon005 901    871     5207834624 9290   4 20 apollon158 901    871     6043496448 13000   4 20 apollon036 902    874     9323085824 11200   4 20 apollon095
array-examples/standard_allDiff2_false-unreach-call_ground.i 803    774     14999998464 9360   apollon078 885    853     14999998464 10100   apollon134 853    822     14999998464 11500   apollon047 901    870     14531575808 9950   7 18 apollon043 901    869     8739074048 13400   7 18 apollon057 594    569     14999998464 7440   apollon168
array-examples/standard_copy1_false-unreach-call_ground.i 901    876     12083785728 9450   1 8 apollon157 901    873     8676753408 10300   1 8 apollon137 901    871     7159832576 11500   1 8 apollon163 901    876     4729786368 9510   1 8 apollon002 901    872     6619701248 10700   1 8 apollon113 901    878     9699651584 12100   1 8 apollon006
array-examples/standard_copy2_false-unreach-call_ground.i 901    866     13187506176 10200   1 10 apollon073 901    875     9818210304 10600   1 10 apollon075 901    873     7714041856 11700   1 10 apollon155 901    876     5461729280 9220   1 10 apollon002 901    871     7196332032 11100   1 10 apollon114 901    874     4902461440 10300   1 10 apollon060
array-examples/standard_copy3_false-unreach-call_ground.i 901    870     14226444288 10900   1 12 apollon136 901    874     10765320192 10900   1 12 apollon095 901    873     8198316032 10800   1 12 apollon076 901    876     5725810688 9570   1 12 apollon092 901    872     7580495872 10800   1 12 apollon126 902    880     13080936448 12700   1 12 apollon088
array-examples/standard_copy4_false-unreach-call_ground.i 901    875     14499811328 11800   1 14 apollon036 901    875     11449253888 10400   1 14 apollon032 901    872     9187676160 12200   1 14 apollon077 901    878     6281396224 12400   1 14 apollon094 901    872     7885348864 11400   1 14 apollon052 902    879     13978214400 10900   1 14 apollon133
array-examples/standard_copy5_false-unreach-call_ground.i 901    875     14855655424 10100   1 16 apollon067 901    872     12176379904 10700   1 16 apollon075 901    872     9398464512 10900   1 16 apollon162 901    877     6849650688 10500   1 16 apollon079 901    870     8079396864 11600   1 16 apollon019 898    875     14999998464 12500   apollon094
array-examples/standard_copy6_false-unreach-call_ground.i 901    869     14914809856 10700   1 18 apollon152 901    874     12730003456 10000   1 18 apollon166 901    873     10135056384 10600   1 18 apollon120 901    877     7467261952 11800   1 18 apollon112 901    870     8214769664 10400   1 18 apollon108 846    823     14999998464 11600   apollon163
array-examples/standard_copy7_false-unreach-call_ground.i 901    863     14419992576 10400   1 20 apollon133 901    876     13108858880 10600   1 20 apollon135 901    876     10718814208 10100   1 20 apollon127 901    880     8023371776 13400   1 20 apollon057 901    870     8400449536 9780   1 20 apollon089 829    807     15000014848 9550   apollon042
array-examples/standard_copy8_false-unreach-call_ground.i 902    864     14628683776 11800   1 22 apollon027 901    873     13671886848 10500   1 22 apollon154 901    874     11082092544 10500   1 22 apollon144 901    879     8007966720 9670   1 22 apollon037 901    871     8631439360 8970   1 22 apollon139 747    727     14999998464 8460   apollon127
array-examples/standard_copy9_false-unreach-call_ground.i 901    861     13646831616 10700   1 24 apollon061 901    870     13551853568 10500   1 24 apollon154 901    874     11307061248 11700   1 24 apollon136 901    878     8778629120 12000   1 24 apollon132 901    867     8513290240 10000   1 24 apollon099 745    722     14999998464 8420   apollon041
array-examples/standard_copyInitSum2_false-unreach-call_ground.i 901    869     9291235328 11100   1 10 apollon103 901    880     5829861376 12300   1 10 apollon017 901    885     4166184960 14100   1 10 apollon016 901    887     3366199296 11100   1 10 apollon083 901    885     3670532096 12100   1 10 apollon032 901    879     7639494656 13200   1 10 apollon088
array-examples/standard_init1_false-unreach-call_ground.i 901    866     6747414528 10900   1 6 apollon134 901    879     4352372736 11900   1 6 apollon087 901    885     4019453952 12000   1 6 apollon168 901    885     2868043776 13300   1 6 apollon047 901    885     2477432832 11800   1 6 apollon050 901    873     5828784128 11000   1 6 apollon025
array-examples/standard_init2_false-unreach-call_ground.i 901    865     6670659584 13000   1 8 apollon122 901    880     4364566528 11600   1 8 apollon072 901    883     3375915008 12900   1 8 apollon064 901    886     2913468416 11500   1 8 apollon026 901    883     2518429696 11200   1 8 apollon109 901    875     5848764416 13200   1 8 apollon094
array-examples/standard_init3_false-unreach-call_ground.i 901    864     6670299136 10600   1 10 apollon098 901    879     4281593856 11700   1 10 apollon165 901    882     3364098048 12100   1 10 apollon038 901    885     2893004800 11100   1 10 apollon013 901    885     2466349056 12200   1 10 apollon087 901    874     5821599744 12500   1 10 apollon006
array-examples/standard_init4_false-unreach-call_ground.i 901    875     7460188160 12300   1 12 apollon141 901    878     4263497728 10400   1 12 apollon029 901    882     3363950592 11800   1 12 apollon097 901    885     2886270976 11700   1 12 apollon001 901    886     2520387584 11800   1 12 apollon026 901    874     5852639232 12900   1 12 apollon028
array-examples/standard_init5_false-unreach-call_ground.i 901    864     6725943296 13100   1 14 apollon140 901    879     4301000704 11800   1 14 apollon078 901    883     3354750976 12800   1 14 apollon010 901    885     2878898176 11000   1 14 apollon149 901    885     2467741696 11900   1 14 apollon001 901    876     5951238144 13500   1 14 apollon036
array-examples/standard_init6_false-unreach-call_ground.i 901    865     6639431680 11600   1 16 apollon032 901    879     4371406848 13400   1 16 apollon014 901    883     3376648192 11100   1 16 apollon116 901    885     2874896384 12200   1 16 apollon096 901    886     2492608512 11800   1 16 apollon120 901    873     5832863744 12500   1 16 apollon006
array-examples/standard_init7_false-unreach-call_ground.i 901    865     6709301248 12200   1 18 apollon017 901    878     4285419520 13200   1 18 apollon077 901    882     3336421376 11600   1 18 apollon131 901    886     2893197312 9350   1 18 apollon063 901    885     2489421824 12100   1 18 apollon145 901    876     5945217024 13100   1 18 apollon130
array-examples/standard_init8_false-unreach-call_ground.i 901    863     6690025472 10900   1 20 apollon013 901    878     4288528384 11700   1 20 apollon119 901    883     3380441088 14000   1 20 apollon044 901    885     2889306112 11600   1 20 apollon073 901    885     2466795520 11300   1 20 apollon099 901    874     5788692480 11300   1 20 apollon034
array-examples/standard_init9_false-unreach-call_ground.i 901    868     7156805632 10800   1 22 apollon041 901    880     4303962112 13400   1 22 apollon014 901    883     3401117696 13100   1 22 apollon155 901    885     2890571776 12700   1 22 apollon124 901    883     2477993984 11400   1 22 apollon086 901    876     5928873984 11000   1 22 apollon035
array-examples/standard_minInArray_false-unreach-call_ground.i 901    868     8200110080 10900   3 8 apollon113 901    872     6103080960 9120   3 8 apollon123 901    870     5656006656 12500   3 8 apollon130 901    875     3862097920 9810   3 8 apollon149 901    871     4644294656 10800   3 8 apollon084 901    875     7145558016 12400   3 8 apollon081
array-examples/standard_partition_false-unreach-call_ground.i 901    866     11751329792 10100   3 14 apollon013 901    874     9297657856 10100   3 14 apollon150 901    873     7806283776 10200   3 14 apollon013 901    874     5525000192 11000   3 14 apollon087 901    869     6721847296 8000   3 14 apollon063 901    876     11310456832 10700   3 14 apollon144
array-examples/standard_running_false-unreach-call.i 901    865     10889281536 10900   3 16 apollon144 901    868     8431603712 11700   3 16 apollon038 901    871     7009058816 10500   3 16 apollon127 901    874     4712943616 11900   3 16 apollon071 901    867     6366584832 11200   3 16 apollon012 902    876     9983508480 11200   3 16 apollon037
array-examples/data_structures_set_multi_proc_trivial_true-unreach-call_ground_true-termination.i 771    746     14999998464 8690   apollon141 901    872     12786130944 10100   5 22 apollon093 901    869     10380939264 9700   5 22 apollon074 901    873     7075975168 8260   5 22 apollon123 901    873     8698699776 12300   5 22 apollon160 901    874     15000002560 10900   apollon133
array-examples/data_structures_set_multi_proc_true-unreach-call_ground.i 901    870     14944468992 9790   8 18 apollon099 901    863     12311642112 11700   8 18 apollon047 902    857     10305486848 10800   8 18 apollon165 901    851     9308172288 9790   8 18 apollon033 901    846     8265031680 10000   8 18 apollon156 843    814     14999998464 10600   apollon152
array-examples/relax_true-unreach-call.i 12.5  3.56  480436224 102   apollon139 13.0  3.69  482971648 106   apollon075 13.0  3.69  390250496 112   apollon132 13.6  3.84  483782656 111   apollon085 13.0  3.74  408203264 110   apollon147 13.3  3.77  490729472 108   apollon127
array-examples/sanfoundry_02_true-unreach-call_ground.i 901    872     8589926400 9800   7 18 apollon074 901    869     6887239680 11000   7 18 apollon152 901    868     6252318720 11000   7 18 apollon015 901    871     4609806336 9930   7 18 apollon043 901    867     5561626624 11000   7 18 apollon163 901    874     7708012544 11500   7 18 apollon101
array-examples/sanfoundry_10_true-unreach-call_ground.i 901    872     4482719744 10700   7 16 apollon096 901    873     5591445504 11900   7 16 apollon024 901    869     5102088192 10700   7 16 apollon075 902    874     3954634752 10500   7 16 apollon102 901    871     4052742144 11000   7 16 apollon082 901    875     6388068352 11200   7 16 apollon093
array-examples/sanfoundry_24_true-unreach-call_true-termination.i 14.0  9.51  879525888 175   9 10 apollon027 53.9  42.0   1761112064 663   9 10 apollon084 104    86.4   2056798208 1290   9 10 apollon022 254    216     2687311872 3850   9 10 apollon111 83.9  68.7   1992093696 1200   9 10 apollon080 23.4  17.2   1303703552 239   9 10 apollon151
array-examples/sanfoundry_27_true-unreach-call_ground.i 901    868     9274847232 11600   3 8 apollon155 901    872     7084871680 10400   3 8 apollon099 901    871     6460817408 10300   3 8 apollon100 901    875     4746858496 11900   3 8 apollon091 901    870     5696700416 9990   3 8 apollon143 901    875     7715471360 11300   3 8 apollon168
array-examples/sanfoundry_43_true-unreach-call_ground.i 901    874     5409918976 11000   1 6 apollon049 901    872     5341691904 11600   1 6 apollon164 901    868     5371138048 11000   1 6 apollon147 901    873     3894353920 10900   1 6 apollon072 901    873     4441997312 10200   1 6 apollon003 901    875     6292815872 10800   1 6 apollon086
array-examples/sorting_bubblesort_true-unreach-call_ground.i 901    868     9003798528 10600   4 12 apollon062 901    871     7489609728 11000   4 12 apollon129 901    871     6928314368 13000   4 12 apollon080 901    871     4984385536 11100   4 12 apollon087 901    868     5916864512 10400   4 12 apollon034 901    875     8345976832 12500   4 12 apollon047
array-examples/sorting_selectionsort_true-unreach-call_ground.i 901    872     9910185984 10700   4 20 apollon131 901    873     7817048064 13100   4 20 apollon036 901    870     7083343872 10100   4 20 apollon098 901    871     4894662656 10200   4 20 apollon157 901    870     6024650752 11100   4 20 apollon153 902    874     8897847296 10700   4 20 apollon003
array-examples/standard_compareModified_true-unreach-call_ground.i 901    867     11979288576 10400   3 12 apollon121 901    872     9340493824 11000   3 12 apollon049 901    871     7869755392 11300   3 12 apollon011 901    872     5546688512 11600   3 12 apollon010 901    870     6794256384 10700   3 12 apollon001 901    877     11315384320 10200   3 12 apollon042
array-examples/standard_compare_true-unreach-call_ground.i 901    870     10893258752 12400   3 10 apollon036 901    871     8383537152 10600   3 10 apollon034 901    870     6866235392 11000   3 10 apollon070 901    875     4970299392 11400   3 10 apollon091 901    867     6380097536 9420   3 10 apollon166 901    878     9727471616 10900   3 10 apollon105
array-examples/standard_copy1_true-unreach-call_ground.i 901    869     12076908544 10200   1 8 apollon078 901    874     8773029888 10800   1 8 apollon119 901    872     7150678016 9340   1 8 apollon158 901    877     5021020160 11600   1 8 apollon068 901    871     6634999808 11600   1 8 apollon065 901    877     9294995456 12300   1 8 apollon005
array-examples/standard_copy2_true-unreach-call_ground.i 901    876     13298020352 11200   1 10 apollon081 901    874     9855442944 11000   1 10 apollon015 901    874     7854911488 11000   1 10 apollon147 901    875     3154477056 11300   1 10 apollon033 901    871     7167508480 10400   1 10 apollon058 902    879     11595661312 10200   1 10 apollon127
array-examples/standard_copy3_true-unreach-call_ground.i 901    872     14250352640 11500   1 12 apollon019 901    876     10730401792 9490   1 12 apollon092 901    873     8760061952 12000   1 12 apollon005 901    876     5574914048 10300   1 12 apollon109 901    874     7579246592 12800   1 12 apollon021 902    880     13021368320 12100   1 12 apollon065
array-examples/standard_copy4_true-unreach-call_ground.i 901    874     14677667840 9420   1 14 apollon098 901    876     11500261376 10800   1 14 apollon058 901    874     8862945280 9380   1 14 apollon123 901    877     6594420736 12000   1 14 apollon077 901    873     7869931520 9780   1 14 apollon089 901    880     14136201216 10900   1 14 apollon119
array-examples/standard_copy5_true-unreach-call_ground.i 901    874     14999998464 9790   apollon013 901    877     12218122240 12900   1 16 apollon080 901    875     9830887424 10800   1 16 apollon072 901    877     6982504448 11500   1 16 apollon020 901    871     8149106688 10300   1 16 apollon090 883    861     14999998464 10900   apollon118
array-examples/standard_copy6_true-unreach-call_ground.i 902    871     14854975488 13300   1 18 apollon039 901    874     12726513664 12200   1 18 apollon132 901    874     10506104832 10900   1 18 apollon001 901    877     7309549568 10200   1 18 apollon120 901    870     8283033600 9230   1 18 apollon092 850    827     14999998464 13100   apollon039
array-examples/standard_copy7_true-unreach-call_ground.i 902    867     14731005952 10800   1 20 apollon095 901    875     13260525568 11300   1 20 apollon142 901    875     10725695488 10000   1 20 apollon098 901    878     7636303872 10600   1 20 apollon154 901    867     8280973312 9260   1 20 apollon157 821    799     15000002560 10200   apollon118
array-examples/standard_copy8_true-unreach-call_ground.i 902    862     14822313984 12300   1 22 apollon069 901    874     13668827136 11600   1 22 apollon008 901    874     11142705152 11100   1 22 apollon147 901    878     8132956160 10300   1 22 apollon103 901    866     8696254464 10300   1 22 apollon144 746    724     14999998464 9380   apollon096
array-examples/standard_copy9_true-unreach-call_ground.i 901    865     13919019008 10500   1 24 apollon093 901    872     13535514624 9680   1 24 apollon139 901    872     11534217216 10700   1 24 apollon154 901    878     8971522048 10700   1 24 apollon001 901    868     8438681600 10500   1 24 apollon120 745    723     14999998464 9360   apollon096
array-examples/standard_copyInitSum2_true-unreach-call_ground.i 901    875     9729880064 11000   1 10 apollon115 901    883     6326743040 11100   1 10 apollon066 901    885     4063924224 12600   1 10 apollon124 901    886     3359694848 11300   1 10 apollon154 901    885     3493810176 13000   1 10 apollon164 901    875     7423275008 11500   1 10 apollon165
array-examples/standard_copyInitSum3_true-unreach-call_ground.i 901    866     8968564736 10700   1 12 apollon089 901    876     5694889984 11000   1 12 apollon116 901    885     4166082560 12100   1 12 apollon142 901    886     3368226816 13200   1 12 apollon033 901    885     3670732800 12100   1 12 apollon022 901    880     8008056832 11700   1 12 apollon085
array-examples/standard_copyInitSum_true-unreach-call_ground.i 901    868     9272455168 12500   1 10 apollon091 901    876     5640249344 13200   1 10 apollon122 901    884     4140359680 11500   1 10 apollon144 901    886     3389325312 11600   1 10 apollon012 901    883     3460890624 13200   1 10 apollon122 901    875     7519866880 12900   1 10 apollon140
array-examples/standard_copyInit_true-unreach-call_ground.i 901    875     9716256768 11100   1 8 apollon066 901    877     5434122240 11000   1 8 apollon013 901    884     4143042560 11500   1 8 apollon073 901    886     3378577408 11700   1 8 apollon135 901    885     3473022976 12200   1 8 apollon022 901    880     7760588800 12500   1 8 apollon006
array-examples/standard_find_true-unreach-call_ground.i 901    869     9765339136 13200   1 10 apollon160 901    871     7248728064 11800   1 10 apollon136 901    872     5688352768 10900   1 10 apollon110 901    875     3866755072 10500   1 10 apollon074 901    872     5828567040 13000   1 10 apollon016 901    875     8201895936 11200   1 10 apollon075
array-examples/standard_init1_true-unreach-call_ground.i 901    864     6737592320 13400   1 6 apollon148 901    876     4194693120 11000   1 6 apollon100 901    882     3361538048 12200   1 6 apollon093 901    886     2882334720 11300   1 6 apollon079 901    885     2514345984 13500   1 6 apollon059 901    875     5840031744 11700   1 6 apollon145
array-examples/standard_init2_true-unreach-call_ground.i 901    864     6737108992 13000   1 8 apollon028 901    879     4284207104 11700   1 8 apollon105 901    883     3370004480 11600   1 8 apollon154 901    885     2872668160 13700   1 8 apollon106 901    885     2529538048 13700   1 8 apollon014 901    874     5815242752 14200   1 8 apollon111
array-examples/standard_init3_true-unreach-call_ground.i 901    863     6752288768 10700   1 10 apollon040 901    876     4236500992 11900   1 10 apollon087 901    882     3386195968 10900   1 10 apollon143 901    884     2879565824 11600   1 10 apollon129 901    884     2535424000 12400   1 10 apollon004 901    874     5782585344 12200   1 10 apollon152
array-examples/standard_init4_true-unreach-call_ground.i 901    865     6650171392 11600   1 12 apollon078 901    879     4364980224 11200   1 12 apollon023 901    882     3371462656 13600   1 12 apollon163 901    885     2902786048 10300   1 12 apollon092 901    885     2484666368 12000   1 12 apollon095 901    874     5871931392 9880   1 12 apollon158
array-examples/standard_init5_true-unreach-call_ground.i 901    864     6681186304 11000   1 14 apollon086 901    881     4297863168 11100   1 14 apollon053 901    883     3346374656 10200   1 14 apollon158 901    885     2897645568 12500   1 14 apollon152 901    884     2528567296 12000   1 14 apollon165 901    875     5893201920 13200   1 14 apollon014
array-examples/standard_init6_true-unreach-call_ground.i 901    863     6723203072 10500   1 16 apollon098 901    878     4280508416 12500   1 16 apollon152 901    883     3393482752 11000   1 16 apollon060 901    885     2907832320 9470   1 16 apollon063 901    885     2513563648 12500   1 16 apollon009 901    874     5882441728 12800   1 16 apollon007
array-examples/standard_init7_true-unreach-call_ground.i 901    864     6728425472 11300   1 18 apollon157 901    877     4238680064 12300   1 18 apollon113 901    882     3354087424 12100   1 18 apollon085 901    885     2874884096 11800   1 18 apollon120 901    885     2519740416 11900   1 18 apollon105 901    873     5734912000 12800   1 18 apollon108
array-examples/standard_init8_true-unreach-call_ground.i 901    865     6760919040 11800   1 20 apollon018 901    880     4373053440 11300   1 20 apollon079 901    882     3372105728 11100   1 20 apollon086 901    886     2879283200 14000   1 20 apollon044 901    885     2529337344 11900   1 20 apollon097 901    874     5831831552 12000   1 20 apollon071
array-examples/standard_init9_true-unreach-call_ground.i 901    865     6636097536 11500   1 22 apollon133 901    881     4298305536 12300   1 22 apollon084 901    882     3359031296 11300   1 22 apollon045 901    885     2898489344 11000   1 22 apollon089 901    885     2479140864 12200   1 22 apollon022 901    874     5911359488 11700   1 22 apollon038
array-examples/standard_maxInArray_true-unreach-call_ground.i 901    865     8731484160 10100   3 8 apollon115 901    870     7007825920 12000   3 8 apollon059 901    871     5750939648 12000   3 8 apollon132 901    875     4217733120 9860   3 8 apollon045 901    870     5688410112 11100   3 8 apollon071 901    875     7607287808 10200   3 8 apollon128
array-examples/standard_minInArray_true-unreach-call_ground.i 901    869     8723632128 9220   3 8 apollon092 901    871     6339596288 10600   3 8 apollon062 901    870     5625049088 9880   3 8 apollon153 901    876     3928313856 9550   3 8 apollon089 901    870     5271363584 8620   3 8 apollon139 901    875     7534010368 10600   3 8 apollon083
array-examples/standard_palindrome_true-unreach-call_ground.i 901    870     10118021120 9900   1 6 apollon143 901    873     7232761856 10200   1 6 apollon149 901    871     6471602176 10300   1 6 apollon149 901    875     4072738816 10700   1 6 apollon135 901    872     5815250944 9510   1 6 apollon029 901    875     8272551936 11400   1 6 apollon145
array-examples/standard_partial_init_true-unreach-call_ground.i 901    869     10679353344 12600   3 10 apollon106 901    874     8944947200 12800   3 10 apollon030 901    872     7281328128 11100   3 10 apollon147 901    875     4807319552 11000   3 10 apollon165 901    872     6598942720 12000   3 10 apollon019 901    878     10265661440 11000   3 10 apollon012
array-examples/standard_partition_original_true-unreach-call_ground.i 901    870     11095490560 12600   3 10 apollon027 901    872     9150840832 11000   3 10 apollon075 901    869     7851761664 12600   3 10 apollon130 901    874     5546946560 13700   3 10 apollon056 901    869     6590373888 10400   3 10 apollon115 901    876     10987130880 12200   3 10 apollon065
array-examples/standard_partition_true-unreach-call_ground.i 901    868     10712457216 11400   3 12 apollon071 901    872     8274227200 11300   3 12 apollon011 901    868     6965624832 9470   3 12 apollon022 901    875     4921135104 9750   3 12 apollon078 901    872     6255456256 10500   3 12 apollon119 901    877     9321086976 11100   3 12 apollon121
array-examples/standard_password_true-unreach-call_ground.i 901    868     10914381824 11400   3 10 apollon052 901    869     8419610624 10300   3 10 apollon109 901    868     7036997632 13600   3 10 apollon056 901    873     5059448832 10700   3 10 apollon046 901    871     6364139520 9570   3 10 apollon003 901    875     9661427712 10800   3 10 apollon144
array-examples/standard_reverse_true-unreach-call_ground.i 901    873     12080418816 11800   1 6 apollon005 901    870     8648757248 11300   1 6 apollon124 901    873     6951182336 10500   1 6 apollon137 901    876     4448567296 10900   1 6 apollon138 901    873     6570139648 11100   1 6 apollon004 901    878     10019774464 11000   1 6 apollon075
array-examples/standard_running_true-unreach-call.i 901    871     11180056576 11400   3 16 apollon153 901    870     8415141888 12400   3 16 apollon024 901    870     7092912128 11600   3 16 apollon096 901    872     5346582528 11200   3 16 apollon001 901    867     6371909632 13100   3 16 apollon008 901    877     9572323328 11300   3 16 apollon097
array-examples/standard_sentinel_true-unreach-call_true-termination.i 13.7  9.20  864083968 144   7 8 apollon079 53.7  42.1   2021081088 693   7 8 apollon068 104    87.4   2285211648 1280   7 8 apollon133 254    221     2226307072 2560   7 8 apollon063 83.5  68.6   2255056896 973   7 8 apollon042 23.8  17.0   1284849664 308   7 8 apollon088
array-examples/standard_seq_init_true-unreach-call_ground.i 901    864     6615441408 12600   1 6 apollon006 901    879     4298665984 12500   1 6 apollon114 901    882     3274657792 11800   1 6 apollon119 901    885     2890391552 12600   1 6 apollon138 901    884     2420301824 11700   1 6 apollon154 901    875     5740933120 10700   1 6 apollon127
array-examples/standard_strcmp_true-unreach-call_ground.i 901    873     11447676928 10600   4 10 apollon129 901    873     8394919936 11700   4 10 apollon126 901    870     7139672064 11200   4 10 apollon048 901    874     5383077888 13800   4 10 apollon039 901    869     6461624320 10900   4 10 apollon008 902    875     9941438464 10600   4 10 apollon134
array-examples/standard_strcpy_original_true-unreach-call.i 901    871     12152766464 13300   1 12 apollon111 901    873     8330027008 11500   1 12 apollon124 901    873     6320295936 13800   1 12 apollon111 901    877     4604207104 12700   1 12 apollon069 901    872     6553202688 10700   1 12 apollon073 901    876     9240911872 11000   1 12 apollon107
array-examples/standard_strcpy_true-unreach-call_ground.i 901    875     12197289984 10400   1 10 apollon119 901    873     8674029568 11800   1 10 apollon052 901    873     6838321152 12100   1 10 apollon132 901    876     4849741824 10100   1 10 apollon074 901    871     6562914304 10700   1 10 apollon037 901    875     9320128512 14100   1 10 apollon039
array-examples/standard_two_index_01_true-unreach-call.i 901    873     5562007552 10800   1 8 apollon129 901    870     5657325568 11200   1 8 apollon165 901    605     9754644480 9210   1 8 apollon142 901    775     6591758336 10600   1 8 apollon001 901    578     11123433472 8260   1 8 apollon003 901    876     6049697792 11000   1 8 apollon107
array-examples/standard_two_index_02_true-unreach-call.i 901    871     11924824064 9770   1 8 apollon104 901    871     8738504704 12000   1 8 apollon033 901    872     6481223680 10900   1 8 apollon034 901    876     4464910336 11000   1 8 apollon082 901    873     6657822720 13500   1 8 apollon111 901    876     9298960384 11200   1 8 apollon022
array-examples/standard_two_index_03_true-unreach-call.i 901    872     5474267136 10900   1 8 apollon168 901    872     5436801024 10900   1 8 apollon050 901    598     9554554880 8610   1 8 apollon090 902    778     7592026112 11900   1 8 apollon007 901    572     8848560128 9070   1 8 apollon046 901    873     6179889152 10400   1 8 apollon117
array-examples/standard_two_index_04_true-unreach-call.i 901    872     12235943936 10100   1 8 apollon097 901    872     8799244288 11900   1 8 apollon091 901    872     6501396480 12000   1 8 apollon024 901    876     4710789120 12700   1 8 apollon088 901    873     6669754368 11500   1 8 apollon108 901    877     9566621696 12500   1 8 apollon167
array-examples/standard_two_index_05_true-unreach-call.i 901    872     12166230016 11700   1 8 apollon024 901    874     8750043136 10000   1 8 apollon098 901    871     6476689408 10600   1 8 apollon022 901    876     3111968768 10200   1 8 apollon015 901    872     6654201856 10800   1 8 apollon129 901    877     9618624512 11000   1 8 apollon012
array-examples/standard_two_index_06_true-unreach-call.i 901    871     5962211328 12000   1 8 apollon081 901    870     5418459136 10700   1 8 apollon144 901    599     9723027456 8730   1 8 apollon129 901    758     6341853184 10100   1 8 apollon137 901    506     8389484544 8240   1 8 apollon152 901    874     6450814976 10400   1 8 apollon089
array-examples/standard_two_index_07_true-unreach-call.i 901    874     12226957312 12400   1 8 apollon030 901    872     8325754880 10200   1 8 apollon089 901    871     6793199616 10400   1 8 apollon086 901    876     4586033152 10400   1 8 apollon154 901    872     6664122368 12600   1 8 apollon036 901    877     9761914880 10200   1 8 apollon098
array-examples/standard_two_index_08_true-unreach-call.i 901    876     12208721920 8990   1 8 apollon139 901    874     8786354176 11000   1 8 apollon001 901    873     7043899392 10800   1 8 apollon145 901    876     4939108352 10200   1 8 apollon143 901    873     6634729472 10100   1 8 apollon053 901    876     9239531520 13900   1 8 apollon057
array-examples/standard_two_index_09_true-unreach-call.i 901    870     12095500288 11300   1 8 apollon114 901    873     8764055552 11100   1 8 apollon102 901    872     6658289664 12200   1 8 apollon068 901    877     4550942720 10600   1 8 apollon062 901    872     6670835712 9590   1 8 apollon139 901    876     9840488448 11000   1 8 apollon105
array-examples/standard_vararg_true-unreach-call_ground_true-termination.i 901    851     9313071104 11600   5 6 apollon135 901    846     5697564672 11600   5 6 apollon129 902    837     4939563008 13000   5 6 apollon122 901    838     4559843328 11900   5 6 apollon004 901    829     5406412800 12700   5 6 apollon065 901    862     3953295360 13600   5 6 apollon008
array-examples/standard_vector_difference_true-unreach-call_ground.i 901    871     13115117568 10400   1 6 apollon070 901    873     9827102720 10300   1 6 apollon116 902    874     7687303168 12200   1 6 apollon007 901    877     5106647040 10300   1 6 apollon025 901    873     7130230784 10900   1 6 apollon070 901    875     11013984256 11200   1 6 apollon067
array-industry-pattern/array_assert_loop_dep_false-unreach-call_true-termination.i 901    865     6704648192 10800   1 8 apollon149 901    879     4346073088 12500   1 8 apollon114 901    882     3383156736 14000   1 8 apollon030 901    885     2890858496 12600   1 8 apollon138 901    885     2532417536 12800   1 8 apollon048 901    876     5963919360 14100   1 8 apollon057
array-industry-pattern/array_of_struct_loop_dep_false-unreach-call.i 901    864     7056023552 14000   0 8 apollon111 902    889     3770322944 12900   0 8 apollon091 902    889     5309894656 13000   0 8 apollon114 903    884     4467318784 9890   0 8 apollon040 902    890     4395085824 12000   0 8 apollon075 902    889     4531343360 10400   0 8 apollon158
array-industry-pattern/array_ptr_single_elem_init_false-unreach-call_true-termination.i 901    874     9217445888 11200   7 14 apollon156 901    873     7863119872 13200   7 14 apollon036 901    872     6692286464 11300   7 14 apollon070 901    868     5753856000 10300   7 14 apollon109 901    869     5797740544 10400   7 14 apollon157 901    876     8199704576 12600   7 14 apollon033
array-industry-pattern/array_range_init_false-unreach-call.i 901    869     6325284864 10700   0 10 apollon143 902    890     3284123648 12100   0 10 apollon037 902    888     5412638720 12100   0 10 apollon072 903    884     4399845376 12200   0 10 apollon159 901    891     4440764416 12000   0 10 apollon026 902    891     4087128064 11900   0 10 apollon103
array-industry-pattern/array_single_elem_init_false-unreach-call_true-termination.i 901    870     9766375424 11600   7 14 apollon031 901    873     8738988032 12500   7 14 apollon163 901    870     7454101504 12800   7 14 apollon014 901    866     5840064512 11600   7 14 apollon020 901    870     6388150272 13000   7 14 apollon148 901    876     9679093760 10500   7 14 apollon060
array-industry-pattern/check_removal_from_set_after_insertion_false-unreach-call.i 901    871     4815323136 11000   7 24 apollon142 901    866     5318586368 10200   7 24 apollon090 902    859     5696557056 9750   7 24 apollon086 901    852     6327078912 8840   7 24 apollon145 901    861     4342771712 9090   7 24 apollon120 901    870     5983985664 12800   7 24 apollon148
array-industry-pattern/array_monotonic_true-unreach-call_true-termination.i 901    871     10785587200 9840   3 10 apollon118 901    872     8215228416 10600   3 10 apollon070 903    869     6872825856 11000   3 10 apollon046 901    873     4969607168 8930   3 10 apollon042 901    868     6393901056 9690   3 10 apollon109 901    876     9328926720 10800   3 10 apollon153
array-industry-pattern/array_mul_init_true-unreach-call_true-termination.i 901    868     8702201856 10800   1 14 apollon127 901    880     5785088000 11200   1 14 apollon003 901    882     3949613056 13400   1 14 apollon140 901    887     3387154432 11800   1 14 apollon078 901    886     3584274432 12000   1 14 apollon097 901    879     7738757120 12500   1 14 apollon112
array-industry-pattern/array_of_struct_break_true-unreach-call.i 901    870     8395689984 14200   0 10 apollon057 902    889     3805536256 12400   0 10 apollon101 902    889     5712564224 12300   0 10 apollon156 903    883     4473090048 11000   0 10 apollon147 903    889     4348268544 15300   0 10 apollon148 902    890     4543139840 9630   0 10 apollon063
array-industry-pattern/array_of_struct_ptr_cond_init_true-unreach-call.i 902    876     7274196992 11400   0 10 apollon079 902    890     3477721088 13800   0 10 apollon027 902    890     5719896064 12600   0 10 apollon168 903    884     4260696064 10500   0 10 apollon023 902    890     4342824960 10900   0 10 apollon151 902    891     4089593856 12500   0 10 apollon168
array-industry-pattern/array_of_struct_ptr_flag_init_true-unreach-call.i 901    865     10444820480 9230   1 12 apollon054 901    872     8411447296 10800   1 12 apollon154 901    871     6929657856 12600   1 12 apollon130 901    875     4802777088 11000   1 12 apollon147 901    872     6107504640 13100   1 12 apollon044 901    872     8257712128 10300   1 12 apollon117
array-industry-pattern/array_of_struct_ptr_monotonic_true-unreach-call.i 902    877     7261110272 12400   0 10 apollon114 902    889     3481333760 12400   0 10 apollon085 902    888     5811232768 13300   0 10 apollon065 903    884     4420296704 11000   0 10 apollon050 901    890     4181872640 12200   0 10 apollon001 902    890     4143034368 11700   0 10 apollon115
array-industry-pattern/array_of_struct_ptr_mul_init_true-unreach-call.i 901    854     13005819904 13200   0 14 apollon016 901    882     4981768192 12900   0 14 apollon068 901    884     5717704704 13100   0 14 apollon020 902    883     6844645376 12200   0 14 apollon119 903    883     6268219392 13000   0 14 apollon091 902    880     5666119680 12100   0 14 apollon055
array-industry-pattern/array_of_struct_single_elem_init_true-unreach-call.i 901    854     13162209280 11400   apollon031 902    881     6124982272 14800   0 12 apollon111 901    883     6447730688 15500   0 12 apollon039 903    879     5377970176 14900   0 12 apollon160 903    882     5217525760 14300   0 12 apollon161 902    883     6350852096 12200   0 12 apollon049
array-industry-pattern/array_ptr_partial_init_true-unreach-call.i 901    866     6002778112 14000   0 8 apollon160 902    890     3326160896 11600   0 8 apollon066 902    889     5420851200 14100   0 8 apollon106 903    884     4442062848 10800   0 8 apollon105 902    890     4184059904 11700   0 8 apollon045 902    890     4081020928 12100   0 8 apollon110
array-industry-pattern/array_ptr_single_elem_init_true-unreach-call.i 901    868     6347919360 11100   0 18 apollon045 902    890     3367096320 12600   0 18 apollon093 902    889     5636976640 12200   0 18 apollon072 903    885     4354043904 11300   0 18 apollon004 902    890     4229693440 12100   0 18 apollon075 902    890     4057526272 13900   0 18 apollon140
array-industry-pattern/array_shadowinit_true-unreach-call_true-termination.i 901    626     7422709760 11400   7 8 apollon111 901    642     8167247872 10700   7 8 apollon094 901    623     8145027072 8820   7 8 apollon013 901    818     4843724800 9150   7 8 apollon107 917    479     9383194624 8290   7 8 apollon156 901    762     5955403776 10600   7 8 apollon009
reducercommutativity/rangesum05_false-unreach-call_true-termination.i 901    855     4353998848 9380   9 14 apollon089 901    873     3777552384 11600   9 14 apollon125 901    871     1876901888 10300   9 14 apollon119 901    875     1856884736 12100   9 14 apollon064 901    868     4062674944 10500   9 14 apollon127 901    878     2766118912 9530   9 14 apollon084
reducercommutativity/rangesum10_false-unreach-call_true-termination.i 901    838     4641918976 11900   9 14 apollon130 901    867     4325806080 9860   9 14 apollon129 901    867     4100255744 8370   9 14 apollon123 901    869     2477588480 11300   9 14 apollon077 901    867     4185567232 13900   9 14 apollon057 901    868     4196720640 8800   9 14 apollon087
reducercommutativity/rangesum20_false-unreach-call.i 901    828     5130133504 9960   9 14 apollon022 901    858     3935170560 10700   9 14 apollon091 901    868     4581453824 9800   9 14 apollon058 901    867     3162415104 10300   9 14 apollon017 901    848     4576940032 10500   9 14 apollon002 901    859     4867727360 6760   9 14 apollon158
reducercommutativity/rangesum40_false-unreach-call.i 901    819     7029751808 7970   8 14 apollon055 902    835     5936988160 8550   9 14 apollon063 901    852     5903839232 10800   9 14 apollon073 902    862     5639630848 12300   9 14 apollon080 901    852     5346287616 9950   9 14 apollon123 901    849     6695247872 9660   9 14 apollon143
reducercommutativity/rangesum60_false-unreach-call.i 901    799     7369945088 9030   8 14 apollon011 901    837     8798846976 10500   9 14 apollon144 901    852     7460700160 11600   9 14 apollon113 901    863     6338715648 12400   9 14 apollon081 901    846     5674266624 10700   9 14 apollon116 902    850     10503036928 9600   8 14 apollon107
reducercommutativity/rangesum_false-unreach-call_true-termination.i 901    627     7149494272 8820   12 16 apollon015 901    653     6701051904 8710   14 16 apollon067 905    659     7453888512 9420   14 16 apollon091 901    730     6024597504 9070   14 16 apollon034 901    543     9994518528 9340   12 16 apollon033 901    783     4750397440 9270   14 16 apollon070
reducercommutativity/avg05_true-unreach-call_true-termination.i 901    860     4161986560 13400   6 10 apollon080 901    871     2281619456 10200   6 10 apollon151 901    872     2466926592 11400   6 10 apollon156 901    878     3728027648 13600   6 10 apollon044 901    863     1716834304 12900   6 10 apollon132 901    879     2263879680 10100   6 10 apollon150
reducercommutativity/avg10_true-unreach-call_true-termination.i 901    855     4270960640 12300   6 10 apollon065 901    869     3597832192 13400   6 10 apollon002 901    868     2282295296 11400   6 10 apollon110 901    871     2254938112 12200   6 10 apollon136 901    866     4017463296 11900   6 10 apollon082 901    873     2477162496 12200   6 10 apollon125
reducercommutativity/avg20_true-unreach-call.i 901    841     4356141056 11400   6 10 apollon085 901    870     4099379200 11000   6 10 apollon012 901    869     4062961664 11700   6 10 apollon082 901    867     2475880448 13400   6 10 apollon030 901    869     4055560192 13100   6 10 apollon028 901    867     4134379520 10600   6 10 apollon129
reducercommutativity/avg40_true-unreach-call.i 901    846     4835643392 7770   5 10 apollon134 901    858     5113384960 9240   6 10 apollon093 901    868     4328271872 10800   6 10 apollon105 901    874     4303622144 11200   6 10 apollon096 901    868     4554592256 10100   6 10 apollon092 901    863     13582278656 10400   5 10 apollon071
reducercommutativity/avg60_true-unreach-call.i 901    845     5042253824 9160   3 10 apollon061 901    859     6973706240 7990   5 10 apollon090 901    867     12960059392 8710   5 10 apollon062 834    805     14999998464 9300   apollon102 901    865     3460374528 7410   5 10 apollon126 901    864     14331944960 8210   4 10 apollon151
reducercommutativity/avg_true-unreach-call_true-termination.i 902    662     6770597888 8320   6 10 apollon073 901    677     6188515328 9350   6 10 apollon038 903    676     7977943040 9350   6 10 apollon165 392    360     3916832768 4030   apollon137 931    550     8734183424 7990   6 10 apollon023 901    788     5994930176 10200   6 10 apollon087
reducercommutativity/max05_true-unreach-call_true-termination.i 901    860     4359184384 9190   8 12 apollon054 901    872     3413123072 10200   8 12 apollon087 901    871     2736013312 11000   8 12 apollon008 901    876     3045593088 9310   8 12 apollon045 901    864     2773135360 10600   8 12 apollon134 901    878     2150199296 7660   8 12 apollon032
reducercommutativity/max10_true-unreach-call_true-termination.i 901    848     5236293632 13900   8 12 apollon057 901    870     4470288384 9440   8 12 apollon086 901    868     2364022784 10700   8 12 apollon010 901    871     2499096576 8950   8 12 apollon023 901    866     4386467840 12900   8 12 apollon081 901    874     4082814976 8250   8 12 apollon168
reducercommutativity/max20_true-unreach-call.i 901    844     5825273856 11400   6 12 apollon093 901    866     5316751360 11700   8 12 apollon138 901    868     5173026816 11900   8 12 apollon047 902    869     2292871168 10800   8 12 apollon005 901    866     4618002432 10500   7 12 apollon060 901    867     6231269376 11100   8 12 apollon070
reducercommutativity/max40_true-unreach-call.i 902    849     4642631680 7740   5 12 apollon153 901    860     6886678528 12200   6 12 apollon033 901    866     6669840384 12600   6 12 apollon161 901    865     2437394432 9420   6 12 apollon072 901    865     4777467904 9810   6 12 apollon034 901    861     9245310976 10300   6 12 apollon035
reducercommutativity/max60_true-unreach-call.i 901    838     5802913792 10100   5 12 apollon036 901    868     3147534336 7720   5 12 apollon165 901    871     5110996992 6540   5 12 apollon051 901    869     2603368448 7530   5 12 apollon098 901    869     2433875968 7050   5 12 apollon038 901    867     3346149376 6820   5 12 apollon092
reducercommutativity/max_true-unreach-call_true-termination.i 902    632     6855999488 10600   8 12 apollon081 901    634     8177553408 9140   8 12 apollon035 901    622     6256705536 9360   8 12 apollon124 901    636     7149133824 11000   8 12 apollon030 901    499     10759188480 9010   8 12 apollon020 901    787     4609552384 10100   8 12 apollon100
reducercommutativity/sep05_true-unreach-call_true-termination.i 901    656     8077582336 7860   9 12 apollon149 901    648     6690656256 8450   10 12 apollon005 901    655     7576342528 7580   10 12 apollon124 901    679     6114328576 8400   10 12 apollon024 901    552     8655101952 8130   10 12 apollon120 901    769     7518535680 6440   9 12 apollon003
reducercommutativity/sep10_true-unreach-call.i 901    854     4107173888 11000   8 12 apollon073 901    781     5622988800 9200   9 12 apollon076 902    721     7153635328 8010   9 12 apollon004 902    723     6697209856 7260   9 12 apollon101 901    675     6895632384 9830   9 12 apollon146 901    860     5319036928 7920   8 12 apollon168
reducercommutativity/sep20_true-unreach-call.i 901    862     4069486592 10600   6 12 apollon003 901    860     5694705664 12900   6 12 apollon014 902    856     5606301696 10800   8 12 apollon086 486    452     14999998464 5500   apollon035 901    851     4440707072 12400   6 12 apollon065 901    867     7696359424 12100   7 12 apollon065
reducercommutativity/sep40_true-unreach-call.i 901    869     4797685760 12400   5 12 apollon014 901    866     5573455872 11500   6 12 apollon101 901    866     5157838848 12000   7 12 apollon064 901    869     5803999232 10400   8 12 apollon101 901    866     4560183296 13300   6 12 apollon016 901    871     6042431488 10900   7 12 apollon022
reducercommutativity/sep60_true-unreach-call.i 901    861     5281988608 12300   5 12 apollon019 901    865     5571796992 10000   5 12 apollon116 901    864     6164041728 12500   6 12 apollon125 901    866     4123156480 11800   7 12 apollon077 901    863     4619280384 12500   5 12 apollon122 902    872     4896272384 9150   5 12 apollon082
reducercommutativity/sep_true-unreach-call_true-termination.i 901    659     6644256768 10100   8 12 apollon076 901    621     8950771712 8430   8 12 apollon123 901    621     8746876928 11500   8 12 apollon160 901    621     8306802688 9290   8 12 apollon131 901    548     8446103552 8270   8 12 apollon100 901    782     4723294208 11200   8 12 apollon038
reducercommutativity/sum05_true-unreach-call_true-termination.i 901    862     4418703360 11200   6 10 apollon012 901    872     2645196800 12100   6 10 apollon138 901    873     2867343360 11000   6 10 apollon154 901    877     3246800896 11900   6 10 apollon007 901    865     2847092736 11200   6 10 apollon023 901    879     2505977856 11900   6 10 apollon068
reducercommutativity/sum10_true-unreach-call_true-termination.i 901    851     5383139328 11600   6 10 apollon061 901    870     4672614400 11300   6 10 apollon058 901    867     3116068864 11300   6 10 apollon034 901    873     3145457664 12600   6 10 apollon106 901    867     4393283584 11100   6 10 apollon066 901    871     4497641472 12300   6 10 apollon047
reducercommutativity/sum20_true-unreach-call.i 901    837     5608148992 12800   6 10 apollon008 901    868     5800267776 11600   6 10 apollon133 901    868     6451757056 11100   6 10 apollon045 901    862     4576460800 11600   6 10 apollon136 901    862     4688916480 12900   6 10 apollon155 901    865     7130533888 12000   6 10 apollon052
reducercommutativity/sum40_true-unreach-call.i 901    844     6421041152 9300   5 10 apollon106 901    853     6399324160 13200   6 10 apollon008 901    863     6395011072 13500   6 10 apollon016 901    868     6552436736 13100   6 10 apollon014 901    864     4916424704 12300   6 10 apollon046 855    814     14999998464 10200   apollon033
reducercommutativity/sum60_true-unreach-call.i 902    850     5689966592 8620   3 10 apollon150 901    865     10896695296 7860   5 10 apollon022 901    866     14376239104 8620   5 10 apollon050 532    507     14999998464 6240   apollon020 901    867     3912269824 7660   5 10 apollon046 795    754     14999998464 9750   apollon167
reducercommutativity/sum_true-unreach-call_true-termination.i 903    650     6209753088 10000   6 10 apollon031 901    631     8200523776 10700   6 10 apollon069 901    632     7364608000 9120   6 10 apollon086 901    664     5768781824 9910   6 10 apollon082 902    514     9935884288 8630   6 10 apollon096 901    783     5089415168 11100   6 10 apollon108
array-tiling/mlceu_false-unreach-call.i 902    698     6804975616 11100   6 10 apollon059 901    699     6490345472 9900   6 10 apollon078 902    698     6870900736 11700   6 10 apollon016 901    722     6409981952 10400   6 10 apollon118 902    653     7364833280 9920   6 10 apollon011 901    793     5271384064 9220   6 10 apollon054
array-tiling/skippedu_false-unreach-call.i 4.32 1.69  268341248 35.9 apollon089 4.17 1.71  269426688 41.2 apollon148 4.25 1.74  269348864 43.7 apollon161 4.50 1.74  273932288 38.8 apollon150 4.26 1.77  267661312 37.4 apollon154 4.94 2.04  263675904 56.6 apollon158
array-tiling/mbpr2_true-unreach-call.i 4.49 1.80  277188608 38.2 apollon123 4.31 1.74  268800000 42.9 apollon080 4.46 1.80  277487616 39.7 apollon129 4.37 1.85  270114816 39.4 apollon166 4.22 1.73  270049280 36.6 apollon116 4.15 1.75  267087872 37.3 apollon133
array-tiling/mbpr3_true-unreach-call.i 5.09 2.18  286556160 49.3 apollon091 5.02 2.11  281866240 42.1 apollon099 5.10 2.14  284012544 53.3 apollon030 4.89 2.16  273838080 47.4 apollon167 4.95 2.10  284966912 46.6 apollon120 4.90 2.11  281726976 48.4 apollon167
array-tiling/mbpr4_true-unreach-call.i 4.49 1.78  271405056 37.3 apollon040 4.72 1.88  276635648 45.7 apollon140 4.59 1.82  272953344 37.5 apollon054 4.68 1.83  275746816 42.6 apollon168 4.50 1.80  270082048 42.4 apollon024 4.53 1.81  268779520 39.0 apollon060
array-tiling/mbpr5_true-unreach-call.i 5.14 2.22  281931776 49.7 apollon167 5.04 2.23  283066368 40.6 apollon092 5.03 2.22  285941760 47.6 apollon090 4.90 2.14  285306880 42.7 apollon139 5.08 2.24  283828224 45.1 apollon001 4.96 2.20  283418624 48.4 apollon024
array-tiling/nr2_true-unreach-call.i 4.34 1.73  266170368 43.4 apollon088 4.28 1.76  267620352 39.4 apollon012 4.27 1.79  269348864 42.0 apollon047 4.44 1.80  269844480 44.1 apollon108 4.29 1.74  275668992 38.4 apollon129 4.43 1.76  272949248 38.9 apollon121
array-tiling/nr3_true-unreach-call.i 4.68 2.10  283078656 45.6 apollon132 4.82 2.07  284315648 44.9 apollon156 4.60 2.08  277037056 45.1 apollon009 4.84 2.18  282390528 48.8 apollon124 4.52 2.08  276533248 39.8 apollon100 4.58 2.10  280858624 39.7 apollon054
array-tiling/nr4_true-unreach-call.i 4.23 1.74  268939264 40.3 apollon006 4.28 1.76  273149952 42.5 apollon059 4.44 1.77  276119552 42.4 apollon047 4.34 1.73  271958016 41.7 apollon140 4.24 1.75  273113088 41.1 apollon152 4.35 1.79  265904128 42.8 apollon080
array-tiling/nr5_true-unreach-call.i 4.85 2.12  277901312 46.1 apollon097 4.52 2.07  282542080 43.6 apollon166 4.87 2.18  276635648 45.0 apollon102 4.95 2.19  282607616 45.7 apollon067 4.60 2.08  281092096 42.8 apollon119 4.86 2.09  286298112 40.3 apollon151
array-tiling/pnr2_true-unreach-call.i 4.27 1.71  276193280 39.5 apollon011 4.21 1.72  268017664 42.4 apollon027 4.29 1.75  267583488 38.4 apollon072 4.24 1.77  269213696 39.5 apollon096 4.41 1.83  273027072 44.1 apollon106 4.24 1.75  266956800 40.7 apollon130
array-tiling/pnr3_true-unreach-call.i 4.74 2.06  277708800 48.3 apollon126 4.58 2.05  277790720 42.6 apollon072 4.53 2.07  283680768 50.4 apollon111 4.79 2.15  285917184 47.8 apollon047 4.73 2.12  279588864 51.1 apollon106 4.79 2.09  281645056 47.6 apollon164
array-tiling/pnr4_true-unreach-call.i 4.45 1.85  271749120 40.2 apollon070 4.40 1.77  267878400 39.5 apollon085 4.65 1.84  272199680 45.9 apollon163 4.45 1.78  277094400 47.5 apollon021 4.24 1.78  270860288 35.6 apollon100 4.46 1.77  271790080 41.5 apollon064
array-tiling/pnr5_true-unreach-call.i 4.78 2.13  275599360 45.0 apollon011 4.75 2.12  281579520 42.5 apollon040 4.90 2.10  281231360 44.1 apollon025 4.92 2.15  286355456 43.5 apollon129 4.87 2.13  283369472 52.1 apollon021 4.84 2.10  278867968 45.9 apollon015
array-tiling/poly1_true-unreach-call.i 901    700     5293449216 7870   5 8 apollon078 901    714     6077202432 8300   5 8 apollon076 901    699     7097233408 8050   5 8 apollon086 901    755     5447254016 9430   5 8 apollon164 902    618     8041320448 10100   5 8 apollon080 901    796     4636647424 8360   5 8 apollon108
array-tiling/poly2_true-unreach-call.i 901    684     6185672704 9200   7 10 apollon167 901    690     5952000000 10000   7 10 apollon021 902    695     6260224000 7570   7 10 apollon042 902    728     6031523840 8790   7 10 apollon147 901    641     6923116544 9240   7 10 apollon011 901    794     4484632576 7990   7 10 apollon008
array-tiling/pr2_true-unreach-call.i 4.46 1.73  275169280 38.9 apollon023 4.33 1.79  267173888 36.6 apollon060 4.44 1.73  274751488 39.4 apollon107 4.20 1.71  268693504 40.3 apollon065 4.26 1.75  263372800 33.5 apollon063 4.26 1.76  276041728 37.7 apollon104
array-tiling/pr3_true-unreach-call.i 4.63 2.07  276131840 40.0 apollon100 4.58 2.06  276598784 48.9 apollon030 4.64 2.13  278577152 45.1 apollon017 4.76 2.09  283877376 43.5 apollon090 4.78 2.14  283058176 47.1 apollon138 4.59 2.07  276471808 44.2 apollon011
array-tiling/pr4_true-unreach-call.i 4.36 1.81  267010048 39.8 apollon052 4.42 1.78  273661952 42.2 apollon005 4.45 1.83  279031808 41.0 apollon011 4.38 1.80  271142912 39.9 apollon095 4.63 1.83  272973824 47.1 apollon008 4.50 1.77  270573568 37.5 apollon043
array-tiling/pr5_true-unreach-call.i 4.82 2.10  286679040 44.4 apollon110 4.73 2.13  285052928 47.7 apollon020 5.09 2.17  283156480 49.7 apollon136 5.00 2.23  287571968 46.0 apollon115 5.04 2.17  283394048 43.6 apollon003 4.95 2.14  284565504 46.2 apollon105
array-tiling/revcpyswp2_true-unreach-call.i 901    686     6538420224 11100   9 12 apollon069 901    714     6157365248 11700   9 12 apollon044 901    721     5611413504 11200   9 12 apollon106 901    771     5593743360 11600   9 12 apollon088 901    639     5766156288 8920   9 12 apollon035 901    806     4565860352 10600   9 12 apollon018
array-tiling/rew_true-unreach-call.i 902    665     7486128128 10700   7 10 apollon033 901    687     6687236096 9940   7 10 apollon082 911    673     7475388416 8870   7 10 apollon098 901    569     8839786496 8590   7 10 apollon119 902    565     9071693824 10700   7 10 apollon111 901    793     5210681344 11700   7 10 apollon167
array-tiling/rewnif_true-unreach-call.i 902    695     6607671296 9410   7 10 apollon066 902    708     5497102336 10200   7 10 apollon093 902    711     6320951296 11200   7 10 apollon167 901    721     6129680384 11300   7 10 apollon155 901    565     8642396160 8940   7 10 apollon168 901    795     5415297024 9740   7 10 apollon117
array-tiling/rewnifrev2_true-unreach-call.i 901    750     6347677696 9710   5 8 apollon083 901    736     6018822144 9180   5 8 apollon092 902    763     5343318016 10200   5 8 apollon137 901    795     5343764480 11700   5 8 apollon020 902    676     6275284992 9480   5 8 apollon137 901    820     5032738816 10500   5 8 apollon103
array-tiling/rewnifrev_true-unreach-call.i 902    756     5826408448 9950   7 10 apollon003 901    733     6966861824 10600   7 10 apollon124 902    748     5563043840 11600   7 10 apollon007 902    771     5507616768 11800   7 10 apollon140 902    587     9900347392 10900   7 10 apollon136 901    814     4886269952 10400   7 10 apollon023
array-tiling/rewrev_true-unreach-call.i 901    711     5402640384 11400   7 10 apollon122 901    715     5565894656 9920   7 10 apollon131 902    669     6575017984 11500   7 10 apollon016 901    629     9412993024 9490   7 10 apollon004 902    625     7633551360 8690   7 10 apollon117 901    796     4969357312 10900   7 10 apollon168
array-tiling/skipped_true-unreach-call.i 4.08 1.68  266301440 37.3 apollon165 4.39 1.75  276492288 37.9 apollon003 4.21 1.71  263995392 36.8 apollon134 4.11 1.72  265617408 34.1 apollon054 4.20 1.72  266063872 35.3 apollon134 4.32 1.79  269901824 39.1 apollon071
array-tiling/tcpy_true-unreach-call.i 4.29 1.75  268103680 39.2 apollon144 4.28 1.74  269647872 34.8 apollon092 4.23 1.73  269582336 41.1 apollon130 4.25 1.72  267325440 43.6 apollon056 4.17 1.75  268939264 39.3 apollon142 4.38 1.76  274423808 40.7 apollon051
array-programs/copysome1_false-unreach-call.i 902    865     14600224768 8690   1 12 apollon139 901    872     11159924736 10500   1 12 apollon154 901    871     8967757824 11100   1 12 apollon087 901    877     6086131712 11500   1 12 apollon114 901    868     7818334208 10000   1 12 apollon116 901    874     13085982720 11100   1 12 apollon145
array-programs/copysome2_false-unreach-call.i 902    867     14807724032 10900   1 14 apollon024 901    874     12406919168 10300   1 14 apollon119 902    874     10089041920 11100   1 14 apollon049 901    878     6994178048 10600   1 14 apollon133 901    868     8118038528 10100   1 14 apollon107 865    842     14999998464 10500   apollon095
array-programs/copysome1_true-unreach-call.i 901    862     14677561344 9840   1 12 apollon154 901    873     11162882048 13000   1 12 apollon161 901    872     8750968832 12400   1 12 apollon106 901    876     5833908224 11200   1 12 apollon020 901    868     7722057728 10100   1 12 apollon032 901    875     13266362368 10900   1 12 apollon075
array-programs/copysome2_true-unreach-call.i 872    834     14999998464 9450   apollon118 901    874     12329836544 10500   1 14 apollon034 901    873     10042241024 10100   1 14 apollon134 901    877     7067013120 11600   1 14 apollon125 901    867     8059621376 11000   1 14 apollon142 867    844     14999998464 11600   apollon028
bitvector/byte_add_false-unreach-call_true-no-overflow_true-termination.i 44.4  25.9   1259003904 500   59 60 apollon019 20.4  5.52  726913024 183   59 60 apollon007 20.3  5.52  741298176 177   59 60 apollon009 20.5  5.55  732340224 176   59 60 apollon105 19.7  5.48  716738560 154   59 60 apollon100 19.9  5.48  740069376 168   59 60 apollon005
bitvector/sum02_false-unreach-call_true-no-overflow.i 902    657     7237144576 10000   4 8 apollon108 901    649     7830859776 8730   4 8 apollon115 901    629     7830933504 9060   4 8 apollon096 902    520     11856650240 7380   4 8 apollon042 912    537     7747452928 9390   4 8 apollon005 901    781     5460574208 11200   4 8 apollon030
bitvector/byte_add_1_true-unreach-call_true-no-overflow_true-termination.i 901    849     5111508992 11400   43 60 apollon071 901    853     4929880064 10300   43 60 apollon041 901    851     3954487296 11600   43 60 apollon084 901    853     4404912128 12800   43 60 apollon106 901    849     3416735744 11500   43 60 apollon071 901    860     7070363648 10800   43 60 apollon133
bitvector/byte_add_2_true-unreach-call_true-no-overflow_true-termination.i 901    850     5293875200 12700   44 60 apollon080 901    852     6092365824 10300   44 60 apollon134 901    849     3890810880 9610   44 60 apollon123 901    855     4866277376 10700   44 60 apollon025 901    853     2879672320 9550   44 60 apollon158 901    854     7083089920 11500   44 60 apollon017
bitvector/gcd_1_true-unreach-call_true-no-overflow.i 16.4  10.4   1050144768 166   10 12 apollon013 56.5  50.2   1651793920 817   10 12 apollon033 107    99.3   1670938624 1460   10 12 apollon114 257    245     1389158400 3170   10 12 apollon041 86.6  80.0   1658384384 998   10 12 apollon092 26.5  20.1   1226670080 301   10 12 apollon079
bitvector/gcd_2_true-unreach-call_true-no-overflow.i 14.9  9.11  1061392384 141   9 10 apollon092 55.4  48.5   1681629184 674   9 10 apollon079 106    98.3   1625731072 1370   9 10 apollon001 255    244     1650958336 3130   9 10 apollon100 85.1  78.6   1626091520 1120   9 10 apollon162 25.3  19.1   1499353088 295   9 10 apollon095
bitvector/gcd_3_true-unreach-call_true-no-overflow.i 901    879     4096921600 12000   9 10 apollon038 901    880     1760305152 11600   9 10 apollon118 901    879     1708285952 10700   9 10 apollon128 402    391     1692749824 6430   9 10 apollon111 901    872     1647284224 13600   9 10 apollon069 901    886     1498603520 11600   9 10 apollon061
bitvector/gcd_4_true-unreach-call_true-no-overflow_true-termination.i 5.64 2.12  297984000 54.0 8 12 apollon106 5.34 2.04  298221568 51.9 8 12 apollon068 5.43 2.08  299749376 46.1 8 12 apollon127 5.53 2.12  295186432 56.5 8 12 apollon008 5.36 2.06  307359744 54.3 8 12 apollon057 5.43 2.12  296562688 48.2 8 12 apollon142
bitvector/interleave_bits_true-unreach-call_true-no-overflow.i 16.2  7.67  1352491008 162   3 4 apollon051 55.7  46.9   2627317760 857   3 4 apollon056 106    95.9   1779445760 1290   3 4 apollon083 256    243     2579050496 3040   3 4 apollon029 86.6  76.9   2398851072 1100   3 4 apollon131 26.1  18.0   1400803328 307   3 4 apollon084
bitvector/jain_1_true-unreach-call_true-no-overflow_false-termination.i 13.0  7.64  1218781184 147   1 2 apollon136 52.6  46.8   1448235008 768   1 2 apollon163 103    96.7   1659019264 1440   1 2 apollon124 253    243     1718231040 3550   1 2 apollon020 82.6  76.7   1705558016 987   1 2 apollon143 23.0  17.9   1301430272 269   1 2 apollon150
bitvector/jain_2_true-unreach-call_true-no-overflow_false-termination.i 12.8  7.63  1171984384 126   1 2 apollon041 53.0  47.5   1770905600 650   1 2 apollon166 103    96.4   1472610304 1330   1 2 apollon012 253    243     1680801792 3320   1 2 apollon135 82.8  76.6   1793114112 1130   1 2 apollon114 23.1  17.8   1534697472 279   1 2 apollon147
bitvector/jain_4_true-unreach-call_true-no-overflow_false-termination.i 12.8  7.66  1300934656 152   1 2 apollon108 52.7  47.1   1536536576 721   1 2 apollon091 103    96.5   1558544384 1540   1 2 apollon163 253    243     1816141824 3410   1 2 apollon067 82.9  76.7   1826742272 1200   1 2 apollon108 22.7  17.2   1659715584 296   1 2 apollon108
bitvector/jain_5_true-unreach-call_true-no-overflow.i 901    868     4530229248 9970   1 2 apollon099 901    868     5448953856 8590   1 2 apollon139 901    864     5595676672 8580   1 2 apollon157 901    870     4119269376 11200   1 2 apollon077 901    870     4480831488 9630   1 2 apollon117 901    871     6362525696 11400   1 2 apollon113
bitvector/jain_6_true-unreach-call_true-no-overflow_false-termination.i 12.7  7.73  1298444288 145   1 2 apollon136 53.0  48.0   1870774272 688   1 2 apollon162 103    96.8   1823023104 1430   1 2 apollon138 253    243     1820225536 3490   1 2 apollon084 83.0  76.9   1807233024 1130   1 2 apollon071 22.7  17.3   1419071488 271   1 2 apollon162
bitvector/jain_7_true-unreach-call_true-no-overflow_false-termination.i 15.1  9.18  1899941888 153   1 2 apollon013 54.8  48.4   1915072512 641   1 2 apollon128 105    98.2   1872289792 1370   1 2 apollon129 254    244     1929011200 3070   1 2 apollon098 84.7  78.4   1940201472 1150   1 2 apollon017 24.2  18.8   1401188352 302   1 2 apollon146
bitvector/modulus_true-unreach-call_true-no-overflow.i 901    857     963002368 11800   9 12 apollon011 901    867     2047275008 11600   11 12 apollon037 901    865     1907089408 12300   11 12 apollon114 901    857     1242701824 11700   11 12 apollon145 901    849     1314390016 12100   9 12 apollon010 901    882     1422516224 12300   11 12 apollon152
bitvector/num_conversion_1_true-unreach-call_true-no-overflow.i 5.33 1.96  280846336 47.3 5 6 apollon074 5.36 2.06  286101504 44.3 5 6 apollon099 5.43 2.01  281284608 48.2 5 6 apollon135 5.37 2.00  281300992 50.8 5 6 apollon068 5.63 2.14  286769152 50.5 5 6 apollon012 5.58 2.03  284950528 56.1 5 6 apollon036
bitvector/num_conversion_2_true-unreach-call_true-no-overflow.i 66.7  36.0   1784434688 543   5 6 apollon042 63.8  23.7   1974276096 483   5 6 apollon041 122    45.7   4614492160 993   5 6 apollon109 264    121     6434349056 2480   5 6 apollon141 93.5  33.1   3512332288 759   5 6 apollon118 33.8  14.8   1074139136 336   5 6 apollon064
bitvector/parity_true-unreach-call_true-no-overflow.i 902    700     5608951808 9940   7 8 apollon073 902    694     5929435136 11400   7 8 apollon094 902    663     7010643968 10400   7 8 apollon141 387    249     5584429056 3730   7 8 apollon083 901    592     7453593600 10700   7 8 apollon030 901    783     4854681600 10500   7 8 apollon131
bitvector/sum02_true-unreach-call_true-no-overflow.i 3.86 1.59  273874944 36.4 apollon020 3.37 1.48  261459968 29.4 apollon116 3.63 1.56  263962624 30.9 apollon137 3.61 1.54  262836224 33.1 apollon070 3.67 1.49  271429632 34.4 apollon096 3.84 1.54  272375808 35.0 apollon096
bitvector/s3_clnt_1_false-unreach-call_true-no-overflow.BV.c.cil.c 71.0  37.8   2246991872 721   171 172 apollon071 107    65.4   2086461440 1150   171 172 apollon142 82.0  28.6   3554242560 678   171 172 apollon095 78.2  28.0   2752917504 730   171 172 apollon122 89.4  29.5   3875966976 741   171 172 apollon024 53.0  30.9   1048281088 559   171 172 apollon049
bitvector/s3_clnt_2_false-unreach-call_true-no-overflow.BV.c.cil.c 68.5  36.9   2155405312 730   169 170 apollon091 88.0  44.0   1984708608 848   169 170 apollon135 136    71.5   4639412224 1360   169 170 apollon165 287    132     5489950720 2440   169 170 apollon045 106    46.7   3593232384 913   169 170 apollon109 49.0  26.6   1206579200 491   169 170 apollon034
bitvector/s3_clnt_3_false-unreach-call_true-no-overflow.BV.c.cil.c 77.4  35.3   2099965952 688   124 172 apollon129 171    90.2   4719783936 1530   124 172 apollon128 113    40.3   4180312064 947   124 172 apollon004 264    107     7192723456 2100   124 172 apollon066 94.9  36.2   3224293376 793   124 172 apollon013 136    94.5   2074984448 1430   124 172 apollon083
bitvector/s3_clnt_1_true-unreach-call_true-no-overflow.BV.c.cil.c 92.7  56.9   2192687104 1020   147 172 apollon017 114    70.7   2710196224 1290   147 172 apollon019 83.5  28.7   3475116032 751   147 172 apollon014 74.5  27.5   2910912512 650   147 172 apollon017 79.4  28.3   2864173056 740   147 172 apollon033 123    92.6   2072993792 1600   147 172 apollon027
bitvector/s3_clnt_2_true-unreach-call_true-no-overflow.BV.c.cil.c 61.3  28.7   1888636928 560   143 170 apollon157 125    69.9   3026505728 1110   143 170 apollon029 78.3  26.8   2750578688 616   143 170 apollon058 69.4  25.9   2854346752 618   143 170 apollon102 74.1  26.4   2665205760 654   143 170 apollon140 114    88.7   1622638592 1490   143 170 apollon167
bitvector/s3_clnt_3_true-unreach-call_true-no-overflow.BV.c.cil.c 901    536     11112230912 8030   139 172 apollon134 263    159     6097068032 2970   145 172 apollon108 167    88.3   3828899840 1730   145 172 apollon077 338    139     7045804032 3100   145 172 apollon161 903    401     10894176256 8530   139 172 apollon030 236    186     3814019072 2630   145 172 apollon041
bitvector/s3_srvr_1_alt_true-unreach-call_true-no-overflow.BV.c.cil.c 910    707     6810349568 9210   188 194 apollon040 901    772     5816778752 10400   191 194 apollon012 902    741     5353689088 9540   191 194 apollon043 901    665     7063908352 9720   191 194 apollon135 916    478     10722131968 7390   188 194 apollon029 901    861     2998312960 11400   191 194 apollon101
bitvector/s3_srvr_1_true-unreach-call_true-no-overflow.BV.c.cil.c 901    631     7068147712 9270   121 192 apollon131 191    115     4615168000 2070   150 192 apollon009 363    192     7616978944 3260   150 192 apollon103 238    94.2   6798438400 2000   150 192 apollon061 901    466     10542309376 8460   125 192 apollon015 160    121     2713632768 2110   150 192 apollon122
bitvector/s3_srvr_2_alt_true-unreach-call_true-no-overflow_false-termination.BV.c.cil.c 901    584     9127923712 11100   173 192 apollon111 901    619     8189911040 9510   175 192 apollon157 415    265     6221058048 4860   175 192 apollon163 362    211     6657347584 3540   175 192 apollon050 901    485     9756098560 7730   173 192 apollon041 901    784     4642107392 10800   175 192 apollon079
bitvector/s3_srvr_2_true-unreach-call_true-no-overflow_false-termination.BV.c.cil.c 901    629     7274627072 10900   173 192 apollon159 901    637     7443349504 8940   175 192 apollon043 392    265     5745991680 4630   175 192 apollon167 845    550     7822004224 9420   175 192 apollon065 902    522     9224081408 10100   175 192 apollon008 902    768     5378019328 9540   175 192 apollon158
bitvector/s3_srvr_3_alt_true-unreach-call_true-no-overflow.BV.c.cil.c 901    616     8974143488 10200   120 192 apollon124 901    641     7370694656 9700   124 192 apollon145 902    597     10338078720 9610   129 192 apollon052 502    301     8233533440 5840   149 192 apollon039 901    433     10982887424 8600   124 192 apollon108 112    88.2   1696538624 1410   149 192 apollon019
bitvector/s3_srvr_3_true-unreach-call_true-no-overflow.BV.c.cil.c 901    541     11294310400 9550   120 192 apollon167 901    650     6627647488 11600   128 192 apollon057 901    580     10529173504 9430   124 192 apollon071 419    239     6567391232 4050   149 192 apollon009 901    446     10570821632 7670   124 192 apollon107 113    88.8   1563475968 1460   149 192 apollon140
bitvector/soft_float_1_true-unreach-call_true-no-overflow_true-termination.c.cil.c 22.2  7.85  677888000 181   51 74 apollon151 57.9  16.3   1986789376 456   51 74 apollon102 107    50.0   4202680320 1000   51 74 apollon075 258    133     4837072896 2950   51 74 apollon056 87.4  32.8   3990290432 829   51 74 apollon064 29.8  9.96  929177600 263   51 74 apollon095
bitvector/soft_float_2_true-unreach-call_true-no-overflow_true-termination.c.cil.c 901    655     7276961792 11100   24 48 apollon088 902    601     9069686784 10200   26 48 apollon167 207    135     4720726016 2030   33 48 apollon098 360    160     8094814208 3170   33 48 apollon065 901    546     8582545408 9410   26 48 apollon052 232    165     3550240768 2490   33 48 apollon129
bitvector/soft_float_3_true-unreach-call_true-no-overflow_true-termination.c.cil.c 901    606     10769010688 9920   25 48 apollon010 918    621     8632176640 9610   30 48 apollon147 202    132     4029988864 1990   34 48 apollon043 352    213     6258135040 3970   34 48 apollon130 901    440     10850013184 7560   30 48 apollon073 901    757     5748473856 9240   29 48 apollon168
bitvector/soft_float_4_true-unreach-call_true-no-overflow_true-termination.c.cil.c 901    708     6196486144 10100   25 42 apollon050 901    679     5329608704 10400   25 42 apollon093 902    658     6242439168 11400   25 42 apollon106 901    618     8860508160 9630   25 42 apollon142 901    564     8371310592 10200   25 42 apollon069 901    786     4929519616 12400   25 42 apollon027
bitvector/soft_float_5_true-unreach-call_true-no-overflow_true-termination.c.cil.c 901    674     7342587904 9760   24 48 apollon144 901    635     8768352256 10000   26 48 apollon048 198    124     4952408064 1980   33 48 apollon086 350    221     5299953664 3950   33 48 apollon010 903    532     9495547904 9070   26 48 apollon011 235    172     4337111040 2710   33 48 apollon009
bitvector-regression/implicitfloatconversion_false-unreach-call_true-termination.c 3.34 1.45  258973696 31.4 1 2 apollon070 3.36 1.45  256638976 30.1 1 2 apollon075 3.42 1.48  260296704 33.4 1 2 apollon024 3.38 1.48  263675904 30.8 1 2 apollon084 3.61 1.50  263286784 30.8 1 2 apollon115 3.58 1.48  268894208 28.2 1 2 apollon151
bitvector-regression/implicitunsignedconversion_false-unreach-call_true-termination.c 3.41 1.46  262696960 31.2 1 2 apollon135 3.34 1.45  261472256 28.7 1 2 apollon029 3.56 1.44  264884224 30.9 1 2 apollon003 3.41 1.46  262606848 25.6 1 2 apollon063 3.39 1.49  256344064 32.4 1 2 apollon011 3.27 1.43  260550656 28.0 1 2 apollon098
bitvector-regression/integerpromotion_false-unreach-call_true-termination.c 3.46 1.46  261251072 28.2 1 2 apollon134 3.47 1.47  266735616 32.9 1 2 apollon112 3.41 1.49  260923392 31.6 1 2 apollon061 3.52 1.47  270327808 35.5 1 2 apollon028 3.52 1.52  264245248 27.1 1 2 apollon063 3.43 1.43  262467584 31.6 1 2 apollon011
bitvector-regression/recHanoi03_false-unreach-call_true-termination.c 73.5  49.7   14999998464 895   apollon088 76.7  49.8   14999998464 803   apollon058 73.7  49.9   14999998464 791   apollon135 73.9  49.3   14999998464 831   apollon046 73.8  49.7   14999998464 811   apollon038 76.4  50.1   14999998464 896   apollon027
bitvector-regression/signextension2_false-unreach-call_true-termination.c 3.97 1.63  266522624 37.3 4 8 apollon144 4.00 1.64  271269888 38.0 4 8 apollon071 4.05 1.68  265478144 40.3 4 8 apollon108 4.23 1.74  272629760 38.1 4 8 apollon076 4.11 1.68  269443072 37.9 4 8 apollon121 3.99 1.62  264011776 35.5 4 8 apollon075
bitvector-regression/signextension_false-unreach-call_true-termination.c 4.06 1.68  265330688 35.3 4 8 apollon053 4.18 1.69  265842688 38.4 4 8 apollon112 4.28 1.67  269320192 41.7 4 8 apollon030 4.15 1.71  267808768 33.7 4 8 apollon143 4.09 1.63  266317824 34.0 4 8 apollon054 4.12 1.69  263872512 38.9 4 8 apollon065
bitvector-regression/implicitunsignedconversion_true-unreach-call_true-termination.c 3.19 1.43  254947328 28.2 1 2 apollon066 3.37 1.47  258674688 29.7 1 2 apollon045 3.54 1.53  263356416 31.8 1 2 apollon062 3.45 1.48  264876032 29.3 1 2 apollon013 3.51 1.47  267911168 30.7 1 2 apollon062 3.59 1.51  266035200 33.6 1 2 apollon022
bitvector-regression/integerpromotion_true-unreach-call_true-termination.c 3.35 1.50  261472256 33.0 1 2 apollon019 3.57 1.48  262926336 34.0 1 2 apollon091 3.45 1.52  264159232 30.1 1 2 apollon109 3.35 1.44  258785280 30.4 1 2 apollon150 3.65 1.46  267354112 33.1 1 2 apollon093 3.26 1.44  253833216 33.7 1 2 apollon080
bitvector-regression/signextension2_true-unreach-call_true-termination.c 4.17 1.69  264437760 38.1 4 8 apollon076 4.21 1.64  269778944 38.1 4 8 apollon096 4.19 1.66  263753728 41.2 4 8 apollon081 4.18 1.70  266862592 35.3 4 8 apollon066 3.99 1.68  267464704 37.3 4 8 apollon087 4.16 1.65  269959168 35.8 4 8 apollon003
bitvector-regression/signextension_true-unreach-call_true-termination.c 4.12 1.67  268378112 40.9 4 8 apollon155 4.09 1.73  265375744 35.3 4 8 apollon053 4.23 1.72  267915264 37.5 4 8 apollon053 4.21 1.70  270487552 38.9 4 8 apollon096 4.01 1.69  266997760 41.1 4 8 apollon138 4.03 1.71  267415552 38.9 4 8 apollon141
bitvector-loops/diamond_false-unreach-call2.i 14.8  4.74  519155712 134   24 24 apollon138 57.0  16.6   2214416384 494   24 24 apollon019 106    36.9   4505829376 875   24 24 apollon168 255    111     6645522432 2210   24 24 apollon165 84.9  28.5   3817852928 691   24 24 apollon026 26.0  7.17  925700096 203   24 24 apollon078
bitvector-loops/overflow_false-unreach-call1.i 901    874     5420556288 10700   1 4 apollon120 901    872     5397250048 12900   1 4 apollon036 901    873     5273735168 10600   1 4 apollon003 901    876     3597864960 11000   1 4 apollon121 901    872     4463484928 10300   1 4 apollon083 901    877     6485626880 13800   1 4 apollon160
bitvector-loops/verisec_sendmail__tTflag_arr_one_loop_false-unreach-call_true-termination.i 901    672     6578651136 9720   7 8 apollon079 239    147     5160955904 2480   8 8 apollon119 81.3  25.0   3187974144 652   8 8 apollon162 70.6  23.5   2526707712 598   8 8 apollon034 65.6  23.8   3007016960 542   8 8 apollon104 901    780     4719697920 10400   7 8 apollon127
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c 85.1  42.0   2217689088 768   257 350 apollon127 79.2  34.0   2495152128 703   257 350 apollon076 132    56.8   4958310400 1310   257 350 apollon106 290    99.4   6049271808 2180   257 350 apollon038 196    79.5   6518829056 1510   257 350 apollon060 51.6  27.1   1162817536 490   257 350 apollon109
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c 38.5  14.3   1131847680 381   136 174 apollon020 57.4  18.4   2070765568 484   136 174 apollon166 75.5  20.7   3313688576 596   136 174 apollon114 54.3  18.1   2091675648 469   136 174 apollon061 62.2  18.7   2254798848 561   136 174 apollon020 38.2  15.7   1150152704 413   136 174 apollon160
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c 49.2  19.4   1513082880 515   214 254 apollon111 67.5  26.5   2173497344 563   214 254 apollon104 71.1  26.8   3327008768 698   214 254 apollon027 101    30.3   3629858816 734   214 254 apollon079 81.2  27.5   3772047360 614   214 254 apollon089 50.4  23.0   1253711872 505   214 254 apollon008
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c 23.3  8.73  813920256 206   97 138 apollon109 47.6  12.0   1756147712 393   97 138 apollon008 50.3  12.3   1852788736 380   97 138 apollon086 46.1  11.7   1760681984 400   97 138 apollon020 49.9  12.0   1772105728 394   97 138 apollon145 36.7  10.9   1152831488 298   97 138 apollon052
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 88.0  43.4   2577559552 858   255 348 apollon102 82.3  34.9   2679611392 832   255 348 apollon106 128    58.7   4591788032 1200   255 348 apollon113 282    132     5591109632 2420   255 348 apollon133 194    94.3   4993171456 1930   255 348 apollon140 51.1  26.0   1217359872 448   255 348 apollon043
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 45.4  18.2   1281368064 418   108 164 apollon012 68.2  24.5   2705645568 567   108 164 apollon110 116    37.6   4380794880 865   108 164 apollon075 269    107     7531532288 2510   108 164 apollon080 97.5  34.1   3780509696 934   108 164 apollon021 39.9  16.2   1200824320 372   108 164 apollon145
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c 37.2  14.8   1042649088 315   136 174 apollon066 63.5  18.9   1975975936 503   136 174 apollon049 56.7  18.7   2667737088 493   136 174 apollon102 58.4  18.9   3059011584 549   136 174 apollon056 67.1  19.4   3197972480 520   136 174 apollon142 37.2  15.6   1112657920 382   136 174 apollon159
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c 49.6  21.6   1178820608 502   214 254 apollon155 67.8  26.4   2536546304 594   214 254 apollon061 76.8  27.1   2628902912 718   214 254 apollon047 106    30.5   3615551488 765   214 254 apollon090 81.2  27.4   3087048704 651   214 254 apollon066 47.7  22.6   1210327040 456   214 254 apollon145
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 19.6  5.53  577966080 173   51 82 apollon015 28.8  7.58  1043660800 255   51 82 apollon161 29.3  7.50  1191809024 223   51 82 apollon060 29.2  7.78  1038254080 217   51 82 apollon151 30.6  7.69  1163366400 254   51 82 apollon114 27.5  7.06  959348736 219   51 82 apollon105
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c 23.0  8.00  707813376 190   93 134 apollon116 47.8  11.9   1534984192 367   93 134 apollon034 47.2  11.5   1787584512 419   93 134 apollon160 43.0  11.1   1656766464 354   93 134 apollon010 43.3  11.1   1699573760 384   93 134 apollon044 34.5  10.1   1112711168 284   93 134 apollon084
ssh-simplified/s3_clnt_1_false-unreach-call_true-termination.cil.c 54.6  23.8   1407512576 511   145 170 apollon162 89.4  45.1   1895464960 961   145 170 apollon047 80.5  25.3   3695652864 598   145 170 apollon089 73.1  24.7   2546708480 612   145 170 apollon084 111    32.4   3805163520 906   145 170 apollon036 43.0  20.2   1065304064 423   145 170 apollon051
ssh-simplified/s3_clnt_2_false-unreach-call_true-termination.cil.c 69.5  38.2   1809260544 707   144 170 apollon012 95.6  52.2   2139078656 1120   144 170 apollon161 71.8  24.1   2343936000 611   144 170 apollon103 77.3  24.6   2607280128 614   144 170 apollon018 80.0  25.5   3663568896 703   144 170 apollon106 90.4  64.7   1252986880 934   144 170 apollon151
ssh-simplified/s3_clnt_3_false-unreach-call_true-termination.cil.c 902    608     7785111552 9160   138 170 apollon107 160    89.1   4426080256 1610   144 170 apollon135 143    60.0   3599462400 1270   144 170 apollon146 269    106     6704525312 2030   144 170 apollon134 208    77.4   6765875200 1820   144 170 apollon080 81.5  58.6   1366900736 971   144 170 apollon071
ssh-simplified/s3_clnt_4_false-unreach-call_true-termination.cil.c 69.8  37.5   1791152128 759   144 170 apollon077 108    63.7   1990778880 1130   144 170 apollon037 90.8  27.0   2865340416 721   144 170 apollon069 86.5  26.3   2956673024 665   144 170 apollon077 77.9  25.4   3591942144 698   144 170 apollon125 87.4  63.9   1344528384 1090   144 170 apollon010
ssh-simplified/s3_srvr_10_false-unreach-call_false-termination.cil.c 94.5  49.6   2759524352 958   141 200 apollon055 95.2  51.5   2453848064 1090   141 200 apollon016 74.0  25.8   3110420480 680   141 200 apollon064 74.8  26.3   3479916544 619   141 200 apollon073 82.3  27.2   3291021312 592   141 200 apollon158 68.3  39.5   1252270080 761   141 200 apollon155
ssh-simplified/s3_srvr_11_false-unreach-call_false-termination.cil.c 950    577     10529546240 10300   157 208 apollon106 285    166     5793775616 2690   163 208 apollon026 371    230     5607419904 4330   163 208 apollon148 369    208     5826912256 3290   163 208 apollon043 901    484     8459935744 8210   163 208 apollon072 170    130     2406043648 1960   163 208 apollon072
ssh-simplified/s3_srvr_12_false-unreach-call_false-termination.cil.c 901    613     8529580032 8880   150 242 apollon115 404    274     5188325376 4650   189 242 apollon005 202    123     4673032192 2140   189 242 apollon015 357    214     5286498304 3610   189 242 apollon120 901    411     11320119296 7640   128 242 apollon084 194    149     2553421824 2430   189 242 apollon064
ssh-simplified/s3_srvr_13_false-unreach-call_false-termination.cil.c 901    557     10869239808 8160   130 214 apollon002 190    115     4532334592 1910   168 214 apollon035 175    85.9   4099575808 1550   168 214 apollon018 362    194     7043665920 3280   168 214 apollon023 903    496     7820701696 8030   131 214 apollon083 95.1  71.8   1587892224 1040   168 214 apollon116
ssh-simplified/s3_srvr_14_false-unreach-call_false-termination.cil.c 903    586     7930445824 9420   123 212 apollon152 93.1  45.5   2295582720 827   157 212 apollon013 139    60.6   3704205312 1320   157 212 apollon136 321    141     6062481408 2680   157 212 apollon115 404    196     7591391232 3960   157 212 apollon028 76.7  50.2   1284546560 921   157 212 apollon155
ssh-simplified/s3_srvr_1_false-unreach-call_false-termination.cil.c 110    52.8   2771943424 1010   137 192 apollon144 85.9  40.6   2021089280 686   137 192 apollon063 137    55.1   3816849408 1190   137 192 apollon070 302    123     6430867456 2400   137 192 apollon086 200    77.1   6558195712 1790   137 192 apollon122 69.2  43.0   1303953408 766   137 192 apollon093
ssh-simplified/s3_srvr_2_false-unreach-call_false-termination.cil.c 144    71.5   4368486400 1490   136 192 apollon088 83.9  35.7   1967513600 695   136 192 apollon040 132    57.6   4431470592 1390   136 192 apollon161 288    135     5941243904 2840   136 192 apollon130 196    86.5   5967364096 1770   136 192 apollon078 58.0  33.5   1288404992 580   136 192 apollon127
ssh-simplified/s3_srvr_6_false-unreach-call_false-termination.cil.c 901    568     10572566528 9960   140 228 apollon027 901    597     8044085248 8720   176 228 apollon149 582    388     6643064832 5940   176 228 apollon086 901    590     8191049728 9480   175 228 apollon055 923    513     8663601152 10200   171 228 apollon036 303    242     4399800320 3980   176 228 apollon033
ssh-simplified/s3_clnt_1_true-unreach-call_true-termination.cil.c 62.3  30.7   1654259712 631   145 170 apollon009 116    69.1   2442063872 1370   145 170 apollon014 91.7  29.4   3249160192 680   145 170 apollon086 94.6  29.5   3365081088 695   145 170 apollon018 72.1  27.0   2854842368 616   145 170 apollon075 73.5  51.3   1129644032 852   145 170 apollon118
ssh-simplified/s3_clnt_2_true-unreach-call_true-termination.cil.c 75.8  41.0   2035777536 744   143 170 apollon131 130    70.8   3033374720 1440   143 170 apollon014 90.9  28.9   3259404288 778   143 170 apollon033 81.0  27.6   3706957824 610   143 170 apollon117 71.0  26.8   2793095168 580   143 170 apollon099 66.5  44.8   1057783808 793   143 170 apollon132
ssh-simplified/s3_clnt_3_true-unreach-call_true-termination.cil.c 91.5  44.7   2520395776 817   143 170 apollon042 169    81.0   4326699008 1540   143 170 apollon070 163    83.1   4678406144 1490   143 170 apollon012 263    114     7303880704 2410   143 170 apollon093 191    91.9   4861186048 1620   143 170 apollon043 83.1  60.4   1146372096 1020   143 170 apollon091
ssh-simplified/s3_clnt_4_true-unreach-call_true-termination.cil.c 73.4  40.6   2130989056 682   143 170 apollon043 123    68.8   2847965184 1290   143 170 apollon010 73.2  27.1   2767966208 673   143 170 apollon124 69.2  26.7   2722680832 588   143 170 apollon002 112    46.8   3307077632 976   143 170 apollon118 68.7  45.0   1291026432 744   143 170 apollon166
ssh-simplified/s3_srvr_1_true-unreach-call_false-termination.cil.c 901    595     8873680896 8490   124 192 apollon134 228    117     5813047296 2100   149 192 apollon022 358    183     6507466752 3170   149 192 apollon154 332    179     6341148672 3480   149 192 apollon019 349    135     7544594432 2660   149 192 apollon107 169    125     2262343680 1890   149 192 apollon062
ssh-simplified/s3_srvr_1a_true-unreach-call_false-termination.cil.c 20.4  5.56  569950208 166   53 58 apollon045 20.8  5.39  737038336 173   53 58 apollon031 21.0  5.45  753672192 174   53 58 apollon145 21.5  5.45  770445312 172   53 58 apollon102 18.9  5.17  673763328 165   53 58 apollon114 21.3  5.47  757362688 160   53 58 apollon029
ssh-simplified/s3_srvr_1b_true-unreach-call_false-termination.cil.c 9.19 2.82  440057856 72.1 25 30 apollon089 9.16 2.87  436670464 84.4 25 30 apollon081 9.19 2.95  441229312 85.1 25 30 apollon016 8.94 2.84  354287616 79.7 25 30 apollon064 9.28 2.88  440061952 78.9 25 30 apollon105 8.88 2.83  342769664 76.9 25 30 apollon113
ssh-simplified/s3_srvr_2_true-unreach-call_false-termination.cil.c 901    571     9173536768 9210   122 192 apollon009 204    111     4711993344 2110   147 192 apollon136 336    208     5946638336 3760   147 192 apollon065 295    128     7037972480 2700   147 192 apollon006 327    125     8901890048 2890   147 192 apollon033 63.8  40.0   1306038272 737   147 192 apollon164
ssh-simplified/s3_srvr_3_true-unreach-call_false-termination.cil.c 901    647     6028267520 9700   123 192 apollon032 185    109     5587517440 1960   148 192 apollon004 357    195     7256981504 3450   148 192 apollon038 297    111     7038054400 2200   148 192 apollon137 299    126     5624446976 2460   148 192 apollon144 65.4  42.0   1283784704 794   148 192 apollon122
ssh-simplified/s3_srvr_4_true-unreach-call_false-termination.cil.c 901    567     9251282944 9780   146 192 apollon167 190    100     5517451264 1840   146 192 apollon168 337    196     7008948224 3170   146 192 apollon060 295    131     5700517888 2650   146 192 apollon067 314    142     7085281280 2940   146 192 apollon005 62.9  39.5   1174253568 679   146 192 apollon012
ssh-simplified/s3_srvr_6_true-unreach-call_false-termination.cil.c 901    620     8207544320 9480   138 226 apollon078 901    595     7243235328 8370   174 226 apollon151 611    368     8091099136 6510   174 226 apollon164 901    617     7344492544 9650   174 226 apollon135 910    444     9682825216 8280   174 226 apollon146 295    242     4410130432 4010   174 226 apollon088
ssh-simplified/s3_srvr_7_true-unreach-call_false-termination.cil.c 901    605     7943966720 10000   156 202 apollon091 281    180     4648878080 3070   156 202 apollon168 328    191     6133768192 3050   156 202 apollon149 901    490     11097731072 8210   156 202 apollon095 916    472     9635270656 7260   156 202 apollon158 180    138     2890330112 2260   156 202 apollon020
ssh-simplified/s3_srvr_8_true-unreach-call_false-termination.cil.c 901    595     7216214016 10200   123 204 apollon108 184    110     4624330752 1900   150 204 apollon078 339    201     6248144896 3920   150 204 apollon030 341    187     5840162816 3700   150 204 apollon094 298    143     6032670720 2710   150 204 apollon121 66.3  40.4   1198465024 728   150 204 apollon067
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c 17.5  5.58  567230464 154   72 86 apollon166 57.1  39.9   1937354752 629   72 86 apollon135 105    86.1   2158473216 1330   72 86 apollon124 258    234     2171801600 3040   72 86 apollon079 85.8  68.2   2335469568 980   72 86 apollon037 26.9  11.6   935624704 276   72 86 apollon164
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c 19.5  5.89  569294848 179   77 92 apollon031 56.1  40.5   1690570752 617   77 92 apollon110 105    86.8   2238480384 1450   77 92 apollon036 256    233     1496096768 2990   77 92 apollon145 86.6  67.7   2459430912 964   77 92 apollon062 26.0  12.9   930304000 258   77 92 apollon162
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c 15.0  4.76  537673728 141   52 62 apollon020 28.5  12.6   1174503424 285   52 62 apollon031 29.7  12.7   1281441792 272   52 62 apollon107 28.8  13.0   1038266368 254   52 62 apollon134 28.5  12.7   1175220224 280   52 62 apollon055 23.9  8.09  939511808 214   52 62 apollon096
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c 15.4  4.95  544227328 139   57 68 apollon067 52.8  34.2   1966964736 594   57 68 apollon009 56.5  38.3   2143227904 621   57 68 apollon095 55.7  38.5   1991692288 692   57 68 apollon122 58.1  39.1   2113351680 615   57 68 apollon115 25.0  11.0   1153118208 266   57 68 apollon106
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c 16.4  5.17  552955904 133   62 74 apollon040 54.1  38.2   1501736960 613   62 74 apollon113 103    82.4   3045416960 1050   62 74 apollon054 175    151     3316408320 1970   62 74 apollon002 83.3  65.5   2031132672 948   62 74 apollon034 25.9  12.6   1112121344 286   62 74 apollon033
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c 17.6  5.49  552599552 153   67 80 apollon061 55.9  39.1   1986920448 626   67 80 apollon095 106    87.1   2537672704 1450   67 80 apollon125 254    227     2228043776 3490   67 80 apollon033 84.7  65.6   2496663552 1220   67 80 apollon039 25.9  12.7   1136181248 242   67 80 apollon002
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c 17.4  5.63  548536320 148   72 86 apollon035 55.5  38.7   1863790592 659   72 86 apollon124 105    87.8   2241802240 1180   72 86 apollon083 255    231     2241654784 3090   72 86 apollon008 85.6  69.3   2184962048 1070   72 86 apollon152 27.9  12.1   913399808 293   72 86 apollon080
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c 18.6  5.88  484569088 156   77 92 apollon129 56.3  41.5   1946988544 628   77 92 apollon001 106    87.7   2265067520 1420   77 92 apollon163 255    234     2211971072 2830   77 92 apollon040 87.3  70.3   2251874304 1020   77 92 apollon097 26.6  13.9   1087242240 263   77 92 apollon086
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c 9.65 2.97  457609216 76.4 27 32 apollon128 9.91 2.97  442617856 82.4 27 32 apollon012 10.1  3.15  448606208 94.7 27 32 apollon163 9.70 3.02  355868672 81.8 27 32 apollon165 9.51 2.96  456769536 79.5 27 32 apollon042 9.64 3.06  453156864 82.0 27 32 apollon052
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c 11.1  3.35  440442880 98.7 32 38 apollon101 11.5  3.43  461873152 99.7 32 38 apollon118 11.6  3.45  470573056 109   32 38 apollon036 11.1  3.27  478236672 94.3 32 38 apollon112 10.8  3.30  476127232 94.5 32 38 apollon102 11.5  3.41  476561408 91.9 32 38 apollon066
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c 13.2  3.83  537468928 115   37 44 apollon010 13.5  3.88  549769216 110   37 44 apollon073 13.3  4.00  469950464 102   37 44 apollon089 14.1  4.04  553680896 117   37 44 apollon061 12.8  3.71  537960448 115   37 44 apollon015 13.4  3.97  541958144 123   37 44 apollon020
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c 14.7  4.28  546820096 126   42 50 apollon005 15.9  4.62  497459200 144   42 50 apollon015 15.3  4.48  553095168 130   42 50 apollon131 15.4  4.53  541020160 131   42 50 apollon034 15.8  4.56  493621248 143   42 50 apollon048 15.1  4.52  564150272 136   42 50 apollon114
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c 15.0  4.43  538202112 134   47 56 apollon091 20.2  6.52  758636544 186   47 56 apollon064 20.6  6.47  782393344 191   47 56 apollon148 20.2  6.36  777134080 180   47 56 apollon136 20.6  6.57  774787072 186   47 56 apollon067 20.3  6.48  700436480 185   47 56 apollon093
ntdrivers/cdaudio_false-unreach-call.i.cil.c 901    776     8048107520 9770   5 930 apollon029 902    812     4084469760 9670   5 930 apollon092 901    823     6915485696 11100   10 930 apollon018 901    813     6460203008 12100   11 930 apollon159 901    780     6111166464 10800   13 930 apollon129 901    829     7423303680 9090   5 930 apollon158
ntdrivers/diskperf_false-unreach-call.i.cil.c 112    83.4   1567444992 1200   122 268 apollon012 85.3  68.9   960499712 999   122 268 apollon049 136    118     1343217664 1630   122 268 apollon168 281    258     1576247296 3500   122 268 apollon146 196    166     2053517312 2150   122 268 apollon149 57.3  42.8   776953856 679   122 268 apollon112
ntdrivers/floppy_false-unreach-call.i.cil.c 902    850     2547544064 10800   207 1098 apollon072 901    847     3406475264 12500   251 1098 apollon094 901    843     3371724800 12900   257 1098 apollon030 901    843     3057565696 9980   257 1098 apollon128 894    811     4402962432 10900   apollon038 902    861     2226274304 10100   309 1098 apollon127
ntdrivers/kbfiltr_false-unreach-call.i.cil.c 67.8  42.9   922943488 785   114 204 apollon010 76.4  46.7   1178988544 835   114 204 apollon113 116    74.6   1616510976 1200   114 204 apollon053 126    86.2   1804083200 1590   114 204 apollon069 101    61.7   1552568320 1230   114 204 apollon080 56.7  35.8   733892608 613   114 204 apollon012
ntdrivers/parport_false-unreach-call.i.cil.c 901    687     5971664896 10200   138 1058 apollon105 901    647     8561369088 10300   282 1058 apollon015 901    674     6139822080 10400   309 1058 apollon055 901    695     5433143296 12100   314 1058 apollon044 901    693     5375959040 9850   306 1058 apollon104 901    676     6347280384 12400   183 1058 apollon111
ntdrivers/cdaudio_true-unreach-call.i.cil.c 901    726     6426206208 9430   250 924 apollon109 97.6  53.3   2278535168 949   258 924 apollon133 101    45.4   4082057216 1060   apollon014 101    45.6   3990372352 987   apollon112 193    114     4438151168 2370   258 924 apollon111 69.7  42.4   1327230976 666   258 924 apollon029
ntdrivers/diskperf_true-unreach-call.i.cil.c 901    843     4534321152 11300   2 280 apollon109 901    864     4008275968 11500   2 280 apollon053 901    854     2323845120 13200   2 280 apollon132 901    861     2258878464 11400   2 280 apollon083 901    856     3657998336 11500   2 280 apollon035 901    860     4278157312 12700   2 280 apollon071
ntdrivers/floppy2_true-unreach-call_true-termination.i.cil.c 901    853     4220514304 13800   175 1208 apollon021 901    857     4245172224 11300   344 1208 apollon119 794    753     2393038848 10100   353 1208 apollon146 856    818     2746597376 10300   353 1208 apollon127 901    852     2502172672 12000   244 1208 apollon049 901    860     2637262848 11200   351 1208 apollon164
ntdrivers/floppy_true-unreach-call_true-valid-memsafety.i.cil.c 901    850     2711736320 13300   208 1104 apollon160 901    845     3532423168 10700   256 1104 apollon129 901    841     3776311296 11800   265 1104 apollon112 901    845     2801098752 11200   252 1104 apollon102 901    814     4403265536 10800   230 1104 apollon168 902    861     2483916800 11000   310 1104 apollon074
ntdrivers/parport_true-unreach-call.i.cil.c 923    675     6156115968 10300   137 1064 apollon156 901    680     5588307968 10600   292 1064 apollon009 901    682     6143668224 10500   314 1064 apollon061 901    684     6197215232 10900   319 1064 apollon141 901    682     6209404928 11400   313 1064 apollon007 901    678     6629175296 11300   180 1064 apollon081
ssh/s3_clnt.blast.01_false-unreach-call.i.cil.c 901    800     4750233600 9990   77 172 apollon045 901    766     4727795712 9200   77 172 apollon054 901    773     5332131840 10600   77 172 apollon156 901    767     4929323008 9680   77 172 apollon098 901    748     6044073984 10300   77 172 apollon012 901    830     4210294784 10500   77 172 apollon121
ssh/s3_clnt.blast.02_false-unreach-call.i.cil.c 901    795     4596174848 10800   79 174 apollon159 901    776     4810469376 9620   79 174 apollon089 901    770     4825333760 11900   79 174 apollon125 901    767     5028691968 10100   79 174 apollon074 901    754     5028380672 10500   79 174 apollon072 901    826     4266786816 10100   79 174 apollon135
ssh/s3_clnt.blast.03_false-unreach-call.i.cil.c 901    793     4884762624 10500   79 174 apollon129 901    779     5345316864 11600   79 174 apollon064 901    767     4930076672 11200   79 174 apollon008 901    779     5206769664 10300   79 174 apollon097 901    749     5607165952 8420   79 174 apollon063 901    836     4327383040 10300   79 174 apollon050
ssh/s3_clnt.blast.04_false-unreach-call.i.cil.c 901    787     4936978432 10500   77 174 apollon001 901    785     4710531072 10100   79 174 apollon013 901    767     4897611776 10600   79 174 apollon162 901    768     4925902848 10300   79 174 apollon153 901    746     5142482944 10300   79 174 apollon074 901    834     4227944448 9820   79 174 apollon012
ssh/s3_srvr.blast.01_false-unreach-call.i.cil.c 901    773     5126569984 11000   120 198 apollon019 901    769     5500440576 10500   120 198 apollon159 901    785     4816314368 11900   120 198 apollon106 901    807     4719013888 11200   120 198 apollon070 901    750     5156478976 10700   126 198 apollon087 901    831     4529414144 10400   120 198 apollon033
ssh/s3_srvr.blast.02_false-unreach-call.i.cil.c 901    783     5107662848 9640   119 198 apollon045 901    783     4839280640 11500   119 198 apollon112 902    790     4847812608 10700   119 198 apollon146 901    807     4681519104 12200   119 198 apollon122 901    748     5116461056 10700   119 198 apollon168 901    830     4559032320 11100   119 198 apollon020
ssh/s3_srvr.blast.03_false-unreach-call.i.cil.c 901    770     5066424320 12400   119 198 apollon021 901    783     4795691008 9630   119 198 apollon043 901    783     5419778048 10100   119 198 apollon131 901    800     4736344064 12100   119 198 apollon122 901    740     5814530048 11100   119 198 apollon020 901    828     4382609408 9780   119 198 apollon137
ssh/s3_srvr.blast.04_false-unreach-call.i.cil.c 902    775     5142319104 10400   119 198 apollon136 901    786     4853260288 11900   119 198 apollon014 901    781     4736200704 10600   119 198 apollon156 901    806     4704370688 11300   119 198 apollon124 901    744     5390123008 10300   119 198 apollon120 901    828     4493078528 10700   119 198 apollon136
ssh/s3_srvr.blast.06_false-unreach-call.i.cil.c 901    771     5162307584 11300   82 230 apollon159 901    785     4835770368 10800   82 230 apollon095 901    775     5638610944 10300   82 230 apollon003 901    810     4669603840 11600   82 230 apollon031 901    746     5206032384 10600   82 230 apollon119 901    826     4445614080 11100   82 230 apollon147
ssh/s3_srvr.blast.07_false-unreach-call.i.cil.c 901    785     5134032896 12100   76 208 apollon106 901    782     5502300160 11000   76 208 apollon147 902    786     5159669760 11800   76 208 apollon006 901    806     4675645440 12100   76 208 apollon064 901    747     5077127168 9650   76 208 apollon139 901    829     4438286336 11000   76 208 apollon168
ssh/s3_srvr.blast.08_false-unreach-call.i.cil.c 901    763     5098041344 10600   75 208 apollon095 901    785     4873457664 10700   75 208 apollon135 901    779     4760305664 10300   75 208 apollon023 901    808     4700381184 12200   75 208 apollon065 901    735     5095079936 11100   75 208 apollon052 901    832     4480036864 11300   75 208 apollon142
ssh/s3_srvr.blast.09_false-unreach-call.i.cil.c 901    782     5118324736 11000   76 208 apollon113 901    784     4817252352 12300   76 208 apollon094 901    781     4731961344 11100   76 208 apollon085 901    804     4686774272 11000   76 208 apollon097 901    743     5614174208 10900   76 208 apollon146 901    827     4357013504 10600   76 208 apollon012
ssh/s3_srvr.blast.10_false-unreach-call.i.cil.c 901    777     5162651648 11500   75 202 apollon033 901    765     5888069632 10700   75 202 apollon093 901    781     4926693376 12300   75 202 apollon130 901    803     4638158848 11400   75 202 apollon004 901    743     5086040064 10700   75 202 apollon078 901    825     4739948544 10600   75 202 apollon055
ssh/s3_srvr.blast.11_false-unreach-call.i.cil.c 901    775     5122486272 10600   76 208 apollon058 901    783     4864176128 10600   76 208 apollon034 901    789     4797452288 9660   76 208 apollon092 901    806     4769918976 10500   76 208 apollon109 901    754     5086318592 10000   76 208 apollon060 901    825     4607938560 12000   76 208 apollon027
ssh/s3_srvr.blast.12_false-unreach-call.i.cil.c 902    769     5713391616 11300   76 212 apollon159 901    783     5411364864 10800   76 212 apollon165 901    778     4722061312 11500   76 212 apollon046 901    803     4708618240 11600   76 212 apollon152 901    745     5250449408 11400   76 212 apollon112 901    831     4477648896 10600   76 212 apollon026
ssh/s3_srvr.blast.13_false-unreach-call.i.cil.c 901    788     5121720320 11700   76 208 apollon006 901    787     5332475904 10900   76 208 apollon102 901    789     4763090944 10900   76 208 apollon145 901    804     4935622656 11700   76 208 apollon048 901    745     5115523072 11100   76 208 apollon009 901    830     4394975232 10500   76 208 apollon103
ssh/s3_srvr.blast.14_false-unreach-call.i.cil.c 901    772     5204221952 9770   78 218 apollon060 901    784     4847489024 11800   78 218 apollon065 901    780     4769230848 10700   78 218 apollon120 901    810     4685070336 10800   78 218 apollon103 901    742     5609127936 10600   78 218 apollon051 901    827     4752801792 12000   78 218 apollon064
ssh/s3_srvr.blast.15_false-unreach-call.i.cil.c 901    780     5133115392 9960   75 214 apollon127 901    786     4966760448 9940   75 214 apollon128 901    786     5024108544 13500   75 214 apollon056 901    809     4689199104 11400   75 214 apollon147 901    738     5755559936 10900   75 214 apollon096 901    829     4478328832 10800   75 214 apollon072
ssh/s3_srvr.blast.16_false-unreach-call.i.cil.c 901    779     5116907520 10300   80 224 apollon150 901    785     4816687104 10600   80 224 apollon062 901    788     4761956352 11900   80 224 apollon065 901    809     4770889728 13100   80 224 apollon161 901    749     5227024384 9860   80 224 apollon089 901    828     4474228736 11200   80 224 apollon138
ssh/s3_clnt.blast.01_true-unreach-call.i.cil.c 901    788     4731621376 11100   77 172 apollon033 901    772     4713066496 10800   77 172 apollon031 901    769     4843581440 10100   77 172 apollon003 902    773     4947709952 10300   77 172 apollon090 901    726     6227656704 10200   77 172 apollon012 901    832     4314017792 9790   77 172 apollon143
ssh/s3_clnt.blast.02_true-unreach-call.i.cil.c 901    799     4677324800 10900   79 174 apollon085 901    772     4760408064 10300   79 174 apollon118 901    775     5354246144 10800   79 174 apollon087 901    779     4939530240 9300   79 174 apollon054 901    755     5544558592 10900   79 174 apollon113 901    831     4421931008 11300   79 174 apollon052
ssh/s3_clnt.blast.03_true-unreach-call.i.cil.c 901    796     4641062912 9350   79 174 apollon092 901    781     4733890560 10100   79 174 apollon037 901    774     4798455808 11700   79 174 apollon027 901    766     5537193984 9890   79 174 apollon137 901    739     5824389120 10600   79 174 apollon096 901    831     4302602240 11100   79 174 apollon142
ssh/s3_clnt.blast.04_true-unreach-call.i.cil.c 901    773     4653469696 10400   79 174 apollon162 901    773     4774203392 11000   79 174 apollon008 901    767     4850094080 9970   79 174 apollon116 901    770     5492043776 10500   79 174 apollon051 901    751     4910010368 10900   79 174 apollon004 901    829     4358201344 11500   79 174 apollon006
ssh/s3_srvr.blast.01_true-unreach-call.i.cil.c 901    765     5078360064 11400   76 198 apollon112 901    785     4936523776 9870   76 198 apollon043 901    785     5119311872 13100   76 198 apollon021 901    809     4678184960 11000   76 198 apollon034