array-examples/data_structures_set_multi_proc_false-unreach-call_ground.i |
timeout |
901 |
836 |
4294193152 |
12600 |
apollon112 |
unknown |
2.52 |
1.07 |
272412672 |
23.6 |
apollon152 |
unknown |
903 |
858 |
1453580288 |
12100 |
apollon147 |
array-examples/sorting_bubblesort_false-unreach-call2_ground.i |
timeout |
901 |
863 |
2238939136 |
12700 |
apollon006 |
unknown |
2.48 |
1.06 |
266936320 |
22.8 |
apollon077 |
unknown |
903 |
862 |
2236530688 |
11300 |
apollon090 |
array-examples/sorting_bubblesort_false-unreach-call_ground.i |
timeout |
901 |
860 |
2446741504 |
12200 |
apollon017 |
unknown |
2.58 |
1.06 |
271364096 |
23.2 |
apollon146 |
unknown |
903 |
862 |
1421131776 |
11600 |
apollon078 |
array-examples/sorting_selectionsort_false-unreach-call2_ground.i |
timeout |
901 |
858 |
2461175808 |
11200 |
apollon086 |
unknown |
2.52 |
1.05 |
273469440 |
25.9 |
apollon021 |
unknown |
903 |
861 |
2233339904 |
13800 |
apollon030 |
array-examples/sorting_selectionsort_false-unreach-call_ground.i |
timeout |
901 |
859 |
2243305472 |
11500 |
apollon144 |
unknown |
2.51 |
1.10 |
269996032 |
22.5 |
apollon070 |
unknown |
903 |
861 |
2238189568 |
11100 |
apollon099 |
array-examples/standard_allDiff2_false-unreach-call_ground.i |
timeout |
901 |
862 |
2237181952 |
11900 |
apollon004 |
unknown |
2.55 |
1.02 |
272674816 |
20.6 |
apollon100 |
unknown |
903 |
862 |
1423626240 |
13100 |
apollon027 |
array-examples/standard_copy1_false-unreach-call_ground.i |
timeout |
901 |
865 |
2222166016 |
11100 |
apollon035 |
unknown |
2.47 |
1.04 |
270622720 |
21.5 |
apollon012 |
unknown |
903 |
865 |
2227683328 |
10900 |
apollon100 |
array-examples/standard_copy2_false-unreach-call_ground.i |
timeout |
901 |
862 |
2242945024 |
11000 |
apollon003 |
unknown |
2.63 |
1.07 |
266743808 |
24.9 |
apollon044 |
unknown |
903 |
865 |
2413330432 |
13100 |
apollon033 |
array-examples/standard_copy3_false-unreach-call_ground.i |
timeout |
901 |
862 |
2240798720 |
10300 |
apollon151 |
unknown |
2.54 |
1.10 |
266362880 |
21.5 |
apollon157 |
unknown |
903 |
867 |
2226192384 |
12700 |
apollon024 |
array-examples/standard_copy4_false-unreach-call_ground.i |
timeout |
901 |
864 |
2419892224 |
12800 |
apollon132 |
unknown |
2.57 |
1.05 |
271839232 |
23.3 |
apollon112 |
unknown |
903 |
865 |
2436726784 |
13000 |
apollon077 |
array-examples/standard_copy5_false-unreach-call_ground.i |
timeout |
901 |
862 |
2224635904 |
11800 |
apollon147 |
unknown |
2.76 |
1.09 |
293363712 |
23.0 |
apollon025 |
unknown |
903 |
865 |
2227556352 |
11700 |
apollon135 |
array-examples/standard_copy6_false-unreach-call_ground.i |
timeout |
901 |
863 |
2223095808 |
13600 |
apollon030 |
unknown |
2.47 |
1.03 |
267083776 |
22.3 |
apollon120 |
unknown |
903 |
864 |
2227154944 |
13400 |
apollon163 |
array-examples/standard_copy7_false-unreach-call_ground.i |
timeout |
901 |
862 |
2236727296 |
11100 |
apollon003 |
unknown |
2.52 |
1.07 |
271093760 |
25.7 |
apollon057 |
unknown |
903 |
866 |
2417360896 |
10100 |
apollon158 |
array-examples/standard_copy8_false-unreach-call_ground.i |
timeout |
901 |
862 |
2431373312 |
9300 |
apollon063 |
unknown |
2.74 |
1.13 |
269246464 |
23.6 |
apollon015 |
unknown |
903 |
864 |
2233712640 |
11200 |
apollon023 |
array-examples/standard_copy9_false-unreach-call_ground.i |
timeout |
901 |
863 |
2255601664 |
11600 |
apollon121 |
unknown |
2.61 |
1.06 |
270417920 |
21.9 |
apollon045 |
unknown |
903 |
865 |
2226270208 |
12000 |
apollon076 |
array-examples/standard_copyInitSum2_false-unreach-call_ground.i |
timeout |
901 |
869 |
898576384 |
12000 |
apollon070 |
unknown |
2.44 |
1.04 |
267759616 |
21.5 |
apollon085 |
unknown |
903 |
870 |
703012864 |
12100 |
apollon096 |
array-examples/standard_init1_false-unreach-call_ground.i |
timeout |
901 |
871 |
904359936 |
11800 |
apollon051 |
unknown |
2.45 |
1.04 |
267902976 |
20.9 |
apollon157 |
unknown |
903 |
871 |
669130752 |
13600 |
apollon106 |
array-examples/standard_init2_false-unreach-call_ground.i |
timeout |
901 |
868 |
706400256 |
11800 |
apollon156 |
unknown |
2.38 |
1.03 |
268550144 |
22.5 |
apollon067 |
unknown |
903 |
869 |
723861504 |
10400 |
apollon029 |
array-examples/standard_init3_false-unreach-call_ground.i |
timeout |
901 |
870 |
704823296 |
13500 |
apollon094 |
unknown |
2.47 |
1.02 |
271982592 |
25.8 |
apollon021 |
unknown |
903 |
870 |
726028288 |
12200 |
apollon146 |
array-examples/standard_init4_false-unreach-call_ground.i |
timeout |
901 |
869 |
757116928 |
11200 |
apollon109 |
unknown |
2.61 |
1.08 |
274423808 |
20.3 |
apollon089 |
unknown |
903 |
870 |
808996864 |
14600 |
apollon039 |
array-examples/standard_init5_false-unreach-call_ground.i |
timeout |
901 |
869 |
783704064 |
12100 |
apollon142 |
unknown |
2.56 |
1.04 |
266813440 |
22.3 |
apollon118 |
unknown |
903 |
869 |
709558272 |
11700 |
apollon074 |
array-examples/standard_init6_false-unreach-call_ground.i |
timeout |
901 |
869 |
865030144 |
11700 |
apollon135 |
unknown |
2.57 |
1.05 |
267812864 |
23.4 |
apollon152 |
unknown |
903 |
869 |
760238080 |
11000 |
apollon100 |
array-examples/standard_init7_false-unreach-call_ground.i |
timeout |
901 |
868 |
765280256 |
13500 |
apollon088 |
unknown |
2.48 |
1.04 |
269676544 |
25.6 |
apollon021 |
unknown |
903 |
869 |
650760192 |
11100 |
apollon134 |
array-examples/standard_init8_false-unreach-call_ground.i |
timeout |
901 |
868 |
766357504 |
14200 |
apollon021 |
unknown |
2.50 |
1.06 |
268128256 |
21.8 |
apollon018 |
unknown |
903 |
869 |
637198336 |
11600 |
apollon110 |
array-examples/standard_init9_false-unreach-call_ground.i |
timeout |
901 |
868 |
771973120 |
12000 |
apollon004 |
unknown |
2.54 |
1.05 |
269008896 |
26.2 |
apollon039 |
unknown |
903 |
869 |
767590400 |
13200 |
apollon140 |
array-examples/standard_minInArray_false-unreach-call_ground.i |
timeout |
901 |
861 |
1381941248 |
11500 |
apollon034 |
unknown |
2.61 |
1.02 |
267812864 |
23.6 |
apollon015 |
unknown |
903 |
864 |
1407418368 |
14100 |
apollon160 |
array-examples/standard_partition_false-unreach-call_ground.i |
timeout |
901 |
864 |
2229690368 |
11700 |
apollon032 |
unknown |
2.51 |
1.06 |
268705792 |
21.6 |
apollon082 |
unknown |
903 |
862 |
2246713344 |
12200 |
apollon101 |
array-examples/standard_running_false-unreach-call.i |
timeout |
901 |
863 |
1403396096 |
11000 |
apollon104 |
unknown |
2.64 |
1.07 |
264208384 |
21.3 |
apollon053 |
unknown |
903 |
864 |
2238898176 |
11000 |
apollon083 |
array-examples/data_structures_set_multi_proc_trivial_true-unreach-call_ground_true-termination.i |
true |
155 |
143 |
2254331904 |
2010 |
apollon132 |
unknown |
2.60 |
1.06 |
272642048 |
20.8 |
apollon151 |
true |
157 |
144 |
1195450368 |
1980 |
apollon008 |
array-examples/data_structures_set_multi_proc_true-unreach-call_ground.i |
timeout |
901 |
856 |
3716763648 |
14200 |
apollon111 |
unknown |
2.47 |
1.06 |
266264576 |
20.2 |
apollon117 |
unknown |
903 |
860 |
2223972352 |
12000 |
apollon118 |
array-examples/relax_true-unreach-call.i |
timeout |
904 |
472 |
5247045632 |
10600 |
apollon044 |
unknown |
6.31 |
2.05 |
316092416 |
54.9 |
apollon007 |
unknown |
6.50 |
2.32 |
273395712 |
53.1 |
apollon029 |
array-examples/sanfoundry_02_true-unreach-call_ground.i |
timeout |
901 |
862 |
2246287360 |
12700 |
apollon024 |
unknown |
2.54 |
1.05 |
269328384 |
20.6 |
apollon099 |
unknown |
903 |
865 |
2472550400 |
13100 |
apollon047 |
array-examples/sanfoundry_10_true-unreach-call_ground.i |
timeout |
905 |
598 |
6312153088 |
8830 |
apollon097 |
unknown |
101 |
73.5 |
3730948096 |
1140 |
apollon018 |
unknown |
909 |
603 |
4966854656 |
8660 |
apollon137 |
array-examples/sanfoundry_24_true-unreach-call_true-termination.i |
timeout |
901 |
862 |
3904319488 |
13100 |
apollon132 |
unknown |
2.46 |
1.05 |
268558336 |
22.1 |
apollon084 |
unknown |
903 |
861 |
2234781696 |
11600 |
apollon137 |
array-examples/sanfoundry_27_true-unreach-call_ground.i |
timeout |
901 |
863 |
2247888896 |
12200 |
apollon152 |
unknown |
2.48 |
1.06 |
265367552 |
21.5 |
apollon072 |
unknown |
903 |
867 |
2236284928 |
11600 |
apollon034 |
array-examples/sanfoundry_43_true-unreach-call_ground.i |
true |
92.5 |
87.1 |
2257088512 |
1020 |
apollon127 |
true |
2.53 |
1.05 |
266354688 |
25.7 |
apollon160 |
unknown |
.0147 |
.0144 |
942080 |
.0190 |
apollon011 |
array-examples/sorting_bubblesort_true-unreach-call_ground.i |
timeout |
901 |
862 |
2228862976 |
11500 |
apollon050 |
unknown |
2.53 |
1.08 |
269271040 |
21.5 |
apollon157 |
unknown |
903 |
864 |
2224873472 |
12800 |
apollon132 |
array-examples/sorting_selectionsort_true-unreach-call_ground.i |
timeout |
901 |
857 |
2474811392 |
11200 |
apollon035 |
unknown |
2.50 |
1.04 |
269221888 |
21.7 |
apollon026 |
unknown |
903 |
861 |
2243747840 |
10900 |
apollon002 |
array-examples/standard_compareModified_true-unreach-call_ground.i |
timeout |
901 |
862 |
2246279168 |
13600 |
apollon080 |
unknown |
2.37 |
1.05 |
269266944 |
21.6 |
apollon087 |
unknown |
903 |
866 |
2238758912 |
11400 |
apollon062 |
array-examples/standard_compare_true-unreach-call_ground.i |
timeout |
901 |
863 |
2239426560 |
13200 |
apollon014 |
unknown |
2.49 |
1.04 |
266219520 |
21.2 |
apollon002 |
unknown |
903 |
866 |
2231894016 |
11700 |
apollon135 |
array-examples/standard_copy1_true-unreach-call_ground.i |
timeout |
901 |
866 |
2408681472 |
11700 |
apollon049 |
unknown |
2.46 |
1.06 |
264511488 |
21.5 |
apollon072 |
unknown |
903 |
867 |
2230607872 |
11600 |
apollon129 |
array-examples/standard_copy2_true-unreach-call_ground.i |
timeout |
901 |
864 |
2241961984 |
11900 |
apollon018 |
unknown |
2.68 |
1.09 |
274247680 |
19.3 |
apollon158 |
unknown |
903 |
867 |
2232733696 |
11700 |
apollon133 |
array-examples/standard_copy3_true-unreach-call_ground.i |
timeout |
901 |
865 |
2410418176 |
11200 |
apollon166 |
unknown |
2.48 |
1.05 |
263942144 |
23.7 |
apollon161 |
unknown |
903 |
867 |
2402664448 |
12900 |
apollon068 |
array-examples/standard_copy4_true-unreach-call_ground.i |
timeout |
901 |
862 |
2407043072 |
10700 |
apollon143 |
unknown |
2.50 |
1.07 |
270069760 |
22.7 |
apollon093 |
unknown |
903 |
866 |
2415677440 |
13200 |
apollon122 |
array-examples/standard_copy5_true-unreach-call_ground.i |
timeout |
901 |
865 |
2228797440 |
11500 |
apollon050 |
unknown |
2.54 |
1.08 |
270479360 |
23.8 |
apollon020 |
unknown |
903 |
866 |
2233671680 |
11200 |
apollon086 |
array-examples/standard_copy6_true-unreach-call_ground.i |
timeout |
901 |
864 |
2415435776 |
12800 |
apollon064 |
unknown |
2.49 |
1.05 |
264380416 |
24.6 |
apollon081 |
unknown |
903 |
864 |
2442559488 |
13900 |
apollon044 |
array-examples/standard_copy7_true-unreach-call_ground.i |
timeout |
901 |
862 |
2223091712 |
11600 |
apollon051 |
unknown |
2.72 |
1.06 |
294158336 |
23.9 |
apollon120 |
unknown |
903 |
864 |
2230751232 |
12000 |
apollon142 |
array-examples/standard_copy8_true-unreach-call_ground.i |
timeout |
901 |
863 |
2236997632 |
12300 |
apollon101 |
unknown |
2.65 |
1.05 |
291987456 |
24.5 |
apollon077 |
unknown |
903 |
864 |
2233118720 |
11200 |
apollon137 |
array-examples/standard_copy9_true-unreach-call_ground.i |
timeout |
901 |
862 |
2421035008 |
10800 |
apollon117 |
unknown |
2.56 |
1.06 |
270852096 |
22.6 |
apollon084 |
unknown |
903 |
865 |
2229116928 |
11400 |
apollon012 |
array-examples/standard_copyInitSum2_true-unreach-call_ground.i |
timeout |
901 |
869 |
703852544 |
12100 |
apollon022 |
unknown |
2.56 |
1.04 |
271286272 |
21.4 |
apollon045 |
unknown |
903 |
869 |
869363712 |
11700 |
apollon037 |
array-examples/standard_copyInitSum3_true-unreach-call_ground.i |
timeout |
901 |
869 |
729128960 |
12600 |
apollon124 |
unknown |
2.48 |
1.06 |
270450688 |
21.2 |
apollon082 |
unknown |
903 |
869 |
723611648 |
11700 |
apollon074 |
array-examples/standard_copyInitSum_true-unreach-call_ground.i |
timeout |
901 |
869 |
867565568 |
12200 |
apollon015 |
unknown |
2.49 |
1.05 |
270446592 |
24.7 |
apollon106 |
unknown |
903 |
870 |
748847104 |
14700 |
apollon056 |
array-examples/standard_copyInit_true-unreach-call_ground.i |
timeout |
901 |
869 |
713707520 |
11800 |
apollon001 |
unknown |
2.46 |
1.09 |
266682368 |
24.3 |
apollon030 |
unknown |
903 |
870 |
774639616 |
13100 |
apollon077 |
array-examples/standard_find_true-unreach-call_ground.i |
timeout |
901 |
864 |
2404204544 |
13300 |
apollon014 |
unknown |
2.48 |
1.05 |
268480512 |
25.1 |
apollon057 |
unknown |
903 |
865 |
2440527872 |
10400 |
apollon151 |
array-examples/standard_init1_true-unreach-call_ground.i |
timeout |
901 |
870 |
803471360 |
11500 |
apollon062 |
unknown |
2.48 |
1.03 |
265166848 |
21.4 |
apollon095 |
unknown |
903 |
871 |
694898688 |
11800 |
apollon156 |
array-examples/standard_init2_true-unreach-call_ground.i |
timeout |
901 |
869 |
859033600 |
13900 |
apollon016 |
unknown |
2.59 |
1.06 |
271470592 |
19.1 |
apollon092 |
unknown |
903 |
870 |
713551872 |
10900 |
apollon143 |
array-examples/standard_init3_true-unreach-call_ground.i |
timeout |
901 |
869 |
788164608 |
13300 |
apollon130 |
unknown |
2.48 |
1.02 |
269938688 |
21.0 |
apollon058 |
unknown |
903 |
870 |
699449344 |
10900 |
apollon040 |
array-examples/standard_init4_true-unreach-call_ground.i |
timeout |
901 |
869 |
727855104 |
12200 |
apollon142 |
unknown |
2.47 |
1.04 |
266502144 |
20.6 |
apollon127 |
unknown |
903 |
869 |
779976704 |
12000 |
apollon004 |
array-examples/standard_init5_true-unreach-call_ground.i |
timeout |
901 |
869 |
783847424 |
12400 |
apollon152 |
unknown |
2.58 |
1.07 |
267907072 |
22.5 |
apollon142 |
unknown |
903 |
869 |
764284928 |
13100 |
apollon167 |
array-examples/standard_init6_true-unreach-call_ground.i |
timeout |
901 |
869 |
853499904 |
13600 |
apollon069 |
unknown |
2.44 |
1.05 |
267489280 |
20.0 |
apollon098 |
unknown |
903 |
869 |
733130752 |
13500 |
apollon088 |
array-examples/standard_init7_true-unreach-call_ground.i |
timeout |
901 |
867 |
736808960 |
11700 |
apollon121 |
unknown |
2.51 |
1.08 |
267612160 |
19.6 |
apollon151 |
unknown |
903 |
869 |
762511360 |
11900 |
apollon162 |
array-examples/standard_init8_true-unreach-call_ground.i |
timeout |
901 |
867 |
754511872 |
12800 |
apollon136 |
unknown |
2.49 |
1.04 |
270630912 |
23.9 |
apollon047 |
unknown |
904 |
870 |
763805696 |
11200 |
apollon042 |
array-examples/standard_init9_true-unreach-call_ground.i |
timeout |
901 |
867 |
831557632 |
11300 |
apollon023 |
unknown |
2.51 |
1.04 |
266563584 |
20.3 |
apollon043 |
unknown |
904 |
869 |
727719936 |
13300 |
apollon027 |
array-examples/standard_maxInArray_true-unreach-call_ground.i |
timeout |
901 |
863 |
1376686080 |
11500 |
apollon119 |
unknown |
2.48 |
1.03 |
268001280 |
22.4 |
apollon168 |
unknown |
903 |
866 |
1405739008 |
10600 |
apollon139 |
array-examples/standard_minInArray_true-unreach-call_ground.i |
timeout |
901 |
863 |
2225725440 |
12200 |
apollon071 |
unknown |
2.65 |
1.04 |
269180928 |
21.1 |
apollon042 |
unknown |
903 |
864 |
1373921280 |
11600 |
apollon120 |
array-examples/standard_palindrome_true-unreach-call_ground.i |
timeout |
901 |
866 |
2406166528 |
11700 |
apollon165 |
unknown |
2.54 |
1.05 |
273584128 |
19.8 |
apollon151 |
unknown |
903 |
868 |
2209992704 |
12900 |
apollon155 |
array-examples/standard_partial_init_true-unreach-call_ground.i |
timeout |
901 |
865 |
2227806208 |
11600 |
apollon037 |
unknown |
2.67 |
1.11 |
270290944 |
25.1 |
apollon106 |
unknown |
903 |
863 |
1426083840 |
10700 |
apollon040 |
array-examples/standard_partition_original_true-unreach-call_ground.i |
timeout |
901 |
861 |
2241077248 |
12400 |
apollon138 |
unknown |
2.73 |
1.17 |
270344192 |
22.4 |
apollon168 |
unknown |
903 |
863 |
2240958464 |
11000 |
apollon116 |
array-examples/standard_partition_true-unreach-call_ground.i |
timeout |
901 |
863 |
2204188672 |
11300 |
apollon103 |
unknown |
2.50 |
1.05 |
271712256 |
21.1 |
apollon053 |
unknown |
903 |
866 |
2245390336 |
11400 |
apollon150 |
array-examples/standard_password_true-unreach-call_ground.i |
timeout |
901 |
863 |
2224066560 |
12300 |
apollon046 |
unknown |
2.42 |
1.03 |
269025280 |
22.2 |
apollon038 |
unknown |
903 |
865 |
2237427712 |
12300 |
apollon101 |
array-examples/standard_reverse_true-unreach-call_ground.i |
timeout |
901 |
866 |
2419159040 |
11200 |
apollon166 |
unknown |
2.55 |
1.06 |
269656064 |
24.2 |
apollon161 |
unknown |
903 |
867 |
2426261504 |
11900 |
apollon082 |
array-examples/standard_running_true-unreach-call.i |
timeout |
901 |
862 |
1401315328 |
11000 |
apollon104 |
unknown |
2.48 |
1.05 |
271241216 |
20.7 |
apollon133 |
unknown |
903 |
865 |
2226409472 |
12100 |
apollon093 |
array-examples/standard_sentinel_true-unreach-call_true-termination.i |
timeout |
901 |
863 |
2510311424 |
10800 |
apollon029 |
unknown |
2.45 |
1.03 |
268648448 |
22.5 |
apollon032 |
unknown |
903 |
865 |
2051874816 |
14200 |
apollon161 |
array-examples/standard_seq_init_true-unreach-call_ground.i |
timeout |
901 |
870 |
725729280 |
12800 |
apollon112 |
unknown |
2.47 |
1.06 |
270946304 |
21.4 |
apollon042 |
unknown |
903 |
870 |
691535872 |
11800 |
apollon051 |
array-examples/standard_strcmp_true-unreach-call_ground.i |
timeout |
901 |
861 |
2229432320 |
11900 |
apollon085 |
unknown |
2.66 |
1.05 |
295841792 |
24.4 |
apollon076 |
unknown |
903 |
865 |
2220011520 |
12800 |
apollon010 |
array-examples/standard_strcpy_original_true-unreach-call.i |
timeout |
901 |
865 |
2221846528 |
10800 |
apollon117 |
unknown |
2.57 |
1.07 |
264450048 |
23.6 |
apollon081 |
unknown |
903 |
866 |
2404589568 |
12100 |
apollon038 |
array-examples/standard_strcpy_true-unreach-call_ground.i |
timeout |
901 |
865 |
2435534848 |
10900 |
apollon149 |
unknown |
2.48 |
1.02 |
269180928 |
23.9 |
apollon007 |
unknown |
903 |
865 |
2239737856 |
11100 |
apollon116 |
array-examples/standard_two_index_01_true-unreach-call.i |
timeout |
901 |
865 |
2223828992 |
13200 |
apollon028 |
unknown |
2.47 |
1.03 |
271372288 |
24.1 |
apollon014 |
unknown |
903 |
865 |
2219921408 |
12500 |
apollon152 |
array-examples/standard_two_index_02_true-unreach-call.i |
timeout |
901 |
866 |
2441875456 |
13500 |
apollon148 |
unknown |
2.55 |
1.06 |
266633216 |
22.9 |
apollon167 |
unknown |
903 |
866 |
1381236736 |
13000 |
apollon081 |
array-examples/standard_two_index_03_true-unreach-call.i |
timeout |
954 |
881 |
3545477120 |
12000 |
apollon110 |
unknown |
2.57 |
1.06 |
266534912 |
20.9 |
apollon025 |
unknown |
903 |
859 |
1772044288 |
13300 |
apollon126 |
array-examples/standard_two_index_04_true-unreach-call.i |
timeout |
901 |
864 |
1382387712 |
12200 |
apollon052 |
unknown |
2.53 |
1.04 |
268087296 |
25.4 |
apollon057 |
unknown |
903 |
867 |
2230247424 |
12000 |
apollon145 |
array-examples/standard_two_index_05_true-unreach-call.i |
timeout |
901 |
865 |
2242887680 |
11700 |
apollon049 |
unknown |
2.46 |
1.02 |
268779520 |
20.8 |
apollon058 |
unknown |
903 |
864 |
1373339648 |
10600 |
apollon139 |
array-examples/standard_two_index_06_true-unreach-call.i |
timeout |
954 |
875 |
2965774336 |
12100 |
apollon087 |
unknown |
2.44 |
1.04 |
266018816 |
20.2 |
apollon123 |
timeout |
951 |
904 |
2002366464 |
12500 |
apollon070 |
array-examples/standard_two_index_07_true-unreach-call.i |
timeout |
901 |
865 |
2224852992 |
10800 |
apollon149 |
unknown |
2.48 |
1.04 |
269139968 |
22.3 |
apollon142 |
unknown |
903 |
867 |
2227757056 |
11800 |
apollon162 |
array-examples/standard_two_index_08_true-unreach-call.i |
timeout |
901 |
865 |
2243903488 |
11600 |
apollon119 |
unknown |
2.51 |
1.04 |
269012992 |
22.7 |
apollon032 |
unknown |
903 |
868 |
2222026752 |
11900 |
apollon102 |
array-examples/standard_two_index_09_true-unreach-call.i |
timeout |
901 |
863 |
1344724992 |
10900 |
apollon099 |
unknown |
2.50 |
1.05 |
267792384 |
21.2 |
apollon157 |
unknown |
903 |
866 |
1364983808 |
11900 |
apollon142 |
array-examples/standard_vararg_true-unreach-call_ground_true-termination.i |
timeout |
901 |
862 |
2359062528 |
12800 |
apollon136 |
unknown |
2.47 |
1.03 |
272302080 |
21.7 |
apollon004 |
unknown |
903 |
865 |
2043224064 |
12900 |
apollon010 |
array-examples/standard_vector_difference_true-unreach-call_ground.i |
timeout |
901 |
863 |
2419380224 |
13900 |
apollon044 |
unknown |
2.44 |
1.03 |
263282688 |
22.9 |
apollon015 |
unknown |
903 |
867 |
2393726976 |
11500 |
apollon131 |
array-industry-pattern/array_assert_loop_dep_false-unreach-call_true-termination.i |
timeout |
901 |
869 |
750481408 |
10700 |
apollon139 |
unknown |
2.58 |
1.05 |
270540800 |
25.9 |
apollon039 |
unknown |
903 |
869 |
684929024 |
11600 |
apollon105 |
array-industry-pattern/array_of_struct_loop_dep_false-unreach-call.i |
timeout |
904 |
606 |
6401626112 |
9250 |
apollon101 |
unknown |
101 |
72.2 |
3686895616 |
1160 |
apollon141 |
unknown |
906 |
608 |
4140208128 |
10000 |
apollon091 |
array-industry-pattern/array_ptr_single_elem_init_false-unreach-call_true-termination.i |
timeout |
901 |
862 |
1418756096 |
11200 |
apollon045 |
unknown |
2.56 |
1.10 |
267821056 |
21.8 |
apollon011 |
unknown |
903 |
862 |
2470440960 |
12000 |
apollon067 |
array-industry-pattern/array_range_init_false-unreach-call.i |
timeout |
901 |
866 |
755109888 |
11300 |
apollon012 |
unknown |
2.48 |
1.04 |
265711616 |
22.6 |
apollon168 |
unknown |
903 |
867 |
716410880 |
13400 |
apollon106 |
array-industry-pattern/array_single_elem_init_false-unreach-call_true-termination.i |
timeout |
901 |
862 |
2482049024 |
12100 |
apollon009 |
unknown |
2.49 |
1.04 |
269717504 |
24.6 |
apollon016 |
unknown |
903 |
865 |
2255192064 |
12400 |
apollon046 |
array-industry-pattern/check_removal_from_set_after_insertion_false-unreach-call.i |
timeout |
940 |
630 |
5954846720 |
9970 |
apollon157 |
unknown |
101 |
71.3 |
3689865216 |
1060 |
apollon025 |
out of memory |
428 |
366 |
14999998464 |
3760 |
apollon029 |
array-industry-pattern/array_monotonic_true-unreach-call_true-termination.i |
timeout |
901 |
863 |
2460401664 |
11400 |
apollon107 |
unknown |
2.51 |
1.08 |
267730944 |
21.8 |
apollon121 |
unknown |
903 |
865 |
2256617472 |
10700 |
apollon098 |
array-industry-pattern/array_mul_init_true-unreach-call_true-termination.i |
timeout |
901 |
867 |
733151232 |
11800 |
apollon011 |
unknown |
2.46 |
1.04 |
265089024 |
21.1 |
apollon157 |
unknown |
903 |
866 |
785174528 |
11700 |
apollon156 |
array-industry-pattern/array_of_struct_break_true-unreach-call.i |
timeout |
903 |
610 |
2983833600 |
11400 |
apollon021 |
unknown |
101 |
73.8 |
3707666432 |
1050 |
apollon100 |
unknown |
906 |
608 |
3160178688 |
9700 |
apollon070 |
array-industry-pattern/array_of_struct_ptr_cond_init_true-unreach-call.i |
timeout |
902 |
605 |
3684012032 |
8290 |
apollon163 |
unknown |
101 |
77.5 |
3476049920 |
1180 |
apollon085 |
unknown |
907 |
608 |
4473417728 |
6950 |
apollon034 |
array-industry-pattern/array_of_struct_ptr_flag_init_true-unreach-call.i |
timeout |
903 |
602 |
4816674816 |
10500 |
apollon148 |
unknown |
101 |
74.5 |
3696898048 |
1040 |
apollon128 |
unknown |
907 |
607 |
3821359104 |
7830 |
apollon131 |
array-industry-pattern/array_of_struct_ptr_monotonic_true-unreach-call.i |
timeout |
902 |
606 |
4058722304 |
7900 |
apollon127 |
unknown |
101 |
78.2 |
3546808320 |
1180 |
apollon011 |
unknown |
907 |
611 |
8599408640 |
7910 |
apollon071 |
array-industry-pattern/array_of_struct_ptr_mul_init_true-unreach-call.i |
timeout |
903 |
607 |
3922804736 |
8270 |
apollon135 |
unknown |
101 |
72.5 |
3717758976 |
1100 |
apollon156 |
unknown |
908 |
610 |
4933742592 |
10100 |
apollon030 |
array-industry-pattern/array_of_struct_single_elem_init_true-unreach-call.i |
timeout |
903 |
606 |
4489515008 |
10800 |
apollon148 |
unknown |
101 |
73.4 |
3714146304 |
975 |
apollon054 |
unknown |
910 |
606 |
4763262976 |
8400 |
apollon041 |
array-industry-pattern/array_ptr_partial_init_true-unreach-call.i |
timeout |
903 |
606 |
3463852032 |
8180 |
apollon152 |
unknown |
101 |
74.9 |
3696025600 |
1100 |
apollon012 |
unknown |
905 |
608 |
3516858368 |
9830 |
apollon132 |
array-industry-pattern/array_ptr_single_elem_init_true-unreach-call.i |
timeout |
902 |
604 |
3712380928 |
7430 |
apollon137 |
unknown |
101 |
75.4 |
3036516352 |
1050 |
apollon128 |
unknown |
911 |
608 |
3996729344 |
7420 |
apollon045 |
array-industry-pattern/array_shadowinit_true-unreach-call_true-termination.i |
timeout |
904 |
537 |
3935432704 |
7800 |
apollon103 |
unknown |
101 |
76.0 |
3866857472 |
1240 |
apollon140 |
unknown |
1.79 |
.778 |
173031424 |
18.3 |
apollon016 |
reducercommutativity/rangesum05_false-unreach-call_true-termination.i |
false(unreach-call) |
38.7 |
31.3 |
583979008 |
435 |
apollon067 |
false(unreach-call) |
7.69 |
2.37 |
413929472 |
56.8 |
apollon043 |
unknown |
.0112 |
.0109 |
1019904 |
.00855 |
apollon042 |
reducercommutativity/rangesum10_false-unreach-call_true-termination.i |
false(unreach-call) |
120 |
110 |
791371776 |
1250 |
apollon023 |
false(unreach-call) |
12.5 |
3.47 |
480616448 |
107 |
apollon125 |
unknown |
.0141 |
.0142 |
741376 |
.00915 |
apollon121 |
reducercommutativity/rangesum20_false-unreach-call.i |
timeout |
904 |
881 |
4774555648 |
10400 |
apollon161 |
false(unreach-call) |
31.2 |
7.98 |
1050562560 |
247 |
apollon018 |
unknown |
.0194 |
.0225 |
1019904 |
.00958 |
apollon036 |
reducercommutativity/rangesum40_false-unreach-call.i |
timeout |
904 |
874 |
4058341376 |
10100 |
apollon027 |
false(unreach-call) |
59.3 |
28.1 |
2526670848 |
580 |
apollon152 |
unknown |
.0118 |
.0115 |
946176 |
.00909 |
apollon112 |
reducercommutativity/rangesum60_false-unreach-call.i |
timeout |
904 |
870 |
4657717248 |
8680 |
apollon012 |
unknown |
101 |
62.0 |
3709898752 |
998 |
apollon086 |
false(unreach-call) |
52.7 |
42.5 |
4010967040 |
593 |
apollon108 |
reducercommutativity/rangesum_false-unreach-call_true-termination.i |
false(unreach-call) |
183 |
169 |
2248531968 |
2580 |
apollon160 |
false(unreach-call) |
8.10 |
2.38 |
463929344 |
73.3 |
apollon057 |
unknown |
.0144 |
.0157 |
966656 |
.00983 |
apollon160 |
reducercommutativity/avg05_true-unreach-call_true-termination.i |
timeout |
902 |
889 |
1817825280 |
11500 |
apollon130 |
unknown |
101 |
71.8 |
4092358656 |
1120 |
apollon020 |
unknown |
904 |
891 |
1759748096 |
9820 |
apollon062 |
reducercommutativity/avg10_true-unreach-call_true-termination.i |
timeout |
903 |
889 |
3412242432 |
9150 |
apollon083 |
unknown |
101 |
67.7 |
4059254784 |
878 |
apollon158 |
unknown |
906 |
886 |
3126009856 |
8440 |
apollon078 |
reducercommutativity/avg20_true-unreach-call.i |
timeout |
906 |
885 |
4790874112 |
9080 |
apollon096 |
unknown |
101 |
61.5 |
2672193536 |
894 |
apollon009 |
unknown |
909 |
883 |
4827246592 |
9360 |
apollon096 |
reducercommutativity/avg40_true-unreach-call.i |
timeout |
907 |
881 |
6180429824 |
16700 |
apollon106 |
false(unreach-call) |
65.4 |
32.7 |
2740805632 |
684 |
apollon030 |
unknown |
.0120 |
.0146 |
884736 |
.0100 |
apollon017 |
reducercommutativity/avg60_true-unreach-call.i |
timeout |
905 |
870 |
4791533568 |
10500 |
apollon015 |
unknown |
101 |
70.1 |
3723132928 |
1230 |
apollon007 |
unknown |
923 |
872 |
3182559232 |
9850 |
apollon089 |
reducercommutativity/avg_true-unreach-call_true-termination.i |
timeout |
903 |
580 |
4347002880 |
7220 |
apollon074 |
unknown |
101 |
70.6 |
4207607808 |
984 |
apollon040 |
unknown |
94.7 |
81.9 |
3508686848 |
898 |
apollon102 |
reducercommutativity/max05_true-unreach-call_true-termination.i |
timeout |
912 |
905 |
1580228608 |
10100 |
apollon137 |
unknown |
101 |
82.2 |
1129910272 |
796 |
apollon101 |
true |
315 |
296 |
1339412480 |
3660 |
apollon144 |
reducercommutativity/max10_true-unreach-call_true-termination.i |
timeout |
902 |
881 |
2438049792 |
8010 |
apollon136 |
unknown |
102 |
81.1 |
1571536896 |
1150 |
apollon085 |
unknown |
910 |
541 |
2316963840 |
8250 |
apollon144 |
reducercommutativity/max20_true-unreach-call.i |
timeout |
903 |
878 |
2794983424 |
9360 |
apollon163 |
unknown |
102 |
59.7 |
3975331840 |
1160 |
apollon160 |
unknown |
912 |
541 |
2514268160 |
9390 |
apollon112 |
reducercommutativity/max40_true-unreach-call.i |
timeout |
903 |
872 |
2506625024 |
8680 |
apollon117 |
false(unreach-call) |
65.6 |
33.5 |
2954465280 |
555 |
apollon158 |
unknown |
.00951 |
.00943 |
913408 |
.0143 |
apollon088 |
reducercommutativity/max60_true-unreach-call.i |
timeout |
904 |
860 |
4002664448 |
10100 |
apollon121 |
unknown |
101 |
70.4 |
3720253440 |
1150 |
apollon052 |
unknown |
1.83 |
.803 |
180494336 |
16.9 |
apollon142 |
reducercommutativity/max_true-unreach-call_true-termination.i |
segmentation fault |
121 |
113 |
2244321280 |
1340 |
apollon109 |
unknown |
101 |
78.1 |
3196026880 |
1100 |
apollon162 |
unknown |
913 |
538 |
5023293440 |
9650 |
apollon049 |
reducercommutativity/sep05_true-unreach-call_true-termination.i |
true |
851 |
802 |
1488228352 |
10200 |
apollon090 |
unknown |
101 |
73.4 |
3047858176 |
879 |
apollon076 |
true |
293 |
236 |
4013395968 |
3590 |
apollon048 |
reducercommutativity/sep10_true-unreach-call.i |
timeout |
902 |
530 |
4832186368 |
8250 |
apollon158 |
unknown |
101 |
79.6 |
2550169600 |
1090 |
apollon045 |
true |
367 |
317 |
1334046720 |
4430 |
apollon008 |
reducercommutativity/sep20_true-unreach-call.i |
timeout |
903 |
594 |
3199451136 |
8880 |
apollon152 |
unknown |
101 |
38.3 |
3863842816 |
771 |
apollon005 |
true |
922 |
624 |
2568613888 |
7580 |
apollon053 |
reducercommutativity/sep40_true-unreach-call.i |
timeout |
903 |
597 |
4117426176 |
7800 |
apollon158 |
false(unreach-call) |
68.5 |
36.4 |
3073941504 |
653 |
apollon107 |
unknown |
.0250 |
.0297 |
860160 |
.00873 |
apollon054 |
reducercommutativity/sep60_true-unreach-call.i |
timeout |
903 |
592 |
4312530944 |
9400 |
apollon086 |
unknown |
101 |
68.4 |
3695423488 |
1020 |
apollon002 |
unknown |
912 |
600 |
5279969280 |
8730 |
apollon003 |
reducercommutativity/sep_true-unreach-call_true-termination.i |
timeout |
902 |
601 |
2700685312 |
7340 |
apollon063 |
unknown |
101 |
70.5 |
3884142592 |
1100 |
apollon018 |
timeout |
951 |
577 |
2058248192 |
11200 |
apollon091 |
reducercommutativity/sum05_true-unreach-call_true-termination.i |
timeout |
902 |
890 |
3818348544 |
11500 |
apollon126 |
unknown |
101 |
80.1 |
3679051776 |
1130 |
apollon086 |
true |
406 |
394 |
1062764544 |
5210 |
apollon068 |
reducercommutativity/sum10_true-unreach-call_true-termination.i |
timeout |
902 |
886 |
2004377600 |
10900 |
apollon004 |
unknown |
101 |
70.7 |
4019585024 |
1120 |
apollon071 |
unknown |
905 |
886 |
1620946944 |
10300 |
apollon051 |
reducercommutativity/sum20_true-unreach-call.i |
timeout |
906 |
881 |
6794997760 |
9130 |
apollon156 |
unknown |
101 |
62.1 |
2938724352 |
817 |
apollon092 |
unknown |
906 |
882 |
3624787968 |
10200 |
apollon009 |
reducercommutativity/sum40_true-unreach-call.i |
timeout |
906 |
873 |
5736333312 |
9370 |
apollon023 |
false(unreach-call) |
62.7 |
31.0 |
2867589120 |
603 |
apollon120 |
unknown |
.0151 |
.0156 |
851968 |
.00000 |
apollon101 |
reducercommutativity/sum60_true-unreach-call.i |
timeout |
906 |
866 |
6486110208 |
9920 |
apollon104 |
unknown |
101 |
71.0 |
3711438848 |
1110 |
apollon162 |
unknown |
919 |
867 |
2962759680 |
9770 |
apollon040 |
reducercommutativity/sum_true-unreach-call_true-termination.i |
timeout |
904 |
576 |
4300279808 |
9410 |
apollon085 |
unknown |
101 |
76.1 |
3641413632 |
1170 |
apollon038 |
unknown |
908 |
532 |
5862866944 |
11300 |
apollon057 |
array-tiling/mlceu_false-unreach-call.i |
timeout |
906 |
538 |
3493224448 |
9450 |
apollon030 |
unknown |
3.63 |
1.50 |
282714112 |
31.9 |
apollon084 |
unknown |
908 |
607 |
4005146624 |
10700 |
apollon140 |
array-tiling/skippedu_false-unreach-call.i |
false(unreach-call) |
3.41 |
1.49 |
294465536 |
31.1 |
apollon071 |
false(unreach-call) |
3.63 |
1.44 |
288727040 |
31.1 |
apollon026 |
unknown |
.0131 |
.0137 |
798720 |
.00922 |
apollon129 |
array-tiling/mbpr2_true-unreach-call.i |
timeout |
904 |
531 |
6391689216 |
8340 |
apollon110 |
unknown |
101 |
67.8 |
3743059968 |
1150 |
apollon081 |
unknown |
908 |
600 |
5874450432 |
7370 |
apollon063 |
array-tiling/mbpr3_true-unreach-call.i |
timeout |
904 |
526 |
5946466304 |
9600 |
apollon147 |
unknown |
101 |
65.5 |
3797508096 |
1140 |
apollon007 |
unknown |
911 |
598 |
5680558080 |
9850 |
apollon113 |
array-tiling/mbpr4_true-unreach-call.i |
timeout |
911 |
528 |
5227737088 |
9420 |
apollon053 |
unknown |
101 |
68.1 |
3704430592 |
958 |
apollon151 |
unknown |
909 |
600 |
5058686976 |
10800 |
apollon010 |
array-tiling/mbpr5_true-unreach-call.i |
timeout |
910 |
528 |
5244026880 |
9630 |
apollon157 |
unknown |
101 |
72.4 |
3754287104 |
1260 |
apollon014 |
unknown |
1.81 |
.805 |
175595520 |
19.2 |
apollon008 |
array-tiling/nr2_true-unreach-call.i |
timeout |
904 |
535 |
6907129856 |
8190 |
apollon035 |
unknown |
101 |
69.6 |
3708661760 |
1020 |
apollon042 |
unknown |
905 |
603 |
4101320704 |
9770 |
apollon142 |
array-tiling/nr3_true-unreach-call.i |
timeout |
904 |
536 |
6767374336 |
7630 |
apollon131 |
unknown |
101 |
72.0 |
3858083840 |
1190 |
apollon167 |
unknown |
906 |
607 |
3544145920 |
9840 |
apollon059 |
array-tiling/nr4_true-unreach-call.i |
timeout |
902 |
536 |
6493237248 |
10800 |
apollon057 |
unknown |
101 |
69.1 |
3838636032 |
1040 |
apollon034 |
unknown |
906 |
607 |
4394872832 |
8650 |
apollon055 |
array-tiling/nr5_true-unreach-call.i |
timeout |
904 |
541 |
6749675520 |
8090 |
apollon075 |
unknown |
101 |
64.7 |
3552428032 |
894 |
apollon158 |
unknown |
905 |
604 |
4478885888 |
9150 |
apollon095 |
array-tiling/pnr2_true-unreach-call.i |
timeout |
904 |
536 |
1866166272 |
8030 |
apollon154 |
unknown |
101 |
70.1 |
3902996480 |
1130 |
apollon146 |
unknown |
905 |
605 |
2465017856 |
9100 |
apollon047 |
array-tiling/pnr3_true-unreach-call.i |
timeout |
903 |
537 |
1955848192 |
8200 |
apollon129 |
unknown |
101 |
61.8 |
4284567552 |
1070 |
apollon091 |
unknown |
905 |
577 |
2550992896 |
9040 |
apollon068 |
array-tiling/pnr4_true-unreach-call.i |
timeout |
903 |
537 |
2121826304 |
8110 |
apollon004 |
unknown |
101 |
65.1 |
4213096448 |
1030 |
apollon146 |
unknown |
905 |
578 |
2483920896 |
7960 |
apollon025 |
array-tiling/pnr5_true-unreach-call.i |
timeout |
903 |
536 |
1831239680 |
8410 |
apollon147 |
unknown |
105 |
58.6 |
4311687168 |
965 |
apollon082 |
unknown |
905 |
579 |
2592813056 |
8670 |
apollon072 |
array-tiling/poly1_true-unreach-call.i |
timeout |
908 |
542 |
5498830848 |
8470 |
apollon082 |
unknown |
101 |
75.9 |
2480005120 |
992 |
apollon079 |
unknown |
906 |
611 |
5017505792 |
8590 |
apollon079 |
array-tiling/poly2_true-unreach-call.i |
timeout |
903 |
538 |
3543138304 |
7700 |
apollon141 |
unknown |
101 |
70.5 |
3057106944 |
999 |
apollon002 |
unknown |
906 |
608 |
4413906944 |
9590 |
apollon125 |
array-tiling/pr2_true-unreach-call.i |
timeout |
902 |
537 |
1616674816 |
8060 |
apollon017 |
unknown |
101 |
71.5 |
3607281664 |
1170 |
apollon164 |
unknown |
905 |
605 |
2143178752 |
8460 |
apollon058 |
array-tiling/pr3_true-unreach-call.i |
timeout |
902 |
538 |
1896771584 |
9510 |
apollon161 |
unknown |
101 |
76.4 |
3561402368 |
1100 |
apollon079 |
unknown |
907 |
604 |
2824597504 |
7430 |
apollon123 |
array-tiling/pr4_true-unreach-call.i |
timeout |
903 |
534 |
2269433856 |
7440 |
apollon045 |
unknown |
101 |
72.8 |
3111403520 |
1090 |
apollon078 |
unknown |
907 |
604 |
2318180352 |
8060 |
apollon037 |
array-tiling/pr5_true-unreach-call.i |
timeout |
903 |
536 |
1550168064 |
8560 |
apollon121 |
unknown |
101 |
76.9 |
3330641920 |
1260 |
apollon019 |
unknown |
906 |
604 |
2398334976 |
9500 |
apollon070 |
array-tiling/revcpyswp2_true-unreach-call.i |
timeout |
910 |
536 |
5687287808 |
8330 |
apollon025 |
unknown |
101 |
75.9 |
3419410432 |
1100 |
apollon086 |
unknown |
914 |
577 |
4421197824 |
9700 |
apollon010 |
array-tiling/rew_true-unreach-call.i |
timeout |
903 |
539 |
3414528000 |
9610 |
apollon006 |
unknown |
102 |
68.0 |
3862368256 |
1050 |
apollon058 |
unknown |
904 |
579 |
3607666688 |
9610 |
apollon011 |
array-tiling/rewnif_true-unreach-call.i |
timeout |
904 |
539 |
4531326976 |
9530 |
apollon030 |
unknown |
101 |
71.0 |
3374350336 |
1250 |
apollon044 |
unknown |
906 |
608 |
3056328704 |
8860 |
apollon126 |
array-tiling/rewnifrev2_true-unreach-call.i |
timeout |
952 |
561 |
4862128128 |
9360 |
apollon101 |
unknown |
101 |
74.7 |
2781618176 |
1150 |
apollon095 |
unknown |
904 |
581 |
3291021312 |
7970 |
apollon045 |
array-tiling/rewnifrev_true-unreach-call.i |
timeout |
951 |
575 |
5173338112 |
11600 |
apollon044 |
unknown |
101 |
76.7 |
2974679040 |
1130 |
apollon119 |
timeout |
951 |
619 |
6011043840 |
8000 |
apollon029 |
array-tiling/rewrev_true-unreach-call.i |
timeout |
952 |
563 |
4829425664 |
9300 |
apollon096 |
unknown |
101 |
77.2 |
2405355520 |
1040 |
apollon151 |
unknown |
905 |
581 |
3224899584 |
10300 |
apollon112 |
array-tiling/skipped_true-unreach-call.i |
timeout |
902 |
538 |
1323495424 |
7970 |
apollon078 |
unknown |
101 |
66.6 |
4037947392 |
1020 |
apollon032 |
unknown |
904 |
581 |
2857914368 |
8510 |
apollon137 |
array-tiling/tcpy_true-unreach-call.i |
timeout |
903 |
539 |
2589323264 |
7300 |
apollon037 |
unknown |
101 |
71.5 |
3962458112 |
1260 |
apollon161 |
unknown |
904 |
580 |
2957488128 |
8280 |
apollon067 |
array-programs/copysome1_false-unreach-call.i |
timeout |
901 |
866 |
2222747648 |
12000 |
apollon061 |
unknown |
2.65 |
1.04 |
291065856 |
24.0 |
apollon077 |
unknown |
903 |
867 |
2224476160 |
11500 |
apollon075 |
array-programs/copysome2_false-unreach-call.i |
timeout |
901 |
864 |
2220945408 |
13100 |
apollon122 |
unknown |
2.45 |
1.04 |
270254080 |
20.2 |
apollon099 |
unknown |
903 |
865 |
2220081152 |
12600 |
apollon124 |
array-programs/copysome1_true-unreach-call.i |
timeout |
901 |
863 |
2251599872 |
12700 |
apollon010 |
unknown |
2.71 |
1.05 |
290291712 |
23.2 |
apollon034 |
unknown |
903 |
866 |
1356800000 |
10900 |
apollon013 |
array-programs/copysome2_true-unreach-call.i |
timeout |
901 |
863 |
1378013184 |
11000 |
apollon116 |
unknown |
2.42 |
1.05 |
268816384 |
20.6 |
apollon127 |
unknown |
903 |
866 |
2226630656 |
11100 |
apollon025 |
bitvector/byte_add_false-unreach-call_true-no-overflow_true-termination.i |
false(unreach-call) |
75.8 |
65.0 |
1778540544 |
1030 |
apollon057 |
unknown |
5.26 |
1.83 |
301273088 |
44.9 |
apollon165 |
false(unreach-call) |
10.5 |
3.42 |
332632064 |
87.0 |
apollon017 |
bitvector/sum02_false-unreach-call_true-no-overflow.i |
timeout |
903 |
533 |
4151357440 |
8520 |
apollon027 |
unknown |
3.52 |
1.47 |
280109056 |
30.1 |
apollon082 |
unknown |
909 |
537 |
7636267008 |
9510 |
apollon019 |
bitvector/byte_add_1_true-unreach-call_true-no-overflow_true-termination.i |
true |
69.6 |
60.3 |
1925705728 |
771 |
apollon050 |
unknown |
6.03 |
2.09 |
319234048 |
51.7 |
apollon091 |
true |
12.6 |
4.90 |
395612160 |
117 |
apollon136 |
bitvector/byte_add_2_true-unreach-call_true-no-overflow_true-termination.i |
true |
23.9 |
15.5 |
927649792 |
242 |
apollon074 |
unknown |
5.73 |
1.89 |
317952000 |
52.7 |
apollon126 |
true |
12.7 |
5.10 |
414298112 |
101 |
apollon092 |
bitvector/gcd_1_true-unreach-call_true-no-overflow.i |
true |
6.44 |
4.68 |
284463104 |
67.3 |
apollon062 |
unknown |
4.10 |
1.51 |
304193536 |
33.4 |
apollon079 |
true |
11.0 |
7.67 |
294752256 |
119 |
apollon168 |
bitvector/gcd_2_true-unreach-call_true-no-overflow.i |
true |
7.11 |
5.22 |
276652032 |
79.7 |
apollon031 |
true |
3.46 |
1.37 |
273186816 |
31.5 |
apollon112 |
unknown |
.0148 |
.0146 |
872448 |
.00659 |
apollon035 |
bitvector/gcd_3_true-unreach-call_true-no-overflow.i |
true |
154 |
152 |
313110528 |
1990 |
apollon033 |
unknown |
3.62 |
1.47 |
288235520 |
31.8 |
apollon076 |
true |
33.7 |
30.3 |
294277120 |
451 |
apollon047 |
bitvector/gcd_4_true-unreach-call_true-no-overflow_true-termination.i |
true |
2.32 |
.985 |
237850624 |
22.5 |
apollon094 |
unknown |
5.16 |
1.76 |
313200640 |
44.6 |
apollon156 |
true |
5.03 |
1.94 |
257871872 |
47.6 |
apollon148 |
bitvector/interleave_bits_true-unreach-call_true-no-overflow.i |
true |
6.88 |
3.01 |
406466560 |
62.7 |
apollon038 |
unknown |
7.33 |
2.28 |
452468736 |
62.2 |
apollon126 |
true |
6.15 |
2.43 |
286031872 |
59.5 |
apollon007 |
bitvector/jain_1_true-unreach-call_true-no-overflow_false-termination.i |
true |
2.81 |
1.18 |
271212544 |
27.8 |
apollon161 |
true |
2.84 |
1.19 |
277032960 |
29.1 |
apollon021 |
unknown |
.0101 |
.00988 |
831488 |
.00848 |
apollon155 |
bitvector/jain_2_true-unreach-call_true-no-overflow_false-termination.i |
true |
2.81 |
1.20 |
269062144 |
27.4 |
apollon130 |
true |
3.21 |
1.20 |
293670912 |
27.2 |
apollon022 |
unknown |
.0101 |
.00994 |
835584 |
.00922 |
apollon027 |
bitvector/jain_4_true-unreach-call_true-no-overflow_false-termination.i |
true |
3.01 |
1.31 |
275267584 |
24.0 |
apollon098 |
true |
3.11 |
1.25 |
274595840 |
27.2 |
apollon005 |
unknown |
.0176 |
.0205 |
753664 |
.00745 |
apollon061 |
bitvector/jain_5_true-unreach-call_true-no-overflow.i |
timeout |
906 |
608 |
8331927552 |
8530 |
apollon150 |
unknown |
101 |
80.7 |
2778210304 |
1220 |
apollon052 |
unknown |
913 |
612 |
6437007360 |
9650 |
apollon031 |
bitvector/jain_6_true-unreach-call_true-no-overflow_false-termination.i |
true |
2.94 |
1.23 |
269365248 |
25.0 |
apollon050 |
true |
3.31 |
1.25 |
294891520 |
25.6 |
apollon054 |
unknown |
.0127 |
.0125 |
811008 |
.00427 |
apollon014 |
bitvector/jain_7_true-unreach-call_true-no-overflow_false-termination.i |
true |
4.47 |
2.78 |
278818816 |
45.8 |
apollon147 |
true |
2.84 |
1.18 |
274214912 |
26.8 |
apollon022 |
unknown |
.0106 |
.0121 |
864256 |
.00952 |
apollon156 |
bitvector/modulus_true-unreach-call_true-no-overflow.i |
true |
228 |
212 |
1587814400 |
3100 |
apollon059 |
unknown |
3.14 |
1.31 |
277803008 |
27.8 |
apollon052 |
true |
8.86 |
5.87 |
280510464 |
88.1 |
apollon127 |
bitvector/num_conversion_1_true-unreach-call_true-no-overflow.i |
true |
2.25 |
.970 |
240730112 |
20.8 |
apollon067 |
unknown |
4.90 |
1.77 |
305999872 |
42.5 |
apollon167 |
true |
4.93 |
1.93 |
251711488 |
45.0 |
apollon064 |
bitvector/num_conversion_2_true-unreach-call_true-no-overflow.i |
true |
17.6 |
10.8 |
584572928 |
148 |
apollon054 |
unknown |
4.91 |
1.77 |
302903296 |
42.7 |
apollon032 |
true |
9.66 |
3.15 |
322662400 |
76.0 |
apollon157 |
bitvector/parity_true-unreach-call_true-no-overflow.i |
true |
118 |
112 |
729862144 |
1480 |
apollon165 |
unknown |
3.31 |
1.31 |
286834688 |
31.4 |
apollon014 |
true |
130 |
123 |
914243584 |
1830 |
apollon059 |
bitvector/sum02_true-unreach-call_true-no-overflow.i |
timeout |
904 |
533 |
6050807808 |
8420 |
apollon061 |
unknown |
3.50 |
1.45 |
281563136 |
34.3 |
apollon108 |
unknown |
911 |
537 |
10741538816 |
7890 |
apollon042 |
bitvector/s3_clnt_1_false-unreach-call_true-no-overflow.BV.c.cil.c |
false(unreach-call) |
8.52 |
2.63 |
457326592 |
71.9 |
apollon009 |
unknown |
10.6 |
3.08 |
467173376 |
93.6 |
apollon106 |
false(unreach-call) |
16.6 |
5.45 |
487952384 |
144 |
apollon097 |
bitvector/s3_clnt_2_false-unreach-call_true-no-overflow.BV.c.cil.c |
false(unreach-call) |
10.6 |
3.89 |
519278592 |
94.1 |
apollon112 |
unknown |
18.5 |
5.01 |
617021440 |
160 |
apollon168 |
false(unreach-call) |
39.9 |
21.6 |
1314594816 |
365 |
apollon150 |
bitvector/s3_clnt_3_false-unreach-call_true-no-overflow.BV.c.cil.c |
false(unreach-call) |
6.69 |
1.97 |
330534912 |
55.9 |
apollon077 |
unknown |
7.04 |
2.21 |
388128768 |
58.5 |
apollon120 |
false(unreach-call) |
13.6 |
4.15 |
374702080 |
99.2 |
apollon054 |
bitvector/s3_clnt_1_true-unreach-call_true-no-overflow.BV.c.cil.c |
true |
21.0 |
14.5 |
1595949056 |
225 |
apollon061 |
unknown |
14.2 |
4.01 |
500178944 |
106 |
apollon121 |
true |
25.0 |
12.4 |
1301934080 |
216 |
apollon134 |
bitvector/s3_clnt_2_true-unreach-call_true-no-overflow.BV.c.cil.c |
true |
19.3 |
13.2 |
1499021312 |
219 |
apollon059 |
unknown |
24.2 |
6.77 |
833982464 |
199 |
apollon102 |
true |
25.1 |
10.8 |
1344036864 |
240 |
apollon007 |
bitvector/s3_clnt_3_true-unreach-call_true-no-overflow.BV.c.cil.c |
true |
21.8 |
14.7 |
2153934848 |
236 |
apollon091 |
unknown |
101 |
77.4 |
3071184896 |
984 |
apollon100 |
true |
26.4 |
16.4 |
1532821504 |
282 |
apollon146 |
bitvector/s3_srvr_1_alt_true-unreach-call_true-no-overflow.BV.c.cil.c |
timeout |
905 |
548 |
4191834112 |
8990 |
apollon119 |
unknown |
101 |
75.1 |
2657251328 |
1170 |
apollon070 |
unknown |
909 |
577 |
2519584768 |
10800 |
apollon014 |
bitvector/s3_srvr_1_true-unreach-call_true-no-overflow.BV.c.cil.c |
true |
26.6 |
19.0 |
2279071744 |
331 |
apollon039 |
true |
31.1 |
8.45 |
977502208 |
229 |
apollon029 |
unknown |
.0112 |
.0109 |
962560 |
.0132 |
apollon144 |
bitvector/s3_srvr_2_alt_true-unreach-call_true-no-overflow_false-termination.BV.c.cil.c |
true |
94.1 |
84.1 |
2322952192 |
1100 |
apollon131 |
true |
41.9 |
18.5 |
1371332608 |
409 |
apollon020 |
unknown |
.0142 |
.0138 |
1007616 |
.00751 |
apollon166 |
bitvector/s3_srvr_2_true-unreach-call_true-no-overflow_false-termination.BV.c.cil.c |
true |
94.2 |
84.6 |
2319708160 |
972 |
apollon054 |
true |
42.8 |
18.2 |
1405607936 |
402 |
apollon168 |
unknown |
.00970 |
.00952 |
933888 |
.00855 |
apollon141 |
bitvector/s3_srvr_3_alt_true-unreach-call_true-no-overflow.BV.c.cil.c |
true |
26.2 |
18.6 |
2289459200 |
274 |
apollon150 |
true |
19.0 |
5.09 |
630145024 |
168 |
apollon030 |
unknown |
.0150 |
.0143 |
1081344 |
.0156 |
apollon004 |
bitvector/s3_srvr_3_true-unreach-call_true-no-overflow.BV.c.cil.c |
true |
26.2 |
19.1 |
2282475520 |
424 |
apollon106 |
true |
62.0 |
33.8 |
2281033728 |
700 |
apollon161 |
unknown |
.00978 |
.0109 |
962560 |
.0115 |
apollon090 |
bitvector/soft_float_1_true-unreach-call_true-no-overflow_true-termination.c.cil.c |
true |
11.7 |
6.07 |
375234560 |
117 |
apollon052 |
unknown |
4.80 |
1.77 |
296083456 |
38.6 |
apollon100 |
true |
11.8 |
5.13 |
310902784 |
111 |
apollon162 |
bitvector/soft_float_2_true-unreach-call_true-no-overflow_true-termination.c.cil.c |
true |
115 |
100 |
1207635968 |
1400 |
apollon147 |
unknown |
7.53 |
2.34 |
446177280 |
63.2 |
apollon156 |
true |
29.3 |
15.0 |
693014528 |
285 |
apollon153 |
bitvector/soft_float_3_true-unreach-call_true-no-overflow_true-termination.c.cil.c |
true |
101 |
87.7 |
1233477632 |
1210 |
apollon105 |
unknown |
7.39 |
2.33 |
444780544 |
63.0 |
apollon091 |
out of memory |
188 |
173 |
14999998464 |
2560 |
apollon077 |
bitvector/soft_float_4_true-unreach-call_true-no-overflow_true-termination.c.cil.c |
true |
201 |
196 |
360902656 |
2970 |
apollon080 |
unknown |
4.21 |
1.68 |
290402304 |
37.0 |
apollon076 |
true |
81.5 |
75.9 |
344145920 |
1020 |
apollon156 |
bitvector/soft_float_5_true-unreach-call_true-no-overflow_true-termination.c.cil.c |
true |
115 |
98.7 |
1252323328 |
1270 |
apollon104 |
unknown |
7.36 |
2.33 |
447238144 |
64.9 |
apollon077 |
true |
28.7 |
14.5 |
644681728 |
277 |
apollon085 |
bitvector-regression/implicitfloatconversion_false-unreach-call_true-termination.c |
false(unreach-call) |
2.49 |
1.04 |
264626176 |
22.0 |
apollon070 |
false(unreach-call) |
3.23 |
1.23 |
296452096 |
32.6 |
apollon039 |
unknown |
.0134 |
.0157 |
843776 |
.00525 |
apollon088 |
bitvector-regression/implicitunsignedconversion_false-unreach-call_true-termination.c |
false(unreach-call) |
2.60 |
1.05 |
258981888 |
23.9 |
apollon112 |
true |
2.45 |
1.06 |
268267520 |
24.7 |
apollon016 |
unknown |
.0145 |
.0156 |
868352 |
.00848 |
apollon164 |
bitvector-regression/integerpromotion_false-unreach-call_true-termination.c |
false(unreach-call) |
2.42 |
1.00 |
255692800 |
20.9 |
apollon026 |
false(unreach-call) |
2.79 |
1.23 |
275443712 |
27.6 |
apollon148 |
unknown |
.00817 |
.0101 |
888832 |
.0110 |
apollon050 |
bitvector-regression/recHanoi03_false-unreach-call_true-termination.c |
false(unreach-call) |
3.36 |
1.35 |
303345664 |
29.4 |
apollon142 |
unknown |
2.53 |
1.10 |
267939840 |
22.0 |
apollon011 |
unknown |
1.93 |
.825 |
180555776 |
17.8 |
apollon150 |
bitvector-regression/signextension2_false-unreach-call_true-termination.c |
false(unreach-call) |
2.73 |
1.07 |
255885312 |
24.9 |
apollon057 |
true |
2.60 |
1.09 |
270381056 |
25.6 |
apollon016 |
unknown |
.00980 |
.00963 |
843776 |
.0112 |
apollon095 |
bitvector-regression/signextension_false-unreach-call_true-termination.c |
false(unreach-call) |
2.49 |
1.05 |
256708608 |
24.2 |
apollon108 |
true |
2.55 |
1.09 |
272834560 |
26.6 |
apollon021 |
unknown |
.0140 |
.0138 |
765952 |
.0105 |
apollon005 |
bitvector-regression/implicitunsignedconversion_true-unreach-call_true-termination.c |
true |
2.43 |
.963 |
252104704 |
21.9 |
apollon163 |
unknown |
2.94 |
1.28 |
276406272 |
26.1 |
apollon121 |
true |
4.27 |
1.76 |
246820864 |
37.1 |
apollon157 |
bitvector-regression/integerpromotion_true-unreach-call_true-termination.c |
true |
2.29 |
.929 |
250339328 |
20.4 |
apollon061 |
unknown |
2.80 |
1.24 |
278286336 |
24.4 |
apollon127 |
true |
4.33 |
1.82 |
249393152 |
39.4 |
apollon162 |
bitvector-regression/signextension2_true-unreach-call_true-termination.c |
true |
2.38 |
.956 |
247525376 |
19.6 |
apollon073 |
unknown |
3.10 |
1.31 |
285671424 |
30.7 |
apollon126 |
true |
4.29 |
1.77 |
249163776 |
38.5 |
apollon011 |
bitvector-regression/signextension_true-unreach-call_true-termination.c |
true |
2.33 |
.925 |
251621376 |
20.6 |
apollon065 |
unknown |
3.12 |
1.31 |
275988480 |
31.3 |
apollon111 |
true |
4.41 |
1.83 |
252669952 |
36.5 |
apollon123 |
bitvector-loops/diamond_false-unreach-call2.i |
false(unreach-call) |
2.95 |
1.18 |
257839104 |
30.0 |
apollon056 |
true |
6.60 |
2.03 |
440332288 |
58.7 |
apollon081 |
unknown |
.0108 |
.0107 |
892928 |
.00000 |
apollon113 |
bitvector-loops/overflow_false-unreach-call1.i |
timeout |
906 |
609 |
8201175040 |
9670 |
apollon018 |
true |
2.82 |
1.12 |
290009088 |
25.1 |
apollon052 |
unknown |
.0134 |
.0139 |
851968 |
.0106 |
apollon026 |
bitvector-loops/verisec_sendmail__tTflag_arr_one_loop_false-unreach-call_true-termination.i |
false(unreach-call) |
212 |
204 |
754663424 |
2340 |
apollon029 |
true |
2.88 |
1.25 |
270974976 |
25.6 |
apollon012 |
unknown |
.0110 |
.0111 |
921600 |
.00732 |
apollon060 |
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c |
false(unreach-call) |
7.71 |
2.18 |
347463680 |
66.4 |
apollon091 |
false(unreach-call) |
10.5 |
2.91 |
467931136 |
92.6 |
apollon160 |
unknown |
.0109 |
.0133 |
946176 |
.0170 |
apollon006 |
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c |
false(unreach-call) |
8.43 |
2.39 |
352362496 |
72.7 |
apollon155 |
false(unreach-call) |
7.84 |
2.35 |
439459840 |
64.1 |
apollon156 |
unknown |
.0109 |
.0107 |
909312 |
.0135 |
apollon165 |
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c |
false(unreach-call) |
8.65 |
2.48 |
352763904 |
70.0 |
apollon053 |
false(unreach-call) |
8.41 |
2.46 |
459096064 |
66.6 |
apollon095 |
unknown |
.0127 |
.0123 |
970752 |
.00824 |
apollon097 |
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c |
false(unreach-call) |
5.37 |
1.69 |
297033728 |
44.1 |
apollon144 |
false(unreach-call) |
6.15 |
2.02 |
326635520 |
49.7 |
apollon025 |
unknown |
.0150 |
.0146 |
794624 |
.0116 |
apollon043 |
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c |
true |
7.53 |
2.12 |
340082688 |
53.2 |
apollon099 |
true |
8.90 |
2.66 |
453758976 |
68.8 |
apollon157 |
unknown |
.00613 |
.0102 |
884736 |
.00696 |
apollon078 |
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c |
true |
99.8 |
89.3 |
1272823808 |
1340 |
apollon108 |
true |
7.15 |
2.11 |
430432256 |
59.3 |
apollon112 |
unknown |
.0111 |
.0109 |
983040 |
.00806 |
apollon022 |
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c |
true |
7.15 |
2.03 |
343937024 |
55.3 |
apollon071 |
true |
5.99 |
1.94 |
332750848 |
50.8 |
apollon070 |
unknown |
.0139 |
.0153 |
856064 |
.0117 |
apollon087 |
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c |
true |
8.14 |
2.55 |
354537472 |
65.7 |
apollon093 |
true |
7.36 |
2.23 |
406474752 |
63.9 |
apollon022 |
unknown |
.0286 |
.0306 |
897024 |
.00775 |
apollon108 |
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c |
true |
3.43 |
1.22 |
264134656 |
29.0 |
apollon090 |
true |
3.63 |
1.40 |
280764416 |
35.6 |
apollon126 |
unknown |
.0135 |
.0129 |
892928 |
.00000 |
apollon003 |
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c |
true |
4.32 |
1.43 |
274059264 |
37.1 |
apollon118 |
true |
4.60 |
1.58 |
281321472 |
39.3 |
apollon146 |
unknown |
.0117 |
.0121 |
831488 |
.00391 |
apollon064 |
ssh-simplified/s3_clnt_1_false-unreach-call_true-termination.cil.c |
false(unreach-call) |
6.59 |
1.91 |
315392000 |
55.1 |
apollon159 |
false(unreach-call) |
9.16 |
2.75 |
455581696 |
75.9 |
apollon051 |
unknown |
.0155 |
.0159 |
872448 |
.00720 |
apollon150 |
ssh-simplified/s3_clnt_2_false-unreach-call_true-termination.cil.c |
false(unreach-call) |
6.37 |
1.92 |
295391232 |
46.5 |
apollon149 |
false(unreach-call) |
8.52 |
2.48 |
452268032 |
66.7 |
apollon018 |
unknown |
.0136 |
.0130 |
1003520 |
.00708 |
apollon104 |
ssh-simplified/s3_clnt_3_false-unreach-call_true-termination.cil.c |
false(unreach-call) |
6.80 |
2.05 |
299261952 |
53.6 |
apollon071 |
false(unreach-call) |
9.85 |
2.84 |
453873664 |
91.4 |
apollon021 |
unknown |
.0103 |
.0116 |
983040 |
.00000 |
apollon107 |
ssh-simplified/s3_clnt_4_false-unreach-call_true-termination.cil.c |
false(unreach-call) |
6.01 |
1.78 |
309264384 |
48.2 |
apollon084 |
false(unreach-call) |
8.96 |
2.59 |
457687040 |
76.4 |
apollon047 |
unknown |
.0133 |
.0138 |
888832 |
.0146 |
apollon112 |
ssh-simplified/s3_srvr_10_false-unreach-call_false-termination.cil.c |
false(unreach-call) |
12.5 |
5.91 |
747458560 |
109 |
apollon104 |
false(unreach-call) |
4.35 |
1.63 |
290156544 |
37.2 |
apollon026 |
unknown |
.0128 |
.0128 |
987136 |
.00915 |
apollon097 |
ssh-simplified/s3_srvr_11_false-unreach-call_false-termination.cil.c |
false(unreach-call) |
122 |
110 |
2283266048 |
1520 |
apollon052 |
unknown |
49.7 |
19.2 |
1668919296 |
479 |
apollon125 |
unknown |
15.0 |
5.97 |
559562752 |
140 |
apollon065 |
ssh-simplified/s3_srvr_12_false-unreach-call_false-termination.cil.c |
false(unreach-call) |
122 |
107 |
2296795136 |
1610 |
apollon094 |
unknown |
60.7 |
34.1 |
1772802048 |
619 |
apollon009 |
timeout |
951 |
921 |
4876238848 |
9730 |
apollon038 |
ssh-simplified/s3_srvr_13_false-unreach-call_false-termination.cil.c |
false(unreach-call) |
115 |
101 |
2290978816 |
1490 |
apollon028 |
false(unreach-call) |
9.78 |
2.78 |
483901440 |
73.5 |
apollon053 |
unknown |
.0202 |
.0210 |
978944 |
.00470 |
apollon109 |
ssh-simplified/s3_srvr_14_false-unreach-call_false-termination.cil.c |
false(unreach-call) |
46.1 |
33.1 |
2288668672 |
450 |
apollon143 |
false(unreach-call) |
7.83 |
2.35 |
419213312 |
58.0 |
apollon098 |
unknown |
.0287 |
.0290 |
909312 |
.00543 |
apollon074 |
ssh-simplified/s3_srvr_1_false-unreach-call_false-termination.cil.c |
false(unreach-call) |
5.22 |
1.63 |
274120704 |
42.1 |
apollon097 |
false(unreach-call) |
6.74 |
2.12 |
351375360 |
60.0 |
apollon030 |
unknown |
.00725 |
.0105 |
925696 |
.00000 |
apollon168 |
ssh-simplified/s3_srvr_2_false-unreach-call_false-termination.cil.c |
false(unreach-call) |
4.88 |
1.58 |
278130688 |
39.3 |
apollon104 |
false(unreach-call) |
6.40 |
2.06 |
341139456 |
52.4 |
apollon042 |
unknown |
.0159 |
.0158 |
1003520 |
.00891 |
apollon160 |
ssh-simplified/s3_srvr_6_false-unreach-call_false-termination.cil.c |
false(unreach-call) |
3.02 |
1.21 |
255967232 |
25.0 |
apollon066 |
false(unreach-call) |
4.09 |
1.57 |
288546816 |
34.7 |
apollon070 |
unknown |
.0180 |
.0182 |
929792 |
.00647 |
apollon086 |
ssh-simplified/s3_clnt_1_true-unreach-call_true-termination.cil.c |
true |
19.6 |
12.0 |
1267056640 |
200 |
apollon070 |
true |
16.2 |
4.63 |
621895680 |
131 |
apollon127 |
unknown |
.00972 |
.00958 |
958464 |
.0151 |
apollon130 |
ssh-simplified/s3_clnt_2_true-unreach-call_true-termination.cil.c |
true |
20.9 |
12.3 |
1268535296 |
184 |
apollon040 |
true |
12.4 |
3.48 |
488386560 |
107 |
apollon111 |
unknown |
.0127 |
.0127 |
995328 |
.00708 |
apollon074 |
ssh-simplified/s3_clnt_3_true-unreach-call_true-termination.cil.c |
true |
22.6 |
14.0 |
1272123392 |
206 |
apollon043 |
true |
9.73 |
2.76 |
496414720 |
88.7 |
apollon111 |
unknown |
.0252 |
.0262 |
1019904 |
.00903 |
apollon043 |
ssh-simplified/s3_clnt_4_true-unreach-call_true-termination.cil.c |
true |
20.7 |
12.6 |
1259450368 |
222 |
apollon122 |
true |
18.1 |
4.97 |
612642816 |
134 |
apollon017 |
unknown |
.00963 |
.0103 |
905216 |
.00787 |
apollon095 |
ssh-simplified/s3_srvr_1_true-unreach-call_false-termination.cil.c |
true |
24.1 |
16.4 |
2263429120 |
229 |
apollon040 |
true |
41.7 |
18.1 |
1533001728 |
370 |
apollon133 |
unknown |
.0132 |
.0131 |
819200 |
.0109 |
apollon109 |
ssh-simplified/s3_srvr_1a_true-unreach-call_false-termination.cil.c |
true |
3.07 |
1.14 |
258174976 |
24.6 |
apollon123 |
true |
7.31 |
2.23 |
444444672 |
61.2 |
apollon167 |
unknown |
.0126 |
.0126 |
1081344 |
.0110 |
apollon105 |
ssh-simplified/s3_srvr_1b_true-unreach-call_false-termination.cil.c |
true |
2.42 |
.995 |
242536448 |
24.1 |
apollon081 |
true |
3.82 |
1.48 |
276803584 |
34.5 |
apollon022 |
unknown |
.0152 |
.0150 |
847872 |
.0102 |
apollon019 |
ssh-simplified/s3_srvr_2_true-unreach-call_false-termination.cil.c |
true |
26.0 |
17.0 |
1273061376 |
248 |
apollon079 |
true |
24.1 |
6.61 |
852000768 |
170 |
apollon100 |
unknown |
.0273 |
.0328 |
966656 |
.0148 |
apollon125 |
ssh-simplified/s3_srvr_3_true-unreach-call_false-termination.cil.c |
true |
23.8 |
16.2 |
2260074496 |
227 |
apollon043 |
true |
28.2 |
7.36 |
799481856 |
199 |
apollon117 |
unknown |
.0124 |
.0148 |
987136 |
.0220 |
apollon160 |
ssh-simplified/s3_srvr_4_true-unreach-call_false-termination.cil.c |
true |
24.3 |
16.1 |
2276724736 |
239 |
apollon062 |
true |
31.2 |
9.52 |
1082322944 |
248 |
apollon011 |
unknown |
.0150 |
.0147 |
876544 |
.00397 |
apollon038 |
ssh-simplified/s3_srvr_6_true-unreach-call_false-termination.cil.c |
true |
96.4 |
87.0 |
2293555200 |
1110 |
apollon156 |
unknown |
101 |
76.2 |
2603286528 |
1050 |
apollon167 |
true |
128 |
97.7 |
2102169600 |
1530 |
apollon155 |
ssh-simplified/s3_srvr_7_true-unreach-call_false-termination.cil.c |
true |
95.4 |
86.8 |
2303795200 |
1140 |
apollon118 |
true |
47.6 |
24.3 |
1600352256 |
450 |
apollon038 |
unknown |
.0118 |
.0116 |
1019904 |
.00891 |
apollon041 |
ssh-simplified/s3_srvr_8_true-unreach-call_false-termination.cil.c |
true |
24.8 |
16.6 |
2254262272 |
257 |
apollon162 |
true |
41.6 |
14.9 |
1357250560 |
335 |
apollon045 |
unknown |
.0199 |
.0194 |
991232 |
.00439 |
apollon093 |
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c |
false(unreach-call) |
93.6 |
86.9 |
1256615936 |
1290 |
apollon069 |
false(unreach-call) |
3.89 |
1.55 |
290488320 |
35.3 |
apollon118 |
unknown |
.00625 |
.0104 |
1052672 |
.0107 |
apollon118 |
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c |
false(unreach-call) |
93.4 |
87.4 |
1252225024 |
1080 |
apollon166 |
false(unreach-call) |
3.69 |
1.47 |
286932992 |
32.3 |
apollon085 |
unknown |
.00969 |
.00950 |
892928 |
.0108 |
apollon132 |
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c |
true |
26.7 |
19.8 |
2256191488 |
269 |
apollon012 |
true |
3.20 |
1.26 |
274280448 |
28.7 |
apollon004 |
unknown |
.0150 |
.0156 |
962560 |
.0197 |
apollon107 |
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c |
true |
86.9 |
78.3 |
2306621440 |
936 |
apollon139 |
true |
3.29 |
1.30 |
272015360 |
27.6 |
apollon051 |
unknown |
.0226 |
.0223 |
966656 |
.00543 |
apollon043 |
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c |
true |
154 |
143 |
2250362880 |
1840 |
apollon075 |
true |
3.20 |
1.26 |
276197376 |
29.6 |
apollon118 |
unknown |
.00925 |
.0127 |
937984 |
.0162 |
apollon021 |
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c |
true |
155 |
142 |
1444257792 |
2220 |
apollon030 |
true |
3.28 |
1.31 |
276688896 |
29.5 |
apollon004 |
unknown |
.0109 |
.0107 |
876544 |
.00873 |
apollon164 |
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c |
true |
155 |
142 |
1460006912 |
1830 |
apollon150 |
true |
3.31 |
1.34 |
275124224 |
28.9 |
apollon034 |
unknown |
.0251 |
.0258 |
913408 |
.00775 |
apollon089 |
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c |
true |
154 |
141 |
1467449344 |
1900 |
apollon102 |
true |
3.36 |
1.30 |
277331968 |
28.7 |
apollon026 |
unknown |
.0103 |
.0101 |
811008 |
.00000 |
apollon033 |
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c |
true |
3.17 |
1.15 |
261558272 |
24.8 |
apollon083 |
true |
2.82 |
1.18 |
271339520 |
25.1 |
apollon078 |
unknown |
.0113 |
.0158 |
1060864 |
.0161 |
apollon087 |
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c |
true |
3.73 |
1.30 |
270987264 |
33.6 |
apollon101 |
true |
2.83 |
1.18 |
267870208 |
24.6 |
apollon085 |
unknown |
.0114 |
.0111 |
897024 |
.0110 |
apollon045 |
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c |
true |
4.80 |
1.52 |
283516928 |
43.0 |
apollon093 |
true |
2.93 |
1.19 |
274169856 |
23.8 |
apollon043 |
unknown |
.0303 |
.0306 |
831488 |
.0168 |
apollon120 |
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c |
true |
7.31 |
2.43 |
436342784 |
68.8 |
apollon021 |
true |
3.00 |
1.21 |
271302656 |
28.6 |
apollon020 |
unknown |
.0184 |
.0180 |
995328 |
.00324 |
apollon011 |
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c |
true |
11.8 |
6.14 |
729989120 |
124 |
apollon167 |
true |
3.07 |
1.21 |
271044608 |
26.9 |
apollon087 |
unknown |
.0224 |
.0219 |
851968 |
.00763 |
apollon045 |
ntdrivers/cdaudio_false-unreach-call.i.cil.c |
false(unreach-call) |
52.6 |
38.7 |
2662572032 |
554 |
apollon115 |
unknown |
101 |
58.2 |
3856003072 |
984 |
apollon107 |
unknown |
931 |
591 |
5611409408 |
11000 |
apollon167 |
ntdrivers/diskperf_false-unreach-call.i.cil.c |
false(unreach-call) |
103 |
88.4 |
1779073024 |
1210 |
apollon090 |
false(unreach-call) |
11.5 |
3.08 |
487526400 |
99.5 |
apollon161 |
unknown |
.00864 |
.0119 |
905216 |
.0122 |
apollon151 |
ntdrivers/floppy_false-unreach-call.i.cil.c |
false(unreach-call) |
15.0 |
5.25 |
666996736 |
128 |
apollon015 |
false(unreach-call) |
27.8 |
7.02 |
827916288 |
214 |
apollon051 |
unknown |
.0119 |
.0116 |
929792 |
.0142 |
apollon057 |
ntdrivers/kbfiltr_false-unreach-call.i.cil.c |
false(unreach-call) |
9.31 |
2.97 |
417185792 |
79.6 |
apollon069 |
false(unreach-call) |
9.18 |
2.59 |
472186880 |
71.0 |
apollon026 |
unknown |
.00657 |
.0101 |
761856 |
.00873 |
apollon070 |
ntdrivers/parport_false-unreach-call.i.cil.c |
false(unreach-call) |
134 |
90.0 |
4238151680 |
1250 |
apollon117 |
false(unreach-call) |
41.1 |
12.3 |
1233416192 |
337 |
apollon002 |
unknown |
.0149 |
.0143 |
913408 |
.0128 |
apollon062 |
ntdrivers/cdaudio_true-unreach-call.i.cil.c |
true |
8.58 |
2.32 |
364331008 |
77.8 |
apollon014 |
true |
13.2 |
3.52 |
498647040 |
108 |
apollon161 |
unknown |
.0113 |
.0119 |
892928 |
.0113 |
apollon005 |
ntdrivers/diskperf_true-unreach-call.i.cil.c |
true |
102 |
86.7 |
1635651584 |
1270 |
apollon052 |
true |
10.4 |
2.82 |
465846272 |
85.1 |
apollon119 |
unknown |
.0116 |
.0116 |
876544 |
.00861 |
apollon134 |
ntdrivers/floppy2_true-unreach-call_true-termination.i.cil.c |
true |
78.9 |
55.3 |
2476982272 |
829 |
apollon011 |
true |
36.7 |
9.30 |
1080754176 |
265 |
apollon051 |
unknown |
.0146 |
.0145 |
1069056 |
.0104 |
apollon130 |
ntdrivers/floppy_true-unreach-call_true-valid-memsafety.i.cil.c |
true |
76.7 |
57.8 |
1828921344 |
897 |
apollon161 |
true |
22.8 |
5.87 |
808267776 |
158 |
apollon098 |
unknown |
.0147 |
.0152 |
888832 |
.00568 |
apollon104 |
ntdrivers/parport_true-unreach-call.i.cil.c |
true |
157 |
109 |
4155416576 |
1690 |
apollon152 |
true |
48.1 |
18.0 |
1745305600 |
449 |
apollon167 |
unknown |
.00923 |
.00925 |
884736 |
.00494 |
apollon017 |
ssh/s3_clnt.blast.01_false-unreach-call.i.cil.c |
out of memory |
183 |
167 |
14999998464 |
2380 |
apollon005 |
false(unreach-call) |
9.13 |
2.57 |
449695744 |
67.3 |
apollon058 |
unknown |
.0159 |
.0157 |
761856 |
.0101 |
apollon022 |
ssh/s3_clnt.blast.02_false-unreach-call.i.cil.c |
out of memory |
170 |
155 |
14999998464 |
2070 |
apollon018 |
false(unreach-call) |
9.14 |
2.59 |
452468736 |
80.0 |
apollon161 |
unknown |
.0168 |
.0182 |
995328 |
.00665 |
apollon107 |
ssh/s3_clnt.blast.03_false-unreach-call.i.cil.c |
out of memory |
168 |
152 |
14999998464 |
1890 |
apollon003 |
false(unreach-call) |
8.63 |
2.46 |
425029632 |
62.6 |
apollon158 |
unknown |
.00980 |
.0101 |
868352 |
.00769 |
apollon009 |
ssh/s3_clnt.blast.04_false-unreach-call.i.cil.c |
out of memory |
170 |
155 |
14999998464 |
1750 |
apollon158 |
false(unreach-call) |
8.65 |
2.52 |
455716864 |
68.1 |
apollon038 |
unknown |
.0224 |
.0281 |
1052672 |
.00812 |
apollon141 |
ssh/s3_srvr.blast.01_false-unreach-call.i.cil.c |
out of memory |
175 |
161 |
14999998464 |
2000 |
apollon032 |
false(unreach-call) |
8.04 |
2.33 |
395956224 |
61.8 |
apollon089 |
unknown |
.0109 |
.0106 |
831488 |
.0103 |
apollon030 |
ssh/s3_srvr.blast.02_false-unreach-call.i.cil.c |
out of memory |
174 |
161 |
14999998464 |
2310 |
apollon019 |
false(unreach-call) |
8.22 |
2.40 |
409186304 |
65.0 |
apollon053 |
unknown |
.0104 |
.0141 |
1028096 |
.0137 |
apollon005 |
ssh/s3_srvr.blast.03_false-unreach-call.i.cil.c |
out of memory |
175 |
161 |
14999998464 |
2050 |
apollon055 |
false(unreach-call) |
7.72 |
2.25 |
406921216 |
61.1 |
apollon058 |
unknown |
.0110 |
.0108 |
942080 |
.00989 |
apollon040 |
ssh/s3_srvr.blast.04_false-unreach-call.i.cil.c |
out of memory |
175 |
162 |
14999998464 |
2050 |
apollon153 |
false(unreach-call) |
8.04 |
2.33 |
421318656 |
61.0 |
apollon002 |
unknown |
.0198 |
.0196 |
847872 |
.00391 |
apollon125 |
ssh/s3_srvr.blast.06_false-unreach-call.i.cil.c |
out of memory |
164 |
157 |
14999998464 |
1560 |
apollon048 |
false(unreach-call) |
5.85 |
1.89 |
315543552 |
51.3 |
apollon019 |
unknown |
.0233 |
.0236 |
774144 |
.00488 |
apollon126 |
ssh/s3_srvr.blast.07_false-unreach-call.i.cil.c |
out of memory |
241 |
225 |
14999998464 |
2320 |
apollon040 |
false(unreach-call) |
9.70 |
2.76 |
460361728 |
80.3 |
apollon067 |
unknown |
.0112 |
.0128 |
872448 |
.00000 |
apollon085 |
ssh/s3_srvr.blast.08_false-unreach-call.i.cil.c |
out of memory |
343 |
334 |
14999998464 |
2650 |
apollon043 |
false(unreach-call) |
5.83 |
1.92 |
310112256 |
46.1 |
apollon058 |
unknown |
.0106 |
.0107 |
974848 |
.0133 |
apollon161 |
ssh/s3_srvr.blast.09_false-unreach-call.i.cil.c |
out of memory |
235 |
219 |
14999998464 |
2680 |
apollon142 |
false(unreach-call) |
10.9 |
3.09 |
443912192 |
87.7 |
apollon022 |
unknown |
.00992 |
.00968 |
909312 |
.00000 |
apollon092 |
ssh/s3_srvr.blast.10_false-unreach-call.i.cil.c |
out of memory |
334 |
326 |
14999998464 |
2760 |
apollon095 |
false(unreach-call) |
5.66 |
1.87 |
313110528 |
48.9 |
apollon168 |
unknown |
.0154 |
.0162 |
888832 |
.00586 |
apollon049 |
ssh/s3_srvr.blast.11_false-unreach-call.i.cil.c |
out of memory |
204 |
188 |
14999998464 |
2120 |
apollon127 |
false(unreach-call) |
10.3 |
2.89 |
481853440 |
76.8 |
apollon054 |
unknown |
.0279 |
.0319 |
1019904 |
.0154 |
apollon147 |
ssh/s3_srvr.blast.12_false-unreach-call.i.cil.c |
out of memory |
152 |
145 |
14999998464 |
1380 |
apollon086 |
false(unreach-call) |
5.76 |
1.87 |
309747712 |
44.6 |
apollon123 |
unknown |
.0119 |
.0117 |
888832 |
.00940 |
apollon090 |
ssh/s3_srvr.blast.13_false-unreach-call.i.cil.c |
out of memory |
241 |
226 |
14999998464 |
2610 |
apollon138 |
false(unreach-call) |
10.5 |
2.93 |
447406080 |
82.4 |
apollon053 |
unknown |
.0130 |
.0134 |
1036288 |
.0111 |
apollon052 |
ssh/s3_srvr.blast.14_false-unreach-call.i.cil.c |
out of memory |
153 |
146 |
14999998464 |
1510 |
apollon165 |
false(unreach-call) |
5.94 |
1.95 |
320987136 |
56.0 |
apollon125 |
unknown |
.0161 |
.0164 |
1007616 |
.0145 |
apollon074 |
ssh/s3_srvr.blast.15_false-unreach-call.i.cil.c |
out of memory |
358 |
349 |
14999998464 |
2720 |
apollon043 |
false(unreach-call) |
5.86 |
1.86 |
309665792 |
50.0 |
apollon101 |
unknown |
.0129 |
.0157 |
925696 |
.00842 |
apollon155 |
ssh/s3_srvr.blast.16_false-unreach-call.i.cil.c |
out of memory |
157 |
150 |
14999998464 |
1730 |
apollon167 |
false(unreach-call) |
6.07 |
1.92 |
310468608 |
47.0 |
apollon002 |
unknown |
.00925 |
.00962 |
860160 |
.0103 |
apollon030 |
ssh/s3_clnt.blast.01_true-unreach-call.i.cil.c |
true |
137 |
118 |
1638596608 |
1710 |
apollon055 |
false(unreach-call) |
9.88 |
2.74 |
463360000 |
80.9 |
apollon070 |
unknown |
.0117 |
.0115 |
905216 |
.0103 |
apollon138 |
ssh/s3_clnt.blast.02_true-unreach-call.i.cil.c |
true |
108 |
91.5 |
1402040320 |
1230 |
apollon149 |
false(unreach-call) |
9.08 |
2.61 |
445390848 |
70.6 |
apollon082 |
unknown |
.0105 |
.0103 |
770048 |
.00000 |
apollon016 |
ssh/s3_clnt.blast.03_true-unreach-call.i.cil.c |
true |
114 |
96.2 |
1685065728 |
1440 |
apollon093 |
false(unreach-call) |
10.4 |
2.96 |
451772416 |
84.8 |
apollon101 |
unknown |
.0140 |
.0137 |
991232 |
.00610 |
apollon040 |
ssh/s3_clnt.blast.04_true-unreach-call.i.cil.c |
true |
116 |
98.2 |
1425420288 |
1390 |
apollon050 |
false(unreach-call) |
10.8 |
2.98 |
448491520 |
87.1 |
apollon076 |
unknown |
.0139 |
.0137 |
1032192 |
.00000 |
apollon166 |
ssh/s3_srvr.blast.01_true-unreach-call.i.cil.c |
true |
115 |
98.0 |
2163048448 |
1240 |
apollon029 |
false(unreach-call) |
10.3 |
2.98 |
454479872 |
73.2 |
apollon054 |
unknown |
.00905 |
.00886 |
847872 |
.00641 |
apollon104 |
ssh/s3_srvr.blast.02_true-unreach-call.i.cil.c |
true |
205 |
187 |
1167003648 |
2440 |
apollon035 |
false(unreach-call) |
8.51 |
2.44 |
474112000 |
70.8 |
apollon141 |
unknown |
.0117 |
.0114 |
835584 |
.00800 |
apollon101 |
ssh/s3_srvr.blast.06_true-unreach-call.i.cil.c |
true |
135 |
113 |
3906961408 |
1570 |
apollon157 |
false(unreach-call) |
78.6 |
40.0 |
2531569664 |
760 |
apollon125 |
unknown |
.0111 |
.0124 |
884736 |
.0156 |
apollon044 |
ssh/s3_srvr.blast.07_true-unreach-call.i.cil.c |
true |
160 |
142 |
1238110208 |
1880 |
apollon035 |
false(unreach-call) |
12.5 |
3.42 |
493748224 |
96.9 |
apollon051 |
unknown |
.0143 |
.0149 |
851968 |
.0114 |
apollon062 |
ssh/s3_srvr.blast.08_true-unreach-call.i.cil.c |
true |
118 |
100 |
1238962176 |
1360 |
apollon099 |
false(unreach-call) |
16.2 |
4.48 |
638615552 |
145 |
apollon030 |
unknown |
.0146 |
.0155 |
786432 |
.00769 |
apollon108 |
ssh/s3_srvr.blast.09_true-unreach-call.i.cil.c |
true |
115 |
97.2 |
1418317824 |
1590 |
apollon094 |
false(unreach-call) |
12.2 |
3.42 |
467406848 |
99.3 |
apollon101 |
unknown |
.0217 |
.0214 |
1089536 |
.00879 |
apollon001 |
ssh/s3_srvr.blast.10_true-unreach-call.i.cil.c |
true |
112 |
94.0 |
1680396288 |
1510 |
apollon077 |
false(unreach-call) |
11.5 |
3.15 |
471052288 |
88.4 |
apollon042 |
unknown |
.00921 |
.0113 |
1142784 |
.0133 |
apollon064 |
ssh/s3_srvr.blast.11_true-unreach-call.i.cil.c |
true |
132 |
115 |
1452892160 |
1620 |
apollon037 |
false(unreach-call) |
11.7 |
3.23 |
469540864 |
102 |
apollon044 |
unknown |
.0146 |
.0185 |
937984 |
.00452 |
apollon084 |
ssh/s3_srvr.blast.12_true-unreach-call.i.cil.c |
true |
143 |
124 |
3127717888 |
1590 |
apollon128 |
false(unreach-call) |
20.4 |
5.99 |
646975488 |
176 |
apollon140 |
unknown |
.0183 |
.0181 |
983040 |
.00409 |
apollon089 |
ssh/s3_srvr.blast.13_true-unreach-call.i.cil.c |
true |
117 |
100 |
1217257472 |
1490 |
apollon142 |
false(unreach-call) |
10.5 |
2.99 |
446189568 |
94.1 |
apollon126 |
unknown |
.0216 |
.0211 |
864256 |
.00964 |
apollon006 |
ssh/s3_srvr.blast.14_true-unreach-call.i.cil.c |
true |
116 |
93.9 |
3764318208 |
1240 |
apollon043 |
false(unreach-call) |
32.8 |
12.1 |
1119997952 |
300 |
apollon030 |
unknown |
.0173 |
.0210 |
880640 |
.0284 |
apollon071 |
ssh/s3_srvr.blast.15_true-unreach-call.i.cil.c |
true |
119 |
96.9 |
1263796224 |
1730 |
apollon039 |
false(unreach-call) |
19.9 |
5.63 |
705064960 |
172 |
apollon140 |
unknown |
.0155 |
.0152 |
913408 |
.00574 |
apollon048 |
ssh/s3_srvr.blast.16_true-unreach-call.i.cil.c |
true |
123 |
98.5 |
3858735104 |
1430 |
apollon095 |
false(unreach-call) |
36.6 |
16.4 |
1510846464 |
293 |
apollon158 |
unknown |
.0154 |
.0152 |
913408 |
.00415 |
apollon037 |
eca-rers2012/Problem01_label15_false-unreach-call_false-termination.c |
false(unreach-call) |
8.86 |
2.43 |
340156416 |
68.9 |
apollon168 |
false(unreach-call) |
19.2 |
5.31 |
774098944 |
155 |
apollon109 |
unknown |
.00969 |
.0127 |
909312 |
.00000 |
apollon117 |
eca-rers2012/Problem01_label20_false-unreach-call_false-termination.c |
false(unreach-call) |
9.80 |
2.72 |
482271232 |
76.6 |
apollon135 |
false(unreach-call) |
26.3 |
7.53 |
1136979968 |
215 |
apollon009 |
unknown |
.00818 |
.00853 |
872448 |
.00793 |
apollon159 |
eca-rers2012/Problem01_label21_false-unreach-call_false-termination.c |
false(unreach-call) |
9.21 |
2.49 |
339542016 |
71.7 |
apollon120 |
false(unreach-call) |
20.4 |
5.38 |
821071872 |
181 |
apollon044 |
unknown |
.0110 |
.0107 |
901120 |
.00781 |
apollon159 |
eca-rers2012/Problem01_label32_false-unreach-call_false-termination.c |
false(unreach-call) |
10.1 |
2.74 |
486060032 |
82.9 |
apollon022 |
false(unreach-call) |
29.0 |
8.58 |
1047896064 |
242 |
apollon020 |
unknown |
.0193 |
.0191 |
749568 |
.00439 |
apollon103 |
eca-rers2012/Problem01_label33_false-unreach-call_false-termination.c |
false(unreach-call) |
9.10 |
2.61 |
403169280 |
65.8 |
apollon054 |
false(unreach-call) |
22.0 |
6.19 |
848171008 |
171 |
apollon060 |
unknown |
.0136 |
.0136 |
987136 |
.00800 |
apollon149 |
eca-rers2012/Problem01_label35_false-unreach-call_false-termination.c |
false(unreach-call) |
8.07 |
2.32 |
322572288 |
65.4 |
apollon150 |
false(unreach-call) |
26.9 |
9.13 |
1037926400 |
207 |
apollon058 |
unknown |
.0231 |
.0229 |
905216 |
.00427 |
apollon153 |
eca-rers2012/Problem01_label37_false-unreach-call_false-termination.c |
false(unreach-call) |
9.07 |
2.49 |
372641792 |
69.6 |
apollon018 |
false(unreach-call) |
22.1 |
5.89 |
846315520 |
170 |
apollon085 |
unknown |
.0119 |
.0116 |
884736 |
.00891 |
apollon097 |
eca-rers2012/Problem01_label38_false-unreach-call_false-termination.c |
false(unreach-call) |
9.66 |
2.76 |
359669760 |
77.4 |
apollon015 |
false(unreach-call) |
21.1 |
5.64 |
812269568 |
168 |
apollon047 |
unknown |
.0121 |
.0124 |
1019904 |
.0140 |
apollon005 |
eca-rers2012/Problem01_label44_false-unreach-call_false-termination.c |
false(unreach-call) |
8.12 |
2.32 |
320659456 |
66.4 |
apollon081 |
false(unreach-call) |
16.0 |
4.32 |
600502272 |
144 |
apollon125 |
unknown |
.00910 |
.00900 |
880640 |
.00989 |
apollon113 |
eca-rers2012/Problem01_label47_false-unreach-call_false-termination.c |
false(unreach-call) |
9.56 |
2.72 |
468451328 |
82.7 |
apollon036 |
false(unreach-call) |
43.2 |
21.7 |
2095919104 |
429 |
apollon038 |
unknown |
.0251 |
.0252 |
749568 |
.00537 |
apollon042 |
eca-rers2012/Problem01_label50_false-unreach-call_false-termination.c |
false(unreach-call) |
8.10 |
2.26 |
330833920 |
66.2 |
apollon167 |
false(unreach-call) |
22.0 |
5.95 |
801144832 |
186 |
apollon044 |
unknown |
.0129 |
.0126 |
1028096 |
.00000 |
apollon075 |
eca-rers2012/Problem01_label56_false-unreach-call_false-termination.c |
false(unreach-call) |
8.55 |
2.39 |
387297280 |
68.9 |
apollon062 |
false(unreach-call) |
23.4 |
6.12 |
823189504 |
187 |
apollon126 |
unknown |
.0113 |
.0153 |
1019904 |
.00287 |
apollon002 |
eca-rers2012/Problem01_label57_false-unreach-call_false-termination.c |
false(unreach-call) |
8.97 |
2.65 |
418156544 |
68.1 |
apollon123 |
false(unreach-call) |
43.7 |
23.2 |
2018070528 |
430 |
apollon032 |
unknown |
.00908 |
.0133 |
811008 |
.00995 |
apollon091 |
eca-rers2012/Problem02_label13_false-unreach-call_false-termination.c |
false(unreach-call) |
7.13 |
2.06 |
320880640 |
59.1 |
apollon037 |
false(unreach-call) |
13.1 |
3.55 |
471687168 |
100 |
apollon071 |
unknown |
.0156 |
.0155 |
823296 |
.00665 |
apollon135 |
eca-rers2012/Problem02_label16_false-unreach-call_false-termination.c |
false(unreach-call) |
5.97 |
1.81 |
294301696 |
48.1 |
apollon004 |
false(unreach-call) |
11.0 |
3.11 |
477917184 |
90.4 |
apollon087 |
unknown |
.0105 |
.0108 |
872448 |
.00964 |
apollon034 |
eca-rers2012/Problem02_label43_false-unreach-call_false-termination.c |
false(unreach-call) |
6.48 |
1.90 |
319381504 |
55.8 |
apollon014 |
false(unreach-call) |
12.5 |
3.39 |
489721856 |
105 |
apollon032 |
unknown |
.00744 |
.0105 |
909312 |
.00659 |
apollon166 |
eca-rers2012/Problem02_label44_false-unreach-call_false-termination.c |
false(unreach-call) |
6.33 |
1.91 |
299139072 |
50.5 |
apollon096 |
false(unreach-call) |
12.2 |
3.35 |
474251264 |
108 |
apollon020 |
unknown |
.0129 |
.0126 |
1073152 |
.00324 |
apollon078 |
eca-rers2012/Problem02_label45_false-unreach-call_false-termination.c |
false(unreach-call) |
8.31 |
2.32 |
331108352 |
59.6 |
apollon134 |
false(unreach-call) |
21.7 |
5.85 |
700645376 |
186 |
apollon126 |
unknown |
.00990 |
.00967 |
1019904 |
.0116 |
apollon088 |
eca-rers2012/Problem02_label50_false-unreach-call_false-termination.c |
false(unreach-call) |
8.23 |
2.26 |
332054528 |
59.1 |
apollon100 |
false(unreach-call) |
18.7 |
5.20 |
633774080 |
160 |
apollon141 |
unknown |
.00892 |
.00881 |
917504 |
.0103 |
apollon133 |
eca-rers2012/Problem02_label59_false-unreach-call_false-termination.c |
false(unreach-call) |
9.05 |
2.49 |
369844224 |
67.3 |
apollon012 |
false(unreach-call) |
16.7 |
4.41 |
586911744 |
139 |
apollon047 |
unknown |
.0151 |
.0149 |
962560 |
.00446 |
apollon144 |
eca-rers2012/Problem03_label09_false-unreach-call.c |
false(unreach-call) |
16.8 |
5.03 |
749985792 |
135 |
apollon047 |
false(unreach-call) |
81.6 |
50.0 |
2407669760 |
935 |
apollon140 |
unknown |
.00961 |
.00956 |
946176 |
.00787 |
apollon003 |
eca-rers2012/Problem03_label13_false-unreach-call.c |
false(unreach-call) |
15.3 |
4.07 |
568647680 |
110 |
apollon075 |
false(unreach-call) |
49.2 |
24.6 |
1945714688 |
515 |
apollon126 |
unknown |
.0128 |
.0139 |
974848 |
.00879 |
apollon090 |
eca-rers2012/Problem03_label26_false-unreach-call.c |
false(unreach-call) |
13.2 |
3.55 |
484356096 |
100 |
apollon077 |
false(unreach-call) |
36.4 |
12.5 |
1239662592 |
331 |
apollon081 |
unknown |
.0149 |
.0147 |
827392 |
.00763 |
apollon117 |
eca-rers2012/Problem03_label27_false-unreach-call.c |
false(unreach-call) |
14.4 |
3.95 |
591654912 |
112 |
apollon018 |
false(unreach-call) |
46.1 |
17.4 |
1691025408 |
394 |
apollon118 |
unknown |
.0117 |
.0114 |
946176 |
.0122 |
apollon161 |
eca-rers2012/Problem03_label28_false-unreach-call.c |
false(unreach-call) |
14.2 |
4.06 |
583348224 |
119 |
apollon016 |
false(unreach-call) |
46.7 |
17.1 |
1700794368 |
428 |
apollon155 |
unknown |
.00970 |
.0124 |
978944 |
.0135 |
apollon160 |
eca-rers2012/Problem03_label31_false-unreach-call.c |
false(unreach-call) |
14.6 |
4.20 |
602451968 |
115 |
apollon076 |
false(unreach-call) |
50.6 |
20.2 |
1823731712 |
463 |
apollon167 |
unknown |
.0115 |
.0111 |
1019904 |
.0107 |
apollon083 |
eca-rers2012/Problem03_label35_false-unreach-call.c |
false(unreach-call) |
16.4 |
5.08 |
803422208 |
126 |
apollon123 |
false(unreach-call) |
54.9 |
25.5 |
2063114240 |
525 |
apollon071 |
unknown |
.0133 |
.0132 |
933888 |
.00000 |
apollon021 |
eca-rers2012/Problem03_label37_false-unreach-call.c |
false(unreach-call) |
14.7 |
4.19 |
547700736 |
114 |
apollon082 |
false(unreach-call) |
46.3 |
20.4 |
1868697600 |
413 |
apollon011 |
unknown |
.0110 |
.0107 |
892928 |
.00964 |
apollon150 |
eca-rers2012/Problem03_label39_false-unreach-call.c |
false(unreach-call) |
16.5 |
4.97 |
790499328 |
126 |
apollon018 |
false(unreach-call) |
68.4 |
34.0 |
1953198080 |
631 |
apollon142 |
unknown |
.0198 |
.0195 |
897024 |
.00299 |
apollon063 |
eca-rers2012/Problem03_label43_false-unreach-call.c |
false(unreach-call) |
15.0 |
4.13 |
634171392 |
107 |
apollon128 |
false(unreach-call) |
51.9 |
21.5 |
1993134080 |
413 |
apollon089 |
unknown |
.0115 |
.0114 |
811008 |
.0103 |
apollon032 |
eca-rers2012/Problem03_label45_false-unreach-call.c |
false(unreach-call) |
17.8 |
5.10 |
806293504 |
133 |
apollon154 |
false(unreach-call) |
58.5 |
27.8 |
2186940416 |
495 |
apollon128 |
unknown |
.0116 |
.0127 |
970752 |
.00769 |
apollon027 |
eca-rers2012/Problem03_label50_false-unreach-call.c |
false(unreach-call) |
15.6 |
4.33 |
569683968 |
106 |
apollon054 |
false(unreach-call) |
78.4 |
50.1 |
1836380160 |
817 |
apollon135 |
unknown |
.00742 |
.00776 |
1003520 |
.00983 |
apollon095 |
eca-rers2012/Problem03_label52_false-unreach-call.c |
false(unreach-call) |
17.1 |
5.30 |
819077120 |
142 |
apollon009 |
unknown |
102 |
77.9 |
2815733760 |
1040 |
apollon151 |
unknown |
291 |
155 |
9669718016 |
2070 |
apollon151 |
eca-rers2012/Problem04_label04_false-unreach-call.c |
false(unreach-call) |
62.5 |
29.8 |
4317286400 |
515 |
apollon110 |
unknown |
106 |
64.2 |
2799005696 |
853 |
apollon100 |
unknown |
77.4 |
50.9 |
1049268224 |
912 |
apollon030 |
eca-rers2012/Problem04_label06_false-unreach-call.c |
false(unreach-call) |
69.9 |
32.4 |
4347305984 |
560 |
apollon011 |
unknown |
105 |
62.9 |
2442240000 |
799 |
apollon151 |
unknown |
424 |
246 |
10013405184 |
3990 |
apollon163 |
eca-rers2012/Problem04_label09_false-unreach-call.c |
false(unreach-call) |
59.8 |
28.3 |
4308852736 |
544 |
apollon005 |
unknown |
105 |
65.0 |
3029127168 |
943 |
apollon108 |
unknown |
429 |
238 |
10816212992 |
3700 |
apollon136 |
eca-rers2012/Problem04_label11_false-unreach-call_false-termination.c |
false(unreach-call) |
65.7 |
30.5 |
4354588672 |
584 |
apollon112 |
unknown |
106 |
66.4 |
2867843072 |
867 |
apollon127 |
unknown |
439 |
245 |
10089627648 |
3520 |
apollon157 |
eca-rers2012/Problem04_label12_false-unreach-call_false-termination.c |
false(unreach-call) |
73.3 |
36.2 |
4345970688 |
584 |
apollon104 |
unknown |
105 |
66.3 |
2891554816 |
913 |
apollon082 |
unknown |
76.0 |
50.4 |
1040494592 |
721 |
apollon083 |
eca-rers2012/Problem04_label13_false-unreach-call.c |
false(unreach-call) |
54.5 |
27.4 |
4085932032 |
465 |
apollon086 |
unknown |
104 |
65.0 |
2967457792 |
930 |
apollon108 |
unknown |
423 |
240 |
9244733440 |
3510 |
apollon103 |
eca-rers2012/Problem04_label14_false-unreach-call_false-termination.c |
false(unreach-call) |
55.1 |
27.6 |
4091637760 |
536 |
apollon027 |
unknown |
106 |
61.5 |
2798776320 |
817 |
apollon029 |
unknown |
410 |
239 |
10585505792 |
3720 |
apollon114 |
eca-rers2012/Problem04_label15_false-unreach-call.c |
false(unreach-call) |
52.1 |
26.0 |
4083970048 |
460 |
apollon061 |
unknown |
106 |
63.2 |
2703863808 |
885 |
apollon032 |
unknown |
381 |
227 |
10114670592 |
3330 |
apollon072 |
eca-rers2012/Problem04_label17_false-unreach-call_false-termination.c |
false(unreach-call) |
61.5 |
28.1 |
4315500544 |
507 |
apollon105 |
unknown |
106 |
65.2 |
2876592128 |
881 |
apollon146 |
unknown |
433 |
237 |
9642713088 |
3430 |
apollon166 |
eca-rers2012/Problem04_label18_false-unreach-call.c |
false(unreach-call) |
55.0 |
27.1 |
4081508352 |
484 |
apollon052 |
unknown |
105 |
62.8 |
2570268672 |
922 |
apollon168 |
unknown |
418 |
242 |
10614206464 |
3920 |
apollon064 |
eca-rers2012/Problem04_label19_false-unreach-call.c |
false(unreach-call) |
69.0 |
33.2 |
4364926976 |
688 |
apollon021 |
unknown |
104 |
63.0 |
2145894400 |
854 |
apollon121 |
unknown |
385 |
229 |
10956636160 |
3090 |
apollon040 |
eca-rers2012/Problem04_label26_false-unreach-call.c |
false(unreach-call) |
64.3 |
30.7 |
4345217024 |
579 |
apollon159 |
unknown |
106 |
64.2 |
2630680576 |
935 |
apollon095 |
unknown |
415 |
236 |
10629230592 |
3500 |
apollon165 |
eca-rers2012/Problem04_label27_false-unreach-call_false-termination.c |
false(unreach-call) |
52.9 |
26.7 |
4051304448 |
480 |
apollon015 |
unknown |
105 |
65.8 |
2343235584 |
1050 |
apollon016 |
unknown |
435 |
245 |
10942164992 |
3510 |
apollon157 |
eca-rers2012/Problem04_label31_false-unreach-call.c |
false(unreach-call) |
66.1 |
31.5 |
4348469248 |
533 |
apollon086 |
unknown |
106 |
66.4 |
2871259136 |
880 |
apollon117 |
unknown |
77.3 |
51.2 |
1079730176 |
809 |
apollon009 |
eca-rers2012/Problem04_label32_false-unreach-call.c |
false(unreach-call) |
60.1 |
28.4 |
4294148096 |
464 |
apollon128 |
unknown |
104 |
62.4 |
2482671616 |
964 |
apollon014 |
unknown |
388 |
227 |
9214435328 |
3310 |
apollon034 |
eca-rers2012/Problem04_label35_false-unreach-call.c |
false(unreach-call) |
53.8 |
27.3 |
4109504512 |
455 |
apollon013 |
unknown |
105 |
64.3 |
2723340288 |
1120 |
apollon021 |
unknown |
76.7 |
49.8 |
1078505472 |
846 |
apollon047 |
eca-rers2012/Problem04_label36_false-unreach-call_false-termination.c |
false(unreach-call) |
52.2 |
26.3 |
4070428672 |
458 |
apollon012 |
unknown |
106 |
63.6 |
2360848384 |
887 |
apollon128 |
unknown |
444 |
253 |
10366476288 |
3890 |
apollon101 |
eca-rers2012/Problem04_label38_false-unreach-call.c |
false(unreach-call) |
64.8 |
30.6 |
4324855808 |
489 |
apollon151 |
unknown |
106 |
64.8 |
2884759552 |
934 |
apollon079 |
unknown |
410 |
238 |
9263251456 |
3330 |
apollon013 |
eca-rers2012/Problem04_label39_false-unreach-call.c |
false(unreach-call) |
71.0 |
32.9 |
4345446400 |
530 |
apollon029 |
unknown |
105 |
61.5 |
2437586944 |
881 |
apollon146 |
unknown |
424 |
236 |
10955632640 |
3560 |
apollon118 |
eca-rers2012/Problem04_label40_false-unreach-call_false-termination.c |
false(unreach-call) |
62.7 |
29.5 |
4329963520 |
466 |
apollon151 |
unknown |
106 |
65.4 |
2728771584 |
1030 |
apollon014 |
unknown |
429 |
242 |
9525645312 |
3500 |
apollon073 |
eca-rers2012/Problem04_label45_false-unreach-call.c |
false(unreach-call) |
67.7 |
31.8 |
4352049152 |
557 |
apollon165 |
unknown |
106 |
63.7 |
2421309440 |
880 |
apollon086 |
unknown |
415 |
236 |
10746388480 |
3640 |
apollon071 |
eca-rers2012/Problem04_label52_false-unreach-call.c |
false(unreach-call) |
69.4 |
33.2 |
4343287808 |
575 |
apollon034 |
unknown |
104 |
64.8 |
2975277056 |
935 |
apollon164 |
unknown |
422 |
234 |
10955649024 |
3300 |
apollon066 |
eca-rers2012/Problem04_label55_false-unreach-call.c |
false(unreach-call) |
53.7 |
26.6 |
4065386496 |
561 |
apollon039 |
unknown |
105 |
65.2 |
2656747520 |
955 |
apollon165 |
unknown |
414 |
231 |
10736001024 |
3870 |
apollon140 |
eca-rers2012/Problem04_label58_false-unreach-call_false-termination.c |
false(unreach-call) |
67.4 |
32.2 |
4339818496 |
525 |
apollon041 |
unknown |
106 |
63.8 |
2865848320 |
875 |
apollon152 |
unknown |
425 |
234 |
9296728064 |
3380 |
apollon115 |
eca-rers2012/Problem05_label00_false-unreach-call.c |
timeout |
948 |
336 |
11742351360 |
5070 |
apollon097 |
unknown |
109 |
65.6 |
2675154944 |
972 |
apollon038 |
unknown |
52.0 |
30.4 |
898547712 |
582 |
apollon044 |
eca-rers2012/Problem05_label01_false-unreach-call.c |
timeout |
949 |
345 |
11773517824 |
4950 |
apollon100 |
unknown |
104 |
68.5 |
2580602880 |
891 |
apollon015 |
unknown |
40.1 |
23.1 |
845479936 |
408 |
apollon009 |
eca-rers2012/Problem05_label11_false-unreach-call.c |
timeout |
948 |
335 |
11596853248 |
5150 |
apollon133 |
unknown |
103 |
61.6 |
2678022144 |
860 |
apollon128 |
unknown |
50.8 |
29.7 |
904192000 |
535 |
apollon155 |
eca-rers2012/Problem05_label13_false-unreach-call.c |
timeout |
949 |
354 |
11609473024 |
5190 |
apollon037 |
unknown |
107 |
66.3 |
2762219520 |
895 |
apollon076 |
unknown |
48.4 |
26.7 |
892825600 |
521 |
apollon161 |
eca-rers2012/Problem05_label15_false-unreach-call.c |
timeout |
948 |
339 |
11565658112 |
4730 |
apollon151 |
unknown |
110 |
61.9 |
3064414208 |
909 |
apollon119 |
unknown |
52.5 |
30.7 |
902328320 |
627 |
apollon111 |
eca-rers2012/Problem05_label18_false-unreach-call.c |
timeout |
950 |
364 |
11590737920 |
6330 |
apollon064 |
unknown |
111 |
64.8 |
3053572096 |
945 |
apollon168 |
unknown |
49.8 |
29.3 |
906231808 |
457 |
apollon104 |
eca-rers2012/Problem05_label24_false-unreach-call.c |
timeout |
936 |
353 |
11491168256 |
5370 |
apollon001 |
unknown |
110 |
67.7 |
2533466112 |
875 |
apollon098 |
unknown |
51.4 |
30.1 |
905216000 |
518 |
apollon093 |
eca-rers2012/Problem05_label26_false-unreach-call.c |
timeout |
947 |
364 |
11704352768 |
5810 |
apollon065 |
unknown |
104 |
67.9 |
2060161024 |
1150 |
apollon021 |
unknown |
39.8 |
23.0 |
850817024 |
382 |
apollon012 |
eca-rers2012/Problem05_label30_false-unreach-call.c |
timeout |
949 |
356 |
11888467968 |
6220 |
apollon130 |
unknown |
103 |
61.5 |
2814627840 |
911 |
apollon106 |
unknown |
50.6 |
29.8 |
903921664 |
490 |
apollon074 |
eca-rers2012/Problem05_label32_false-unreach-call.c |
timeout |
949 |
345 |
11570311168 |
6080 |
apollon016 |
unknown |
108 |
64.6 |
2605826048 |
977 |
apollon019 |
unknown |
52.2 |
29.7 |
905474048 |
485 |
apollon150 |
eca-rers2012/Problem05_label33_false-unreach-call.c |
timeout |
949 |
358 |
11761651712 |
5400 |
apollon156 |
unknown |
111 |
62.9 |
2602913792 |
890 |
apollon093 |
unknown |
52.7 |
29.6 |
908939264 |
556 |
apollon028 |
eca-rers2012/Problem05_label36_false-unreach-call.c |
timeout |
953 |
500 |
9719771136 |
8760 |
apollon087 |
unknown |
108 |
65.1 |
2977853440 |
903 |
apollon018 |
unknown |
53.6 |
30.3 |
907968512 |
439 |
apollon158 |
eca-rers2012/Problem05_label37_false-unreach-call.c |
timeout |
949 |
351 |
11786461184 |
5820 |
apollon006 |
unknown |
103 |
65.3 |
2481061888 |
853 |
apollon042 |
unknown |
50.6 |
29.3 |
908509184 |
537 |
apollon130 |
eca-rers2012/Problem05_label38_false-unreach-call.c |
timeout |
948 |
360 |
11789668352 |
5030 |
apollon042 |
unknown |
103 |
71.4 |
2732982272 |
873 |
apollon121 |
unknown |
52.3 |
29.8 |
903254016 |
519 |
apollon017 |
eca-rers2012/Problem05_label39_false-unreach-call.c |
timeout |
949 |
371 |
11681779712 |
5700 |
apollon147 |
unknown |
104 |
58.2 |
2727407616 |
830 |
apollon093 |
unknown |
51.1 |
29.6 |
901881856 |
481 |
apollon050 |
eca-rers2012/Problem05_label40_false-unreach-call.c |
timeout |
938 |
342 |
11830620160 |
5740 |
apollon005 |
unknown |
104 |
65.2 |
2683604992 |
847 |
apollon151 |
unknown |
52.1 |
29.7 |
904613888 |
479 |
apollon062 |
eca-rers2012/Problem05_label41_false-unreach-call.c |
timeout |
951 |
394 |
11718373376 |
5050 |
apollon123 |
unknown |
103 |
57.5 |
2862415872 |
957 |
apollon081 |
unknown |
52.0 |
29.8 |
906395648 |
487 |
apollon166 |
eca-rers2012/Problem05_label44_false-unreach-call.c |
timeout |
947 |
407 |
11719553024 |
6550 |
apollon077 |
unknown |
103 |
58.7 |
2627387392 |
831 |
apollon025 |
unknown |
39.8 |
22.7 |
844648448 |
439 |
apollon088 |
eca-rers2012/Problem05_label47_false-unreach-call.c |
timeout |
951 |
537 |
7165931520 |
10100 |
apollon094 |
unknown |
113 |
65.9 |
3175817216 |
868 |
apollon029 |
unknown |
50.5 |
29.4 |
901414912 |
456 |
apollon104 |
eca-rers2012/Problem05_label48_false-unreach-call.c |
timeout |
951 |
541 |
6661308416 |
9260 |
apollon165 |
unknown |
111 |
64.1 |
2790735872 |
951 |
apollon004 |
unknown |
50.0 |
29.2 |
908935168 |
493 |
apollon032 |
eca-rers2012/Problem05_label51_false-unreach-call.c |
timeout |
949 |
356 |
11722690560 |
5750 |
apollon008 |
unknown |
103 |
62.2 |
2473623552 |
986 |
apollon125 |
unknown |
50.7 |
28.3 |
911396864 |
548 |
apollon044 |
eca-rers2012/Problem05_label55_false-unreach-call.c |
timeout |
948 |
373 |
11829362688 |
5490 |
apollon145 |
unknown |
104 |
57.8 |
2264559616 |
871 |
apollon004 |
unknown |
52.3 |
30.2 |
907087872 |
520 |
apollon049 |
eca-rers2012/Problem05_label57_false-unreach-call.c |
timeout |
947 |
388 |
11846676480 |
5760 |
apollon093 |
unknown |
103 |
57.4 |
2603585536 |
916 |
apollon079 |
unknown |
52.7 |
30.3 |
908890112 |
587 |
apollon125 |
eca-rers2012/Problem05_label58_false-unreach-call.c |
timeout |
950 |
524 |
6665375744 |
8540 |
apollon083 |
unknown |
111 |
63.3 |
2659594240 |
880 |
apollon053 |
unknown |
50.5 |
29.2 |
917712896 |
397 |
apollon063 |
eca-rers2012/Problem06_label00_false-unreach-call.c |
false(unreach-call) |
123 |
61.5 |
4902219776 |
1130 |
apollon014 |
unknown |
103 |
57.1 |
2952146944 |
829 |
apollon135 |
unknown |
37.5 |
20.9 |
813699072 |
338 |
apollon066 |
eca-rers2012/Problem06_label01_false-unreach-call.c |
false(unreach-call) |
95.3 |
53.4 |
4637929472 |
856 |
apollon050 |
unknown |
103 |
59.7 |
2354462720 |
853 |
apollon152 |
unknown |
38.7 |
20.9 |
839098368 |
417 |
apollon161 |
eca-rers2012/Problem06_label02_false-unreach-call.c |
timeout |
949 |
346 |
11492675584 |
5340 |
apollon085 |
unknown |
108 |
59.0 |
2451890176 |
916 |
apollon038 |
unknown |
38.0 |
20.6 |
841166848 |
340 |
apollon149 |
eca-rers2012/Problem06_label04_false-unreach-call.c |
false(unreach-call) |
87.9 |
47.4 |
4627513344 |
788 |
apollon051 |
unknown |
103 |
56.5 |
2786918400 |
891 |
apollon034 |
unknown |
38.8 |
20.9 |
843718656 |
347 |
apollon002 |
eca-rers2012/Problem06_label05_false-unreach-call.c |
false(unreach-call) |
84.4 |
44.1 |
4640559104 |
764 |
apollon076 |
unknown |
104 |
54.0 |
2906554368 |
784 |
apollon054 |
unknown |
37.8 |
20.6 |
809639936 |
373 |
apollon071 |
eca-rers2012/Problem06_label09_false-unreach-call.c |
false(unreach-call) |
114 |
56.8 |
4877627392 |
887 |
apollon149 |
unknown |
103 |
57.7 |
2490544128 |
827 |
apollon015 |
unknown |
38.2 |
20.6 |
818733056 |
418 |
apollon159 |
eca-rers2012/Problem06_label10_false-unreach-call.c |
false(unreach-call) |
83.8 |
44.1 |
4639744000 |
697 |
apollon089 |
unknown |
102 |
54.9 |
2424188928 |
845 |
apollon025 |
unknown |
32.0 |
15.6 |
749711360 |
306 |
apollon047 |
eca-rers2012/Problem06_label11_false-unreach-call.c |
false(unreach-call) |
119 |
56.9 |
4876447744 |
985 |
apollon102 |
unknown |
105 |
54.0 |
2914156544 |
814 |
apollon120 |
unknown |
36.9 |
20.3 |
817602560 |
349 |
apollon090 |
eca-rers2012/Problem06_label12_false-unreach-call.c |
false(unreach-call) |
86.4 |
45.8 |
4634345472 |
747 |
apollon154 |
unknown |
103 |
57.7 |
2582433792 |
1030 |
apollon167 |
unknown |
38.3 |
20.9 |
809525248 |
327 |
apollon123 |
eca-rers2012/Problem06_label15_false-unreach-call.c |
false(unreach-call) |
89.2 |
48.2 |
4626534400 |
828 |
apollon017 |
unknown |
107 |
57.1 |
2395238400 |
1020 |
apollon014 |
unknown |
49.5 |
27.7 |
895623168 |
428 |
apollon040 |
eca-rers2012/Problem06_label20_false-unreach-call.c |
false(unreach-call) |
82.4 |
44.3 |
4624322560 |
709 |
apollon086 |
unknown |
103 |
60.9 |
2678034432 |
824 |
apollon092 |
unknown |
46.6 |
26.2 |
919818240 |
444 |
apollon051 |
eca-rers2012/Problem06_label21_false-unreach-call.c |
false(unreach-call) |
116 |
56.9 |
4871352320 |
870 |
apollon098 |
unknown |
104 |
52.4 |
2506428416 |
798 |
apollon152 |
unknown |
45.9 |
26.3 |
921088000 |
442 |
apollon035 |
eca-rers2012/Problem06_label24_false-unreach-call.c |
false(unreach-call) |
92.4 |
51.1 |
4621193216 |
744 |
apollon054 |
unknown |
103 |
58.1 |
2741145600 |
909 |
apollon087 |
unknown |
55.5 |
31.8 |
908652544 |
501 |
apollon127 |
eca-rers2012/Problem06_label27_false-unreach-call.c |
timeout |
947 |
353 |
11902586880 |
5020 |
apollon116 |
unknown |
103 |
58.5 |
2712629248 |
921 |
apollon072 |
unknown |
47.0 |
26.6 |
882225152 |
500 |
apollon033 |
eca-rers2012/Problem06_label29_false-unreach-call.c |
false(unreach-call) |
119 |
58.5 |
4858507264 |
1040 |
apollon048 |
unknown |
107 |
61.0 |
2793439232 |
839 |
apollon060 |
unknown |
46.9 |
26.8 |
906829824 |
495 |
apollon094 |
eca-rers2012/Problem06_label33_false-unreach-call.c |
false(unreach-call) |
117 |
56.5 |
4875030528 |
1040 |
apollon019 |
unknown |
104 |
58.3 |
2218074112 |
990 |
apollon106 |
unknown |
48.2 |
26.8 |
921952256 |
465 |
apollon038 |
eca-rers2012/Problem06_label36_false-unreach-call.c |
false(unreach-call) |
124 |
61.8 |
4880347136 |
948 |
apollon041 |
unknown |
103 |
57.8 |
2626785280 |
980 |
apollon081 |
unknown |
38.7 |
20.7 |
838217728 |
412 |
apollon008 |
eca-rers2012/Problem06_label37_false-unreach-call.c |
timeout |
946 |
385 |
11768160256 |
5230 |
apollon002 |
unknown |
103 |
57.5 |
2487402496 |
888 |
apollon109 |
unknown |
46.6 |
26.5 |
912158720 |
448 |
apollon049 |
eca-rers2012/Problem06_label38_false-unreach-call.c |
timeout |
948 |
327 |
11534090240 |
4970 |
apollon145 |
unknown |
107 |
57.2 |
2394734592 |
909 |
apollon109 |
unknown |
47.1 |
26.1 |
899448832 |
461 |
apollon146 |
eca-rers2012/Problem06_label44_false-unreach-call.c |
false(unreach-call) |
94.6 |
52.7 |
4643385344 |
837 |
apollon144 |
unknown |
103 |
55.1 |
2350030848 |
834 |
apollon070 |
unknown |
48.3 |
27.2 |
896569344 |
472 |
apollon102 |
eca-rers2012/Problem06_label47_false-unreach-call.c |
false(unreach-call) |
118 |
58.4 |
4876632064 |
1060 |
apollon130 |
unknown |
103 |
52.7 |
2400665600 |
830 |
apollon058 |
unknown |
46.7 |
26.3 |
909291520 |
442 |
apollon157 |
eca-rers2012/Problem06_label48_false-unreach-call.c |
timeout |
947 |
337 |
11608809472 |
5940 |
apollon080 |
unknown |
105 |
57.8 |
2625384448 |
898 |
apollon121 |
unknown |
54.8 |
32.0 |
920150016 |
510 |
apollon157 |
eca-rers2012/Problem06_label56_false-unreach-call.c |
false(unreach-call) |
124 |
60.1 |
4885766144 |
1030 |
apollon102 |
unknown |
103 |
56.3 |
2394062848 |
776 |
apollon002 |
unknown |
47.0 |
26.4 |
906645504 |
416 |
apollon083 |
eca-rers2012/Problem06_label58_false-unreach-call.c |
false(unreach-call) |
97.6 |
54.1 |
4634185728 |
959 |
apollon019 |
unknown |
108 |
57.4 |
2758926336 |
977 |
apollon030 |
unknown |
57.1 |
32.5 |
912654336 |
525 |
apollon119 |
eca-rers2012/Problem06_label59_false-unreach-call.c |
false(unreach-call) |
89.0 |
47.7 |
4629340160 |
915 |
apollon030 |
unknown |
103 |
56.4 |
2517798912 |
865 |
apollon086 |
unknown |
37.4 |
20.6 |
825024512 |
365 |
apollon011 |
eca-rers2012/Problem07_label03_false-unreach-call.c |
timeout |
951 |
514 |
7856173056 |
8970 |
apollon136 |
unknown |
149 |
33.4 |
6278975488 |
791 |
apollon002 |
timeout |
957 |
169 |
1431228416 |
4760 |
apollon035 |
eca-rers2012/Problem07_label05_false-unreach-call.c |
timeout |
951 |
482 |
8001048576 |
8410 |
apollon077 |
unknown |
145 |
33.3 |
6970871808 |
865 |
apollon022 |
unknown |
224 |
74.6 |
1419304960 |
1410 |
apollon086 |
eca-rers2012/Problem07_label06_false-unreach-call.c |
timeout |
951 |
505 |
8544722944 |
9580 |
apollon088 |
unknown |
162 |
35.0 |
6616494080 |
811 |
apollon029 |
unknown |
342 |
90.3 |
1421684736 |
1850 |
apollon149 |
eca-rers2012/Problem07_label07_false-unreach-call.c |
timeout |
951 |
507 |
8115941376 |
8400 |
apollon119 |
unknown |
102 |
25.0 |
4376100864 |
580 |
apollon086 |
unknown |
20.7 |
7.00 |
921153536 |
145 |
apollon084 |
eca-rers2012/Problem07_label09_false-unreach-call.c |
timeout |
951 |
515 |
7931715584 |
8660 |
apollon065 |
unknown |
102 |
24.8 |
4639858688 |
617 |
apollon077 |
unknown |
79.0 |
24.1 |
1427918848 |
509 |
apollon166 |
eca-rers2012/Problem07_label11_false-unreach-call.c |
timeout |
951 |
501 |
8005218304 |
8460 |
apollon009 |
unknown |
136 |
31.3 |
6010540032 |
694 |
apollon040 |
unknown |
384 |
95.1 |
1425833984 |
2160 |
apollon109 |
eca-rers2012/Problem07_label15_false-unreach-call.c |
timeout |
951 |
488 |
8691855360 |
8300 |
apollon090 |
unknown |
103 |
32.2 |
4809199616 |
632 |
apollon128 |
true |
25.6 |
8.55 |
922296320 |
164 |
apollon157 |
eca-rers2012/Problem07_label18_false-unreach-call.c |
timeout |
951 |
494 |
8698880000 |
8490 |
apollon011 |
unknown |
104 |
27.0 |
5493460992 |
659 |
apollon167 |
unknown |
114 |
41.3 |
1442349056 |
878 |
apollon028 |
eca-rers2012/Problem07_label19_false-unreach-call.c |
timeout |
950 |
501 |
8504528896 |
8060 |
apollon150 |
unknown |
139 |
32.2 |
6471180288 |
774 |
apollon107 |
timeout |
957 |
170 |
1429786624 |
5530 |
apollon036 |
eca-rers2012/Problem07_label20_false-unreach-call.c |
timeout |
951 |
506 |
7966355456 |
8230 |
apollon153 |
unknown |
104 |
28.1 |
4405948416 |
661 |
apollon022 |
unknown |
132 |
48.3 |
1433468928 |
929 |
apollon095 |
eca-rers2012/Problem07_label23_false-unreach-call.c |
timeout |
951 |
502 |
8549851136 |
8060 |
apollon073 |
unknown |
134 |
31.7 |
6455271424 |
795 |
apollon084 |
timeout |
957 |
170 |
1411121152 |
4990 |
apollon091 |
eca-rers2012/Problem07_label30_false-unreach-call.c |
timeout |
950 |
499 |
7969759232 |
8700 |
apollon138 |
unknown |
103 |
26.0 |
5240274944 |
676 |
apollon126 |
unknown |
89.2 |
31.1 |
1442635776 |
641 |
apollon112 |
eca-rers2012/Problem07_label31_false-unreach-call.c |
timeout |
950 |
497 |
8771153920 |
8400 |
apollon076 |
unknown |
103 |
28.0 |
4408725504 |
582 |
apollon123 |
unknown |
117 |
46.5 |
1449357312 |
853 |
apollon072 |
eca-rers2012/Problem07_label35_false-unreach-call.c |
timeout |
951 |
496 |
8712364032 |
9100 |
apollon068 |
unknown |
111 |
28.7 |
6086082560 |
675 |
apollon165 |
unknown |
133 |
46.4 |
1434595328 |
1020 |
apollon033 |
eca-rers2012/Problem07_label36_false-unreach-call.c |
timeout |
950 |
499 |
8782532608 |
8350 |
apollon050 |
unknown |
115 |
28.8 |
5255831552 |
666 |
apollon109 |
timeout |
958 |
169 |
1419939840 |
4740 |
apollon002 |
eca-rers2012/Problem07_label37_false-unreach-call.c |
timeout |
950 |
500 |
7998152704 |
8220 |
apollon102 |
unknown |
145 |
33.2 |
6802366464 |
729 |
apollon158 |
timeout |
957 |
169 |
1419096064 |
4660 |
apollon127 |
eca-rers2012/Problem07_label39_false-unreach-call.c |
timeout |
950 |
499 |
8117866496 |
7740 |
apollon143 |
unknown |
103 |
25.5 |
4619317248 |
571 |
apollon060 |
unknown |
88.3 |
26.2 |
1433067520 |
556 |
apollon026 |
eca-rers2012/Problem07_label40_false-unreach-call.c |
timeout |
950 |
497 |
8799027200 |
8600 |
apollon038 |
unknown |
137 |
32.0 |
6521126912 |
768 |
apollon107 |
unknown |
195 |
70.7 |
1423527936 |
1330 |
apollon032 |
eca-rers2012/Problem07_label42_false-unreach-call.c |
timeout |
950 |
514 |
8127918080 |
9630 |
apollon088 |
unknown |
138 |
33.0 |
6389141504 |
749 |
apollon060 |
timeout |
957 |
170 |
1422299136 |
4730 |
apollon115 |
eca-rers2012/Problem07_label44_false-unreach-call.c |
timeout |
951 |
488 |
7988219904 |
8810 |
apollon094 |
unknown |
104 |
28.0 |
4423475200 |
569 |
apollon158 |
unknown |
117 |
46.9 |
1429733376 |
956 |
apollon108 |
eca-rers2012/Problem07_label46_false-unreach-call.c |
timeout |
950 |
507 |
8064225280 |
7760 |
apollon089 |
unknown |
157 |
35.0 |
6264422400 |
807 |
apollon128 |
timeout |
957 |
169 |
1414549504 |
4690 |
apollon035 |
eca-rers2012/Problem07_label47_false-unreach-call.c |
timeout |
950 |
495 |
8028835840 |
8670 |
apollon141 |
unknown |
131 |
31.8 |
6220234752 |
730 |
apollon157 |
timeout |
957 |
170 |
1443934208 |
4670 |
apollon061 |
eca-rers2012/Problem07_label48_false-unreach-call.c |
timeout |
950 |
498 |
8568348672 |
7870 |
apollon137 |
unknown |
103 |
32.3 |
4821311488 |
623 |
apollon089 |
true |
22.4 |
7.52 |
924872704 |
194 |
apollon021 |
eca-rers2012/Problem07_label58_false-unreach-call.c |
timeout |
950 |
502 |
7875092480 |
10000 |
apollon021 |
unknown |
133 |
31.3 |
6010277888 |
830 |
apollon160 |
timeout |
957 |
170 |
1422069760 |
4750 |
apollon072 |
eca-rers2012/Problem08_label01_false-unreach-call.c |
timeout |
950 |
492 |
10375802880 |
7950 |
apollon079 |
unknown |
191 |
45.0 |
7717019648 |
1120 |
apollon155 |
unknown |
.00863 |
.0127 |
860160 |
.0156 |
apollon047 |
eca-rers2012/Problem08_label02_false-unreach-call.c |
timeout |
951 |
497 |
7879524352 |
7520 |
apollon166 |
unknown |
192 |
45.2 |
7918493696 |
1060 |
apollon011 |
unknown |
.0132 |
.0131 |
962560 |
.00000 |
apollon003 |
eca-rers2012/Problem08_label04_false-unreach-call.c |
timeout |
951 |
500 |
7872753664 |
7220 |
apollon157 |
timeout |
200 |
46.3 |
8001560576 |
1150 |
apollon093 |
unknown |
.0167 |
.0167 |
831488 |
.00580 |
apollon115 |
eca-rers2012/Problem08_label05_false-unreach-call.c |
timeout |
950 |
498 |
8572690432 |
7550 |
apollon149 |
unknown |
193 |
44.2 |
7907172352 |
1070 |
apollon052 |
unknown |
.0207 |
.0224 |
1011712 |
.00494 |
apollon033 |
eca-rers2012/Problem08_label06_false-unreach-call.c |
timeout |
951 |
504 |
8562593792 |
7480 |
apollon003 |
unknown |
187 |
44.7 |
7870328832 |
963 |
apollon089 |
unknown |
.0176 |
.0205 |
966656 |
.00818 |
apollon028 |
eca-rers2012/Problem08_label07_false-unreach-call.c |
timeout |
950 |
503 |
10355998720 |
7710 |
apollon022 |
unknown |
179 |
43.8 |
7736348672 |
1110 |
apollon108 |
unknown |
.0131 |
.0128 |
1015808 |
.00879 |
apollon155 |
eca-rers2012/Problem08_label10_false-unreach-call.c |
timeout |
951 |
493 |
10380722176 |
7200 |
apollon104 |
unknown |
178 |
42.5 |
7448522752 |
1030 |
apollon052 |
unknown |
.00941 |
.00894 |
966656 |
.0142 |
apollon130 |
eca-rers2012/Problem08_label13_false-unreach-call.c |
timeout |
950 |
494 |
10356621312 |
7670 |
apollon066 |
unknown |
196 |
45.2 |
7514611712 |
1010 |
apollon060 |
unknown |
.0164 |
.0175 |
958464 |
.0106 |
apollon167 |
eca-rers2012/Problem08_label15_false-unreach-call.c |
timeout |
950 |
506 |
7929618432 |
8710 |
apollon028 |
timeout |
208 |
47.5 |
8971759616 |
1150 |
apollon078 |
unknown |
.0245 |
.0250 |
917504 |
.00714 |
apollon116 |
eca-rers2012/Problem08_label24_false-unreach-call.c |
timeout |
951 |
477 |
10439245824 |
7540 |
apollon144 |
unknown |
187 |
44.4 |
7430647808 |
1060 |
apollon005 |
unknown |
.00755 |
.0102 |
872448 |
.00769 |
apollon008 |
eca-rers2012/Problem08_label25_false-unreach-call.c |
timeout |
950 |
500 |
8577970176 |
7670 |
apollon100 |
unknown |
185 |
43.7 |
7511535616 |
974 |
apollon029 |
unknown |
.00697 |
.00693 |
913408 |
.00354 |
apollon002 |
eca-rers2012/Problem08_label26_false-unreach-call.c |
timeout |
950 |
501 |
7997505536 |
7800 |
apollon053 |
unknown |
181 |
43.7 |
7614091264 |
1090 |
apollon164 |
unknown |
.0114 |
.0112 |
790528 |
.00836 |
apollon168 |
eca-rers2012/Problem08_label28_false-unreach-call.c |
timeout |
951 |
492 |
10373804032 |
7730 |
apollon086 |
unknown |
175 |
42.8 |
7611682816 |
933 |
apollon060 |
unknown |
.0100 |
.0125 |
909312 |
.00836 |
apollon168 |
eca-rers2012/Problem08_label29_false-unreach-call.c |
timeout |
950 |
498 |
8661950464 |
9260 |
apollon161 |
timeout |
208 |
46.4 |
7141625856 |
1180 |
apollon030 |
unknown |
.00957 |
.00984 |
770048 |
.00702 |
apollon002 |
eca-rers2012/Problem08_label34_false-unreach-call.c |
timeout |
951 |
489 |
10575147008 |
8630 |
apollon010 |
unknown |
180 |
41.3 |
5996167168 |
1120 |
apollon021 |
unknown |
.00590 |
.00970 |
970752 |
.0138 |
apollon071 |
eca-rers2012/Problem08_label37_false-unreach-call.c |
timeout |
951 |
499 |
8700444672 |
8690 |
apollon081 |
timeout |
208 |
45.7 |
6922010624 |
1160 |
apollon020 |
unknown |
.0102 |
.0101 |
1007616 |
.0142 |
apollon044 |
eca-rers2012/Problem08_label43_false-unreach-call.c |
timeout |
950 |
482 |
10434846720 |
7860 |
apollon062 |
timeout |
208 |
45.9 |
7993274368 |
978 |
apollon040 |
unknown |
.00959 |
.0124 |
876544 |
.0170 |
apollon148 |
eca-rers2012/Problem08_label46_false-unreach-call.c |
timeout |
951 |
492 |
10377924608 |
7960 |
apollon051 |
unknown |
178 |
41.5 |
5764263936 |
840 |
apollon151 |
unknown |
.0221 |
.0214 |
778240 |
.00537 |
apollon015 |
eca-rers2012/Problem08_label48_false-unreach-call.c |
timeout |
950 |
498 |
8506863616 |
8140 |
apollon062 |
timeout |
203 |
46.9 |
8385490944 |
1130 |
apollon152 |
unknown |
.0155 |
.0152 |
974848 |
.00824 |
apollon149 |
eca-rers2012/Problem08_label49_false-unreach-call.c |
timeout |
950 |
494 |
10360737792 |
8290 |
apollon165 |
unknown |
176 |
42.7 |
7392059392 |
989 |
apollon085 |
unknown |
.0109 |
.0154 |
958464 |
.00000 |
apollon125 |
eca-rers2012/Problem08_label50_false-unreach-call.c |
timeout |
950 |
498 |
8611622912 |
8580 |
apollon027 |
unknown |
184 |
44.3 |
7637200896 |
1020 |
apollon018 |
unknown |
.0294 |
.0292 |
880640 |
.00623 |
apollon008 |
eca-rers2012/Problem08_label51_false-unreach-call.c |
timeout |
951 |
491 |
10401779712 |
8340 |
apollon033 |
unknown |
198 |
45.9 |
7703785472 |
1120 |
apollon118 |
unknown |
.0102 |
.0105 |
786432 |
.00751 |
apollon104 |
eca-rers2012/Problem08_label55_false-unreach-call.c |
timeout |
950 |
492 |
10335686656 |
8210 |
apollon084 |
unknown |
181 |
43.4 |
7236329472 |
988 |
apollon053 |
unknown |
.0137 |
.0135 |
946176 |
.00995 |
apollon139 |
eca-rers2012/Problem08_label59_false-unreach-call.c |
timeout |
951 |
498 |
7946964992 |
7850 |
apollon107 |
unknown |
170 |
42.5 |
7663599616 |
962 |
apollon150 |
unknown |
.0122 |
.0125 |
905216 |
.00989 |
apollon119 |
eca-rers2012/Problem09_label02_false-unreach-call.c |
timeout |
951 |
504 |
10656440320 |
7090 |
apollon118 |
timeout |
208 |
48.0 |
8649220096 |
1160 |
apollon020 |
unknown |
.0149 |
.0152 |
958464 |
.0112 |
apollon090 |
eca-rers2012/Problem09_label03_false-unreach-call.c |
timeout |
951 |
511 |
9983574016 |
7170 |
apollon110 |
timeout |
208 |
48.2 |
8388448256 |
1150 |
apollon126 |
unknown |
.0142 |
.0139 |
1007616 |
.00842 |
apollon166 |
eca-rers2012/Problem09_label06_false-unreach-call.c |
timeout |
950 |
488 |
12290154496 |
8390 |
apollon036 |
timeout |
208 |
48.1 |
8493309952 |
1010 |
apollon116 |
unknown |
.0121 |
.0166 |
880640 |
.0111 |
apollon119 |
eca-rers2012/Problem09_label08_false-unreach-call.c |
timeout |
950 |
512 |
10091409408 |
8200 |
apollon065 |
timeout |
208 |
46.5 |
6332305408 |
978 |
apollon086 |
unknown |
.00923 |
.00933 |
974848 |
.0105 |
apollon001 |
eca-rers2012/Problem09_label10_false-unreach-call.c |
timeout |
951 |
497 |
10425069568 |
7570 |
apollon084 |
timeout |
208 |
46.4 |
5837799424 |
1080 |
apollon167 |
unknown |
.00666 |
.00993 |
880640 |
.00946 |
apollon127 |
eca-rers2012/Problem09_label11_false-unreach-call.c |
timeout |
951 |
474 |
10744045568 |
8580 |
apollon039 |
timeout |
202 |
45.9 |
6344413184 |
946 |
apollon058 |
unknown |
.0249 |
.0292 |
876544 |
.00500 |
apollon119 |
eca-rers2012/Problem09_label15_false-unreach-call.c |
timeout |
950 |
480 |
12250832896 |
6820 |
apollon149 |
unknown |
200 |
46.1 |
6343331840 |
912 |
apollon098 |
unknown |
.0313 |
.0327 |
835584 |
.00617 |
apollon023 |
eca-rers2012/Problem09_label19_false-unreach-call.c |
timeout |
950 |
499 |
8983728128 |
7500 |
apollon156 |
timeout |
208 |
48.0 |
8508559360 |
1180 |
apollon007 |
unknown |
.0288 |
.0297 |
921600 |
.00525 |
apollon166 |
eca-rers2012/Problem09_label20_false-unreach-call.c |
timeout |
951 |
522 |
9011068928 |
7240 |
apollon116 |
timeout |
208 |
47.5 |
7901429760 |
1120 |
apollon022 |
unknown |
.0226 |
.0224 |
774144 |
.00787 |
apollon019 |
eca-rers2012/Problem09_label32_false-unreach-call.c |
timeout |
951 |
508 |
10505957376 |
6800 |
apollon003 |
timeout |
202 |
48.2 |
7967354880 |
1060 |
apollon042 |
unknown |
.0110 |
.0112 |
745472 |
.00684 |
apollon031 |
eca-rers2012/Problem09_label34_false-unreach-call.c |
timeout |
950 |
507 |
10166013952 |
7290 |
apollon032 |
timeout |
208 |
48.0 |
8333127680 |
1040 |
apollon086 |
unknown |
.00849 |
.00910 |
765952 |
.0104 |
apollon069 |
eca-rers2012/Problem09_label35_false-unreach-call.c |
timeout |
950 |
512 |
10005020672 |
8290 |
apollon030 |
timeout |
208 |
47.7 |
8162086912 |
1060 |
apollon095 |
unknown |
.0245 |
.0247 |
1036288 |
.00708 |
apollon095 |
eca-rers2012/Problem09_label36_false-unreach-call.c |
timeout |
950 |
444 |
12251193344 |
7320 |
apollon027 |
timeout |
208 |
47.1 |
6265004032 |
1040 |
apollon152 |
unknown |
.00683 |
.0100 |
782336 |
.00903 |
apollon149 |
eca-rers2012/Problem09_label38_false-unreach-call.c |
timeout |
951 |
489 |
10628268032 |
8270 |
apollon030 |
timeout |
208 |
47.6 |
8080125952 |
1050 |
apollon135 |
unknown |
.00822 |
.0125 |
929792 |
.0121 |
apollon107 |
eca-rers2012/Problem09_label41_false-unreach-call.c |
timeout |
951 |
505 |
9177198592 |
7220 |
apollon154 |
timeout |
208 |
46.5 |
6325432320 |
1030 |
apollon118 |
unknown |
.00837 |
.00808 |
843776 |
.00000 |
apollon125 |
eca-rers2012/Problem09_label44_false-unreach-call.c |
timeout |
950 |
488 |
12256870400 |
7640 |
apollon033 |
timeout |
208 |
48.6 |
8295473152 |
1060 |
apollon102 |
unknown |
.0159 |
.0164 |
958464 |
.0129 |
apollon016 |
eca-rers2012/Problem09_label46_false-unreach-call.c |
timeout |
951 |
485 |
10148687872 |
7240 |
apollon154 |
unknown |
198 |
45.6 |
6306041856 |
900 |
apollon054 |
unknown |
.0294 |
.0325 |
921600 |
.00836 |
apollon163 |
eca-rers2012/Problem09_label47_false-unreach-call.c |
timeout |
951 |
501 |
10187046912 |
7560 |
apollon156 |
timeout |
208 |
47.9 |
8608043008 |
1080 |
apollon102 |
unknown |
.00965 |
.00954 |
901120 |
.00000 |
apollon127 |
eca-rers2012/Problem09_label51_false-unreach-call.c |
timeout |
951 |
493 |
9140469760 |
7300 |
apollon117 |
timeout |
206 |
48.3 |
7884484608 |
1180 |
apollon019 |
unknown |
.0211 |
.0218 |
851968 |
.0131 |
apollon112 |
eca-rers2012/Problem09_label53_false-unreach-call.c |
timeout |
951 |
508 |
10318598144 |
7410 |
apollon154 |
timeout |
208 |
46.3 |
6325108736 |
1020 |
apollon146 |
unknown |
.00855 |
.00843 |
983040 |
.0134 |
apollon031 |
eca-rers2012/Problem09_label54_false-unreach-call.c |
timeout |
951 |
498 |
12225171456 |
6890 |
apollon143 |
timeout |
208 |
47.5 |
8056631296 |
1060 |
apollon087 |
unknown |
.0101 |
.0100 |
905216 |
.00617 |
apollon035 |
eca-rers2012/Problem09_label56_false-unreach-call.c |
timeout |
951 |
525 |
8958664704 |
8160 |
apollon017 |
timeout |
208 |
48.2 |
8368185344 |
1120 |
apollon091 |
unknown |
.0137 |
.0152 |
876544 |
.0115 |
apollon011 |
eca-rers2012/Problem09_label57_false-unreach-call.c |
timeout |
951 |
460 |
12361846784 |
7950 |
apollon030 |
timeout |
208 |
46.9 |
6275817472 |
1010 |
apollon102 |
unknown |
.0126 |
.0125 |
888832 |
.00928 |
apollon027 |
eca-rers2012/Problem09_label59_false-unreach-call.c |
timeout |
950 |
461 |
12257251328 |
6920 |
apollon105 |
timeout |
208 |
47.4 |
6060261376 |
1170 |
apollon125 |
unknown |
.0128 |
.0133 |
1011712 |
.0198 |
apollon156 |
eca-rers2012/Problem10_label12_false-unreach-call.c |
false(unreach-call) |
11.2 |
2.97 |
485199872 |
86.9 |
apollon108 |
unknown |
102 |
79.6 |
3852480512 |
1280 |
apollon077 |
timeout |
951 |
924 |
9568489472 |
11600 |
apollon027 |
eca-rers2012/Problem10_label15_false-unreach-call.c |
false(unreach-call) |
11.0 |
3.25 |
503922688 |
109 |
apollon106 |
unknown |
103 |
77.9 |
3865231360 |
1220 |
apollon141 |
timeout |
951 |
925 |
9571168256 |
9860 |
apollon073 |
eca-rers2012/Problem10_label24_false-unreach-call.c |
false(unreach-call) |
11.7 |
3.53 |
674467840 |
89.2 |
apollon110 |
unknown |
104 |
78.5 |
3798462464 |
1220 |
apollon093 |
timeout |
951 |
910 |
10271158272 |
9940 |
apollon154 |
eca-rers2012/Problem10_label26_false-unreach-call.c |
false(unreach-call) |
12.4 |
3.87 |
780038144 |
97.6 |
apollon046 |
false(unreach-call) |
51.9 |
26.2 |
2775261184 |
495 |
apollon095 |
unknown |
.0144 |
.0147 |
1052672 |
.00000 |
apollon079 |
eca-rers2012/Problem10_label28_false-unreach-call.c |
false(unreach-call) |
11.2 |
3.09 |
519462912 |
96.9 |
apollon008 |
false(unreach-call) |
55.0 |
28.0 |
2617856000 |
492 |
apollon123 |
unknown |
.0184 |
.0194 |
802816 |
.00586 |
apollon126 |
eca-rers2012/Problem10_label29_false-unreach-call.c |
false(unreach-call) |
11.0 |
3.04 |
509964288 |
88.0 |
apollon020 |
unknown |
111 |
94.5 |
2059034624 |
1570 |
apollon160 |
unknown |
.0192 |
.0187 |
831488 |
.00659 |
apollon085 |
eca-rers2012/Problem10_label41_false-unreach-call.c |
false(unreach-call) |
7.43 |
2.07 |
321544192 |
49.8 |
apollon092 |
false(unreach-call) |
22.2 |
7.64 |
1027072000 |
204 |
apollon067 |
unknown |
.00999 |
.0148 |
851968 |
.0153 |
apollon037 |
eca-rers2012/Problem10_label42_false-unreach-call.c |
false(unreach-call) |
8.39 |
2.32 |
358445056 |
66.2 |
apollon142 |
false(unreach-call) |
26.3 |
7.91 |
1087602688 |
246 |
apollon044 |
unknown |
.00781 |
.00777 |
917504 |
.00000 |
apollon129 |
eca-rers2012/Problem10_label46_false-unreach-call.c |
false(unreach-call) |
5.50 |
1.72 |
287330304 |
48.7 |
apollon155 |
false(unreach-call) |
9.80 |
2.73 |
464928768 |
72.2 |
apollon116 |
unknown |
.0135 |
.0132 |
897024 |
.0143 |
apollon132 |
eca-rers2012/Problem10_label47_false-unreach-call.c |
false(unreach-call) |
8.86 |
2.45 |
433467392 |
71.7 |
apollon146 |
false(unreach-call) |
22.6 |
7.29 |
998539264 |
199 |
apollon052 |
unknown |
.0133 |
.0130 |
843776 |
.0118 |
apollon068 |
eca-rers2012/Problem10_label48_false-unreach-call.c |
false(unreach-call) |
12.8 |
3.63 |
749072384 |
99.4 |
apollon076 |
false(unreach-call) |
71.6 |
40.0 |
3753500672 |
762 |
apollon167 |
unknown |
.0143 |
.0139 |
905216 |
.00922 |
apollon037 |
eca-rers2012/Problem10_label50_false-unreach-call.c |
false(unreach-call) |
9.97 |
2.82 |
478191616 |
71.6 |
apollon149 |
false(unreach-call) |
69.9 |
39.8 |
2922524672 |
682 |
apollon087 |
unknown |
.0121 |
.0133 |
946176 |
.0115 |
apollon129 |
eca-rers2012/Problem10_label55_false-unreach-call.c |
false(unreach-call) |
8.04 |
2.23 |
336703488 |
65.6 |
apollon074 |
false(unreach-call) |
23.0 |
6.36 |
820457472 |
198 |
apollon032 |
unknown |
.00985 |
.0139 |
958464 |
.0328 |
apollon056 |
eca-rers2012/Problem10_label57_false-unreach-call.c |
false(unreach-call) |
12.0 |
3.28 |
511315968 |
83.5 |
apollon120 |
unknown |
101 |
74.7 |
3942776832 |
1080 |
apollon025 |
timeout |
951 |
918 |
10218745856 |
10200 |
apollon133 |
eca-rers2012/Problem10_label58_false-unreach-call.c |
false(unreach-call) |
12.7 |
3.91 |
689909760 |
84.6 |
apollon092 |
false(unreach-call) |
58.5 |
30.1 |
2733395968 |
594 |
apollon076 |
unknown |
.00994 |
.0100 |
724992 |
.00964 |
apollon026 |
eca-rers2012/Problem11_label00_false-unreach-call.c |
false(unreach-call) |
14.7 |
4.15 |
793051136 |
122 |
apollon008 |
unknown |
101 |
66.5 |
3878912000 |
1190 |
apollon140 |
timeout |
951 |
602 |
7871463424 |
8360 |
apollon107 |
eca-rers2012/Problem11_label08_false-unreach-call.c |
false(unreach-call) |
11.5 |
3.31 |
571895808 |
103 |
apollon030 |
false(unreach-call) |
79.3 |
47.0 |
2922201088 |
761 |
apollon053 |
unknown |
.00948 |
.00968 |
983040 |
.00665 |
apollon157 |
eca-rers2012/Problem11_label14_false-unreach-call.c |
false(unreach-call) |
9.93 |
2.58 |
444682240 |
85.2 |
apollon033 |
false(unreach-call) |
73.4 |
46.3 |
3430113280 |
783 |
apollon102 |
unknown |
.0229 |
.0246 |
1044480 |
.00293 |
apollon063 |
eca-rers2012/Problem11_label15_false-unreach-call.c |
false(unreach-call) |
12.8 |
3.33 |
536068096 |
105 |
apollon007 |
false(unreach-call) |
97.6 |
62.8 |
3882602496 |
1110 |
apollon091 |
unknown |
.0103 |
.0107 |
937984 |
.00671 |
apollon153 |
eca-rers2012/Problem11_label20_false-unreach-call.c |
false(unreach-call) |
15.5 |
5.11 |
896118784 |
127 |
apollon146 |
unknown |
102 |
70.7 |
3618484224 |
1120 |
apollon120 |
timeout |
950 |
810 |
8671203328 |
8590 |
apollon149 |
eca-rers2012/Problem11_label29_false-unreach-call.c |
false(unreach-call) |
12.1 |
3.08 |
492699648 |
81.0 |
apollon041 |
false(unreach-call) |
78.0 |
46.2 |
3808907264 |
890 |
apollon161 |
unknown |
.0150 |
.0157 |
987136 |
.00604 |
apollon116 |
eca-rers2012/Problem11_label31_false-unreach-call.c |
false(unreach-call) |
14.3 |
3.85 |
793985024 |
112 |
apollon162 |
unknown |
101 |
70.1 |
3869175808 |
1050 |
apollon109 |
timeout |
951 |
814 |
8671723520 |
9550 |
apollon087 |
eca-rers2012/Problem11_label34_false-unreach-call.c |
false(unreach-call) |
14.4 |
4.28 |
781381632 |
102 |
apollon156 |
unknown |
102 |
63.6 |
3862982656 |
1260 |
apollon039 |
timeout |
951 |
815 |
8699998208 |
9260 |
apollon121 |
eca-rers2012/Problem11_label36_false-unreach-call.c |
false(unreach-call) |
11.4 |
3.21 |
509911040 |
79.7 |
apollon073 |
false(unreach-call) |
79.9 |
48.0 |
3521294336 |
747 |
apollon099 |
unknown |
.0135 |
.0132 |
880640 |
.00934 |
apollon033 |
eca-rers2012/Problem11_label39_false-unreach-call.c |
false(unreach-call) |
16.7 |
4.97 |
888913920 |
124 |
apollon085 |
unknown |
112 |
90.9 |
2582716416 |
1280 |
apollon107 |
unknown |
.0112 |
.0111 |
905216 |
.0137 |
apollon084 |
eca-rers2012/Problem11_label42_false-unreach-call.c |
false(unreach-call) |
9.51 |
2.57 |
441659392 |
72.2 |
apollon095 |
false(unreach-call) |
82.9 |
46.2 |
3621265408 |
798 |
apollon072 |
unknown |
.0128 |
.0127 |
946176 |
.00775 |
apollon166 |
eca-rers2012/Problem11_label43_false-unreach-call.c |
false(unreach-call) |
10.7 |
3.00 |
512892928 |
77.6 |
apollon054 |
false(unreach-call) |
58.2 |
29.2 |
3046948864 |
541 |
apollon079 |
unknown |
.00990 |
.0101 |
983040 |
.0148 |
apollon014 |
eca-rers2012/Problem11_label49_false-unreach-call.c |
false(unreach-call) |
11.0 |
2.81 |
503144448 |
83.7 |
apollon135 |
false(unreach-call) |
61.2 |
34.6 |
2752864256 |
570 |
apollon117 |
unknown |
.0131 |
.0151 |
921600 |
.0103 |
apollon052 |
eca-rers2012/Problem11_label51_false-unreach-call.c |
false(unreach-call) |
14.2 |
3.83 |
539774976 |
101 |
apollon139 |
unknown |
104 |
67.8 |
3895652352 |
1140 |
apollon009 |
timeout |
950 |
854 |
8513257472 |
11900 |
apollon088 |
eca-rers2012/Problem11_label58_false-unreach-call.c |
false(unreach-call) |
12.5 |
3.34 |
506834944 |
106 |
apollon036 |
false(unreach-call) |
73.0 |
43.0 |
3722469376 |
692 |
apollon089 |
unknown |
.0124 |
.0120 |
864256 |
.0147 |
apollon071 |
eca-rers2012/Problem12_label00_false-unreach-call.c |
false(unreach-call) |
73.8 |
37.7 |
4537794560 |
627 |
apollon165 |
unknown |
104 |
69.0 |
3791540224 |
1020 |
apollon128 |
true |
7.86 |
2.59 |
289730560 |
73.3 |
apollon108 |
eca-rers2012/Problem12_label03_false-unreach-call.c |
false(unreach-call) |
40.0 |
16.8 |
3296641024 |
337 |
apollon146 |
unknown |
103 |
69.1 |
3204005888 |
1020 |
apollon022 |
unknown |
18.6 |
5.99 |
595771392 |
152 |
apollon004 |
eca-rers2012/Problem12_label06_false-unreach-call.c |
false(unreach-call) |
75.1 |
38.4 |
4543815680 |
692 |
apollon019 |
unknown |
101 |
67.2 |
2938896384 |
1110 |
apollon071 |
true |
23.5 |
7.42 |
598601728 |
174 |
apollon029 |
eca-rers2012/Problem12_label07_false-unreach-call.c |
out of memory |
563 |
365 |
14999998464 |
5930 |
apollon057 |
unknown |
103 |
66.7 |
3736432640 |
1150 |
apollon005 |
unknown |
18.6 |
5.99 |
611639296 |
149 |
apollon150 |
eca-rers2012/Problem12_label08_false-unreach-call.c |
false(unreach-call) |
78.1 |
39.6 |
4541620224 |
712 |
apollon164 |
unknown |
104 |
70.7 |
3579564032 |
1030 |
apollon127 |
unknown |
17.4 |
5.71 |
593219584 |
148 |
apollon071 |
eca-rers2012/Problem12_label10_false-unreach-call.c |
false(unreach-call) |
64.7 |
31.9 |
4320915456 |
563 |
apollon147 |
unknown |
103 |
69.7 |
3574857728 |
1020 |
apollon099 |
unknown |
18.6 |
5.73 |
601976832 |
150 |
apollon018 |
eca-rers2012/Problem12_label13_false-unreach-call.c |
false(unreach-call) |
78.9 |
40.7 |
4538998784 |
618 |
apollon013 |
unknown |
105 |
69.3 |
3138215936 |
1110 |
apollon087 |
unknown |
17.4 |
5.78 |
597925888 |
133 |
apollon054 |
eca-rers2012/Problem12_label19_false-unreach-call.c |
false(unreach-call) |
76.1 |
38.5 |
4523753472 |
660 |
apollon146 |
unknown |
105 |
71.2 |
3643944960 |
1230 |
apollon030 |
unknown |
18.6 |
5.89 |
588185600 |
148 |
apollon035 |
eca-rers2012/Problem12_label20_false-unreach-call.c |
false(unreach-call) |
63.0 |
28.4 |
4317011968 |
511 |
apollon032 |
unknown |
103 |
67.6 |
3796029440 |
974 |
apollon117 |
unknown |
18.3 |
5.85 |
585289728 |
160 |
apollon140 |
eca-rers2012/Problem12_label21_false-unreach-call.c |
false(unreach-call) |
76.6 |
38.7 |
4529283072 |
602 |
apollon003 |
unknown |
111 |
74.3 |
3795349504 |
1130 |
apollon079 |
true |
7.69 |
2.51 |
300871680 |
60.2 |
apollon058 |
eca-rers2012/Problem12_label25_false-unreach-call.c |
false(unreach-call) |
43.1 |
19.4 |
4060360704 |
346 |
apollon075 |
unknown |
103 |
66.9 |
3822391296 |
1040 |
apollon156 |
unknown |
18.3 |
5.80 |
587440128 |
164 |
apollon057 |
eca-rers2012/Problem12_label28_false-unreach-call.c |
false(unreach-call) |
44.3 |
20.1 |
4071202816 |
393 |
apollon091 |
unknown |
102 |
65.9 |
2766606336 |
1070 |
apollon142 |
unknown |
18.3 |
5.95 |
608415744 |
171 |
apollon021 |
eca-rers2012/Problem12_label30_false-unreach-call.c |
false(unreach-call) |
62.9 |
29.3 |
4321755136 |
548 |
apollon005 |
unknown |
102 |
68.6 |
3727163392 |
949 |
apollon054 |
unknown |
20.7 |
8.32 |
616599552 |
180 |
apollon011 |
eca-rers2012/Problem12_label34_false-unreach-call.c |
false(unreach-call) |
72.6 |
37.5 |
4548612096 |
680 |
apollon132 |
unknown |
104 |
74.2 |
3793956864 |
1020 |
apollon098 |
unknown |
18.8 |
6.28 |
595980288 |
141 |
apollon003 |
eca-rers2012/Problem12_label35_false-unreach-call.c |
false(unreach-call) |
58.7 |
26.7 |
4313042944 |
451 |
apollon129 |
unknown |
105 |
72.9 |
3770822656 |
1020 |
apollon022 |
unknown |
18.3 |
6.03 |
601628672 |
140 |
apollon013 |
eca-rers2012/Problem12_label37_false-unreach-call.c |
false(unreach-call) |
44.7 |
20.8 |
4070612992 |
361 |
apollon127 |
unknown |
107 |
69.9 |
3538382848 |
1000 |
apollon040 |
unknown |
19.5 |
5.94 |
600764416 |
152 |
apollon162 |
eca-rers2012/Problem12_label38_false-unreach-call.c |
false(unreach-call) |
64.2 |
29.4 |
4314112000 |
564 |
apollon068 |
unknown |
102 |
68.7 |
3754262528 |
1030 |
apollon121 |
true |
23.1 |
7.43 |
586801152 |
207 |
apollon148 |
eca-rers2012/Problem12_label39_false-unreach-call.c |
false(unreach-call) |
75.0 |
38.4 |
4525117440 |
663 |
apollon009 |
unknown |
106 |
69.8 |
3851472896 |
1020 |
apollon157 |
unknown |
19.4 |
6.21 |
605143040 |
156 |
apollon112 |
eca-rers2012/Problem12_label40_false-unreach-call.c |
false(unreach-call) |
61.8 |
30.5 |
4328005632 |
781 |
apollon106 |
unknown |
106 |
69.2 |
3904139264 |
1280 |
apollon021 |
unknown |
17.9 |
5.76 |
589914112 |
159 |
apollon068 |
eca-rers2012/Problem12_label42_false-unreach-call.c |
false(unreach-call) |
64.4 |
29.5 |
4321239040 |
511 |
apollon037 |
unknown |
101 |
66.7 |
3841110016 |
998 |
apollon015 |
unknown |
18.7 |
6.01 |
615342080 |
154 |
apollon071 |
eca-rers2012/Problem12_label48_false-unreach-call.c |
false(unreach-call) |
79.8 |
42.1 |
4539334656 |
704 |
apollon046 |
unknown |
101 |
66.9 |
2858913792 |
1040 |
apollon072 |
true |
7.70 |
2.50 |
284545024 |
69.8 |
apollon020 |
eca-rers2012/Problem12_label50_false-unreach-call.c |
false(unreach-call) |
38.6 |
16.2 |
3333361664 |
331 |
apollon048 |
unknown |
109 |
75.6 |
3867303936 |
1180 |
apollon141 |
unknown |
16.9 |
5.66 |
596774912 |
130 |
apollon158 |
eca-rers2012/Problem12_label51_false-unreach-call.c |
false(unreach-call) |
79.1 |
42.6 |
4527419392 |
763 |
apollon065 |
unknown |
109 |
76.6 |
4069789696 |
1010 |
apollon151 |
unknown |
18.6 |
6.03 |
585428992 |
136 |
apollon054 |
eca-rers2012/Problem12_label52_false-unreach-call.c |
false(unreach-call) |
79.1 |
41.1 |
4534779904 |
760 |
apollon033 |
unknown |
109 |
77.2 |
3925180416 |
1060 |
apollon045 |
unknown |
19.1 |
5.90 |
594546688 |
164 |
apollon118 |
eca-rers2012/Problem12_label55_false-unreach-call.c |
false(unreach-call) |
69.8 |
35.5 |
4339822592 |
612 |
apollon015 |
unknown |
103 |
74.3 |
3883065344 |
1080 |
apollon026 |
unknown |
17.5 |
5.83 |
586366976 |
162 |
apollon108 |
eca-rers2012/Problem13_label04_false-unreach-call.c |
false(unreach-call) |
41.8 |
18.9 |
3921723392 |
314 |
apollon098 |
unknown |
103 |
75.4 |
3445817344 |
1070 |
apollon116 |
out of memory |
646 |
479 |
14999998464 |
5050 |
apollon037 |
eca-rers2012/Problem13_label06_false-unreach-call.c |
false(unreach-call) |
48.2 |
23.5 |
4100689920 |
435 |
apollon020 |
unknown |
103 |
74.4 |
2894573568 |
1080 |
apollon121 |
out of memory |
673 |
501 |
14999998464 |
5320 |
apollon083 |
eca-rers2012/Problem13_label07_false-unreach-call.c |
false(unreach-call) |
27.4 |
10.1 |
2032234496 |
213 |
apollon166 |
unknown |
103 |
75.2 |
3662053376 |
1100 |
apollon072 |
out of memory |
698 |
513 |
14999998464 |
6000 |
apollon008 |
eca-rers2012/Problem13_label11_false-unreach-call.c |
false(unreach-call) |
34.3 |
13.5 |
2825658368 |
255 |
apollon045 |
unknown |
104 |
75.6 |
3077165056 |
1370 |
apollon057 |
out of memory |
624 |
466 |
14999998464 |
5280 |
apollon050 |
eca-rers2012/Problem13_label12_false-unreach-call.c |
false(unreach-call) |
61.1 |
26.9 |
4331286528 |
453 |
apollon128 |
unknown |
102 |
73.3 |
3113517056 |
1110 |
apollon165 |
true |
8.14 |
2.61 |
282005504 |
65.9 |
apollon002 |
eca-rers2012/Problem13_label16_false-unreach-call.c |
false(unreach-call) |
29.7 |
11.0 |
2712715264 |
246 |
apollon167 |
unknown |
103 |
73.7 |
3537522688 |
1100 |
apollon082 |
out of memory |
709 |
532 |
14999998464 |
5490 |
apollon145 |
eca-rers2012/Problem13_label19_false-unreach-call.c |
false(unreach-call) |
48.7 |
22.9 |
4083625984 |
446 |
apollon081 |
unknown |
107 |
76.6 |
3284111360 |
1110 |
apollon135 |
out of memory |
651 |
482 |
14999998464 |
5360 |
apollon147 |
eca-rers2012/Problem13_label21_false-unreach-call.c |
false(unreach-call) |
36.9 |
14.9 |
2920947712 |
264 |
apollon054 |
unknown |
105 |
76.0 |
3130699776 |
1130 |
apollon011 |
out of memory |
678 |
517 |
14999998464 |
6010 |
apollon005 |
eca-rers2012/Problem13_label23_false-unreach-call.c |
false(unreach-call) |
36.7 |
15.0 |
2917437440 |
310 |
apollon055 |
unknown |
102 |
74.5 |
3521908736 |
1090 |
apollon107 |
out of memory |
690 |
491 |
14999998464 |
6100 |
apollon155 |
eca-rers2012/Problem13_label24_false-unreach-call.c |
false(unreach-call) |
47.2 |
22.8 |
4094795776 |
435 |
apollon007 |
unknown |
103 |
74.7 |
3495542784 |
1150 |
apollon015 |
true |
8.03 |
2.64 |
291061760 |
61.5 |
apollon133 |
eca-rers2012/Problem13_label25_false-unreach-call.c |
false(unreach-call) |
63.7 |
29.4 |
4327403520 |
518 |
apollon049 |
unknown |
102 |
74.1 |
3667419136 |
963 |
apollon123 |
out of memory |
637 |
473 |
14999998464 |
5530 |
apollon155 |
eca-rers2012/Problem13_label28_false-unreach-call.c |
false(unreach-call) |
62.8 |
29.5 |
4338262016 |
509 |
apollon050 |
unknown |
106 |
77.4 |
3165421568 |
1050 |
apollon089 |
out of memory |
643 |
479 |
14999998464 |
5200 |
apollon102 |
eca-rers2012/Problem13_label29_false-unreach-call.c |
false(unreach-call) |
64.7 |
30.0 |
4335005696 |
588 |
apollon044 |
unknown |
103 |
73.3 |
3610001408 |
1070 |
apollon119 |
out of memory |
666 |
495 |
14999998464 |
5150 |
apollon135 |
eca-rers2012/Problem13_label30_false-unreach-call.c |
false(unreach-call) |
38.1 |
15.1 |
2921000960 |
339 |
apollon125 |
unknown |
103 |
74.8 |
3851698176 |
988 |
apollon029 |
out of memory |
657 |
486 |
14999998464 |
5220 |
apollon031 |
eca-rers2012/Problem13_label32_false-unreach-call.c |
false(unreach-call) |
49.1 |
23.8 |
4141375488 |
372 |
apollon151 |
unknown |
103 |
76.5 |
3131809792 |
1080 |
apollon116 |
out of memory |
698 |
505 |
14999998464 |
6690 |
apollon130 |
eca-rers2012/Problem13_label35_false-unreach-call.c |
false(unreach-call) |
43.2 |
19.6 |
4064878592 |
391 |
apollon008 |
unknown |
102 |
76.8 |
2268880896 |
1150 |
apollon032 |
true |
8.12 |
2.59 |
285581312 |
62.4 |
apollon117 |
eca-rers2012/Problem13_label36_false-unreach-call.c |
false(unreach-call) |
49.6 |
24.0 |
4139286528 |
423 |
apollon156 |
unknown |
102 |
73.1 |
3050106880 |
1330 |
apollon057 |
out of memory |
631 |
484 |
14999998464 |
4820 |
apollon089 |
eca-rers2012/Problem13_label40_false-unreach-call.c |
false(unreach-call) |
46.4 |
22.5 |
4103430144 |
429 |
apollon027 |
unknown |
102 |
72.8 |
3755278336 |
1090 |
apollon102 |
true |
7.71 |
2.56 |
287199232 |
61.8 |
apollon115 |
eca-rers2012/Problem13_label43_false-unreach-call.c |
false(unreach-call) |
46.6 |
22.3 |
4067225600 |
399 |
apollon049 |
unknown |
103 |
76.9 |
3208593408 |
1200 |
apollon017 |
out of memory |
645 |
482 |
14999998464 |
4670 |
apollon054 |
eca-rers2012/Problem13_label44_false-unreach-call.c |
false(unreach-call) |
30.8 |
12.0 |
2808057856 |
254 |
apollon078 |
unknown |
103 |
76.2 |
3306442752 |
1070 |
apollon060 |
out of memory |
649 |
487 |
14999998464 |
5270 |
apollon162 |
eca-rers2012/Problem13_label45_false-unreach-call.c |
false(unreach-call) |
48.1 |
23.7 |
4139388928 |
385 |
apollon002 |
unknown |
104 |
78.0 |
3438481408 |
1100 |
apollon099 |
true |
8.11 |
2.62 |
288096256 |
71.1 |
apollon077 |
eca-rers2012/Problem13_label48_false-unreach-call.c |
false(unreach-call) |
43.8 |
19.5 |
4068155392 |
381 |
apollon077 |
unknown |
102 |
72.8 |
3641856000 |
1040 |
apollon012 |
out of memory |
580 |
441 |
14999998464 |
5450 |
apollon047 |
eca-rers2012/Problem13_label51_false-unreach-call.c |
false(unreach-call) |
37.7 |
16.0 |
2970157056 |
289 |
apollon134 |
unknown |
103 |
74.9 |
3261374464 |
1280 |
apollon148 |
out of memory |
635 |
481 |
14999998464 |
5740 |
apollon052 |
eca-rers2012/Problem13_label54_false-unreach-call.c |
false(unreach-call) |
33.1 |
13.1 |
2827825152 |
295 |
apollon033 |
unknown |
103 |
74.0 |
3327623168 |
1110 |
apollon004 |
out of memory |
647 |
480 |
14999998464 |
5700 |
apollon142 |
eca-rers2012/Problem13_label58_false-unreach-call.c |
false(unreach-call) |
37.4 |
15.1 |
2915897344 |
315 |
apollon010 |
unknown |
101 |
74.0 |
3087429632 |
1020 |
apollon117 |
true |
9.28 |
2.88 |
304009216 |
78.7 |
apollon091 |
eca-rers2012/Problem14_label02_false-unreach-call_false-termination.c |
false(unreach-call) |
15.8 |
4.95 |
911261696 |
119 |
apollon129 |
unknown |
101 |
73.5 |
3692232704 |
1190 |
apollon009 |
unknown |
14.8 |
5.12 |
565645312 |
128 |
apollon087 |
eca-rers2012/Problem14_label08_false-unreach-call_false-termination.c |
false(unreach-call) |
15.2 |
4.63 |
763088896 |
121 |
apollon105 |
unknown |
102 |
71.7 |
3787788288 |
1240 |
apollon108 |
unknown |
13.9 |
4.51 |
560369664 |
126 |
apollon064 |
eca-rers2012/Problem14_label10_false-unreach-call_false-termination.c |
false(unreach-call) |
13.5 |
3.91 |
663801856 |
111 |
apollon069 |
unknown |
102 |
69.5 |
3814748160 |
1330 |
apollon057 |
unknown |
16.3 |
5.53 |
563388416 |
137 |
apollon112 |
eca-rers2012/Problem14_label11_false-unreach-call_false-termination.c |
false(unreach-call) |
14.0 |
4.21 |
691494912 |
117 |
apollon141 |
unknown |
102 |
74.1 |
3712696320 |
1150 |
apollon078 |
unknown |
17.5 |
6.10 |
575959040 |
143 |
apollon121 |
eca-rers2012/Problem14_label12_false-unreach-call_false-termination.c |
false(unreach-call) |
16.2 |
5.11 |
889565184 |
132 |
apollon010 |
unknown |
102 |
72.7 |
3725533184 |
1120 |
apollon095 |
unknown |
15.0 |
5.00 |
561516544 |
123 |
apollon129 |
eca-rers2012/Problem14_label13_false-unreach-call_false-termination.c |
false(unreach-call) |
14.5 |
4.35 |
694845440 |
123 |
apollon081 |
unknown |
102 |
71.1 |
3905859584 |
1030 |
apollon089 |
unknown |
13.1 |
4.08 |
552038400 |
99.3 |
apollon099 |
eca-rers2012/Problem14_label14_false-unreach-call_false-termination.c |
false(unreach-call) |
15.0 |
4.22 |
651898880 |
110 |
apollon102 |
unknown |
102 |
73.3 |
3723591680 |
1170 |
apollon004 |
unknown |
16.0 |
5.47 |
564781056 |
141 |
apollon015 |
eca-rers2012/Problem14_label18_false-unreach-call_false-termination.c |
false(unreach-call) |
14.4 |
4.63 |
754536448 |
122 |
apollon114 |
unknown |
102 |
77.2 |
3956133888 |
1140 |
apollon135 |
timeout |
951 |
622 |
10445398016 |
8000 |
apollon120 |
eca-rers2012/Problem14_label22_false-unreach-call_false-termination.c |
false(unreach-call) |
15.6 |
4.71 |
753995776 |
125 |
apollon156 |
unknown |
101 |
67.2 |
3828346880 |
1060 |
apollon026 |
unknown |
14.2 |
4.61 |
563277824 |
118 |
apollon104 |
eca-rers2012/Problem14_label27_false-unreach-call_false-termination.c |
false(unreach-call) |
13.8 |
4.04 |
636428288 |
108 |
apollon074 |
unknown |
102 |
73.2 |
3807346688 |
1250 |
apollon108 |
unknown |
14.4 |
5.15 |
555638784 |
136 |
apollon122 |
eca-rers2012/Problem14_label28_false-unreach-call_false-termination.c |
false(unreach-call) |
16.3 |
5.01 |
899571712 |
125 |
apollon062 |
unknown |
102 |
75.3 |
3834126336 |
1200 |
apollon009 |
unknown |
14.1 |
4.63 |
554754048 |
133 |
apollon020 |
eca-rers2012/Problem14_label29_false-unreach-call_false-termination.c |
false(unreach-call) |
15.1 |
4.49 |
740708352 |
113 |
apollon107 |
unknown |
102 |
73.9 |
3712262144 |
1190 |
apollon009 |
unknown |
14.7 |
5.14 |
560799744 |
133 |
apollon005 |
eca-rers2012/Problem14_label31_false-unreach-call_false-termination.c |
false(unreach-call) |
13.5 |
4.06 |
684380160 |
98.0 |
apollon063 |
unknown |
101 |
65.5 |
3761811456 |
1050 |
apollon142 |
unknown |
14.4 |
4.97 |
550277120 |
126 |
apollon010 |
eca-rers2012/Problem14_label34_false-unreach-call_false-termination.c |
false(unreach-call) |
13.9 |
4.20 |
666615808 |
111 |
apollon087 |
unknown |
102 |
73.6 |
3759095808 |
1060 |
apollon099 |
unknown |
13.6 |
4.48 |
549515264 |
123 |
apollon064 |
eca-rers2012/Problem14_label37_false-unreach-call_false-termination.c |
false(unreach-call) |
15.3 |
4.67 |
756850688 |
115 |
apollon089 |
unknown |
102 |
71.2 |
3756347392 |
1100 |
apollon150 |
unknown |
14.4 |
4.81 |
549212160 |
133 |
apollon028 |
eca-rers2012/Problem14_label39_false-unreach-call_false-termination.c |
false(unreach-call) |
14.2 |
4.18 |
697856000 |
116 |
apollon077 |
unknown |
101 |
71.6 |
3774865408 |
1050 |
apollon127 |
unknown |
17.0 |
6.31 |
580063232 |
158 |
apollon027 |
eca-rers2012/Problem14_label40_false-unreach-call_false-termination.c |
false(unreach-call) |
15.0 |
4.48 |
747196416 |
112 |
apollon045 |
unknown |
101 |
69.0 |
3827568640 |
1110 |
apollon082 |
unknown |
14.8 |
5.12 |
568737792 |
141 |
apollon161 |
eca-rers2012/Problem14_label41_false-unreach-call_false-termination.c |
false(unreach-call) |
15.7 |
5.02 |
874414080 |
132 |
apollon166 |
unknown |
102 |
71.3 |
3829813248 |
1040 |
apollon100 |
unknown |
15.6 |
5.28 |
561815552 |
144 |
apollon069 |
eca-rers2012/Problem14_label43_false-unreach-call_false-termination.c |
false(unreach-call) |
15.1 |
4.57 |
760164352 |
121 |
apollon032 |
unknown |
102 |
70.2 |
3969552384 |
1130 |
apollon067 |
unknown |
12.7 |
3.87 |
548184064 |
115 |
apollon008 |
eca-rers2012/Problem14_label44_false-unreach-call_false-termination.c |
false(unreach-call) |
16.2 |
4.93 |
897732608 |
127 |
apollon087 |
unknown |
101 |
73.7 |
3694800896 |
1020 |
apollon151 |
unknown |
16.1 |
5.16 |
563363840 |
131 |
apollon049 |
eca-rers2012/Problem14_label52_false-unreach-call_false-termination.c |
false(unreach-call) |
13.5 |
4.28 |
700014592 |
127 |
apollon122 |
unknown |
102 |
74.4 |
3726852096 |
1170 |
apollon087 |
unknown |
15.6 |
4.94 |
557989888 |
139 |
apollon016 |
eca-rers2012/Problem14_label54_false-unreach-call_false-termination.c |
false(unreach-call) |
15.3 |
5.00 |
880037888 |
124 |
apollon082 |
unknown |
102 |
76.7 |
3713454080 |
1200 |
apollon070 |
unknown |
14.2 |
4.99 |
548265984 |
133 |
apollon164 |
eca-rers2012/Problem14_label56_false-unreach-call_false-termination.c |
false(unreach-call) |
15.1 |
4.70 |
748027904 |
135 |
apollon122 |
unknown |
102 |
74.1 |
3738451968 |
1140 |
apollon150 |
unknown |
16.0 |
5.59 |
571150336 |
133 |
apollon135 |
eca-rers2012/Problem14_label57_false-unreach-call_false-termination.c |
false(unreach-call) |
13.7 |
3.95 |
656150528 |
101 |
apollon092 |
unknown |
101 |
71.5 |
3784613888 |
1150 |
apollon032 |
unknown |
13.2 |
4.10 |
554659840 |
118 |
apollon055 |
eca-rers2012/Problem14_label58_false-unreach-call_false-termination.c |
false(unreach-call) |
15.1 |
4.65 |
794906624 |
124 |
apollon165 |
unknown |
101 |
75.4 |
3706003456 |
1350 |
apollon016 |
unknown |
14.7 |
4.67 |
559497216 |
123 |
apollon165 |
eca-rers2012/Problem15_label00_false-unreach-call.c |
false(unreach-call) |
17.0 |
4.76 |
792743936 |
116 |
apollon073 |
unknown |
102 |
69.0 |
3349651456 |
1060 |
apollon015 |
out of memory |
820 |
501 |
14999998464 |
7250 |
apollon011 |
eca-rers2012/Problem15_label02_false-unreach-call.c |
false(unreach-call) |
15.0 |
4.11 |
638062592 |
102 |
apollon098 |
unknown |
103 |
72.1 |
2986029056 |
1090 |
apollon162 |
out of memory |
926 |
555 |
14999998464 |
7450 |
apollon083 |
eca-rers2012/Problem15_label03_false-unreach-call.c |
false(unreach-call) |
17.2 |
4.88 |
868380672 |
140 |
apollon152 |
unknown |
102 |
65.0 |
2818785280 |
982 |
apollon128 |
unknown |
17.4 |
5.69 |
571252736 |
154 |
apollon044 |
eca-rers2012/Problem15_label07_false-unreach-call.c |
false(unreach-call) |
17.3 |
4.83 |
818794496 |
132 |
apollon113 |
unknown |
102 |
68.5 |
2780704768 |
1050 |
apollon078 |
unknown |
18.9 |
5.94 |
583028736 |
170 |
apollon057 |
eca-rers2012/Problem15_label09_false-unreach-call.c |
false(unreach-call) |
17.1 |
5.03 |
795115520 |
120 |
apollon050 |
unknown |
101 |
68.9 |
3168329728 |
1070 |
apollon085 |
unknown |
17.3 |
5.66 |
579162112 |
150 |
apollon094 |
eca-rers2012/Problem15_label14_false-unreach-call.c |
false(unreach-call) |
17.1 |
5.16 |
867979264 |
145 |
apollon126 |
unknown |
103 |
72.7 |
3475062784 |
1240 |
apollon030 |
out of memory |
788 |
493 |
15002095616 |
8170 |
apollon021 |
eca-rers2012/Problem15_label15_false-unreach-call.c |
false(unreach-call) |
15.3 |
4.13 |
748032000 |
118 |
apollon121 |
unknown |
102 |
68.0 |
3205758976 |
1040 |
apollon107 |
unknown |
17.5 |
5.43 |
588464128 |
146 |
apollon091 |
eca-rers2012/Problem15_label18_false-unreach-call_false-termination.c |
false(unreach-call) |
15.4 |
4.42 |
810721280 |
125 |
apollon141 |
unknown |
104 |
69.0 |
3187466240 |
1080 |
apollon156 |
out of memory |
866 |
502 |
14999998464 |
6800 |
apollon152 |
eca-rers2012/Problem15_label22_false-unreach-call.c |
false(unreach-call) |
14.3 |
3.86 |
691404800 |
118 |
apollon093 |
unknown |
104 |
70.7 |
3306246144 |
1130 |
apollon141 |
unknown |
15.0 |
4.63 |
566140928 |
129 |
apollon168 |
eca-rers2012/Problem15_label23_false-unreach-call.c |
false(unreach-call) |
18.2 |
5.08 |
865497088 |
123 |
apollon066 |
unknown |
106 |
76.2 |
3867430912 |
1010 |
apollon123 |
timeout |
950 |
617 |
10580688896 |
7870 |
apollon110 |
eca-rers2012/Problem15_label25_false-unreach-call.c |
false(unreach-call) |
18.3 |
5.30 |
827236352 |
136 |
apollon113 |
unknown |
102 |
66.2 |
3770150912 |
1020 |
apollon150 |
true |
23.7 |
6.77 |
562847744 |
185 |
apollon035 |
eca-rers2012/Problem15_label29_false-unreach-call.c |
false(unreach-call) |
14.0 |
3.95 |
708993024 |
99.4 |
apollon151 |
unknown |
102 |
65.5 |
3823120384 |
1040 |
apollon102 |
out of memory |
933 |
557 |
15002062848 |
7750 |
apollon117 |
eca-rers2012/Problem15_label30_false-unreach-call.c |
false(unreach-call) |
15.3 |
4.70 |
852795392 |
117 |
apollon075 |
unknown |
102 |
67.7 |
3371020288 |
1030 |
apollon053 |
unknown |
17.9 |
5.51 |
569253888 |
133 |
apollon137 |
eca-rers2012/Problem15_label33_false-unreach-call.c |
false(unreach-call) |
16.6 |
4.67 |
825225216 |
137 |
apollon069 |
unknown |
103 |
68.4 |
3066548224 |
1180 |
apollon007 |
out of memory |
783 |
491 |
14999998464 |
5960 |
apollon060 |
eca-rers2012/Problem15_label34_false-unreach-call.c |
false(unreach-call) |
16.0 |
4.81 |
807563264 |
116 |
apollon075 |
unknown |
102 |
66.0 |
2954731520 |
1130 |
apollon077 |
out of memory |
835 |
484 |
14999998464 |
6920 |
apollon008 |
eca-rers2012/Problem15_label37_false-unreach-call.c |
false(unreach-call) |
16.3 |
4.21 |
769392640 |
124 |
apollon078 |
unknown |
102 |
70.7 |
3305091072 |
1250 |
apollon014 |
unknown |
16.1 |
5.43 |
575672320 |
152 |
apollon081 |
eca-rers2012/Problem15_label38_false-unreach-call.c |
false(unreach-call) |
16.5 |
4.75 |
815120384 |
128 |
apollon107 |
unknown |
101 |
67.5 |
2896482304 |
1120 |
apollon112 |
unknown |
16.9 |
5.51 |
577458176 |
142 |
apollon103 |
eca-rers2012/Problem15_label39_false-unreach-call.c |
false(unreach-call) |
16.7 |
4.56 |
817373184 |
118 |
apollon041 |
unknown |
102 |
66.9 |
3178024960 |
1060 |
apollon072 |
unknown |
17.9 |
5.87 |
571695104 |
146 |
apollon037 |
eca-rers2012/Problem15_label40_false-unreach-call.c |
false(unreach-call) |
14.6 |
3.97 |
632045568 |
100 |
apollon054 |
unknown |
103 |
69.4 |
2967285760 |
1080 |
apollon146 |
out of memory |
805 |
495 |
15002103808 |
6700 |
apollon141 |
eca-rers2012/Problem15_label41_false-unreach-call.c |
false(unreach-call) |
17.9 |
4.94 |
838344704 |
149 |
apollon036 |
unknown |
102 |
67.8 |
3190972416 |
1150 |
apollon091 |
unknown |
17.3 |
5.76 |
571052032 |
153 |
apollon141 |
eca-rers2012/Problem15_label45_false-unreach-call.c |
false(unreach-call) |
17.4 |
5.07 |
809918464 |
126 |
apollon119 |
unknown |
102 |
66.4 |
3089002496 |
1270 |
apollon057 |
out of memory |
787 |
490 |
15000006656 |
6500 |
apollon055 |
eca-rers2012/Problem15_label47_false-unreach-call.c |
false(unreach-call) |
16.9 |
4.60 |
804274176 |
127 |
apollon071 |
unknown |
102 |
66.4 |
3288174592 |
993 |
apollon089 |
unknown |
18.2 |
5.76 |
574021632 |
127 |
apollon063 |
eca-rers2012/Problem15_label48_false-unreach-call.c |
false(unreach-call) |
15.2 |
4.17 |
686055424 |
109 |
apollon003 |
unknown |
103 |
68.5 |
3558694912 |
1030 |
apollon045 |
out of memory |
744 |
467 |
14999998464 |
6340 |
apollon129 |
eca-rers2012/Problem15_label50_false-unreach-call.c |
false(unreach-call) |
16.5 |
4.47 |
808116224 |
135 |
apollon057 |
unknown |
101 |
63.2 |
3065655296 |
1020 |
apollon107 |
true |
17.6 |
4.91 |
559087616 |
130 |
apollon003 |
eca-rers2012/Problem15_label51_false-unreach-call.c |
false(unreach-call) |
17.2 |
5.28 |
864124928 |
135 |
apollon091 |
unknown |
104 |
75.6 |
3846983680 |
1310 |
apollon016 |
timeout |
955 |
579 |
13275693056 |
7780 |
apollon095 |
eca-rers2012/Problem16_label00_false-unreach-call.c |
timeout |
907 |
555 |
8807563264 |
6340 |
apollon157 |
unknown |
112 |
89.7 |
1988337664 |
1170 |
apollon089 |
unknown |
.0128 |
.0126 |
978944 |
.0108 |
apollon063 |
eca-rers2012/Problem16_label01_false-unreach-call.c |
timeout |
907 |
556 |
7394947072 |
6990 |
apollon136 |
unknown |
102 |
62.2 |
3824599040 |
1070 |
apollon076 |
unknown |
17.1 |
5.48 |
571809792 |
135 |
apollon050 |
eca-rers2012/Problem16_label03_false-unreach-call.c |
timeout |
917 |
552 |
12845879296 |
8790 |
apollon142 |
unknown |
103 |
65.1 |
3852247040 |
1090 |
apollon152 |
unknown |
18.0 |
6.17 |
580423680 |
155 |
apollon076 |
eca-rers2012/Problem16_label04_false-unreach-call.c |
out of memory |
833 |
525 |
14999998464 |
7340 |
apollon009 |
unknown |
106 |
69.9 |
3938975744 |
1050 |
apollon002 |
unknown |
18.8 |
6.20 |
585543680 |
144 |
apollon133 |
eca-rers2012/Problem16_label05_false-unreach-call.c |
out of memory |
898 |
547 |
14999998464 |
7690 |
apollon119 |
unknown |
104 |
68.2 |
3425861632 |
1180 |
apollon019 |
unknown |
17.9 |
6.24 |
585981952 |
154 |
apollon065 |
eca-rers2012/Problem16_label06_false-unreach-call.c |
out of memory |
836 |
520 |
14999998464 |
7950 |
apollon062 |
unknown |
101 |
67.9 |
3842584576 |
1100 |
apollon015 |
unknown |
17.7 |
6.07 |
577642496 |
135 |
apollon143 |
eca-rers2012/Problem16_label08_false-unreach-call.c |
out of memory |
765 |
486 |
14999998464 |
8380 |
apollon111 |
unknown |
102 |
65.3 |
3888943104 |
968 |
apollon098 |
unknown |
16.6 |
5.39 |
583258112 |
148 |
apollon094 |
eca-rers2012/Problem16_label14_false-unreach-call.c |
out of memory |
851 |
526 |
14999998464 |
6900 |
apollon143 |
unknown |
103 |
69.4 |
3708743680 |
1100 |
apollon072 |
unknown |
17.4 |
6.10 |
577802240 |
139 |
apollon123 |
eca-rers2012/Problem16_label15_false-unreach-call.c |
out of memory |
841 |
523 |
14999998464 |
6780 |
apollon157 |
unknown |
103 |
61.1 |
3711295488 |
1010 |
apollon120 |
unknown |
18.1 |
6.18 |
585670656 |
150 |
apollon042 |
eca-rers2012/Problem16_label18_false-unreach-call.c |
timeout |
911 |
557 |
13743030272 |
7300 |
apollon131 |
unknown |
102 |
71.2 |
3740741632 |
1310 |
apollon016 |
unknown |
18.1 |
6.60 |
579616768 |
156 |
apollon006 |
eca-rers2012/Problem16_label20_false-unreach-call.c |
timeout |
911 |
557 |
14367289344 |
8220 |
apollon065 |
unknown |
112 |
89.3 |
1820188672 |
1210 |
apollon045 |
unknown |
.0165 |
.0165 |
880640 |
.00500 |
apollon105 |
eca-rers2012/Problem16_label22_false-unreach-call.c |
timeout |
910 |
561 |
13509636096 |
9410 |
apollon111 |
unknown |
103 |
70.5 |
3753250816 |
1230 |
apollon167 |
unknown |
16.1 |
5.20 |
572878848 |
159 |
apollon033 |
eca-rers2012/Problem16_label27_false-unreach-call.c |
timeout |
911 |
553 |
14581972992 |
7170 |
apollon092 |
unknown |
104 |
67.6 |
3831992320 |
1030 |
apollon079 |
unknown |
14.6 |
4.65 |
572637184 |
111 |
apollon060 |
eca-rers2012/Problem16_label30_false-unreach-call.c |
timeout |
911 |
556 |
14397800448 |
7150 |
apollon041 |
unknown |
105 |
72.1 |
3881861120 |
1040 |
apollon099 |
unknown |
16.1 |
4.90 |
568438784 |
120 |
apollon058 |
eca-rers2012/Problem16_label31_false-unreach-call.c |
timeout |
911 |
552 |
14664404992 |
7810 |
apollon138 |
unknown |
106 |
70.7 |
3890802688 |
1130 |
apollon102 |
unknown |
17.2 |
5.81 |
574124032 |
143 |
apollon136 |
eca-rers2012/Problem16_label33_false-unreach-call.c |
out of memory |
896 |
551 |
14999998464 |
8370 |
apollon011 |
unknown |
105 |
65.7 |
3932274688 |
1110 |
apollon084 |
unknown |
16.1 |
5.20 |
580722688 |
131 |
apollon003 |
eca-rers2012/Problem16_label37_false-unreach-call.c |
timeout |
911 |
558 |
14667677696 |
7360 |
apollon149 |
unknown |
102 |
65.2 |
3914637312 |
948 |
apollon123 |
unknown |
16.5 |
5.41 |
572076032 |
142 |
apollon064 |
eca-rers2012/Problem16_label38_false-unreach-call.c |
timeout |
910 |
554 |
14436118528 |
9710 |
apollon130 |
unknown |
106 |
74.5 |
3923664896 |
1190 |
apollon093 |
unknown |
16.5 |
5.26 |
579923968 |
139 |
apollon042 |
eca-rers2012/Problem16_label41_false-unreach-call.c |
out of memory |
829 |
516 |
14999998464 |
6590 |
apollon151 |
unknown |
103 |
67.9 |
3817046016 |
1060 |
apollon107 |
unknown |
17.6 |
5.87 |
574685184 |
152 |
apollon028 |
eca-rers2012/Problem16_label43_false-unreach-call.c |
out of memory |
896 |
549 |
14999998464 |
7730 |
apollon110 |
unknown |
104 |
66.6 |
3683627008 |
954 |
apollon151 |
unknown |
18.8 |
6.85 |
578072576 |
153 |
apollon153 |
eca-rers2012/Problem16_label44_false-unreach-call.c |
timeout |
910 |
560 |
14057078784 |
7850 |
apollon082 |
unknown |
104 |
68.7 |
3871711232 |
1140 |
apollon084 |
unknown |
18.2 |
5.57 |
584380416 |
138 |
apollon117 |
eca-rers2012/Problem16_label46_false-unreach-call.c |
timeout |
911 |
551 |
14181502976 |
7030 |
apollon012 |
unknown |
106 |
67.8 |
3895021568 |
1130 |
apollon009 |
unknown |
16.6 |
5.88 |
567009280 |
136 |
apollon150 |
eca-rers2012/Problem16_label51_false-unreach-call.c |
timeout |
909 |
558 |
13347450880 |
7740 |
apollon067 |
unknown |
104 |
65.6 |
3796930560 |
996 |
apollon098 |
unknown |
17.5 |
6.23 |
577302528 |
151 |
apollon032 |
eca-rers2012/Problem16_label52_false-unreach-call.c |
out of memory |
854 |
533 |
14999998464 |
7380 |
apollon124 |
unknown |
102 |
61.3 |
3854917632 |
1060 |
apollon141 |
unknown |
15.7 |
5.19 |
572321792 |
136 |
apollon077 |
eca-rers2012/Problem16_label54_false-unreach-call.c |
out of memory |
876 |
541 |
14999998464 |
7150 |
apollon100 |
unknown |
102 |
65.9 |
3749208064 |
1010 |
apollon100 |
unknown |
18.7 |
6.85 |
592326656 |
152 |
apollon073 |
eca-rers2012/Problem17_label04_false-unreach-call.c |
false(unreach-call) |
20.9 |
7.26 |
1510969344 |
154 |
apollon104 |
unknown |
102 |
69.9 |
3092475904 |
949 |
apollon054 |
out of memory |
628 |
425 |
14999998464 |
5450 |
apollon058 |
eca-rers2012/Problem17_label07_false-unreach-call.c |
false(unreach-call) |
21.4 |
6.82 |
1487265792 |
181 |
apollon016 |
unknown |
103 |
67.4 |
3428421632 |
1050 |
apollon095 |
out of memory |
599 |
411 |
14999998464 |
5210 |
apollon076 |
eca-rers2012/Problem17_label09_false-unreach-call.c |
false(unreach-call) |
21.0 |
6.59 |
1304219648 |
144 |
apollon151 |
unknown |
102 |
65.9 |
3544944640 |
1050 |
apollon082 |
true |
20.1 |
5.73 |
574263296 |
166 |
apollon130 |
eca-rers2012/Problem17_label13_false-unreach-call.c |
false(unreach-call) |
24.3 |
8.21 |
1508311040 |
199 |
apollon108 |
unknown |
103 |
65.9 |
2767486976 |
1030 |
apollon107 |
timeout |
950 |
600 |
14758862848 |
7970 |
apollon018 |
eca-rers2012/Problem17_label16_false-unreach-call.c |
false(unreach-call) |
20.2 |
6.49 |
1456443392 |
148 |
apollon066 |
unknown |
102 |
71.0 |
2543337472 |
1050 |
apollon042 |
out of memory |
634 |
429 |
14999998464 |
5330 |
apollon128 |
eca-rers2012/Problem17_label20_false-unreach-call.c |
false(unreach-call) |
21.4 |
7.05 |
1501949952 |
169 |
apollon005 |
unknown |
101 |
67.9 |
2766225408 |
1340 |
apollon039 |
unknown |
17.9 |
5.93 |
592859136 |
157 |
apollon055 |
eca-rers2012/Problem17_label23_false-unreach-call.c |
false(unreach-call) |
21.3 |
7.48 |
1509601280 |
169 |
apollon034 |
unknown |
108 |
77.4 |
3378860032 |
1060 |
apollon127 |
out of memory |
682 |
458 |
14999998464 |
6440 |
apollon155 |
eca-rers2012/Problem17_label25_false-unreach-call.c |
false(unreach-call) |
19.1 |
5.66 |
918073344 |
156 |
|