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