Tool TBF 0.1-dev CMCReduction CMC Reduction 1.0
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8 timelimit: 200 s, memlimit: 15000 MB, CPU core limit: 8 timelimit: 950 s, memlimit: 15000 MB, CPU core limit: 8
Host apollon*
OS Linux 4.4.0-104-generic Linux 4.4.0-112-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33553 MB
Date of execution 2017-12-28 17:42:24 CET 2018-02-06 16:22:09 CET 2018-02-08 03:59:29 CET 2018-02-07 13:12:57 CET 2018-02-08 03:18:28 CET
Run set tbf_ex.afl tbf_ex.crest tbf_ex.klee congen.predicate conditions-predicate-reducer-verifiers.AFL conditions-predicate-reducer-verifiers.Crest conditions-predicate-reducer-verifiers.Klee
Options -i afl --execution -i crest --strategy hybrid --execution -i klee --execution -reducer identity -type None -verif -noout -verif -disable-java-assertions -verif -heap 10000M -verif -setprop assumptions.automatonFile=AssumptionAutomaton.txt -verif -config config/components/predicateAnalysis-100s-generate-cmc-condition.properties -condfile conditions/predicate.${inputfile_name}.files/output/AssumptionAutomaton.txt.gz -reducer -setprop cpa.composite.aggregateBasicBlocks=false -reducer -stack 800M -reducer -setprop residualprogram.strategy=CONDITION -verif none -type afl -condfile conditions/predicate.${inputfile_name}.files/output/AssumptionAutomaton.txt.gz -reducer -setprop cpa.composite.aggregateBasicBlocks=false -reducer -stack 800M -reducer -setprop residualprogram.strategy=CONDITION -verif none -type crest -condfile conditions/predicate.${inputfile_name}.files/output/AssumptionAutomaton.txt.gz -reducer -setprop cpa.composite.aggregateBasicBlocks=false -reducer -stack 800M -reducer -setprop residualprogram.strategy=CONDITION -verif none -type klee
../../sv-benchmarks/c/ status cputime (s) walltime (s) memUsage cpuenergy (J) host status cputime (s) walltime (s) memUsage cpuenergy (J) host status cputime (s) walltime (s) memUsage cpuenergy (J) host status cputime (s) walltime (s) memUsage cpuenergy (J) host status cputime (s) walltime (s) memUsage cpuenergy (J) host status cputime (s) walltime (s) memUsage cpuenergy (J) host status cputime (s) walltime (s) memUsage cpuenergy (J) host
reducercommutativity/rangesum05_false-unreach-call_true-termination.i 3.72  3.37  31985664 53.6  apollon112 823     900     39686144 9920    apollon123 .291 .382 32022528 3.44 apollon147 7.69 2.37 413929472 56.8 apollon043 .0202  .0365  991232 .0165  apollon049 .00682 .0132  929792 .0208  apollon027 .00759 .0122  1089536 .00000 apollon038
reducercommutativity/rangesum10_false-unreach-call_true-termination.i 3.78  3.40  32219136 45.9  apollon100 822     900     55271424 11500    apollon168 .332 .413 32256000 3.17 apollon086 12.5  3.47 480616448 107   apollon125 .0123  .0120  1036288 .0110  apollon062 .00947 .00940 901120 .00806 apollon073 .00953 .00956 839680 .00519 apollon139
reducercommutativity/rangesum20_false-unreach-call.i 3.74  3.37  32104448 51.4  apollon052 822     900     39616512 10900    apollon025 .361 .375 45772800 4.48 apollon155 31.2  7.98 1050562560 247   apollon018 .0130  .0141  950272 .00855 apollon093 .0153  .0151  987136 .00311 apollon158 .0170  .0168  901120 .00232 apollon063
reducercommutativity/rangesum40_false-unreach-call.i 3.79  3.48  32215040 51.0  apollon103 822     900     39088128 11700    apollon015 .413 .503 47681536 4.28 apollon117 59.3  28.1  2526670848 580   apollon152 .0276  .0326  991232 .00720 apollon159 .00693 .00692 880640 .00818 apollon093 .00857 .00900 802816 .00891 apollon116
reducercommutativity/rangesum_false-unreach-call_true-termination.i 5.83  5.11  67260416 80.1  apollon020 .368 .401 35627008 4.27 apollon108 2.72  2.50  4328890368 31.9  apollon067 8.10 2.38 463929344 73.3 apollon057 .0259  .0252  884736 .00757 apollon096 .0106  .0104  901120 .00915 apollon099 .00868 .0135  716800 .00378 apollon133
array-tiling/skippedu_false-unreach-call.i 460     900     31883264 2960    apollon105 .323 .361 35667968 3.97 apollon156 2.70  2.47  4336914432 38.1  apollon021 3.63 1.44 288727040 31.1 apollon026 .0127  .0125  1003520 .00793 apollon112 .0120  .0170  946176 .00787 apollon022 .00877 .00927 815104 .00995 apollon155
heap-manipulation/bubble_sort_linux_false-unreach-call_false-valid-memcleanup.i 53.8   27.7   45293568 597    apollon074 .394 .393 32043008 4.14 apollon040 3.68  3.50  34246656 48.2  apollon114 5.64 1.86 320602112 50.9 apollon126 .0226  .0221  962560 .00842 apollon068 .0133  .0130  847872 .0112  apollon154 .0200  .0210  913408 .00617 apollon092
heap-manipulation/merge_sort_false-unreach-call_false-valid-memcleanup.i 4.26  3.89  32067584 64.5  apollon130 .359 .408 31985664 4.60 apollon008 3.68  3.50  32129024 46.5  apollon038 4.65 1.68 306061312 42.1 apollon141 .0238  .0235  1003520 .00580 apollon042 .0203  .0215  1097728 .00568 apollon165 .0194  .0192  937984 .00494 apollon063
heap-manipulation/sll_to_dll_rev_false-unreach-call_false-valid-memcleanup.i 16.6   9.84  31969280 206    apollon112 .312 .362 31834112 4.40 apollon081 3.52  3.38  32030720 48.2  apollon112 4.67 1.74 293535744 40.0 apollon157 .0209  .0214  942080 .00842 apollon058 .00981 .00958 991232 .00952 apollon155 .0116  .0117  937984 .0102  apollon099
heap-manipulation/tree_false-unreach-call_false-valid-deref.i 4.25  3.88  33316864 53.1  apollon035 .354 .409 32051200 3.52 apollon115 3.65  3.47  38289408 49.0  apollon130 6.29 2.01 334548992 49.1 apollon123 .0289  .0295  901120 .0118  apollon011 .0138  .0143  778240 .0101  apollon027 .0155  .0150  991232 .00995 apollon024
heap-manipulation/tree_false-unreach-call_false-valid-memcleanup.i 4.28  3.91  32083968 64.8  apollon126 .349 .403 32145408 4.24 apollon033 3.68  3.49  44924928 48.9  apollon132 6.14 2.01 349908992 51.0 apollon119 .00665 .0102  851968 .00726 apollon096 .0298  .0290  929792 .00549 apollon101 .00646 .0101  749568 .00757 apollon156
list-properties/alternating_list_false-unreach-call_false-valid-memcleanup.i 521     900     32186368 6330    apollon081 .329 .388 31895552 3.93 apollon061 819     900     2485014528 6340    apollon152 4.30 1.65 289091584 35.1 apollon089 .0120  .0113  1003520 .0109  apollon024 .0127  .0129  946176 .00836 apollon120 .00643 .0100  704512 .0104  apollon035
list-properties/list_flag_false-unreach-call_false-valid-memcleanup.i 339     900     31969280 4210    apollon024 .354 .415 32108544 3.77 apollon121 673     900     2412040192 8110    apollon024 4.07 1.59 290484224 35.8 apollon095 .0136  .0165  983040 .00482 apollon148 .0110  .0108  888832 .0106  apollon020 .00894 .0161  1052672 .0475  apollon077
list-properties/list_search_false-unreach-call_false-valid-memcleanup.i 14.0   8.56  31969280 186    apollon108 .336 .394 31784960 3.47 apollon012 .353 .366 32063488 4.34 apollon165 4.17 1.56 292237312 33.4 apollon060 .00917 .0123  1044480 .0158  apollon052 .0116  .0115  978944 .00781 apollon102 .0106  .0135  765952 .0182  apollon161
list-properties/simple_false-unreach-call_false-valid-memcleanup.i 496     900     32075776 5680    apollon104 .349 .408 31944704 4.17 apollon159 762     900     2399571968 6240    apollon103 4.04 1.55 289304576 36.6 apollon091 .0187  .0200  823296 .00549 apollon002 .00918 .0116  835584 .00000 apollon121 .0113  .0112  1097728 .00427 apollon047
list-properties/splice_false-unreach-call_false-valid-memcleanup.i 563     900     32067584 6680    apollon070 .330 .389 32002048 3.96 apollon024 951     886     2272903168 9720    apollon008 4.70 1.74 293105664 42.8 apollon091 .0101  .0100  913408 .0110  apollon129 .0136  .0131  876544 .00946 apollon133 .0131  .0126  790528 .0121  apollon165
ldv-regression/alt_test_true-termination.c_false-unreach-call.i 36.5   23.8   40497152 509    apollon039 .358 .364 31969280 4.90 apollon046 .450 .475 32088064 5.60 apollon055 4.39 1.56 304386048 37.3 apollon078 .0161  .0157  790528 .0104  apollon067 .0131  .0128  913408 .00848 apollon050 .0261  .0271  909312 .00299 apollon063
ldv-regression/fo_test_true-termination.c_false-unreach-call.i 16.8   16.8   41873408 218    apollon074 .346 .386 32088064 5.03 apollon056 .422 .472 32100352 4.86 apollon053 4.24 1.45 303984640 35.8 apollon168 .00798 .00824 884736 .00940 apollon047 .0124  .0123  913408 .00690 apollon120 .0123  .0123  905216 .0115  apollon036
ldv-regression/rule57_ebda_blast_true-termination.c_false-unreach-call.i 268     900     32104448 2130    apollon105 .333 .360 35835904 4.66 apollon140 6.18  5.61  32714752 65.7  apollon002 3.28 1.38 282513408 29.2 apollon045 .0138  .0137  1036288 .0112  apollon037 .0295  .0311  802816 .00653 apollon032 .0111  .0107  995328 .00745 apollon041
ldv-regression/rule60_list2_true-termination.c_false-unreach-call_1.i 9.07  8.00  31768576 123    apollon097 .353 .410 32075776 3.94 apollon152 .442 .469 32006144 5.80 apollon153 4.41 1.62 304410624 37.5 apollon072 .0108  .0105  868352 .00861 apollon034 .00940 .00953 733184 .00720 apollon118 .0141  .0138  1101824 .00464 apollon075
ldv-regression/stateful_check_false-unreach-call_false-termination.i 82.4   67.5   32129024 1150    apollon010 18.8   17.3   14999998464 208    apollon083 4.16  3.99  93294592 47.6  apollon060 4.56 1.67 303656960 39.3 apollon165 .0121  .0131  856064 .00458 apollon091 .0104  .0102  1056768 .0116  apollon014 .0165  .0174  778240 .00647 apollon104
ldv-regression/test22_false-unreach-call.c 419     900     31866880 3120    apollon070 15.4   13.2   14999998464 206    apollon027 3.68  3.53  32067584 44.0  apollon011 3.50 1.45 291704832 29.9 apollon042 .0119  .0128  843776 .00671 apollon040 .0111  .0109  729088 .00000 apollon039 .0130  .0128  851968 .0105  apollon136
ldv-regression/test27_false-unreach-call_true-termination.c .322 .409 31916032 3.11 apollon115 557     900     35688448 3810    apollon122 951     869     130686976 12800    apollon167 6.97 2.11 391266304 51.8 apollon054 .0133  .0136  1073152 .00763 apollon139 .0117  .0115  880640 .0101  apollon011 .00861 .00828 1024000 .0168  apollon039
ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i 62.6   52.8   65511424 804    apollon085 .763 .838 32681984 7.86 apollon151 .996 1.04  34172928 13.2  apollon101 10.6  2.77 462008320 86.1 apollon057 .00745 .00750 946176 .00342 apollon003 .0160  .0156  905216 .00952 apollon111 .00659 .0102  741376 .00787 apollon055
ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i 75.7   65.7   61837312 1060    apollon088 .745 .820 32481280 9.65 apollon078 .992 1.08  34009088 12.4  apollon038 9.80 2.75 456699904 76.9 apollon042 .0138  .0141  1003520 .00000 apollon100 .0189  .0215  806912 .00421 apollon015 .0136  .0131  1007616 .00763 apollon120
ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i 71.1   61.2   61661184 884    apollon001 .768 .850 32436224 10.1  apollon048 .948 1.01  34013184 12.1  apollon078 10.1  2.73 488357888 77.8 apollon026 .00714 .00708 880640 .00464 apollon063 .0203  .0201  741376 .00781 apollon038 .0286  .0291  929792 .0131  apollon023
forester-heap/dll-01_false-unreach-call_false-valid-memcleanup.i 19.1   10.9   31985664 219    apollon096 .345 .387 32096256 4.41 apollon077 3.63  3.49  90001408 44.4  apollon129 3.71 1.36 302596096 31.6 apollon011 .0179  .0177  925696 .00665 apollon061 .0111  .0164  905216 .00867 apollon032 .0113  .0130  860160 .00818 apollon155
forester-heap/dll-circular_false-unreach-call_false-valid-memcleanup.i 18.2   10.5   32100352 222    apollon101 .343 .395 32034816 4.14 apollon112 3.52  3.37  31834112 71.4  apollon106 4.11 1.50 308314112 39.5 apollon125 .0114  .0111  1032192 .00708 apollon110 .00896 .00880 897024 .0103  apollon021 .0273  .0292  892928 .0123  apollon143
forester-heap/dll-optional_false-unreach-call_false-valid-memcleanup.i 17.4   10.2   31973376 194    apollon107 .339 .389 32108544 3.96 apollon087 3.61  3.48  92758016 47.4  apollon071 4.15 1.50 306003968 36.1 apollon017 .0149  .0152  856064 .0152  apollon111 .0123  .0163  819200 .00324 apollon152 .0231  .0227  962560 .00366 apollon003
forester-heap/dll-queue_false-unreach-call_false-valid-memcleanup.i 5.02  4.51  33611776 68.1  apollon038 .322 .367 31997952 3.85 apollon045 3.70  3.50  32079872 46.0  apollon018 4.07 1.49 309760000 32.0 apollon117 .00981 .0101  761856 .00891 apollon078 .0147  .0160  974848 .00830 apollon122 .0282  .0291  995328 .00897 apollon049
forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i 17.2   10.1   37687296 208    apollon077 .353 .403 32120832 3.72 apollon003 3.51  3.38  85487616 54.4  apollon160 4.12 1.53 303165440 35.5 apollon004 .0151  .0166  929792 .00720 apollon124 .0194  .0189  1048576 .00909 apollon091 .0106  .0104  978944 .0101  apollon168
forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i 4.29  3.89  32002048 67.2  apollon069 .350 .400 32047104 3.60 apollon109 3.54  3.40  77512704 41.0  apollon042 3.70 1.44 283316224 32.2 apollon084 .00727 .00840 741376 .0149  apollon056 .0114  .0120  1056768 .00507 apollon030 .0150  .0149  978944 .0125  apollon031
forester-heap/dll-simple-white-blue_false-unreach-call_false-valid-memcleanup.i 4.31  3.89  32202752 61.8  apollon065 .359 .408 32268288 3.97 apollon020 3.65  3.50  36765696 42.8  apollon089 4.08 1.47 290107392 32.3 apollon157 .00867 .00832 970752 .00366 apollon015 .0139  .0136  856064 .0111  apollon075 .0117  .0115  778240 .00366 apollon156
forester-heap/dll-sorted_false-unreach-call_false-valid-memcleanup.i 2.15  2.20  4305981440 30.5  apollon125 .354 .399 32186368 3.84 apollon097 3.50  3.38  95780864 46.7  apollon113 4.36 1.65 295096320 39.0 apollon093 .0273  .0287  864256 .00848 apollon062 .0174  .0176  974848 .00543 apollon069 .0129  .0133  892928 .0121  apollon046
forester-heap/dll-token_false-unreach-call_false-valid-memcleanup.i 18.9   10.9   31952896 200    apollon116 .326 .378 32112640 3.73 apollon116 3.53  3.39  33865728 47.5  apollon167 4.25 1.50 307900416 36.5 apollon022 .0132  .0135  978944 .0129  apollon011 .0147  .0144  827392 .00665 apollon067 .0109  .0109  860160 .00977 apollon083
forester-heap/sll-01_false-unreach-call_false-valid-deref.i .888 .892 31977472 10.9  apollon004 .360 .402 32116736 4.57 apollon059 951     885     3162116096 10600    apollon024 3.85 1.39 304373760 32.0 apollon038 .00552 .00963 823296 .0132  apollon064 .0156  .0169  1003520 .0125  apollon104 .0295  .0312  933888 .00745 apollon153
forester-heap/sll-buckets_false-unreach-call_false-valid-memcleanup.i 4.34  3.88  31838208 62.3  apollon140 .336 .382 31830016 4.03 apollon120 3.63  3.50  89088000 46.7  apollon085 4.37 1.53 307650560 35.8 apollon018 .0212  .0209  1003520 .00519 apollon092 .0158  .0163  942080 .00690 apollon018 .00835 .00902 749568 .00897 apollon155
forester-heap/sll-circular_false-unreach-call_false-valid-memcleanup.i 18.8   10.8   31891456 217    apollon055 .355 .404 31887360 4.49 apollon094 3.56  3.41  32190464 41.2  apollon023 4.08 1.47 307019776 34.8 apollon121 .00642 .00629 860160 .00873 apollon143 .0102  .0143  1093632 .00891 apollon125 .0116  .0128  913408 .0104  apollon004
forester-heap/sll-optional_false-unreach-call_false-valid-memcleanup.i 16.7   9.80  32137216 188    apollon090 .348 .400 31870976 4.27 apollon164 3.52  3.40  91381760 43.1  apollon107 4.35 1.58 304832512 41.1 apollon057 .00979 .00967 897024 .0110  apollon083 .0130  .0137  892928 .0178  apollon099 .0108  .0106  884736 .00800 apollon108
forester-heap/sll-queue_false-unreach-call_false-valid-memcleanup.i 4.70  4.19  32059392 62.1  apollon001 .336 .383 32161792 4.52 apollon080 3.70  3.49  31862784 53.5  apollon088 4.15 1.48 306032640 39.5 apollon016 .0117  .0127  860160 .0124  apollon038 .0270  .0291  897024 .00415 apollon115 .0104  .0107  811008 .00592 apollon044
forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i 17.5   10.2   31977472 226    apollon059 .347 .397 32002048 4.02 apollon136 3.55  3.43  90832896 45.4  apollon022 3.99 1.47 305623040 36.3 apollon152 .0268  .0275  864256 .00500 apollon123 .00836 .00832 905216 .00995 apollon114 .0163  .0168  901120 .00513 apollon123
forester-heap/sll-rb-sentinel_false-unreach-call_false-valid-memcleanup.i 4.32  3.90  31969280 57.2  apollon076 .331 .380 32104448 4.04 apollon031 3.53  3.39  84152320 51.2  apollon148 3.91 1.46 289226752 33.4 apollon150 .0217  .0246  913408 .00787 apollon149 .0167  .0178  913408 .00458 apollon024 .0136  .0144  790528 .00568 apollon092
forester-heap/sll-simple-white-blue_false-unreach-call_false-valid-memcleanup.i 4.26  3.88  37638144 52.4  apollon060 .333 .385 32153600 3.78 apollon133 3.51  3.37  35700736 42.3  apollon099 4.06 1.48 311119872 40.0 apollon125 .0127  .0125  1003520 .00922 apollon028 .0101  .0143  1024000 .0231  apollon091 .0137  .0140  999424 .00836 apollon082
forester-heap/sll-sorted_false-unreach-call_false-valid-memcleanup.i 2.13  2.09  4306292736 29.2  apollon155 .344 .391 31973376 4.15 apollon047 3.53  3.41  101613568 43.2  apollon153 4.37 1.56 310292480 39.3 apollon140 .0191  .0193  974848 .0129  apollon066 .00747 .00785 954368 .00366 apollon073 .00762 .0113  774144 .00971 apollon162
forester-heap/sll-token_false-unreach-call_false-valid-memcleanup.i 18.9   10.9   32141312 232    apollon010 .326 .375 31952896 3.55 apollon089 3.55  3.41  32870400 43.7  apollon015 4.17 1.47 306860032 31.9 apollon054 .0242  .0242  1048576 .00842 apollon126 .00687 .00969 962560 .0156  apollon057 .0154  .0179  823296 .00543 apollon047
list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i 6.87  5.88  32858112 78.7  apollon044 .334 .392 32137216 3.16 apollon092 951     890     32063488 11700    apollon079 3.86 1.46 291573760 34.3 apollon004 .0103  .0105  901120 .0111  apollon021 .0139  .0136  798720 .00915 apollon070 .0131  .0130  1024000 .00824 apollon045
list-ext-properties/simple-ext_false-unreach-call_false-valid-memcleanup_true-termination.i 6.90  5.92  32018432 72.0  apollon008 .331 .391 32124928 3.53 apollon137 948     900     32014336 14500    apollon125 3.87 1.57 284205056 34.1 apollon078 .0146  .0152  724992 .00519 apollon165 .0196  .0193  1032192 .00427 apollon144 .00890 .00918 798720 .00922 apollon168
list-ext2-properties/simple_and_skiplist_2lvl_false-unreach-call.i 800     900     32075776 9450    apollon049 .354 .410 31866880 4.20 apollon094 950     883     2860199936 7270    apollon124 4.98 1.94 294699008 39.0 apollon042 .00972 .00974 1060864 .00000 apollon099 .00934 .00913 827392 .00763 apollon084 .0190  .0219  1019904 .00720 apollon134
ldv-sets/test_add_false-unreach-call_true-termination.i .276 .369 31928320 3.42 apollon156 .322 .385 32153600 4.01 apollon120 .283 .286 32002048 3.26 apollon124 4.02 1.57 290824192 35.1 apollon156 .0147  .0152  884736 .00885 apollon113 .0160  .0164  847872 .00830 apollon145 .00678 .0228  958464 .0345  apollon158
ldv-sets/test_mutex_double_lock_false-unreach-call_true-termination.i .294 .385 32022528 3.65 apollon047 .331 .392 32059392 4.42 apollon016 .285 .287 32145408 3.06 apollon079 4.34 1.67 293318656 42.2 apollon014 .0133  .0133  897024 .0176  apollon011 .0148  .0146  905216 .0104  apollon089 .00869 .00865 884736 .0122  apollon161
ldv-sets/test_mutex_unbounded_false-unreach-call.i .296 .387 32051200 3.24 apollon127 .350 .410 32030720 3.15 apollon151 .289 .288 32067584 3.05 apollon144 5.55 1.88 319803392 46.0 apollon042 .0293  .0286  987136 .0121  apollon048 .0116  .0121  962560 .0109  apollon065 .0108  .0106  835584 .0111  apollon128
ldv-sets/test_mutex_unlock_at_exit_false-unreach-call.i .320 .411 31993856 3.22 apollon103 .340 .402 31952896 3.66 apollon078 .274 .275 32141312 2.88 apollon060 10.6  3.05 468631552 85.4 apollon076 .0157  .0156  1019904 .00543 apollon097 .0187  .0180  921600 .00726 apollon124 .0125  .0121  925696 .0113  apollon046
floats-cdfpl/newton_1_4_false-unreach-call_true-termination.i 290     900     32079872 2780    apollon085 .354 .394 35762176 3.82 apollon018 .247 .272 32088064 3.46 apollon161 3.28 1.33 287711232 28.7 apollon051 23.3     18.9     190124032 255       apollon123 2.48    1.27    191598592 23.8     apollon067 2.46    1.13    216612864 25.3     apollon106
floats-cdfpl/newton_1_5_false-unreach-call_true-termination.i 307     900     32014336 2590    apollon003 .348 .388 35368960 3.75 apollon154 .230 .256 32182272 3.03 apollon130 3.17 1.29 289210368 30.6 apollon020 79.0     66.3     188334080 950       apollon035 2.53    1.27    220635136 26.4     apollon148 2.47    1.18    190156800 21.6     apollon082
floats-cdfpl/newton_2_7_false-unreach-call_true-termination.i 264     900     32014336 3100    apollon113 .345 .390 35950592 3.21 apollon151 .251 .275 31985664 3.26 apollon016 3.53 1.36 305381376 28.5 apollon117 .0180  .0177  999424 .00806 apollon026 .0167  .0165  864256 .00397 apollon127 .0282  .0277  974848 .0203  apollon136
floats-cdfpl/newton_2_8_false-unreach-call_true-termination.i 268     900     32161792 2480    apollon104 .362 .400 37502976 3.63 apollon034 .238 .262 32096256 3.14 apollon028 3.37 1.34 292712448 34.7 apollon160 .0274  .0292  872448 .00696 apollon004 .0137  .0135  880640 .0128  apollon061 .0138  .0135  860160 .0168  apollon006
floats-cdfpl/sine_2_false-unreach-call_true-termination.i 317     900     32002048 2590    apollon154 .353 .396 35790848 3.84 apollon147 .245 .274 32124928 2.40 apollon098 3.14 1.33 275918848 26.9 apollon042 46.9     39.1     187830272 655       apollon007 2.52    1.25    190087168 26.5     apollon056 2.31    1.15    196554752 20.9     apollon115
float-benchs/cast_float_ptr_false-unreach-call_true-termination.c 4.47  4.01  32120832 68.4  apollon048 950     852     326434816 11500    apollon023 .252 .259 32088064 2.93 apollon035 3.37 1.37 291115008 32.4 apollon126 .0177  .0184  962560 .00983 apollon091 .0106  .0105  843776 .00891 apollon007 .0259  .0253  1036288 .00513 apollon042
float-benchs/cast_union_loose_false-unreach-call_true-termination.c 5.15  4.59  32055296 72.0  apollon017 .347 .386 35840000 3.76 apollon075 .258 .255 31973376 3.24 apollon155 3.19 1.31 283373568 28.2 apollon162 .00911 .0125  1105920 .0114  apollon065 .0127  .0132  925696 .0148  apollon021 .0202  .0233  905216 .00885 apollon082
float-benchs/cast_union_tight_false-unreach-call_true-termination.c 3.63  3.29  31911936 49.3  apollon105 823     900     39657472 12400    apollon005 .243 .268 31940608 3.14 apollon122 3.07 1.30 277520384 26.9 apollon084 .0133  .0131  888832 .00995 apollon007 .0120  .0118  999424 .00677 apollon159 .0114  .0120  724992 .00366 apollon156
float-benchs/sqrt_poly2_false-unreach-call.c .289 .288 32190464 2.65 apollon151 822     900     38711296 12900    apollon027 .262 .283 32096256 2.84 apollon096 3.54 1.46 283836416 26.6 apollon054 .0137  .0155  745472 .0107  apollon030 .0170  .0167  790528 .00745 apollon102 .0117  .0115  897024 .00787 apollon150
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c 519     900     32100352 4120    apollon048 580     900     45146112 4840    apollon161 2.70  2.19  38215680 30.3  apollon154 10.5  2.91 467931136 92.6 apollon160 .0121  .0119  757760 .0144  apollon128 .00941 .00956 729088 .00732 apollon144 .00895 .00888 876544 .00842 apollon003
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c 92.2   76.8   32059392 1320    apollon007 564     900     41406464 4400    apollon018 2.55  1.90  32182272 26.2  apollon060 8.41 2.46 459096064 66.6 apollon095 .00989 .0138  954368 .00885 apollon025 .0127  .0125  790528 .00671 apollon032 .0294  .0313  897024 .00702 apollon031
ssh-simplified/s3_clnt_1_false-unreach-call_true-termination.cil.c 333     900     32260096 2620    apollon003 544     900     36569088 2880    apollon146 1.12  .786 33353728 11.4  apollon058 9.16 2.75 455581696 75.9 apollon051 .0140  .0139  933888 .0134  apollon073 .0125  .0123  856064 .00324 apollon095 .00950 .00940 884736 .00690 apollon101
ssh-simplified/s3_clnt_2_false-unreach-call_true-termination.cil.c 421     900     31961088 3590    apollon073 544     900     36782080 2650    apollon031 1.08  .673 33239040 11.4  apollon026 8.52 2.48 452268032 66.7 apollon018 .0143  .0149  860160 .00842 apollon141 .00870 .00851 937984 .00000 apollon142 .0237  .0234  970752 .00623 apollon035
ssh-simplified/s3_clnt_3_false-unreach-call_true-termination.cil.c 276     900     32067584 3100    apollon014 469     900     38400000 3830    apollon005 2.02  1.60  61206528 24.4  apollon010 9.85 2.84 453873664 91.4 apollon021 .00932 .0127  933888 .00000 apollon045 .0105  .0104  753664 .00000 apollon041 .0287  .0285  901120 .00604 apollon043
ssh-simplified/s3_clnt_4_false-unreach-call_true-termination.cil.c 348     900     32018432 2620    apollon102 1.13  3.62  36491264 14.4  apollon149 2.18  1.47  36798464 22.8  apollon115 8.96 2.59 457687040 76.4 apollon047 .0257  .0252  1032192 .00677 apollon098 .0135  .0133  999424 .0109  apollon068 .0138  .0131  1069056 .00726 apollon012
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c 3.74  3.39  32272384 57.7  apollon161 15.5   14.3   14999998464 212    apollon084 2.83  5.01  106733568 35.7  apollon117 3.89 1.55 290488320 35.3 apollon118 .0101  .0104  860160 .0109  apollon038 .00881 .00861 806912 .00812 apollon054 .00859 .0108  864256 .0131  apollon167
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c 3.75  3.39  32063488 52.6  apollon071 15.5   14.2   14999998464 213    apollon164 5.10  5.61  199864320 72.1  apollon005 3.69 1.47 286932992 32.3 apollon085 .0158  .0162  1007616 .00732 apollon022 .0107  .0106  1032192 .00977 apollon028 .0118  .0125  897024 .00800 apollon092
ntdrivers/diskperf_false-unreach-call.i.cil.c 950     949     32358400 13400    apollon048 950     949     32112640 14200    apollon027 950     949     32276480 12800    apollon009 11.5  3.08 487526400 99.5 apollon161 .0145  .0140  811008 .00000 apollon139 .00871 .00885 745472 .00977 apollon098 .00854 .00868 802816 .00000 apollon057
ntdrivers/floppy_false-unreach-call.i.cil.c 950     949     32333824 12600    apollon165 950     949     32071680 13500    apollon164 950     949     32182272 12400    apollon011 27.8  7.02 827916288 214   apollon051 .0239  .0282  1024000 .00940 apollon059 .0157  .0155  835584 .0103  apollon127 .0103  .0131  901120 .00897 apollon076
ntdrivers/kbfiltr_false-unreach-call.i.cil.c 34.2   27.7   35356672 435    apollon070 .888 .919 40308736 10.1  apollon117 1.31  1.18  39571456 14.6  apollon043 9.18 2.59 472186880 71.0 apollon026 .0218  .0244  970752 .0165  apollon075 .0152  .0150  1003520 .00305 apollon109 .0112  .0109  708608 .0146  apollon161
ntdrivers/parport_false-unreach-call.i.cil.c 6.42  5.88  75186176 73.2  apollon151 1.36  1.38  42450944 18.1  apollon101 1.80  1.76  55394304 22.9  apollon144 41.1  12.3  1233416192 337   apollon002 .0146  .0142  765952 .00995 apollon034 .0138  .0145  876544 .0109  apollon052 .0157  .0161  995328 .00787 apollon126
ssh/s3_clnt.blast.01_false-unreach-call.i.cil.c .544 .574 32030720 6.52 apollon099 .603 .597 42094592 7.06 apollon166 8.03  7.30  38588416 103    apollon006 9.13 2.57 449695744 67.3 apollon058 .0132  .0128  950272 .0140  apollon091 .0107  .0106  1007616 .00836 apollon049 .0139  .0146  843776 .0107  apollon075
ssh/s3_clnt.blast.02_false-unreach-call.i.cil.c .579 .600 32022528 7.01 apollon078 .574 .568 42119168 7.34 apollon058 81.6   73.6   90910720 912    apollon040 9.14 2.59 452468736 80.0 apollon161 .0138  .0136  974848 .00476 apollon151 .0117  .0116  884736 .00830 apollon081 .00840 .00827 946176 .0106  apollon117
ssh/s3_clnt.blast.03_false-unreach-call.i.cil.c .574 .598 32079872 6.93 apollon156 .617 .703 39817216 7.49 apollon049 82.4   74.0   91983872 1110    apollon163 8.63 2.46 425029632 62.6 apollon158 .00954 .00947 954368 .0115  apollon088 .0123  .0129  884736 .0133  apollon130 .0167  .0162  856064 .00653 apollon005
ssh/s3_clnt.blast.04_false-unreach-call.i.cil.c .547 .570 31977472 7.76 apollon091 .602 .596 37621760 7.06 apollon097 81.7   73.7   88776704 951    apollon023 8.65 2.52 455716864 68.1 apollon038 .0170  .0166  966656 .00952 apollon065 .0151  .0150  901120 .00330 apollon038 .0180  .0178  905216 .0115  apollon088
ssh/s3_srvr.blast.01_false-unreach-call.i.cil.c 379     900     32116736 3070    apollon135 950     839     330149888 11700    apollon073 .591 .610 32149504 7.49 apollon164 8.04 2.33 395956224 61.8 apollon089 .0222  .0219  876544 .00818 apollon087 .00965 .00954 876544 .00000 apollon114 .0202  .0210  876544 .00354 apollon108
ssh/s3_srvr.blast.02_false-unreach-call.i.cil.c 424     900     32088064 3270    apollon087 950     850     328839168 13600    apollon159 .571 .589 32034816 6.61 apollon045 8.22 2.40 409186304 65.0 apollon053 .0291  .0292  802816 .00549 apollon074 .0115  .0112  786432 .00812 apollon084 .0134  .0161  937984 .00482 apollon071
ssh/s3_srvr.blast.03_false-unreach-call.i.cil.c 417     900     32030720 3550    apollon082 950     851     330821632 11900    apollon110 .572 .579 32010240 7.82 apollon059 7.72 2.25 406921216 61.1 apollon058 .0111  .0109  966656 .00751 apollon123 .0120  .0118  806912 .0137  apollon006 .0111  .0109  749568 .0121  apollon156
ssh/s3_srvr.blast.04_false-unreach-call.i.cil.c 325     900     31916032 2600    apollon092 950     813     349691904 12500    apollon033 .583 .603 31952896 6.48 apollon109 8.04 2.33 421318656 61.0 apollon002 .00984 .00973 962560 .00000 apollon013 .00869 .00844 872448 .0117  apollon030 .00832 .0109  888832 .0110  apollon091
ssh/s3_srvr.blast.06_false-unreach-call.i.cil.c 394     900     32264192 2970    apollon073 950     846     347123712 15000    apollon039 .594 .590 32165888 8.96 apollon057 5.85 1.89 315543552 51.3 apollon019 .0244  .0241  1011712 .00458 apollon031 .00854 .00835 847872 .00726 apollon136 .0290  .0292  995328 .00586 apollon078
ssh/s3_srvr.blast.07_false-unreach-call.i.cil.c 401     900     32112640 2730    apollon037 950     839     329154560 11000    apollon143 .595 .602 32026624 7.60 apollon048 9.70 2.76 460361728 80.3 apollon067 .00574 .00998 1069056 .00000 apollon151 .0115  .0118  827392 .00000 apollon158 .0122  .0150  831488 .00500 apollon047
ssh/s3_srvr.blast.08_false-unreach-call.i.cil.c 421     900     32133120 2660    apollon054 950     818     349446144 13300    apollon069 .611 .599 31907840 5.73 apollon063 5.83 1.92 310112256 46.1 apollon058 .00893 .00918 1003520 .0108  apollon119 .0234  .0245  901120 .00769 apollon087 .0192  .0192  872448 .00751 apollon152
ssh/s3_srvr.blast.09_false-unreach-call.i.cil.c 363     900     31920128 3140    apollon092 950     846     327184384 10600    apollon151 .607 .600 34426880 7.52 apollon138 10.9  3.09 443912192 87.7 apollon022 .0112  .0108  864256 .0115  apollon156 .0123  .0125  847872 .0114  apollon091 .0131  .0128  1048576 .0111  apollon156
ssh/s3_srvr.blast.10_false-unreach-call.i.cil.c 402     900     32186368 2090    apollon063 950     836     329764864 11600    apollon166 .599 .591 32092160 7.26 apollon001 5.66 1.87 313110528 48.9 apollon168 .0178  .0177  827392 .00415 apollon099 .0127  .0125  892928 .00586 apollon148 .0219  .0215  909312 .00690 apollon120
ssh/s3_srvr.blast.11_false-unreach-call.i.cil.c 314     900     32096256 3510    apollon129 950     850     328773632 11800    apollon075 .603 .587 32022528 6.82 apollon041 10.3  2.89 481853440 76.8 apollon054 .0102  .0102  770048 .0114  apollon016 .0107  .0113  884736 .0190  apollon167 .0154  .0181  946176 .00421 apollon133
ssh/s3_srvr.blast.12_false-unreach-call.i.cil.c 324     900     31776768 3770    apollon024 950     850     328429568 14500    apollon021 .616 .606 32161792 6.80 apollon097 5.76 1.87 309747712 44.6 apollon123 .0139  .0146  909312 .00732 apollon022 .0136  .0132  1007616 .00488 apollon142 .0135  .0135  757760 .0121  apollon118
ssh/s3_srvr.blast.13_false-unreach-call.i.cil.c 336     900     31817728 3790    apollon142 950     851     328491008 11200    apollon060 .595 .580 34492416 7.79 apollon140 10.5  2.93 447406080 82.4 apollon053 .0112  .0109  888832 .0112  apollon147 .00924 .0121  872448 .0127  apollon052 .00735 .00791 786432 .00836 apollon061
ssh/s3_srvr.blast.14_false-unreach-call.i.cil.c 393     900     32022528 2910    apollon120 950     760     336629760 10100    apollon107 .577 .569 32051200 7.10 apollon084 5.94 1.95 320987136 56.0 apollon125 .0141  .0180  901120 .0110  apollon130 .00998 .00978 741376 .00995 apollon072 .0143  .0141  708608 .0117  apollon159
ssh/s3_srvr.blast.15_false-unreach-call.i.cil.c 358     900     31956992 3540    apollon006 950     826     347975680 11100    apollon086 .612 .595 32133120 6.85 apollon127 5.86 1.86 309665792 50.0 apollon101 .00940 .0118  901120 .00592 apollon161 .00848 .0106  839680 .00958 apollon107 .0144  .0141  827392 .0125  apollon061
ssh/s3_srvr.blast.16_false-unreach-call.i.cil.c 315     900     32038912 2920    apollon045 950     814     332787712 11600    apollon022 .577 .576 32116736 6.48 apollon054 6.07 1.92 310468608 47.0 apollon002 .0108  .0145  876544 .0107  apollon136 .00865 .0113  880640 .0108  apollon145 .00709 .00692 786432 .0143  apollon056
eca-rers2012/Problem01_label15_false-unreach-call_false-termination.c 46.1   36.2   35123200 608    apollon093 790     900     99471360 10200    apollon166 6.30  5.03  186707968 61.5  apollon123 19.2  5.31 774098944 155   apollon109 .0111  .0109  1064960 .00928 apollon038 .0187  .0198  741376 .00659 apollon143 .00902 .00920 753664 .0126  apollon077
eca-rers2012/Problem01_label20_false-unreach-call_false-termination.c 81.0   61.3   35291136 1010    apollon131 787     900     99692544 9720    apollon139 8.44  6.54  238960640 91.6  apollon097 26.3  7.53 1136979968 215   apollon009 .0103  .0105  925696 .0167  apollon039 .0106  .0148  753664 .00971 apollon120 .0208  .0220  806912 .00562 apollon118
eca-rers2012/Problem01_label21_false-unreach-call_false-termination.c 54.3   42.4   35184640 729    apollon010 785     900     106520576 10700    apollon121 5.78  4.69  173342720 65.3  apollon001 20.4  5.38 821071872 181   apollon044 .0110  .0107  1028096 .00000 apollon002 .0114  .0114  1122304 .00000 apollon015 .0175  .0176  864256 .00427 apollon155
eca-rers2012/Problem01_label32_false-unreach-call_false-termination.c 70.8   54.7   39284736 818    apollon139 784     900     99536896 10800    apollon095 8.18  6.33  232165376 84.8  apollon083 29.0  8.58 1047896064 242   apollon020 .0141  .0139  974848 .00000 apollon003 .00958 .00971 716800 .00000 apollon155 .0114  .0113  946176 .00653 apollon056
eca-rers2012/Problem01_label33_false-unreach-call_false-termination.c 80.4   61.5   35176448 1050    apollon071 785     900     99606528 10300    apollon035 6.31  5.02  183402496 77.4  apollon108 22.0  6.19 848171008 171   apollon060 .0139  .0140  880640 .00592 apollon092 .0155  .0157  794624 .0109  apollon026 .0108  .0106  1056768 .00824 apollon069
eca-rers2012/Problem01_label35_false-unreach-call_false-termination.c 47.3   37.3   35168256 754    apollon056 788     900     99528704 9290    apollon158 5.82  4.72  171905024 73.4  apollon007 26.9  9.13 1037926400 207   apollon058 .0133  .0132  856064 .0107  apollon100 .00924 .00915 1011712 .00800 apollon145 .0174  .0180  937984 .00836 apollon064
eca-rers2012/Problem01_label37_false-unreach-call_false-termination.c 74.2   57.2   35102720 923    apollon166 785     900     99713024 11100    apollon093 6.73  5.31  197046272 73.4  apollon045 22.1  5.89 846315520 170   apollon085 .0105  .0128  917504 .0148  apollon027 .00984 .00967 983040 .00617 apollon166 .0298  .0291  892928 .00525 apollon025
eca-rers2012/Problem01_label38_false-unreach-call_false-termination.c 55.4   42.9   39358464 742    apollon141 777     900     101715968 10700    apollon153 6.33  5.02  188211200 64.7  apollon098 21.1  5.64 812269568 168   apollon047 .0106  .0105  888832 .00897 apollon113 .0275  .0270  897024 .00458 apollon055 .0121  .0126  782336 .00885 apollon031
eca-rers2012/Problem01_label47_false-unreach-call_false-termination.c 102     76.8   47415296 1270    apollon135 770     900     99614720 11500    apollon010 7.55  5.83  216965120 79.1  apollon035 43.2  21.7  2095919104 429   apollon038 .0115  .0135  888832 .00909 apollon156 .0158  .0165  925696 .0156  apollon093 .0138  .0163  872448 .00433 apollon113
eca-rers2012/Problem01_label50_false-unreach-call_false-termination.c 43.3   34.1   37519360 509    apollon040 776     900     99610624 10700    apollon078 6.12  4.92  180436992 65.5  apollon012 22.0  5.95 801144832 186   apollon044 .0287  .0290  892928 .00623 apollon117 .0136  .0135  864256 .00800 apollon166 .0132  .0129  909312 .00000 apollon001
eca-rers2012/Problem01_label56_false-unreach-call_false-termination.c 72.0   55.0   35213312 1060    apollon008 784     900     99835904 10200    apollon104 7.04  5.53  204881920 83.6  apollon138 23.4  6.12 823189504 187   apollon126 .0123  .0122  897024 .00488 apollon010 .0158  .0162  974848 .00806 apollon093 .00832 .00814 905216 .0116  apollon016
eca-rers2012/Problem01_label57_false-unreach-call_false-termination.c 53.6   41.9   35151872 769    apollon007 778     900     101851136 10500    apollon107 6.29  5.02  191262720 70.2  apollon032 43.7  23.2  2018070528 430   apollon032 .0111  .0117  1032192 .00452 apollon113 .0114  .0113  1011712 .00714 apollon156 .00834 .0103  868352 .0145  apollon112
eca-rers2012/Problem03_label09_false-unreach-call.c 110     82.8   70279168 1570    apollon163 843     900     262291456 11100    apollon003 14.2   11.1   563986432 161    apollon015 81.6  50.0  2407669760 935   apollon140 .0104  .0128  1032192 .00989 apollon069 .0156  .0162  1052672 .00806 apollon018 .0108  .0107  831488 .00775 apollon042
eca-rers2012/Problem03_label13_false-unreach-call.c 174     128     70447104 2350    apollon068 839     900     262746112 12800    apollon068 10.5   8.35  388571136 115    apollon156 49.2  24.6  1945714688 515   apollon126 .0232  .0230  942080 .00488 apollon043 .0219  .0214  909312 .00543 apollon051 .0288  .0282  794624 .00726 apollon146
eca-rers2012/Problem03_label26_false-unreach-call.c 107     81.1   74559488 1450    apollon112 842     900     262520832 11700    apollon165 9.97  7.98  353128448 116    apollon031 36.4  12.5  1239662592 331   apollon081 .0124  .0134  1032192 .00934 apollon156 .0107  .0127  925696 .00000 apollon099 .00943 .00936 929792 .0128  apollon058
eca-rers2012/Problem03_label27_false-unreach-call.c 41.5   33.6   70258688 506    apollon042 840     900     263897088 13700    apollon044 11.4   8.96  424697856 137    apollon005 46.1  17.4  1691025408 394   apollon118 .0120  .0119  933888 .00403 apollon114 .0185  .0189  737280 .00488 apollon089 .0161  .0164  880640 .0155  apollon137
eca-rers2012/Problem03_label28_false-unreach-call.c 64.9   51.0   70361088 953    apollon036 843     900     263827456 11400    apollon129 13.3   10.4   523452416 158    apollon077 46.7  17.1  1700794368 428   apollon155 .0108  .0106  864256 .0130  apollon053 .0123  .0120  946176 .00000 apollon018 .0162  .0171  778240 .00604 apollon082
eca-rers2012/Problem03_label31_false-unreach-call.c 33.6   27.4   70230016 418    apollon090 844     900     262356992 10700    apollon143 13.1   10.3   511963136 148    apollon082 50.6  20.2  1823731712 463   apollon167 .0155  .0159  1019904 .00909 apollon067 .0111  .0109  987136 .00855 apollon002 .0194  .0195  909312 .00458 apollon120
eca-rers2012/Problem03_label35_false-unreach-call.c 117     87.3   70205440 1450    apollon121 843     900     262823936 12000    apollon096 17.1   13.3   718131200 228    apollon111 54.9  25.5  2063114240 525   apollon071 .0116  .0120  921600 .0106  apollon121 .0105  .0111  1003520 .00989 apollon019 .0118  .0119  974848 .0112  apollon107
eca-rers2012/Problem03_label37_false-unreach-call.c 46.6   37.2   70275072 557    apollon104 846     900     265883648 12200    apollon052 7.41  6.03  226054144 91.5  apollon077 46.3  20.4  1868697600 413   apollon011 .0248  .0244  995328 .00714 apollon121 .0161  .0168  1015808 .00751 apollon003 .00996 .0139  925696 .0393  apollon052
eca-rers2012/Problem03_label39_false-unreach-call.c 98.9   74.9   70610944 1490    apollon057 847     900     264794112 10900    apollon100 15.6   12.1   645128192 180    apollon141 68.4  34.0  1953198080 631   apollon142 .0209  .0241  983040 .00757 apollon150 .0106  .0103  782336 .00995 apollon095 .0103  .0107  937984 .00488 apollon052
eca-rers2012/Problem03_label43_false-unreach-call.c 86.9   65.5   70406144 1050    apollon001 842     900     263647232 10900    apollon134 8.63  6.96  275369984 93.3  apollon072 51.9  21.5  1993134080 413   apollon089 .0167  .0170  811008 .00757 apollon078 .0154  .0152  1085440 .0112  apollon089 .0167  .0168  835584 .00818 apollon057
eca-rers2012/Problem03_label45_false-unreach-call.c 128     95.7   68100096 1480    apollon002 843     900     263909376 11900    apollon070 15.2   11.8   627810304 167    apollon097 58.5  27.8  2186940416 495   apollon128 .0227  .0236  974848 .00775 apollon134 .0108  .0106  929792 .0123  apollon011 .0173  .0170  806912 .00879 apollon095
eca-rers2012/Problem03_label50_false-unreach-call.c 24.6   20.3   74346496 305    apollon110 845     900     264982528 11600    apollon050 12.6   9.88  482164736 130    apollon083 78.4  50.1  1836380160 817   apollon135 .0218  .0271  983040 .00494 apollon043 .0130  .0142  1028096 .00684 apollon139 .0119  .0117  1048576 .00562 apollon130
eca-rers2012/Problem10_label47_false-unreach-call.c 13.9   11.9   40456192 280    apollon106 760     900     101019648 9920    apollon134 5.78  4.59  162562048 81.2  apollon056 22.6  7.29 998539264 199   apollon052 .0119  .0116  999424 .00812 apollon153 .00894 .0117  946176 .0107  apollon106 .0124  .0128  774144 .0125  apollon167
eca-rers2012/Problem10_label48_false-unreach-call.c 43.9   34.5   36634624 557    apollon165 764     900     101064704 9790    apollon128 5.68  4.50  158265344 70.2  apollon007 71.6  40.0  3753500672 762   apollon167 .00592 .00591 1015808 .0128  apollon156 .0206  .0205  991232 .00403 apollon118 .0160  .0188  966656 .00623 apollon091
eca-rers2012/Problem11_label08_false-unreach-call.c 30.6   24.5   56553472 463    apollon057 621     900     185307136 8860    apollon075 5.43  4.50  184336384 74.4  apollon160 79.3  47.0  2922201088 761   apollon053 .0179  .0189  991232 .00739 apollon066 .0121  .0121  1028096 .00000 apollon143 .0113  .0131  790528 .0137  apollon014
eca-rers2012/Problem11_label15_false-unreach-call.c 34.8   27.9   52432896 451    apollon037 612     900     187105280 8920    apollon147 4.67  4.12  172404736 67.9  apollon039 97.6  62.8  3882602496 1110   apollon091 .0116  .0115  892928 .00702 apollon131 .00784 .0103  933888 .0160  apollon088 .0108  .0136  1097728 .0108  apollon066
eca-rers2012/Problem11_label36_false-unreach-call.c 26.4   21.5   52162560 349    apollon114 685     900     185634816 11300    apollon148 4.23  3.93  168304640 50.0  apollon153 79.9  48.0  3521294336 747   apollon099 .0160  .0175  1028096 .00903 apollon027 .0295  .0311  917504 .00793 apollon008 .00798 .00828 708608 .0121  apollon014
eca-rers2012/Problem11_label43_false-unreach-call.c 29.2   23.6   52465664 392    apollon015 688     900     184815616 8490    apollon092 4.26  3.91  172879872 50.8  apollon051 58.2  29.2  3046948864 541   apollon079 .0126  .0124  946176 .00836 apollon137 .00934 .00905 905216 .0154  apollon056 .0260  .0267  770048 .00525 apollon042
eca-rers2012/Problem11_label58_false-unreach-call.c 37.7   30.1   52379648 485    apollon142 613     900     186978304 8880    apollon055 5.03  4.33  178343936 54.4  apollon002 73.0  43.0  3722469376 692   apollon089 .0161  .0158  921600 .00433 apollon089 .0150  .0153  1036288 .0119  apollon123 .0161  .0172  958464 .00836 apollon046
loops/count_up_down_false-unreach-call_true-termination.i 3.67  3.30  32067584 49.5  apollon085 12.2   11.8   14999998464 145    apollon149 3.41  3.31  39038976 42.6  apollon138 2.92 1.25 276660224 29.7 apollon030 .0222  .0235  937984 .00494 apollon086 .0270  .0290  1003520 .00647 apollon082 .0117  .0115  778240 .00330 apollon104
loops/for_bounded_loop1_false-unreach-call_true-termination.i 4.10  3.70  31952896 56.9  apollon061 26.0   24.0   14999998464 349    apollon020 3.43  3.29  35102720 41.3  apollon075 3.38 1.36 294879232 34.8 apollon160 .0146  .0144  966656 .0140  apollon079 .0131  .0130  815104 .00555 apollon016 .00854 .00838 901120 .0116  apollon155
loops/invert_string_false-unreach-call_true-termination.i 3.84  3.47  48693248 63.1  apollon021 .328 .366 35819520 3.74 apollon137 .337 .385 32096256 3.37 apollon150 5.53 1.81 322838528 46.9 apollon032 .0126  .0122  983040 .00818 apollon159 .0112  .0113  831488 .00977 apollon067 .0153  .0150  901120 .00543 apollon063
loops/matrix_false-unreach-call_true-termination.i 7.33  6.52  43798528 99.0  apollon072 .240 .273 31928320 2.98 apollon167 3.60  3.50  32018432 41.2  apollon103 4.47 1.65 300158976 36.9 apollon127 .0151  .0149  847872 .00482 apollon150 .0230  .0240  897024 .00629 apollon125 .0115  .0164  765952 .00812 apollon057
loops/nec11_false-unreach-call_false-termination.i 3.38  3.30  32014336 47.4  apollon112 16.5   16.1   14999998464 217    apollon093 3.36  3.30  31997952 43.4  apollon035 3.02 1.28 273952768 27.3 apollon084 .0152  .0158  991232 .0191  apollon109 .0242  .0298  909312 .00702 apollon103 .0118  .0124  770048 .0101  apollon160
loops/s3_false-unreach-call.i 469     900     32079872 3390    apollon139 951     859     306405376 11100    apollon043 .603 .600 32112640 7.51 apollon126 8.03 2.40 462659584 68.8 apollon155 .0109  .0105  774144 .00000 apollon039 .0127  .0124  1028096 .00909 apollon106 .0175  .0183  978944 .00671 apollon135
loops/sum01_bug02_false-unreach-call_true-termination.i 3.56  3.30  31858688 43.5  apollon025 18.2   16.8   14999998464 296    apollon160 3.44  3.31  32002048 37.5  apollon013 5.54 1.92 313319424 45.1 apollon018 .00989 .00962 909312 .0149  apollon161 .0114  .0119  888832 .0335  apollon056 .0134  .0132  962560 .00543 apollon054
loops/sum01_bug02_sum01_bug02_base.case_false-unreach-call_true-termination.i 3.57  3.30  31985664 45.0  apollon150 18.4   16.9   14999998464 249    apollon102 3.44  3.29  33378304 27.5  apollon084 4.16 1.57 308031488 35.0 apollon026 .0135  .0143  892928 .0149  apollon001 .0101  .00991 876544 .0136  apollon028 .0148  .0160  937984 .00732 apollon159
loops/sum01_false-unreach-call_true-termination.i 3.49  3.30  32051200 48.0  apollon014 15.6   14.3   14999998464 197    apollon137 3.45  3.31  35823616 40.7  apollon146 6.34 2.03 331386880 47.6 apollon043 .0121  .0121  884736 .0125  apollon021 .00804 .00801 958464 .00867 apollon099 .0140  .0137  974848 .00879 apollon164
loops/sum_array_false-unreach-call.i 16.3   13.8   66957312 225    apollon101 .367 .405 35123200 4.46 apollon163 .298 .389 31870976 3.56 apollon112 4.41 1.63 306171904 39.1 apollon093 .0121  .0127  933888 .00958 apollon110 .00952 .00928 856064 .0165  apollon130 .00895 .00936 888832 .00000 apollon060
loops/trex02_false-unreach-call_true-termination.i 4.33  3.89  66314240 52.2  apollon099 15.6   14.3   14999998464 175    apollon089 3.37  3.27  32010240 49.1  apollon021 3.15 1.37 276344832 28.5 apollon022 .0104  .0105  1081344 .00928 apollon142 .0111  .0117  696320 .0189  apollon043 .0104  .0102  843776 .00000 apollon145
loops/trex03_false-unreach-call_true-termination.i 3.64  3.30  32137216 48.2  apollon011 14.0   12.8   14999998464 163    apollon109 3.39  3.30  82919424 46.9  apollon108 3.23 1.32 282464256 25.7 apollon089 .0108  .0106  983040 .00000 apollon158 .0141  .0139  913408 .0123  apollon107 .0143  .0141  958464 .0106  apollon101
loops/verisec_OpenSER__cases1_stripFullBoth_arr_false-unreach-call_true-termination.i 228     900     32038912 1930    apollon049 950     850     325611520 12300    apollon142 .254 .259 31973376 2.94 apollon053 3.96 1.55 286593024 34.2 apollon072 .00855 .00926 786432 .00000 apollon058 .00853 .00868 872448 .0159  apollon039 .0267  .0261  954368 .00519 apollon074
loop-acceleration/phases_false-unreach-call2_false-termination.i 4.57  4.40  32038912 39.9  apollon117 22.0   20.3   14999998464 323    apollon155 3.38  3.30  32104448 51.1  apollon126 3.10 1.29 280010752 25.2 apollon099 .0228  .0238  917504 .00989 apollon161 .00972 .00996 905216 .0159  apollon140 .0165  .0166  999424 .0148  apollon167
loop-invgen/id_trans_false-unreach-call_true-termination.i 4.08  3.68  32043008 63.1  apollon140 49.9   47.0   14999998464 712    apollon047 3.43  3.29  32169984 36.4  apollon078 3.37 1.38 290295808 33.3 apollon161 .0124  .0122  917504 .00366 apollon098 .00911 .00949 888832 .00763 apollon164 .0287  .0291  929792 .00586 apollon135
product-lines/email_spec27_product17_false-unreach-call_true-termination.cil.c 5.48  4.91  41041920 67.4  apollon116 556     900     42315776 2900    apollon131 1.77  4.24  49364992 21.0  apollon002 30.7  8.12 851464192 253   apollon118 .00984 .0122  1138688 .00476 apollon065 .0138  .0155  974848 .0175  apollon099 .0192  .0190  933888 .00812 apollon001
product-lines/email_spec27_product18_false-unreach-call_true-termination.cil.c 9.01  7.82  39202816 128    apollon167 1.45  3.91  41328640 19.3  apollon013 267     900     49651712 2020    apollon094 27.4  7.72 797306880 229   apollon015 .00838 .00841 880640 .0100  apollon065 .0232  .0229  974848 .00702 apollon022 .00846 .00869 937984 .0101  apollon110
product-lines/email_spec27_product23_false-unreach-call_true-termination.cil.c 6.30  5.53  48603136 78.6  apollon109 1.57  4.03  44716032 21.5  apollon093 268     900     51580928 1950    apollon122 51.6  24.0  1529143296 440   apollon095 .0113  .0110  802816 .0125  apollon006 .0233  .0274  892928 .00452 apollon123 .0126  .0130  954368 .00696 apollon060
product-lines/email_spec27_product29_false-unreach-call_true-termination.cil.c 22.1   18.6   44445696 291    apollon142 558     900     43151360 2870    apollon115 288     900     51011584 1650    apollon033 31.7  8.79 779059200 258   apollon084 .0203  .0292  1036288 .0425  apollon028 .0159  .0163  860160 .00812 apollon093 .0108  .0110  876544 .0110  apollon106
product-lines/email_spec27_product30_false-unreach-call_true-termination.cil.c 10.3   8.86  41656320 126    apollon115 1.66  4.13  43089920 26.9  apollon148 274     900     48877568 1430    apollon166 26.9  7.45 806477824 226   apollon091 .0100  .0102  876544 .00818 apollon096 .0110  .0111  909312 .0101  apollon003 .0104  .0102  868352 .00983 apollon045
product-lines/email_spec27_product32_false-unreach-call_true-termination.cil.c 6.46  5.71  54915072 97.5  apollon126 1.53  4.04  43003904 21.8  apollon054 213     900     52961280 1860    apollon168 78.4  50.4  2720632832 803   apollon034 .00664 .0106  888832 .00629 apollon104 .0166  .0172  1019904 .0129  apollon157 .0110  .0114  847872 .00769 apollon057
product-lines/minepump_spec1_product33_false-unreach-call_false-termination.cil.c 1.79  1.80  4306395136 22.3  apollon153 5.98  7.24  4314914816 66.7  apollon086 3.50  3.40  98324480 41.4  apollon062 4.73 1.65 309559296 41.6 apollon015 .0155  .0162  884736 .00928 apollon094 .0101  .00988 917504 .0144  apollon130 .0115  .0113  860160 .00915 apollon138
product-lines/minepump_spec1_product34_false-unreach-call_false-termination.cil.c 1.75  1.77  4306120704 21.7  apollon058 4.66  6.04  4314091520 47.0  apollon054 3.48  3.38  99512320 43.5  apollon105 4.58 1.71 310116352 39.6 apollon038 .00829 .0129  835584 .00000 apollon034 .0159  .0163  876544 .0192  apollon059 .0164  .0177  1036288 .00592 apollon091
product-lines/minepump_spec1_product35_false-unreach-call_false-termination.cil.c 1.76  1.77  4305993728 26.1  apollon057 23.7   22.1   14999998464 317    apollon163 3.56  3.49  142237696 45.1  apollon004 4.52 1.68 309886976 43.5 apollon161 .0118  .0116  815104 .0100  apollon138 .0158  .0156  983040 .00915 apollon093 .0111  .0108  1007616 .00934 apollon076
product-lines/minepump_spec1_product36_false-unreach-call_false-termination.cil.c 1.76  1.77  4305842176 19.9  apollon043 5.63  7.23  4314853376 70.7  apollon052 3.49  3.40  114188288 48.3  apollon069 4.64 1.66 310226944 46.3 apollon039 .0134  .0127  851968 .0110  apollon035 .0140  .0172  1015808 .0103  apollon155 .0137  .0131  897024 .00787 apollon093
product-lines/minepump_spec1_product37_false-unreach-call_false-termination.cil.c 1.77  1.77  4306427904 22.2  apollon070 29.1   24.7   14999998464 341    apollon032 3.51  3.40  125927424 40.6  apollon066 5.07 1.78 314486784 40.9 apollon011 .0269  .0265  1028096 .0109  apollon143 .0285  .0312  950272 .00568 apollon022 .00832 .00823 798720 .0131  apollon112
product-lines/minepump_spec1_product38_false-unreach-call_false-termination.cil.c 1.76  1.77  4305694720 22.7  apollon113 26.5   23.7   14999998464 364    apollon030 3.49  3.40  129261568 37.8  apollon092 4.83 1.71 311320576 46.1 apollon044 .0163  .0171  946176 .00421 apollon118 .0178  .0177  905216 .00488 apollon055 .00941 .00962 856064 .00775 apollon040
product-lines/minepump_spec1_product39_false-unreach-call_false-termination.cil.c 1.78  1.78  4306640896 21.1  apollon110 23.4   21.7   14999998464 254    apollon117 3.50  3.40  122019840 42.2  apollon166 4.80 1.72 310661120 43.5 apollon067 .0295  .0288  843776 .00806 apollon077 .0173  .0176  1024000 .00513 apollon010 .0106  .0108  917504 .00781 apollon054
product-lines/minepump_spec1_product40_false-unreach-call_false-termination.cil.c 1.78  1.79  4305432576 24.0  apollon155 31.4   28.9   14999998464 370    apollon045 3.50  3.40  117170176 38.6  apollon029 4.90 1.75 312475648 41.4 apollon085 .0136  .0135  974848 .00958 apollon043 .0108  .0105  921600 .00000 apollon087 .00695 .0112  811008 .0108  apollon004
product-lines/minepump_spec1_product41_false-unreach-call_false-termination.cil.c 1.77  1.80  4306345984 23.7  apollon122 3.13  4.73  4310765568 33.5  apollon053 3.50  3.38  106598400 46.2  apollon071 5.05 1.79 310165504 44.9 apollon102 .0114  .0113  868352 .0107  apollon134 .0141  .0139  958464 .0114  apollon139 .0114  .0113  811008 .00763 apollon113
product-lines/minepump_spec1_product42_false-unreach-call_false-termination.cil.c 1.78  1.80  4305625088 23.8  apollon059 6.81  8.43  4320616448 83.1  apollon147 3.48  3.38  104312832 46.2  apollon138 5.26 1.94 296423424 46.4 apollon047 .0156  .0164  999424 .0160  apollon027 .00912 .00942 884736 .00763 apollon101 .0201  .0199  880640 .00372 apollon019
product-lines/minepump_spec1_product43_false-unreach-call_false-termination.cil.c 1.78  1.80  4306165760 20.5  apollon012 25.2   22.3   14999998464 266    apollon127 3.49  3.39  118398976 42.6  apollon078 5.31 1.89 311947264 43.0 apollon053 .0137  .0183  901120 .00696 apollon104 .0110  .0134  876544 .00855 apollon115 .0147  .0159  872448 .00494 apollon123
product-lines/minepump_spec1_product44_false-unreach-call_false-termination.cil.c 1.78  1.79  4305657856 20.2  apollon149 3.98  6.03  4313288704 47.2  apollon157 3.48  3.39  118165504 50.9  apollon027 5.00 1.83 295034880 41.4 apollon127 .0138  .0133  966656 .00580 apollon128 .0111  .0108  1048576 .00000 apollon116 .0121  .0150  1110016 .0288  apollon041
product-lines/minepump_spec1_product49_false-unreach-call_false-termination.cil.c 1.79  1.79  4306231296 21.9  apollon076 35.7   40.3   14999998464 561    apollon111 3.51  3.41  124944384 41.7  apollon011 4.76 1.74 294576128 39.8 apollon053 .00659 .0101  741376 .00647 apollon002 .0105  .0106  983040 .0122  apollon005 .0177  .0187  905216 .00836 apollon155
product-lines/minepump_spec1_product50_false-unreach-call_false-termination.cil.c 1.78  1.79  4305821696 21.7  apollon072 25.6   23.9   14999998464 339    apollon028 3.52  3.41  118116352 41.1  apollon146 4.85 1.76 311488512 44.9 apollon148 .00622 .0101  892928 .0132  apollon005 .0123  .0122  868352 .00971 apollon061 .00956 .00950 978944 .0126  apollon087
product-lines/minepump_spec1_product51_false-unreach-call_false-termination.cil.c 1.82  1.89  4306063360 25.7  apollon088 29.0   24.8   14999998464 324    apollon104 3.48  3.38  119668736 42.3  apollon012 4.96 1.74 310837248 48.4 apollon033 .0135  .0143  802816 .00775 apollon023 .0191  .0189  888832 .00617 apollon118 .0138  .0137  1015808 .0127  apollon053
product-lines/minepump_spec1_product52_false-unreach-call_false-termination.cil.c 1.77  1.77  4306657280 27.0  apollon160 29.3   24.9   14999998464 385    apollon108 3.49  3.40  118022144 53.9  apollon160 4.64 1.71 293838848 43.6 apollon141 .0131  .0133  929792 .00928 apollon051 .0103  .0101  856064 .00000 apollon095 .00886 .0118  892928 .00867 apollon090
product-lines/minepump_spec1_product53_false-unreach-call_false-termination.cil.c 1.81  1.79  4305121280 25.3  apollon125 28.2   23.8   14999998464 361    apollon132 3.48  3.39  122400768 45.0  apollon008 5.26 1.86 296734720 39.9 apollon089 .0118  .0116  876544 .0137  apollon161 .0242  .0238  1007616 .00604 apollon022 .0112  .0111  962560 .0104  apollon099
product-lines/minepump_spec1_product54_false-unreach-call_false-termination.cil.c 1.82  1.80  4305854464 21.6  apollon118 28.5   24.0   14999998464 328    apollon157 3.48  3.38  121962496 41.2  apollon110 5.24 1.89 298778624 47.7 apollon047 .0100  .0101  909312 .00971 apollon087 .0103  .0104  876544 .0118  apollon024 .0118  .0152  823296 .00665 apollon083
product-lines/minepump_spec1_product55_false-unreach-call_false-termination.cil.c 1.83  1.80  4305616896 22.3  apollon082 24.0   22.4   14999998464 339    apollon056 3.50  3.40  119554048 45.3  apollon084 5.18 1.84 297566208 49.6 apollon014 .0282  .0292  897024 .00458 apollon029 .0147  .0146  987136 .00684 apollon093 .0103  .0102  835584 .00372 apollon156
product-lines/minepump_spec1_product56_false-unreach-call_false-termination.cil.c 1.81  1.80  4305936384 20.9  apollon119 29.0   24.5   14999998464 540    apollon106 3.51  3.41  118366208 42.6  apollon165 5.12 1.82 295374848 41.5 apollon109 .0166  .0195  905216 .00824 apollon031 .0110  .0143  901120 .00793 apollon095 .00956 .00962 1040384 .0106  apollon017
product-lines/minepump_spec1_productSimulator_false-unreach-call_false-termination.cil.c 1.79  1.81  4306251776 21.2  apollon097 24.0   21.1   14999998464 256    apollon123 3.61  3.50  121933824 41.6  apollon128 7.74 2.32 387104768 62.9 apollon005 .0123  .0127  835584 .0242  apollon026 .0126  .0124  872448 .00458 apollon027 .0110  .0108  917504 .00964 apollon164
product-lines/minepump_spec2_product33_false-unreach-call_false-termination.cil.c 1.80  1.80  4305719296 23.0  apollon038 25.9   22.9   14999998464 290    apollon137 3.48  3.38  118800384 47.5  apollon046 5.14 1.90 308674560 44.7 apollon093 .0207  .0220  937984 .00757 apollon134 .0127  .0124  815104 .0135  apollon034 .0136  .0131  925696 .0157  apollon064
product-lines/minepump_spec2_product34_false-unreach-call_false-termination.cil.c 1.80  1.79  4308348928 21.7  apollon074 25.9   22.9   14999998464 344    apollon014 3.50  3.40  119590912 53.4  apollon111 4.84 1.81 292855808 40.4 apollon038 .00805 .00777 917504 .00000 apollon005 .0169  .0188  815104 .00494 apollon033 .0136  .0134  983040 .0124  apollon117
product-lines/minepump_spec2_product35_false-unreach-call_false-termination.cil.c 1.81  1.79  4306382848 24.2  apollon081 25.7   22.7   14999998464 280    apollon060 3.52  3.41  120410112 48.2  apollon108 5.05 1.79 297250816 42.4 apollon072 .0290  .0302  815104 .00800 apollon124 .00690 .0100  839680 .00000 apollon154 .0121  .0118  1003520 .00818 apollon145
product-lines/minepump_spec2_product36_false-unreach-call_false-termination.cil.c 1.79  1.77  4305891328 20.7  apollon045 26.2   23.2   14999998464 316    apollon055 3.48  3.38  121315328 40.6  apollon023 4.89 1.77 292257792 48.6 apollon033 .0132  .0135  991232 .00830 apollon100 .0175  .0182  835584 .00775 apollon026 .0129  .0143  1130496 .00739 apollon076
product-lines/minepump_spec2_product41_false-unreach-call_false-termination.cil.c 1.79  1.80  4306096128 21.3  apollon004 26.1   23.1   14999998464 285    apollon149 3.62  3.51  123760640 35.0  apollon063 5.55 1.94 299544576 43.6 apollon040 .0126  .0123  851968 .0164  apollon130 .0135  .0139  942080 .00873 apollon015 .00645 .0101  741376 .00812 apollon095
product-lines/minepump_spec2_product42_false-unreach-call_false-termination.cil.c 1.81  1.80  4305567744 22.6  apollon038 25.8   22.8   14999998464 290    apollon116 3.61  3.51  123600896 44.8  apollon135 5.49 1.90 296779776 43.5 apollon123 .0163  .0201  860160 .0146  apollon068 .00927 .00917 1011712 .0110  apollon065 .00796 .00784 999424 .0118  apollon075
product-lines/minepump_spec2_product43_false-unreach-call_false-termination.cil.c 1.80  1.79  4306780160 24.5  apollon163 37.4   42.3   14999998464 516    apollon011 3.71  3.60  130740224 50.7  apollon014 5.31 1.89 296509440 49.1 apollon148 .0157  .0155  1007616 .00525 apollon113 .00937 .00922 962560 .00891 apollon084 .0317  .0324  839680 .00476 apollon146
product-lines/minepump_spec2_product44_false-unreach-call_false-termination.cil.c 1.81  1.79  4308586496 20.1  apollon013 26.2   23.1   14999998464 314    apollon032 3.70  3.59  126844928 56.2  apollon056 5.99 1.94 313884672 50.7 apollon093 .0107  .0109  761856 .00989 apollon034 .0126  .0125  978944 .00909 apollon141 .0205  .0204  827392 .00629 apollon127
product-lines/minepump_spec2_productSimulator_false-unreach-call_false-termination.cil.c 1.78  1.78  4305494016 22.7  apollon113 24.1   21.5   14999998464 298    apollon162 4.78  4.61  155283456 70.5  apollon111 8.81 2.51 456052736 73.7 apollon167 .0109  .0107  815104 .00000 apollon012 .00930 .00946 684032 .00000 apollon114 .0126  .0125  802816 .00940 apollon135
product-lines/minepump_spec3_product01_false-unreach-call_false-termination.cil.c 1.72  1.79  4306399232 18.9  apollon128 3.39  4.71  4310667264 44.9  apollon069 3.53  3.43  104685568 42.7  apollon147 4.18 1.65 288800768 41.8 apollon160 .00873 .00864 770048 .00000 apollon092 .0140  .0157  884736 .00366 apollon045 .0149  .0149  884736 .00855 apollon159
product-lines/minepump_spec3_product02_false-unreach-call_false-termination.cil.c 1.72  1.78  4306268160 24.5  apollon069 3.36  4.69  4311027712 38.6  apollon168 3.48  3.38  106565632 44.8  apollon049 4.40 1.63 313024512 37.4 apollon121 .0137  .0142  942080 .00525 apollon030 .0109  .0111  1052672 .00000 apollon059 .00935 .00961 901120 .0142  apollon005
product-lines/minepump_spec3_product03_false-unreach-call_false-termination.cil.c 1.71  1.77  4306120704 24.4  apollon140 4.66  6.03  4314238976 50.2  apollon089 3.49  3.40  103538688 41.0  apollon137 4.24 1.62 296325120 35.4 apollon053 .0145  .0163  819200 .00812 apollon074 .0113  .0114  868352 .00964 apollon127 .0135  .0158  864256 .00446 apollon139
product-lines/minepump_spec3_product04_false-unreach-call_false-termination.cil.c 1.74  1.80  4305932288 19.7  apollon104 4.80  6.04  4313604096 57.3  apollon020 3.50  3.40  106278912 48.5  apollon006 4.34 1.60 308576256 34.5 apollon128 .00945 .00962 827392 .00757 apollon042 .00910 .00934 716800 .00989 apollon099 .00938 .00920 831488 .0143  apollon167
product-lines/minepump_spec3_product05_false-unreach-call_false-termination.cil.c 1.76  1.79  4305088512 26.0  apollon057 3.52  4.82  4313919488 39.6  apollon147 3.51  3.41  101883904 41.8  apollon035 4.52 1.69 311504896 34.3 apollon158 .00925 .00965 897024 .00873 apollon027 .0190  .0190  856064 .00458 apollon054 .0197  .0235  757760 .0258  apollon128
product-lines/minepump_spec3_product06_false-unreach-call_false-termination.cil.c 1.79  1.79  4306669568 21.0  apollon131 3.47  4.73  4311289856 37.5  apollon073 3.47  3.38  106127360 49.0  apollon167 4.38 1.63 308633600 42.0 apollon161 .0201  .0194  1036288 .00464 apollon145 .0108  .0106  884736 .00995 apollon105 .0110  .0107  995328 .0105  apollon084
product-lines/minepump_spec3_product07_false-unreach-call_false-termination.cil.c 1.78  1.80  4307906560 21.6  apollon118 3.46  4.73  4310097920 38.8  apollon032 3.51  3.41  109359104 41.8  apollon023 4.59 1.64 310251520 38.1 apollon121 .0164  .0162  839680 .00562 apollon159 .0162  .0175  999424 .00641 apollon003 .0289  .0290  946176 .00507 apollon025
product-lines/minepump_spec3_product08_false-unreach-call_false-termination.cil.c 1.77  1.78  4305539072 22.1  apollon102 3.52  4.72  4310712320 40.0  apollon049 3.47  3.38  103055360 48.8  apollon005 4.49 1.69 310956032 36.0 apollon128 .0120  .0117  1028096 .00812 apollon163 .0116  .0149  999424 .0341  apollon077 .0113  .0111  868352 .0115  apollon079
product-lines/minepump_spec3_product09_false-unreach-call_false-termination.cil.c 1.71  1.79  4305432576 25.1  apollon057 4.70  6.03  4315701248 59.5  apollon126 3.48  3.39  103071744 39.9  apollon128 4.55 1.68 311160832 37.8 apollon072 .0160  .0157  811008 .00324 apollon043 .0193  .0190  905216 .00433 apollon014 .00790 .00802 741376 .0101  apollon017
product-lines/minepump_spec3_product10_false-unreach-call_false-termination.cil.c 1.70  1.77  4306124800 22.4  apollon136 5.93  7.21  4314873856 70.5  apollon138 3.50  3.40  104099840 49.5  apollon028 4.22 1.61 306962432 34.4 apollon128 .0243  .0241  778240 .00610 apollon151 .00902 .00889 1007616 .00952 apollon041 .0113  .0117  901120 .0119  apollon001
product-lines/minepump_spec3_product11_false-unreach-call_false-termination.cil.c 1.72  1.79  4306546688 21.1  apollon074 3.36  4.70  4310335488 49.8  apollon057 3.48  3.38  101556224 43.3  apollon058 4.65 1.69 313249792 40.2 apollon032 .00993 .00986 1044480 .0103  apollon156 .0197  .0209  786432 .00983 apollon029 .0132  .0131  860160 .00824 apollon145
product-lines/minepump_spec3_product12_false-unreach-call_false-termination.cil.c 1.72  1.78  4307820544 22.3  apollon141 3.39  4.72  4310310912 39.7  apollon093 3.51  3.41  104775680 44.1  apollon121 4.56 1.62 309026816 35.0 apollon123 .0107  .0131  983040 .00775 apollon113 .0125  .0130  823296 .00757 apollon137 .0179  .0182  872448 .0234  apollon039
product-lines/minepump_spec3_product13_false-unreach-call_false-termination.cil.c 1.81  1.80  4306149376 23.4  apollon048 3.40  4.71  4311605248 41.0  apollon065 3.50  3.40  105324544 47.1  apollon010 4.34 1.65 290230272 38.5 apollon032 .00741 .0196  1003520 .0380  apollon033 .0119  .0118  962560 .00623 apollon093 .0103  .0103  761856 .0145  apollon010
product-lines/minepump_spec3_product14_false-unreach-call_false-termination.cil.c 1.78  1.80  4305715200 20.5  apollon025 3.43  4.70  4313149440 36.1  apollon134 3.61  3.51  123420672 46.4  apollon150 4.80 1.86 305422336 35.2 apollon054 .0116  .0114  831488 .0104  apollon115 .0132  .0129  1024000 .0101  apollon041 .0130  .0128  802816 .00421 apollon042
product-lines/minepump_spec3_product15_false-unreach-call_false-termination.cil.c 1.79  1.79  4305944576 22.5  apollon018 3.43  4.81  4313210880 46.4  apollon021 3.50  3.40  101535744 41.8  apollon090 4.29 1.69 293355520 41.7 apollon161 .0285  .0317  966656 .00494 apollon123 .0300  .0320  1003520 .0161  apollon108 .0215  .0211  847872 .00452 apollon106
product-lines/minepump_spec3_product16_false-unreach-call_false-termination.cil.c 1.76  1.77  4305498112 22.6  apollon015 5.99  7.24  4314808320 76.5  apollon081 3.50  3.40  102920192 43.1  apollon110 4.28 1.68 293261312 38.1 apollon038 .00848 .0118  811008 .00787 apollon025 .0316  .0324  880640 .00531 apollon146 .0112  .0109  880640 .00830 apollon049
product-lines/minepump_spec3_product17_false-unreach-call_false-termination.cil.c 1.80  1.79  4306497536 23.8  apollon112 3.41  4.72  4310876160 41.2  apollon007 3.51  3.41  102080512 45.8  apollon159 4.48 1.65 310042624 39.8 apollon102 .00948 .00931 794624 .0106  apollon038 .0168  .0178  847872 .00891 apollon065 .00949 .00937 778240 .00842 apollon134
product-lines/minepump_spec3_product18_false-unreach-call_false-termination.cil.c 1.80  1.79  4305698816 20.6  apollon100 3.46  4.72  4310106112 38.7  apollon153 3.50  3.40  105066496 43.8  apollon071 4.29 1.67 291713024 36.7 apollon042 .0198  .0194  925696 .00714 apollon074 .0225  .0219  942080 .00409 apollon098 .0118  .0127  835584 .00861 apollon120
product-lines/minepump_spec3_product19_false-unreach-call_false-termination.cil.c 1.79  1.78  4306079744 26.3  apollon080 3.45  4.72  4310470656 34.3  apollon123 3.51  3.41  107159552 44.2  apollon049 4.61 1.69 310501376 45.5 apollon033 .0101  .0120  958464 .0108  apollon092 .0168  .0164  864256 .00000 apollon138 .0130  .0130  913408 .0114  apollon006
product-lines/minepump_spec3_product20_false-unreach-call_false-termination.cil.c 1.79  1.77  4306616320 21.8  apollon154 3.42  4.73  4310491136 38.9  apollon031 3.47  3.38  103784448 40.8  apollon040 4.80 1.78 315482112 41.4 apollon168 .0107  .0104  872448 .0126  apollon043 .0191  .0191  1011712 .00757 apollon011 .00936 .00912 876544 .0107  apollon030
product-lines/minepump_spec3_product21_false-unreach-call_false-termination.cil.c 1.79  1.80  4305395712 22.7  apollon141 3.41  4.80  4311490560 41.8  apollon126 3.51  3.39  110284800 48.5  apollon069 4.84 1.79 310579200 43.2 apollon076 .0169  .0207  868352 .00598 apollon013 .0123  .0146  995328 .0234  apollon113 .0161  .0158  929792 .00836 apollon028
product-lines/minepump_spec3_product22_false-unreach-call_false-termination.cil.c 1.78  1.78  4305477632 24.9  apollon080 3.49  4.83  4310982656 37.3  apollon023 3.49  3.38  108519424 52.0  apollon039 4.78 1.73 311414784 39.8 apollon156 .00945 .00954 864256 .00775 apollon066 .0172  .0181  745472 .00800 apollon133 .00901 .00888 966656 .00897 apollon003
product-lines/minepump_spec3_product23_false-unreach-call_false-termination.cil.c 1.90  2.01  4332564480 22.1  apollon145 5.95  7.23  4314935296 76.6  apollon140 3.51  3.41  104972288 42.6  apollon032 4.77 1.75 315752448 40.3 apollon012 .0149  .0147  876544 .00885 apollon090 .00998 .0102  774144 .00000 apollon065 .00773 .0110  942080 .0128  apollon069
product-lines/minepump_spec3_product24_false-unreach-call_false-termination.cil.c 1.78  1.78  4305645568 21.7  apollon133 4.77  6.00  4316549120 53.6  apollon058 3.49  3.39  105979904 48.9  apollon148 4.70 1.75 294842368 45.3 apollon030 .0298  .0289  753664 .00525 apollon074 .0111  .0109  958464 .00989 apollon059 .0224  .0260  892928 .00739 apollon094
product-lines/minepump_spec3_product25_false-unreach-call_false-termination.cil.c 1.79  1.79  4305747968 23.4  apollon155 3.36  4.74  4310482944 37.7  apollon156 3.49  3.39  104194048 42.6  apollon058 4.58 1.66 311570432 40.8 apollon009 .00965 .00962 745472 .0144  apollon056 .0125  .0123  806912 .0135  apollon148 .00870 .00865 749568 .00000 apollon168
product-lines/minepump_spec3_product26_false-unreach-call_false-termination.cil.c 1.80  1.79  4307939328 21.0  apollon023 3.51  4.79  4310433792 36.8  apollon116 3.51  3.41  108195840 50.4  apollon125 4.34 1.66 290459648 36.0 apollon026 .0110  .0107  983040 .00909 apollon138 .0116  .0114  1011712 .0107  apollon147 .0216  .0229  798720 .00617 apollon101
product-lines/minepump_spec3_product27_false-unreach-call_false-termination.cil.c 1.80  1.80  4305260544 21.9  apollon153 3.48  4.72  4310515712 40.2  apollon009 3.49  3.39  104579072 41.5  apollon099 4.84 1.74 310730752 39.8 apollon165 .0287  .0290  1085440 .00836 apollon127 .0131  .0128  880640 .00757 apollon131 .0174  .0177  884736 .0100  apollon047
product-lines/minepump_spec3_product28_false-unreach-call_false-termination.cil.c 1.79  1.77  4307988480 24.8  apollon019 4.68  6.02  4314238976 58.2  apollon112 3.49  3.39  101371904 48.5  apollon069 4.67 1.66 308895744 39.9 apollon017 .0140  .0161  901120 .00635 apollon090 .0104  .0137  847872 .0116  apollon027 .0169  .0176  995328 .00726 apollon036
product-lines/minepump_spec3_product29_false-unreach-call_false-termination.cil.c 1.79  1.79  4305813504 21.4  apollon078 3.42  4.70  4311273472 41.2  apollon164 3.49  3.38  107495424 39.6  apollon117 4.74 1.70 292085760 38.2 apollon058 .0192  .0189  1007616 .00507 apollon100 .0211  .0250  1015808 .0275  apollon061 .0103  .0102  872448 .0125  apollon052
product-lines/minepump_spec3_product30_false-unreach-call_false-termination.cil.c 1.78  1.78  4306460672 27.9  apollon056 3.45  4.71  4310716416 45.7  apollon161 3.51  3.39  105500672 45.7  apollon046 4.85 1.70 312225792 40.1 apollon133 .0110  .0108  978944 .00891 apollon153 .0171  .0179  761856 .0123  apollon148 .0106  .0107  958464 .0112  apollon151
product-lines/minepump_spec3_product31_false-unreach-call_false-termination.cil.c 1.76  1.77  4307099648 21.0  apollon154 3.53  4.90  4336062464 41.9  apollon142 3.49  3.38  104624128 45.0  apollon162 4.75 1.79 292638720 44.4 apollon108 .00746 .0109  741376 .00714 apollon108 .0126  .0134  798720 .00629 apollon031 .0160  .0163  897024 .0100  apollon120
product-lines/minepump_spec3_product32_false-unreach-call_false-termination.cil.c 1.78  1.78  4305502208 22.9  apollon113 3.49  4.82  4311212032 48.9  apollon014 3.50  3.40  106373120 51.0  apollon016 4.70 1.72 295378944 41.3 apollon032 .0148  .0157  720896 .00470 apollon151 .0137  .0135  1032192 .0104  apollon094 .00924 .00953 778240 .0104  apollon148
product-lines/minepump_spec3_product35_false-unreach-call_false-termination.cil.c 1.82  1.79  4306845696 22.7  apollon070 25.8   22.8   14999998464 275    apollon139 3.50  3.40  112607232 39.9  apollon134 4.63 1.75 310263808 40.6 apollon051 .0104  .0133  888832 .0108  apollon052 .0166  .0174  847872 .00800 apollon100 .0105  .0105  835584 .00909 apollon008
product-lines/minepump_spec3_product36_false-unreach-call_false-termination.cil.c 1.79  1.77  4305711104 23.7  apollon124 25.6   22.6   14999998464 329    apollon048 3.49  3.39  121118720 46.0  apollon141 4.42 1.68 291246080 37.2 apollon026 .0121  .0121  872448 .00391 apollon156 .0297  .0289  876544 .00562 apollon008 .0177  .0204  839680 .00739 apollon048
product-lines/minepump_spec3_product39_false-unreach-call_false-termination.cil.c 1.84  1.90  4306628608 23.1  apollon015 27.2   24.1   14999998464 376    apollon080 3.48  3.38  111063040 47.2  apollon010 4.62 1.71 293339136 36.4 apollon100 .0168  .0165  1019904 .00452 apollon105 .0122  .0128  983040 .00384 apollon106 .0101  .0131  897024 .00995 apollon018
product-lines/minepump_spec3_product40_false-unreach-call_false-termination.cil.c 1.84  1.90  4305428480 19.1  apollon123 27.3   24.2   14999998464 357    apollon155 3.51  3.41  120352768 47.7  apollon122 4.91 1.75 311058432 38.7 apollon040 .0273  .0290  925696 .00848 apollon033 .00944 .00960 770048 .00684 apollon022 .0151  .0159  860160 .00690 apollon085
product-lines/minepump_spec3_product43_false-unreach-call_false-termination.cil.c 1.80  1.80  4305465344 22.9  apollon015 25.5   22.5   14999998464 265    apollon029 3.60  3.50  129171456 48.1  apollon114 4.93 1.78 310849536 39.3 apollon109 .00901 .00883 888832 .00983 apollon156 .00594 .0102  782336 .0135  apollon021 .0131  .0125  1011712 .0123  apollon083
product-lines/minepump_spec3_product44_false-unreach-call_false-termination.cil.c 1.80  1.79  4306124800 20.5  apollon103 25.7   22.7   14999998464 340    apollon122 3.51  3.41  120799232 49.0  apollon081 4.67 1.69 313950208 37.0 apollon099 .0105  .0103  987136 .00000 apollon103 .0253  .0251  892928 .0121  apollon082 .00687 .0102  909312 .0150  apollon052
product-lines/minepump_spec3_product47_false-unreach-call_false-termination.cil.c 1.84  1.90  4305797120 24.5  apollon033 259     900     11443126272 1850    apollon093 3.48  3.38  110936064 37.7  apollon151 5.21 1.78 315965440 44.9 apollon005 .0150  .0165  864256 .00684 apollon123 .0112  .0110  991232 .0135  apollon010 .0114  .0117  991232 .0139  apollon132
product-lines/minepump_spec3_product48_false-unreach-call_false-termination.cil.c 1.81  1.79  4307427328 21.4  apollon107 27.6   24.5   14999998464 348    apollon046 3.51  3.41  116379648 47.3  apollon028 4.91 1.83 291250176 40.9 apollon053 .0246  .0256  892928 .00769 apollon152 .00927 .00942 745472 .00751 apollon166 .0110  .0108  954368 .0131  apollon011
product-lines/minepump_spec3_product51_false-unreach-call_false-termination.cil.c 1.82  1.79  4306120704 21.5  apollon058 27.3   24.1   14999998464 384    apollon160 3.50  3.40  112332800 41.5  apollon035 5.27 1.77 308715520 40.4 apollon079 .0107  .0109  1011712 .00989 apollon065 .0106  .0130  995328 .00000 apollon084 .0113  .0111  962560 .00000 apollon153
product-lines/minepump_spec3_product52_false-unreach-call_false-termination.cil.c 1.78  1.77  4305588224 22.6  apollon052 27.6   24.5   14999998464 380    apollon148 3.48  3.38  115560448 48.4  apollon125 5.04 1.73 313421824 49.5 apollon021 .00849 .0110  872448 .00684 apollon157 .00943 .00995 729088 .00354 apollon103 .0107  .0114  892928 .00800 apollon095
product-lines/minepump_spec3_product55_false-unreach-call_false-termination.cil.c 1.80  1.87  4306186240 22.0  apollon165 27.8   24.6   14999998464 372    apollon126 3.50  3.40  110612480 40.2  apollon003 5.35 1.82 294813696 45.0 apollon084 .0139  .0137  937984 .0110  apollon167 .0158  .0165  897024 .0278  apollon121 .0111  .0106  888832 .0103  apollon069
product-lines/minepump_spec3_product56_false-unreach-call_false-termination.cil.c 1.83  1.89  4305526784 22.5  apollon135 28.2   25.0   14999998464 326    apollon025 3.49  3.40  114094080 42.7  apollon142 5.20 1.85 295759872 50.1 apollon125 .0228  .0235  1069056 .00378 apollon123 .0261  .0270  884736 .00586 apollon049 .0110  .0108  1015808 .00647 apollon104
product-lines/minepump_spec3_product59_false-unreach-call_false-termination.cil.c 1.81  1.88  4306038784 21.1  apollon042 29.0   25.8   14999998464 324    apollon149 3.50  3.41  110309376 41.8  apollon115 4.91 1.75 312385536 47.9 apollon160 .0116  .0122  1032192 .0107  apollon069 .0150  .0156  1032192 .00891 apollon105 .00880 .0129  1064960 .00812 apollon108
product-lines/minepump_spec3_product60_false-unreach-call_false-termination.cil.c 1.83  1.90  4305838080 25.0  apollon108 28.4   25.2   14999998464 360    apollon152 3.48  3.38  115687424 42.8  apollon133 5.22 1.77 314191872 44.9 apollon168 .0137  .0143  954368 .00891 apollon040 .0149  .0147  843776 .00360 apollon067 .0283  .0289  802816 .00537 apollon079
product-lines/minepump_spec3_product63_false-unreach-call_false-termination.cil.c 1.83  1.89  4306149376 23.4  apollon085 27.8   24.7   14999998464 407    apollon160 3.51  3.41  111636480 48.9  apollon059 5.54 1.92 301203456 51.6 apollon044 .00900 .0119  999424 .00848 apollon113 .0131  .0129  999424 .00708 apollon136 .00980 .0100  761856 .0111  apollon128
product-lines/minepump_spec3_product64_false-unreach-call_false-termination.cil.c 1.85  1.90  4305903616 23.2  apollon020 28.5   25.3   14999998464 537    apollon106 3.49  3.38  111112192 38.5  apollon078 5.90 1.99 321228800 45.1 apollon054 .0119  .0140  937984 .0116  apollon034 .0134  .0161  909312 .00330 apollon090 .0183  .0199  913408 .00928 apollon111
product-lines/minepump_spec3_productSimulator_false-unreach-call_false-termination.cil.c 1.81  1.80  4306624512 20.8  apollon083 24.7   21.9   14999998464 299    apollon049 3.50  3.40  109043712 48.9  apollon069 7.33 2.15 395644928 62.7 apollon118 .0294  .0292  745472 .00732 apollon153 .0128  .0158  933888 .00458 apollon132 .0284  .0289  831488 .00671 apollon082
product-lines/minepump_spec4_product33_false-unreach-call_false-termination.cil.c 1.76  1.78  4305506304 19.8  apollon060 25.3   22.3   14999998464 325    apollon010 3.61  3.51  105668608 42.9  apollon035 5.40 1.88 297701376 47.1 apollon051 .0164  .0171  860160 .00275 apollon120 .0251  .0268  1019904 .0109  apollon082 .0187  .0198  860160 .00684 apollon145
product-lines/minepump_spec4_product34_false-unreach-call_false-termination.cil.c 1.74  1.78  4305235968 23.0  apollon108 29.0   28.2   14999998464 367    apollon095 3.60  3.50  111529984 43.8  apollon058 5.91 1.93 312217600 41.9 apollon054 .0102  .00999 819200 .0152  apollon112 .0206  .0222  983040 .00549 apollon032 .0221  .0218  929792 .00671 apollon012
product-lines/minepump_spec4_product35_false-unreach-call_false-termination.cil.c 1.77  1.78  4305661952 21.3  apollon110 25.9   22.9   14999998464 340    apollon126 3.69  3.58  124751872 57.7  apollon039 5.61 1.91 304275456 51.2 apollon164 .0298  .0298  745472 .00543 apollon157 .0156  .0154  1003520 .00671 apollon061 .0131  .0137  1028096 .0206  apollon133
product-lines/minepump_spec4_product36_false-unreach-call_false-termination.cil.c 1.75  1.77  4306153472 24.0  apollon167 25.4   22.4   14999998464 356    apollon039 3.71  3.61  126611456 44.3  apollon012 5.72 1.91 313892864 45.4 apollon089 .0160  .0157  835584 .00354 apollon079 .0115  .0121  761856 .00433 apollon142 .0288  .0285  901120 .00635 apollon147
product-lines/minepump_spec4_product37_false-unreach-call_false-termination.cil.c 1.81  1.78  4306526208 27.9  apollon111 27.2   24.3   14999998464 357    apollon006 3.62  3.51  119750656 46.7  apollon152 6.42 2.12 332488704 48.6 apollon151 .0200  .0197  827392 .00580 apollon165 .0199  .0209  1024000 .00555 apollon166 .0102  .0120  937984 .00891 apollon092
product-lines/minepump_spec4_product38_false-unreach-call_false-termination.cil.c 1.82  1.79  4305948672 21.3  apollon137 26.8   23.7   14999998464 282    apollon054 3.61  3.50  123269120 47.6  apollon155 6.84 2.21 325419008 54.4 apollon084 .0122  .0119  974848 .00934 apollon010 .0110  .0114  790528 .00739 apollon110 .00734 .00722 749568 .0115  apollon095
product-lines/minepump_spec4_product39_false-unreach-call_false-termination.cil.c 1.82  1.89  4306432000 25.4  apollon014 29.6   28.9   15000064000 419    apollon077 3.72  3.61  126775296 50.5  apollon108 6.75 2.11 326828032 53.6 apollon078 .0165  .0169  962560 .00763 apollon141 .00863 .00847 1019904 .0160  apollon071 .0149  .0147  1101824 .00378 apollon090
product-lines/minepump_spec4_product40_false-unreach-call_false-termination.cil.c 1.84  1.89  4306108416 25.2  apollon122 27.5   24.4   14999998464 307    apollon013 3.72  3.61  130691072 44.6  apollon115 6.19 2.01 331722752 55.1 apollon009 .00654 .00999 724992 .00995 apollon159 .0321  .0315  901120 .00726 apollon152 .0110  .0126  823296 .0195  apollon044
product-lines/minepump_spec4_product41_false-unreach-call_false-termination.cil.c 1.78  1.78  4306235392 22.9  apollon052 25.3   22.3   14999998464 273    apollon149 3.58  3.48  111947776 47.2  apollon010 5.85 1.97 301461504 47.3 apollon109 .0113  .0111  770048 .0115  apollon091 .00962 .00992 888832 .00818 apollon067 .0126  .0132  864256 .0172  apollon156
product-lines/minepump_spec4_product42_false-unreach-call_false-termination.cil.c 1.80  1.80  4307099648 22.1  apollon049 25.4   22.4   14999998464 334    apollon108 3.58  3.48  115011584 45.2  apollon074 6.03 1.96 311627776 45.9 apollon092 .0190  .0187  811008 .00830 apollon113 .0103  .0103  851968 .00824 apollon089 .0110  .0108  1011712 .0105  apollon059
product-lines/minepump_spec4_product43_false-unreach-call_false-termination.cil.c 1.81  1.79  4306239488 19.6  apollon098 26.0   22.9   14999998464 311    apollon009 3.69  3.58  125341696 46.4  apollon095 6.56 2.12 329101312 57.9 apollon118 .00653 .00966 847872 .00946 apollon123 .00966 .00981 847872 .00000 apollon021 .0122  .0122  757760 .00555 apollon021
product-lines/minepump_spec4_product44_false-unreach-call_false-termination.cil.c 1.79  1.78  4306067456 24.3  apollon077 25.3   22.2   14999998464 298    apollon135 3.70  3.59  125509632 53.4  apollon148 6.63 2.09 333303808 60.3 apollon126 .00932 .00915 876544 .0145  apollon064 .00607 .00932 917504 .00830 apollon164 .0253  .0247  1011712 .00543 apollon092
product-lines/minepump_spec4_product45_false-unreach-call_false-termination.cil.c 1.82  1.80  4305342464 21.1  apollon107 26.7   23.6   14999998464 256    apollon063 3.61  3.51  118677504 43.8  apollon107 6.38 2.06 334299136 56.8 apollon022 .0170  .0179  1032192 .00940 apollon129 .0110  .0108  1019904 .00885 apollon050 .0295  .0288  884736 .00562 apollon087
product-lines/minepump_spec4_product46_false-unreach-call_false-termination.cil.c 1.82  1.79  4305395712 24.9  apollon122 26.9   23.8   14999998464 397    apollon021 3.60  3.49  122044416 44.0  apollon110 6.65 2.13 359501824 54.4 apollon142 .00869 .00868 860160 .0115  apollon082 .0120  .0131  774144 .0103  apollon163 .0128  .0124  864256 .0144  apollon142
product-lines/minepump_spec4_product47_false-unreach-call_false-termination.cil.c 1.82  1.79  4305649664 22.1  apollon165 27.1   24.1   14999998464 331    apollon096 3.82  3.71  130854912 48.4  apollon112 6.38 2.07 330571776 55.3 apollon102 .0145  .0153  880640 .00519 apollon056 .0137  .0136  925696 .0106  apollon120 .0292  .0314  991232 .0115  apollon067
product-lines/minepump_spec4_product48_false-unreach-call_false-termination.cil.c 1.80  1.78  4305547264 24.1  apollon130 27.8   24.7   14999998464 364    apollon081 3.69  3.58  131002368 52.0  apollon140 6.61 2.18 338010112 58.0 apollon019 .0145  .0195  966656 .0227  apollon052 .0108  .0113  905216 .00867 apollon018 .00892 .00888 970752 .00647 apollon039
product-lines/minepump_spec4_productSimulator_false-unreach-call_false-termination.cil.c 1.85  2.01  4332929024 25.0  apollon122 23.7   20.8   14999998464 327    apollon163 13.1   12.4   346476544 173    apollon138 11.7  3.12 499646464 85.0 apollon029 .0127  .0125  933888 .00830 apollon015 .0154  .0160  1077248 .00909 apollon004 .0163  .0161  913408 .00287 apollon093
systemc/kundu1_false-unreach-call_false-termination.cil.c 1.60  1.58  4304748544 19.7  apollon001 37.1   33.4   14999998464 414    apollon054 3.47  3.37  56455168 40.1  apollon086 12.0  3.33 464084992 90.8 apollon085 .0259  .0251  946176 .00763 apollon168 .00950 .00963 770048 .00751 apollon074 .0202  .0198  921600 .00598 apollon009
systemc/kundu2_false-unreach-call_false-termination.cil.c 1.61  1.67  4305874944 24.1  apollon016 40.6   33.2   14999998464 528    apollon024 3.50  3.41  101220352 39.4  apollon145 12.9  3.58 484175872 111   apollon108 .0195  .0355  847872 .00806 apollon074 .0126  .0130  1019904 .0129  apollon085 .0134  .0165  921600 .00806 apollon155
systemc/pc_sfifo_1_false-unreach-call_false-termination.cil.c 3.59  3.39  67420160 47.9  apollon091 26.2   25.9   14999998464 338    apollon096 3.39  3.30  84905984 38.4  apollon143 3.41 1.43 280563712 29.4 apollon079 .00990 .0145  958464 .00836 apollon101 .00961 .00956 819200 .0145  apollon044 .0209  .0207  1093632 .00604 apollon043
systemc/pc_sfifo_2_false-unreach-call_false-termination.cil.c 3.57  3.38  71032832 44.0  apollon119 37.6   43.2   14999998464 519    apollon168 3.47  3.37  80351232 47.3  apollon132 3.93 1.55 288534528 34.5 apollon032 .0236  .0262  835584 .00751 apollon119 .00969 .00959 880640 .0126  apollon010 .00941 .00914 958464 .00000 apollon011
systemc/pipeline_false-unreach-call_false-termination.cil.c 1.62  1.67  4305059840 19.6  apollon034 2.43  4.72  4309245952 28.4  apollon086 243     227     2697695232 1780    apollon149 43.0  16.8  1632698368 437   apollon125 .0108  .0106  970752 .00000 apollon160 .0160  .0163  937984 .0153  apollon055 .0176  .0185  937984 .00922 apollon001
systemc/token_ring.01_false-unreach-call_false-termination.cil.c 1.61  1.59  4304965632 22.5  apollon059 33.2   25.1   14999998464 388    apollon032 3.56  3.40  56373248 46.8  apollon077 5.96 2.06 306884608 49.1 apollon121 .0117  .0150  757760 .00787 apollon113 .0136  .0134  999424 .0115  apollon013 .0105  .0103  843776 .0104  apollon077
systemc/token_ring.02_false-unreach-call_false-termination.cil.c 1.64  1.69  4307685376 19.2  apollon075 30.1   25.6   14999998464 399    apollon007 3.55  3.39  62496768 39.9  apollon066 7.64 2.35 454217728 66.8 apollon047 .0107  .0106  925696 .00336 apollon040 .0135  .0152  933888 .0103  apollon167 .0291  .0287  978944 .00726 apollon164
systemc/token_ring.03_false-unreach-call_false-termination.cil.c 1.67  1.69  4305649664 21.5  apollon141 37.5   28.1   14999998464 525    apollon160 3.80  3.59  77176832 52.7  apollon016 8.76 2.60 449445888 78.6 apollon081 .0163  .0205  1130496 .0344  apollon075 .0270  .0267  897024 .00800 apollon061 .0144  .0143  884736 .00836 apollon090
systemc/token_ring.04_false-unreach-call_false-termination.cil.c 1.66  1.69  4305711104 19.0  apollon083 39.0   29.5   14999998464 435    apollon104 5.04  4.72  114466816 56.7  apollon101 11.3  3.30 470695936 98.7 apollon033 .0252  .0249  962560 .0204  apollon106 .0110  .0143  770048 .0106  apollon088 .0122  .0119  892928 .00000 apollon044
systemc/token_ring.05_false-unreach-call_false-termination.cil.c 1.69  1.69  4305457152 20.9  apollon087 39.6   31.1   14999998464 467    apollon105 14.0   12.8   266334208 139    apollon145 13.1  3.82 587493376 109   apollon047 .0170  .0172  884736 .0109  apollon091 .0125  .0152  901120 .0286  apollon121 .0134  .0132  819200 .0103  apollon099
systemc/token_ring.06_false-unreach-call_false-termination.cil.c 1.70  1.70  4305199104 20.4  apollon154 50.7   25.2   14999998464 489    apollon029 63.6   57.2   924188672 584    apollon150 20.3  6.08 731996160 169   apollon070 .0102  .0138  888832 .00800 apollon078 .00574 .0102  962560 .00989 apollon156 .0147  .0152  872448 .0156  apollon048
systemc/token_ring.07_false-unreach-call_false-termination.cil.c 1.71  1.69  4306079744 21.1  apollon133 53.2   26.5   14999998464 528    apollon042 309     275     2513469440 2560    apollon061 20.2  6.55 730669056 174   apollon101 .0146  .0144  942080 .00354 apollon131 .0119  .0117  888832 .00739 apollon120 .00840 .0133  761856 .00818 apollon115
systemc/token_ring.08_false-unreach-call_false-termination.cil.c 1.73  1.80  4305117184 21.7  apollon147 54.9   37.9   14999998464 716    apollon033 379     340     2678685696 2960    apollon050 29.4  11.8  1175015424 247   apollon089 .00625 .00967 770048 .0121  apollon161 .0149  .0156  884736 .00531 apollon003 .00999 .0142  843776 .0123  apollon024
systemc/token_ring.09_false-unreach-call_false-termination.cil.c 1.75  1.80  4307685376 21.6  apollon022 61.4   39.9   15000035328 782    apollon088 436     393     2877472768 3360    apollon018 39.9  19.7  1367429120 388   apollon067 .0274  .0272  892928 .00952 apollon125 .0134  .0130  839680 .0102  apollon098 .00958 .00941 888832 .00000 apollon024
systemc/token_ring.10_false-unreach-call_false-termination.cil.c 1.77  1.81  4304957440 23.9  apollon019 64.4   38.6   14999998464 711    apollon011 591     533     2971361280 4380    apollon136 69.3  48.2  1929924608 797   apollon017 .0133  .0131  929792 .0125  apollon062 .0269  .0328  978944 .00714 apollon043 .00978 .00966 1028096 .0123  apollon094
systemc/token_ring.11_false-unreach-call_false-termination.cil.c 1.76  1.79  4306829312 18.4  apollon029 56.7   39.0   14999998464 801    apollon021 614     563     2991063040 4870    apollon154 96.5  72.0  2236211200 1150   apollon101 .0104  .0141  946176 .00897 apollon094 .0141  .0137  1011712 .00897 apollon054 .00983 .0102  978944 .0130  apollon069
systemc/toy1_false-unreach-call_false-termination.cil.c 1.64  1.71  4305616896 18.4  apollon103 1.64  1.69  4307136512 20.5  apollon018 3.92  3.81  165138432 46.2  apollon150 27.8  9.05 1019965440 255   apollon141 .0149  .0145  958464 .00494 apollon145 .0288  .0315  1056768 .00800 apollon022 .0285  .0309  843776 .00598 apollon166
systemc/toy2_false-unreach-call_false-termination.cil.c 1.61  1.69  4306141184 18.9  apollon035 1.64  1.71  4306673664 18.4  apollon149 3.90  3.78  159981568 43.6  apollon098 19.8  5.44 664854528 188   apollon160 .00975 .00968 987136 .0101  apollon031 .0188  .0188  1003520 .00598 apollon105 .0172  .0170  995328 .00726 apollon011
systemc/transmitter.01_false-unreach-call_false-termination.cil.c 1.57  1.57  4304838656 18.5  apollon012 43.6   39.5   14999998464 567    apollon150 3.38  3.28  35389440 40.1  apollon066 4.63 1.75 294064128 35.1 apollon098 .0218  .0217  811008 .00507 apollon120 .00804 .00792 806912 .00000 apollon132 .00930 .00912 1011712 .0124  apollon015
systemc/transmitter.02_false-unreach-call_false-termination.cil.c 1.61  1.66  4305956864 18.8  apollon099 47.2   42.9   14999998464 658    apollon020 3.48  3.38  58773504 40.2  apollon086 5.08 1.78 294420480 42.4 apollon086 .0177  .0213  860160 .0134  apollon064 .0110  .0107  827392 .00934 apollon102 .0105  .0102  770048 .0126  apollon079
systemc/transmitter.03_false-unreach-call_false-termination.cil.c 1.64  1.67  4305453056 20.3  apollon121 49.3   45.0   14999998464 646    apollon050 3.59  3.49  87699456 43.2  apollon105 6.40 2.05 320430080 50.1 apollon058 .0106  .0107  966656 .00836 apollon092 .00812 .0115  905216 .0129  apollon071 .0146  .0145  876544 .00604 apollon049
systemc/transmitter.04_false-unreach-call_false-termination.cil.c 1.65  1.69  4305457152 20.4  apollon022 53.2   48.6   14999998464 726    apollon084 3.90  3.78  108068864 44.0  apollon042 7.24 2.25 381448192 58.6 apollon120 .00709 .00757 880640 .00555 apollon166 .0102  .0118  974848 .00983 apollon017 .0297  .0288  1003520 .00507 apollon144
systemc/transmitter.05_false-unreach-call_false-termination.cil.c 1.67  1.70  4305567744 18.9  apollon127 54.5   49.8   14999998464 832    apollon028 6.05  5.81  171655168 72.3  apollon107 8.52 2.46 471932928 71.2 apollon032 .0115  .0113  888832 .00000 apollon162 .0169  .0207  954368 .0237  apollon148 .00750 .00770 843776 .0138  apollon039
systemc/transmitter.06_false-unreach-call_false-termination.cil.c 1.70  1.70  4307148800 22.4  apollon081 54.9   50.1   14999998464 713    apollon154 20.7   19.8   496762880 309    apollon021 10.1  2.86 463073280 83.4 apollon009 .0140  .0145  946176 .00769 apollon150 .0198  .0195  999424 .00623 apollon054 .0181  .0190  1003520 .00641 apollon003
systemc/transmitter.07_false-unreach-call_false-termination.cil.c 1.71  1.70  4306046976 21.2  apollon102 54.9   50.3   14999998464 733    apollon051 104     97.5   1940881408 1080    apollon069 11.9  3.23 487600128 91.5 apollon109 .0130  .0133  876544 .00824 apollon113 .0147  .0161  868352 .00855 apollon163 .0147  .0148  888832 .00671 apollon109
systemc/transmitter.08_false-unreach-call_false-termination.cil.c 1.70  1.77  4304994304 24.3  apollon148 56.1   51.4   14999998464 887    apollon039 206     193     2455678976 1560    apollon150 13.7  3.87 495689728 125   apollon057 .0274  .0287  757760 .00439 apollon103 .0267  .0268  847872 .00427 apollon144 .0106  .0110  913408 .00000 apollon147
systemc/transmitter.09_false-unreach-call_false-termination.cil.c 1.73  1.79  4305833984 26.9  apollon111 54.9   50.2   14999998464 818    apollon081 399     374     2775773184 2840    apollon151 15.2  4.13 637870080 121   apollon002 .0150  .0149  1036288 .00702 apollon096 .0118  .0116  856064 .00922 apollon027 .00551 .00553 774144 .0131  apollon108
systemc/transmitter.10_false-unreach-call_false-termination.cil.c 1.75  1.79  4305252352 23.4  apollon005 54.8   50.1   14999998464 732    apollon085 446     415     2855337984 3380    apollon126 19.3  5.48 691904512 171   apollon057 .0140  .0139  888832 .00000 apollon146 .0110  .0108  872448 .00964 apollon130 .0142  .0139  962560 .00891 apollon166
systemc/transmitter.11_false-unreach-call_false-termination.cil.c 1.75  1.78  4306264064 21.8  apollon015 54.9   50.2   15000002560 742    apollon145 477     449     2978103296 4090    apollon013 20.2  5.95 674467840 166   apollon077 .00965 .00961 929792 .00861 apollon119 .0162  .0161  966656 .00769 apollon148 .0167  .0165  892928 .00659 apollon141
systemc/transmitter.12_false-unreach-call_false-termination.cil.c 1.79  1.80  4310532096 20.3  apollon043 55.1   50.5   14999998464 740    apollon072 622     580     3032477696 4310    apollon166 21.0  6.79 845340672 168   apollon025 .0121  .0133  946176 .00000 apollon137 .00973 .00995 1036288 .00629 apollon115 .00875 .00866 962560 .00000 apollon092
systemc/transmitter.13_false-unreach-call_false-termination.cil.c 1.79  1.78  4305387520 23.5  apollon017 55.2   50.6   14999998464 869    apollon044 763     713     3022352384 6690    apollon091 24.1  8.23 875646976 198   apollon070 .0115  .0114  884736 .00769 apollon113 .0104  .0103  888832 .00623 apollon039 .0216  .0244  864256 .00494 apollon101
systemc/transmitter.15_false-unreach-call_false-termination.cil.c 3.89  3.61  72204288 50.5  apollon049 50.8   50.6   14999998464 760    apollon167 3.63  3.51  163561472 45.1  apollon105 6.77 2.10 335200256 57.9 apollon032 .0146  .0192  946176 .00592 apollon060 .0160  .0164  913408 .0154  apollon123 .00812 .0104  933888 .0103  apollon099
systemc/transmitter.16_false-unreach-call_false-termination.cil.c 3.88  3.61  72302592 45.0  apollon002 50.7   50.5   14999998464 544    apollon063 3.59  3.49  159559680 43.2  apollon079 6.70 2.07 331407360 55.1 apollon012 .0129  .0135  970752 .00000 apollon147 .0167  .0196  1007616 .00348 apollon164 .0131  .0129  884736 .00861 apollon048
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.BOUNDED-10.pals.c .466 .512 32120832 5.34 apollon141 .484 .486 36081664 5.15 apollon139 3.52  3.41  99713024 44.8  apollon064 6.23 2.01 333701120 48.6 apollon040 .0318  .0323  978944 .00507 apollon121 .00899 .00899 901120 .00891 apollon154 .00690 .0176  958464 .0447  apollon070
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.UNBOUNDED.pals.c .434 .480 32186368 4.98 apollon035 .487 .489 36196352 4.99 apollon123 3.50  3.38  92053504 44.0  apollon125 6.40 2.00 347623424 53.9 apollon005 .0164  .0176  839680 .00684 apollon087 .0152  .0165  978944 .00836 apollon126 .0168  .0190  835584 .00464 apollon104
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_1.ufo.BOUNDED-10.pals.c .440 .489 32329728 5.55 apollon064 .492 .500 36143104 5.19 apollon002 3.70  3.51  87609344 39.7  apollon035 8.73 2.53 443199488 67.2 apollon133 .0201  .0199  872448 .0112  apollon075 .00672 .0103  884736 .00983 apollon090 .0134  .0170  811008 .00824 apollon063
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_1.ufo.UNBOUNDED.pals.c .435 .486 32026624 5.13 apollon153 .480 .486 36073472 5.65 apollon051 3.69  3.50  87908352 42.7  apollon062 9.24 2.66 440315904 75.4 apollon004 .0289  .0291  1085440 .00708 apollon094 .0149  .0148  892928 .00000 apollon028 .0164  .0162  913408 .00470 apollon125
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_2.ufo.BOUNDED-10.pals.c .425 .471 32092160 5.28 apollon129 .467 .468 35987456 6.23 apollon081 3.68  3.51  98070528 43.2  apollon020 9.03 2.60 443502592 67.2 apollon092 .0114  .0120  946176 .0129  apollon062 .0147  .0154  819200 .00617 apollon100 .0120  .0149  950272 .00848 apollon168
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_2.ufo.UNBOUNDED.pals.c .465 .509 32038912 5.19 apollon102 .467 .469 38002688 6.37 apollon081 3.53  3.40  88739840 39.5  apollon050 8.75 2.59 438300672 66.1 apollon116 .00733 .00985 876544 .0107  apollon121 .0114  .0130  1015808 .00000 apollon103 .00857 .0124  839680 .00720 apollon134
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.BOUNDED-10.pals.c .450 .491 31961088 5.40 apollon010 .483 .489 36155392 5.28 apollon137 122     114     1431617536 955    apollon065 26.1  9.24 1040629760 225   apollon102 .00951 .00926 872448 .00000 apollon081 .0150  .0158  839680 .00623 apollon062 .00947 .00942 831488 .00940 apollon090
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.UNBOUNDED.pals.c .462 .510 32014336 5.23 apollon146 .484 .489 36003840 5.34 apollon083 112     105     1347264512 590    apollon063 25.0  8.88 1036984320 215   apollon082 .0125  .0120  892928 .00458 apollon075 .00950 .00967 860160 .00855 apollon033 .0115  .0120  774144 .00476 apollon017
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c .458 .507 31924224 5.32 apollon101 .462 .486 36155392 5.34 apollon105 3.62  3.49  127606784 42.1  apollon133 19.6  5.52 588857344 154   apollon038 .00896 .00920 868352 .00000 apollon143 .0170  .0174  892928 .0122  apollon130 .00962 .0128  1019904 .00507 apollon017
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.UNBOUNDED.pals.c .427 .478 32018432 4.74 apollon043 .457 .482 35762176 4.97 apollon104 3.61  3.49  115937280 41.2  apollon113 19.2  5.36 652951552 135   apollon086 .0273  .0290  1077248 .00488 apollon048 .0110  .0110  880640 .00946 apollon102 .0132  .0142  856064 .00671 apollon051
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c .428 .479 31903744 4.78 apollon104 .458 .481 35987456 5.36 apollon058 5.48  5.22  164679680 57.0  apollon164 18.0  4.83 612610048 159   apollon030 .0114  .0111  872448 .00745 apollon157 .00985 .00967 905216 .0126  apollon127 .00823 .00814 876544 .00635 apollon118
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.UNBOUNDED.pals.c .432 .484 32010240 5.08 apollon075 .452 .479 36618240 6.37 apollon069 5.58  5.31  162529280 48.0  apollon104 18.4  5.29 612847616 150   apollon084 .0233  .0229  970752 .00855 apollon029 .0139  .0136  757760 .00757 apollon055 .0255  .0319  1019904 .0153  apollon015
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c .359 .358 32075776 4.17 apollon041 .493 .589 50524160 5.25 apollon128 3.73  3.62  32010240 37.6  apollon029 9.54 2.84 456904704 75.2 apollon150 .0100  .0155  897024 .00726 apollon003 .0122  .0120  983040 .00555 apollon052 .0221  .0216  802816 .00836 apollon028
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c .383 .385 32198656 4.14 apollon127 .465 .500 36065280 5.17 apollon035 4.72  4.51  34754560 51.6  apollon086 7.84 2.32 424964096 59.9 apollon053 .0285  .0310  958464 .0167  apollon031 .0182  .0174  966656 .00549 apollon162 .0205  .0203  876544 .00653 apollon159
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c .390 .387 31961088 4.10 apollon089 .443 .468 35979264 5.69 apollon031 1.32  1.29  34312192 16.5  apollon163 7.69 2.35 370479104 61.5 apollon161 .0270  .0290  856064 .00867 apollon159 .0140  .0152  962560 .00928 apollon092 .00873 .00894 872448 .0106  apollon083
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c .398 .487 32071680 4.76 apollon084 .439 .463 35921920 5.79 apollon114 1.32  1.29  32268288 14.8  apollon074 6.83 2.15 365015040 51.0 apollon128 .00961 .00943 987136 .00745 apollon078 .0109  .0112  819200 .0106  apollon133 .0264  .0294  921600 .00977 apollon103
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals_true-termination.c .424 .515 32088064 4.64 apollon097 .473 .498 35934208 4.92 apollon100 2.78  2.71  32874496 32.5  apollon135 9.18 2.61 470671360 74.1 apollon168 .0200  .0207  811008 .00781 apollon162 .0181  .0178  868352 .00800 apollon077 .0151  .0149  737280 .00500 apollon150
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c .396 .483 32116736 5.18 apollon130 .458 .484 36036608 5.43 apollon133 2.71  2.59  33595392 37.2  apollon021 9.41 2.70 463212544 77.8 apollon067 .0147  .0155  835584 .00671 apollon019 .0141  .0141  905216 .00641 apollon018 .00825 .00853 925696 .0117  apollon160
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals_true-termination.c .393 .386 31997952 4.73 apollon138 .442 .466 36052992 5.55 apollon096 2.79  2.57  31776768 30.3  apollon129 9.35 2.71 474312704 79.0 apollon007 .0157  .0151  851968 .0140  apollon073 .0109  .0106  999424 .00873 apollon038 .0153  .0148  856064 .0128  apollon011
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c .409 .502 31985664 4.52 apollon034 .444 .469 36102144 5.18 apollon137 5.47  5.20  34357248 67.4  apollon018 10.6  3.03 461434880 90.0 apollon022 .0133  .0172  786432 .00562 apollon148 .0115  .0113  1003520 .00000 apollon151 .0225  .0225  995328 .00494 apollon150
seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c .445 .475 32157696 6.08 apollon005 .589 .590 41955328 7.88 apollon019 170     158     784199680 1500    apollon104 19.8  5.73 770490368 155   apollon071 .0108  .0112  897024 .00922 apollon125 .00974 .00964 1019904 .00757 apollon139 .0137  .0131  856064 .00659 apollon145
seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c .473 .495 31899648 5.37 apollon154 .592 .592 42606592 7.12 apollon049 148     138     798703616 1900    apollon016 18.8  5.21 672268288 147   apollon058 .0199  .0210  1073152 .00769 apollon079 .0127  .0125  811008 .00867 apollon006 .0290  .0307  970752 .00867 apollon159
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c .527 .618 31989760 6.00 apollon103 .607 .683 43065344 9.50 apollon021 62.3   58.3   220672000 831    apollon140 13.7  3.78 474099712 121   apollon108 .0230  .0229  929792 .00458 apollon123 .0142  .0139  897024 .00464 apollon012 .0111  .0109  901120 .00702 apollon092
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c .539 .618 32186368 7.61 apollon160 .578 .565 43151360 7.70 apollon071 60.1   56.2   220831744 732    apollon061 13.7  3.69 606810112 97.0 apollon116 .0161  .0155  815104 .00482 apollon079 .0152  .0151  1040384 .00915 apollon125 .0133  .0131  991232 .0123  apollon049
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals_true-termination.c .505 .596 32247808 6.35 apollon015 .600 .591 47362048 7.39 apollon037 90.4   84.3   336965632 1020    apollon058 18.2  5.36 813236224 154   apollon120 .0249  .0248  901120 .00934 apollon028 .00806 .00792 888832 .0101  apollon047 .0119  .0117  897024 .00647 apollon118
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c .515 .591 31907840 6.19 apollon004 .583 .568 43274240 7.47 apollon162 89.2   83.0   288624640 981    apollon146 23.5  7.41 887918592 194   apollon052 .0113  .0111  966656 .00867 apollon137 .0122  .0122  925696 .00732 apollon061 .0117  .0116  843776 .0112  apollon167
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals_true-termination.c .508 .593 32108544 5.78 apollon041 .600 .590 42979328 6.81 apollon109 281     254     544489472 2720    apollon066 24.1  7.30 991338496 209   apollon152 .00675 .0101  761856 .00977 apollon125 .0152  .0148  995328 .00336 apollon116 .0172  .0181  753664 .00580 apollon060
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c .516 .599 32120832 7.48 apollon056 .598 .585 43233280 7.44 apollon165 259     241     530436096 2590    apollon043 25.9  8.28 1003433984 192   apollon121 .0144  .0140  856064 .00940 apollon027 .00882 .00873 1007616 .00000 apollon043 .0106  .0104  868352 .00000 apollon011
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c .625 .702 32210944 7.75 apollon095 .882 .873 69488640 11.3  apollon058 951     883     2452406272 8050    apollon138 52.4  26.9  2099777536 546   apollon044 .0133  .0132  1003520 .00354 apollon040 .0135  .0157  962560 .00391 apollon006 .0149  .0153  884736 .0107  apollon149
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c .641 .707 32141312 8.22 apollon031 .879 .874 71462912 10.6  apollon041 951     886     2409607168 8800    apollon040 75.0  47.7  2979119104 726   apollon168 .0128  .0262  1138688 .0195  apollon134 .0134  .0133  917504 .00964 apollon028 .0146  .0143  753664 .00971 apollon091
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c .761 .797 34054144 11.0  apollon008 .906 .893 71405568 11.6  apollon133 773     720     2433318912 7110    apollon086 42.6  18.4  1674416128 404   apollon120 .00964 .00948 876544 .0134  apollon052 .0258  .0319  884736 .0189  apollon007 .00752 .0112  1015808 .00000 apollon034
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c .762 .784 34131968 8.59 apollon123 .926 .902 71274496 11.9  apollon070 393     366     2362085376 3790    apollon051 37.4  14.2  1438404608 288   apollon157 .0144  .0141  995328 .00000 apollon037 .0103  .0101  1056768 .00635 apollon048 .0167  .0171  1015808 .00818 apollon009
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals_true-termination.c .781 .812 33648640 8.53 apollon098