array-examples/data_structures_set_multi_proc_false-unreach-call_ground.i |
false(unreach-call) |
2.99 |
2.83 |
117194752 |
36.6 |
apollon110 |
unknown |
2.52 |
1.07 |
272412672 |
23.6 |
apollon152 |
unknown |
2.05 |
.863 |
186466304 |
19.7 |
apollon146 |
array-examples/sorting_bubblesort_false-unreach-call2_ground.i |
false(unreach-call) |
2.38 |
2.32 |
95956992 |
31.8 |
apollon017 |
unknown |
2.48 |
1.06 |
266936320 |
22.8 |
apollon077 |
unknown |
1.92 |
.835 |
177684480 |
18.4 |
apollon067 |
array-examples/sorting_bubblesort_false-unreach-call_ground.i |
false(unreach-call) |
2.38 |
2.30 |
91672576 |
34.4 |
apollon014 |
unknown |
2.58 |
1.06 |
271364096 |
23.2 |
apollon146 |
unknown |
1.96 |
.847 |
182226944 |
17.1 |
apollon109 |
array-examples/sorting_selectionsort_false-unreach-call2_ground.i |
false(unreach-call) |
18.7 |
17.7 |
563429376 |
241 |
apollon126 |
unknown |
2.52 |
1.05 |
273469440 |
25.9 |
apollon021 |
unknown |
1.91 |
.853 |
188465152 |
18.2 |
apollon095 |
array-examples/sorting_selectionsort_false-unreach-call_ground.i |
false(unreach-call) |
119 |
118 |
662609920 |
1550 |
apollon046 |
unknown |
2.51 |
1.10 |
269996032 |
22.5 |
apollon070 |
unknown |
2.19 |
.931 |
184516608 |
19.6 |
apollon006 |
array-examples/standard_allDiff2_false-unreach-call_ground.i |
false(unreach-call) |
19.7 |
19.3 |
135065600 |
235 |
apollon153 |
unknown |
2.55 |
1.02 |
272674816 |
20.6 |
apollon100 |
unknown |
2.06 |
.838 |
178601984 |
16.5 |
apollon029 |
array-examples/standard_copy1_false-unreach-call_ground.i |
false(unreach-call) |
2.26 |
2.16 |
89886720 |
28.3 |
apollon082 |
unknown |
2.47 |
1.04 |
270622720 |
21.5 |
apollon012 |
unknown |
2.01 |
.846 |
185397248 |
16.6 |
apollon060 |
array-examples/standard_copy2_false-unreach-call_ground.i |
false(unreach-call) |
2.34 |
2.21 |
120496128 |
29.4 |
apollon093 |
unknown |
2.63 |
1.07 |
266743808 |
24.9 |
apollon044 |
unknown |
1.94 |
.840 |
186929152 |
19.0 |
apollon015 |
array-examples/standard_copy3_false-unreach-call_ground.i |
false(unreach-call) |
2.43 |
2.32 |
87076864 |
34.0 |
apollon044 |
unknown |
2.54 |
1.10 |
266362880 |
21.5 |
apollon157 |
unknown |
2.04 |
.861 |
180948992 |
18.0 |
apollon050 |
array-examples/standard_copy4_false-unreach-call_ground.i |
false(unreach-call) |
2.48 |
2.33 |
95789056 |
30.7 |
apollon120 |
unknown |
2.57 |
1.05 |
271839232 |
23.3 |
apollon112 |
unknown |
1.93 |
.841 |
184225792 |
18.5 |
apollon113 |
array-examples/standard_copy5_false-unreach-call_ground.i |
false(unreach-call) |
2.62 |
2.44 |
106938368 |
31.1 |
apollon074 |
unknown |
2.76 |
1.09 |
293363712 |
23.0 |
apollon025 |
unknown |
1.95 |
.844 |
179585024 |
17.6 |
apollon042 |
array-examples/standard_copy6_false-unreach-call_ground.i |
false(unreach-call) |
2.63 |
2.41 |
118546432 |
34.1 |
apollon114 |
unknown |
2.47 |
1.03 |
267083776 |
22.3 |
apollon120 |
unknown |
2.01 |
.848 |
185212928 |
21.2 |
apollon036 |
array-examples/standard_copy7_false-unreach-call_ground.i |
false(unreach-call) |
2.74 |
2.53 |
104001536 |
36.1 |
apollon112 |
unknown |
2.52 |
1.07 |
271093760 |
25.7 |
apollon057 |
unknown |
2.05 |
.850 |
181219328 |
17.8 |
apollon149 |
array-examples/standard_copy8_false-unreach-call_ground.i |
false(unreach-call) |
2.83 |
2.56 |
130199552 |
31.5 |
apollon104 |
unknown |
2.74 |
1.13 |
269246464 |
23.6 |
apollon015 |
unknown |
2.09 |
.907 |
191983616 |
16.3 |
apollon151 |
array-examples/standard_copy9_false-unreach-call_ground.i |
false(unreach-call) |
2.94 |
2.65 |
143265792 |
32.9 |
apollon127 |
unknown |
2.61 |
1.06 |
270417920 |
21.9 |
apollon045 |
unknown |
1.96 |
.852 |
179322880 |
17.1 |
apollon083 |
array-examples/standard_copyInitSum2_false-unreach-call_ground.i |
false(unreach-call) |
2.13 |
2.08 |
86757376 |
26.1 |
apollon121 |
unknown |
2.44 |
1.04 |
267759616 |
21.5 |
apollon085 |
unknown |
1.92 |
.848 |
183996416 |
16.7 |
apollon139 |
array-examples/standard_init1_false-unreach-call_ground.i |
false(unreach-call) |
2.02 |
1.98 |
85069824 |
24.4 |
apollon096 |
unknown |
2.45 |
1.04 |
267902976 |
20.9 |
apollon157 |
unknown |
1.89 |
.837 |
185896960 |
18.9 |
apollon019 |
array-examples/standard_init2_false-unreach-call_ground.i |
false(unreach-call) |
2.01 |
1.95 |
86298624 |
23.3 |
apollon115 |
unknown |
2.38 |
1.03 |
268550144 |
22.5 |
apollon067 |
unknown |
1.93 |
.837 |
185860096 |
19.5 |
apollon138 |
array-examples/standard_init3_false-unreach-call_ground.i |
false(unreach-call) |
2.05 |
1.98 |
87625728 |
25.7 |
apollon015 |
unknown |
2.47 |
1.02 |
271982592 |
25.8 |
apollon021 |
unknown |
1.87 |
.834 |
178978816 |
18.6 |
apollon114 |
array-examples/standard_init4_false-unreach-call_ground.i |
false(unreach-call) |
2.06 |
1.98 |
83079168 |
24.4 |
apollon119 |
unknown |
2.61 |
1.08 |
274423808 |
20.3 |
apollon089 |
unknown |
2.21 |
.939 |
183570432 |
20.2 |
apollon015 |
array-examples/standard_init5_false-unreach-call_ground.i |
false(unreach-call) |
2.07 |
1.98 |
86978560 |
25.5 |
apollon145 |
unknown |
2.56 |
1.04 |
266813440 |
22.3 |
apollon118 |
unknown |
1.89 |
.844 |
187420672 |
20.1 |
apollon163 |
array-examples/standard_init6_false-unreach-call_ground.i |
false(unreach-call) |
2.11 |
1.99 |
79605760 |
27.0 |
apollon138 |
unknown |
2.57 |
1.05 |
267812864 |
23.4 |
apollon152 |
unknown |
1.93 |
.845 |
183324672 |
17.7 |
apollon150 |
array-examples/standard_init7_false-unreach-call_ground.i |
false(unreach-call) |
2.11 |
1.98 |
84529152 |
27.4 |
apollon091 |
unknown |
2.48 |
1.04 |
269676544 |
25.6 |
apollon021 |
unknown |
2.01 |
.855 |
184045568 |
17.8 |
apollon050 |
array-examples/standard_init8_false-unreach-call_ground.i |
false(unreach-call) |
2.15 |
2.09 |
80961536 |
26.0 |
apollon075 |
unknown |
2.50 |
1.06 |
268128256 |
21.8 |
apollon018 |
unknown |
2.00 |
.846 |
181829632 |
18.4 |
apollon032 |
array-examples/standard_init9_false-unreach-call_ground.i |
false(unreach-call) |
2.20 |
2.12 |
113897472 |
27.2 |
apollon038 |
unknown |
2.54 |
1.05 |
269008896 |
26.2 |
apollon039 |
unknown |
1.97 |
.859 |
187891712 |
19.9 |
apollon048 |
array-examples/standard_minInArray_false-unreach-call_ground.i |
false(unreach-call) |
2.06 |
1.95 |
84926464 |
26.5 |
apollon138 |
unknown |
2.61 |
1.02 |
267812864 |
23.6 |
apollon015 |
unknown |
1.90 |
.834 |
186437632 |
16.7 |
apollon115 |
array-examples/standard_partition_false-unreach-call_ground.i |
false(unreach-call) |
2.34 |
2.24 |
87805952 |
25.7 |
apollon041 |
unknown |
2.51 |
1.06 |
268705792 |
21.6 |
apollon082 |
unknown |
2.00 |
.856 |
187297792 |
20.8 |
apollon056 |
array-examples/standard_running_false-unreach-call.i |
false(unreach-call) |
2.41 |
2.35 |
105861120 |
27.5 |
apollon143 |
unknown |
2.64 |
1.07 |
264208384 |
21.3 |
apollon053 |
unknown |
1.99 |
.908 |
179175424 |
17.2 |
apollon157 |
array-examples/data_structures_set_multi_proc_trivial_true-unreach-call_ground_true-termination.i |
true |
2.46 |
2.33 |
94326784 |
30.1 |
apollon018 |
unknown |
2.60 |
1.06 |
272642048 |
20.8 |
apollon151 |
unknown |
2.06 |
.863 |
186101760 |
17.3 |
apollon100 |
array-examples/data_structures_set_multi_proc_true-unreach-call_ground.i |
true |
881 |
880 |
217825280 |
11100 |
apollon049 |
unknown |
2.47 |
1.06 |
266264576 |
20.2 |
apollon117 |
unknown |
2.00 |
.852 |
188526592 |
18.9 |
apollon147 |
array-examples/relax_true-unreach-call.i |
true |
881 |
880 |
364322816 |
8470 |
apollon123 |
unknown |
6.31 |
2.05 |
316092416 |
54.9 |
apollon007 |
unknown |
3.61 |
1.18 |
248274944 |
31.3 |
apollon153 |
array-examples/sanfoundry_02_true-unreach-call_ground.i |
true |
1.58 |
1.52 |
87998464 |
17.8 |
apollon040 |
unknown |
2.54 |
1.05 |
269328384 |
20.6 |
apollon099 |
unknown |
1.98 |
.859 |
184479744 |
18.9 |
apollon055 |
array-examples/sanfoundry_10_true-unreach-call_ground.i |
true |
4.51 |
4.39 |
86851584 |
57.7 |
apollon078 |
unknown |
101 |
73.5 |
3730948096 |
1140 |
apollon018 |
unknown |
3.11 |
1.19 |
230285312 |
26.7 |
apollon006 |
array-examples/sanfoundry_24_true-unreach-call_true-termination.i |
true |
881 |
880 |
311324672 |
11200 |
apollon146 |
unknown |
2.46 |
1.05 |
268558336 |
22.1 |
apollon084 |
unknown |
1.94 |
.856 |
181616640 |
20.8 |
apollon160 |
array-examples/sanfoundry_27_true-unreach-call_ground.i |
true |
2.01 |
2.02 |
89694208 |
26.5 |
apollon138 |
unknown |
2.48 |
1.06 |
265367552 |
21.5 |
apollon072 |
unknown |
1.95 |
.849 |
187146240 |
20.2 |
apollon122 |
array-examples/sanfoundry_43_true-unreach-call_ground.i |
true |
1.37 |
1.37 |
71798784 |
16.6 |
apollon096 |
true |
2.53 |
1.05 |
266354688 |
25.7 |
apollon160 |
unknown |
.0211 |
.0219 |
888832 |
.00855 |
apollon094 |
array-examples/sorting_bubblesort_true-unreach-call_ground.i |
true |
22.8 |
22.5 |
139190272 |
282 |
apollon156 |
unknown |
2.53 |
1.08 |
269271040 |
21.5 |
apollon157 |
unknown |
1.92 |
.846 |
181248000 |
18.6 |
apollon076 |
array-examples/sorting_selectionsort_true-unreach-call_ground.i |
timeout |
882 |
981 |
765296640 |
11100 |
apollon046 |
unknown |
2.50 |
1.04 |
269221888 |
21.7 |
apollon026 |
unknown |
2.01 |
.876 |
190410752 |
17.8 |
apollon150 |
array-examples/standard_compareModified_true-unreach-call_ground.i |
true |
1.55 |
1.53 |
77062144 |
20.5 |
apollon019 |
unknown |
2.37 |
1.05 |
269266944 |
21.6 |
apollon087 |
unknown |
1.95 |
.845 |
180621312 |
18.9 |
apollon124 |
array-examples/standard_compare_true-unreach-call_ground.i |
true |
1.88 |
1.77 |
80769024 |
23.8 |
apollon024 |
unknown |
2.49 |
1.04 |
266219520 |
21.2 |
apollon002 |
unknown |
1.91 |
.830 |
183123968 |
18.8 |
apollon146 |
array-examples/standard_copy1_true-unreach-call_ground.i |
true |
2.21 |
2.15 |
85229568 |
34.4 |
apollon056 |
unknown |
2.46 |
1.06 |
264511488 |
21.5 |
apollon072 |
unknown |
1.88 |
.833 |
181116928 |
19.4 |
apollon020 |
array-examples/standard_copy2_true-unreach-call_ground.i |
true |
2.29 |
2.18 |
85991424 |
31.8 |
apollon148 |
unknown |
2.68 |
1.09 |
274247680 |
19.3 |
apollon158 |
unknown |
1.92 |
.837 |
182829056 |
18.1 |
apollon067 |
array-examples/standard_copy3_true-unreach-call_ground.i |
true |
2.42 |
2.33 |
82055168 |
29.8 |
apollon009 |
unknown |
2.48 |
1.05 |
263942144 |
23.7 |
apollon161 |
unknown |
1.98 |
.841 |
184422400 |
18.0 |
apollon070 |
array-examples/standard_copy4_true-unreach-call_ground.i |
true |
2.54 |
2.39 |
85958656 |
28.8 |
apollon089 |
unknown |
2.50 |
1.07 |
270069760 |
22.7 |
apollon093 |
unknown |
1.95 |
.831 |
177049600 |
18.6 |
apollon118 |
array-examples/standard_copy5_true-unreach-call_ground.i |
true |
2.76 |
2.68 |
90882048 |
35.2 |
apollon018 |
unknown |
2.54 |
1.08 |
270479360 |
23.8 |
apollon020 |
unknown |
1.94 |
.847 |
180998144 |
18.1 |
apollon119 |
array-examples/standard_copy6_true-unreach-call_ground.i |
true |
2.97 |
2.84 |
90656768 |
35.6 |
apollon157 |
unknown |
2.49 |
1.05 |
264380416 |
24.6 |
apollon081 |
unknown |
1.95 |
.842 |
183590912 |
19.6 |
apollon094 |
array-examples/standard_copy7_true-unreach-call_ground.i |
true |
3.05 |
2.94 |
94359552 |
35.6 |
apollon079 |
unknown |
2.72 |
1.06 |
294158336 |
23.9 |
apollon120 |
unknown |
2.09 |
.880 |
184020992 |
21.7 |
apollon036 |
array-examples/standard_copy8_true-unreach-call_ground.i |
true |
3.24 |
3.12 |
98054144 |
43.3 |
apollon019 |
unknown |
2.65 |
1.05 |
291987456 |
24.5 |
apollon077 |
unknown |
2.08 |
.882 |
184602624 |
17.1 |
apollon029 |
array-examples/standard_copy9_true-unreach-call_ground.i |
true |
3.28 |
3.14 |
105418752 |
39.7 |
apollon154 |
unknown |
2.56 |
1.06 |
270852096 |
22.6 |
apollon084 |
unknown |
2.00 |
.885 |
183652352 |
16.7 |
apollon134 |
array-examples/standard_copyInitSum2_true-unreach-call_ground.i |
true |
2.23 |
2.15 |
83595264 |
30.4 |
apollon132 |
unknown |
2.56 |
1.04 |
271286272 |
21.4 |
apollon045 |
unknown |
1.87 |
.820 |
179822592 |
17.8 |
apollon168 |
array-examples/standard_copyInitSum3_true-unreach-call_ground.i |
true |
2.68 |
2.56 |
88940544 |
29.4 |
apollon054 |
unknown |
2.48 |
1.06 |
270450688 |
21.2 |
apollon082 |
unknown |
1.97 |
.836 |
182804480 |
17.7 |
apollon001 |
array-examples/standard_copyInitSum_true-unreach-call_ground.i |
true |
2.15 |
2.12 |
79044608 |
30.1 |
apollon088 |
unknown |
2.49 |
1.05 |
270446592 |
24.7 |
apollon106 |
unknown |
2.00 |
.881 |
178814976 |
17.6 |
apollon157 |
array-examples/standard_copyInit_true-unreach-call_ground.i |
true |
1.93 |
1.88 |
83779584 |
22.2 |
apollon153 |
unknown |
2.46 |
1.09 |
266682368 |
24.3 |
apollon030 |
unknown |
1.91 |
.831 |
184811520 |
16.2 |
apollon083 |
array-examples/standard_find_true-unreach-call_ground.i |
true |
2.54 |
2.46 |
85991424 |
32.5 |
apollon135 |
unknown |
2.48 |
1.05 |
268480512 |
25.1 |
apollon057 |
unknown |
1.87 |
.833 |
181473280 |
16.4 |
apollon003 |
array-examples/standard_init1_true-unreach-call_ground.i |
true |
1.76 |
1.68 |
78725120 |
20.4 |
apollon086 |
unknown |
2.48 |
1.03 |
265166848 |
21.4 |
apollon095 |
unknown |
1.94 |
.823 |
178528256 |
16.3 |
apollon083 |
array-examples/standard_init2_true-unreach-call_ground.i |
true |
1.83 |
1.77 |
76128256 |
20.2 |
apollon098 |
unknown |
2.59 |
1.06 |
271470592 |
19.1 |
apollon092 |
unknown |
2.00 |
.836 |
181927936 |
17.9 |
apollon079 |
array-examples/standard_init3_true-unreach-call_ground.i |
true |
1.87 |
1.77 |
81928192 |
21.8 |
apollon086 |
unknown |
2.48 |
1.02 |
269938688 |
21.0 |
apollon058 |
unknown |
2.01 |
.921 |
184954880 |
17.0 |
apollon060 |
array-examples/standard_init4_true-unreach-call_ground.i |
true |
1.95 |
1.87 |
74272768 |
22.1 |
apollon116 |
unknown |
2.47 |
1.04 |
266502144 |
20.6 |
apollon127 |
unknown |
2.05 |
.876 |
180416512 |
18.4 |
apollon015 |
array-examples/standard_init5_true-unreach-call_ground.i |
true |
2.06 |
1.99 |
81645568 |
23.3 |
apollon109 |
unknown |
2.58 |
1.07 |
267907072 |
22.5 |
apollon142 |
unknown |
1.99 |
.848 |
184684544 |
19.1 |
apollon112 |
array-examples/standard_init6_true-unreach-call_ground.i |
true |
2.07 |
1.96 |
83742720 |
25.9 |
apollon038 |
unknown |
2.44 |
1.05 |
267489280 |
20.0 |
apollon098 |
unknown |
1.95 |
.866 |
180170752 |
19.2 |
apollon141 |
array-examples/standard_init7_true-unreach-call_ground.i |
true |
2.15 |
2.09 |
78585856 |
24.9 |
apollon025 |
unknown |
2.51 |
1.08 |
267612160 |
19.6 |
apollon151 |
unknown |
1.95 |
.867 |
187674624 |
16.6 |
apollon098 |
array-examples/standard_init8_true-unreach-call_ground.i |
true |
2.21 |
2.09 |
91521024 |
27.3 |
apollon162 |
unknown |
2.49 |
1.04 |
270630912 |
23.9 |
apollon047 |
unknown |
2.02 |
.881 |
185810944 |
17.6 |
apollon025 |
array-examples/standard_init9_true-unreach-call_ground.i |
true |
2.26 |
2.19 |
91865088 |
23.8 |
apollon092 |
unknown |
2.51 |
1.04 |
266563584 |
20.3 |
apollon043 |
unknown |
1.99 |
.847 |
190402560 |
17.3 |
apollon013 |
array-examples/standard_maxInArray_true-unreach-call_ground.i |
true |
2.05 |
1.96 |
81076224 |
24.0 |
apollon131 |
unknown |
2.48 |
1.03 |
268001280 |
22.4 |
apollon168 |
unknown |
1.95 |
.832 |
186232832 |
17.5 |
apollon034 |
array-examples/standard_minInArray_true-unreach-call_ground.i |
true |
2.06 |
1.95 |
80850944 |
26.9 |
apollon152 |
unknown |
2.65 |
1.04 |
269180928 |
21.1 |
apollon042 |
unknown |
1.94 |
.836 |
187297792 |
17.1 |
apollon065 |
array-examples/standard_palindrome_true-unreach-call_ground.i |
true |
1.63 |
1.57 |
73711616 |
18.6 |
apollon073 |
unknown |
2.54 |
1.05 |
273584128 |
19.8 |
apollon151 |
unknown |
1.96 |
.824 |
184053760 |
19.9 |
apollon080 |
array-examples/standard_partial_init_true-unreach-call_ground.i |
true |
122 |
121 |
100683776 |
1770 |
apollon033 |
unknown |
2.67 |
1.11 |
270290944 |
25.1 |
apollon106 |
unknown |
1.99 |
.835 |
184791040 |
17.8 |
apollon079 |
array-examples/standard_partition_original_true-unreach-call_ground.i |
true |
64.3 |
64.2 |
98963456 |
825 |
apollon105 |
unknown |
2.73 |
1.17 |
270344192 |
22.4 |
apollon168 |
unknown |
1.94 |
.846 |
180424704 |
17.4 |
apollon018 |
array-examples/standard_partition_true-unreach-call_ground.i |
true |
21.6 |
21.6 |
88215552 |
273 |
apollon166 |
unknown |
2.50 |
1.05 |
271712256 |
21.1 |
apollon053 |
unknown |
1.94 |
.831 |
184958976 |
16.9 |
apollon100 |
array-examples/standard_password_true-unreach-call_ground.i |
true |
1.89 |
1.77 |
87425024 |
21.1 |
apollon002 |
unknown |
2.42 |
1.03 |
269025280 |
22.2 |
apollon038 |
unknown |
1.99 |
.860 |
181092352 |
19.0 |
apollon010 |
array-examples/standard_reverse_true-unreach-call_ground.i |
true |
1.85 |
1.76 |
86831104 |
21.6 |
apollon050 |
unknown |
2.55 |
1.06 |
269656064 |
24.2 |
apollon161 |
unknown |
1.91 |
.832 |
188551168 |
17.9 |
apollon142 |
array-examples/standard_running_true-unreach-call.i |
true |
1.86 |
1.83 |
72220672 |
22.9 |
apollon097 |
unknown |
2.48 |
1.05 |
271241216 |
20.7 |
apollon133 |
unknown |
1.86 |
.840 |
178601984 |
19.0 |
apollon048 |
array-examples/standard_sentinel_true-unreach-call_true-termination.i |
true |
1.80 |
1.78 |
88297472 |
22.1 |
apollon067 |
unknown |
2.45 |
1.03 |
268648448 |
22.5 |
apollon032 |
unknown |
1.94 |
.852 |
185548800 |
19.2 |
apollon088 |
array-examples/standard_seq_init_true-unreach-call_ground.i |
true |
1.95 |
1.88 |
80482304 |
22.0 |
apollon012 |
unknown |
2.47 |
1.06 |
270946304 |
21.4 |
apollon042 |
unknown |
1.92 |
.836 |
178462720 |
20.5 |
apollon160 |
array-examples/standard_strcmp_true-unreach-call_ground.i |
true |
1.84 |
1.75 |
75431936 |
22.8 |
apollon076 |
unknown |
2.66 |
1.05 |
295841792 |
24.4 |
apollon076 |
unknown |
1.94 |
.842 |
183525376 |
20.1 |
apollon014 |
array-examples/standard_strcpy_original_true-unreach-call.i |
true |
6.34 |
6.19 |
99090432 |
77.7 |
apollon129 |
unknown |
2.57 |
1.07 |
264450048 |
23.6 |
apollon081 |
unknown |
1.93 |
.848 |
188014592 |
18.1 |
apollon070 |
array-examples/standard_strcpy_true-unreach-call_ground.i |
true |
4.34 |
4.19 |
96313344 |
65.3 |
apollon160 |
unknown |
2.48 |
1.02 |
269180928 |
23.9 |
apollon007 |
unknown |
2.06 |
.918 |
190164992 |
19.4 |
apollon145 |
array-examples/standard_two_index_01_true-unreach-call.i |
timeout |
883 |
981 |
1078530048 |
10700 |
apollon066 |
unknown |
2.47 |
1.03 |
271372288 |
24.1 |
apollon014 |
unknown |
1.89 |
.827 |
180523008 |
18.0 |
apollon105 |
array-examples/standard_two_index_02_true-unreach-call.i |
true |
1.75 |
1.69 |
78721024 |
21.9 |
apollon006 |
unknown |
2.55 |
1.06 |
266633216 |
22.9 |
apollon167 |
unknown |
2.06 |
.851 |
183578624 |
17.3 |
apollon075 |
array-examples/standard_two_index_03_true-unreach-call.i |
timeout |
899 |
981 |
4204302336 |
12100 |
apollon142 |
unknown |
2.57 |
1.06 |
266534912 |
20.9 |
apollon025 |
unknown |
1.94 |
.830 |
188764160 |
16.6 |
apollon104 |
array-examples/standard_two_index_04_true-unreach-call.i |
true |
1.65 |
1.58 |
81285120 |
21.5 |
apollon108 |
unknown |
2.53 |
1.04 |
268087296 |
25.4 |
apollon057 |
unknown |
1.91 |
.843 |
182349824 |
18.7 |
apollon148 |
array-examples/standard_two_index_05_true-unreach-call.i |
true |
1.64 |
1.58 |
83480576 |
22.2 |
apollon008 |
unknown |
2.46 |
1.02 |
268779520 |
20.8 |
apollon058 |
unknown |
1.91 |
.834 |
179195904 |
18.1 |
apollon105 |
array-examples/standard_two_index_06_true-unreach-call.i |
timeout |
889 |
981 |
1182683136 |
10900 |
apollon137 |
unknown |
2.44 |
1.04 |
266018816 |
20.2 |
apollon123 |
unknown |
1.94 |
.838 |
180895744 |
16.6 |
apollon029 |
array-examples/standard_two_index_07_true-unreach-call.i |
true |
1.62 |
1.55 |
83574784 |
17.5 |
apollon151 |
unknown |
2.48 |
1.04 |
269139968 |
22.3 |
apollon142 |
unknown |
2.00 |
.885 |
182927360 |
18.2 |
apollon138 |
array-examples/standard_two_index_08_true-unreach-call.i |
true |
1.64 |
1.58 |
79179776 |
18.1 |
apollon116 |
unknown |
2.51 |
1.04 |
269012992 |
22.7 |
apollon032 |
unknown |
1.98 |
.842 |
182222848 |
18.2 |
apollon049 |
array-examples/standard_two_index_09_true-unreach-call.i |
true |
1.59 |
1.55 |
78483456 |
17.1 |
apollon092 |
unknown |
2.50 |
1.05 |
267792384 |
21.2 |
apollon157 |
unknown |
1.96 |
.827 |
183750656 |
17.1 |
apollon129 |
array-examples/standard_vararg_true-unreach-call_ground_true-termination.i |
true |
881 |
880 |
481140736 |
10400 |
apollon131 |
unknown |
2.47 |
1.03 |
272302080 |
21.7 |
apollon004 |
unknown |
1.92 |
.836 |
187658240 |
17.2 |
apollon115 |
array-examples/standard_vector_difference_true-unreach-call_ground.i |
true |
2.26 |
2.15 |
87310336 |
30.3 |
apollon048 |
unknown |
2.44 |
1.03 |
263282688 |
22.9 |
apollon015 |
unknown |
1.91 |
.841 |
182185984 |
16.9 |
apollon018 |
array-industry-pattern/array_assert_loop_dep_false-unreach-call_true-termination.i |
false(unreach-call) |
2.03 |
1.96 |
93413376 |
29.9 |
apollon021 |
unknown |
2.58 |
1.05 |
270540800 |
25.9 |
apollon039 |
unknown |
1.89 |
.841 |
187633664 |
15.7 |
apollon158 |
array-industry-pattern/array_of_struct_loop_dep_false-unreach-call.i |
false(unreach-call) |
2.05 |
1.97 |
80846848 |
23.3 |
apollon115 |
unknown |
101 |
72.2 |
3686895616 |
1160 |
apollon141 |
unknown |
2.73 |
.997 |
225804288 |
20.8 |
apollon158 |
array-industry-pattern/array_ptr_single_elem_init_false-unreach-call_true-termination.i |
false(unreach-call) |
2.75 |
2.61 |
91660288 |
34.0 |
apollon153 |
unknown |
2.56 |
1.10 |
267821056 |
21.8 |
apollon011 |
unknown |
1.96 |
.832 |
182145024 |
20.8 |
apollon039 |
array-industry-pattern/array_range_init_false-unreach-call.i |
false(unreach-call) |
2.05 |
1.98 |
83017728 |
23.9 |
apollon025 |
unknown |
2.48 |
1.04 |
265711616 |
22.6 |
apollon168 |
unknown |
1.96 |
.868 |
188706816 |
17.2 |
apollon115 |
array-industry-pattern/array_single_elem_init_false-unreach-call_true-termination.i |
false(unreach-call) |
2.72 |
2.61 |
100745216 |
32.0 |
apollon013 |
unknown |
2.49 |
1.04 |
269717504 |
24.6 |
apollon016 |
unknown |
1.97 |
.836 |
177455104 |
19.8 |
apollon124 |
array-industry-pattern/check_removal_from_set_after_insertion_false-unreach-call.i |
false(unreach-call) |
5.13 |
4.88 |
102281216 |
71.2 |
apollon077 |
unknown |
101 |
71.3 |
3689865216 |
1060 |
apollon025 |
unknown |
4.98 |
1.46 |
269737984 |
40.1 |
apollon081 |
array-industry-pattern/array_monotonic_true-unreach-call_true-termination.i |
true |
1.77 |
1.68 |
73314304 |
18.2 |
apollon158 |
unknown |
2.51 |
1.08 |
267730944 |
21.8 |
apollon121 |
unknown |
1.85 |
.829 |
178204672 |
18.9 |
apollon048 |
array-industry-pattern/array_mul_init_true-unreach-call_true-termination.i |
timeout |
881 |
981 |
168718336 |
11400 |
apollon102 |
unknown |
2.46 |
1.04 |
265089024 |
21.1 |
apollon157 |
unknown |
1.95 |
.841 |
178499584 |
16.7 |
apollon149 |
array-industry-pattern/array_of_struct_break_true-unreach-call.i |
true |
1.86 |
1.78 |
84267008 |
23.3 |
apollon101 |
unknown |
101 |
73.8 |
3707666432 |
1050 |
apollon100 |
unknown |
2.26 |
.922 |
215719936 |
19.3 |
apollon082 |
array-industry-pattern/array_of_struct_ptr_cond_init_true-unreach-call.i |
true |
4.32 |
4.16 |
91897856 |
49.8 |
apollon043 |
unknown |
101 |
77.5 |
3476049920 |
1180 |
apollon085 |
unknown |
3.67 |
1.21 |
250294272 |
29.7 |
apollon104 |
array-industry-pattern/array_of_struct_ptr_flag_init_true-unreach-call.i |
true |
1.97 |
1.86 |
76898304 |
23.9 |
apollon096 |
unknown |
101 |
74.5 |
3696898048 |
1040 |
apollon128 |
unknown |
3.41 |
1.14 |
236822528 |
25.5 |
apollon041 |
array-industry-pattern/array_of_struct_ptr_monotonic_true-unreach-call.i |
true |
2.01 |
1.97 |
83828736 |
26.2 |
apollon024 |
unknown |
101 |
78.2 |
3546808320 |
1180 |
apollon011 |
unknown |
4.04 |
1.33 |
250548224 |
32.1 |
apollon096 |
array-industry-pattern/array_of_struct_ptr_mul_init_true-unreach-call.i |
timeout |
880 |
981 |
682475520 |
9750 |
apollon135 |
unknown |
101 |
72.5 |
3717758976 |
1100 |
apollon156 |
unknown |
3.60 |
1.18 |
251551744 |
30.8 |
apollon074 |
array-industry-pattern/array_of_struct_single_elem_init_true-unreach-call.i |
true |
7.57 |
7.40 |
93200384 |
111 |
apollon030 |
unknown |
101 |
73.4 |
3714146304 |
975 |
apollon054 |
unknown |
2.32 |
.942 |
219942912 |
23.2 |
apollon126 |
array-industry-pattern/array_ptr_partial_init_true-unreach-call.i |
true |
1.77 |
1.66 |
90251264 |
21.3 |
apollon095 |
unknown |
101 |
74.9 |
3696025600 |
1100 |
apollon012 |
unknown |
2.25 |
.915 |
223973376 |
22.7 |
apollon108 |
array-industry-pattern/array_ptr_single_elem_init_true-unreach-call.i |
true |
14.4 |
14.3 |
106528768 |
183 |
apollon156 |
unknown |
101 |
75.4 |
3036516352 |
1050 |
apollon128 |
unknown |
3.71 |
1.20 |
252182528 |
26.8 |
apollon063 |
array-industry-pattern/array_shadowinit_true-unreach-call_true-termination.i |
true |
881 |
880 |
386650112 |
13500 |
apollon161 |
unknown |
101 |
76.0 |
3866857472 |
1240 |
apollon140 |
unknown |
1.82 |
.787 |
180068352 |
15.1 |
apollon040 |
reducercommutativity/rangesum05_false-unreach-call_true-termination.i |
false(unreach-call) |
1.87 |
1.78 |
87379968 |
23.7 |
apollon141 |
false(unreach-call) |
7.69 |
2.37 |
413929472 |
56.8 |
apollon043 |
unknown |
.0138 |
.0142 |
921600 |
.00922 |
apollon134 |
reducercommutativity/rangesum10_false-unreach-call_true-termination.i |
false(unreach-call) |
2.00 |
1.91 |
79044608 |
27.3 |
apollon148 |
false(unreach-call) |
12.5 |
3.47 |
480616448 |
107 |
apollon125 |
unknown |
.00873 |
.00866 |
872448 |
.00775 |
apollon060 |
reducercommutativity/rangesum20_false-unreach-call.i |
false(unreach-call) |
2.34 |
2.17 |
89227264 |
27.9 |
apollon078 |
false(unreach-call) |
31.2 |
7.98 |
1050562560 |
247 |
apollon018 |
unknown |
.00981 |
.00987 |
905216 |
.00531 |
apollon044 |
reducercommutativity/rangesum40_false-unreach-call.i |
false(unreach-call) |
3.27 |
3.02 |
123273216 |
37.8 |
apollon157 |
false(unreach-call) |
59.3 |
28.1 |
2526670848 |
580 |
apollon152 |
unknown |
.00879 |
.00870 |
942080 |
.00793 |
apollon045 |
reducercommutativity/rangesum60_false-unreach-call.i |
false(unreach-call) |
4.90 |
4.67 |
184901632 |
57.4 |
apollon037 |
unknown |
101 |
62.0 |
3709898752 |
998 |
apollon086 |
unknown |
5.75 |
1.75 |
374288384 |
48.0 |
apollon067 |
reducercommutativity/rangesum_false-unreach-call_true-termination.i |
false(unreach-call) |
12.5 |
12.3 |
87617536 |
154 |
apollon120 |
false(unreach-call) |
8.10 |
2.38 |
463929344 |
73.3 |
apollon057 |
unknown |
.0110 |
.0112 |
880640 |
.00848 |
apollon061 |
reducercommutativity/avg05_true-unreach-call_true-termination.i |
true |
1.40 |
1.38 |
73424896 |
15.8 |
apollon109 |
unknown |
101 |
71.8 |
4092358656 |
1120 |
apollon020 |
unknown |
2.46 |
.926 |
231755776 |
18.8 |
apollon089 |
reducercommutativity/avg10_true-unreach-call_true-termination.i |
true |
1.41 |
1.35 |
73551872 |
16.9 |
apollon073 |
unknown |
101 |
67.7 |
4059254784 |
878 |
apollon158 |
unknown |
2.34 |
.944 |
226168832 |
21.8 |
apollon091 |
reducercommutativity/avg20_true-unreach-call.i |
true |
1.56 |
1.51 |
86564864 |
19.5 |
apollon051 |
unknown |
101 |
61.5 |
2672193536 |
894 |
apollon009 |
unknown |
2.50 |
.966 |
226234368 |
20.0 |
apollon003 |
reducercommutativity/avg40_true-unreach-call.i |
true |
2.02 |
1.95 |
128458752 |
25.2 |
apollon101 |
false(unreach-call) |
65.4 |
32.7 |
2740805632 |
684 |
apollon030 |
unknown |
.0117 |
.0114 |
794624 |
.00909 |
apollon162 |
reducercommutativity/avg60_true-unreach-call.i |
true |
2.91 |
2.80 |
208121856 |
33.1 |
apollon045 |
unknown |
101 |
70.1 |
3723132928 |
1230 |
apollon007 |
unknown |
4.77 |
1.47 |
269803520 |
38.3 |
apollon086 |
reducercommutativity/avg_true-unreach-call_true-termination.i |
true |
880 |
880 |
140701696 |
12300 |
apollon164 |
unknown |
101 |
70.6 |
4207607808 |
984 |
apollon040 |
unknown |
2.16 |
.873 |
221143040 |
21.8 |
apollon122 |
reducercommutativity/max05_true-unreach-call_true-termination.i |
true |
1.41 |
1.37 |
71598080 |
16.4 |
apollon137 |
unknown |
101 |
82.2 |
1129910272 |
796 |
apollon101 |
unknown |
2.18 |
.896 |
200183808 |
19.2 |
apollon127 |
reducercommutativity/max10_true-unreach-call_true-termination.i |
true |
1.64 |
1.57 |
77209600 |
20.0 |
apollon156 |
unknown |
102 |
81.1 |
1571536896 |
1150 |
apollon085 |
unknown |
3.57 |
1.18 |
246034432 |
30.9 |
apollon113 |
reducercommutativity/max20_true-unreach-call.i |
true |
3.73 |
3.67 |
100577280 |
51.9 |
apollon014 |
unknown |
102 |
59.7 |
3975331840 |
1160 |
apollon160 |
unknown |
4.12 |
1.31 |
270905344 |
32.8 |
apollon110 |
reducercommutativity/max40_true-unreach-call.i |
true |
27.2 |
27.2 |
182542336 |
224 |
apollon163 |
false(unreach-call) |
65.6 |
33.5 |
2954465280 |
555 |
apollon158 |
unknown |
.0126 |
.0139 |
1015808 |
.00000 |
apollon167 |
reducercommutativity/max60_true-unreach-call.i |
true |
168 |
168 |
325648384 |
1280 |
apollon155 |
unknown |
101 |
70.4 |
3720253440 |
1150 |
apollon052 |
unknown |
1.87 |
.794 |
173367296 |
14.5 |
apollon092 |
reducercommutativity/max_true-unreach-call_true-termination.i |
true |
881 |
880 |
389709824 |
10500 |
apollon162 |
unknown |
101 |
78.1 |
3196026880 |
1100 |
apollon162 |
unknown |
2.29 |
.916 |
221200384 |
23.9 |
apollon036 |
reducercommutativity/sep05_true-unreach-call_true-termination.i |
true |
1.41 |
1.37 |
66670592 |
18.9 |
apollon148 |
unknown |
101 |
73.4 |
3047858176 |
879 |
apollon076 |
unknown |
2.72 |
1.02 |
233156608 |
20.4 |
apollon054 |
reducercommutativity/sep10_true-unreach-call.i |
true |
2.23 |
2.17 |
77316096 |
30.4 |
apollon010 |
unknown |
101 |
79.6 |
2550169600 |
1090 |
apollon045 |
unknown |
3.77 |
1.25 |
252813312 |
31.1 |
apollon012 |
reducercommutativity/sep20_true-unreach-call.i |
timeout |
881 |
981 |
102166528 |
11400 |
apollon066 |
unknown |
101 |
38.3 |
3863842816 |
771 |
apollon005 |
unknown |
4.74 |
1.41 |
268906496 |
40.8 |
apollon021 |
reducercommutativity/sep40_true-unreach-call.i |
timeout |
881 |
981 |
161058816 |
12700 |
apollon164 |
false(unreach-call) |
68.5 |
36.4 |
3073941504 |
653 |
apollon107 |
unknown |
.0139 |
.0136 |
966656 |
.00787 |
apollon118 |
reducercommutativity/sep60_true-unreach-call.i |
timeout |
881 |
981 |
243929088 |
11000 |
apollon142 |
unknown |
101 |
68.4 |
3695423488 |
1020 |
apollon002 |
unknown |
6.57 |
2.05 |
404951040 |
53.0 |
apollon101 |
reducercommutativity/sep_true-unreach-call_true-termination.i |
true |
881 |
880 |
173297664 |
10600 |
apollon099 |
unknown |
101 |
70.5 |
3884142592 |
1100 |
apollon018 |
unknown |
2.23 |
.913 |
218071040 |
21.6 |
apollon167 |
reducercommutativity/sum05_true-unreach-call_true-termination.i |
true |
1.38 |
1.37 |
75132928 |
16.5 |
apollon133 |
unknown |
101 |
80.1 |
3679051776 |
1130 |
apollon086 |
unknown |
2.31 |
.912 |
195964928 |
21.0 |
apollon052 |
reducercommutativity/sum10_true-unreach-call_true-termination.i |
true |
1.40 |
1.36 |
77434880 |
17.9 |
apollon138 |
unknown |
101 |
70.7 |
4019585024 |
1120 |
apollon071 |
unknown |
2.32 |
.914 |
202952704 |
21.8 |
apollon141 |
reducercommutativity/sum20_true-unreach-call.i |
true |
1.56 |
1.53 |
83947520 |
18.1 |
apollon110 |
unknown |
101 |
62.1 |
2938724352 |
817 |
apollon092 |
unknown |
2.45 |
.944 |
226934784 |
21.8 |
apollon061 |
reducercommutativity/sum40_true-unreach-call.i |
true |
1.99 |
1.92 |
127651840 |
23.4 |
apollon037 |
false(unreach-call) |
62.7 |
31.0 |
2867589120 |
603 |
apollon120 |
unknown |
.0242 |
.0249 |
978944 |
.00879 |
apollon077 |
reducercommutativity/sum60_true-unreach-call.i |
true |
2.82 |
2.69 |
205594624 |
32.2 |
apollon149 |
unknown |
101 |
71.0 |
3711438848 |
1110 |
apollon162 |
unknown |
4.97 |
1.55 |
299683840 |
42.7 |
apollon065 |
reducercommutativity/sum_true-unreach-call_true-termination.i |
true |
881 |
880 |
374673408 |
11400 |
apollon108 |
unknown |
101 |
76.1 |
3641413632 |
1170 |
apollon038 |
unknown |
2.17 |
.865 |
187572224 |
19.1 |
apollon082 |
array-tiling/mlceu_false-unreach-call.i |
true |
882 |
880 |
199884800 |
7810 |
apollon048 |
unknown |
3.63 |
1.50 |
282714112 |
31.9 |
apollon084 |
unknown |
2.35 |
.929 |
215633920 |
19.0 |
apollon042 |
array-tiling/skippedu_false-unreach-call.i |
false(unreach-call) |
2.06 |
2.02 |
90648576 |
23.7 |
apollon045 |
false(unreach-call) |
3.63 |
1.44 |
288727040 |
31.1 |
apollon026 |
unknown |
.00750 |
.0104 |
880640 |
.00000 |
apollon113 |
array-tiling/mbpr2_true-unreach-call.i |
true |
881 |
880 |
431751168 |
11900 |
apollon047 |
unknown |
101 |
67.8 |
3743059968 |
1150 |
apollon081 |
unknown |
2.37 |
.977 |
221503488 |
23.5 |
apollon126 |
array-tiling/mbpr3_true-unreach-call.i |
true |
881 |
880 |
435212288 |
9200 |
apollon151 |
unknown |
101 |
65.5 |
3797508096 |
1140 |
apollon007 |
unknown |
2.41 |
.956 |
223678464 |
22.6 |
apollon145 |
array-tiling/mbpr4_true-unreach-call.i |
timeout |
881 |
981 |
477749248 |
11900 |
apollon148 |
unknown |
101 |
68.1 |
3704430592 |
958 |
apollon151 |
unknown |
2.41 |
.939 |
222670848 |
20.8 |
apollon002 |
array-tiling/mbpr5_true-unreach-call.i |
timeout |
881 |
981 |
549486592 |
9720 |
apollon114 |
unknown |
101 |
72.4 |
3754287104 |
1260 |
apollon014 |
unknown |
1.83 |
.802 |
177565696 |
17.2 |
apollon165 |
array-tiling/nr2_true-unreach-call.i |
true |
881 |
880 |
363339776 |
10700 |
apollon103 |
unknown |
101 |
69.6 |
3708661760 |
1020 |
apollon042 |
unknown |
2.48 |
1.01 |
220352512 |
21.3 |
apollon103 |
array-tiling/nr3_true-unreach-call.i |
true |
881 |
880 |
365608960 |
10800 |
apollon079 |
unknown |
101 |
72.0 |
3858083840 |
1190 |
apollon167 |
unknown |
2.32 |
.911 |
230817792 |
19.7 |
apollon115 |
array-tiling/nr4_true-unreach-call.i |
true |
881 |
880 |
397660160 |
10600 |
apollon075 |
unknown |
101 |
69.1 |
3838636032 |
1040 |
apollon034 |
unknown |
2.14 |
.864 |
196751360 |
20.5 |
apollon006 |
array-tiling/nr5_true-unreach-call.i |
true |
881 |
880 |
396005376 |
9490 |
apollon037 |
unknown |
101 |
64.7 |
3552428032 |
894 |
apollon158 |
unknown |
2.08 |
.860 |
190996480 |
19.4 |
apollon064 |
array-tiling/pnr2_true-unreach-call.i |
true |
881 |
880 |
200912896 |
11200 |
apollon034 |
unknown |
101 |
70.1 |
3902996480 |
1130 |
apollon146 |
unknown |
2.18 |
.860 |
191533056 |
19.2 |
apollon121 |
array-tiling/pnr3_true-unreach-call.i |
true |
881 |
880 |
207626240 |
12000 |
apollon101 |
unknown |
101 |
61.8 |
4284567552 |
1070 |
apollon091 |
unknown |
2.03 |
.836 |
184807424 |
19.9 |
apollon081 |
array-tiling/pnr4_true-unreach-call.i |
true |
881 |
880 |
233730048 |
11700 |
apollon142 |
unknown |
101 |
65.1 |
4213096448 |
1030 |
apollon146 |
unknown |
2.12 |
.873 |
188686336 |
20.1 |
apollon067 |
array-tiling/pnr5_true-unreach-call.i |
true |
881 |
880 |
222658560 |
11900 |
apollon101 |
unknown |
105 |
58.6 |
4311687168 |
965 |
apollon082 |
unknown |
2.19 |
.859 |
191823872 |
17.9 |
apollon115 |
array-tiling/poly1_true-unreach-call.i |
true |
881 |
880 |
665432064 |
8140 |
apollon093 |
unknown |
101 |
75.9 |
2480005120 |
992 |
apollon079 |
unknown |
2.27 |
.871 |
221843456 |
19.3 |
apollon078 |
array-tiling/poly2_true-unreach-call.i |
error (1) |
.134 |
.134 |
20770816 |
1.36 |
apollon094 |
unknown |
101 |
70.5 |
3057106944 |
999 |
apollon002 |
unknown |
2.11 |
.857 |
191778816 |
20.1 |
apollon031 |
array-tiling/pr2_true-unreach-call.i |
true |
881 |
880 |
394969088 |
10300 |
apollon128 |
unknown |
101 |
71.5 |
3607281664 |
1170 |
apollon164 |
unknown |
2.37 |
.960 |
225103872 |
19.4 |
apollon115 |
array-tiling/pr3_true-unreach-call.i |
true |
881 |
880 |
443740160 |
11600 |
apollon052 |
unknown |
101 |
76.4 |
3561402368 |
1100 |
apollon079 |
unknown |
2.81 |
.995 |
230637568 |
22.2 |
apollon123 |
array-tiling/pr4_true-unreach-call.i |
true |
881 |
880 |
426307584 |
10200 |
apollon127 |
unknown |
101 |
72.8 |
3111403520 |
1090 |
apollon078 |
unknown |
2.77 |
1.02 |
229724160 |
23.2 |
apollon018 |
array-tiling/pr5_true-unreach-call.i |
true |
881 |
880 |
430215168 |
11200 |
apollon087 |
unknown |
101 |
76.9 |
3330641920 |
1260 |
apollon019 |
unknown |
3.31 |
1.12 |
238997504 |
25.1 |
apollon115 |
array-tiling/revcpyswp2_true-unreach-call.i |
true |
881 |
880 |
295682048 |
9790 |
apollon118 |
unknown |
101 |
75.9 |
3419410432 |
1100 |
apollon086 |
unknown |
2.28 |
.938 |
223633408 |
20.7 |
apollon130 |
array-tiling/rew_true-unreach-call.i |
true |
881 |
880 |
437325824 |
11300 |
apollon011 |
unknown |
102 |
68.0 |
3862368256 |
1050 |
apollon058 |
unknown |
2.12 |
.856 |
188383232 |
18.4 |
apollon032 |
array-tiling/rewnif_true-unreach-call.i |
true |
881 |
880 |
405352448 |
10700 |
apollon045 |
unknown |
101 |
71.0 |
3374350336 |
1250 |
apollon044 |
unknown |
2.51 |
.939 |
222904320 |
21.9 |
apollon146 |
array-tiling/rewnifrev2_true-unreach-call.i |
true |
881 |
880 |
328425472 |
10700 |
apollon099 |
unknown |
101 |
74.7 |
2781618176 |
1150 |
apollon095 |
unknown |
2.23 |
.880 |
224464896 |
20.3 |
apollon065 |
array-tiling/rewnifrev_true-unreach-call.i |
true |
881 |
880 |
328441856 |
11000 |
apollon062 |
unknown |
101 |
76.7 |
2974679040 |
1130 |
apollon119 |
unknown |
2.03 |
.852 |
188817408 |
19.7 |
apollon020 |
array-tiling/rewrev_true-unreach-call.i |
true |
881 |
880 |
293990400 |
10300 |
apollon098 |
unknown |
101 |
77.2 |
2405355520 |
1040 |
apollon151 |
unknown |
2.34 |
.925 |
224796672 |
22.0 |
apollon148 |
array-tiling/skipped_true-unreach-call.i |
true |
881 |
880 |
226840576 |
10700 |
apollon157 |
unknown |
101 |
66.6 |
4037947392 |
1020 |
apollon032 |
unknown |
2.50 |
.963 |
225587200 |
20.5 |
apollon040 |
array-tiling/tcpy_true-unreach-call.i |
true |
881 |
880 |
290349056 |
12200 |
apollon005 |
unknown |
101 |
71.5 |
3962458112 |
1260 |
apollon161 |
unknown |
2.03 |
.855 |
186929152 |
18.5 |
apollon034 |
array-programs/copysome1_false-unreach-call.i |
timeout |
884 |
981 |
863473664 |
12200 |
apollon164 |
unknown |
2.65 |
1.04 |
291065856 |
24.0 |
apollon077 |
unknown |
1.91 |
.842 |
183808000 |
18.8 |
apollon091 |
array-programs/copysome2_false-unreach-call.i |
timeout |
884 |
981 |
905428992 |
10600 |
apollon041 |
unknown |
2.45 |
1.04 |
270254080 |
20.2 |
apollon099 |
unknown |
2.00 |
.839 |
184893440 |
17.8 |
apollon075 |
array-programs/copysome1_true-unreach-call.i |
timeout |
884 |
981 |
881954816 |
12600 |
apollon028 |
unknown |
2.71 |
1.05 |
290291712 |
23.2 |
apollon034 |
unknown |
1.96 |
.884 |
182304768 |
17.2 |
apollon002 |
array-programs/copysome2_true-unreach-call.i |
timeout |
884 |
981 |
952668160 |
12100 |
apollon138 |
unknown |
2.42 |
1.05 |
268816384 |
20.6 |
apollon127 |
unknown |
1.98 |
.866 |
183775232 |
20.2 |
apollon148 |
bitvector/byte_add_false-unreach-call_true-no-overflow_true-termination.i |
false(unreach-call) |
5.00 |
4.81 |
134639616 |
62.0 |
apollon082 |
unknown |
5.26 |
1.83 |
301273088 |
44.9 |
apollon165 |
unknown |
3.23 |
1.15 |
239124480 |
28.3 |
apollon006 |
bitvector/sum02_false-unreach-call_true-no-overflow.i |
error (1) |
882 |
882 |
445341696 |
11200 |
apollon087 |
unknown |
3.52 |
1.47 |
280109056 |
30.1 |
apollon082 |
unknown |
2.11 |
.855 |
200888320 |
19.6 |
apollon006 |
bitvector/byte_add_1_true-unreach-call_true-no-overflow_true-termination.i |
true |
12.1 |
11.9 |
149327872 |
143 |
apollon129 |
unknown |
6.03 |
2.09 |
319234048 |
51.7 |
apollon091 |
unknown |
3.13 |
1.10 |
239513600 |
30.5 |
apollon108 |
bitvector/byte_add_2_true-unreach-call_true-no-overflow_true-termination.i |
true |
15.1 |
15.0 |
153346048 |
180 |
apollon061 |
unknown |
5.73 |
1.89 |
317952000 |
52.7 |
apollon126 |
unknown |
3.22 |
1.10 |
240652288 |
30.6 |
apollon056 |
bitvector/gcd_1_true-unreach-call_true-no-overflow.i |
true |
1.85 |
1.78 |
79347712 |
21.2 |
apollon003 |
unknown |
4.10 |
1.51 |
304193536 |
33.4 |
apollon079 |
unknown |
2.35 |
.899 |
223977472 |
18.7 |
apollon127 |
bitvector/gcd_2_true-unreach-call_true-no-overflow.i |
true |
842 |
842 |
299995136 |
12100 |
apollon077 |
true |
3.46 |
1.37 |
273186816 |
31.5 |
apollon112 |
unknown |
.00986 |
.0105 |
942080 |
.00000 |
apollon150 |
bitvector/gcd_3_true-unreach-call_true-no-overflow.i |
timeout |
881 |
981 |
190091264 |
8990 |
apollon063 |
unknown |
3.62 |
1.47 |
288235520 |
31.8 |
apollon076 |
unknown |
2.29 |
.906 |
220950528 |
19.4 |
apollon001 |
bitvector/gcd_4_true-unreach-call_true-no-overflow_true-termination.i |
true |
1.67 |
1.66 |
79069184 |
23.0 |
apollon027 |
unknown |
5.16 |
1.76 |
313200640 |
44.6 |
apollon156 |
unknown |
2.67 |
.999 |
220405760 |
22.5 |
apollon084 |
bitvector/interleave_bits_true-unreach-call_true-no-overflow.i |
true |
1.42 |
1.39 |
73682944 |
18.2 |
apollon048 |
unknown |
7.33 |
2.28 |
452468736 |
62.2 |
apollon126 |
unknown |
2.43 |
.946 |
221900800 |
21.2 |
apollon001 |
bitvector/jain_1_true-unreach-call_true-no-overflow_false-termination.i |
true |
889 |
880 |
233410560 |
7550 |
apollon145 |
true |
2.84 |
1.19 |
277032960 |
29.1 |
apollon021 |
unknown |
.00809 |
.00840 |
872448 |
.00384 |
apollon075 |
bitvector/jain_2_true-unreach-call_true-no-overflow_false-termination.i |
true |
886 |
880 |
247263232 |
8240 |
apollon154 |
true |
3.21 |
1.20 |
293670912 |
27.2 |
apollon022 |
unknown |
.0157 |
.0160 |
864256 |
.00696 |
apollon003 |
bitvector/jain_4_true-unreach-call_true-no-overflow_false-termination.i |
true |
884 |
880 |
256782336 |
9480 |
apollon161 |
true |
3.11 |
1.25 |
274595840 |
27.2 |
apollon005 |
unknown |
.0106 |
.0104 |
790528 |
.0107 |
apollon014 |
bitvector/jain_5_true-unreach-call_true-no-overflow.i |
true |
885 |
880 |
199823360 |
9290 |
apollon046 |
unknown |
101 |
80.7 |
2778210304 |
1220 |
apollon052 |
unknown |
4.11 |
1.28 |
274804736 |
35.0 |
apollon118 |
bitvector/jain_6_true-unreach-call_true-no-overflow_false-termination.i |
true |
885 |
880 |
265715712 |
7150 |
apollon008 |
true |
3.31 |
1.25 |
294891520 |
25.6 |
apollon054 |
unknown |
.0227 |
.0239 |
839680 |
.00684 |
apollon066 |
bitvector/jain_7_true-unreach-call_true-no-overflow_false-termination.i |
true |
885 |
880 |
292380672 |
7820 |
apollon009 |
true |
2.84 |
1.18 |
274214912 |
26.8 |
apollon022 |
unknown |
.0223 |
.0221 |
827392 |
.00476 |
apollon023 |
bitvector/modulus_true-unreach-call_true-no-overflow.i |
true |
310 |
310 |
257982464 |
2330 |
apollon075 |
unknown |
3.14 |
1.31 |
277803008 |
27.8 |
apollon052 |
unknown |
2.22 |
.877 |
217899008 |
22.6 |
apollon056 |
bitvector/num_conversion_1_true-unreach-call_true-no-overflow.i |
true |
1.32 |
1.36 |
75091968 |
16.4 |
apollon136 |
unknown |
4.90 |
1.77 |
305999872 |
42.5 |
apollon167 |
unknown |
2.39 |
.933 |
224063488 |
20.6 |
apollon109 |
bitvector/num_conversion_2_true-unreach-call_true-no-overflow.i |
true |
1.36 |
1.36 |
69259264 |
18.9 |
apollon163 |
unknown |
4.91 |
1.77 |
302903296 |
42.7 |
apollon032 |
unknown |
2.48 |
.940 |
223924224 |
20.9 |
apollon144 |
bitvector/parity_true-unreach-call_true-no-overflow.i |
true |
881 |
880 |
283021312 |
11400 |
apollon075 |
unknown |
3.31 |
1.31 |
286834688 |
31.4 |
apollon014 |
unknown |
2.17 |
.852 |
188231680 |
16.9 |
apollon054 |
bitvector/sum02_true-unreach-call_true-no-overflow.i |
true |
881 |
880 |
325394432 |
10900 |
apollon074 |
unknown |
3.50 |
1.45 |
281563136 |
34.3 |
apollon108 |
unknown |
2.13 |
.880 |
217821184 |
20.0 |
apollon032 |
bitvector/s3_clnt_1_false-unreach-call_true-no-overflow.BV.c.cil.c |
false(unreach-call) |
15.8 |
15.3 |
217014272 |
212 |
apollon130 |
unknown |
10.6 |
3.08 |
467173376 |
93.6 |
apollon106 |
unknown |
6.35 |
1.94 |
396869632 |
52.2 |
apollon166 |
bitvector/s3_clnt_2_false-unreach-call_true-no-overflow.BV.c.cil.c |
false(unreach-call) |
38.3 |
37.5 |
244740096 |
430 |
apollon122 |
unknown |
18.5 |
5.01 |
617021440 |
160 |
apollon168 |
unknown |
6.89 |
2.19 |
432119808 |
54.9 |
apollon035 |
bitvector/s3_clnt_3_false-unreach-call_true-no-overflow.BV.c.cil.c |
false(unreach-call) |
9.12 |
8.78 |
190197760 |
96.7 |
apollon117 |
unknown |
7.04 |
2.21 |
388128768 |
58.5 |
apollon120 |
unknown |
5.18 |
1.67 |
301293568 |
43.4 |
apollon078 |
bitvector/s3_clnt_1_true-unreach-call_true-no-overflow.BV.c.cil.c |
true |
158 |
157 |
360599552 |
1730 |
apollon142 |
unknown |
14.2 |
4.01 |
500178944 |
106 |
apollon121 |
unknown |
6.25 |
1.94 |
410267648 |
54.8 |
apollon102 |
bitvector/s3_clnt_2_true-unreach-call_true-no-overflow.BV.c.cil.c |
true |
119 |
118 |
339550208 |
1480 |
apollon161 |
unknown |
24.2 |
6.77 |
833982464 |
199 |
apollon102 |
unknown |
6.97 |
2.25 |
418476032 |
67.7 |
apollon033 |
bitvector/s3_clnt_3_true-unreach-call_true-no-overflow.BV.c.cil.c |
true |
132 |
131 |
359395328 |
1410 |
apollon068 |
unknown |
101 |
77.4 |
3071184896 |
984 |
apollon100 |
unknown |
3.77 |
1.22 |
252616704 |
31.8 |
apollon095 |
bitvector/s3_srvr_1_alt_true-unreach-call_true-no-overflow.BV.c.cil.c |
true |
882 |
880 |
585277440 |
7520 |
apollon110 |
unknown |
101 |
75.1 |
2657251328 |
1170 |
apollon070 |
unknown |
2.79 |
1.03 |
223477760 |
26.1 |
apollon064 |
bitvector/s3_srvr_1_true-unreach-call_true-no-overflow.BV.c.cil.c |
true |
883 |
880 |
640606208 |
6870 |
apollon041 |
true |
31.1 |
8.45 |
977502208 |
229 |
apollon029 |
unknown |
.0149 |
.0146 |
856064 |
.0112 |
apollon108 |
bitvector/s3_srvr_2_alt_true-unreach-call_true-no-overflow_false-termination.BV.c.cil.c |
true |
882 |
880 |
551194624 |
6760 |
apollon089 |
true |
41.9 |
18.5 |
1371332608 |
409 |
apollon020 |
unknown |
.0115 |
.0115 |
1056768 |
.00934 |
apollon114 |
bitvector/s3_srvr_2_true-unreach-call_true-no-overflow_false-termination.BV.c.cil.c |
true |
883 |
880 |
654467072 |
7250 |
apollon128 |
true |
42.8 |
18.2 |
1405607936 |
402 |
apollon168 |
unknown |
.0227 |
.0240 |
901120 |
.00775 |
apollon004 |
bitvector/s3_srvr_3_alt_true-unreach-call_true-no-overflow.BV.c.cil.c |
true |
883 |
880 |
706609152 |
6970 |
apollon050 |
true |
19.0 |
5.09 |
630145024 |
168 |
apollon030 |
unknown |
.00961 |
.00957 |
905216 |
.00391 |
apollon014 |
bitvector/s3_srvr_3_true-unreach-call_true-no-overflow.BV.c.cil.c |
true |
883 |
880 |
715411456 |
6540 |
apollon048 |
true |
62.0 |
33.8 |
2281033728 |
700 |
apollon161 |
unknown |
.0166 |
.0164 |
880640 |
.00830 |
apollon036 |
bitvector/soft_float_1_true-unreach-call_true-no-overflow_true-termination.c.cil.c |
true |
1.85 |
1.84 |
80904192 |
20.7 |
apollon041 |
unknown |
4.80 |
1.77 |
296083456 |
38.6 |
apollon100 |
unknown |
3.63 |
1.20 |
245772288 |
32.9 |
apollon007 |
bitvector/soft_float_2_true-unreach-call_true-no-overflow_true-termination.c.cil.c |
true |
1.67 |
1.59 |
86876160 |
18.8 |
apollon089 |
unknown |
7.53 |
2.34 |
446177280 |
63.2 |
apollon156 |
unknown |
5.19 |
1.66 |
338444288 |
45.8 |
apollon007 |
bitvector/soft_float_3_true-unreach-call_true-no-overflow_true-termination.c.cil.c |
true |
11.2 |
10.9 |
119222272 |
158 |
apollon065 |
unknown |
7.39 |
2.33 |
444780544 |
63.0 |
apollon091 |
unknown |
5.22 |
1.59 |
329912320 |
42.0 |
apollon166 |
bitvector/soft_float_4_true-unreach-call_true-no-overflow_true-termination.c.cil.c |
true |
16.5 |
16.5 |
90742784 |
252 |
apollon027 |
unknown |
4.21 |
1.68 |
290402304 |
37.0 |
apollon076 |
unknown |
2.99 |
1.10 |
233021440 |
25.3 |
apollon023 |
bitvector/soft_float_5_true-unreach-call_true-no-overflow_true-termination.c.cil.c |
true |
1.64 |
1.61 |
83382272 |
21.3 |
apollon156 |
unknown |
7.36 |
2.33 |
447238144 |
64.9 |
apollon077 |
unknown |
5.39 |
1.65 |
331550720 |
44.6 |
apollon102 |
bitvector-regression/implicitfloatconversion_false-unreach-call_true-termination.c |
false(unreach-call) |
1.63 |
1.58 |
76455936 |
33.7 |
apollon106 |
false(unreach-call) |
3.23 |
1.23 |
296452096 |
32.6 |
apollon039 |
unknown |
.0288 |
.0287 |
909312 |
.00647 |
apollon038 |
bitvector-regression/implicitunsignedconversion_false-unreach-call_true-termination.c |
false(unreach-call) |
1.62 |
1.59 |
76849152 |
22.1 |
apollon114 |
true |
2.45 |
1.06 |
268267520 |
24.7 |
apollon016 |
unknown |
.0122 |
.0159 |
1019904 |
.00891 |
apollon032 |
bitvector-regression/integerpromotion_false-unreach-call_true-termination.c |
false(unreach-call) |
1.65 |
1.61 |
80896000 |
19.7 |
apollon104 |
false(unreach-call) |
2.79 |
1.23 |
275443712 |
27.6 |
apollon148 |
unknown |
.0109 |
.0135 |
942080 |
.00000 |
apollon065 |
bitvector-regression/recHanoi03_false-unreach-call_true-termination.c |
false(unreach-call) |
8.75 |
8.54 |
77230080 |
125 |
apollon113 |
unknown |
2.53 |
1.10 |
267939840 |
22.0 |
apollon011 |
unknown |
1.96 |
.810 |
182571008 |
18.4 |
apollon046 |
bitvector-regression/signextension2_false-unreach-call_true-termination.c |
false(unreach-call) |
1.63 |
1.58 |
70742016 |
32.7 |
apollon106 |
true |
2.60 |
1.09 |
270381056 |
25.6 |
apollon016 |
unknown |
.00865 |
.00850 |
696320 |
.00000 |
apollon088 |
bitvector-regression/signextension_false-unreach-call_true-termination.c |
false(unreach-call) |
1.63 |
1.59 |
78053376 |
21.2 |
apollon093 |
true |
2.55 |
1.09 |
272834560 |
26.6 |
apollon021 |
unknown |
.0165 |
.0168 |
974848 |
.0192 |
apollon061 |
bitvector-regression/implicitunsignedconversion_true-unreach-call_true-termination.c |
true |
1.31 |
1.32 |
82059264 |
14.6 |
apollon115 |
unknown |
2.94 |
1.28 |
276406272 |
26.1 |
apollon121 |
unknown |
1.89 |
.834 |
185491456 |
19.8 |
apollon059 |
bitvector-regression/integerpromotion_true-unreach-call_true-termination.c |
true |
1.29 |
1.30 |
80293888 |
17.1 |
apollon020 |
unknown |
2.80 |
1.24 |
278286336 |
24.4 |
apollon127 |
unknown |
1.99 |
.825 |
185389056 |
17.0 |
apollon100 |
bitvector-regression/signextension2_true-unreach-call_true-termination.c |
true |
1.29 |
1.29 |
74383360 |
16.1 |
apollon055 |
unknown |
3.10 |
1.31 |
285671424 |
30.7 |
apollon126 |
unknown |
2.06 |
.870 |
186146816 |
19.8 |
apollon007 |
bitvector-regression/signextension_true-unreach-call_true-termination.c |
true |
1.30 |
1.31 |
71880704 |
15.6 |
apollon071 |
unknown |
3.12 |
1.31 |
275988480 |
31.3 |
apollon111 |
unknown |
2.00 |
.834 |
187228160 |
17.8 |
apollon127 |
bitvector-loops/diamond_false-unreach-call2.i |
false(unreach-call) |
2.17 |
2.13 |
86896640 |
27.1 |
apollon074 |
true |
6.60 |
2.03 |
440332288 |
58.7 |
apollon081 |
unknown |
.00868 |
.00842 |
745472 |
.0110 |
apollon117 |
bitvector-loops/overflow_false-unreach-call1.i |
timeout |
883 |
981 |
930996224 |
10800 |
apollon003 |
true |
2.82 |
1.12 |
290009088 |
25.1 |
apollon052 |
unknown |
.00950 |
.00962 |
765952 |
.00769 |
apollon102 |
bitvector-loops/verisec_sendmail__tTflag_arr_one_loop_false-unreach-call_true-termination.i |
false(unreach-call) |
4.89 |
4.69 |
106680320 |
72.3 |
apollon027 |
true |
2.88 |
1.25 |
270974976 |
25.6 |
apollon012 |
unknown |
.00956 |
.00987 |
851968 |
.00000 |
apollon079 |
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c |
false(unreach-call) |
4.57 |
4.34 |
123400192 |
61.7 |
apollon017 |
false(unreach-call) |
10.5 |
2.91 |
467931136 |
92.6 |
apollon160 |
unknown |
.0123 |
.0123 |
868352 |
.00879 |
apollon093 |
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c |
false(unreach-call) |
4.30 |
4.06 |
114405376 |
56.3 |
apollon067 |
false(unreach-call) |
7.84 |
2.35 |
439459840 |
64.1 |
apollon156 |
unknown |
.0161 |
.0173 |
1003520 |
.00745 |
apollon068 |
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c |
false(unreach-call) |
9.00 |
8.66 |
127422464 |
140 |
apollon080 |
false(unreach-call) |
8.41 |
2.46 |
459096064 |
66.6 |
apollon095 |
unknown |
.0109 |
.0119 |
909312 |
.00000 |
apollon080 |
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c |
false(unreach-call) |
3.52 |
3.26 |
130400256 |
44.4 |
apollon003 |
false(unreach-call) |
6.15 |
2.02 |
326635520 |
49.7 |
apollon025 |
unknown |
.0110 |
.0107 |
884736 |
.00855 |
apollon133 |
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c |
true |
30.8 |
30.3 |
148131840 |
406 |
apollon012 |
true |
8.90 |
2.66 |
453758976 |
68.8 |
apollon157 |
unknown |
.00900 |
.00925 |
1056768 |
.00867 |
apollon145 |
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c |
true |
5.96 |
5.73 |
120279040 |
88.7 |
apollon148 |
true |
7.15 |
2.11 |
430432256 |
59.3 |
apollon112 |
unknown |
.00846 |
.0125 |
761856 |
.0114 |
apollon161 |
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c |
true |
4.94 |
4.75 |
113446912 |
57.2 |
apollon092 |
true |
5.99 |
1.94 |
332750848 |
50.8 |
apollon070 |
unknown |
.0133 |
.0142 |
856064 |
.00909 |
apollon163 |
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c |
true |
9.73 |
9.46 |
128954368 |
119 |
apollon127 |
true |
7.36 |
2.23 |
406474752 |
63.9 |
apollon022 |
unknown |
.0137 |
.0141 |
987136 |
.00751 |
apollon115 |
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c |
true |
1.78 |
1.71 |
84525056 |
22.8 |
apollon114 |
true |
3.63 |
1.40 |
280764416 |
35.6 |
apollon126 |
unknown |
.0117 |
.0122 |
995328 |
.00885 |
apollon029 |
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c |
true |
3.12 |
3.01 |
89198592 |
37.4 |
apollon043 |
true |
4.60 |
1.58 |
281321472 |
39.3 |
apollon146 |
unknown |
.0101 |
.00997 |
897024 |
.00934 |
apollon087 |
ssh-simplified/s3_clnt_1_false-unreach-call_true-termination.cil.c |
false(unreach-call) |
4.84 |
4.55 |
163942400 |
52.1 |
apollon158 |
false(unreach-call) |
9.16 |
2.75 |
455581696 |
75.9 |
apollon051 |
unknown |
.00898 |
.00926 |
1011712 |
.00000 |
apollon109 |
ssh-simplified/s3_clnt_2_false-unreach-call_true-termination.cil.c |
false(unreach-call) |
4.83 |
4.57 |
128761856 |
60.9 |
apollon165 |
false(unreach-call) |
8.52 |
2.48 |
452268032 |
66.7 |
apollon018 |
unknown |
.0282 |
.0274 |
978944 |
.00568 |
apollon153 |
ssh-simplified/s3_clnt_3_false-unreach-call_true-termination.cil.c |
false(unreach-call) |
4.94 |
4.64 |
131452928 |
63.6 |
apollon102 |
false(unreach-call) |
9.85 |
2.84 |
453873664 |
91.4 |
apollon021 |
unknown |
.0128 |
.0136 |
954368 |
.0198 |
apollon064 |
ssh-simplified/s3_clnt_4_false-unreach-call_true-termination.cil.c |
false(unreach-call) |
4.96 |
4.64 |
133185536 |
63.3 |
apollon038 |
false(unreach-call) |
8.96 |
2.59 |
457687040 |
76.4 |
apollon047 |
unknown |
.0125 |
.0131 |
839680 |
.0106 |
apollon134 |
ssh-simplified/s3_srvr_10_false-unreach-call_false-termination.cil.c |
false(unreach-call) |
3.13 |
2.98 |
106823680 |
45.2 |
apollon159 |
false(unreach-call) |
4.35 |
1.63 |
290156544 |
37.2 |
apollon026 |
unknown |
.0153 |
.0152 |
884736 |
.00568 |
apollon055 |
ssh-simplified/s3_srvr_11_false-unreach-call_false-termination.cil.c |
false(unreach-call) |
8.89 |
8.50 |
160595968 |
103 |
apollon104 |
unknown |
49.7 |
19.2 |
1668919296 |
479 |
apollon125 |
unknown |
13.7 |
5.82 |
553697280 |
115 |
apollon147 |
ssh-simplified/s3_srvr_12_false-unreach-call_false-termination.cil.c |
false(unreach-call) |
9.28 |
8.88 |
171204608 |
103 |
apollon043 |
unknown |
60.7 |
34.1 |
1772802048 |
619 |
apollon009 |
unknown |
9.34 |
3.06 |
527626240 |
86.3 |
apollon080 |
ssh-simplified/s3_srvr_13_false-unreach-call_false-termination.cil.c |
false(unreach-call) |
4.82 |
4.50 |
137285632 |
58.3 |
apollon166 |
false(unreach-call) |
9.78 |
2.78 |
483901440 |
73.5 |
apollon053 |
unknown |
.0100 |
.00981 |
880640 |
.0154 |
apollon130 |
ssh-simplified/s3_srvr_14_false-unreach-call_false-termination.cil.c |
false(unreach-call) |
3.52 |
3.28 |
121491456 |
49.9 |
apollon069 |
false(unreach-call) |
7.83 |
2.35 |
419213312 |
58.0 |
apollon098 |
unknown |
.0145 |
.0158 |
827392 |
.00818 |
apollon092 |
ssh-simplified/s3_srvr_1_false-unreach-call_false-termination.cil.c |
false(unreach-call) |
4.06 |
3.79 |
128008192 |
54.5 |
apollon108 |
false(unreach-call) |
6.74 |
2.12 |
351375360 |
60.0 |
apollon030 |
unknown |
.0135 |
.0133 |
921600 |
.0120 |
apollon150 |
ssh-simplified/s3_srvr_2_false-unreach-call_false-termination.cil.c |
false(unreach-call) |
3.99 |
3.67 |
158097408 |
50.4 |
apollon118 |
false(unreach-call) |
6.40 |
2.06 |
341139456 |
52.4 |
apollon042 |
unknown |
.0172 |
.0167 |
925696 |
.00537 |
apollon060 |
ssh-simplified/s3_srvr_6_false-unreach-call_false-termination.cil.c |
false(unreach-call) |
3.06 |
2.91 |
100655104 |
37.3 |
apollon073 |
false(unreach-call) |
4.09 |
1.57 |
288546816 |
34.7 |
apollon070 |
unknown |
.00952 |
.00965 |
794624 |
.00915 |
apollon125 |
ssh-simplified/s3_clnt_1_true-unreach-call_true-termination.cil.c |
true |
45.0 |
44.6 |
188616704 |
532 |
apollon096 |
true |
16.2 |
4.63 |
621895680 |
131 |
apollon127 |
unknown |
.0139 |
.0141 |
946176 |
.00928 |
apollon027 |
ssh-simplified/s3_clnt_2_true-unreach-call_true-termination.cil.c |
true |
45.2 |
44.7 |
186023936 |
489 |
apollon098 |
true |
12.4 |
3.48 |
488386560 |
107 |
apollon111 |
unknown |
.0169 |
.0172 |
897024 |
.00623 |
apollon145 |
ssh-simplified/s3_clnt_3_true-unreach-call_true-termination.cil.c |
true |
45.3 |
45.0 |
184451072 |
547 |
apollon136 |
true |
9.73 |
2.76 |
496414720 |
88.7 |
apollon111 |
unknown |
.0128 |
.0138 |
921600 |
.0106 |
apollon119 |
ssh-simplified/s3_clnt_4_true-unreach-call_true-termination.cil.c |
true |
44.3 |
43.8 |
185552896 |
564 |
apollon027 |
true |
18.1 |
4.97 |
612642816 |
134 |
apollon017 |
unknown |
.0105 |
.0107 |
753664 |
.00897 |
apollon093 |
ssh-simplified/s3_srvr_1_true-unreach-call_false-termination.cil.c |
true |
883 |
880 |
378916864 |
6100 |
apollon060 |
true |
41.7 |
18.1 |
1533001728 |
370 |
apollon133 |
unknown |
.0160 |
.0158 |
856064 |
.00867 |
apollon164 |
ssh-simplified/s3_srvr_1a_true-unreach-call_false-termination.cil.c |
true |
883 |
880 |
324108288 |
8050 |
apollon143 |
true |
7.31 |
2.23 |
444444672 |
61.2 |
apollon167 |
unknown |
.0120 |
.0117 |
741376 |
.00000 |
apollon117 |
ssh-simplified/s3_srvr_1b_true-unreach-call_false-termination.cil.c |
true |
885 |
880 |
289263616 |
10100 |
apollon161 |
true |
3.82 |
1.48 |
276803584 |
34.5 |
apollon022 |
unknown |
.00873 |
.00964 |
978944 |
.0112 |
apollon094 |
ssh-simplified/s3_srvr_2_true-unreach-call_false-termination.cil.c |
true |
883 |
880 |
394924032 |
6710 |
apollon073 |
true |
24.1 |
6.61 |
852000768 |
170 |
apollon100 |
unknown |
.00986 |
.00968 |
786432 |
.00861 |
apollon113 |
ssh-simplified/s3_srvr_3_true-unreach-call_false-termination.cil.c |
true |
883 |
880 |
391766016 |
6850 |
apollon013 |
true |
28.2 |
7.36 |
799481856 |
199 |
apollon117 |
unknown |
.00960 |
.00953 |
884736 |
.00915 |
apollon164 |
ssh-simplified/s3_srvr_4_true-unreach-call_false-termination.cil.c |
true |
883 |
880 |
389758976 |
6650 |
apollon138 |
true |
31.2 |
9.52 |
1082322944 |
248 |
apollon011 |
unknown |
.0110 |
.0145 |
888832 |
.0320 |
apollon106 |
ssh-simplified/s3_srvr_6_true-unreach-call_false-termination.cil.c |
true |
883 |
880 |
401997824 |
7380 |
apollon028 |
unknown |
101 |
76.2 |
2603286528 |
1050 |
apollon167 |
unknown |
12.0 |
3.99 |
564948992 |
104 |
apollon091 |
ssh-simplified/s3_srvr_7_true-unreach-call_false-termination.cil.c |
true |
883 |
880 |
393883648 |
6090 |
apollon054 |
true |
47.6 |
24.3 |
1600352256 |
450 |
apollon038 |
unknown |
.0158 |
.0161 |
1052672 |
.00922 |
apollon151 |
ssh-simplified/s3_srvr_8_true-unreach-call_false-termination.cil.c |
true |
883 |
880 |
398381056 |
7280 |
apollon082 |
true |
41.6 |
14.9 |
1357250560 |
335 |
apollon045 |
unknown |
.0159 |
.0157 |
999424 |
.0121 |
apollon037 |
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c |
false(unreach-call) |
2.28 |
2.13 |
90669056 |
26.5 |
apollon012 |
false(unreach-call) |
3.89 |
1.55 |
290488320 |
35.3 |
apollon118 |
unknown |
.0123 |
.0138 |
905216 |
.0110 |
apollon058 |
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c |
false(unreach-call) |
2.30 |
2.14 |
92962816 |
30.6 |
apollon108 |
false(unreach-call) |
3.69 |
1.47 |
286932992 |
32.3 |
apollon085 |
unknown |
.0162 |
.0165 |
999424 |
.0186 |
apollon019 |
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c |
true |
1.64 |
1.61 |
85835776 |
21.3 |
apollon136 |
true |
3.20 |
1.26 |
274280448 |
28.7 |
apollon004 |
unknown |
.0273 |
.0284 |
1069056 |
.00372 |
apollon022 |
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c |
true |
1.65 |
1.61 |
88391680 |
17.6 |
apollon054 |
true |
3.29 |
1.30 |
272015360 |
27.6 |
apollon051 |
unknown |
.0131 |
.0130 |
925696 |
.0112 |
apollon132 |
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c |
true |
1.69 |
1.62 |
85405696 |
25.5 |
apollon160 |
true |
3.20 |
1.26 |
276197376 |
29.6 |
apollon118 |
unknown |
.00928 |
.00940 |
843776 |
.0104 |
apollon098 |
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c |
true |
1.68 |
1.60 |
83832832 |
20.6 |
apollon110 |
true |
3.28 |
1.31 |
276688896 |
29.5 |
apollon004 |
unknown |
.0107 |
.0105 |
839680 |
.00873 |
apollon033 |
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c |
true |
1.69 |
1.61 |
82128896 |
19.8 |
apollon166 |
true |
3.31 |
1.34 |
275124224 |
28.9 |
apollon034 |
unknown |
.0196 |
.0194 |
1007616 |
.00665 |
apollon003 |
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c |
true |
1.76 |
1.73 |
89853952 |
20.7 |
apollon165 |
true |
3.36 |
1.30 |
277331968 |
28.7 |
apollon026 |
unknown |
.0128 |
.0134 |
925696 |
.00824 |
apollon110 |
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c |
true |
1.58 |
1.55 |
88391680 |
22.5 |
apollon080 |
true |
2.82 |
1.18 |
271339520 |
25.1 |
apollon078 |
unknown |
.00728 |
.0103 |
876544 |
.00995 |
apollon114 |
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c |
true |
1.62 |
1.62 |
78028800 |
17.9 |
apollon043 |
true |
2.83 |
1.18 |
267870208 |
24.6 |
apollon085 |
unknown |
.00896 |
.00983 |
745472 |
.00848 |
apollon073 |
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c |
true |
1.63 |
1.60 |
77127680 |
19.4 |
apollon153 |
true |
2.93 |
1.19 |
274169856 |
23.8 |
apollon043 |
unknown |
.0106 |
.0103 |
831488 |
.0104 |
apollon128 |
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c |
true |
1.63 |
1.58 |
88977408 |
19.2 |
apollon120 |
true |
3.00 |
1.21 |
271302656 |
28.6 |
apollon020 |
unknown |
.0137 |
.0140 |
884736 |
.0110 |
apollon036 |
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c |
true |
1.65 |
1.62 |
80850944 |
19.0 |
apollon129 |
true |
3.07 |
1.21 |
271044608 |
26.9 |
apollon087 |
unknown |
.0110 |
.0109 |
1028096 |
.00610 |
apollon022 |
ntdrivers/cdaudio_false-unreach-call.i.cil.c |
timeout |
884 |
981 |
1959436288 |
7690 |
apollon138 |
unknown |
101 |
58.2 |
3856003072 |
984 |
apollon107 |
unknown |
9.99 |
2.65 |
473309184 |
82.6 |
apollon102 |
ntdrivers/diskperf_false-unreach-call.i.cil.c |
false(unreach-call) |
4.92 |
4.64 |
144392192 |
61.1 |
apollon142 |
false(unreach-call) |
11.5 |
3.08 |
487526400 |
99.5 |
apollon161 |
unknown |
.0114 |
.0119 |
901120 |
.00915 |
apollon142 |
ntdrivers/floppy_false-unreach-call.i.cil.c |
false(unreach-call) |
9.52 |
9.27 |
189181952 |
128 |
apollon047 |
false(unreach-call) |
27.8 |
7.02 |
827916288 |
214 |
apollon051 |
unknown |
.0111 |
.0109 |
933888 |
.00836 |
apollon038 |
ntdrivers/kbfiltr_false-unreach-call.i.cil.c |
false(unreach-call) |
4.75 |
4.49 |
120172544 |
59.4 |
apollon135 |
false(unreach-call) |
9.18 |
2.59 |
472186880 |
71.0 |
apollon026 |
unknown |
.0174 |
.0178 |
778240 |
.0103 |
apollon142 |
ntdrivers/parport_false-unreach-call.i.cil.c |
false(unreach-call) |
8.74 |
8.29 |
266223616 |
102 |
apollon143 |
false(unreach-call) |
41.1 |
12.3 |
1233416192 |
337 |
apollon002 |
unknown |
.0117 |
.0116 |
778240 |
.0115 |
apollon147 |
ntdrivers/cdaudio_true-unreach-call.i.cil.c |
true |
20.8 |
20.3 |
220925952 |
300 |
apollon014 |
true |
13.2 |
3.52 |
498647040 |
108 |
apollon161 |
unknown |
.0135 |
.0133 |
786432 |
.00971 |
apollon066 |
ntdrivers/diskperf_true-unreach-call.i.cil.c |
timeout |
883 |
981 |
493248512 |
10000 |
apollon154 |
true |
10.4 |
2.82 |
465846272 |
85.1 |
apollon119 |
unknown |
.0110 |
.0108 |
946176 |
.00769 |
apollon002 |
ntdrivers/floppy2_true-unreach-call_true-termination.i.cil.c |
true |
26.8 |
26.2 |
256086016 |
325 |
apollon066 |
true |
36.7 |
9.30 |
1080754176 |
265 |
apollon051 |
unknown |
.0147 |
.0160 |
983040 |
.0191 |
apollon109 |
ntdrivers/floppy_true-unreach-call_true-valid-memsafety.i.cil.c |
true |
207 |
206 |
370843648 |
2440 |
apollon099 |
true |
22.8 |
5.87 |
808267776 |
158 |
apollon098 |
unknown |
.00982 |
.00964 |
987136 |
.00000 |
apollon168 |
ntdrivers/parport_true-unreach-call.i.cil.c |
true |
23.7 |
22.9 |
295821312 |
306 |
apollon078 |
true |
48.1 |
18.0 |
1745305600 |
449 |
apollon167 |
unknown |
.0293 |
.0292 |
847872 |
.00610 |
apollon157 |
ssh/s3_clnt.blast.01_false-unreach-call.i.cil.c |
false(unreach-call) |
13.6 |
13.2 |
215244800 |
168 |
apollon114 |
false(unreach-call) |
9.13 |
2.57 |
449695744 |
67.3 |
apollon058 |
unknown |
.0166 |
.0196 |
1003520 |
.00610 |
apollon101 |
ssh/s3_clnt.blast.02_false-unreach-call.i.cil.c |
false(unreach-call) |
8.13 |
7.70 |
192147456 |
102 |
apollon058 |
false(unreach-call) |
9.14 |
2.59 |
452468736 |
80.0 |
apollon161 |
unknown |
.0107 |
.0108 |
892928 |
.0108 |
apollon110 |
ssh/s3_clnt.blast.03_false-unreach-call.i.cil.c |
false(unreach-call) |
8.31 |
7.97 |
204197888 |
104 |
apollon147 |
false(unreach-call) |
8.63 |
2.46 |
425029632 |
62.6 |
apollon158 |
unknown |
.0130 |
.0128 |
1036288 |
.00806 |
apollon048 |
ssh/s3_clnt.blast.04_false-unreach-call.i.cil.c |
false(unreach-call) |
8.28 |
7.93 |
188358656 |
99.4 |
apollon154 |
false(unreach-call) |
8.65 |
2.52 |
455716864 |
68.1 |
apollon038 |
unknown |
.0110 |
.0107 |
954368 |
.00000 |
apollon161 |
ssh/s3_srvr.blast.01_false-unreach-call.i.cil.c |
false(unreach-call) |
6.17 |
5.85 |
184233984 |
80.6 |
apollon052 |
false(unreach-call) |
8.04 |
2.33 |
395956224 |
61.8 |
apollon089 |
unknown |
.00984 |
.0125 |
978944 |
.0184 |
apollon128 |
ssh/s3_srvr.blast.02_false-unreach-call.i.cil.c |
false(unreach-call) |
6.22 |
5.82 |
192208896 |
76.7 |
apollon055 |
false(unreach-call) |
8.22 |
2.40 |
409186304 |
65.0 |
apollon053 |
unknown |
.0164 |
.0202 |
757760 |
.00714 |
apollon096 |
ssh/s3_srvr.blast.03_false-unreach-call.i.cil.c |
false(unreach-call) |
6.18 |
5.79 |
186241024 |
73.5 |
apollon150 |
false(unreach-call) |
7.72 |
2.25 |
406921216 |
61.1 |
apollon058 |
unknown |
.00992 |
.0101 |
794624 |
.00000 |
apollon118 |
ssh/s3_srvr.blast.04_false-unreach-call.i.cil.c |
false(unreach-call) |
6.26 |
5.86 |
201506816 |
78.2 |
apollon133 |
false(unreach-call) |
8.04 |
2.33 |
421318656 |
61.0 |
apollon002 |
unknown |
.00890 |
.00880 |
806912 |
.00000 |
apollon026 |
ssh/s3_srvr.blast.06_false-unreach-call.i.cil.c |
false(unreach-call) |
13.9 |
13.5 |
240508928 |
163 |
apollon141 |
false(unreach-call) |
5.85 |
1.89 |
315543552 |
51.3 |
apollon019 |
unknown |
.00972 |
.00980 |
761856 |
.0149 |
apollon130 |
ssh/s3_srvr.blast.07_false-unreach-call.i.cil.c |
false(unreach-call) |
12.7 |
12.2 |
224219136 |
141 |
apollon073 |
false(unreach-call) |
9.70 |
2.76 |
460361728 |
80.3 |
apollon067 |
unknown |
.0105 |
.0102 |
724992 |
.00000 |
apollon024 |
ssh/s3_srvr.blast.08_false-unreach-call.i.cil.c |
false(unreach-call) |
503 |
502 |
364400640 |
3470 |
apollon120 |
false(unreach-call) |
5.83 |
1.92 |
310112256 |
46.1 |
apollon058 |
unknown |
.0118 |
.0138 |
860160 |
.0115 |
apollon134 |
ssh/s3_srvr.blast.09_false-unreach-call.i.cil.c |
false(unreach-call) |
12.7 |
12.2 |
215281664 |
149 |
apollon113 |
false(unreach-call) |
10.9 |
3.09 |
443912192 |
87.7 |
apollon022 |
unknown |
.0184 |
.0181 |
905216 |
.00690 |
apollon133 |
ssh/s3_srvr.blast.10_false-unreach-call.i.cil.c |
false(unreach-call) |
669 |
668 |
368005120 |
5390 |
apollon049 |
false(unreach-call) |
5.66 |
1.87 |
313110528 |
48.9 |
apollon168 |
unknown |
.0111 |
.0108 |
999424 |
.00855 |
apollon129 |
ssh/s3_srvr.blast.11_false-unreach-call.i.cil.c |
false(unreach-call) |
8.90 |
8.47 |
215568384 |
120 |
apollon068 |
false(unreach-call) |
10.3 |
2.89 |
481853440 |
76.8 |
apollon054 |
unknown |
.0118 |
.0117 |
741376 |
.00000 |
apollon056 |
ssh/s3_srvr.blast.12_false-unreach-call.i.cil.c |
false(unreach-call) |
13.1 |
12.7 |
226557952 |
160 |
apollon011 |
false(unreach-call) |
5.76 |
1.87 |
309747712 |
44.6 |
apollon123 |
unknown |
.0142 |
.0180 |
888832 |
.0100 |
apollon142 |
ssh/s3_srvr.blast.13_false-unreach-call.i.cil.c |
false(unreach-call) |
12.3 |
11.7 |
225325056 |
136 |
apollon013 |
false(unreach-call) |
10.5 |
2.93 |
447406080 |
82.4 |
apollon053 |
unknown |
.0170 |
.0169 |
872448 |
.00617 |
apollon134 |
ssh/s3_srvr.blast.14_false-unreach-call.i.cil.c |
false(unreach-call) |
13.5 |
13.1 |
240918528 |
138 |
apollon104 |
false(unreach-call) |
5.94 |
1.95 |
320987136 |
56.0 |
apollon125 |
unknown |
.0121 |
.0116 |
901120 |
.00867 |
apollon145 |
ssh/s3_srvr.blast.15_false-unreach-call.i.cil.c |
false(unreach-call) |
462 |
461 |
365641728 |
3340 |
apollon035 |
false(unreach-call) |
5.86 |
1.86 |
309665792 |
50.0 |
apollon101 |
unknown |
.0107 |
.0105 |
905216 |
.0100 |
apollon027 |
ssh/s3_srvr.blast.16_false-unreach-call.i.cil.c |
false(unreach-call) |
13.6 |
13.2 |
233603072 |
154 |
apollon102 |
false(unreach-call) |
6.07 |
1.92 |
310468608 |
47.0 |
apollon002 |
unknown |
.0170 |
.0176 |
761856 |
.0110 |
apollon056 |
ssh/s3_clnt.blast.01_true-unreach-call.i.cil.c |
true |
882 |
880 |
331489280 |
6620 |
apollon049 |
false(unreach-call) |
9.88 |
2.74 |
463360000 |
80.9 |
apollon070 |
unknown |
.0112 |
.0111 |
868352 |
.0145 |
apollon080 |
ssh/s3_clnt.blast.02_true-unreach-call.i.cil.c |
true |
882 |
880 |
343101440 |
6690 |
apollon061 |
false(unreach-call) |
9.08 |
2.61 |
445390848 |
70.6 |
apollon082 |
unknown |
.0118 |
.0116 |
954368 |
.00873 |
apollon163 |
ssh/s3_clnt.blast.03_true-unreach-call.i.cil.c |
true |
881 |
880 |
345255936 |
5920 |
apollon115 |
false(unreach-call) |
10.4 |
2.96 |
451772416 |
84.8 |
apollon101 |
unknown |
.0113 |
.0119 |
839680 |
.00000 |
apollon143 |
ssh/s3_clnt.blast.04_true-unreach-call.i.cil.c |
true |
881 |
880 |
370827264 |
7670 |
apollon167 |
false(unreach-call) |
10.8 |
2.98 |
448491520 |
87.1 |
apollon076 |
unknown |
.0274 |
.0288 |
901120 |
.00848 |
apollon162 |
ssh/s3_srvr.blast.01_true-unreach-call.i.cil.c |
true |
882 |
880 |
380436480 |
5990 |
apollon054 |
false(unreach-call) |
10.3 |
2.98 |
454479872 |
73.2 |
apollon054 |
unknown |
.0105 |
.0103 |
962560 |
.00732 |
apollon012 |
ssh/s3_srvr.blast.02_true-unreach-call.i.cil.c |
true |
882 |
880 |
398311424 |
6380 |
apollon048 |
false(unreach-call) |
8.51 |
2.44 |
474112000 |
70.8 |
apollon141 |
unknown |
.0115 |
.0112 |
843776 |
.00000 |
apollon052 |
ssh/s3_srvr.blast.06_true-unreach-call.i.cil.c |
true |
881 |
880 |
360173568 |
7190 |
apollon091 |
false(unreach-call) |
78.6 |
40.0 |
2531569664 |
760 |
apollon125 |
unknown |
.0137 |
.0141 |
978944 |
.00739 |
apollon120 |
ssh/s3_srvr.blast.07_true-unreach-call.i.cil.c |
true |
882 |
880 |
365948928 |
5920 |
apollon127 |
false(unreach-call) |
12.5 |
3.42 |
493748224 |
96.9 |
apollon051 |
unknown |
.00957 |
.00958 |
991232 |
.00000 |
apollon056 |
ssh/s3_srvr.blast.08_true-unreach-call.i.cil.c |
true |
881 |
880 |
393519104 |
7910 |
apollon048 |
false(unreach-call) |
16.2 |
4.48 |
638615552 |
145 |
apollon030 |
unknown |
.00835 |
.00818 |
827392 |
.00000 |
apollon080 |
ssh/s3_srvr.blast.09_true-unreach-call.i.cil.c |
true |
882 |
880 |
343674880 |
6600 |
apollon001 |
false(unreach-call) |
12.2 |
3.42 |
467406848 |
99.3 |
apollon101 |
unknown |
.0100 |
.00973 |
929792 |
.00855 |
apollon007 |
ssh/s3_srvr.blast.10_true-unreach-call.i.cil.c |
true |
881 |
880 |
391409664 |
6560 |
apollon156 |
false(unreach-call) |
11.5 |
3.15 |
471052288 |
88.4 |
apollon042 |
unknown |
.0115 |
.0131 |
884736 |
.0120 |
apollon051 |
ssh/s3_srvr.blast.11_true-unreach-call.i.cil.c |
true |
882 |
880 |
378150912 |
6400 |
apollon004 |
false(unreach-call) |
11.7 |
3.23 |
469540864 |
102 |
apollon044 |
unknown |
.00921 |
.0115 |
946176 |
.0150 |
apollon064 |
ssh/s3_srvr.blast.12_true-unreach-call.i.cil.c |
true |
882 |
880 |
374251520 |
6570 |
apollon131 |
false(unreach-call) |
20.4 |
5.99 |
646975488 |
176 |
apollon140 |
unknown |
.0118 |
.0116 |
983040 |
.00769 |
apollon048 |
ssh/s3_srvr.blast.13_true-unreach-call.i.cil.c |
true |
882 |
880 |
335228928 |
5960 |
apollon109 |
false(unreach-call) |
10.5 |
2.99 |
446189568 |
94.1 |
apollon126 |
unknown |
.0119 |
.0119 |
925696 |
.0173 |
apollon079 |
ssh/s3_srvr.blast.14_true-unreach-call.i.cil.c |
true |
882 |
880 |
358858752 |
6490 |
apollon146 |
false(unreach-call) |
32.8 |
12.1 |
1119997952 |
300 |
apollon030 |
unknown |
.0174 |
.0174 |
917504 |
.00684 |
apollon137 |
ssh/s3_srvr.blast.15_true-unreach-call.i.cil.c |
true |
882 |
880 |
403005440 |
6380 |
apollon116 |
false(unreach-call) |
19.9 |
5.63 |
705064960 |
172 |
apollon140 |
unknown |
.0126 |
.0129 |
1024000 |
.0100 |
apollon014 |
ssh/s3_srvr.blast.16_true-unreach-call.i.cil.c |
true |
882 |
880 |
371757056 |
6880 |
apollon085 |
false(unreach-call) |
36.6 |
16.4 |
1510846464 |
293 |
apollon158 |
unknown |
.0114 |
.0118 |
872448 |
.00842 |
apollon072 |
eca-rers2012/Problem01_label15_false-unreach-call_false-termination.c |
false(unreach-call) |
13.7 |
13.1 |
528969728 |
169 |
apollon067 |
false(unreach-call) |
19.2 |
5.31 |
774098944 |
155 |
apollon109 |
unknown |
.0102 |
.0101 |
884736 |
.00000 |
apollon029 |
eca-rers2012/Problem01_label20_false-unreach-call_false-termination.c |
false(unreach-call) |
30.3 |
29.6 |
516022272 |
358 |
apollon075 |
false(unreach-call) |
26.3 |
7.53 |
1136979968 |
215 |
apollon009 |
unknown |
.0103 |
.0104 |
901120 |
.00000 |
apollon132 |
eca-rers2012/Problem01_label21_false-unreach-call_false-termination.c |
false(unreach-call) |
13.8 |
13.3 |
519344128 |
160 |
apollon013 |
false(unreach-call) |
20.4 |
5.38 |
821071872 |
181 |
apollon044 |
unknown |
.0224 |
.0220 |
966656 |
.00800 |
apollon009 |
eca-rers2012/Problem01_label32_false-unreach-call_false-termination.c |
false(unreach-call) |
32.0 |
31.4 |
586407936 |
348 |
apollon078 |
false(unreach-call) |
29.0 |
8.58 |
1047896064 |
242 |
apollon020 |
unknown |
.0161 |
.0169 |
970752 |
.0159 |
apollon124 |
eca-rers2012/Problem01_label33_false-unreach-call_false-termination.c |
false(unreach-call) |
18.2 |
17.7 |
576692224 |
232 |
apollon009 |
false(unreach-call) |
22.0 |
6.19 |
848171008 |
171 |
apollon060 |
unknown |
.0109 |
.0107 |
843776 |
.0101 |
apollon153 |
eca-rers2012/Problem01_label35_false-unreach-call_false-termination.c |
false(unreach-call) |
13.5 |
13.1 |
519733248 |
158 |
apollon045 |
false(unreach-call) |
26.9 |
9.13 |
1037926400 |
207 |
apollon058 |
unknown |
.0163 |
.0160 |
1011712 |
.00610 |
apollon145 |
eca-rers2012/Problem01_label37_false-unreach-call_false-termination.c |
false(unreach-call) |
19.8 |
19.2 |
545136640 |
232 |
apollon037 |
false(unreach-call) |
22.1 |
5.89 |
846315520 |
170 |
apollon085 |
unknown |
.0110 |
.0107 |
827392 |
.00000 |
apollon053 |
eca-rers2012/Problem01_label38_false-unreach-call_false-termination.c |
false(unreach-call) |
14.0 |
13.5 |
519012352 |
194 |
apollon027 |
false(unreach-call) |
21.1 |
5.64 |
812269568 |
168 |
apollon047 |
unknown |
.0120 |
.0123 |
905216 |
.0168 |
apollon039 |
eca-rers2012/Problem01_label44_false-unreach-call_false-termination.c |
false(unreach-call) |
9.97 |
9.60 |
585969664 |
131 |
apollon071 |
false(unreach-call) |
16.0 |
4.32 |
600502272 |
144 |
apollon125 |
unknown |
.00875 |
.00903 |
925696 |
.00861 |
apollon025 |
eca-rers2012/Problem01_label47_false-unreach-call_false-termination.c |
false(unreach-call) |
30.6 |
30.0 |
452460544 |
355 |
apollon102 |
false(unreach-call) |
43.2 |
21.7 |
2095919104 |
429 |
apollon038 |
unknown |
.0140 |
.0139 |
1007616 |
.00708 |
apollon106 |
eca-rers2012/Problem01_label50_false-unreach-call_false-termination.c |
false(unreach-call) |
13.3 |
12.8 |
539344896 |
164 |
apollon133 |
false(unreach-call) |
22.0 |
5.95 |
801144832 |
186 |
apollon044 |
unknown |
.0134 |
.0132 |
815104 |
.00720 |
apollon101 |
eca-rers2012/Problem01_label56_false-unreach-call_false-termination.c |
false(unreach-call) |
21.2 |
20.7 |
578768896 |
238 |
apollon098 |
false(unreach-call) |
23.4 |
6.12 |
823189504 |
187 |
apollon126 |
unknown |
.00955 |
.00971 |
811008 |
.00769 |
apollon074 |
eca-rers2012/Problem01_label57_false-unreach-call_false-termination.c |
false(unreach-call) |
22.3 |
21.8 |
528609280 |
260 |
apollon055 |
false(unreach-call) |
43.7 |
23.2 |
2018070528 |
430 |
apollon032 |
unknown |
.00921 |
.00915 |
946176 |
.00000 |
apollon141 |
eca-rers2012/Problem02_label13_false-unreach-call_false-termination.c |
false(unreach-call) |
7.39 |
7.08 |
385585152 |
87.3 |
apollon083 |
false(unreach-call) |
13.1 |
3.55 |
471687168 |
100 |
apollon071 |
unknown |
.00928 |
.0133 |
913408 |
.0134 |
apollon142 |
eca-rers2012/Problem02_label16_false-unreach-call_false-termination.c |
false(unreach-call) |
7.03 |
6.75 |
390479872 |
83.8 |
apollon079 |
false(unreach-call) |
11.0 |
3.11 |
477917184 |
90.4 |
apollon087 |
unknown |
.0178 |
.0184 |
843776 |
.00702 |
apollon104 |
eca-rers2012/Problem02_label43_false-unreach-call_false-termination.c |
false(unreach-call) |
7.21 |
6.98 |
385040384 |
84.3 |
apollon099 |
false(unreach-call) |
12.5 |
3.39 |
489721856 |
105 |
apollon032 |
unknown |
.0296 |
.0293 |
905216 |
.00781 |
apollon002 |
eca-rers2012/Problem02_label44_false-unreach-call_false-termination.c |
false(unreach-call) |
7.52 |
7.16 |
384933888 |
92.8 |
apollon153 |
false(unreach-call) |
12.2 |
3.35 |
474251264 |
108 |
apollon020 |
unknown |
.00998 |
.00981 |
946176 |
.0114 |
apollon167 |
eca-rers2012/Problem02_label45_false-unreach-call_false-termination.c |
false(unreach-call) |
9.33 |
8.96 |
382308352 |
113 |
apollon153 |
false(unreach-call) |
21.7 |
5.85 |
700645376 |
186 |
apollon126 |
unknown |
.0159 |
.0164 |
933888 |
.0156 |
apollon166 |
eca-rers2012/Problem02_label50_false-unreach-call_false-termination.c |
false(unreach-call) |
9.38 |
8.94 |
380194816 |
109 |
apollon100 |
false(unreach-call) |
18.7 |
5.20 |
633774080 |
160 |
apollon141 |
unknown |
.0114 |
.0114 |
811008 |
.00909 |
apollon100 |
eca-rers2012/Problem02_label59_false-unreach-call_false-termination.c |
false(unreach-call) |
9.91 |
9.60 |
400519168 |
129 |
apollon009 |
false(unreach-call) |
16.7 |
4.41 |
586911744 |
139 |
apollon047 |
unknown |
.00786 |
.0122 |
901120 |
.00665 |
apollon093 |
eca-rers2012/Problem03_label09_false-unreach-call.c |
false(unreach-call) |
193 |
192 |
3638480896 |
3420 |
apollon106 |
false(unreach-call) |
81.6 |
50.0 |
2407669760 |
935 |
apollon140 |
unknown |
.0182 |
.0180 |
1069056 |
.00354 |
apollon002 |
eca-rers2012/Problem03_label13_false-unreach-call.c |
false(unreach-call) |
121 |
120 |
3665678336 |
1120 |
apollon133 |
false(unreach-call) |
49.2 |
24.6 |
1945714688 |
515 |
apollon126 |
unknown |
.00933 |
.00921 |
888832 |
.00702 |
apollon093 |
eca-rers2012/Problem03_label26_false-unreach-call.c |
false(unreach-call) |
70.1 |
69.0 |
3482718208 |
701 |
apollon113 |
false(unreach-call) |
36.4 |
12.5 |
1239662592 |
331 |
apollon081 |
unknown |
.00836 |
.0134 |
925696 |
.0179 |
apollon041 |
eca-rers2012/Problem03_label27_false-unreach-call.c |
false(unreach-call) |
121 |
119 |
3626729472 |
1250 |
apollon167 |
false(unreach-call) |
46.1 |
17.4 |
1691025408 |
394 |
apollon118 |
unknown |
.0104 |
.0107 |
901120 |
.0106 |
apollon006 |
eca-rers2012/Problem03_label28_false-unreach-call.c |
false(unreach-call) |
138 |
137 |
3615391744 |
1190 |
apollon034 |
false(unreach-call) |
46.7 |
17.1 |
1700794368 |
428 |
apollon155 |
unknown |
.0121 |
.0128 |
987136 |
.00824 |
apollon027 |
eca-rers2012/Problem03_label31_false-unreach-call.c |
false(unreach-call) |
114 |
112 |
3633467392 |
1230 |
apollon142 |
false(unreach-call) |
50.6 |
20.2 |
1823731712 |
463 |
apollon167 |
unknown |
.00981 |
.0101 |
884736 |
.00787 |
apollon101 |
eca-rers2012/Problem03_label35_false-unreach-call.c |
false(unreach-call) |
205 |
203 |
3563876352 |
1540 |
apollon022 |
false(unreach-call) |
54.9 |
25.5 |
2063114240 |
525 |
apollon071 |
unknown |
.0268 |
.0328 |
1093632 |
.00604 |
apollon070 |
eca-rers2012/Problem03_label37_false-unreach-call.c |
false(unreach-call) |
132 |
131 |
3565285376 |
1060 |
apollon040 |
false(unreach-call) |
46.3 |
20.4 |
1868697600 |
413 |
apollon011 |
unknown |
.0150 |
.0146 |
901120 |
.00000 |
apollon134 |
eca-rers2012/Problem03_label39_false-unreach-call.c |
false(unreach-call) |
229 |
227 |
3559747584 |
1810 |
apollon015 |
false(unreach-call) |
68.4 |
34.0 |
1953198080 |
631 |
apollon142 |
unknown |
.0109 |
.0105 |
778240 |
.00922 |
apollon070 |
eca-rers2012/Problem03_label43_false-unreach-call.c |
false(unreach-call) |
127 |
125 |
3585179648 |
1150 |
apollon026 |
false(unreach-call) |
51.9 |
21.5 |
1993134080 |
413 |
apollon089 |
unknown |
.0184 |
.0177 |
913408 |
.00555 |
apollon015 |
eca-rers2012/Problem03_label45_false-unreach-call.c |
false(unreach-call) |
207 |
205 |
3612393472 |
3690 |
apollon106 |
false(unreach-call) |
58.5 |
27.8 |
2186940416 |
495 |
apollon128 |
unknown |
.0140 |
.0140 |
765952 |
.00964 |
apollon110 |
eca-rers2012/Problem03_label50_false-unreach-call.c |
false(unreach-call) |
130 |
128 |
3612184576 |
1110 |
apollon118 |
false(unreach-call) |
78.4 |
50.1 |
1836380160 |
817 |
apollon135 |
unknown |
.0125 |
.0151 |
1044480 |
.0225 |
apollon161 |
eca-rers2012/Problem03_label52_false-unreach-call.c |
false(unreach-call) |
195 |
193 |
3567214592 |
1780 |
apollon072 |
unknown |
102 |
77.9 |
2815733760 |
1040 |
apollon151 |
unknown |
19.7 |
7.68 |
605118464 |
173 |
apollon055 |
eca-rers2012/Problem04_label04_false-unreach-call.c |
timeout |
884 |
981 |
2949419008 |
7560 |
apollon059 |
unknown |
106 |
64.2 |
2799005696 |
853 |
apollon100 |
unknown |
74.3 |
49.4 |
1072406528 |
789 |
apollon167 |
eca-rers2012/Problem04_label06_false-unreach-call.c |
timeout |
884 |
981 |
2903740416 |
6820 |
apollon083 |
unknown |
105 |
62.9 |
2442240000 |
799 |
apollon151 |
unknown |
69.7 |
46.4 |
1050906624 |
792 |
apollon033 |
eca-rers2012/Problem04_label09_false-unreach-call.c |
timeout |
884 |
981 |
2954448896 |
6250 |
apollon131 |
unknown |
105 |
65.0 |
3029127168 |
943 |
apollon108 |
unknown |
63.6 |
42.6 |
1014554624 |
520 |
apollon063 |
eca-rers2012/Problem04_label11_false-unreach-call_false-termination.c |
timeout |
884 |
981 |
2937868288 |
7760 |
apollon142 |
unknown |
106 |
66.4 |
2867843072 |
867 |
apollon127 |
unknown |
73.1 |
49.2 |
1064710144 |
703 |
apollon109 |
eca-rers2012/Problem04_label12_false-unreach-call_false-termination.c |
timeout |
884 |
981 |
2863886336 |
5990 |
apollon060 |
unknown |
105 |
66.3 |
2891554816 |
913 |
apollon082 |
unknown |
74.4 |
49.5 |
1079025664 |
735 |
apollon157 |
eca-rers2012/Problem04_label13_false-unreach-call.c |
timeout |
884 |
981 |
2740649984 |
6800 |
apollon048 |
unknown |
104 |
65.0 |
2967457792 |
930 |
apollon108 |
unknown |
71.2 |
46.8 |
1049362432 |
769 |
apollon006 |
eca-rers2012/Problem04_label14_false-unreach-call_false-termination.c |
timeout |
884 |
981 |
2932535296 |
7370 |
apollon007 |
unknown |
106 |
61.5 |
2798776320 |
817 |
apollon029 |
unknown |
66.0 |
43.3 |
1021427712 |
608 |
apollon043 |
eca-rers2012/Problem04_label15_false-unreach-call.c |
timeout |
884 |
981 |
2949230592 |
8750 |
apollon140 |
unknown |
106 |
63.2 |
2703863808 |
885 |
apollon032 |
unknown |
68.1 |
44.5 |
1029550080 |
819 |
apollon161 |
eca-rers2012/Problem04_label17_false-unreach-call_false-termination.c |
timeout |
884 |
981 |
2849583104 |
6000 |
apollon104 |
unknown |
106 |
65.2 |
2876592128 |
881 |
apollon146 |
unknown |
69.9 |
46.6 |
1052606464 |
733 |
apollon070 |
eca-rers2012/Problem04_label18_false-unreach-call.c |
timeout |
884 |
981 |
2956120064 |
6900 |
apollon099 |
unknown |
105 |
62.8 |
2570268672 |
922 |
apollon168 |
unknown |
66.5 |
43.6 |
1008295936 |
804 |
apollon021 |
eca-rers2012/Problem04_label19_false-unreach-call.c |
timeout |
884 |
981 |
2956574720 |
8720 |
apollon088 |
unknown |
104 |
63.0 |
2145894400 |
854 |
apollon121 |
unknown |
68.1 |
43.8 |
1013506048 |
734 |
apollon020 |
eca-rers2012/Problem04_label26_false-unreach-call.c |
timeout |
884 |
981 |
2963935232 |
8210 |
apollon160 |
unknown |
106 |
64.2 |
2630680576 |
935 |
apollon095 |
unknown |
64.3 |
43.1 |
1023340544 |
605 |
apollon117 |
eca-rers2012/Problem04_label27_false-unreach-call_false-termination.c |
timeout |
884 |
981 |
2689249280 |
6730 |
apollon128 |
unknown |
105 |
65.8 |
2343235584 |
1050 |
apollon016 |
unknown |
72.5 |
46.5 |
1047429120 |
651 |
apollon100 |
eca-rers2012/Problem04_label31_false-unreach-call.c |
timeout |
884 |
981 |
2976333824 |
7220 |
apollon163 |
unknown |
106 |
66.4 |
2871259136 |
880 |
apollon117 |
unknown |
74.9 |
50.0 |
1071022080 |
704 |
apollon100 |
eca-rers2012/Problem04_label32_false-unreach-call.c |
timeout |
884 |
981 |
2962296832 |
5910 |
apollon022 |
unknown |
104 |
62.4 |
2482671616 |
964 |
apollon014 |
unknown |
68.6 |
45.1 |
1006968832 |
691 |
apollon165 |
eca-rers2012/Problem04_label35_false-unreach-call.c |
timeout |
884 |
981 |
2964844544 |
6260 |
apollon153 |
unknown |
105 |
64.3 |
2723340288 |
1120 |
apollon021 |
unknown |
73.3 |
49.3 |
1076338688 |
759 |
apollon011 |
eca-rers2012/Problem04_label36_false-unreach-call_false-termination.c |
timeout |
884 |
981 |
2860142592 |
7080 |
apollon001 |
unknown |
106 |
63.6 |
2360848384 |
887 |
apollon128 |
unknown |
73.7 |
49.0 |
1069834240 |
806 |
apollon006 |
eca-rers2012/Problem04_label38_false-unreach-call.c |
timeout |
884 |
981 |
2961162240 |
6730 |
apollon090 |
unknown |
106 |
64.8 |
2884759552 |
934 |
apollon079 |
unknown |
70.7 |
46.7 |
1054126080 |
752 |
apollon145 |
eca-rers2012/Problem04_label39_false-unreach-call.c |
timeout |
884 |
981 |
2956705792 |
6740 |
apollon116 |
unknown |
105 |
61.5 |
2437586944 |
881 |
apollon146 |
unknown |
62.5 |
42.8 |
1016475648 |
685 |
apollon113 |
eca-rers2012/Problem04_label40_false-unreach-call_false-termination.c |
timeout |
884 |
981 |
2948640768 |
8530 |
apollon112 |
unknown |
106 |
65.4 |
2728771584 |
1030 |
apollon014 |
unknown |
75.0 |
49.5 |
1060274176 |
785 |
apollon093 |
eca-rers2012/Problem04_label45_false-unreach-call.c |
timeout |
884 |
981 |
2947735552 |
7140 |
apollon147 |
unknown |
106 |
63.7 |
2421309440 |
880 |
apollon086 |
unknown |
64.0 |
43.4 |
1008676864 |
663 |
apollon055 |
eca-rers2012/Problem04_label52_false-unreach-call.c |
timeout |
884 |
981 |
2945732608 |
7820 |
apollon062 |
unknown |
104 |
64.8 |
2975277056 |
935 |
apollon164 |
unknown |
63.3 |
43.0 |
1004101632 |
597 |
apollon104 |
eca-rers2012/Problem04_label55_false-unreach-call.c |
timeout |
884 |
981 |
2906042368 |
6300 |
apollon078 |
unknown |
105 |
65.2 |
2656747520 |
955 |
apollon165 |
unknown |
71.9 |
46.0 |
1035558912 |
753 |
apollon142 |
eca-rers2012/Problem04_label58_false-unreach-call_false-termination.c |
timeout |
883 |
981 |
2854088704 |
7770 |
apollon142 |
unknown |
106 |
63.8 |
2865848320 |
875 |
apollon152 |
unknown |
71.7 |
47.0 |
1043894272 |
818 |
apollon126 |
eca-rers2012/Problem05_label00_false-unreach-call.c |
timeout |
886 |
981 |
3561459712 |
7360 |
apollon046 |
unknown |
109 |
65.6 |
2675154944 |
972 |
apollon038 |
unknown |
49.3 |
29.2 |
921231360 |
466 |
apollon166 |
eca-rers2012/Problem05_label01_false-unreach-call.c |
timeout |
886 |
981 |
3671384064 |
8710 |
apollon130 |
unknown |
104 |
68.5 |
2580602880 |
891 |
apollon015 |
unknown |
39.8 |
22.8 |
847364096 |
389 |
apollon095 |
eca-rers2012/Problem05_label11_false-unreach-call.c |
timeout |
886 |
981 |
3750584320 |
6880 |
apollon159 |
unknown |
103 |
61.6 |
2678022144 |
860 |
apollon128 |
unknown |
49.3 |
29.0 |
913383424 |
430 |
apollon151 |
eca-rers2012/Problem05_label13_false-unreach-call.c |
timeout |
885 |
980 |
3603435520 |
8180 |
apollon069 |
unknown |
107 |
66.3 |
2762219520 |
895 |
apollon076 |
unknown |
46.8 |
25.6 |
916189184 |
475 |
apollon077 |
eca-rers2012/Problem05_label15_false-unreach-call.c |
timeout |
886 |
981 |
3456651264 |
7770 |
apollon028 |
unknown |
110 |
61.9 |
3064414208 |
909 |
apollon119 |
unknown |
49.9 |
29.6 |
903036928 |
570 |
apollon021 |
eca-rers2012/Problem05_label18_false-unreach-call.c |
timeout |
885 |
981 |
3727040512 |
8880 |
apollon148 |
unknown |
111 |
64.8 |
3053572096 |
945 |
apollon168 |
unknown |
48.4 |
28.7 |
908320768 |
481 |
apollon070 |
eca-rers2012/Problem05_label24_false-unreach-call.c |
timeout |
886 |
981 |
3531075584 |
6680 |
apollon003 |
unknown |
110 |
67.7 |
2533466112 |
875 |
apollon098 |
unknown |
49.3 |
28.8 |
909213696 |
469 |
apollon157 |
eca-rers2012/Problem05_label26_false-unreach-call.c |
timeout |
886 |
981 |
3681595392 |
7500 |
apollon114 |
unknown |
104 |
67.9 |
2060161024 |
1150 |
apollon021 |
unknown |
39.1 |
22.6 |
841908224 |
423 |
apollon065 |
eca-rers2012/Problem05_label30_false-unreach-call.c |
timeout |
886 |
981 |
3446755328 |
7490 |
apollon007 |
unknown |
103 |
61.5 |
2814627840 |
911 |
apollon106 |
unknown |
48.3 |
29.3 |
906567680 |
536 |
apollon126 |
eca-rers2012/Problem05_label32_false-unreach-call.c |
timeout |
886 |
981 |
3674533888 |
6190 |
apollon166 |
unknown |
108 |
64.6 |
2605826048 |
977 |
apollon019 |
unknown |
49.8 |
29.0 |
908427264 |
487 |
apollon145 |
eca-rers2012/Problem05_label33_false-unreach-call.c |
timeout |
885 |
981 |
3450826752 |
8250 |
apollon132 |
unknown |
111 |
62.9 |
2602913792 |
890 |
apollon093 |
unknown |
49.2 |
29.1 |
914714624 |
458 |
apollon045 |
eca-rers2012/Problem05_label36_false-unreach-call.c |
timeout |
886 |
981 |
3505295360 |
6360 |
apollon153 |
unknown |
108 |
65.1 |
2977853440 |
903 |
apollon018 |
unknown |
49.9 |
29.3 |
901480448 |
438 |
apollon134 |
eca-rers2012/Problem05_label37_false-unreach-call.c |
timeout |
886 |
981 |
3491426304 |
8460 |
apollon030 |
unknown |
103 |
65.3 |
2481061888 |
853 |
apollon042 |
unknown |
48.0 |
28.8 |
902692864 |
525 |
apollon130 |
eca-rers2012/Problem05_label38_false-unreach-call.c |
timeout |
886 |
981 |
3666194432 |
6220 |
apollon089 |
unknown |
103 |
71.4 |
2732982272 |
873 |
apollon121 |
unknown |
50.7 |
29.4 |
906125312 |
496 |
apollon162 |
eca-rers2012/Problem05_label39_false-unreach-call.c |
timeout |
886 |
981 |
3544203264 |
7260 |
apollon147 |
unknown |
104 |
58.2 |
2727407616 |
830 |
apollon093 |
unknown |
48.2 |
28.8 |
906625024 |
478 |
apollon082 |
eca-rers2012/Problem05_label40_false-unreach-call.c |
timeout |
886 |
981 |
3502170112 |
9020 |
apollon021 |
unknown |
104 |
65.2 |
2683604992 |
847 |
apollon151 |
unknown |
48.8 |
28.8 |
903794688 |
497 |
apollon052 |
eca-rers2012/Problem05_label41_false-unreach-call.c |
timeout |
886 |
981 |
3502301184 |
6800 |
apollon009 |
unknown |
103 |
57.5 |
2862415872 |
957 |
apollon081 |
unknown |
48.8 |
28.7 |
908419072 |
504 |
apollon091 |
eca-rers2012/Problem05_label44_false-unreach-call.c |
timeout |
886 |
981 |
3528806400 |
7190 |
apollon061 |
unknown |
103 |
58.7 |
2627387392 |
831 |
apollon025 |
unknown |
37.3 |
21.8 |
846516224 |
405 |
apollon130 |
eca-rers2012/Problem05_label47_false-unreach-call.c |
timeout |
886 |
981 |
3529117696 |
7200 |
apollon038 |
unknown |
113 |
65.9 |
3175817216 |
868 |
apollon029 |
unknown |
50.0 |
28.9 |
903643136 |
515 |
apollon006 |
eca-rers2012/Problem05_label48_false-unreach-call.c |
timeout |
886 |
981 |
3517034496 |
6840 |
apollon083 |
unknown |
111 |
64.1 |
2790735872 |
951 |
apollon004 |
unknown |
49.0 |
28.6 |
909565952 |
480 |
apollon153 |
eca-rers2012/Problem05_label51_false-unreach-call.c |
timeout |
886 |
981 |
3671797760 |
6430 |
apollon137 |
unknown |
103 |
62.2 |
2473623552 |
986 |
apollon125 |
unknown |
48.9 |
27.9 |
905998336 |
466 |
apollon078 |
eca-rers2012/Problem05_label55_false-unreach-call.c |
timeout |
886 |
981 |
3672903680 |
7240 |
apollon129 |
unknown |
104 |
57.8 |
2264559616 |
871 |
apollon004 |
unknown |
47.9 |
28.8 |
893001728 |
535 |
apollon014 |
eca-rers2012/Problem05_label57_false-unreach-call.c |
timeout |
886 |
981 |
3476140032 |
6610 |
apollon143 |
unknown |
103 |
57.4 |
2603585536 |
916 |
apollon079 |
unknown |
49.2 |
29.0 |
906747904 |
480 |
apollon074 |
eca-rers2012/Problem05_label58_false-unreach-call.c |
timeout |
886 |
981 |
3476180992 |
6160 |
apollon060 |
unknown |
111 |
63.3 |
2659594240 |
880 |
apollon053 |
unknown |
48.8 |
29.0 |
910012416 |
549 |
apollon161 |
eca-rers2012/Problem06_label00_false-unreach-call.c |
timeout |
886 |
981 |
5703929856 |
6800 |
apollon048 |
unknown |
103 |
57.1 |
2952146944 |
829 |
apollon135 |
unknown |
34.8 |
19.5 |
815411200 |
381 |
apollon057 |
eca-rers2012/Problem06_label01_false-unreach-call.c |
timeout |
885 |
981 |
5919408128 |
5810 |
apollon042 |
unknown |
103 |
59.7 |
2354462720 |
853 |
apollon152 |
unknown |
36.1 |
19.7 |
849440768 |
312 |
apollon151 |
eca-rers2012/Problem06_label02_false-unreach-call.c |
timeout |
885 |
981 |
5945020416 |
7010 |
apollon061 |
unknown |
108 |
59.0 |
2451890176 |
916 |
apollon038 |
unknown |
33.6 |
19.6 |
794378240 |
326 |
apollon074 |
eca-rers2012/Problem06_label04_false-unreach-call.c |
timeout |
886 |
981 |
5765144576 |
6840 |
apollon070 |
unknown |
103 |
56.5 |
2786918400 |
891 |
apollon034 |
unknown |
34.2 |
19.3 |
826040320 |
390 |
apollon106 |
eca-rers2012/Problem06_label05_false-unreach-call.c |
timeout |
885 |
981 |
5917196288 |
7840 |
apollon010 |
unknown |
104 |
54.0 |
2906554368 |
784 |
apollon054 |
unknown |
38.3 |
20.6 |
819105792 |
384 |
apollon112 |
eca-rers2012/Problem06_label09_false-unreach-call.c |
timeout |
886 |
981 |
5933432832 |
7600 |
apollon125 |
unknown |
103 |
57.7 |
2490544128 |
827 |
apollon015 |
unknown |
33.7 |
19.3 |
803643392 |
362 |
apollon130 |
eca-rers2012/Problem06_label10_false-unreach-call.c |
timeout |
885 |
981 |
5916225536 |
5970 |
apollon089 |
unknown |
102 |
54.9 |
2424188928 |
845 |
apollon025 |
unknown |
29.8 |
14.7 |
744718336 |
260 |
apollon023 |
eca-rers2012/Problem06_label11_false-unreach-call.c |
timeout |
886 |
981 |
5945679872 |
6930 |
apollon026 |
unknown |
105 |
54.0 |
2914156544 |
814 |
apollon120 |
unknown |
34.4 |
19.4 |
810524672 |
333 |
apollon074 |
eca-rers2012/Problem06_label12_false-unreach-call.c |
timeout |
885 |
981 |
5646761984 |
6770 |
apollon168 |
unknown |
103 |
57.7 |
2582433792 |
1030 |
apollon167 |
unknown |
36.5 |
19.9 |
815726592 |
367 |
apollon114 |
eca-rers2012/Problem06_label15_false-unreach-call.c |
timeout |
886 |
981 |
5708460032 |
6990 |
apollon038 |
unknown |
107 |
57.1 |
2395238400 |
1020 |
apollon014 |
unknown |
45.8 |
26.1 |
887996416 |
439 |
apollon142 |
eca-rers2012/Problem06_label20_false-unreach-call.c |
timeout |
886 |
981 |
5925478400 |
6250 |
apollon074 |
unknown |
103 |
60.9 |
2678034432 |
824 |
apollon092 |
unknown |
44.9 |
25.5 |
928526336 |
417 |
apollon001 |
eca-rers2012/Problem06_label21_false-unreach-call.c |
timeout |
886 |
981 |
5713317888 |
6560 |
apollon146 |
unknown |
104 |
52.4 |
2506428416 |
798 |
apollon152 |
unknown |
44.0 |
25.4 |
916529152 |
388 |
apollon134 |
eca-rers2012/Problem06_label24_false-unreach-call.c |
timeout |
885 |
981 |
5953273856 |
6280 |
apollon098 |
unknown |
103 |
58.1 |
2741145600 |
909 |
apollon087 |
unknown |
51.1 |
30.5 |
917323776 |
493 |
apollon012 |
eca-rers2012/Problem06_label27_false-unreach-call.c |
timeout |
886 |
981 |
5936361472 |
6290 |
apollon093 |
unknown |
103 |
58.5 |
2712629248 |
921 |
apollon072 |
unknown |
44.6 |
25.6 |
890998784 |
475 |
apollon033 |
eca-rers2012/Problem06_label29_false-unreach-call.c |
timeout |
886 |
981 |
5769834496 |
6760 |
apollon095 |
unknown |
107 |
61.0 |
2793439232 |
839 |
apollon060 |
unknown |
44.8 |
25.6 |
909713408 |
462 |
apollon048 |
eca-rers2012/Problem06_label33_false-unreach-call.c |
timeout |
886 |
981 |
5725310976 |
5780 |
apollon002 |
unknown |
104 |
58.3 |
2218074112 |
990 |
apollon106 |
unknown |
46.2 |
25.6 |
913674240 |
446 |
apollon153 |
eca-rers2012/Problem06_label36_false-unreach-call.c |
timeout |
886 |
981 |
5704687616 |
6930 |
apollon026 |
unknown |
103 |
57.8 |
2626785280 |
980 |
apollon081 |
unknown |
36.2 |
19.8 |
832667648 |
348 |
apollon049 |
eca-rers2012/Problem06_label37_false-unreach-call.c |
timeout |
885 |
981 |
5626249216 |
6710 |
apollon004 |
unknown |
103 |
57.5 |
2487402496 |
888 |
apollon109 |
unknown |
42.8 |
25.0 |
907939840 |
469 |
apollon014 |
eca-rers2012/Problem06_label38_false-unreach-call.c |
timeout |
886 |
981 |
5919117312 |
7150 |
apollon084 |
unknown |
107 |
57.2 |
2394734592 |
909 |
apollon109 |
unknown |
45.3 |
25.1 |
897695744 |
465 |
apollon010 |
eca-rers2012/Problem06_label44_false-unreach-call.c |
timeout |
887 |
981 |
5704667136 |
7960 |
apollon094 |
unknown |
103 |
55.1 |
2350030848 |
834 |
apollon070 |
unknown |
46.5 |
26.3 |
892776448 |
475 |
apollon094 |
eca-rers2012/Problem06_label47_false-unreach-call.c |
timeout |
886 |
981 |
5919469568 |
9230 |
apollon039 |
unknown |
103 |
52.7 |
2400665600 |
830 |
apollon058 |
unknown |
45.5 |
25.8 |
908759040 |
409 |
apollon104 |
eca-rers2012/Problem06_label48_false-unreach-call.c |
timeout |
886 |
981 |
5982085120 |
6820 |
apollon033 |
unknown |
105 |
57.8 |
2625384448 |
898 |
apollon121 |
unknown |
51.7 |
30.9 |
912674816 |
512 |
apollon156 |
eca-rers2012/Problem06_label56_false-unreach-call.c |
timeout |
886 |
981 |
5944033280 |
6030 |
apollon029 |
unknown |
103 |
56.3 |
2394062848 |
776 |
apollon002 |
unknown |
45.2 |
25.4 |
921153536 |
448 |
apollon113 |
eca-rers2012/Problem06_label58_false-unreach-call.c |
timeout |
886 |
981 |
5700321280 |
7180 |
apollon155 |
unknown |
108 |
57.4 |
2758926336 |
977 |
apollon030 |
unknown |
50.1 |
30.9 |
909365248 |
530 |
apollon155 |
eca-rers2012/Problem06_label59_false-unreach-call.c |
timeout |
885 |
981 |
5736656896 |
7460 |
apollon017 |
unknown |
103 |
56.4 |
2517798912 |
865 |
apollon086 |
unknown |
35.8 |
19.9 |
819109888 |
326 |
apollon129 |
eca-rers2012/Problem07_label03_false-unreach-call.c |
out of memory |
524 |
519 |
14999998464 |
6180 |
apollon024 |
unknown |
149 |
33.4 |
6278975488 |
791 |
apollon002 |
unknown |
253 |
78.0 |
1436700672 |
1610 |
apollon032 |
eca-rers2012/Problem07_label05_false-unreach-call.c |
error (1) |
445 |
442 |
9932095488 |
6210 |
apollon056 |
unknown |
145 |
33.3 |
6970871808 |
865 |
apollon022 |
unknown |
661 |
131 |
1414795264 |
3610 |
apollon064 |
eca-rers2012/Problem07_label06_false-unreach-call.c |
error (1) |
307 |
304 |
8330686464 |
2890 |
apollon002 |
unknown |
162 |
35.0 |
6616494080 |
811 |
apollon029 |
timeout |
957 |
170 |
1431326720 |
4540 |
apollon053 |
eca-rers2012/Problem07_label07_false-unreach-call.c |
out of memory |
473 |
470 |
14999998464 |
4870 |
apollon051 |
unknown |
102 |
25.0 |
4376100864 |
580 |
apollon086 |
unknown |
20.3 |
6.32 |
938647552 |
130 |
apollon134 |
eca-rers2012/Problem07_label09_false-unreach-call.c |
timeout |
903 |
981 |
13617135616 |
7680 |
apollon144 |
unknown |
102 |
24.8 |
4639858688 |
617 |
apollon077 |
unknown |
77.4 |
23.3 |
1431232512 |
462 |
apollon100 |
eca-rers2012/Problem07_label11_false-unreach-call.c |
out of memory |
464 |
461 |
14999998464 |
4450 |
apollon092 |
unknown |
136 |
31.3 |
6010540032 |
694 |
apollon040 |
timeout |
957 |
170 |
1439965184 |
4300 |
apollon041 |
eca-rers2012/Problem07_label15_false-unreach-call.c |
timeout |
903 |
981 |
13628379136 |
8330 |
apollon095 |
unknown |
103 |
32.2 |
4809199616 |
632 |
apollon128 |
unknown |
22.4 |
6.93 |
933208064 |
160 |
apollon067 |
eca-rers2012/Problem07_label18_false-unreach-call.c |
timeout |
903 |
981 |
13606240256 |
10400 |
apollon088 |
unknown |
104 |
27.0 |
5493460992 |
659 |
apollon167 |
unknown |
101 |
39.0 |
1447780352 |
762 |
apollon093 |
eca-rers2012/Problem07_label19_false-unreach-call.c |
out of memory |
717 |
711 |
14999998464 |
6900 |
apollon018 |
unknown |
139 |
32.2 |
6471180288 |
774 |
apollon107 |
unknown |
307 |
84.9 |
1423990784 |
2020 |
apollon048 |
eca-rers2012/Problem07_label20_false-unreach-call.c |
error (1) |
74.2 |
73.9 |
4172505088 |
1080 |
apollon148 |
unknown |
104 |
28.1 |
4405948416 |
661 |
apollon022 |
unknown |
146 |
47.6 |
1432739840 |
984 |
apollon004 |
eca-rers2012/Problem07_label23_false-unreach-call.c |
error (1) |
299 |
297 |
8357240832 |
3810 |
apollon094 |
unknown |
134 |
31.7 |
6455271424 |
795 |
apollon084 |
unknown |
381 |
94.4 |
1423605760 |
2420 |
apollon126 |
eca-rers2012/Problem07_label30_false-unreach-call.c |
timeout |
903 |
981 |
13623988224 |
10100 |
apollon005 |
unknown |
103 |
26.0 |
5240274944 |
676 |
apollon126 |
unknown |
102 |
32.2 |
1453637632 |
599 |
apollon089 |
eca-rers2012/Problem07_label31_false-unreach-call.c |
error (1) |
444 |
441 |
8601313280 |
4620 |
apollon051 |
unknown |
103 |
28.0 |
4408725504 |
582 |
apollon123 |
unknown |
136 |
46.4 |
1448497152 |
1020 |
apollon033 |
eca-rers2012/Problem07_label35_false-unreach-call.c |
out of memory |
549 |
542 |
14999998464 |
5560 |
apollon156 |
unknown |
111 |
28.7 |
6086082560 |
675 |
apollon165 |
unknown |
137 |
46.3 |
1433313280 |
969 |
apollon101 |
eca-rers2012/Problem07_label36_false-unreach-call.c |
timeout |
903 |
981 |
14098784256 |
7990 |
apollon053 |
unknown |
115 |
28.8 |
5255831552 |
666 |
apollon109 |
timeout |
957 |
170 |
1423323136 |
5100 |
apollon153 |
eca-rers2012/Problem07_label37_false-unreach-call.c |
out of memory |
538 |
533 |
14999998464 |
4840 |
apollon074 |
unknown |
145 |
33.2 |
6802366464 |
729 |
apollon158 |
unknown |
182 |
69.4 |
1437462528 |
1290 |
apollon022 |
eca-rers2012/Problem07_label39_false-unreach-call.c |
error (1) |
420 |
417 |
8608387072 |
4340 |
apollon109 |
unknown |
103 |
25.5 |
4619317248 |
571 |
apollon060 |
unknown |
88.1 |
25.2 |
1428553728 |
568 |
apollon052 |
eca-rers2012/Problem07_label40_false-unreach-call.c |
error (1) |
75.6 |
75.3 |
4176384000 |
905 |
apollon156 |
unknown |
137 |
32.0 |
6521126912 |
768 |
apollon107 |
unknown |
218 |
75.5 |
1425682432 |
1460 |
apollon038 |
eca-rers2012/Problem07_label42_false-unreach-call.c |
out of memory |
473 |
469 |
14999998464 |
5610 |
apollon069 |
unknown |
138 |
33.0 |
6389141504 |
749 |
apollon060 |
unknown |
206 |
72.0 |
1408221184 |
1260 |
apollon041 |
eca-rers2012/Problem07_label44_false-unreach-call.c |
out of memory |
528 |
524 |
14999998464 |
5120 |
apollon126 |
unknown |
104 |
28.0 |
4423475200 |
569 |
apollon158 |
unknown |
126 |
45.0 |
1427468288 |
950 |
apollon155 |
eca-rers2012/Problem07_label46_false-unreach-call.c |
timeout |
903 |
981 |
13607895040 |
8960 |
apollon087 |
unknown |
157 |
35.0 |
6264422400 |
807 |
apollon128 |
unknown |
199 |
71.0 |
1441816576 |
1350 |
apollon012 |
eca-rers2012/Problem07_label47_false-unreach-call.c |
out of memory |
463 |
459 |
15000002560 |
5070 |
apollon058 |
unknown |
131 |
31.8 |
6220234752 |
730 |
apollon157 |
timeout |
957 |
170 |
1449680896 |
4300 |
apollon098 |
eca-rers2012/Problem07_label48_false-unreach-call.c |
error (1) |
467 |
463 |
9810538496 |
4520 |
apollon093 |
unknown |
103 |
32.3 |
4821311488 |
623 |
apollon089 |
unknown |
20.8 |
6.54 |
822841344 |
144 |
apollon086 |
eca-rers2012/Problem07_label58_false-unreach-call.c |
out of memory |
520 |
515 |
14999998464 |
5010 |
apollon115 |
unknown |
133 |
31.3 |
6010277888 |
830 |
apollon160 |
timeout |
957 |
169 |
1404960768 |
4420 |
apollon003 |
eca-rers2012/Problem08_label01_false-unreach-call.c |
error (1) |
354 |
352 |
9334358016 |
3750 |
apollon154 |
unknown |
191 |
45.0 |
7717019648 |
1120 |
apollon155 |
unknown |
.0265 |
.0282 |
765952 |
.00439 |
apollon015 |
eca-rers2012/Problem08_label02_false-unreach-call.c |
error (1) |
237 |
236 |
8618270720 |
2830 |
apollon072 |
unknown |
192 |
45.2 |
7918493696 |
1060 |
apollon011 |
unknown |
.00691 |
.00764 |
757760 |
.0153 |
apollon057 |
eca-rers2012/Problem08_label04_false-unreach-call.c |
error (1) |
237 |
236 |
8621125632 |
2890 |
apollon165 |
timeout |
200 |
46.3 |
8001560576 |
1150 |
apollon093 |
unknown |
.00874 |
.00887 |
782336 |
.0120 |
apollon016 |
eca-rers2012/Problem08_label05_false-unreach-call.c |
error (1) |
352 |
350 |
8778739712 |
4120 |
apollon047 |
unknown |
193 |
44.2 |
7907172352 |
1070 |
apollon052 |
unknown |
.0148 |
.0160 |
831488 |
.00915 |
apollon166 |
eca-rers2012/Problem08_label06_false-unreach-call.c |
error (1) |
348 |
346 |
10034278400 |
3730 |
apollon050 |
unknown |
187 |
44.7 |
7870328832 |
963 |
apollon089 |
unknown |
.0128 |
.0127 |
884736 |
.0104 |
apollon021 |
eca-rers2012/Problem08_label07_false-unreach-call.c |
error (1) |
350 |
348 |
8787382272 |
3400 |
apollon002 |
unknown |
179 |
43.8 |
7736348672 |
1110 |
apollon108 |
unknown |
.0153 |
.0152 |
954368 |
.00360 |
apollon093 |
eca-rers2012/Problem08_label10_false-unreach-call.c |
error (1) |
244 |
243 |
8616374272 |
2590 |
apollon137 |
unknown |
178 |
42.5 |
7448522752 |
1030 |
apollon052 |
unknown |
.0124 |
.0120 |
839680 |
.0156 |
apollon093 |
eca-rers2012/Problem08_label13_false-unreach-call.c |
error (1) |
239 |
238 |
8620982272 |
3200 |
apollon132 |
unknown |
196 |
45.2 |
7514611712 |
1010 |
apollon060 |
unknown |
.0262 |
.0289 |
778240 |
.0136 |
apollon074 |
eca-rers2012/Problem08_label15_false-unreach-call.c |
error (1) |
236 |
235 |
8618733568 |
2840 |
apollon011 |
timeout |
208 |
47.5 |
8971759616 |
1150 |
apollon078 |
unknown |
.0115 |
.0119 |
1048576 |
.00659 |
apollon063 |
eca-rers2012/Problem08_label24_false-unreach-call.c |
error (1) |
233 |
232 |
8616828928 |
3190 |
apollon064 |
unknown |
187 |
44.4 |
7430647808 |
1060 |
apollon005 |
unknown |
.0127 |
.0133 |
786432 |
.0133 |
apollon021 |
eca-rers2012/Problem08_label25_false-unreach-call.c |
error (1) |
238 |
237 |
8617844736 |
3140 |
apollon167 |
unknown |
185 |
43.7 |
7511535616 |
974 |
apollon029 |
unknown |
.0203 |
.0211 |
888832 |
.0101 |
apollon030 |
eca-rers2012/Problem08_label26_false-unreach-call.c |
error (1) |
240 |
239 |
8618602496 |
2780 |
apollon156 |
unknown |
181 |
43.7 |
7614091264 |
1090 |
apollon164 |
unknown |
.0227 |
.0219 |
1056768 |
.00647 |
apollon032 |
eca-rers2012/Problem08_label28_false-unreach-call.c |
error (1) |
250 |
249 |
8621367296 |
2920 |
apollon163 |
unknown |
175 |
42.8 |
7611682816 |
933 |
apollon060 |
unknown |
.00896 |
.0112 |
905216 |
.0102 |
apollon016 |
eca-rers2012/Problem08_label29_false-unreach-call.c |
error (1) |
243 |
242 |
8618528768 |
2590 |
apollon137 |
timeout |
208 |
46.4 |
7141625856 |
1180 |
apollon030 |
unknown |
.0151 |
.0157 |
901120 |
.0195 |
apollon127 |
eca-rers2012/Problem08_label34_false-unreach-call.c |
error (1) |
360 |
358 |
9557712896 |
4170 |
apollon027 |
unknown |
180 |
41.3 |
5996167168 |
1120 |
apollon021 |
unknown |
.0120 |
.0117 |
868352 |
.00739 |
apollon023 |
eca-rers2012/Problem08_label37_false-unreach-call.c |
error (1) |
243 |
242 |
8617205760 |
3060 |
apollon081 |
timeout |
208 |
45.7 |
6922010624 |
1160 |
apollon020 |
unknown |
.0110 |
.0135 |
991232 |
.00928 |
apollon124 |
eca-rers2012/Problem08_label43_false-unreach-call.c |
error (1) |
348 |
347 |
9334456320 |
3680 |
apollon119 |
timeout |
208 |
45.9 |
7993274368 |
978 |
apollon040 |
unknown |
.0137 |
.0134 |
933888 |
.00842 |
apollon022 |
eca-rers2012/Problem08_label46_false-unreach-call.c |
error (1) |
240 |
239 |
8620236800 |
2740 |
apollon034 |
unknown |
178 |
41.5 |
5764263936 |
840 |
apollon151 |
unknown |
.0171 |
.0169 |
888832 |
.00415 |
apollon164 |
eca-rers2012/Problem08_label48_false-unreach-call.c |
error (1) |
238 |
237 |
8616583168 |
2780 |
apollon133 |
timeout |
203 |
46.9 |
8385490944 |
1130 |
apollon152 |
unknown |
.0134 |
.0138 |
921600 |
.0101 |
apollon098 |
eca-rers2012/Problem08_label49_false-unreach-call.c |
error (1) |
269 |
268 |
9334427648 |
3200 |
apollon047 |
unknown |
176 |
42.7 |
7392059392 |
989 |
apollon085 |
unknown |
.00850 |
.00872 |
724992 |
.00861 |
apollon143 |
eca-rers2012/Problem08_label50_false-unreach-call.c |
error (1) |
240 |
239 |
8618741760 |
2690 |
apollon053 |
unknown |
184 |
44.3 |
7637200896 |
1020 |
apollon018 |
unknown |
.00823 |
.0107 |
892928 |
.0114 |
apollon129 |
eca-rers2012/Problem08_label51_false-unreach-call.c |
error (1) |
234 |
233 |
8624558080 |
2840 |
apollon062 |
unknown |
198 |
45.9 |
7703785472 |
1120 |
apollon118 |
unknown |
.0188 |
.0193 |
847872 |
.00769 |
apollon100 |
eca-rers2012/Problem08_label55_false-unreach-call.c |
error (1) |
234 |
233 |
8616677376 |
3110 |
apollon112 |
unknown |
181 |
43.4 |
7236329472 |
988 |
apollon053 |
unknown |
.00954 |
.00944 |
983040 |
.0103 |
apollon133 |
eca-rers2012/Problem08_label59_false-unreach-call.c |
error (1) |
346 |
344 |
11391619072 |
4110 |
apollon114 |
unknown |
170 |
42.5 |
7663599616 |
962 |
apollon150 |
unknown |
.0115 |
.0114 |
1052672 |
.0106 |
apollon059 |
eca-rers2012/Problem09_label02_false-unreach-call.c |
error (1) |
296 |
295 |
9786695680 |
3090 |
apollon023 |
timeout |
208 |
48.0 |
8649220096 |
1160 |
apollon020 |
unknown |
.0298 |
.0324 |
888832 |
.0316 |
apollon070 |
eca-rers2012/Problem09_label03_false-unreach-call.c |
error (1) |
303 |
302 |
9785294848 |
3740 |
apollon019 |
timeout |
208 |
48.2 |
8388448256 |
1150 |
apollon126 |
unknown |
.0152 |
.0149 |
991232 |
.0185 |
apollon060 |
eca-rers2012/Problem09_label06_false-unreach-call.c |
error (1) |
409 |
407 |
10825826304 |
4130 |
apollon127 |
timeout |
208 |
48.1 |
8493309952 |
1010 |
apollon116 |
unknown |
.0119 |
.0117 |
851968 |
.00977 |
apollon001 |
eca-rers2012/Problem09_label08_false-unreach-call.c |
error (1) |
284 |
283 |
9789341696 |
2930 |
apollon078 |
timeout |
208 |
46.5 |
6332305408 |
978 |
apollon086 |
unknown |
.0296 |
.0288 |
749568 |
.00519 |
apollon012 |
eca-rers2012/Problem09_label10_false-unreach-call.c |
error (1) |
293 |
292 |
9786183680 |
3540 |
apollon046 |
timeout |
208 |
46.4 |
5837799424 |
1080 |
apollon167 |
unknown |
.0176 |
.0190 |
897024 |
.00562 |
apollon104 |
eca-rers2012/Problem09_label11_false-unreach-call.c |
error (1) |
294 |
293 |
9786785792 |
3040 |
apollon037 |
timeout |
202 |
45.9 |
6344413184 |
946 |
apollon058 |
unknown |
.00808 |
.00799 |
876544 |
.00891 |
apollon095 |
eca-rers2012/Problem09_label15_false-unreach-call.c |
error (1) |
395 |
393 |
13137899520 |
4510 |
apollon072 |
unknown |
200 |
46.1 |
6343331840 |
912 |
apollon098 |
unknown |
.0227 |
.0251 |
884736 |
.00592 |
apollon094 |
eca-rers2012/Problem09_label19_false-unreach-call.c |
error (1) |
313 |
312 |
11956736000 |
3790 |
apollon017 |
timeout |
208 |
48.0 |
8508559360 |
1180 |
apollon007 |
unknown |
.0141 |
.0142 |
999424 |
.00757 |
apollon145 |
eca-rers2012/Problem09_label20_false-unreach-call.c |
error (1) |
285 |
284 |
9794125824 |
3230 |
apollon034 |
timeout |
208 |
47.5 |
7901429760 |
1120 |
apollon022 |
unknown |
.0110 |
.0109 |
790528 |
.0100 |
apollon033 |
eca-rers2012/Problem09_label32_false-unreach-call.c |
error (1) |
305 |
304 |
9790566400 |
3340 |
apollon159 |
timeout |
202 |
48.2 |
7967354880 |
1060 |
apollon042 |
unknown |
.0118 |
.0117 |
774144 |
.00000 |
apollon064 |
eca-rers2012/Problem09_label34_false-unreach-call.c |
error (1) |
322 |
321 |
12277534720 |
3930 |
apollon027 |
timeout |
208 |
48.0 |
8333127680 |
1040 |
apollon086 |
unknown |
.0114 |
.0112 |
987136 |
.0126 |
apollon161 |
eca-rers2012/Problem09_label35_false-unreach-call.c |
error (1) |
301 |
300 |
9786286080 |
3330 |
apollon066 |
timeout |
208 |
47.7 |
8162086912 |
1060 |
apollon095 |
unknown |
.0264 |
.0291 |
999424 |
.0261 |
apollon155 |
eca-rers2012/Problem09_label36_false-unreach-call.c |
error (1) |
298 |
297 |
10153381888 |
3910 |
apollon167 |
timeout |
208 |
47.1 |
6265004032 |
1040 |
apollon152 |
unknown |
.0116 |
.0118 |
905216 |
.00806 |
apollon131 |
eca-rers2012/Problem09_label38_false-unreach-call.c |
error (1) |
265 |
264 |
9617121280 |
2740 |
apollon153 |
timeout |
208 |
47.6 |
8080125952 |
1050 |
apollon135 |
unknown |
.0181 |
.0209 |
901120 |
.00592 |
apollon078 |
eca-rers2012/Problem09_label41_false-unreach-call.c |
error (1) |
312 |
311 |
10526552064 |
3220 |
apollon092 |
timeout |
208 |
46.5 |
6325432320 |
1030 |
apollon118 |
unknown |
.0169 |
.0175 |
1052672 |
.0173 |
apollon018 |
eca-rers2012/Problem09_label44_false-unreach-call.c |
error (1) |
270 |
269 |
9787060224 |
3580 |
apollon005 |
timeout |
208 |
48.6 |
8295473152 |
1060 |
apollon102 |
unknown |
.0136 |
.0135 |
897024 |
.00000 |
apollon110 |
eca-rers2012/Problem09_label46_false-unreach-call.c |
error (1) |
421 |
419 |
10747957248 |
4760 |
apollon122 |
unknown |
198 |
45.6 |
6306041856 |
900 |
apollon054 |
unknown |
.0324 |
.0315 |
954368 |
.00665 |
apollon158 |
eca-rers2012/Problem09_label47_false-unreach-call.c |
error (1) |
406 |
404 |
10827190272 |
4930 |
apollon010 |
timeout |
208 |
47.9 |
8608043008 |
1080 |
apollon102 |
unknown |
.0156 |
.0161 |
864256 |
.00818 |
apollon028 |
eca-rers2012/Problem09_label51_false-unreach-call.c |
error (1) |
283 |
282 |
9787105280 |
4000 |
apollon080 |
timeout |
206 |
48.3 |
7884484608 |
1180 |
apollon019 |
unknown |
.0137 |
.0135 |
864256 |
.00903 |
apollon142 |
eca-rers2012/Problem09_label53_false-unreach-call.c |
error (1) |
408 |
407 |
10730651648 |
4290 |
apollon154 |
timeout |
208 |
46.3 |
6325108736 |
1020 |
apollon146 |
unknown |
.00586 |
.00815 |
950272 |
.0140 |
apollon088 |
eca-rers2012/Problem09_label54_false-unreach-call.c |
error (1) |
283 |
282 |
9789931520 |
3170 |
apollon048 |
timeout |
208 |
47.5 |
8056631296 |
1060 |
apollon087 |
unknown |
.0189 |
.0184 |
823296 |
.00403 |
apollon041 |
eca-rers2012/Problem09_label56_false-unreach-call.c |
error (1) |
274 |
274 |
9784725504 |
3280 |
apollon084 |
timeout |
208 |
48.2 |
8368185344 |
1120 |
apollon091 |
unknown |
.0143 |
.0145 |
745472 |
.0113 |
apollon070 |
eca-rers2012/Problem09_label57_false-unreach-call.c |
error (1) |
425 |
423 |
10818654208 |
4010 |
apollon097 |
timeout |
208 |
46.9 |
6275817472 |
1010 |
apollon102 |
unknown |
.0111 |
.0108 |
827392 |
.00891 |
apollon163 |
eca-rers2012/Problem09_label59_false-unreach-call.c |
error (1) |
274 |
273 |
9786675200 |
2980 |
apollon149 |
timeout |
208 |
47.4 |
6060261376 |
1170 |
apollon125 |
unknown |
.0164 |
.0191 |
847872 |
.00763 |
apollon004 |
eca-rers2012/Problem10_label12_false-unreach-call.c |
timeout |
881 |
981 |
635990016 |
9300 |
apollon048 |
unknown |
102 |
79.6 |
3852480512 |
1280 |
apollon077 |
unknown |
6.51 |
1.87 |
410435584 |
52.4 |
apollon051 |
eca-rers2012/Problem10_label15_false-unreach-call.c |
timeout |
881 |
981 |
676978688 |
9670 |
apollon050 |
unknown |
103 |
77.9 |
3865231360 |
1220 |
apollon141 |
unknown |
6.73 |
1.88 |
418603008 |
52.4 |
apollon070 |
eca-rers2012/Problem10_label24_false-unreach-call.c |
timeout |
881 |
981 |
627527680 |
10700 |
apollon062 |
unknown |
104 |
78.5 |
3798462464 |
1220 |
apollon093 |
unknown |
9.18 |
2.96 |
523554816 |
68.9 |
apollon043 |
eca-rers2012/Problem10_label26_false-unreach-call.c |
timeout |
881 |
981 |
613994496 |
9770 |
apollon113 |
false(unreach-call) |
51.9 |
26.2 |
2775261184 |
495 |
apollon095 |
unknown |
.00978 |
.0126 |
823296 |
.00000 |
apollon073 |
eca-rers2012/Problem10_label28_false-unreach-call.c |
timeout |
881 |
981 |
437731328 |
12700 |
apollon148 |
false(unreach-call) |
55.0 |
28.0 |
2617856000 |
492 |
apollon123 |
unknown |
.00817 |
.00792 |
978944 |
.00000 |
apollon017 |
eca-rers2012/Problem10_label29_false-unreach-call.c |
timeout |
881 |
981 |
615084032 |
9570 |
apollon066 |
unknown |
111 |
94.5 |
2059034624 |
1570 |
apollon160 |
unknown |
.0196 |
.0205 |
843776 |
.00568 |
apollon165 |
eca-rers2012/Problem10_label41_false-unreach-call.c |
timeout |
881 |
981 |
451534848 |
10100 |
apollon104 |
false(unreach-call) |
22.2 |
7.64 |
1027072000 |
204 |
apollon067 |
unknown |
.0165 |
.0206 |
741376 |
.00653 |
apollon055 |
eca-rers2012/Problem10_label42_false-unreach-call.c |
false(unreach-call) |
12.5 |
12.2 |
377966592 |
179 |
apollon094 |
false(unreach-call) |
26.3 |
7.91 |
1087602688 |
246 |
apollon044 |
unknown |
.00891 |
.0182 |
978944 |
.0314 |
apollon026 |
eca-rers2012/Problem10_label46_false-unreach-call.c |
false(unreach-call) |
6.77 |
6.49 |
381308928 |
94.6 |
apollon155 |
false(unreach-call) |
9.80 |
2.73 |
464928768 |
72.2 |
apollon116 |
unknown |
.0243 |
.0260 |
1011712 |
.00677 |
apollon015 |
eca-rers2012/Problem10_label47_false-unreach-call.c |
false(unreach-call) |
25.2 |
24.8 |
386850816 |
348 |
apollon024 |
false(unreach-call) |
22.6 |
7.29 |
998539264 |
199 |
apollon052 |
unknown |
.0110 |
.0113 |
794624 |
.00751 |
apollon136 |
eca-rers2012/Problem10_label48_false-unreach-call.c |
timeout |
881 |
981 |
445091840 |
10700 |
apollon079 |
false(unreach-call) |
71.6 |
40.0 |
3753500672 |
762 |
apollon167 |
unknown |
.0153 |
.0156 |
958464 |
.00855 |
apollon109 |
eca-rers2012/Problem10_label50_false-unreach-call.c |
timeout |
881 |
981 |
611557376 |
12400 |
apollon161 |
false(unreach-call) |
69.9 |
39.8 |
2922524672 |
682 |
apollon087 |
unknown |
.0138 |
.0141 |
999424 |
.0105 |
apollon050 |
eca-rers2012/Problem10_label55_false-unreach-call.c |
false(unreach-call) |
66.7 |
66.3 |
383082496 |
792 |
apollon083 |
false(unreach-call) |
23.0 |
6.36 |
820457472 |
198 |
apollon032 |
unknown |
.0121 |
.0122 |
1015808 |
.0128 |
apollon088 |
eca-rers2012/Problem10_label57_false-unreach-call.c |
timeout |
881 |
981 |
546676736 |
10000 |
apollon149 |
unknown |
101 |
74.7 |
3942776832 |
1080 |
apollon025 |
unknown |
8.50 |
2.34 |
428744704 |
69.0 |
apollon047 |
eca-rers2012/Problem10_label58_false-unreach-call.c |
timeout |
881 |
981 |
631316480 |
10600 |
apollon070 |
false(unreach-call) |
58.5 |
30.1 |
2733395968 |
594 |
apollon076 |
unknown |
.0117 |
.0115 |
794624 |
.00000 |
apollon106 |
eca-rers2012/Problem11_label00_false-unreach-call.c |
timeout |
880 |
981 |
1219977216 |
10900 |
apollon072 |
unknown |
101 |
66.5 |
3878912000 |
1190 |
apollon140 |
unknown |
11.2 |
3.08 |
560189440 |
84.4 |
apollon134 |
eca-rers2012/Problem11_label08_false-unreach-call.c |
timeout |
881 |
981 |
1134518272 |
10200 |
apollon115 |
false(unreach-call) |
79.3 |
47.0 |
2922201088 |
761 |
apollon053 |
unknown |
.0101 |
.0119 |
970752 |
.0144 |
apollon130 |
eca-rers2012/Problem11_label14_false-unreach-call.c |
timeout |
881 |
981 |
1154015232 |
13800 |
apollon056 |
false(unreach-call) |
73.4 |
46.3 |
3430113280 |
783 |
apollon102 |
unknown |
.00961 |
.0102 |
942080 |
.00775 |
apollon137 |
eca-rers2012/Problem11_label15_false-unreach-call.c |
timeout |
881 |
981 |
1169190912 |
10300 |
apollon100 |
false(unreach-call) |
97.6 |
62.8 |
3882602496 |
1110 |
apollon091 |
unknown |
.0108 |
.0107 |
843776 |
.0101 |
apollon141 |
eca-rers2012/Problem11_label20_false-unreach-call.c |
timeout |
881 |
981 |
1492185088 |
9400 |
apollon096 |
unknown |
102 |
70.7 |
3618484224 |
1120 |
apollon120 |
unknown |
13.6 |
4.02 |
568107008 |
112 |
apollon141 |
eca-rers2012/Problem11_label29_false-unreach-call.c |
timeout |
881 |
981 |
1137410048 |
12300 |
apollon140 |
false(unreach-call) |
78.0 |
46.2 |
3808907264 |
890 |
apollon161 |
unknown |
.0148 |
.0146 |
901120 |
.00476 |
apollon125 |
eca-rers2012/Problem11_label31_false-unreach-call.c |
timeout |
881 |
981 |
1138626560 |
9970 |
apollon128 |
unknown |
101 |
70.1 |
3869175808 |
1050 |
apollon109 |
unknown |
12.6 |
4.02 |
561397760 |
103 |
apollon136 |
eca-rers2012/Problem11_label34_false-unreach-call.c |
timeout |
881 |
981 |
1136246784 |
9440 |
apollon054 |
unknown |
102 |
63.6 |
3862982656 |
1260 |
apollon039 |
unknown |
12.8 |
3.75 |
577101824 |
115 |
apollon048 |
eca-rers2012/Problem11_label36_false-unreach-call.c |
timeout |
881 |
981 |
1134272512 |
12200 |
apollon125 |
false(unreach-call) |
79.9 |
48.0 |
3521294336 |
747 |
apollon099 |
unknown |
.0160 |
.0187 |
827392 |
.0133 |
apollon021 |
eca-rers2012/Problem11_label39_false-unreach-call.c |
timeout |
881 |
981 |
1143390208 |
11700 |
apollon136 |
unknown |
112 |
90.9 |
2582716416 |
1280 |
apollon107 |
unknown |
.0131 |
.0128 |
811008 |
.0115 |
apollon085 |
eca-rers2012/Problem11_label42_false-unreach-call.c |
timeout |
881 |
981 |
1137405952 |
9810 |
apollon045 |
false(unreach-call) |
82.9 |
46.2 |
3621265408 |
798 |
apollon072 |
unknown |
.00706 |
.0179 |
1048576 |
.0309 |
apollon050 |
eca-rers2012/Problem11_label43_false-unreach-call.c |
timeout |
881 |
981 |
1136173056 |
10000 |
apollon166 |
false(unreach-call) |
58.2 |
29.2 |
3046948864 |
541 |
apollon079 |
unknown |
.00902 |
.00899 |
983040 |
.00806 |
apollon144 |
eca-rers2012/Problem11_label49_false-unreach-call.c |
timeout |
881 |
981 |
1135955968 |
11600 |
apollon047 |
false(unreach-call) |
61.2 |
34.6 |
2752864256 |
570 |
apollon117 |
unknown |
.0133 |
.0129 |
880640 |
.00855 |
apollon033 |
eca-rers2012/Problem11_label51_false-unreach-call.c |
timeout |
881 |
981 |
1144475648 |
10300 |
apollon126 |
unknown |
104 |
67.8 |
3895652352 |
1140 |
apollon009 |
unknown |
11.8 |
3.15 |
554909696 |
81.4 |
apollon060 |
eca-rers2012/Problem11_label58_false-unreach-call.c |
timeout |
881 |
981 |
1136943104 |
10300 |
apollon102 |
false(unreach-call) |
73.0 |
43.0 |
3722469376 |
692 |
apollon089 |
unknown |
.00968 |
.00999 |
999424 |
.00000 |
apollon024 |
eca-rers2012/Problem12_label00_false-unreach-call.c |
timeout |
882 |
981 |
2795065344 |
7290 |
apollon063 |
unknown |
104 |
69.0 |
3791540224 |
1020 |
apollon128 |
unknown |
5.62 |
1.58 |
287834112 |
45.0 |
apollon027 |
eca-rers2012/Problem12_label03_false-unreach-call.c |
timeout |
882 |
981 |
2774007808 |
10200 |
apollon110 |
unknown |
103 |
69.1 |
3204005888 |
1020 |
apollon022 |
unknown |
16.7 |
5.43 |
581234688 |
152 |
apollon036 |
eca-rers2012/Problem12_label06_false-unreach-call.c |
timeout |
882 |
981 |
2751598592 |
8950 |
apollon078 |
unknown |
101 |
67.2 |
2938896384 |
1110 |
apollon071 |
unknown |
14.3 |
4.64 |
587190272 |
119 |
apollon132 |
eca-rers2012/Problem12_label07_false-unreach-call.c |
timeout |
882 |
981 |
2503569408 |
10600 |
apollon150 |
unknown |
103 |
66.7 |
3736432640 |
1150 |
apollon005 |
unknown |
16.3 |
5.43 |
609996800 |
147 |
apollon122 |
eca-rers2012/Problem12_label08_false-unreach-call.c |
timeout |
882 |
981 |
3005476864 |
10900 |
apollon014 |
unknown |
104 |
70.7 |
3579564032 |
1030 |
apollon127 |
unknown |
16.6 |
5.48 |
589967360 |
129 |
apollon072 |
eca-rers2012/Problem12_label10_false-unreach-call.c |
timeout |
882 |
981 |
2331369472 |
9670 |
apollon029 |
unknown |
103 |
69.7 |
3574857728 |
1020 |
apollon099 |
unknown |
15.8 |
5.24 |
583479296 |
119 |
apollon100 |
eca-rers2012/Problem12_label13_false-unreach-call.c |
timeout |
882 |
981 |
2423873536 |
11100 |
apollon070 |
unknown |
105 |
69.3 |
3138215936 |
1110 |
apollon087 |
unknown |
16.1 |
5.09 |
591036416 |
124 |
apollon157 |
eca-rers2012/Problem12_label19_false-unreach-call.c |
timeout |
882 |
981 |
2873372672 |
12300 |
apollon080 |
unknown |
105 |
71.2 |
3643944960 |
1230 |
apollon030 |
unknown |
16.0 |
5.22 |
590106624 |
139 |
apollon145 |
eca-rers2012/Problem12_label20_false-unreach-call.c |
timeout |
882 |
981 |
2843951104 |
11900 |
apollon132 |
unknown |
103 |
67.6 |
3796029440 |
974 |
apollon117 |
unknown |
15.4 |
5.17 |
594534400 |
130 |
apollon085 |
eca-rers2012/Problem12_label21_false-unreach-call.c |
timeout |
882 |
981 |
2784186368 |
10900 |
apollon007 |
unknown |
111 |
74.3 |
3795349504 |
1130 |
apollon079 |
unknown |
5.23 |
1.55 |
289439744 |
41.2 |
apollon073 |
eca-rers2012/Problem12_label25_false-unreach-call.c |
timeout |
882 |
981 |
2864775168 |
10400 |
apollon028 |
unknown |
103 |
66.9 |
3822391296 |
1040 |
apollon156 |
unknown |
16.8 |
5.26 |
591765504 |
144 |
apollon124 |
eca-rers2012/Problem12_label28_false-unreach-call.c |
timeout |
882 |
981 |
2544271360 |
10800 |
apollon121 |
unknown |
102 |
65.9 |
2766606336 |
1070 |
apollon142 |
unknown |
16.7 |
5.16 |
601083904 |
114 |
apollon158 |
eca-rers2012/Problem12_label30_false-unreach-call.c |
timeout |
882 |
981 |
2724855808 |
10200 |
apollon153 |
unknown |
102 |
68.6 |
3727163392 |
949 |
apollon054 |
unknown |
18.9 |
7.45 |
614699008 |
180 |
apollon108 |
eca-rers2012/Problem12_label34_false-unreach-call.c |
timeout |
882 |
981 |
2746073088 |
9870 |
apollon118 |
unknown |
104 |
74.2 |
3793956864 |
1020 |
apollon098 |
unknown |
15.0 |
4.89 |
602865664 |
124 |
apollon002 |
eca-rers2012/Problem12_label35_false-unreach-call.c |
timeout |
882 |
981 |
2828795904 |
9640 |
apollon141 |
unknown |
105 |
72.9 |
3770822656 |
1020 |
apollon022 |
unknown |
16.7 |
5.05 |
602279936 |
131 |
apollon042 |
eca-rers2012/Problem12_label37_false-unreach-call.c |
timeout |
882 |
981 |
2778161152 |
11100 |
apollon014 |
unknown |
107 |
69.9 |
3538382848 |
1000 |
apollon040 |
unknown |
17.1 |
5.34 |
590159872 |
132 |
apollon001 |
eca-rers2012/Problem12_label38_false-unreach-call.c |
timeout |
882 |
981 |
2544394240 |
9930 |
apollon143 |
unknown |
102 |
68.7 |
3754262528 |
1030 |
apollon121 |
unknown |
14.0 |
4.61 |
583503872 |
115 |
apollon130 |
eca-rers2012/Problem12_label39_false-unreach-call.c |
timeout |
882 |
981 |
2476597248 |
11000 |
apollon093 |
unknown |
106 |
69.8 |
3851472896 |
1020 |
apollon157 |
unknown |
14.7 |
4.99 |
598900736 |
127 |
apollon131 |
eca-rers2012/Problem12_label40_false-unreach-call.c |
timeout |
882 |
981 |
2848075776 |
10700 |
apollon087 |
unknown |
106 |
69.2 |
3904139264 |
1280 |
apollon021 |
unknown |
16.2 |
4.94 |
594767872 |
129 |
apollon100 |
eca-rers2012/Problem12_label42_false-unreach-call.c |
timeout |
882 |
981 |
2772312064 |
8510 |
apollon123 |
unknown |
101 |
66.7 |
3841110016 |
998 |
apollon015 |
unknown |
16.5 |
5.32 |
615469056 |
136 |
apollon084 |
eca-rers2012/Problem12_label48_false-unreach-call.c |
timeout |
882 |
981 |
2436337664 |
9780 |
apollon098 |
unknown |
101 |
66.9 |
2858913792 |
1040 |
apollon072 |
unknown |
5.29 |
1.52 |
303595520 |
45.7 |
apollon048 |
eca-rers2012/Problem12_label50_false-unreach-call.c |
timeout |
882 |
981 |
2944389120 |
11200 |
apollon006 |
unknown |
109 |
75.6 |
3867303936 |
1180 |
apollon141 |
unknown |
16.2 |
5.15 |
589901824 |
140 |
apollon125 |
eca-rers2012/Problem12_label51_false-unreach-call.c |
timeout |
882 |
981 |
2704793600 |
10200 |
apollon076 |
unknown |
109 |
76.6 |
4069789696 |
1010 |
apollon151 |
unknown |
17.3 |
5.28 |
596283392 |
134 |
apollon142 |
eca-rers2012/Problem12_label52_false-unreach-call.c |
timeout |
882 |
981 |
2770259968 |
11300 |
apollon071 |
unknown |
109 |
77.2 |
3925180416 |
1060 |
apollon045 |
unknown |
16.2 |
5.34 |
588054528 |
134 |
apollon135 |
eca-rers2012/Problem12_label55_false-unreach-call.c |
timeout |
882 |
981 |
2479562752 |
12100 |
apollon033 |
unknown |
103 |
74.3 |
3883065344 |
1080 |
apollon026 |
unknown |
15.8 |
5.04 |
592506880 |
139 |
apollon009 |
eca-rers2012/Problem13_label04_false-unreach-call.c |
timeout |
883 |
981 |
3059527680 |
9880 |
apollon153 |
unknown |
103 |
75.4 |
3445817344 |
1070 |
apollon116 |
unknown |
16.5 |
5.63 |
617648128 |
164 |
apollon036 |
eca-rers2012/Problem13_label06_false-unreach-call.c |
timeout |
883 |
981 |
3056656384 |
18500 |
apollon106 |
unknown |
103 |
74.4 |
2894573568 |
1080 |
apollon121 |
unknown |
16.7 |
5.58 |
604319744 |
149 |
apollon064 |
eca-rers2012/Problem13_label07_false-unreach-call.c |
timeout |
882 |
981 |
3055173632 |
9620 |
apollon040 |
unknown |
103 |
75.2 |
3662053376 |
1100 |
apollon072 |
unknown |
17.6 |
5.85 |
602017792 |
151 |
apollon004 |
eca-rers2012/Problem13_label11_false-unreach-call.c |
timeout |
882 |
981 |
3059675136 |
12100 |
apollon132 |
unknown |
104 |
75.6 |
3077165056 |
1370 |
apollon057 |
unknown |
17.0 |
5.63 |
616464384 |
133 |
apollon083 |
eca-rers2012/Problem13_label12_false-unreach-call.c |
timeout |
882 |
981 |
3054931968 |
9140 |
apollon139 |
unknown |
102 |
73.3 |
3113517056 |
1110 |
apollon165 |
unknown |
5.72 |
1.66 |
302448640 |
42.8 |
apollon001 |
eca-rers2012/Problem13_label16_false-unreach-call.c |
timeout |
883 |
981 |
3060772864 |
10400 |
apollon168 |
unknown |
103 |
73.7 |
3537522688 |
1100 |
apollon082 |
unknown |
16.3 |
5.67 |
608030720 |
146 |
apollon015 |
eca-rers2012/Problem13_label19_false-unreach-call.c |
timeout |
882 |
981 |
3059163136 |
10400 |
apollon165 |
unknown |
107 |
76.6 |
3284111360 |
1110 |
apollon135 |
unknown |
18.3 |
5.90 |
606511104 |
149 |
apollon061 |
eca-rers2012/Problem13_label21_false-unreach-call.c |
timeout |
882 |
981 |
3060936704 |
12100 |
apollon064 |
unknown |
105 |
76.0 |
3130699776 |
1130 |
apollon011 |
unknown |
17.3 |
6.02 |
607637504 |
146 |
apollon077 |
eca-rers2012/Problem13_label23_false-unreach-call.c |
timeout |
882 |
981 |
3055689728 |
11200 |
apollon122 |
unknown |
102 |
74.5 |
3521908736 |
1090 |
apollon107 |
unknown |
17.8 |
6.06 |
607858688 |
152 |
apollon088 |
eca-rers2012/Problem13_label24_false-unreach-call.c |
timeout |
882 |
981 |
3038949376 |
12700 |
apollon016 |
unknown |
103 |
74.7 |
3495542784 |
1150 |
apollon015 |
unknown |
5.62 |
1.58 |
292306944 |
43.4 |
apollon062 |
eca-rers2012/Problem13_label25_false-unreach-call.c |
timeout |
882 |
981 |
3064246272 |
10800 |
apollon076 |
unknown |
102 |
74.1 |
3667419136 |
963 |
apollon123 |
unknown |
17.2 |
5.89 |
618037248 |
146 |
apollon010 |
eca-rers2012/Problem13_label28_false-unreach-call.c |
timeout |
882 |
981 |
3048697856 |
9910 |
apollon103 |
unknown |
106 |
77.4 |
3165421568 |
1050 |
apollon089 |
unknown |
18.1 |
5.86 |
609071104 |
145 |
apollon165 |
eca-rers2012/Problem13_label29_false-unreach-call.c |
timeout |
883 |
981 |
3061448704 |
9710 |
apollon108 |
unknown |
103 |
73.3 |
3610001408 |
1070 |
apollon119 |
unknown |
16.4 |
5.53 |
611250176 |
132 |
apollon115 |
eca-rers2012/Problem13_label30_false-unreach-call.c |
timeout |
882 |
981 |
3059208192 |
11400 |
apollon085 |
unknown |
103 |
74.8 |
3851698176 |
988 |
apollon029 |
unknown |
16.3 |
5.64 |
619749376 |
154 |
apollon161 |
eca-rers2012/Problem13_label32_false-unreach-call.c |
timeout |
882 |
981 |
3063611392 |
9830 |
apollon023 |
unknown |
103 |
76.5 |
3131809792 |
1080 |
apollon116 |
unknown |
18.0 |
6.15 |
594399232 |
151 |
apollon097 |
eca-rers2012/Problem13_label35_false-unreach-call.c |
timeout |
882 |
981 |
3061358592 |
11100 |
apollon091 |
unknown |
102 |
76.8 |
2268880896 |
1150 |
apollon032 |
unknown |
5.67 |
1.65 |
280952832 |
45.8 |
apollon093 |
eca-rers2012/Problem13_label36_false-unreach-call.c |
timeout |
882 |
981 |
3058790400 |
11400 |
apollon126 |
unknown |
102 |
73.1 |
3050106880 |
1330 |
apollon057 |
unknown |
18.0 |
5.74 |
623898624 |
167 |
apollon122 |
eca-rers2012/Problem13_label40_false-unreach-call.c |
timeout |
882 |
981 |
3057258496 |
10200 |
apollon003 |
unknown |
102 |
72.8 |
3755278336 |
1090 |
apollon102 |
unknown |
6.37 |
1.95 |
292929536 |
51.1 |
apollon068 |
eca-rers2012/Problem13_label43_false-unreach-call.c |
timeout |
882 |
981 |
3056979968 |
10900 |
apollon062 |
unknown |
103 |
76.9 |
3208593408 |
1200 |
apollon017 |
unknown |
17.4 |
5.69 |
617934848 |
143 |
apollon142 |
eca-rers2012/Problem13_label44_false-unreach-call.c |
timeout |
883 |
981 |
3057713152 |
11200 |
apollon159 |
unknown |
103 |
76.2 |
3306442752 |
1070 |
apollon060 |
unknown |
17.6 |
5.94 |
598384640 |
148 |
apollon074 |
eca-rers2012/Problem13_label45_false-unreach-call.c |
timeout |
882 |
981 |
3057934336 |
11600 |
apollon114 |
unknown |
104 |
78.0 |
3438481408 |
1100 |
apollon099 |
unknown |
5.49 |
1.55 |
284479488 |
40.2 |
apollon149 |
eca-rers2012/Problem13_label48_false-unreach-call.c |
timeout |
882 |
981 |
3057987584 |
11700 |
apollon091 |
unknown |
102 |
72.8 |
3641856000 |
1040 |
apollon012 |
unknown |
16.7 |
5.62 |
608542720 |
139 |
apollon110 |
eca-rers2012/Problem13_label51_false-unreach-call.c |
timeout |
882 |
981 |
3066499072 |
10600 |
apollon017 |
unknown |
103 |
74.9 |
3261374464 |
1280 |
apollon148 |
unknown |
17.3 |
5.69 |
617107456 |
150 |
apollon015 |
eca-rers2012/Problem13_label54_false-unreach-call.c |
timeout |
882 |
981 |
3062956032 |
11100 |
apollon095 |
unknown |
103 |
74.0 |
3327623168 |
1110 |
apollon004 |
unknown |
18.5 |
5.97 |
619364352 |
154 |
apollon112 |
eca-rers2012/Problem13_label58_false-unreach-call.c |
timeout |
882 |
981 |
3058884608 |
10000 |
apollon120 |
unknown |
101 |
74.0 |
3087429632 |
1020 |
apollon117 |
unknown |
5.52 |
1.56 |
277508096 |
40.3 |
apollon115 |
eca-rers2012/Problem14_label02_false-unreach-call_false-termination.c |
timeout |
881 |
981 |
648802304 |
10300 |
apollon066 |
unknown |
101 |
73.5 |
3692232704 |
1190 |
apollon009 |
unknown |
13.9 |
4.42 |
567984128 |
113 |
apollon168 |
eca-rers2012/Problem14_label08_false-unreach-call_false-termination.c |
timeout |
881 |
981 |
650371072 |
12200 |
apollon069 |
unknown |
102 |
71.7 |
3787788288 |
1240 |
apollon108 |
unknown |
13.2 |
4.15 |
564281344 |
118 |
apollon027 |
eca-rers2012/Problem14_label10_false-unreach-call_false-termination.c |
timeout |
881 |
981 |
937926656 |
7870 |
apollon054 |
unknown |
102 |
69.5 |
3814748160 |
1330 |
apollon057 |
unknown |
14.3 |
5.21 |
561299456 |
123 |
apollon141 |
eca-rers2012/Problem14_label11_false-unreach-call_false-termination.c |
timeout |
881 |
981 |
833576960 |
12400 |
apollon077 |
unknown |
102 |
74.1 |
3712696320 |
1150 |
apollon078 |
unknown |
13.6 |
4.97 |
577396736 |
125 |
apollon031 |
eca-rers2012/Problem14_label12_false-unreach-call_false-termination.c |
timeout |
881 |
981 |
749277184 |
9180 |
apollon149 |
unknown |
102 |
72.7 |
3725533184 |
1120 |
apollon095 |
unknown |
13.4 |
4.46 |
563052544 |
122 |
apollon048 |
eca-rers2012/Problem14_label13_false-unreach-call_false-termination.c |
timeout |
881 |
981 |
920129536 |
7550 |
apollon159 |
unknown |
102 |
71.1 |
3905859584 |
1030 |
apollon089 |
unknown |
11.8 |
3.48 |
548311040 |
108 |
apollon057 |
eca-rers2012/Problem14_label14_false-unreach-call_false-termination.c |
timeout |
881 |
981 |
656232448 |
10900 |
apollon096 |
unknown |
102 |
73.3 |
3723591680 |
1170 |
apollon004 |
unknown |
13.8 |
4.85 |
567689216 |
118 |
apollon067 |
eca-rers2012/Problem14_label18_false-unreach-call_false-termination.c |
timeout |
881 |
981 |
717160448 |
10800 |
apollon033 |
unknown |
102 |
77.2 |
3956133888 |
1140 |
apollon135 |
unknown |
11.1 |
3.06 |
545939456 |
87.8 |
apollon166 |
eca-rers2012/Problem14_label22_false-unreach-call_false-termination.c |
timeout |
880 |
981 |
710565888 |
11500 |
apollon125 |
unknown |
101 |
67.2 |
3828346880 |
1060 |
apollon026 |
unknown |
14.4 |
4.42 |
562806784 |
109 |
apollon018 |
eca-rers2012/Problem14_label27_false-unreach-call_false-termination.c |
timeout |
881 |
981 |
741437440 |
11500 |
apollon036 |
unknown |
102 |
73.2 |
3807346688 |
1250 |
apollon108 |
unknown |
13.1 |
4.31 |
567582720 |
108 |
apollon112 |
eca-rers2012/Problem14_label28_false-unreach-call_false-termination.c |
timeout |
881 |
981 |
654520320 |
10400 |
apollon103 |
unknown |
102 |
75.3 |
3834126336 |
1200 |
apollon009 |
unknown |
11.9 |
3.78 |
564715520 |
109 |
apollon094 |
eca-rers2012/Problem14_label29_false-unreach-call_false-termination.c |
timeout |
881 |
981 |
763420672 |
8470 |
apollon073 |
unknown |
102 |
73.9 |
3712262144 |
1190 |
apollon009 |
unknown |
12.7 |
4.47 |
570253312 |
129 |
apollon021 |
eca-rers2012/Problem14_label31_false-unreach-call_false-termination.c |
timeout |
881 |
981 |
656056320 |
10800 |
apollon097 |
unknown |
101 |
65.5 |
3761811456 |
1050 |
apollon142 |
unknown |
12.1 |
3.83 |
557498368 |
101 |
apollon073 |
eca-rers2012/Problem14_label34_false-unreach-call_false-termination.c |
timeout |
881 |
981 |
648368128 |
10600 |
apollon110 |
unknown |
102 |
73.6 |
3759095808 |
1060 |
apollon099 |
unknown |
13.0 |
4.12 |
562204672 |
99.7 |
apollon050 |
eca-rers2012/Problem14_label37_false-unreach-call_false-termination.c |
timeout |
881 |
981 |
860725248 |
7460 |
apollon157 |
unknown |
102 |
71.2 |
3756347392 |
1100 |
apollon150 |
unknown |
14.0 |
4.39 |
564244480 |
125 |
apollon080 |
eca-rers2012/Problem14_label39_false-unreach-call_false-termination.c |
timeout |
881 |
981 |
651714560 |
9350 |
apollon054 |
unknown |
101 |
71.6 |
3774865408 |
1050 |
apollon127 |
unknown |
14.9 |
5.47 |
569675776 |
127 |
apollon006 |
eca-rers2012/Problem14_label40_false-unreach-call_false-termination.c |
timeout |
881 |
981 |
793145344 |
11100 |
apollon118 |
unknown |
101 |
69.0 |
3827568640 |
1110 |
apollon082 |
unknown |
13.5 |
4.50 |
569192448 |
120 |
apollon102 |
eca-rers2012/Problem14_label41_false-unreach-call_false-termination.c |
timeout |
881 |
981 |
657772544 |
10800 |
apollon058 |
unknown |
102 |
71.3 |
3829813248 |
1040 |
apollon100 |
unknown |
13.6 |
4.31 |
563085312 |
99.2 |
apollon143 |
eca-rers2012/Problem14_label43_false-unreach-call_false-termination.c |
timeout |
881 |
981 |
700243968 |
9240 |
apollon041 |
unknown |
102 |
70.2 |
3969552384 |
1130 |
apollon067 |
unknown |
10.8 |
3.14 |
544477184 |
93.0 |
apollon006 |
eca-rers2012/Problem14_label44_false-unreach-call_false-termination.c |
timeout |
881 |
981 |
654974976 |
11000 |
apollon020 |
unknown |
101 |
73.7 |
3694800896 |
1020 |
apollon151 |
unknown |
12.8 |
4.34 |
563814400 |
97.8 |
apollon158 |
eca-rers2012/Problem14_label52_false-unreach-call_false-termination.c |
timeout |
881 |
981 |
724000768 |
7890 |
apollon022 |
unknown |
102 |
74.4 |
3726852096 |
1170 |
apollon087 |
unknown |
12.6 |
3.91 |
562388992 |
93.5 |
apollon054 |
eca-rers2012/Problem14_label54_false-unreach-call_false-termination.c |
timeout |
881 |
981 |
651452416 |
11200 |
apollon085 |
unknown |
102 |
76.7 |
3713454080 |
1200 |
apollon070 |
unknown |
14.2 |
4.76 |
560668672 |
111 |
apollon115 |
eca-rers2012/Problem14_label56_false-unreach-call_false-termination.c |
timeout |
881 |
981 |
653099008 |
10000 |
apollon153 |
unknown |
102 |
74.1 |
3738451968 |
1140 |
apollon150 |
unknown |
13.6 |
4.74 |
565301248 |
115 |
apollon002 |
eca-rers2012/Problem14_label57_false-unreach-call_false-termination.c |
timeout |
881 |
981 |
652259328 |
10600 |
apollon018 |
unknown |
101 |
71.5 |
3784613888 |
1150 |
apollon032 |
unknown |
11.1 |
3.61 |
545107968 |
98.5 |
apollon093 |
eca-rers2012/Problem14_label58_false-unreach-call_false-termination.c |
timeout |
881 |
981 |
661999616 |
11500 |
apollon019 |
unknown |
101 |
75.4 |
3706003456 |
1350 |
apollon016 |
unknown |
12.3 |
3.83 |
562802688 |
96.6 |
apollon060 |
eca-rers2012/Problem15_label00_false-unreach-call.c |
timeout |
881 |
981 |
1933955072 |
12200 |
apollon019 |
unknown |
102 |
69.0 |
3349651456 |
1060 |
apollon015 |
unknown |
14.1 |
3.90 |
561205248 |
111 |
apollon131 |
eca-rers2012/Problem15_label02_false-unreach-call.c |
timeout |
881 |
981 |
1921826816 |
10000 |
apollon100 |
unknown |
103 |
72.1 |
2986029056 |
1090 |
apollon162 |
unknown |
14.2 |
4.22 |
561987584 |
114 |
apollon006 |
eca-rers2012/Problem15_label03_false-unreach-call.c |
timeout |
881 |
981 |
1935499264 |
11100 |
apollon102 |
unknown |
102 |
65.0 |
2818785280 |
982 |
apollon128 |
unknown |
15.6 |
5.23 |
578154496 |
124 |
apollon129 |
eca-rers2012/Problem15_label07_false-unreach-call.c |
timeout |
881 |
981 |
1932361728 |
11300 |
apollon096 |
unknown |
102 |
68.5 |
2780704768 |
1050 |
apollon078 |
unknown |
16.0 |
5.03 |
598282240 |
124 |
apollon153 |
eca-rers2012/Problem15_label09_false-unreach-call.c |
timeout |
882 |
981 |
1934114816 |
9450 |
apollon009 |
unknown |
101 |
68.9 |
3168329728 |
1070 |
apollon085 |
unknown |
15.3 |
4.91 |
583467008 |
126 |
apollon142 |
eca-rers2012/Problem15_label14_false-unreach-call.c |
timeout |
881 |
981 |
1923141632 |
10300 |
apollon137 |
unknown |
103 |
72.7 |
3475062784 |
1240 |
apollon030 |
unknown |
15.5 |
4.48 |
572071936 |
108 |
apollon151 |
eca-rers2012/Problem15_label15_false-unreach-call.c |
timeout |
881 |
981 |
1919836160 |
10500 |
apollon099 |
unknown |
102 |
68.0 |
3205758976 |
1040 |
apollon107 |
unknown |
17.0 |
5.59 |
576221184 |
149 |
apollon108 |
eca-rers2012/Problem15_label18_false-unreach-call_false-termination.c |
timeout |
882 |
981 |
2298544128 |
10400 |
apollon012 |
unknown |
104 |
69.0 |
3187466240 |
1080 |
apollon156 |
unknown |
14.0 |
3.86 |
568905728 |
128 |
apollon057 |
eca-rers2012/Problem15_label22_false-unreach-call.c |
timeout |
882 |
981 |
1917272064 |
11400 |
apollon020 |
unknown |
104 |
70.7 |
3306246144 |
1130 |
apollon141 |
unknown |
13.8 |
3.99 |
571084800 |
106 |
apollon003 |
eca-rers2012/Problem15_label23_false-unreach-call.c |
timeout |
882 |
981 |
1919488000 |
10800 |
apollon146 |
unknown |
106 |
76.2 |
3867430912 |
1010 |
apollon123 |
unknown |
11.0 |
3.08 |
547569664 |
85.8 |
apollon144 |
eca-rers2012/Problem15_label25_false-unreach-call.c |
timeout |
881 |
981 |
1915133952 |
11600 |
apollon071 |
unknown |
102 |
66.2 |
3770150912 |
1020 |
apollon150 |
unknown |
12.1 |
3.81 |
596967424 |
107 |
apollon068 |
eca-rers2012/Problem15_label29_false-unreach-call.c |
timeout |
881 |
981 |
1916448768 |
12500 |
apollon030 |
unknown |
102 |
65.5 |
3823120384 |
1040 |
apollon102 |
unknown |
13.6 |
3.80 |
572690432 |
108 |
apollon120 |
eca-rers2012/Problem15_label30_false-unreach-call.c |
timeout |
881 |
981 |
1934098432 |
10500 |
apollon035 |
unknown |
102 |
67.7 |
3371020288 |
1030 |
apollon053 |
unknown |
14.0 |
4.01 |
576782336 |
107 |
apollon050 |
eca-rers2012/Problem15_label33_false-unreach-call.c |
timeout |
882 |
981 |
1936150528 |
8550 |
apollon150 |
unknown |
103 |
68.4 |
3066548224 |
1180 |
apollon007 |
unknown |
13.3 |
3.89 |
568147968 |
112 |
apollon102 |
eca-rers2012/Problem15_label34_false-unreach-call.c |
timeout |
881 |
981 |
1919504384 |
11400 |
apollon059 |
unknown |
102 |
66.0 |
2954731520 |
1130 |
apollon077 |
unknown |
15.5 |
4.59 |
564178944 |
129 |
apollon033 |
eca-rers2012/Problem15_label37_false-unreach-call.c |
timeout |
882 |
981 |
1934876672 |
10600 |
apollon107 |
unknown |
102 |
70.7 |
3305091072 |
1250 |
apollon014 |
unknown |
15.6 |
4.92 |
580841472 |
126 |
apollon112 |
eca-rers2012/Problem15_label38_false-unreach-call.c |
timeout |
881 |
981 |
1919840256 |
11800 |
apollon091 |
unknown |
101 |
67.5 |
2896482304 |
1120 |
apollon112 |
unknown |
14.9 |
4.87 |
574885888 |
126 |
apollon038 |
eca-rers2012/Problem15_label39_false-unreach-call.c |
timeout |
881 |
981 |
1937616896 |
10500 |
apollon103 |
unknown |
102 |
66.9 |
3178024960 |
1060 |
apollon072 |
unknown |
15.2 |
4.80 |
574103552 |
128 |
apollon164 |
eca-rers2012/Problem15_label40_false-unreach-call.c |
timeout |
881 |
981 |
1929682944 |
12400 |
apollon014 |
unknown |
103 |
69.4 |
2967285760 |
1080 |
apollon146 |
unknown |
13.3 |
4.16 |
571871232 |
98.7 |
apollon040 |
eca-rers2012/Problem15_label41_false-unreach-call.c |
timeout |
881 |
981 |
1922936832 |
12600 |
apollon130 |
unknown |
102 |
67.8 |
3190972416 |
1150 |
apollon091 |
unknown |
16.9 |
5.55 |
583032832 |
134 |
apollon162 |
eca-rers2012/Problem15_label45_false-unreach-call.c |
timeout |
881 |
981 |
1921548288 |
10300 |
apollon157 |
unknown |
102 |
66.4 |
3089002496 |
1270 |
apollon057 |
unknown |
14.0 |
4.32 |
566087680 |
115 |
apollon094 |
eca-rers2012/Problem15_label47_false-unreach-call.c |
timeout |
881 |
981 |
1917489152 |
10800 |
apollon078 |
unknown |
102 |
66.4 |
3288174592 |
993 |
apollon089 |
unknown |
16.4 |
5.28 |
583639040 |
116 |
apollon054 |
eca-rers2012/Problem15_label48_false-unreach-call.c |
timeout |
882 |
981 |
1933901824 |
10700 |
apollon079 |
unknown |
103 |
68.5 |
3558694912 |
1030 |
apollon045 |
unknown |
13.9 |
4.11 |
571273216 |
99.2 |
apollon134 |
eca-rers2012/Problem15_label50_false-unreach-call.c |
timeout |
882 |
981 |
1932419072 |
10400 |
apollon083 |
unknown |
101 |
63.2 |
3065655296 |
1020 |
apollon107 |
unknown |
10.5 |
2.76 |
570257408 |
88.4 |
apollon138 |
eca-rers2012/Problem15_label51_false-unreach-call.c |
timeout |
881 |
981 |
1919238144 |
10800 |
apollon001 |
unknown |
104 |
75.6 |
3846983680 |
1310 |
apollon016 |
unknown |
12.1 |
3.17 |
560160768 |
88.2 |
apollon095 |
eca-rers2012/Problem16_label00_false-unreach-call.c |
timeout |
881 |
981 |
2033512448 |
11700 |
apollon030 |
unknown |
112 |
89.7 |
1988337664 |
1170 |
apollon089 |
unknown |
.00923 |
.0139 |
909312 |
.0214 |
apollon072 |
eca-rers2012/Problem16_label01_false-unreach-call.c |
timeout |
881 |
981 |
2021777408 |
9770 |
apollon113 |
unknown |
102 |
62.2 |
3824599040 |
1070 |
apollon076 |
unknown |
14.4 |
4.52 |
574820352 |
119 |
apollon032 |
eca-rers2012/Problem16_label03_false-unreach-call.c |
timeout |
882 |
981 |
1308000256 |
8540 |
apollon145 |
unknown |
103 |
65.1 |
3852247040 |
1090 |
apollon152 |
unknown |
14.6 |
5.31 |
581836800 |
130 |
apollon017 |
eca-rers2012/Problem16_label04_false-unreach-call.c |
timeout |
881 |
981 |
1983164416 |
9070 |
apollon092 |
unknown |
106 |
69.9 |
3938975744 |
1050 |
apollon002 |
unknown |
14.4 |
5.24 |
580091904 |
127 |
apollon156 |
eca-rers2012/Problem16_label05_false-unreach-call.c |
timeout |
881 |
981 |
1926717440 |
10400 |
apollon154 |
unknown |
104 |
68.2 |
3425861632 |
1180 |
apollon019 |
unknown |
15.4 |
5.46 |
576716800 |
123 |
apollon043 |
eca-rers2012/Problem16_label06_false-unreach-call.c |
timeout |
882 |
981 |
1888559104 |
8900 |
apollon118 |
unknown |
101 |
67.9 |
3842584576 |
1100 |
apollon015 |
unknown |
15.3 |
5.31 |
579518464 |
139 |
apollon070 |
eca-rers2012/Problem16_label08_false-unreach-call.c |
timeout |
881 |
981 |
1890922496 |
11500 |
apollon071 |
unknown |
102 |
65.3 |
3888943104 |
968 |
apollon098 |
unknown |
14.5 |
4.78 |
569552896 |
124 |
apollon004 |
eca-rers2012/Problem16_label14_false-unreach-call.c |
timeout |
881 |
981 |
1959251968 |
10000 |
apollon129 |
unknown |
103 |
69.4 |
3708743680 |
1100 |
apollon072 |
unknown |
16.0 |
5.56 |
575635456 |
130 |
apollon142 |
eca-rers2012/Problem16_label15_false-unreach-call.c |
timeout |
881 |
981 |
1510916096 |
9660 |
apollon151 |
unknown |
103 |
61.1 |
3711295488 |
1010 |
apollon120 |
unknown |
15.5 |
5.44 |
577462272 |
129 |
apollon110 |
eca-rers2012/Problem16_label18_false-unreach-call.c |
timeout |
881 |
981 |
1944883200 |
9190 |
apollon137 |
unknown |
102 |
71.2 |
3740741632 |
1310 |
apollon016 |
unknown |
17.7 |
5.73 |
578695168 |
134 |
apollon045 |
eca-rers2012/Problem16_label20_false-unreach-call.c |
timeout |
881 |
981 |
1883787264 |
12800 |
apollon161 |
unknown |
112 |
89.3 |
1820188672 |
1210 |
apollon045 |
unknown |
.00854 |
.00990 |
888832 |
.00671 |
apollon136 |
eca-rers2012/Problem16_label22_false-unreach-call.c |
timeout |
882 |
981 |
1975390208 |
12300 |
apollon140 |
unknown |
103 |
70.5 |
3753250816 |
1230 |
apollon167 |
unknown |
14.1 |
4.52 |
591147008 |
116 |
apollon032 |
eca-rers2012/Problem16_label27_false-unreach-call.c |
timeout |
882 |
981 |
1893224448 |
9870 |
apollon070 |
unknown |
104 |
67.6 |
3831992320 |
1030 |
apollon079 |
unknown |
12.7 |
3.76 |
565317632 |
100 |
apollon018 |
eca-rers2012/Problem16_label30_false-unreach-call.c |
timeout |
881 |
981 |
2067550208 |
8570 |
apollon144 |
unknown |
105 |
72.1 |
3881861120 |
1040 |
apollon099 |
unknown |
13.3 |
4.19 |
570568704 |
100 |
apollon133 |
eca-rers2012/Problem16_label31_false-unreach-call.c |
timeout |
881 |
981 |
1468157952 |
10700 |
apollon055 |
unknown |
106 |
70.7 |
3890802688 |
1130 |
apollon102 |
unknown |
14.0 |
4.76 |
563748864 |
110 |
apollon001 |
eca-rers2012/Problem16_label33_false-unreach-call.c |
timeout |
881 |
981 |
1910308864 |
9800 |
apollon035 |
unknown |
105 |
65.7 |
3932274688 |
1110 |
apollon084 |
unknown |
15.0 |
4.85 |
577064960 |
103 |
apollon158 |
eca-rers2012/Problem16_label37_false-unreach-call.c |
timeout |
881 |
981 |
1918681088 |
11700 |
apollon167 |
unknown |
102 |
65.2 |
3914637312 |
948 |
apollon123 |
unknown |
15.0 |
4.84 |
582008832 |
113 |
apollon134 |
eca-rers2012/Problem16_label38_false-unreach-call.c |
timeout |
881 |
981 |
1905917952 |
12300 |
apollon140 |
unknown |
106 |
74.5 |
3923664896 |
1190 |
apollon093 |
unknown |
14.6 |
4.64 |
571301888 |
110 |
apollon043 |
eca-rers2012/Problem16_label41_false-unreach-call.c |
timeout |
881 |
981 |
1882451968 |
9660 |
apollon115 |
unknown |
103 |
67.9 |
3817046016 |
1060 |
apollon107 |
unknown |
15.2 |
4.75 |
578445312 |
123 |
apollon147 |
eca-rers2012/Problem16_label43_false-unreach-call.c |
timeout |
881 |
981 |
1612210176 |
9410 |
apollon158 |
unknown |
104 |
66.6 |
3683627008 |
954 |
apollon151 |
unknown |
16.6 |
5.77 |
585568256 |
146 |
apollon159 |
eca-rers2012/Problem16_label44_false-unreach-call.c |
timeout |
881 |
981 |
1797148672 |
9680 |
apollon166 |
unknown |
104 |
68.7 |
3871711232 |
1140 |
apollon084 |
unknown |
14.5 |
4.65 |
571555840 |
131 |
apollon076 |
eca-rers2012/Problem16_label46_false-unreach-call.c |
timeout |
881 |
981 |
1479835648 |
10700 |
apollon058 |
unknown |
106 |
67.8 |
3895021568 |
1130 |
apollon009 |
unknown |
13.9 |
4.66 |
576856064 |
113 |
apollon107 |
eca-rers2012/Problem16_label51_false-unreach-call.c |
timeout |
880 |
981 |
1508786176 |
12100 |
apollon007 |
unknown |
104 |
65.6 |
3796930560 |
996 |
apollon098 |
unknown |
16.3 |
5.49 |
585465856 |
142 |
apollon015 |
eca-rers2012/Problem16_label52_false-unreach-call.c |
timeout |
882 |
981 |
1949548544 |
10100 |
apollon084 |
unknown |
102 |
61.3 |
3854917632 |
1060 |
apollon141 |
unknown |
14.3 |
4.56 |
573120512 |
125 |
apollon153 |
eca-rers2012/Problem16_label54_false-unreach-call.c |
timeout |
881 |
981 |
1954709504 |
12300 |
apollon148 |
unknown |
102 |
65.9 |
3749208064 |
1010 |
apollon100 |
unknown |
17.7 |
6.72 |
596156416 |
146 |
apollon133 |
eca-rers2012/Problem17_label04_false-unreach-call.c |
timeout |
882 |
981 |
3029016576 |
10400 |
apollon003 |
unknown |
102 |
69.9 |
3092475904 |
949 |
apollon054 |
unknown |
13.3 |
3.82 |
577069056 |
111 |
apollon032 |
eca-rers2012/Problem17_label07_false-unreach-call.c |
timeout |
882 |
981 |
3024502784 |
12700 |
apollon030 |
unknown |
103 |
67.4 |
3428421632 |
1050 |
apollon095 |
unknown |
13.3 |
3.90 |
576970752 |
117 |
apollon022 |
eca-rers2012/Problem17_label09_false-unreach-call.c |
timeout |
882 |
981 |
3032449024 |
12700 |
apollon088 |
unknown |
102 |
65.9 |
3544944640 |
1050 |
apollon082 |
unknown |
12.2 |
3.66 |
594411520 |
94.6 |
apollon053 |
eca-rers2012/Problem17_label13_false-unreach-call.c |
timeout |
882 |
981 |
29873 |