array-examples/data_structures_set_multi_proc_false-unreach-call_ground.i |
unknown |
2.52 |
1.07 |
272412672 |
23.6 |
apollon152 |
timeout |
953 |
887 |
1661112320 |
8200 |
apollon018 |
array-examples/sorting_bubblesort_false-unreach-call2_ground.i |
unknown |
2.48 |
1.06 |
266936320 |
22.8 |
apollon077 |
timeout |
922 |
880 |
1236750336 |
7100 |
apollon098 |
array-examples/sorting_bubblesort_false-unreach-call_ground.i |
unknown |
2.58 |
1.06 |
271364096 |
23.2 |
apollon146 |
timeout |
920 |
881 |
1132855296 |
11700 |
apollon140 |
array-examples/sorting_selectionsort_false-unreach-call2_ground.i |
unknown |
2.52 |
1.05 |
273469440 |
25.9 |
apollon021 |
timeout |
929 |
887 |
1429590016 |
9940 |
apollon085 |
array-examples/sorting_selectionsort_false-unreach-call_ground.i |
unknown |
2.51 |
1.10 |
269996032 |
22.5 |
apollon070 |
timeout |
927 |
882 |
1528594432 |
7020 |
apollon040 |
array-examples/standard_allDiff2_false-unreach-call_ground.i |
unknown |
2.55 |
1.02 |
272674816 |
20.6 |
apollon100 |
timeout |
927 |
883 |
1404977152 |
6790 |
apollon067 |
array-examples/standard_copy1_false-unreach-call_ground.i |
unknown |
2.47 |
1.04 |
270622720 |
21.5 |
apollon012 |
timeout |
911 |
875 |
898568192 |
6090 |
apollon022 |
array-examples/standard_copy2_false-unreach-call_ground.i |
unknown |
2.63 |
1.07 |
266743808 |
24.9 |
apollon044 |
timeout |
907 |
872 |
784703488 |
7530 |
apollon155 |
array-examples/standard_copy3_false-unreach-call_ground.i |
unknown |
2.54 |
1.10 |
266362880 |
21.5 |
apollon157 |
timeout |
910 |
874 |
942006272 |
9390 |
apollon010 |
array-examples/standard_copy4_false-unreach-call_ground.i |
unknown |
2.57 |
1.05 |
271839232 |
23.3 |
apollon112 |
timeout |
911 |
874 |
975056896 |
8280 |
apollon072 |
array-examples/standard_copy5_false-unreach-call_ground.i |
unknown |
2.76 |
1.09 |
293363712 |
23.0 |
apollon025 |
timeout |
910 |
875 |
910336000 |
8500 |
apollon082 |
array-examples/standard_copy6_false-unreach-call_ground.i |
unknown |
2.47 |
1.03 |
267083776 |
22.3 |
apollon120 |
timeout |
910 |
877 |
947265536 |
7030 |
apollon054 |
array-examples/standard_copy7_false-unreach-call_ground.i |
unknown |
2.52 |
1.07 |
271093760 |
25.7 |
apollon057 |
timeout |
911 |
875 |
950042624 |
6880 |
apollon040 |
array-examples/standard_copy8_false-unreach-call_ground.i |
unknown |
2.74 |
1.13 |
269246464 |
23.6 |
apollon015 |
timeout |
911 |
874 |
974102528 |
7380 |
apollon162 |
array-examples/standard_copy9_false-unreach-call_ground.i |
unknown |
2.61 |
1.06 |
270417920 |
21.9 |
apollon045 |
timeout |
910 |
873 |
959127552 |
6760 |
apollon086 |
array-examples/standard_copyInitSum2_false-unreach-call_ground.i |
unknown |
2.44 |
1.04 |
267759616 |
21.5 |
apollon085 |
timeout |
911 |
874 |
907735040 |
6160 |
apollon157 |
array-examples/standard_init1_false-unreach-call_ground.i |
unknown |
2.45 |
1.04 |
267902976 |
20.9 |
apollon157 |
timeout |
910 |
874 |
976306176 |
7360 |
apollon040 |
array-examples/standard_init2_false-unreach-call_ground.i |
unknown |
2.38 |
1.03 |
268550144 |
22.5 |
apollon067 |
timeout |
910 |
872 |
876417024 |
6900 |
apollon159 |
array-examples/standard_init3_false-unreach-call_ground.i |
unknown |
2.47 |
1.02 |
271982592 |
25.8 |
apollon021 |
timeout |
911 |
873 |
928141312 |
6970 |
apollon086 |
array-examples/standard_init4_false-unreach-call_ground.i |
unknown |
2.61 |
1.08 |
274423808 |
20.3 |
apollon089 |
timeout |
910 |
871 |
944635904 |
7060 |
apollon009 |
array-examples/standard_init5_false-unreach-call_ground.i |
unknown |
2.56 |
1.04 |
266813440 |
22.3 |
apollon118 |
timeout |
910 |
873 |
954302464 |
10600 |
apollon088 |
array-examples/standard_init6_false-unreach-call_ground.i |
unknown |
2.57 |
1.05 |
267812864 |
23.4 |
apollon152 |
timeout |
909 |
872 |
884588544 |
7520 |
apollon127 |
array-examples/standard_init7_false-unreach-call_ground.i |
unknown |
2.48 |
1.04 |
269676544 |
25.6 |
apollon021 |
timeout |
910 |
871 |
880590848 |
6480 |
apollon145 |
array-examples/standard_init8_false-unreach-call_ground.i |
unknown |
2.50 |
1.06 |
268128256 |
21.8 |
apollon018 |
timeout |
912 |
873 |
951259136 |
6560 |
apollon158 |
array-examples/standard_init9_false-unreach-call_ground.i |
unknown |
2.54 |
1.05 |
269008896 |
26.2 |
apollon039 |
timeout |
910 |
873 |
898207744 |
9920 |
apollon142 |
array-examples/standard_minInArray_false-unreach-call_ground.i |
unknown |
2.61 |
1.02 |
267812864 |
23.6 |
apollon015 |
timeout |
920 |
877 |
1117040640 |
6080 |
apollon037 |
array-examples/standard_partition_false-unreach-call_ground.i |
unknown |
2.51 |
1.06 |
268705792 |
21.6 |
apollon082 |
timeout |
918 |
877 |
1114583040 |
8590 |
apollon129 |
array-examples/standard_running_false-unreach-call.i |
unknown |
2.64 |
1.07 |
264208384 |
21.3 |
apollon053 |
timeout |
920 |
882 |
1082241024 |
7940 |
apollon105 |
array-examples/data_structures_set_multi_proc_trivial_true-unreach-call_ground_true-termination.i |
unknown |
2.60 |
1.06 |
272642048 |
20.8 |
apollon151 |
timeout |
954 |
888 |
1641062400 |
8770 |
apollon087 |
array-examples/data_structures_set_multi_proc_true-unreach-call_ground.i |
unknown |
2.47 |
1.06 |
266264576 |
20.2 |
apollon117 |
timeout |
953 |
887 |
1673809920 |
8870 |
apollon109 |
array-examples/relax_true-unreach-call.i |
unknown |
6.31 |
2.05 |
316092416 |
54.9 |
apollon007 |
timeout |
901 |
893 |
2806034432 |
6130 |
apollon082 |
array-examples/sanfoundry_02_true-unreach-call_ground.i |
unknown |
2.54 |
1.05 |
269328384 |
20.6 |
apollon099 |
timeout |
921 |
883 |
1220120576 |
11600 |
apollon088 |
array-examples/sanfoundry_10_true-unreach-call_ground.i |
unknown |
101 |
73.5 |
3730948096 |
1140 |
apollon018 |
timeout |
914 |
875 |
1022963712 |
8670 |
apollon043 |
array-examples/sanfoundry_24_true-unreach-call_true-termination.i |
unknown |
2.46 |
1.05 |
268558336 |
22.1 |
apollon084 |
unknown |
3.04 |
1.19 |
264810496 |
26.9 |
apollon166 |
array-examples/sanfoundry_27_true-unreach-call_ground.i |
unknown |
2.48 |
1.06 |
265367552 |
21.5 |
apollon072 |
timeout |
918 |
881 |
1055965184 |
8110 |
apollon110 |
array-examples/sanfoundry_43_true-unreach-call_ground.i |
true |
2.53 |
1.05 |
266354688 |
25.7 |
apollon160 |
error |
2.11 |
.904 |
212172800 |
18.6 |
apollon135 |
array-examples/sorting_bubblesort_true-unreach-call_ground.i |
unknown |
2.53 |
1.08 |
269271040 |
21.5 |
apollon157 |
timeout |
920 |
884 |
1089912832 |
8530 |
apollon013 |
array-examples/sorting_selectionsort_true-unreach-call_ground.i |
unknown |
2.50 |
1.04 |
269221888 |
21.7 |
apollon026 |
timeout |
922 |
881 |
1339703296 |
7210 |
apollon096 |
array-examples/standard_compareModified_true-unreach-call_ground.i |
unknown |
2.37 |
1.05 |
269266944 |
21.6 |
apollon087 |
timeout |
920 |
879 |
1120067584 |
10400 |
apollon132 |
array-examples/standard_compare_true-unreach-call_ground.i |
unknown |
2.49 |
1.04 |
266219520 |
21.2 |
apollon002 |
timeout |
920 |
879 |
1122742272 |
9540 |
apollon030 |
array-examples/standard_copy1_true-unreach-call_ground.i |
unknown |
2.46 |
1.06 |
264511488 |
21.5 |
apollon072 |
timeout |
912 |
873 |
1007726592 |
8030 |
apollon129 |
array-examples/standard_copy2_true-unreach-call_ground.i |
unknown |
2.68 |
1.09 |
274247680 |
19.3 |
apollon158 |
timeout |
910 |
875 |
917614592 |
8930 |
apollon099 |
array-examples/standard_copy3_true-unreach-call_ground.i |
unknown |
2.48 |
1.05 |
263942144 |
23.7 |
apollon161 |
timeout |
911 |
873 |
916389888 |
5770 |
apollon139 |
array-examples/standard_copy4_true-unreach-call_ground.i |
unknown |
2.50 |
1.07 |
270069760 |
22.7 |
apollon093 |
timeout |
912 |
875 |
918958080 |
8250 |
apollon109 |
array-examples/standard_copy5_true-unreach-call_ground.i |
unknown |
2.54 |
1.08 |
270479360 |
23.8 |
apollon020 |
timeout |
910 |
874 |
937091072 |
8270 |
apollon083 |
array-examples/standard_copy6_true-unreach-call_ground.i |
unknown |
2.49 |
1.05 |
264380416 |
24.6 |
apollon081 |
timeout |
910 |
877 |
930029568 |
10600 |
apollon148 |
array-examples/standard_copy7_true-unreach-call_ground.i |
unknown |
2.72 |
1.06 |
294158336 |
23.9 |
apollon120 |
timeout |
911 |
872 |
959041536 |
8890 |
apollon165 |
array-examples/standard_copy8_true-unreach-call_ground.i |
unknown |
2.65 |
1.05 |
291987456 |
24.5 |
apollon077 |
timeout |
910 |
874 |
956039168 |
7790 |
apollon053 |
array-examples/standard_copy9_true-unreach-call_ground.i |
unknown |
2.56 |
1.06 |
270852096 |
22.6 |
apollon084 |
timeout |
910 |
874 |
916037632 |
6530 |
apollon074 |
array-examples/standard_copyInitSum2_true-unreach-call_ground.i |
unknown |
2.56 |
1.04 |
271286272 |
21.4 |
apollon045 |
timeout |
911 |
874 |
878067712 |
6670 |
apollon041 |
array-examples/standard_copyInitSum3_true-unreach-call_ground.i |
unknown |
2.48 |
1.06 |
270450688 |
21.2 |
apollon082 |
timeout |
909 |
874 |
914587648 |
6690 |
apollon124 |
array-examples/standard_copyInitSum_true-unreach-call_ground.i |
unknown |
2.49 |
1.05 |
270446592 |
24.7 |
apollon106 |
timeout |
910 |
873 |
920166400 |
8320 |
apollon069 |
array-examples/standard_copyInit_true-unreach-call_ground.i |
unknown |
2.46 |
1.09 |
266682368 |
24.3 |
apollon030 |
timeout |
910 |
872 |
986206208 |
6320 |
apollon115 |
array-examples/standard_find_true-unreach-call_ground.i |
unknown |
2.48 |
1.05 |
268480512 |
25.1 |
apollon057 |
timeout |
910 |
875 |
950292480 |
8850 |
apollon046 |
array-examples/standard_init1_true-unreach-call_ground.i |
unknown |
2.48 |
1.03 |
265166848 |
21.4 |
apollon095 |
timeout |
909 |
873 |
911708160 |
8090 |
apollon020 |
array-examples/standard_init2_true-unreach-call_ground.i |
unknown |
2.59 |
1.06 |
271470592 |
19.1 |
apollon092 |
timeout |
909 |
874 |
967102464 |
11300 |
apollon130 |
array-examples/standard_init3_true-unreach-call_ground.i |
unknown |
2.48 |
1.02 |
269938688 |
21.0 |
apollon058 |
timeout |
909 |
873 |
883896320 |
6760 |
apollon012 |
array-examples/standard_init4_true-unreach-call_ground.i |
unknown |
2.47 |
1.04 |
266502144 |
20.6 |
apollon127 |
timeout |
910 |
872 |
918515712 |
7130 |
apollon092 |
array-examples/standard_init5_true-unreach-call_ground.i |
unknown |
2.58 |
1.07 |
267907072 |
22.5 |
apollon142 |
timeout |
909 |
872 |
886886400 |
6260 |
apollon101 |
array-examples/standard_init6_true-unreach-call_ground.i |
unknown |
2.44 |
1.05 |
267489280 |
20.0 |
apollon098 |
timeout |
911 |
872 |
940511232 |
7260 |
apollon133 |
array-examples/standard_init7_true-unreach-call_ground.i |
unknown |
2.51 |
1.08 |
267612160 |
19.6 |
apollon151 |
timeout |
910 |
873 |
959909888 |
7640 |
apollon043 |
array-examples/standard_init8_true-unreach-call_ground.i |
unknown |
2.49 |
1.04 |
270630912 |
23.9 |
apollon047 |
timeout |
911 |
872 |
939130880 |
7090 |
apollon164 |
array-examples/standard_init9_true-unreach-call_ground.i |
unknown |
2.51 |
1.04 |
266563584 |
20.3 |
apollon043 |
timeout |
910 |
874 |
977096704 |
7100 |
apollon143 |
array-examples/standard_maxInArray_true-unreach-call_ground.i |
unknown |
2.48 |
1.03 |
268001280 |
22.4 |
apollon168 |
timeout |
920 |
880 |
1100881920 |
7380 |
apollon163 |
array-examples/standard_minInArray_true-unreach-call_ground.i |
unknown |
2.65 |
1.04 |
269180928 |
21.1 |
apollon042 |
timeout |
919 |
878 |
1109430272 |
6120 |
apollon123 |
array-examples/standard_palindrome_true-unreach-call_ground.i |
unknown |
2.54 |
1.05 |
273584128 |
19.8 |
apollon151 |
timeout |
911 |
877 |
944877568 |
12100 |
apollon044 |
array-examples/standard_partial_init_true-unreach-call_ground.i |
unknown |
2.67 |
1.11 |
270290944 |
25.1 |
apollon106 |
timeout |
919 |
878 |
1098539008 |
6790 |
apollon002 |
array-examples/standard_partition_original_true-unreach-call_ground.i |
unknown |
2.73 |
1.17 |
270344192 |
22.4 |
apollon168 |
timeout |
920 |
880 |
1108996096 |
8180 |
apollon028 |
array-examples/standard_partition_true-unreach-call_ground.i |
unknown |
2.50 |
1.05 |
271712256 |
21.1 |
apollon053 |
timeout |
921 |
878 |
1118924800 |
7970 |
apollon036 |
array-examples/standard_password_true-unreach-call_ground.i |
unknown |
2.42 |
1.03 |
269025280 |
22.2 |
apollon038 |
timeout |
919 |
879 |
1116200960 |
8930 |
apollon114 |
array-examples/standard_reverse_true-unreach-call_ground.i |
unknown |
2.55 |
1.06 |
269656064 |
24.2 |
apollon161 |
timeout |
909 |
875 |
910462976 |
6160 |
apollon153 |
array-examples/standard_running_true-unreach-call.i |
unknown |
2.48 |
1.05 |
271241216 |
20.7 |
apollon133 |
timeout |
922 |
880 |
1148928000 |
6920 |
apollon050 |
array-examples/standard_sentinel_true-unreach-call_true-termination.i |
unknown |
2.45 |
1.03 |
268648448 |
22.5 |
apollon032 |
unknown |
2.87 |
1.16 |
261103616 |
24.4 |
apollon089 |
array-examples/standard_seq_init_true-unreach-call_ground.i |
unknown |
2.47 |
1.06 |
270946304 |
21.4 |
apollon042 |
timeout |
910 |
874 |
915644416 |
6360 |
apollon002 |
array-examples/standard_strcmp_true-unreach-call_ground.i |
unknown |
2.66 |
1.05 |
295841792 |
24.4 |
apollon076 |
timeout |
916 |
875 |
1073020928 |
10400 |
apollon021 |
array-examples/standard_strcpy_original_true-unreach-call.i |
unknown |
2.57 |
1.07 |
264450048 |
23.6 |
apollon081 |
timeout |
909 |
874 |
906268672 |
7980 |
apollon050 |
array-examples/standard_strcpy_true-unreach-call_ground.i |
unknown |
2.48 |
1.02 |
269180928 |
23.9 |
apollon007 |
timeout |
911 |
874 |
926068736 |
8260 |
apollon081 |
array-examples/standard_two_index_01_true-unreach-call.i |
unknown |
2.47 |
1.03 |
271372288 |
24.1 |
apollon014 |
out of java memory |
363 |
125 |
1455779840 |
2500 |
apollon114 |
array-examples/standard_two_index_02_true-unreach-call.i |
unknown |
2.55 |
1.06 |
266633216 |
22.9 |
apollon167 |
timeout |
912 |
875 |
928247808 |
6630 |
apollon015 |
array-examples/standard_two_index_03_true-unreach-call.i |
unknown |
2.57 |
1.06 |
266534912 |
20.9 |
apollon025 |
out of java memory |
290 |
81.3 |
1464487936 |
1540 |
apollon143 |
array-examples/standard_two_index_04_true-unreach-call.i |
unknown |
2.53 |
1.04 |
268087296 |
25.4 |
apollon057 |
timeout |
910 |
874 |
934035456 |
10000 |
apollon006 |
array-examples/standard_two_index_05_true-unreach-call.i |
unknown |
2.46 |
1.02 |
268779520 |
20.8 |
apollon058 |
timeout |
911 |
873 |
910356480 |
6530 |
apollon089 |
array-examples/standard_two_index_06_true-unreach-call.i |
unknown |
2.44 |
1.04 |
266018816 |
20.2 |
apollon123 |
timeout |
913 |
200 |
1535496192 |
4790 |
apollon072 |
array-examples/standard_two_index_07_true-unreach-call.i |
unknown |
2.48 |
1.04 |
269139968 |
22.3 |
apollon142 |
timeout |
911 |
876 |
929140736 |
7710 |
apollon053 |
array-examples/standard_two_index_08_true-unreach-call.i |
unknown |
2.51 |
1.04 |
269012992 |
22.7 |
apollon032 |
timeout |
910 |
876 |
915939328 |
7460 |
apollon043 |
array-examples/standard_two_index_09_true-unreach-call.i |
unknown |
2.50 |
1.05 |
267792384 |
21.2 |
apollon157 |
timeout |
911 |
874 |
930623488 |
7580 |
apollon154 |
array-examples/standard_vararg_true-unreach-call_ground_true-termination.i |
unknown |
2.47 |
1.03 |
272302080 |
21.7 |
apollon004 |
timeout |
911 |
283 |
8449454080 |
5890 |
apollon050 |
array-examples/standard_vector_difference_true-unreach-call_ground.i |
unknown |
2.44 |
1.03 |
263282688 |
22.9 |
apollon015 |
timeout |
912 |
874 |
964648960 |
6940 |
apollon037 |
array-industry-pattern/array_assert_loop_dep_false-unreach-call_true-termination.i |
unknown |
2.58 |
1.05 |
270540800 |
25.9 |
apollon039 |
timeout |
909 |
874 |
910639104 |
7960 |
apollon075 |
array-industry-pattern/array_of_struct_loop_dep_false-unreach-call.i |
unknown |
101 |
72.2 |
3686895616 |
1160 |
apollon141 |
timeout |
908 |
873 |
895668224 |
7600 |
apollon031 |
array-industry-pattern/array_ptr_single_elem_init_false-unreach-call_true-termination.i |
unknown |
2.56 |
1.10 |
267821056 |
21.8 |
apollon011 |
timeout |
928 |
885 |
1472954368 |
9780 |
apollon107 |
array-industry-pattern/array_range_init_false-unreach-call.i |
unknown |
2.48 |
1.04 |
265711616 |
22.6 |
apollon168 |
timeout |
918 |
880 |
1113804800 |
7460 |
apollon011 |
array-industry-pattern/array_single_elem_init_false-unreach-call_true-termination.i |
unknown |
2.49 |
1.04 |
269717504 |
24.6 |
apollon016 |
timeout |
922 |
884 |
1478230016 |
8250 |
apollon041 |
array-industry-pattern/check_removal_from_set_after_insertion_false-unreach-call.i |
unknown |
101 |
71.3 |
3689865216 |
1060 |
apollon025 |
timeout |
915 |
878 |
1158180864 |
7110 |
apollon093 |
array-industry-pattern/array_monotonic_true-unreach-call_true-termination.i |
unknown |
2.51 |
1.08 |
267730944 |
21.8 |
apollon121 |
timeout |
922 |
879 |
1180319744 |
9260 |
apollon030 |
array-industry-pattern/array_mul_init_true-unreach-call_true-termination.i |
unknown |
2.46 |
1.04 |
265089024 |
21.1 |
apollon157 |
timeout |
909 |
874 |
939827200 |
7120 |
apollon023 |
array-industry-pattern/array_of_struct_break_true-unreach-call.i |
unknown |
101 |
73.8 |
3707666432 |
1050 |
apollon100 |
timeout |
910 |
875 |
951648256 |
6750 |
apollon096 |
array-industry-pattern/array_of_struct_ptr_cond_init_true-unreach-call.i |
unknown |
101 |
77.5 |
3476049920 |
1180 |
apollon085 |
timeout |
918 |
875 |
1188073472 |
6940 |
apollon103 |
array-industry-pattern/array_of_struct_ptr_flag_init_true-unreach-call.i |
unknown |
101 |
74.5 |
3696898048 |
1040 |
apollon128 |
timeout |
911 |
874 |
1001668608 |
6610 |
apollon042 |
array-industry-pattern/array_of_struct_ptr_monotonic_true-unreach-call.i |
unknown |
101 |
78.2 |
3546808320 |
1180 |
apollon011 |
timeout |
917 |
875 |
1132974080 |
6000 |
apollon158 |
array-industry-pattern/array_of_struct_ptr_mul_init_true-unreach-call.i |
unknown |
101 |
72.5 |
3717758976 |
1100 |
apollon156 |
timeout |
910 |
878 |
1274765312 |
8910 |
apollon091 |
array-industry-pattern/array_of_struct_single_elem_init_true-unreach-call.i |
unknown |
101 |
73.4 |
3714146304 |
975 |
apollon054 |
timeout |
923 |
880 |
1168371712 |
6570 |
apollon015 |
array-industry-pattern/array_ptr_partial_init_true-unreach-call.i |
unknown |
101 |
74.9 |
3696025600 |
1100 |
apollon012 |
timeout |
909 |
872 |
879132672 |
7990 |
apollon129 |
array-industry-pattern/array_ptr_single_elem_init_true-unreach-call.i |
unknown |
101 |
75.4 |
3036516352 |
1050 |
apollon128 |
timeout |
919 |
878 |
1307426816 |
8340 |
apollon117 |
array-industry-pattern/array_shadowinit_true-unreach-call_true-termination.i |
unknown |
101 |
76.0 |
3866857472 |
1240 |
apollon140 |
error |
2.11 |
.925 |
210677760 |
20.9 |
apollon059 |
reducercommutativity/rangesum05_false-unreach-call_true-termination.i |
false(unreach-call) |
7.69 |
2.37 |
413929472 |
56.8 |
apollon043 |
error |
2.17 |
.899 |
214679552 |
21.6 |
apollon093 |
reducercommutativity/rangesum10_false-unreach-call_true-termination.i |
false(unreach-call) |
12.5 |
3.47 |
480616448 |
107 |
apollon125 |
error |
2.11 |
.905 |
210616320 |
20.7 |
apollon007 |
reducercommutativity/rangesum20_false-unreach-call.i |
false(unreach-call) |
31.2 |
7.98 |
1050562560 |
247 |
apollon018 |
error |
2.09 |
.905 |
208650240 |
19.5 |
apollon038 |
reducercommutativity/rangesum40_false-unreach-call.i |
false(unreach-call) |
59.3 |
28.1 |
2526670848 |
580 |
apollon152 |
error |
2.13 |
.897 |
212803584 |
20.5 |
apollon101 |
reducercommutativity/rangesum60_false-unreach-call.i |
unknown |
101 |
62.0 |
3709898752 |
998 |
apollon086 |
false(unreach-call) |
27.8 |
14.9 |
839712768 |
295 |
apollon152 |
reducercommutativity/rangesum_false-unreach-call_true-termination.i |
false(unreach-call) |
8.10 |
2.38 |
463929344 |
73.3 |
apollon057 |
error |
2.13 |
.894 |
209367040 |
21.0 |
apollon140 |
reducercommutativity/avg05_true-unreach-call_true-termination.i |
unknown |
101 |
71.8 |
4092358656 |
1120 |
apollon020 |
timeout |
901 |
897 |
773775360 |
12100 |
apollon019 |
reducercommutativity/avg10_true-unreach-call_true-termination.i |
unknown |
101 |
67.7 |
4059254784 |
878 |
apollon158 |
timeout |
901 |
897 |
1163345920 |
12300 |
apollon059 |
reducercommutativity/avg20_true-unreach-call.i |
unknown |
101 |
61.5 |
2672193536 |
894 |
apollon009 |
timeout |
901 |
895 |
1894428672 |
9830 |
apollon003 |
reducercommutativity/avg40_true-unreach-call.i |
false(unreach-call) |
65.4 |
32.7 |
2740805632 |
684 |
apollon030 |
error |
2.12 |
.894 |
213938176 |
19.2 |
apollon082 |
reducercommutativity/avg60_true-unreach-call.i |
unknown |
101 |
70.1 |
3723132928 |
1230 |
apollon007 |
false(unreach-call) |
26.6 |
16.7 |
908406784 |
273 |
apollon049 |
reducercommutativity/avg_true-unreach-call_true-termination.i |
unknown |
101 |
70.6 |
4207607808 |
984 |
apollon040 |
unknown |
3.15 |
1.22 |
267202560 |
26.3 |
apollon165 |
reducercommutativity/max05_true-unreach-call_true-termination.i |
unknown |
101 |
82.2 |
1129910272 |
796 |
apollon101 |
unknown |
8.59 |
2.46 |
446099456 |
69.1 |
apollon075 |
reducercommutativity/max10_true-unreach-call_true-termination.i |
unknown |
102 |
81.1 |
1571536896 |
1150 |
apollon085 |
unknown |
23.6 |
8.67 |
639807488 |
210 |
apollon072 |
reducercommutativity/max20_true-unreach-call.i |
unknown |
102 |
59.7 |
3975331840 |
1160 |
apollon160 |
unknown |
59.0 |
38.0 |
766300160 |
580 |
apollon143 |
reducercommutativity/max40_true-unreach-call.i |
false(unreach-call) |
65.6 |
33.5 |
2954465280 |
555 |
apollon158 |
error |
2.12 |
.897 |
206925824 |
19.4 |
apollon162 |
reducercommutativity/max60_true-unreach-call.i |
unknown |
101 |
70.4 |
3720253440 |
1150 |
apollon052 |
error |
2.21 |
.944 |
210030592 |
21.8 |
apollon122 |
reducercommutativity/max_true-unreach-call_true-termination.i |
unknown |
101 |
78.1 |
3196026880 |
1100 |
apollon162 |
unknown |
4.70 |
1.62 |
277315584 |
36.3 |
apollon098 |
reducercommutativity/sep05_true-unreach-call_true-termination.i |
unknown |
101 |
73.4 |
3047858176 |
879 |
apollon076 |
unknown |
84.9 |
41.5 |
1054113792 |
787 |
apollon105 |
reducercommutativity/sep10_true-unreach-call.i |
unknown |
101 |
79.6 |
2550169600 |
1090 |
apollon045 |
timeout |
919 |
878 |
1231138816 |
7780 |
apollon155 |
reducercommutativity/sep20_true-unreach-call.i |
unknown |
101 |
38.3 |
3863842816 |
771 |
apollon005 |
timeout |
920 |
878 |
1222438912 |
7150 |
apollon113 |
reducercommutativity/sep40_true-unreach-call.i |
false(unreach-call) |
68.5 |
36.4 |
3073941504 |
653 |
apollon107 |
error |
2.09 |
.903 |
208228352 |
19.6 |
apollon032 |
reducercommutativity/sep60_true-unreach-call.i |
unknown |
101 |
68.4 |
3695423488 |
1020 |
apollon002 |
timeout |
952 |
497 |
1464832000 |
8190 |
apollon006 |
reducercommutativity/sep_true-unreach-call_true-termination.i |
unknown |
101 |
70.5 |
3884142592 |
1100 |
apollon018 |
timeout |
922 |
881 |
1259515904 |
7670 |
apollon133 |
reducercommutativity/sum05_true-unreach-call_true-termination.i |
unknown |
101 |
80.1 |
3679051776 |
1130 |
apollon086 |
unknown |
5.15 |
2.56 |
291840000 |
49.5 |
apollon132 |
reducercommutativity/sum10_true-unreach-call_true-termination.i |
unknown |
101 |
70.7 |
4019585024 |
1120 |
apollon071 |
timeout |
901 |
897 |
1084768256 |
10800 |
apollon020 |
reducercommutativity/sum20_true-unreach-call.i |
unknown |
101 |
62.1 |
2938724352 |
817 |
apollon092 |
timeout |
901 |
895 |
1829941248 |
8180 |
apollon054 |
reducercommutativity/sum40_true-unreach-call.i |
false(unreach-call) |
62.7 |
31.0 |
2867589120 |
603 |
apollon120 |
error |
2.11 |
.902 |
214663168 |
21.7 |
apollon014 |
reducercommutativity/sum60_true-unreach-call.i |
unknown |
101 |
71.0 |
3711438848 |
1110 |
apollon162 |
false(unreach-call) |
23.7 |
14.1 |
858058752 |
251 |
apollon049 |
reducercommutativity/sum_true-unreach-call_true-termination.i |
unknown |
101 |
76.1 |
3641413632 |
1170 |
apollon038 |
unknown |
3.91 |
1.42 |
276262912 |
32.8 |
apollon023 |
array-tiling/mlceu_false-unreach-call.i |
unknown |
3.63 |
1.50 |
282714112 |
31.9 |
apollon084 |
timeout |
902 |
828 |
1402609664 |
11700 |
apollon070 |
array-tiling/skippedu_false-unreach-call.i |
false(unreach-call) |
3.63 |
1.44 |
288727040 |
31.1 |
apollon026 |
error |
2.14 |
.920 |
211435520 |
21.8 |
apollon163 |
array-tiling/mbpr2_true-unreach-call.i |
unknown |
101 |
67.8 |
3743059968 |
1150 |
apollon081 |
timeout |
902 |
785 |
1529294848 |
13000 |
apollon080 |
array-tiling/mbpr3_true-unreach-call.i |
unknown |
101 |
65.5 |
3797508096 |
1140 |
apollon007 |
timeout |
902 |
793 |
1578496000 |
11700 |
apollon141 |
array-tiling/mbpr4_true-unreach-call.i |
unknown |
101 |
68.1 |
3704430592 |
958 |
apollon151 |
timeout |
902 |
786 |
1535582208 |
10200 |
apollon089 |
array-tiling/mbpr5_true-unreach-call.i |
unknown |
101 |
72.4 |
3754287104 |
1260 |
apollon014 |
error |
2.16 |
.925 |
208408576 |
22.2 |
apollon059 |
array-tiling/nr2_true-unreach-call.i |
unknown |
101 |
69.6 |
3708661760 |
1020 |
apollon042 |
timeout |
902 |
785 |
1539182592 |
10300 |
apollon116 |
array-tiling/nr3_true-unreach-call.i |
unknown |
101 |
72.0 |
3858083840 |
1190 |
apollon167 |
timeout |
902 |
792 |
1601548288 |
10900 |
apollon110 |
array-tiling/nr4_true-unreach-call.i |
unknown |
101 |
69.1 |
3838636032 |
1040 |
apollon034 |
timeout |
903 |
794 |
1488908288 |
11000 |
apollon107 |
array-tiling/nr5_true-unreach-call.i |
unknown |
101 |
64.7 |
3552428032 |
894 |
apollon158 |
timeout |
903 |
793 |
1385746432 |
10700 |
apollon137 |
array-tiling/pnr2_true-unreach-call.i |
unknown |
101 |
70.1 |
3902996480 |
1130 |
apollon146 |
timeout |
902 |
826 |
1384833024 |
12300 |
apollon010 |
array-tiling/pnr3_true-unreach-call.i |
unknown |
101 |
61.8 |
4284567552 |
1070 |
apollon091 |
unknown |
3.23 |
1.33 |
277475328 |
27.5 |
apollon120 |
array-tiling/pnr4_true-unreach-call.i |
unknown |
101 |
65.1 |
4213096448 |
1030 |
apollon146 |
unknown |
3.05 |
1.18 |
260313088 |
30.6 |
apollon111 |
array-tiling/pnr5_true-unreach-call.i |
unknown |
105 |
58.6 |
4311687168 |
965 |
apollon082 |
unknown |
3.37 |
1.29 |
274608128 |
29.1 |
apollon005 |
array-tiling/poly1_true-unreach-call.i |
unknown |
101 |
75.9 |
2480005120 |
992 |
apollon079 |
timeout |
902 |
829 |
1255010304 |
10800 |
apollon035 |
array-tiling/poly2_true-unreach-call.i |
unknown |
101 |
70.5 |
3057106944 |
999 |
apollon002 |
timeout |
902 |
825 |
1386438656 |
12400 |
apollon164 |
array-tiling/pr2_true-unreach-call.i |
unknown |
101 |
71.5 |
3607281664 |
1170 |
apollon164 |
timeout |
902 |
792 |
1511546880 |
11200 |
apollon120 |
array-tiling/pr3_true-unreach-call.i |
unknown |
101 |
76.4 |
3561402368 |
1100 |
apollon079 |
timeout |
902 |
794 |
1525960704 |
10600 |
apollon042 |
array-tiling/pr4_true-unreach-call.i |
unknown |
101 |
72.8 |
3111403520 |
1090 |
apollon078 |
timeout |
903 |
789 |
1545887744 |
10300 |
apollon002 |
array-tiling/pr5_true-unreach-call.i |
unknown |
101 |
76.9 |
3330641920 |
1260 |
apollon019 |
timeout |
902 |
795 |
1526837248 |
10800 |
apollon103 |
array-tiling/revcpyswp2_true-unreach-call.i |
unknown |
101 |
75.9 |
3419410432 |
1100 |
apollon086 |
unknown |
4.72 |
1.73 |
293896192 |
42.2 |
apollon052 |
array-tiling/rew_true-unreach-call.i |
unknown |
102 |
68.0 |
3862368256 |
1050 |
apollon058 |
unknown |
3.07 |
1.19 |
264069120 |
27.8 |
apollon065 |
array-tiling/rewnif_true-unreach-call.i |
unknown |
101 |
71.0 |
3374350336 |
1250 |
apollon044 |
unknown |
3.94 |
1.46 |
273215488 |
36.6 |
apollon020 |
array-tiling/rewnifrev2_true-unreach-call.i |
unknown |
101 |
74.7 |
2781618176 |
1150 |
apollon095 |
unknown |
3.32 |
1.39 |
288079872 |
30.6 |
apollon038 |
array-tiling/rewnifrev_true-unreach-call.i |
unknown |
101 |
76.7 |
2974679040 |
1130 |
apollon119 |
unknown |
3.10 |
1.24 |
263544832 |
29.1 |
apollon093 |
array-tiling/rewrev_true-unreach-call.i |
unknown |
101 |
77.2 |
2405355520 |
1040 |
apollon151 |
unknown |
4.01 |
1.52 |
280961024 |
34.0 |
apollon002 |
array-tiling/skipped_true-unreach-call.i |
unknown |
101 |
66.6 |
4037947392 |
1020 |
apollon032 |
unknown |
3.88 |
1.40 |
270639104 |
34.5 |
apollon145 |
array-tiling/tcpy_true-unreach-call.i |
unknown |
101 |
71.5 |
3962458112 |
1260 |
apollon161 |
unknown |
3.28 |
1.27 |
267677696 |
30.5 |
apollon069 |
array-programs/copysome1_false-unreach-call.i |
unknown |
2.65 |
1.04 |
291065856 |
24.0 |
apollon077 |
timeout |
911 |
874 |
1022828544 |
8640 |
apollon147 |
array-programs/copysome2_false-unreach-call.i |
unknown |
2.45 |
1.04 |
270254080 |
20.2 |
apollon099 |
timeout |
911 |
873 |
1010913280 |
8040 |
apollon047 |
array-programs/copysome1_true-unreach-call.i |
unknown |
2.71 |
1.05 |
290291712 |
23.2 |
apollon034 |
timeout |
911 |
876 |
968491008 |
10900 |
apollon140 |
array-programs/copysome2_true-unreach-call.i |
unknown |
2.42 |
1.05 |
268816384 |
20.6 |
apollon127 |
timeout |
911 |
875 |
984780800 |
6740 |
apollon029 |
bitvector/byte_add_false-unreach-call_true-no-overflow_true-termination.i |
unknown |
5.26 |
1.83 |
301273088 |
44.9 |
apollon165 |
unknown |
101 |
85.2 |
819052544 |
1160 |
apollon147 |
bitvector/sum02_false-unreach-call_true-no-overflow.i |
unknown |
3.52 |
1.47 |
280109056 |
30.1 |
apollon082 |
timeout |
901 |
898 |
449232896 |
10600 |
apollon086 |
bitvector/byte_add_1_true-unreach-call_true-no-overflow_true-termination.i |
unknown |
6.03 |
2.09 |
319234048 |
51.7 |
apollon091 |
unknown |
23.7 |
13.3 |
616652800 |
256 |
apollon068 |
bitvector/byte_add_2_true-unreach-call_true-no-overflow_true-termination.i |
unknown |
5.73 |
1.89 |
317952000 |
52.7 |
apollon126 |
unknown |
108 |
93.1 |
638300160 |
1220 |
apollon004 |
bitvector/gcd_1_true-unreach-call_true-no-overflow.i |
unknown |
4.10 |
1.51 |
304193536 |
33.4 |
apollon079 |
unknown |
3.67 |
1.42 |
291160064 |
34.5 |
apollon152 |
bitvector/gcd_2_true-unreach-call_true-no-overflow.i |
true |
3.46 |
1.37 |
273186816 |
31.5 |
apollon112 |
error |
2.10 |
.907 |
215252992 |
20.5 |
apollon077 |
bitvector/gcd_3_true-unreach-call_true-no-overflow.i |
unknown |
3.62 |
1.47 |
288235520 |
31.8 |
apollon076 |
unknown |
3.30 |
1.32 |
272445440 |
30.9 |
apollon027 |
bitvector/gcd_4_true-unreach-call_true-no-overflow_true-termination.i |
unknown |
5.16 |
1.76 |
313200640 |
44.6 |
apollon156 |
true |
3.64 |
1.24 |
269475840 |
29.3 |
apollon045 |
bitvector/interleave_bits_true-unreach-call_true-no-overflow.i |
unknown |
7.33 |
2.28 |
452468736 |
62.2 |
apollon126 |
unknown |
4.33 |
1.54 |
279851008 |
36.8 |
apollon074 |
bitvector/jain_1_true-unreach-call_true-no-overflow_false-termination.i |
true |
2.84 |
1.19 |
277032960 |
29.1 |
apollon021 |
error |
2.03 |
.882 |
208912384 |
17.7 |
apollon075 |
bitvector/jain_2_true-unreach-call_true-no-overflow_false-termination.i |
true |
3.21 |
1.20 |
293670912 |
27.2 |
apollon022 |
error |
2.07 |
.884 |
211759104 |
17.7 |
apollon089 |
bitvector/jain_4_true-unreach-call_true-no-overflow_false-termination.i |
true |
3.11 |
1.25 |
274595840 |
27.2 |
apollon005 |
error |
2.02 |
.884 |
211554304 |
21.3 |
apollon008 |
bitvector/jain_5_true-unreach-call_true-no-overflow.i |
unknown |
101 |
80.7 |
2778210304 |
1220 |
apollon052 |
timeout |
923 |
882 |
1572515840 |
8420 |
apollon094 |
bitvector/jain_6_true-unreach-call_true-no-overflow_false-termination.i |
true |
3.31 |
1.25 |
294891520 |
25.6 |
apollon054 |
error |
2.15 |
.905 |
208232448 |
16.6 |
apollon054 |
bitvector/jain_7_true-unreach-call_true-no-overflow_false-termination.i |
true |
2.84 |
1.18 |
274214912 |
26.8 |
apollon022 |
error |
2.03 |
.875 |
213573632 |
18.8 |
apollon090 |
bitvector/modulus_true-unreach-call_true-no-overflow.i |
unknown |
3.14 |
1.31 |
277803008 |
27.8 |
apollon052 |
timeout |
901 |
897 |
635854848 |
8630 |
apollon128 |
bitvector/num_conversion_1_true-unreach-call_true-no-overflow.i |
unknown |
4.90 |
1.77 |
305999872 |
42.5 |
apollon167 |
true |
3.28 |
1.23 |
265003008 |
29.3 |
apollon145 |
bitvector/num_conversion_2_true-unreach-call_true-no-overflow.i |
unknown |
4.91 |
1.77 |
302903296 |
42.7 |
apollon032 |
unknown |
4.30 |
1.47 |
280285184 |
37.4 |
apollon132 |
bitvector/parity_true-unreach-call_true-no-overflow.i |
unknown |
3.31 |
1.31 |
286834688 |
31.4 |
apollon014 |
timeout |
901 |
898 |
470999040 |
10900 |
apollon166 |
bitvector/sum02_true-unreach-call_true-no-overflow.i |
unknown |
3.50 |
1.45 |
281563136 |
34.3 |
apollon108 |
timeout |
901 |
897 |
468975616 |
9150 |
apollon136 |
bitvector/s3_clnt_1_false-unreach-call_true-no-overflow.BV.c.cil.c |
unknown |
10.6 |
3.08 |
467173376 |
93.6 |
apollon106 |
false(unreach-call) |
13.2 |
3.55 |
554549248 |
114 |
apollon146 |
bitvector/s3_clnt_2_false-unreach-call_true-no-overflow.BV.c.cil.c |
unknown |
18.5 |
5.01 |
617021440 |
160 |
apollon168 |
unknown |
20.2 |
6.08 |
601964544 |
166 |
apollon050 |
bitvector/s3_clnt_3_false-unreach-call_true-no-overflow.BV.c.cil.c |
unknown |
7.04 |
2.21 |
388128768 |
58.5 |
apollon120 |
false(unreach-call) |
9.60 |
2.58 |
440438784 |
68.1 |
apollon029 |
bitvector/s3_clnt_1_true-unreach-call_true-no-overflow.BV.c.cil.c |
unknown |
14.2 |
4.01 |
500178944 |
106 |
apollon121 |
true |
12.6 |
3.61 |
545529856 |
108 |
apollon105 |
bitvector/s3_clnt_2_true-unreach-call_true-no-overflow.BV.c.cil.c |
unknown |
24.2 |
6.77 |
833982464 |
199 |
apollon102 |
true |
15.1 |
4.94 |
537001984 |
130 |
apollon110 |
bitvector/s3_clnt_3_true-unreach-call_true-no-overflow.BV.c.cil.c |
unknown |
101 |
77.4 |
3071184896 |
984 |
apollon100 |
true |
8.50 |
2.33 |
421171200 |
78.1 |
apollon126 |
bitvector/s3_srvr_1_alt_true-unreach-call_true-no-overflow.BV.c.cil.c |
unknown |
101 |
75.1 |
2657251328 |
1170 |
apollon070 |
unknown |
18.4 |
5.46 |
578306048 |
156 |
apollon148 |
bitvector/s3_srvr_1_true-unreach-call_true-no-overflow.BV.c.cil.c |
true |
31.1 |
8.45 |
977502208 |
229 |
apollon029 |
error |
2.73 |
.996 |
213856256 |
23.5 |
apollon150 |
bitvector/s3_srvr_2_alt_true-unreach-call_true-no-overflow_false-termination.BV.c.cil.c |
true |
41.9 |
18.5 |
1371332608 |
409 |
apollon020 |
error |
2.75 |
1.02 |
210530304 |
27.4 |
apollon125 |
bitvector/s3_srvr_2_true-unreach-call_true-no-overflow_false-termination.BV.c.cil.c |
true |
42.8 |
18.2 |
1405607936 |
402 |
apollon168 |
error |
2.82 |
1.03 |
212492288 |
26.1 |
apollon122 |
bitvector/s3_srvr_3_alt_true-unreach-call_true-no-overflow.BV.c.cil.c |
true |
19.0 |
5.09 |
630145024 |
168 |
apollon030 |
error |
2.86 |
1.03 |
213856256 |
28.1 |
apollon057 |
bitvector/s3_srvr_3_true-unreach-call_true-no-overflow.BV.c.cil.c |
true |
62.0 |
33.8 |
2281033728 |
700 |
apollon161 |
error |
2.77 |
1.02 |
212000768 |
23.2 |
apollon075 |
bitvector/soft_float_1_true-unreach-call_true-no-overflow_true-termination.c.cil.c |
unknown |
4.80 |
1.77 |
296083456 |
38.6 |
apollon100 |
unknown |
19.4 |
4.97 |
624918528 |
159 |
apollon113 |
bitvector/soft_float_2_true-unreach-call_true-no-overflow_true-termination.c.cil.c |
unknown |
7.53 |
2.34 |
446177280 |
63.2 |
apollon156 |
unknown |
10.3 |
2.82 |
464662528 |
77.9 |
apollon066 |
bitvector/soft_float_3_true-unreach-call_true-no-overflow_true-termination.c.cil.c |
unknown |
7.39 |
2.33 |
444780544 |
63.0 |
apollon091 |
unknown |
15.0 |
4.03 |
581492736 |
121 |
apollon153 |
bitvector/soft_float_4_true-unreach-call_true-no-overflow_true-termination.c.cil.c |
unknown |
4.21 |
1.68 |
290402304 |
37.0 |
apollon076 |
unknown |
9.84 |
2.72 |
458543104 |
81.2 |
apollon130 |
bitvector/soft_float_5_true-unreach-call_true-no-overflow_true-termination.c.cil.c |
unknown |
7.36 |
2.33 |
447238144 |
64.9 |
apollon077 |
unknown |
9.98 |
2.66 |
450936832 |
75.7 |
apollon066 |
bitvector-regression/implicitfloatconversion_false-unreach-call_true-termination.c |
false(unreach-call) |
3.23 |
1.23 |
296452096 |
32.6 |
apollon039 |
error |
2.19 |
.876 |
235134976 |
20.8 |
apollon091 |
bitvector-regression/implicitunsignedconversion_false-unreach-call_true-termination.c |
true |
2.45 |
1.06 |
268267520 |
24.7 |
apollon016 |
error |
2.08 |
.883 |
211337216 |
18.8 |
apollon085 |
bitvector-regression/integerpromotion_false-unreach-call_true-termination.c |
false(unreach-call) |
2.79 |
1.23 |
275443712 |
27.6 |
apollon148 |
error |
2.04 |
.891 |
206237696 |
19.4 |
apollon112 |
bitvector-regression/recHanoi03_false-unreach-call_true-termination.c |
unknown |
2.53 |
1.10 |
267939840 |
22.0 |
apollon011 |
error (recursion) |
2.72 |
1.06 |
252190720 |
27.2 |
apollon111 |
bitvector-regression/signextension2_false-unreach-call_true-termination.c |
true |
2.60 |
1.09 |
270381056 |
25.6 |
apollon016 |
error |
2.05 |
.873 |
211673088 |
19.0 |
apollon105 |
bitvector-regression/signextension_false-unreach-call_true-termination.c |
true |
2.55 |
1.09 |
272834560 |
26.6 |
apollon021 |
error |
2.12 |
.874 |
212418560 |
18.3 |
apollon121 |
bitvector-regression/implicitunsignedconversion_true-unreach-call_true-termination.c |
unknown |
2.94 |
1.28 |
276406272 |
26.1 |
apollon121 |
true |
2.59 |
1.03 |
250228736 |
24.0 |
apollon132 |
bitvector-regression/integerpromotion_true-unreach-call_true-termination.c |
unknown |
2.80 |
1.24 |
278286336 |
24.4 |
apollon127 |
true |
2.67 |
1.07 |
257142784 |
25.4 |
apollon108 |
bitvector-regression/signextension2_true-unreach-call_true-termination.c |
unknown |
3.10 |
1.31 |
285671424 |
30.7 |
apollon126 |
true |
2.89 |
1.09 |
258506752 |
24.1 |
apollon032 |
bitvector-regression/signextension_true-unreach-call_true-termination.c |
unknown |
3.12 |
1.31 |
275988480 |
31.3 |
apollon111 |
true |
2.73 |
1.08 |
253915136 |
22.7 |
apollon127 |
bitvector-loops/diamond_false-unreach-call2.i |
true |
6.60 |
2.03 |
440332288 |
58.7 |
apollon081 |
error |
2.18 |
.888 |
214519808 |
18.7 |
apollon129 |
bitvector-loops/overflow_false-unreach-call1.i |
true |
2.82 |
1.12 |
290009088 |
25.1 |
apollon052 |
error |
1.94 |
.901 |
208216064 |
16.6 |
apollon029 |
bitvector-loops/verisec_sendmail__tTflag_arr_one_loop_false-unreach-call_true-termination.i |
true |
2.88 |
1.25 |
270974976 |
25.6 |
apollon012 |
error |
2.18 |
.972 |
208662528 |
18.2 |
apollon066 |
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c |
false(unreach-call) |
10.5 |
2.91 |
467931136 |
92.6 |
apollon160 |
error |
3.81 |
1.21 |
216043520 |
30.1 |
apollon142 |
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c |
false(unreach-call) |
7.84 |
2.35 |
439459840 |
64.1 |
apollon156 |
error |
3.08 |
1.10 |
211558400 |
26.0 |
apollon037 |
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c |
false(unreach-call) |
8.41 |
2.46 |
459096064 |
66.6 |
apollon095 |
error |
3.20 |
1.10 |
212619264 |
26.9 |
apollon018 |
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c |
false(unreach-call) |
6.15 |
2.02 |
326635520 |
49.7 |
apollon025 |
error |
2.85 |
1.02 |
211464192 |
26.6 |
apollon022 |
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c |
true |
8.90 |
2.66 |
453758976 |
68.8 |
apollon157 |
error |
3.57 |
1.15 |
215650304 |
29.1 |
apollon012 |
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c |
true |
7.15 |
2.11 |
430432256 |
59.3 |
apollon112 |
error |
3.14 |
1.07 |
215810048 |
23.5 |
apollon158 |
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c |
true |
5.99 |
1.94 |
332750848 |
50.8 |
apollon070 |
error |
3.08 |
1.08 |
216104960 |
29.2 |
apollon039 |
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c |
true |
7.36 |
2.23 |
406474752 |
63.9 |
apollon022 |
error |
3.38 |
1.12 |
214556672 |
26.8 |
apollon035 |
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c |
true |
3.63 |
1.40 |
280764416 |
35.6 |
apollon126 |
error |
2.51 |
.956 |
212897792 |
20.9 |
apollon083 |
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c |
true |
4.60 |
1.58 |
281321472 |
39.3 |
apollon146 |
error |
3.00 |
1.06 |
213663744 |
29.9 |
apollon021 |
ssh-simplified/s3_clnt_1_false-unreach-call_true-termination.cil.c |
false(unreach-call) |
9.16 |
2.75 |
455581696 |
75.9 |
apollon051 |
error |
2.75 |
1.00 |
213876736 |
23.9 |
apollon147 |
ssh-simplified/s3_clnt_2_false-unreach-call_true-termination.cil.c |
false(unreach-call) |
8.52 |
2.48 |
452268032 |
66.7 |
apollon018 |
error |
2.79 |
1.08 |
211918848 |
25.0 |
apollon051 |
ssh-simplified/s3_clnt_3_false-unreach-call_true-termination.cil.c |
false(unreach-call) |
9.85 |
2.84 |
453873664 |
91.4 |
apollon021 |
error |
2.78 |
1.03 |
215109632 |
26.4 |
apollon014 |
ssh-simplified/s3_clnt_4_false-unreach-call_true-termination.cil.c |
false(unreach-call) |
8.96 |
2.59 |
457687040 |
76.4 |
apollon047 |
error |
2.69 |
.976 |
210604032 |
22.7 |
apollon079 |
ssh-simplified/s3_srvr_10_false-unreach-call_false-termination.cil.c |
false(unreach-call) |
4.35 |
1.63 |
290156544 |
37.2 |
apollon026 |
error |
2.72 |
.998 |
217415680 |
23.7 |
apollon084 |
ssh-simplified/s3_srvr_11_false-unreach-call_false-termination.cil.c |
unknown |
49.7 |
19.2 |
1668919296 |
479 |
apollon125 |
false(unreach-call) |
594 |
534 |
1247297536 |
5800 |
apollon120 |
ssh-simplified/s3_srvr_12_false-unreach-call_false-termination.cil.c |
unknown |
60.7 |
34.1 |
1772802048 |
619 |
apollon009 |
false(unreach-call) |
124 |
95.4 |
871190528 |
1140 |
apollon104 |
ssh-simplified/s3_srvr_13_false-unreach-call_false-termination.cil.c |
false(unreach-call) |
9.78 |
2.78 |
483901440 |
73.5 |
apollon053 |
error |
2.77 |
1.00 |
210821120 |
23.7 |
apollon045 |
ssh-simplified/s3_srvr_14_false-unreach-call_false-termination.cil.c |
false(unreach-call) |
7.83 |
2.35 |
419213312 |
58.0 |
apollon098 |
error |
2.80 |
1.02 |
215965696 |
24.8 |
apollon142 |
ssh-simplified/s3_srvr_1_false-unreach-call_false-termination.cil.c |
false(unreach-call) |
6.74 |
2.12 |
351375360 |
60.0 |
apollon030 |
error |
2.75 |
1.00 |
214872064 |
23.4 |
apollon049 |
ssh-simplified/s3_srvr_2_false-unreach-call_false-termination.cil.c |
false(unreach-call) |
6.40 |
2.06 |
341139456 |
52.4 |
apollon042 |
error |
2.72 |
1.02 |
215576576 |
23.0 |
apollon058 |
ssh-simplified/s3_srvr_6_false-unreach-call_false-termination.cil.c |
false(unreach-call) |
4.09 |
1.57 |
288546816 |
34.7 |
apollon070 |
error |
2.86 |
1.02 |
214331392 |
25.3 |
apollon024 |
ssh-simplified/s3_clnt_1_true-unreach-call_true-termination.cil.c |
true |
16.2 |
4.63 |
621895680 |
131 |
apollon127 |
error |
2.63 |
.990 |
211410944 |
22.9 |
apollon018 |
ssh-simplified/s3_clnt_2_true-unreach-call_true-termination.cil.c |
true |
12.4 |
3.48 |
488386560 |
107 |
apollon111 |
error |
2.65 |
1.02 |
214876160 |
25.8 |
apollon059 |
ssh-simplified/s3_clnt_3_true-unreach-call_true-termination.cil.c |
true |
9.73 |
2.76 |
496414720 |
88.7 |
apollon111 |
error |
2.73 |
.987 |
212766720 |
26.6 |
apollon160 |
ssh-simplified/s3_clnt_4_true-unreach-call_true-termination.cil.c |
true |
18.1 |
4.97 |
612642816 |
134 |
apollon017 |
error |
2.67 |
1.01 |
213512192 |
22.6 |
apollon062 |
ssh-simplified/s3_srvr_1_true-unreach-call_false-termination.cil.c |
true |
41.7 |
18.1 |
1533001728 |
370 |
apollon133 |
error |
2.70 |
1.02 |
209289216 |
23.5 |
apollon142 |
ssh-simplified/s3_srvr_1a_true-unreach-call_false-termination.cil.c |
true |
7.31 |
2.23 |
444444672 |
61.2 |
apollon167 |
error |
2.14 |
.923 |
205799424 |
22.7 |
apollon008 |
ssh-simplified/s3_srvr_1b_true-unreach-call_false-termination.cil.c |
true |
3.82 |
1.48 |
276803584 |
34.5 |
apollon022 |
error |
2.30 |
.897 |
209739776 |
22.6 |
apollon081 |
ssh-simplified/s3_srvr_2_true-unreach-call_false-termination.cil.c |
true |
24.1 |
6.61 |
852000768 |
170 |
apollon100 |
error |
2.80 |
1.02 |
214192128 |
26.3 |
apollon094 |
ssh-simplified/s3_srvr_3_true-unreach-call_false-termination.cil.c |
true |
28.2 |
7.36 |
799481856 |
199 |
apollon117 |
error |
2.71 |
1.00 |
210644992 |
22.4 |
apollon003 |
ssh-simplified/s3_srvr_4_true-unreach-call_false-termination.cil.c |
true |
31.2 |
9.52 |
1082322944 |
248 |
apollon011 |
error |
2.73 |
1.01 |
214085632 |
22.9 |
apollon109 |
ssh-simplified/s3_srvr_6_true-unreach-call_false-termination.cil.c |
unknown |
101 |
76.2 |
2603286528 |
1050 |
apollon167 |
true |
171 |
129 |
1626562560 |
1790 |
apollon147 |
ssh-simplified/s3_srvr_7_true-unreach-call_false-termination.cil.c |
true |
47.6 |
24.3 |
1600352256 |
450 |
apollon038 |
error |
2.71 |
1.02 |
213061632 |
25.7 |
apollon027 |
ssh-simplified/s3_srvr_8_true-unreach-call_false-termination.cil.c |
true |
41.6 |
14.9 |
1357250560 |
335 |
apollon045 |
error |
2.78 |
1.02 |
214847488 |
27.4 |
apollon106 |
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c |
false(unreach-call) |
3.89 |
1.55 |
290488320 |
35.3 |
apollon118 |
error |
2.34 |
.968 |
211648512 |
21.3 |
apollon076 |
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c |
false(unreach-call) |
3.69 |
1.47 |
286932992 |
32.3 |
apollon085 |
error |
2.29 |
.914 |
214716416 |
19.1 |
apollon137 |
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c |
true |
3.20 |
1.26 |
274280448 |
28.7 |
apollon004 |
error |
2.25 |
.907 |
214499328 |
18.9 |
apollon050 |
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c |
true |
3.29 |
1.30 |
272015360 |
27.6 |
apollon051 |
error |
2.25 |
.907 |
211480576 |
20.6 |
apollon038 |
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c |
true |
3.20 |
1.26 |
276197376 |
29.6 |
apollon118 |
error |
2.25 |
.941 |
210464768 |
22.2 |
apollon007 |
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c |
true |
3.28 |
1.31 |
276688896 |
29.5 |
apollon004 |
error |
2.24 |
.928 |
211197952 |
21.3 |
apollon022 |
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c |
true |
3.31 |
1.34 |
275124224 |
28.9 |
apollon034 |
error |
2.33 |
.955 |
210452480 |
22.9 |
apollon020 |
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c |
true |
3.36 |
1.30 |
277331968 |
28.7 |
apollon026 |
error |
2.31 |
.934 |
212070400 |
19.6 |
apollon029 |
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c |
true |
2.82 |
1.18 |
271339520 |
25.1 |
apollon078 |
error |
2.17 |
.893 |
214544384 |
22.5 |
apollon125 |
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c |
true |
2.83 |
1.18 |
267870208 |
24.6 |
apollon085 |
error |
2.27 |
.964 |
208932864 |
20.3 |
apollon067 |
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c |
true |
2.93 |
1.19 |
274169856 |
23.8 |
apollon043 |
error |
2.21 |
.890 |
216412160 |
21.1 |
apollon010 |
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c |
true |
3.00 |
1.21 |
271302656 |
28.6 |
apollon020 |
error |
2.19 |
.907 |
208932864 |
22.8 |
apollon057 |
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c |
true |
3.07 |
1.21 |
271044608 |
26.9 |
apollon087 |
error |
2.31 |
.939 |
209993728 |
19.1 |
apollon134 |
ntdrivers/cdaudio_false-unreach-call.i.cil.c |
unknown |
101 |
58.2 |
3856003072 |
984 |
apollon107 |
false(unreach-call) |
75.7 |
48.6 |
959676416 |
762 |
apollon109 |
ntdrivers/diskperf_false-unreach-call.i.cil.c |
false(unreach-call) |
11.5 |
3.08 |
487526400 |
99.5 |
apollon161 |
error |
5.22 |
1.45 |
323293184 |
39.7 |
apollon115 |
ntdrivers/floppy_false-unreach-call.i.cil.c |
false(unreach-call) |
27.8 |
7.02 |
827916288 |
214 |
apollon051 |
error |
6.64 |
1.72 |
373469184 |
49.2 |
apollon103 |
ntdrivers/kbfiltr_false-unreach-call.i.cil.c |
false(unreach-call) |
9.18 |
2.59 |
472186880 |
71.0 |
apollon026 |
error |
4.61 |
1.40 |
301264896 |
32.3 |
apollon089 |
ntdrivers/parport_false-unreach-call.i.cil.c |
false(unreach-call) |
41.1 |
12.3 |
1233416192 |
337 |
apollon002 |
error |
7.65 |
1.87 |
417009664 |
59.8 |
apollon070 |
ntdrivers/cdaudio_true-unreach-call.i.cil.c |
true |
13.2 |
3.52 |
498647040 |
108 |
apollon161 |
error |
6.73 |
1.67 |
388272128 |
54.8 |
apollon056 |
ntdrivers/diskperf_true-unreach-call.i.cil.c |
true |
10.4 |
2.82 |
465846272 |
85.1 |
apollon119 |
error |
5.39 |
1.54 |
325652480 |
43.9 |
apollon006 |
ntdrivers/floppy2_true-unreach-call_true-termination.i.cil.c |
true |
36.7 |
9.30 |
1080754176 |
265 |
apollon051 |
error |
12.5 |
3.04 |
547868672 |
104 |
apollon028 |
ntdrivers/floppy_true-unreach-call_true-valid-memsafety.i.cil.c |
true |
22.8 |
5.87 |
808267776 |
158 |
apollon098 |
error |
6.61 |
1.77 |
332845056 |
52.4 |
apollon166 |
ntdrivers/parport_true-unreach-call.i.cil.c |
true |
48.1 |
18.0 |
1745305600 |
449 |
apollon167 |
error |
6.83 |
1.78 |
400699392 |
52.4 |
apollon090 |
ssh/s3_clnt.blast.01_false-unreach-call.i.cil.c |
false(unreach-call) |
9.13 |
2.57 |
449695744 |
67.3 |
apollon058 |
error |
3.24 |
1.13 |
211841024 |
26.7 |
apollon035 |
ssh/s3_clnt.blast.02_false-unreach-call.i.cil.c |
false(unreach-call) |
9.14 |
2.59 |
452468736 |
80.0 |
apollon161 |
error |
3.10 |
1.12 |
212111360 |
30.4 |
apollon008 |
ssh/s3_clnt.blast.03_false-unreach-call.i.cil.c |
false(unreach-call) |
8.63 |
2.46 |
425029632 |
62.6 |
apollon158 |
error |
3.42 |
1.27 |
214585344 |
29.2 |
apollon141 |
ssh/s3_clnt.blast.04_false-unreach-call.i.cil.c |
false(unreach-call) |
8.65 |
2.52 |
455716864 |
68.1 |
apollon038 |
error |
3.46 |
1.19 |
261885952 |
32.6 |
apollon056 |
ssh/s3_srvr.blast.01_false-unreach-call.i.cil.c |
false(unreach-call) |
8.04 |
2.33 |
395956224 |
61.8 |
apollon089 |
error |
3.17 |
1.09 |
212389888 |
26.0 |
apollon003 |
ssh/s3_srvr.blast.02_false-unreach-call.i.cil.c |
false(unreach-call) |
8.22 |
2.40 |
409186304 |
65.0 |
apollon053 |
error |
3.16 |
1.10 |
212918272 |
28.6 |
apollon048 |
ssh/s3_srvr.blast.03_false-unreach-call.i.cil.c |
false(unreach-call) |
7.72 |
2.25 |
406921216 |
61.1 |
apollon058 |
error |
3.34 |
1.19 |
214728704 |
30.1 |
apollon164 |
ssh/s3_srvr.blast.04_false-unreach-call.i.cil.c |
false(unreach-call) |
8.04 |
2.33 |
421318656 |
61.0 |
apollon002 |
error |
3.26 |
1.12 |
214847488 |
28.9 |
apollon048 |
ssh/s3_srvr.blast.06_false-unreach-call.i.cil.c |
false(unreach-call) |
5.85 |
1.89 |
315543552 |
51.3 |
apollon019 |
error |
3.32 |
1.14 |
214503424 |
27.8 |
apollon150 |
ssh/s3_srvr.blast.07_false-unreach-call.i.cil.c |
false(unreach-call) |
9.70 |
2.76 |
460361728 |
80.3 |
apollon067 |
error |
3.19 |
1.10 |
213225472 |
26.2 |
apollon139 |
ssh/s3_srvr.blast.08_false-unreach-call.i.cil.c |
false(unreach-call) |
5.83 |
1.92 |
310112256 |
46.1 |
apollon058 |
error |
3.46 |
1.16 |
255434752 |
32.3 |
apollon069 |
ssh/s3_srvr.blast.09_false-unreach-call.i.cil.c |
false(unreach-call) |
10.9 |
3.09 |
443912192 |
87.7 |
apollon022 |
error |
3.23 |
1.13 |
213823488 |
24.9 |
apollon089 |
ssh/s3_srvr.blast.10_false-unreach-call.i.cil.c |
false(unreach-call) |
5.66 |
1.87 |
313110528 |
48.9 |
apollon168 |
error |
3.28 |
1.13 |
213401600 |
29.5 |
apollon132 |
ssh/s3_srvr.blast.11_false-unreach-call.i.cil.c |
false(unreach-call) |
10.3 |
2.89 |
481853440 |
76.8 |
apollon054 |
error |
3.34 |
1.14 |
253288448 |
28.1 |
apollon011 |
ssh/s3_srvr.blast.12_false-unreach-call.i.cil.c |
false(unreach-call) |
5.76 |
1.87 |
309747712 |
44.6 |
apollon123 |
error |
3.25 |
1.13 |
220651520 |
26.2 |
apollon123 |
ssh/s3_srvr.blast.13_false-unreach-call.i.cil.c |
false(unreach-call) |
10.5 |
2.93 |
447406080 |
82.4 |
apollon053 |
error |
3.24 |
1.15 |
212746240 |
28.5 |
apollon120 |
ssh/s3_srvr.blast.14_false-unreach-call.i.cil.c |
false(unreach-call) |
5.94 |
1.95 |
320987136 |
56.0 |
apollon125 |
error |
3.39 |
1.14 |
214372352 |
26.2 |
apollon154 |
ssh/s3_srvr.blast.15_false-unreach-call.i.cil.c |
false(unreach-call) |
5.86 |
1.86 |
309665792 |
50.0 |
apollon101 |
error |
3.20 |
1.13 |
211853312 |
26.7 |
apollon127 |
ssh/s3_srvr.blast.16_false-unreach-call.i.cil.c |
false(unreach-call) |
6.07 |
1.92 |
310468608 |
47.0 |
apollon002 |
error |
3.22 |
1.09 |
214323200 |
30.0 |
apollon161 |
ssh/s3_clnt.blast.01_true-unreach-call.i.cil.c |
false(unreach-call) |
9.88 |
2.74 |
463360000 |
80.9 |
apollon070 |
error |
3.38 |
1.21 |
212832256 |
29.7 |
apollon148 |
ssh/s3_clnt.blast.02_true-unreach-call.i.cil.c |
false(unreach-call) |
9.08 |
2.61 |
445390848 |
70.6 |
apollon082 |
error |
3.22 |
1.14 |
211976192 |
31.2 |
apollon160 |
ssh/s3_clnt.blast.03_true-unreach-call.i.cil.c |
false(unreach-call) |
10.4 |
2.96 |
451772416 |
84.8 |
apollon101 |
error |
3.21 |
1.15 |
216494080 |
30.5 |
apollon016 |
ssh/s3_clnt.blast.04_true-unreach-call.i.cil.c |
false(unreach-call) |
10.8 |
2.98 |
448491520 |
87.1 |
apollon076 |
error |
3.14 |
1.15 |
213131264 |
27.4 |
apollon102 |
ssh/s3_srvr.blast.01_true-unreach-call.i.cil.c |
false(unreach-call) |
10.3 |
2.98 |
454479872 |
73.2 |
apollon054 |
error |
3.38 |
1.15 |
256634880 |
31.4 |
apollon088 |
ssh/s3_srvr.blast.02_true-unreach-call.i.cil.c |
false(unreach-call) |
8.51 |
2.44 |
474112000 |
70.8 |
apollon141 |
error |
3.19 |
1.15 |
212389888 |
30.8 |
apollon008 |
ssh/s3_srvr.blast.06_true-unreach-call.i.cil.c |
false(unreach-call) |
78.6 |
40.0 |
2531569664 |
760 |
apollon125 |
error |
3.51 |
1.21 |
256118784 |
30.0 |
apollon078 |
ssh/s3_srvr.blast.07_true-unreach-call.i.cil.c |
false(unreach-call) |
12.5 |
3.42 |
493748224 |
96.9 |
apollon051 |
error |
3.19 |
1.11 |
211795968 |
27.5 |
apollon084 |
ssh/s3_srvr.blast.08_true-unreach-call.i.cil.c |
false(unreach-call) |
16.2 |
4.48 |
638615552 |
145 |
apollon030 |
error |
3.47 |
1.19 |
260743168 |
31.8 |
apollon028 |
ssh/s3_srvr.blast.09_true-unreach-call.i.cil.c |
false(unreach-call) |
12.2 |
3.42 |
467406848 |
99.3 |
apollon101 |
error |
3.55 |
1.22 |
254308352 |
27.5 |
apollon137 |
ssh/s3_srvr.blast.10_true-unreach-call.i.cil.c |
false(unreach-call) |
11.5 |
3.15 |
471052288 |
88.4 |
apollon042 |
error |
3.27 |
1.12 |
219906048 |
27.2 |
apollon079 |
ssh/s3_srvr.blast.11_true-unreach-call.i.cil.c |
false(unreach-call) |
11.7 |
3.23 |
469540864 |
102 |
apollon044 |
error |
3.63 |
1.25 |
215490560 |
30.3 |
apollon093 |
ssh/s3_srvr.blast.12_true-unreach-call.i.cil.c |
false(unreach-call) |
20.4 |
5.99 |
646975488 |
176 |
apollon140 |
error |
3.48 |
1.18 |
257232896 |
29.2 |
apollon032 |
ssh/s3_srvr.blast.13_true-unreach-call.i.cil.c |
false(unreach-call) |
10.5 |
2.99 |
446189568 |
94.1 |
apollon126 |
error |
3.25 |
1.11 |
218587136 |
28.0 |
apollon135 |
ssh/s3_srvr.blast.14_true-unreach-call.i.cil.c |
false(unreach-call) |
32.8 |
12.1 |
1119997952 |
300 |
apollon030 |
error |
3.43 |
1.18 |
255295488 |
27.6 |
apollon058 |
ssh/s3_srvr.blast.15_true-unreach-call.i.cil.c |
false(unreach-call) |
19.9 |
5.63 |
705064960 |
172 |
apollon140 |
error |
3.46 |
1.18 |
255815680 |
27.8 |
apollon002 |
ssh/s3_srvr.blast.16_true-unreach-call.i.cil.c |
false(unreach-call) |
36.6 |
16.4 |
1510846464 |
293 |
apollon158 |
error |
3.22 |
1.11 |
214851584 |
27.2 |
apollon075 |
eca-rers2012/Problem01_label15_false-unreach-call_false-termination.c |
false(unreach-call) |
19.2 |
5.31 |
774098944 |
155 |
apollon109 |
error |
3.55 |
1.12 |
218013696 |
31.1 |
apollon077 |
eca-rers2012/Problem01_label20_false-unreach-call_false-termination.c |
false(unreach-call) |
26.3 |
7.53 |
1136979968 |
215 |
apollon009 |
error |
3.52 |
1.17 |
212582400 |
30.7 |
apollon113 |
eca-rers2012/Problem01_label21_false-unreach-call_false-termination.c |
false(unreach-call) |
20.4 |
5.38 |
821071872 |
181 |
apollon044 |
error |
3.48 |
1.15 |
215412736 |
28.1 |
apollon038 |
eca-rers2012/Problem01_label32_false-unreach-call_false-termination.c |
false(unreach-call) |
29.0 |
8.58 |
1047896064 |
242 |
apollon020 |
error |
3.52 |
1.19 |
217083904 |
32.7 |
apollon163 |
eca-rers2012/Problem01_label33_false-unreach-call_false-termination.c |
false(unreach-call) |
22.0 |
6.19 |
848171008 |
171 |
apollon060 |
error |
3.46 |
1.15 |
217767936 |
31.0 |
apollon091 |
eca-rers2012/Problem01_label35_false-unreach-call_false-termination.c |
false(unreach-call) |
26.9 |
9.13 |
1037926400 |
207 |
apollon058 |
error |
3.57 |
1.16 |
220409856 |
31.3 |
apollon077 |
eca-rers2012/Problem01_label37_false-unreach-call_false-termination.c |
false(unreach-call) |
22.1 |
5.89 |
846315520 |
170 |
apollon085 |
error |
3.65 |
1.17 |
214134784 |
29.1 |
apollon013 |
eca-rers2012/Problem01_label38_false-unreach-call_false-termination.c |
false(unreach-call) |
21.1 |
5.64 |
812269568 |
168 |
apollon047 |
error |
3.51 |
1.12 |
214458368 |
33.0 |
apollon122 |
eca-rers2012/Problem01_label44_false-unreach-call_false-termination.c |
false(unreach-call) |
16.0 |
4.32 |
600502272 |
144 |
apollon125 |
error |
3.86 |
1.16 |
242081792 |
30.6 |
apollon153 |
eca-rers2012/Problem01_label47_false-unreach-call_false-termination.c |
false(unreach-call) |
43.2 |
21.7 |
2095919104 |
429 |
apollon038 |
error |
3.51 |
1.11 |
214659072 |
30.6 |
apollon091 |
eca-rers2012/Problem01_label50_false-unreach-call_false-termination.c |
false(unreach-call) |
22.0 |
5.95 |
801144832 |
186 |
apollon044 |
error |
3.60 |
1.17 |
215678976 |
29.6 |
apollon049 |
eca-rers2012/Problem01_label56_false-unreach-call_false-termination.c |
false(unreach-call) |
23.4 |
6.12 |
823189504 |
187 |
apollon126 |
error |
3.56 |
1.14 |
218738688 |
29.2 |
apollon150 |
eca-rers2012/Problem01_label57_false-unreach-call_false-termination.c |
false(unreach-call) |
43.7 |
23.2 |
2018070528 |
430 |
apollon032 |
error |
3.62 |
1.21 |
215117824 |
30.8 |
apollon102 |
eca-rers2012/Problem02_label13_false-unreach-call_false-termination.c |
false(unreach-call) |
13.1 |
3.55 |
471687168 |
100 |
apollon071 |
error |
3.43 |
1.12 |
215240704 |
30.6 |
apollon024 |
eca-rers2012/Problem02_label16_false-unreach-call_false-termination.c |
false(unreach-call) |
11.0 |
3.11 |
477917184 |
90.4 |
apollon087 |
error |
3.55 |
1.12 |
216489984 |
30.9 |
apollon078 |
eca-rers2012/Problem02_label43_false-unreach-call_false-termination.c |
false(unreach-call) |
12.5 |
3.39 |
489721856 |
105 |
apollon032 |
error |
3.59 |
1.16 |
217550848 |
32.8 |
apollon044 |
eca-rers2012/Problem02_label44_false-unreach-call_false-termination.c |
false(unreach-call) |
12.2 |
3.35 |
474251264 |
108 |
apollon020 |
error |
3.37 |
1.11 |
215846912 |
26.8 |
apollon100 |
eca-rers2012/Problem02_label45_false-unreach-call_false-termination.c |
false(unreach-call) |
21.7 |
5.85 |
700645376 |
186 |
apollon126 |
error |
3.55 |
1.14 |
215298048 |
26.9 |
apollon043 |
eca-rers2012/Problem02_label50_false-unreach-call_false-termination.c |
false(unreach-call) |
18.7 |
5.20 |
633774080 |
160 |
apollon141 |
error |
3.36 |
1.11 |
214106112 |
25.8 |
apollon041 |
eca-rers2012/Problem02_label59_false-unreach-call_false-termination.c |
false(unreach-call) |
16.7 |
4.41 |
586911744 |
139 |
apollon047 |
error |
3.48 |
1.15 |
217280512 |
30.5 |
apollon102 |
eca-rers2012/Problem03_label09_false-unreach-call.c |
false(unreach-call) |
81.6 |
50.0 |
2407669760 |
935 |
apollon140 |
error |
5.55 |
1.57 |
311873536 |
44.9 |
apollon010 |
eca-rers2012/Problem03_label13_false-unreach-call.c |
false(unreach-call) |
49.2 |
24.6 |
1945714688 |
515 |
apollon126 |
error |
5.30 |
1.45 |
313716736 |
41.9 |
apollon119 |
eca-rers2012/Problem03_label26_false-unreach-call.c |
false(unreach-call) |
36.4 |
12.5 |
1239662592 |
331 |
apollon081 |
error |
5.76 |
1.57 |
315293696 |
46.8 |
apollon164 |
eca-rers2012/Problem03_label27_false-unreach-call.c |
false(unreach-call) |
46.1 |
17.4 |
1691025408 |
394 |
apollon118 |
error |
5.68 |
1.55 |
314445824 |
47.4 |
apollon138 |
eca-rers2012/Problem03_label28_false-unreach-call.c |
false(unreach-call) |
46.7 |
17.1 |
1700794368 |
428 |
apollon155 |
error |
5.61 |
1.50 |
334512128 |
43.0 |
apollon061 |
eca-rers2012/Problem03_label31_false-unreach-call.c |
false(unreach-call) |
50.6 |
20.2 |
1823731712 |
463 |
apollon167 |
error |
5.51 |
1.53 |
314621952 |
41.2 |
apollon079 |
eca-rers2012/Problem03_label35_false-unreach-call.c |
false(unreach-call) |
54.9 |
25.5 |
2063114240 |
525 |
apollon071 |
error |
5.39 |
1.53 |
306552832 |
43.1 |
apollon084 |
eca-rers2012/Problem03_label37_false-unreach-call.c |
false(unreach-call) |
46.3 |
20.4 |
1868697600 |
413 |
apollon011 |
error |
5.22 |
1.37 |
346763264 |
38.8 |
apollon011 |
eca-rers2012/Problem03_label39_false-unreach-call.c |
false(unreach-call) |
68.4 |
34.0 |
1953198080 |
631 |
apollon142 |
error |
5.43 |
1.46 |
313151488 |
44.0 |
apollon096 |
eca-rers2012/Problem03_label43_false-unreach-call.c |
false(unreach-call) |
51.9 |
21.5 |
1993134080 |
413 |
apollon089 |
error |
5.28 |
1.45 |
314843136 |
37.9 |
apollon089 |
eca-rers2012/Problem03_label45_false-unreach-call.c |
false(unreach-call) |
58.5 |
27.8 |
2186940416 |
495 |
apollon128 |
error |
5.58 |
1.64 |
295882752 |
47.7 |
apollon108 |
eca-rers2012/Problem03_label50_false-unreach-call.c |
false(unreach-call) |
78.4 |
50.1 |
1836380160 |
817 |
apollon135 |
error |
5.22 |
1.45 |
338034688 |
39.1 |
apollon139 |
eca-rers2012/Problem03_label52_false-unreach-call.c |
unknown |
102 |
77.9 |
2815733760 |
1040 |
apollon151 |
false(unreach-call) |
208 |
143 |
2105593856 |
2410 |
apollon027 |
eca-rers2012/Problem04_label04_false-unreach-call.c |
unknown |
106 |
64.2 |
2799005696 |
853 |
apollon100 |
timeout |
958 |
230 |
1677672448 |
5530 |
apollon096 |
eca-rers2012/Problem04_label06_false-unreach-call.c |
unknown |
105 |
62.9 |
2442240000 |
799 |
apollon151 |
timeout |
950 |
225 |
1671622656 |
5230 |
apollon061 |
eca-rers2012/Problem04_label09_false-unreach-call.c |
unknown |
105 |
65.0 |
3029127168 |
943 |
apollon108 |
timeout |
952 |
222 |
1654689792 |
5630 |
apollon164 |
eca-rers2012/Problem04_label11_false-unreach-call_false-termination.c |
unknown |
106 |
66.4 |
2867843072 |
867 |
apollon127 |
timeout |
957 |
232 |
1688006656 |
5620 |
apollon084 |
eca-rers2012/Problem04_label12_false-unreach-call_false-termination.c |
unknown |
105 |
66.3 |
2891554816 |
913 |
apollon082 |
timeout |
954 |
233 |
1693884416 |
5550 |
apollon084 |
eca-rers2012/Problem04_label13_false-unreach-call.c |
unknown |
104 |
65.0 |
2967457792 |
930 |
apollon108 |
timeout |
958 |
228 |
1697665024 |
5170 |
apollon133 |
eca-rers2012/Problem04_label14_false-unreach-call_false-termination.c |
unknown |
106 |
61.5 |
2798776320 |
817 |
apollon029 |
timeout |
953 |
221 |
1659887616 |
5320 |
apollon095 |
eca-rers2012/Problem04_label15_false-unreach-call.c |
unknown |
106 |
63.2 |
2703863808 |
885 |
apollon032 |
timeout |
952 |
222 |
1651679232 |
5900 |
apollon161 |
eca-rers2012/Problem04_label17_false-unreach-call_false-termination.c |
unknown |
106 |
65.2 |
2876592128 |
881 |
apollon146 |
timeout |
950 |
226 |
1672204288 |
5110 |
apollon073 |
eca-rers2012/Problem04_label18_false-unreach-call.c |
unknown |
105 |
62.8 |
2570268672 |
922 |
apollon168 |
timeout |
951 |
223 |
1662783488 |
5340 |
apollon055 |
eca-rers2012/Problem04_label19_false-unreach-call.c |
unknown |
104 |
63.0 |
2145894400 |
854 |
apollon121 |
timeout |
952 |
222 |
1664286720 |
6130 |
apollon039 |
eca-rers2012/Problem04_label26_false-unreach-call.c |
unknown |
106 |
64.2 |
2630680576 |
935 |
apollon095 |
timeout |
952 |
221 |
1657630720 |
5160 |
apollon045 |
eca-rers2012/Problem04_label27_false-unreach-call_false-termination.c |
unknown |
105 |
65.8 |
2343235584 |
1050 |
apollon016 |
timeout |
957 |
229 |
1681248256 |
5440 |
apollon032 |
eca-rers2012/Problem04_label31_false-unreach-call.c |
unknown |
106 |
66.4 |
2871259136 |
880 |
apollon117 |
timeout |
957 |
233 |
1704861696 |
6030 |
apollon014 |
eca-rers2012/Problem04_label32_false-unreach-call.c |
unknown |
104 |
62.4 |
2482671616 |
964 |
apollon014 |
timeout |
952 |
222 |
1652109312 |
5000 |
apollon013 |
eca-rers2012/Problem04_label35_false-unreach-call.c |
unknown |
105 |
64.3 |
2723340288 |
1120 |
apollon021 |
timeout |
957 |
233 |
1694257152 |
5210 |
apollon002 |
eca-rers2012/Problem04_label36_false-unreach-call_false-termination.c |
unknown |
106 |
63.6 |
2360848384 |
887 |
apollon128 |
timeout |
957 |
235 |
1688944640 |
6130 |
apollon044 |
eca-rers2012/Problem04_label38_false-unreach-call.c |
unknown |
106 |
64.8 |
2884759552 |
934 |
apollon079 |
timeout |
951 |
227 |
1681661952 |
5170 |
apollon109 |
eca-rers2012/Problem04_label39_false-unreach-call.c |
unknown |
105 |
61.5 |
2437586944 |
881 |
apollon146 |
timeout |
955 |
220 |
1652596736 |
4880 |
apollon123 |
eca-rers2012/Problem04_label40_false-unreach-call_false-termination.c |
unknown |
106 |
65.4 |
2728771584 |
1030 |
apollon014 |
timeout |
956 |
234 |
1695178752 |
5460 |
apollon070 |
eca-rers2012/Problem04_label45_false-unreach-call.c |
unknown |
106 |
63.7 |
2421309440 |
880 |
apollon086 |
timeout |
953 |
219 |
1661759488 |
5860 |
apollon088 |
eca-rers2012/Problem04_label52_false-unreach-call.c |
unknown |
104 |
64.8 |
2975277056 |
935 |
apollon164 |
timeout |
953 |
221 |
1660448768 |
5280 |
apollon121 |
eca-rers2012/Problem04_label55_false-unreach-call.c |
unknown |
105 |
65.2 |
2656747520 |
955 |
apollon165 |
timeout |
951 |
224 |
1657204736 |
4980 |
apollon116 |
eca-rers2012/Problem04_label58_false-unreach-call_false-termination.c |
unknown |
106 |
63.8 |
2865848320 |
875 |
apollon152 |
timeout |
957 |
229 |
1676279808 |
4980 |
apollon089 |
eca-rers2012/Problem05_label00_false-unreach-call.c |
unknown |
109 |
65.6 |
2675154944 |
972 |
apollon038 |
out of java memory |
852 |
163 |
1496420352 |
5260 |
apollon021 |
eca-rers2012/Problem05_label01_false-unreach-call.c |
unknown |
104 |
68.5 |
2580602880 |
891 |
apollon015 |
out of java memory |
875 |
173 |
1562574848 |
4350 |
apollon089 |
eca-rers2012/Problem05_label11_false-unreach-call.c |
unknown |
103 |
61.6 |
2678022144 |
860 |
apollon128 |
out of java memory |
836 |
162 |
1493139456 |
4700 |
apollon007 |
eca-rers2012/Problem05_label13_false-unreach-call.c |
unknown |
107 |
66.3 |
2762219520 |
895 |
apollon076 |
out of java memory |
749 |
160 |
1568329728 |
4230 |
apollon005 |
eca-rers2012/Problem05_label15_false-unreach-call.c |
unknown |
110 |
61.9 |
3064414208 |
909 |
apollon119 |
out of java memory |
864 |
166 |
1504534528 |
3900 |
apollon063 |
eca-rers2012/Problem05_label18_false-unreach-call.c |
unknown |
111 |
64.8 |
3053572096 |
945 |
apollon168 |
out of java memory |
851 |
164 |
1501671424 |
4310 |
apollon023 |
eca-rers2012/Problem05_label24_false-unreach-call.c |
unknown |
110 |
67.7 |
2533466112 |
875 |
apollon098 |
timeout (error (1)) |
919 |
192 |
1749606400 |
4970 |
apollon017 |
eca-rers2012/Problem05_label26_false-unreach-call.c |
unknown |
104 |
67.9 |
2060161024 |
1150 |
apollon021 |
out of java memory |
756 |
158 |
1557172224 |
4090 |
apollon147 |
eca-rers2012/Problem05_label30_false-unreach-call.c |
unknown |
103 |
61.5 |
2814627840 |
911 |
apollon106 |
out of java memory |
828 |
163 |
1502433280 |
4460 |
apollon132 |
eca-rers2012/Problem05_label32_false-unreach-call.c |
unknown |
108 |
64.6 |
2605826048 |
977 |
apollon019 |
timeout |
957 |
179 |
1503428608 |
5340 |
apollon126 |
eca-rers2012/Problem05_label33_false-unreach-call.c |
unknown |
111 |
62.9 |
2602913792 |
890 |
apollon093 |
out of java memory |
856 |
167 |
1499000832 |
5020 |
apollon036 |
eca-rers2012/Problem05_label36_false-unreach-call.c |
unknown |
108 |
65.1 |
2977853440 |
903 |
apollon018 |
out of java memory |
851 |
164 |
1492844544 |
4480 |
apollon156 |
eca-rers2012/Problem05_label37_false-unreach-call.c |
unknown |
103 |
65.3 |
2481061888 |
853 |
apollon042 |
timeout |
955 |
178 |
1487568896 |
5330 |
apollon016 |
eca-rers2012/Problem05_label38_false-unreach-call.c |
unknown |
103 |
71.4 |
2732982272 |
873 |
apollon121 |
timeout |
951 |
182 |
1592635392 |
4850 |
apollon012 |
eca-rers2012/Problem05_label39_false-unreach-call.c |
unknown |
104 |
58.2 |
2727407616 |
830 |
apollon093 |
timeout |
957 |
178 |
1497432064 |
4390 |
apollon151 |
eca-rers2012/Problem05_label40_false-unreach-call.c |
unknown |
104 |
65.2 |
2683604992 |
847 |
apollon151 |
out of java memory |
895 |
169 |
1501507584 |
4520 |
apollon002 |
eca-rers2012/Problem05_label41_false-unreach-call.c |
unknown |
103 |
57.5 |
2862415872 |
957 |
apollon081 |
timeout |
957 |
178 |
1491943424 |
5380 |
apollon160 |
eca-rers2012/Problem05_label44_false-unreach-call.c |
unknown |
103 |
58.7 |
2627387392 |
831 |
apollon025 |
timeout |
956 |
192 |
1583501312 |
5240 |
apollon097 |
eca-rers2012/Problem05_label47_false-unreach-call.c |
unknown |
113 |
65.9 |
3175817216 |
868 |
apollon029 |
out of java memory |
816 |
159 |
1496752128 |
4600 |
apollon069 |
eca-rers2012/Problem05_label48_false-unreach-call.c |
unknown |
111 |
64.1 |
2790735872 |
951 |
apollon004 |
timeout |
954 |
182 |
1580965888 |
5220 |
apollon155 |
eca-rers2012/Problem05_label51_false-unreach-call.c |
unknown |
103 |
62.2 |
2473623552 |
986 |
apollon125 |
out of java memory |
877 |
178 |
1554939904 |
5010 |
apollon067 |
eca-rers2012/Problem05_label55_false-unreach-call.c |
unknown |
104 |
57.8 |
2264559616 |
871 |
apollon004 |
out of java memory |
848 |
164 |
1499668480 |
4380 |
apollon018 |
eca-rers2012/Problem05_label57_false-unreach-call.c |
unknown |
103 |
57.4 |
2603585536 |
916 |
apollon079 |
timeout |
957 |
179 |
1504890880 |
4830 |
apollon085 |
eca-rers2012/Problem05_label58_false-unreach-call.c |
unknown |
111 |
63.3 |
2659594240 |
880 |
apollon053 |
out of java memory |
861 |
167 |
1500975104 |
5100 |
apollon033 |
eca-rers2012/Problem06_label00_false-unreach-call.c |
unknown |
103 |
57.1 |
2952146944 |
829 |
apollon135 |
timeout |
957 |
464 |
2883506176 |
7380 |
apollon103 |
eca-rers2012/Problem06_label01_false-unreach-call.c |
unknown |
103 |
59.7 |
2354462720 |
853 |
apollon152 |
out of java memory |
699 |
175 |
1730588672 |
4220 |
apollon091 |
eca-rers2012/Problem06_label02_false-unreach-call.c |
unknown |
108 |
59.0 |
2451890176 |
916 |
apollon038 |
out of java memory |
711 |
178 |
1729380352 |
3730 |
apollon117 |
eca-rers2012/Problem06_label04_false-unreach-call.c |
unknown |
103 |
56.5 |
2786918400 |
891 |
apollon034 |
timeout |
948 |
303 |
2237493248 |
6630 |
apollon030 |
eca-rers2012/Problem06_label05_false-unreach-call.c |
unknown |
104 |
54.0 |
2906554368 |
784 |
apollon054 |
timeout |
957 |
487 |
2964312064 |
8430 |
apollon047 |
eca-rers2012/Problem06_label09_false-unreach-call.c |
unknown |
103 |
57.7 |
2490544128 |
827 |
apollon015 |
timeout |
957 |
375 |
2491998208 |
6400 |
apollon079 |
eca-rers2012/Problem06_label10_false-unreach-call.c |
unknown |
102 |
54.9 |
2424188928 |
845 |
apollon025 |
timeout |
955 |
425 |
2788855808 |
6990 |
apollon144 |
eca-rers2012/Problem06_label11_false-unreach-call.c |
unknown |
105 |
54.0 |
2914156544 |
814 |
apollon120 |
timeout |
957 |
408 |
2781609984 |
8250 |
apollon160 |
eca-rers2012/Problem06_label12_false-unreach-call.c |
unknown |
103 |
57.7 |
2582433792 |
1030 |
apollon167 |
timeout |
955 |
468 |
3347025920 |
7310 |
apollon115 |
eca-rers2012/Problem06_label15_false-unreach-call.c |
unknown |
107 |
57.1 |
2395238400 |
1020 |
apollon014 |
timeout |
955 |
213 |
1691865088 |
5910 |
apollon163 |
eca-rers2012/Problem06_label20_false-unreach-call.c |
unknown |
103 |
60.9 |
2678034432 |
824 |
apollon092 |
out of java memory |
759 |
186 |
1710542848 |
4530 |
apollon070 |
eca-rers2012/Problem06_label21_false-unreach-call.c |
unknown |
104 |
52.4 |
2506428416 |
798 |
apollon152 |
timeout |
955 |
211 |
1698721792 |
4880 |
apollon137 |
eca-rers2012/Problem06_label24_false-unreach-call.c |
unknown |
103 |
58.1 |
2741145600 |
909 |
apollon087 |
timeout |
953 |
216 |
1698521088 |
5880 |
apollon122 |
eca-rers2012/Problem06_label27_false-unreach-call.c |
unknown |
103 |
58.5 |
2712629248 |
921 |
apollon072 |
timeout |
956 |
211 |
1723260928 |
4910 |
apollon100 |
eca-rers2012/Problem06_label29_false-unreach-call.c |
unknown |
107 |
61.0 |
2793439232 |
839 |
apollon060 |
timeout |
954 |
213 |
1703456768 |
4710 |
apollon041 |
eca-rers2012/Problem06_label33_false-unreach-call.c |
unknown |
104 |
58.3 |
2218074112 |
990 |
apollon106 |
timeout |
955 |
211 |
1687818240 |
4860 |
apollon117 |
eca-rers2012/Problem06_label36_false-unreach-call.c |
unknown |
103 |
57.8 |
2626785280 |
980 |
apollon081 |
out of java memory |
645 |
169 |
1715585024 |
4190 |
apollon030 |
eca-rers2012/Problem06_label37_false-unreach-call.c |
unknown |
103 |
57.5 |
2487402496 |
888 |
apollon109 |
timeout |
956 |
210 |
1703415808 |
5470 |
apollon065 |
eca-rers2012/Problem06_label38_false-unreach-call.c |
unknown |
107 |
57.2 |
2394734592 |
909 |
apollon109 |
out of java memory |
806 |
194 |
1717211136 |
5030 |
apollon164 |
eca-rers2012/Problem06_label44_false-unreach-call.c |
unknown |
103 |
55.1 |
2350030848 |
834 |
apollon070 |
timeout |
956 |
211 |
1697751040 |
5680 |
apollon080 |
eca-rers2012/Problem06_label47_false-unreach-call.c |
unknown |
103 |
52.7 |
2400665600 |
830 |
apollon058 |
timeout |
956 |
210 |
1697480704 |
5770 |
apollon081 |
eca-rers2012/Problem06_label48_false-unreach-call.c |
unknown |
105 |
57.8 |
2625384448 |
898 |
apollon121 |
timeout |
953 |
215 |
1696415744 |
5210 |
apollon105 |
eca-rers2012/Problem06_label56_false-unreach-call.c |
unknown |
103 |
56.3 |
2394062848 |
776 |
apollon002 |
timeout |
954 |
211 |
1704607744 |
4780 |
apollon092 |
eca-rers2012/Problem06_label58_false-unreach-call.c |
unknown |
108 |
57.4 |
2758926336 |
977 |
apollon030 |
timeout |
956 |
204 |
1625190400 |
5730 |
apollon106 |
eca-rers2012/Problem06_label59_false-unreach-call.c |
unknown |
103 |
56.4 |
2517798912 |
865 |
apollon086 |
timeout |
958 |
212 |
1822658560 |
5660 |
apollon059 |
eca-rers2012/Problem07_label03_false-unreach-call.c |
unknown |
149 |
33.4 |
6278975488 |
791 |
apollon002 |
timeout |
957 |
181 |
1612308480 |
4880 |
apollon061 |
eca-rers2012/Problem07_label05_false-unreach-call.c |
unknown |
145 |
33.3 |
6970871808 |
865 |
apollon022 |
timeout |
957 |
181 |
1600929792 |
5030 |
apollon032 |
eca-rers2012/Problem07_label06_false-unreach-call.c |
unknown |
162 |
35.0 |
6616494080 |
811 |
apollon029 |
timeout |
956 |
182 |
1605246976 |
5010 |
apollon156 |
eca-rers2012/Problem07_label07_false-unreach-call.c |
unknown |
102 |
25.0 |
4376100864 |
580 |
apollon086 |
error |
51.7 |
19.6 |
1248935936 |
366 |
apollon043 |
eca-rers2012/Problem07_label09_false-unreach-call.c |
unknown |
102 |
24.8 |
4639858688 |
617 |
apollon077 |
timeout |
952 |
134 |
1447890944 |
3750 |
apollon134 |
eca-rers2012/Problem07_label11_false-unreach-call.c |
unknown |
136 |
31.3 |
6010540032 |
694 |
apollon040 |
timeout |
956 |
181 |
1606176768 |
5540 |
apollon014 |
eca-rers2012/Problem07_label15_false-unreach-call.c |
unknown |
103 |
32.2 |
4809199616 |
632 |
apollon128 |
true |
519 |
83.6 |
1560473600 |
2540 |
apollon164 |
eca-rers2012/Problem07_label18_false-unreach-call.c |
unknown |
104 |
27.0 |
5493460992 |
659 |
apollon167 |
timeout |
957 |
162 |
1602621440 |
4450 |
apollon099 |
eca-rers2012/Problem07_label19_false-unreach-call.c |
unknown |
139 |
32.2 |
6471180288 |
774 |
apollon107 |
timeout |
956 |
182 |
1595768832 |
5030 |
apollon032 |
eca-rers2012/Problem07_label20_false-unreach-call.c |
unknown |
104 |
28.1 |
4405948416 |
661 |
apollon022 |
timeout |
950 |
166 |
1611042816 |
5240 |
apollon126 |
eca-rers2012/Problem07_label23_false-unreach-call.c |
unknown |
134 |
31.7 |
6455271424 |
795 |
apollon084 |
timeout |
957 |
181 |
1604030464 |
4960 |
apollon090 |
eca-rers2012/Problem07_label30_false-unreach-call.c |
unknown |
103 |
26.0 |
5240274944 |
676 |
apollon126 |
timeout |
957 |
155 |
1606770688 |
4380 |
apollon151 |
eca-rers2012/Problem07_label31_false-unreach-call.c |
unknown |
103 |
28.0 |
4408725504 |
582 |
apollon123 |
timeout |
957 |
166 |
1603723264 |
5210 |
apollon059 |
eca-rers2012/Problem07_label35_false-unreach-call.c |
unknown |
111 |
28.7 |
6086082560 |
675 |
apollon165 |
timeout (error (1)) |
950 |
166 |
1625665536 |
4860 |
apollon095 |
eca-rers2012/Problem07_label36_false-unreach-call.c |
unknown |
115 |
28.8 |
5255831552 |
666 |
apollon109 |
timeout |
956 |
181 |
1610469376 |
4920 |
apollon045 |
eca-rers2012/Problem07_label37_false-unreach-call.c |
unknown |
145 |
33.2 |
6802366464 |
729 |
apollon158 |
timeout |
957 |
181 |
1608687616 |
4630 |
apollon123 |
eca-rers2012/Problem07_label39_false-unreach-call.c |
unknown |
103 |
25.5 |
4619317248 |
571 |
apollon060 |
timeout |
957 |
151 |
1599049728 |
4740 |
apollon097 |
eca-rers2012/Problem07_label40_false-unreach-call.c |
unknown |
137 |
32.0 |
6521126912 |
768 |
apollon107 |
timeout |
957 |
181 |
1603211264 |
5570 |
apollon163 |
eca-rers2012/Problem07_label42_false-unreach-call.c |
unknown |
138 |
33.0 |
6389141504 |
749 |
apollon060 |
timeout |
950 |
180 |
1609838592 |
5520 |
apollon108 |
eca-rers2012/Problem07_label44_false-unreach-call.c |
unknown |
104 |
28.0 |
4423475200 |
569 |
apollon158 |
timeout |
951 |
163 |
1567678464 |
4580 |
apollon035 |
eca-rers2012/Problem07_label46_false-unreach-call.c |
unknown |
157 |
35.0 |
6264422400 |
807 |
apollon128 |
timeout |
957 |
182 |
1601699840 |
4710 |
apollon050 |
eca-rers2012/Problem07_label47_false-unreach-call.c |
unknown |
131 |
31.8 |
6220234752 |
730 |
apollon157 |
timeout |
957 |
182 |
1615962112 |
5190 |
apollon146 |
eca-rers2012/Problem07_label48_false-unreach-call.c |
unknown |
103 |
32.3 |
4821311488 |
623 |
apollon089 |
true |
671 |
104 |
1560190976 |
3190 |
apollon167 |
eca-rers2012/Problem07_label58_false-unreach-call.c |
unknown |
133 |
31.3 |
6010277888 |
830 |
apollon160 |
timeout |
956 |
181 |
1592934400 |
4710 |
apollon035 |
eca-rers2012/Problem08_label01_false-unreach-call.c |
unknown |
191 |
45.0 |
7717019648 |
1120 |
apollon155 |
out of java memory |
334 |
53.0 |
1463443456 |
1690 |
apollon130 |
eca-rers2012/Problem08_label02_false-unreach-call.c |
unknown |
192 |
45.2 |
7918493696 |
1060 |
apollon011 |
out of java memory |
305 |
49.4 |
1451433984 |
1690 |
apollon021 |
eca-rers2012/Problem08_label04_false-unreach-call.c |
timeout |
200 |
46.3 |
8001560576 |
1150 |
apollon093 |
out of java memory |
324 |
51.4 |
1466421248 |
1550 |
apollon132 |
eca-rers2012/Problem08_label05_false-unreach-call.c |
unknown |
193 |
44.2 |
7907172352 |
1070 |
apollon052 |
out of java memory |
314 |
50.7 |
1462177792 |
1400 |
apollon073 |
eca-rers2012/Problem08_label06_false-unreach-call.c |
unknown |
187 |
44.7 |
7870328832 |
963 |
apollon089 |
out of java memory |
363 |
56.6 |
1464057856 |
1670 |
apollon018 |
eca-rers2012/Problem08_label07_false-unreach-call.c |
unknown |
179 |
43.8 |
7736348672 |
1110 |
apollon108 |
out of java memory |
381 |
59.1 |
1472598016 |
1750 |
apollon165 |
eca-rers2012/Problem08_label10_false-unreach-call.c |
unknown |
178 |
42.5 |
7448522752 |
1030 |
apollon052 |
out of java memory |
367 |
57.2 |
1468002304 |
1680 |
apollon001 |
eca-rers2012/Problem08_label13_false-unreach-call.c |
unknown |
196 |
45.2 |
7514611712 |
1010 |
apollon060 |
out of java memory |
329 |
51.9 |
1454084096 |
1550 |
apollon135 |
eca-rers2012/Problem08_label15_false-unreach-call.c |
timeout |
208 |
47.5 |
8971759616 |
1150 |
apollon078 |
out of java memory |
372 |
58.2 |
1465659392 |
1910 |
apollon036 |
eca-rers2012/Problem08_label24_false-unreach-call.c |
unknown |
187 |
44.4 |
7430647808 |
1060 |
apollon005 |
timeout |
956 |
132 |
1473839104 |
4550 |
apollon024 |
eca-rers2012/Problem08_label25_false-unreach-call.c |
unknown |
185 |
43.7 |
7511535616 |
974 |
apollon029 |
out of java memory |
327 |
52.2 |
1469177856 |
1660 |
apollon008 |
eca-rers2012/Problem08_label26_false-unreach-call.c |
unknown |
181 |
43.7 |
7614091264 |
1090 |
apollon164 |
out of java memory |
325 |
52.1 |
1476579328 |
1400 |
apollon134 |
eca-rers2012/Problem08_label28_false-unreach-call.c |
unknown |
175 |
42.8 |
7611682816 |
933 |
apollon060 |
timeout |
955 |
133 |
1470488576 |
4790 |
apollon016 |
eca-rers2012/Problem08_label29_false-unreach-call.c |
timeout |
208 |
46.4 |
7141625856 |
1180 |
apollon030 |
out of java memory |
304 |
49.3 |
1469128704 |
1310 |
apollon041 |
eca-rers2012/Problem08_label34_false-unreach-call.c |
unknown |
180 |
41.3 |
5996167168 |
1120 |
apollon021 |
out of java memory |
296 |
48.6 |
1458774016 |
1520 |
apollon068 |
eca-rers2012/Problem08_label37_false-unreach-call.c |
timeout |
208 |
45.7 |
6922010624 |
1160 |
apollon020 |
out of java memory |
293 |
48.2 |
1466171392 |
1420 |
apollon132 |
eca-rers2012/Problem08_label43_false-unreach-call.c |
timeout |
208 |
45.9 |
7993274368 |
978 |
apollon040 |
out of java memory |
351 |
55.5 |
1475850240 |
1700 |
apollon112 |
eca-rers2012/Problem08_label46_false-unreach-call.c |
unknown |
178 |
41.5 |
5764263936 |
840 |
apollon151 |
out of java memory |
389 |
60.0 |
1466322944 |
2010 |
apollon016 |
eca-rers2012/Problem08_label48_false-unreach-call.c |
timeout |
203 |
46.9 |
8385490944 |
1130 |
apollon152 |
out of java memory |
363 |
57.5 |
1470283776 |
1940 |
apollon033 |
eca-rers2012/Problem08_label49_false-unreach-call.c |
unknown |
176 |
42.7 |
7392059392 |
989 |
apollon085 |
out of java memory |
321 |
51.7 |
1462251520 |
1660 |
apollon028 |
eca-rers2012/Problem08_label50_false-unreach-call.c |
unknown |
184 |
44.3 |
7637200896 |
1020 |
apollon018 |
out of java memory |
366 |
56.9 |
1469329408 |
1730 |
apollon119 |
eca-rers2012/Problem08_label51_false-unreach-call.c |
unknown |
198 |
45.9 |
7703785472 |
1120 |
apollon118 |
out of java memory |
317 |
51.5 |
1471488000 |
1620 |
apollon152 |
eca-rers2012/Problem08_label55_false-unreach-call.c |
unknown |
181 |
43.4 |
7236329472 |
988 |
apollon053 |
out of java memory |
383 |
59.9 |
1462214656 |
1820 |
apollon046 |
eca-rers2012/Problem08_label59_false-unreach-call.c |
unknown |
170 |
42.5 |
7663599616 |
962 |
apollon150 |
out of java memory |
345 |
54.2 |
1467211776 |
1680 |
apollon047 |
eca-rers2012/Problem09_label02_false-unreach-call.c |
timeout |
208 |
48.0 |
8649220096 |
1160 |
apollon020 |
out of java memory |
837 |
118 |
1415147520 |
3940 |
apollon164 |
eca-rers2012/Problem09_label03_false-unreach-call.c |
timeout |
208 |
48.2 |
8388448256 |
1150 |
apollon126 |
out of java memory |
870 |
123 |
1416302592 |
3970 |
apollon048 |
eca-rers2012/Problem09_label06_false-unreach-call.c |
timeout |
208 |
48.1 |
8493309952 |
1010 |
apollon116 |
out of java memory |
836 |
120 |
1411260416 |
4110 |
apollon033 |
eca-rers2012/Problem09_label08_false-unreach-call.c |
timeout |
208 |
46.5 |
6332305408 |
978 |
apollon086 |
out of java memory |
865 |
122 |
1412268032 |
3810 |
apollon166 |
eca-rers2012/Problem09_label10_false-unreach-call.c |
timeout |
208 |
46.4 |
5837799424 |
1080 |
apollon167 |
out of java memory |
800 |
115 |
1414365184 |
3610 |
apollon055 |
eca-rers2012/Problem09_label11_false-unreach-call.c |
timeout |
202 |
45.9 |
6344413184 |
946 |
apollon058 |
out of java memory |
835 |
119 |
1413967872 |
3940 |
apollon159 |
eca-rers2012/Problem09_label15_false-unreach-call.c |
unknown |
200 |
46.1 |
6343331840 |
912 |
apollon098 |
out of java memory |
825 |
118 |
1411338240 |
3450 |
apollon139 |
eca-rers2012/Problem09_label19_false-unreach-call.c |
timeout |
208 |
48.0 |
8508559360 |
1180 |
apollon007 |
out of java memory |
826 |
118 |
1413533696 |
3940 |
apollon126 |
eca-rers2012/Problem09_label20_false-unreach-call.c |
timeout |
208 |
47.5 |
7901429760 |
1120 |
apollon022 |
out of java memory |
858 |
121 |
1412341760 |
4140 |
apollon108 |
eca-rers2012/Problem09_label32_false-unreach-call.c |
timeout |
202 |
48.2 |
7967354880 |
1060 |
apollon042 |
out of java memory |
809 |
116 |
1409261568 |
3710 |
apollon071 |
eca-rers2012/Problem09_label34_false-unreach-call.c |
timeout |
208 |
48.0 |
8333127680 |
1040 |
apollon086 |
out of java memory |
849 |
120 |
1421934592 |
3720 |
apollon120 |
eca-rers2012/Problem09_label35_false-unreach-call.c |
timeout |
208 |
47.7 |
8162086912 |
1060 |
apollon095 |
out of java memory |
826 |
118 |
1410985984 |
4020 |
apollon106 |
eca-rers2012/Problem09_label36_false-unreach-call.c |
timeout |
208 |
47.1 |
6265004032 |
1040 |
apollon152 |
out of java memory |
845 |
119 |
1412755456 |
3470 |
apollon092 |
eca-rers2012/Problem09_label38_false-unreach-call.c |
timeout |
208 |
47.6 |
8080125952 |
1050 |
apollon135 |
out of java memory |
857 |
121 |
1408565248 |
3780 |
apollon166 |
eca-rers2012/Problem09_label41_false-unreach-call.c |
timeout |
208 |
46.5 |
6325432320 |
1030 |
apollon118 |
out of java memory |
808 |
116 |
1416556544 |
3350 |
apollon151 |
eca-rers2012/Problem09_label44_false-unreach-call.c |
timeout |
208 |
48.6 |
8295473152 |
1060 |
apollon102 |
out of java memory |
844 |
119 |
1410015232 |
3960 |
apollon140 |
eca-rers2012/Problem09_label46_false-unreach-call.c |
unknown |
198 |
45.6 |
6306041856 |
900 |
apollon054 |
out of java memory |
828 |
119 |
1408606208 |
3810 |
apollon124 |
eca-rers2012/Problem09_label47_false-unreach-call.c |
timeout |
208 |
47.9 |
8608043008 |
1080 |
apollon102 |
timeout |
955 |
134 |
1435709440 |
4130 |
apollon026 |
eca-rers2012/Problem09_label51_false-unreach-call.c |
timeout |
206 |
48.3 |
7884484608 |
1180 |
apollon019 |
out of java memory |
813 |
117 |
1411002368 |
3640 |
apollon144 |
eca-rers2012/Problem09_label53_false-unreach-call.c |
timeout |
208 |
46.3 |
6325108736 |
1020 |
apollon146 |
out of java memory |
862 |
122 |
1410224128 |
4070 |
apollon126 |
eca-rers2012/Problem09_label54_false-unreach-call.c |
timeout |
208 |
47.5 |
8056631296 |
1060 |
apollon087 |
out of java memory |
841 |
120 |
1402822656 |
4040 |
apollon030 |
eca-rers2012/Problem09_label56_false-unreach-call.c |
timeout |
208 |
48.2 |
8368185344 |
1120 |
apollon091 |
out of java memory |
813 |
117 |
1414012928 |
3720 |
apollon067 |
eca-rers2012/Problem09_label57_false-unreach-call.c |
timeout |
208 |
46.9 |
6275817472 |
1010 |
apollon102 |
out of java memory |
831 |
119 |
1404854272 |
3580 |
apollon013 |
eca-rers2012/Problem09_label59_false-unreach-call.c |
timeout |
208 |
47.4 |
6060261376 |
1170 |
apollon125 |
out of java memory |
808 |
116 |
1409953792 |
4070 |
apollon125 |
eca-rers2012/Problem10_label12_false-unreach-call.c |
unknown |
102 |
79.6 |
3852480512 |
1280 |
apollon077 |
false(unreach-call) |
22.6 |
6.48 |
642555904 |
185 |
apollon145 |
eca-rers2012/Problem10_label15_false-unreach-call.c |
unknown |
103 |
77.9 |
3865231360 |
1220 |
apollon141 |
false(unreach-call) |
23.1 |
7.46 |
715251712 |
176 |
apollon013 |
eca-rers2012/Problem10_label24_false-unreach-call.c |
unknown |
104 |
78.5 |
3798462464 |
1220 |
apollon093 |
false(unreach-call) |
29.3 |
10.3 |
796979200 |
263 |
apollon048 |
eca-rers2012/Problem10_label26_false-unreach-call.c |
false(unreach-call) |
51.9 |
26.2 |
2775261184 |
495 |
apollon095 |
error |
3.45 |
1.11 |
216788992 |
29.0 |
apollon119 |
eca-rers2012/Problem10_label28_false-unreach-call.c |
false(unreach-call) |
55.0 |
28.0 |
2617856000 |
492 |
apollon123 |
error |
3.41 |
1.12 |
216035328 |
29.0 |
apollon046 |
eca-rers2012/Problem10_label29_false-unreach-call.c |
unknown |
111 |
94.5 |
2059034624 |
1570 |
apollon160 |
error |
3.69 |
1.16 |
216408064 |
31.5 |
apollon167 |
eca-rers2012/Problem10_label41_false-unreach-call.c |
false(unreach-call) |
22.2 |
7.64 |
1027072000 |
204 |
apollon067 |
error |
3.49 |
1.19 |
213438464 |
27.1 |
apollon129 |
eca-rers2012/Problem10_label42_false-unreach-call.c |
false(unreach-call) |
26.3 |
7.91 |
1087602688 |
246 |
apollon044 |
error |
3.32 |
1.11 |
214413312 |
27.2 |
apollon058 |
eca-rers2012/Problem10_label46_false-unreach-call.c |
false(unreach-call) |
9.80 |
2.73 |
464928768 |
72.2 |
apollon116 |
error |
3.53 |
1.13 |
218210304 |
27.4 |
apollon013 |
eca-rers2012/Problem10_label47_false-unreach-call.c |
false(unreach-call) |
22.6 |
7.29 |
998539264 |
199 |
apollon052 |
error |
3.70 |
1.14 |
219217920 |
28.4 |
apollon026 |
eca-rers2012/Problem10_label48_false-unreach-call.c |
false(unreach-call) |
71.6 |
40.0 |
3753500672 |
762 |
apollon167 |
error |
3.50 |
1.14 |
218120192 |
25.1 |
apollon063 |
eca-rers2012/Problem10_label50_false-unreach-call.c |
false(unreach-call) |
69.9 |
39.8 |
2922524672 |
682 |
apollon087 |
error |
3.42 |
1.12 |
220291072 |
32.1 |
apollon081 |
eca-rers2012/Problem10_label55_false-unreach-call.c |
false(unreach-call) |
23.0 |
6.36 |
820457472 |
198 |
apollon032 |
error |
3.52 |
1.12 |
215007232 |
29.6 |
apollon022 |
eca-rers2012/Problem10_label57_false-unreach-call.c |
unknown |
101 |
74.7 |
3942776832 |
1080 |
apollon025 |
false(unreach-call) |
24.8 |
8.35 |
735301632 |
204 |
apollon119 |
eca-rers2012/Problem10_label58_false-unreach-call.c |
false(unreach-call) |
58.5 |
30.1 |
2733395968 |
594 |
apollon076 |
error |
3.40 |
1.12 |
212774912 |
28.8 |
apollon090 |
eca-rers2012/Problem11_label00_false-unreach-call.c |
unknown |
101 |
66.5 |
3878912000 |
1190 |
apollon140 |
false(unreach-call) |
34.5 |
12.0 |
857296896 |
337 |
apollon057 |
eca-rers2012/Problem11_label08_false-unreach-call.c |
false(unreach-call) |
79.3 |
47.0 |
2922201088 |
761 |
apollon053 |
error |
5.05 |
1.40 |
268935168 |
40.4 |
apollon091 |
eca-rers2012/Problem11_label14_false-unreach-call.c |
false(unreach-call) |
73.4 |
46.3 |
3430113280 |
783 |
apollon102 |
error |
4.54 |
1.26 |
266436608 |
32.8 |
apollon110 |
eca-rers2012/Problem11_label15_false-unreach-call.c |
false(unreach-call) |
97.6 |
62.8 |
3882602496 |
1110 |
apollon091 |
error |
4.92 |
1.39 |
271872000 |
35.6 |
apollon013 |
eca-rers2012/Problem11_label20_false-unreach-call.c |
unknown |
102 |
70.7 |
3618484224 |
1120 |
apollon120 |
false(unreach-call) |
49.2 |
21.2 |
1158090752 |
419 |
apollon129 |
eca-rers2012/Problem11_label29_false-unreach-call.c |
false(unreach-call) |
78.0 |
46.2 |
3808907264 |
890 |
apollon161 |
error |
4.57 |
1.31 |
261373952 |
36.9 |
apollon148 |
eca-rers2012/Problem11_label31_false-unreach-call.c |
unknown |
101 |
70.1 |
3869175808 |
1050 |
apollon109 |
false(unreach-call) |
41.8 |
17.1 |
948260864 |
391 |
apollon124 |
eca-rers2012/Problem11_label34_false-unreach-call.c |
unknown |
102 |
63.6 |
3862982656 |
1260 |
apollon039 |
false(unreach-call) |
41.0 |
16.4 |
918179840 |
403 |
apollon126 |
eca-rers2012/Problem11_label36_false-unreach-call.c |
false(unreach-call) |
79.9 |
48.0 |
3521294336 |
747 |
apollon099 |
error |
4.60 |
1.29 |
269684736 |
35.4 |
apollon035 |
eca-rers2012/Problem11_label39_false-unreach-call.c |
unknown |
112 |
90.9 |
2582716416 |
1280 |
apollon107 |
error |
4.35 |
1.30 |
257597440 |
35.2 |
apollon103 |
eca-rers2012/Problem11_label42_false-unreach-call.c |
false(unreach-call) |
82.9 |
46.2 |
3621265408 |
798 |
apollon072 |
error |
4.91 |
1.33 |
276754432 |
41.6 |
apollon138 |
eca-rers2012/Problem11_label43_false-unreach-call.c |
false(unreach-call) |
58.2 |
29.2 |
3046948864 |
541 |
apollon079 |
error |
4.54 |
1.27 |
265818112 |
40.1 |
apollon081 |
eca-rers2012/Problem11_label49_false-unreach-call.c |
false(unreach-call) |
61.2 |
34.6 |
2752864256 |
570 |
apollon117 |
error |
4.66 |
1.33 |
269918208 |
39.5 |
apollon138 |
eca-rers2012/Problem11_label51_false-unreach-call.c |
unknown |
104 |
67.8 |
3895652352 |
1140 |
apollon009 |
false(unreach-call) |
30.2 |
10.6 |
795455488 |
284 |
apollon141 |
eca-rers2012/Problem11_label58_false-unreach-call.c |
false(unreach-call) |
73.0 |
43.0 |
3722469376 |
692 |
apollon089 |
error |
4.68 |
1.38 |
259674112 |
33.7 |
apollon098 |
eca-rers2012/Problem12_label00_false-unreach-call.c |
unknown |
104 |
69.0 |
3791540224 |
1020 |
apollon128 |
true |
10.2 |
2.45 |
518230016 |
69.8 |
apollon129 |
eca-rers2012/Problem12_label03_false-unreach-call.c |
unknown |
103 |
69.1 |
3204005888 |
1020 |
apollon022 |
out of java memory |
801 |
167 |
1530343424 |
4310 |
apollon045 |
eca-rers2012/Problem12_label06_false-unreach-call.c |
unknown |
101 |
67.2 |
2938896384 |
1110 |
apollon071 |
true |
22.8 |
6.57 |
616013824 |
199 |
apollon159 |
eca-rers2012/Problem12_label07_false-unreach-call.c |
unknown |
103 |
66.7 |
3736432640 |
1150 |
apollon005 |
timeout |
954 |
200 |
1585430528 |
5060 |
apollon061 |
eca-rers2012/Problem12_label08_false-unreach-call.c |
unknown |
104 |
70.7 |
3579564032 |
1030 |
apollon127 |
out of java memory |
888 |
159 |
1466900480 |
4490 |
apollon131 |
eca-rers2012/Problem12_label10_false-unreach-call.c |
unknown |
103 |
69.7 |
3574857728 |
1020 |
apollon099 |
timeout |
954 |
194 |
1565396992 |
5620 |
apollon108 |
eca-rers2012/Problem12_label13_false-unreach-call.c |
unknown |
105 |
69.3 |
3138215936 |
1110 |
apollon087 |
out of java memory |
857 |
166 |
1514418176 |
4250 |
apollon066 |
eca-rers2012/Problem12_label19_false-unreach-call.c |
unknown |
105 |
71.2 |
3643944960 |
1230 |
apollon030 |
timeout |
957 |
177 |
1504370688 |
4610 |
apollon066 |
eca-rers2012/Problem12_label20_false-unreach-call.c |
unknown |
103 |
67.6 |
3796029440 |
974 |
apollon117 |
timeout |
958 |
158 |
1456996352 |
4850 |
apollon077 |
eca-rers2012/Problem12_label21_false-unreach-call.c |
unknown |
111 |
74.3 |
3795349504 |
1130 |
apollon079 |
true |
10.7 |
2.63 |
521854976 |
69.1 |
apollon098 |
eca-rers2012/Problem12_label25_false-unreach-call.c |
unknown |
103 |
66.9 |
3822391296 |
1040 |
apollon156 |
timeout |
957 |
194 |
1522139136 |
5160 |
apollon010 |
eca-rers2012/Problem12_label28_false-unreach-call.c |
unknown |
102 |
65.9 |
2766606336 |
1070 |
apollon142 |
timeout |
956 |
190 |
1530638336 |
5110 |
apollon135 |
eca-rers2012/Problem12_label30_false-unreach-call.c |
unknown |
102 |
68.6 |
3727163392 |
949 |
apollon054 |
timeout |
955 |
168 |
1514622976 |
4740 |
apollon067 |
eca-rers2012/Problem12_label34_false-unreach-call.c |
unknown |
104 |
74.2 |
3793956864 |
1020 |
apollon098 |
out of java memory |
872 |
166 |
1494085632 |
4810 |
apollon064 |
eca-rers2012/Problem12_label35_false-unreach-call.c |
unknown |
105 |
72.9 |
3770822656 |
1020 |
apollon022 |
timeout |
958 |
201 |
1565859840 |
5280 |
apollon096 |
eca-rers2012/Problem12_label37_false-unreach-call.c |
unknown |
107 |
69.9 |
3538382848 |
1000 |
apollon040 |
timeout |
956 |
160 |
1463779328 |
4450 |
apollon045 |
eca-rers2012/Problem12_label38_false-unreach-call.c |
unknown |
102 |
68.7 |
3754262528 |
1030 |
apollon121 |
true |
22.3 |
6.71 |
608256000 |
161 |
apollon128 |
eca-rers2012/Problem12_label39_false-unreach-call.c |
unknown |
106 |
69.8 |
3851472896 |
1020 |
apollon157 |
out of java memory |
599 |
126 |
1485737984 |
3370 |
apollon114 |
eca-rers2012/Problem12_label40_false-unreach-call.c |
unknown |
106 |
69.2 |
3904139264 |
1280 |
apollon021 |
timeout |
956 |
160 |
1470480384 |
4510 |
apollon002 |
eca-rers2012/Problem12_label42_false-unreach-call.c |
unknown |
101 |
66.7 |
3841110016 |
998 |
apollon015 |
out of java memory |
854 |
164 |
1504075776 |
4570 |
apollon156 |
eca-rers2012/Problem12_label48_false-unreach-call.c |
unknown |
101 |
66.9 |
2858913792 |
1040 |
apollon072 |
true |
10.5 |
2.51 |
526716928 |
74.1 |
apollon104 |
eca-rers2012/Problem12_label50_false-unreach-call.c |
unknown |
109 |
75.6 |
3867303936 |
1180 |
apollon141 |
timeout |
958 |
156 |
1451941888 |
4370 |
apollon001 |
eca-rers2012/Problem12_label51_false-unreach-call.c |
unknown |
109 |
76.6 |
4069789696 |
1010 |
apollon151 |
out of java memory |
858 |
163 |
1500409856 |
4890 |
apollon027 |
eca-rers2012/Problem12_label52_false-unreach-call.c |
unknown |
109 |
77.2 |
3925180416 |
1060 |
apollon045 |
out of java memory |
866 |
167 |
1505656832 |
4250 |
apollon099 |
eca-rers2012/Problem12_label55_false-unreach-call.c |
unknown |
103 |
74.3 |
3883065344 |
1080 |
apollon026 |
out of java memory |
892 |
173 |
1503793152 |
5100 |
apollon164 |
eca-rers2012/Problem13_label04_false-unreach-call.c |
unknown |
103 |
75.4 |
3445817344 |
1070 |
apollon116 |
timeout |
956 |
201 |
1573326848 |
5020 |
apollon075 |
eca-rers2012/Problem13_label06_false-unreach-call.c |
unknown |
103 |
74.4 |
2894573568 |
1080 |
apollon121 |
timeout |
957 |
182 |
1540943872 |
5280 |
apollon067 |
eca-rers2012/Problem13_label07_false-unreach-call.c |
unknown |
103 |
75.2 |
3662053376 |
1100 |
apollon072 |
timeout |
953 |
204 |
1539244032 |
5280 |
apollon162 |
eca-rers2012/Problem13_label11_false-unreach-call.c |
unknown |
104 |
75.6 |
3077165056 |
1370 |
apollon057 |
timeout |
957 |
182 |
1511452672 |
4760 |
apollon133 |
eca-rers2012/Problem13_label12_false-unreach-call.c |
unknown |
102 |
73.3 |
3113517056 |
1110 |
apollon165 |
true |
10.7 |
2.54 |
531935232 |
77.2 |
apollon135 |
eca-rers2012/Problem13_label16_false-unreach-call.c |
unknown |
103 |
73.7 |
3537522688 |
1100 |
apollon082 |
timeout |
957 |
203 |
1532235776 |
4760 |
apollon035 |
eca-rers2012/Problem13_label19_false-unreach-call.c |
unknown |
107 |
76.6 |
3284111360 |
1110 |
apollon135 |
out of java memory |
880 |
178 |
1523220480 |
5190 |
apollon008 |
eca-rers2012/Problem13_label21_false-unreach-call.c |
unknown |
105 |
76.0 |
3130699776 |
1130 |
apollon011 |
out of java memory |
849 |
165 |
1510477824 |
3820 |
apollon063 |
eca-rers2012/Problem13_label23_false-unreach-call.c |
unknown |
102 |
74.5 |
3521908736 |
1090 |
apollon107 |
out of java memory |
850 |
160 |
1503387648 |
4240 |
apollon086 |
eca-rers2012/Problem13_label24_false-unreach-call.c |
unknown |
103 |
74.7 |
3495542784 |
1150 |
apollon015 |
true |
10.6 |
2.48 |
525369344 |
82.4 |
apollon033 |
eca-rers2012/Problem13_label25_false-unreach-call.c |
unknown |
102 |
74.1 |
3667419136 |
963 |
apollon123 |
timeout |
958 |
165 |
1479802880 |
4850 |
apollon156 |
eca-rers2012/Problem13_label28_false-unreach-call.c |
unknown |
106 |
77.4 |
3165421568 |
1050 |
apollon089 |
out of java memory |
866 |
156 |
1490874368 |
4590 |
apollon091 |
eca-rers2012/Problem13_label29_false-unreach-call.c |
unknown |
103 |
73.3 |
3610001408 |
1070 |
apollon119 |
out of java memory |
894 |
159 |
1487912960 |
4490 |
apollon121 |
eca-rers2012/Problem13_label30_false-unreach-call.c |
unknown |
103 |
74.8 |
3851698176 |
988 |
apollon029 |
out of java memory |
812 |
159 |
1498669056 |
3850 |
apollon098 |
eca-rers2012/Problem13_label32_false-unreach-call.c |
unknown |
103 |
76.5 |
3131809792 |
1080 |
apollon116 |
timeout |
957 |
156 |
1449603072 |
4730 |
apollon047 |
eca-rers2012/Problem13_label35_false-unreach-call.c |
unknown |
102 |
76.8 |
2268880896 |
1150 |
apollon032 |
true |
10.8 |
2.53 |
532918272 |
82.8 |
apollon094 |
eca-rers2012/Problem13_label36_false-unreach-call.c |
unknown |
102 |
73.1 |
3050106880 |
1330 |
apollon057 |
out of java memory |
847 |
156 |
1504468992 |
4370 |
apollon157 |
eca-rers2012/Problem13_label40_false-unreach-call.c |
unknown |
102 |
72.8 |
3755278336 |
1090 |
apollon102 |
true |
10.5 |
2.57 |
527818752 |
72.8 |
apollon018 |
eca-rers2012/Problem13_label43_false-unreach-call.c |
unknown |
103 |
76.9 |
3208593408 |
1200 |
apollon017 |
timeout |
957 |
183 |
1481801728 |
4880 |
apollon045 |
eca-rers2012/Problem13_label44_false-unreach-call.c |
unknown |
103 |
76.2 |
3306442752 |
1070 |
apollon060 |
out of java memory |
871 |
160 |
1491742720 |
4840 |
apollon064 |
eca-rers2012/Problem13_label45_false-unreach-call.c |
unknown |
104 |
78.0 |
3438481408 |
1100 |
apollon099 |
true |
10.9 |
2.61 |
570380288 |
85.9 |
apollon016 |
eca-rers2012/Problem13_label48_false-unreach-call.c |
unknown |
102 |
72.8 |
3641856000 |
1040 |
apollon012 |
timeout |
957 |
158 |
1476849664 |
4650 |
apollon078 |
eca-rers2012/Problem13_label51_false-unreach-call.c |
unknown |
103 |
74.9 |
3261374464 |
1280 |
apollon148 |
timeout |
957 |
181 |
1519550464 |
4880 |
apollon119 |
eca-rers2012/Problem13_label54_false-unreach-call.c |
unknown |
103 |
74.0 |
3327623168 |
1110 |
apollon004 |
timeout (out of java memory) |
905 |
172 |
1510998016 |
4340 |
apollon100 |
eca-rers2012/Problem13_label58_false-unreach-call.c |
unknown |
101 |
74.0 |
3087429632 |
1020 |
apollon117 |
true |
11.0 |
2.60 |
537849856 |
77.5 |
apollon140 |
eca-rers2012/Problem14_label02_false-unreach-call_false-termination.c |
unknown |
101 |
73.5 |
3692232704 |
1190 |
apollon009 |
false(unreach-call) |
45.8 |
18.0 |
913338368 |
458 |
apollon106 |
eca-rers2012/Problem14_label08_false-unreach-call_false-termination.c |
unknown |
102 |
71.7 |
3787788288 |
1240 |
apollon108 |
false(unreach-call) |
39.8 |
15.1 |
859410432 |
350 |
apollon087 |
eca-rers2012/Problem14_label10_false-unreach-call_false-termination.c |
unknown |
102 |
69.5 |
3814748160 |
1330 |
apollon057 |
true |
18.9 |
6.33 |
598355968 |
150 |
apollon162 |
eca-rers2012/Problem14_label11_false-unreach-call_false-termination.c |
unknown |
102 |
74.1 |
3712696320 |
1150 |
apollon078 |
false(unreach-call) |
49.7 |
20.4 |
975523840 |
434 |
apollon119 |
eca-rers2012/Problem14_label12_false-unreach-call_false-termination.c |
unknown |
102 |
72.7 |
3725533184 |
1120 |
apollon095 |
false(unreach-call) |
43.2 |
18.2 |
909107200 |
366 |
apollon003 |
eca-rers2012/Problem14_label13_false-unreach-call_false-termination.c |
unknown |
102 |
71.1 |
3905859584 |
1030 |
apollon089 |
false(unreach-call) |
36.3 |
12.6 |
817909760 |
356 |
apollon033 |
eca-rers2012/Problem14_label14_false-unreach-call_false-termination.c |
unknown |
102 |
73.3 |
3723591680 |
1170 |
apollon004 |
false(unreach-call) |
46.3 |
18.2 |
854441984 |
385 |
apollon109 |
eca-rers2012/Problem14_label18_false-unreach-call_false-termination.c |
unknown |
102 |
77.2 |
3956133888 |
1140 |
apollon135 |
false(unreach-call) |
35.5 |
12.0 |
825765888 |
342 |
apollon080 |
eca-rers2012/Problem14_label22_false-unreach-call_false-termination.c |
unknown |
101 |
67.2 |
3828346880 |
1060 |
apollon026 |
false(unreach-call) |
41.6 |
15.8 |
850481152 |
363 |
apollon032 |
eca-rers2012/Problem14_label27_false-unreach-call_false-termination.c |
unknown |
102 |
73.2 |
3807346688 |
1250 |
apollon108 |
false(unreach-call) |
42.9 |
16.2 |
887742464 |
361 |
apollon075 |
eca-rers2012/Problem14_label28_false-unreach-call_false-termination.c |
unknown |
102 |
75.3 |
3834126336 |
1200 |
apollon009 |
false(unreach-call) |
39.8 |
16.0 |
867610624 |
359 |
apollon082 |
eca-rers2012/Problem14_label29_false-unreach-call_false-termination.c |
unknown |
102 |
73.9 |
3712262144 |
1190 |
apollon009 |
false(unreach-call) |
44.1 |
17.7 |
870780928 |
410 |
apollon130 |
eca-rers2012/Problem14_label31_false-unreach-call_false-termination.c |
unknown |
101 |
65.5 |
3761811456 |
1050 |
apollon142 |
false(unreach-call) |
37.7 |
14.2 |
820248576 |
332 |
apollon012 |
eca-rers2012/Problem14_label34_false-unreach-call_false-termination.c |
unknown |
102 |
73.6 |
3759095808 |
1060 |
apollon099 |
false(unreach-call) |
38.7 |
14.4 |
838868992 |
366 |
apollon064 |
eca-rers2012/Problem14_label37_false-unreach-call_false-termination.c |
unknown |
102 |
71.2 |
3756347392 |
1100 |
apollon150 |
false(unreach-call) |
40.8 |
14.9 |
852602880 |
398 |
apollon008 |
eca-rers2012/Problem14_label39_false-unreach-call_false-termination.c |
unknown |
101 |
71.6 |
3774865408 |
1050 |
apollon127 |
false(unreach-call) |
50.7 |
22.6 |
913035264 |
492 |
apollon068 |
eca-rers2012/Problem14_label40_false-unreach-call_false-termination.c |
unknown |
101 |
69.0 |
3827568640 |
1110 |
apollon082 |
false(unreach-call) |
42.3 |
17.2 |
856395776 |
353 |
apollon100 |
eca-rers2012/Problem14_label41_false-unreach-call_false-termination.c |
unknown |
102 |
71.3 |
3829813248 |
1040 |
apollon100 |
false(unreach-call) |
45.1 |
18.3 |
898912256 |
418 |
apollon084 |
eca-rers2012/Problem14_label43_false-unreach-call_false-termination.c |
unknown |
102 |
70.2 |
3969552384 |
1130 |
apollon067 |
false(unreach-call) |
36.5 |
12.4 |
838893568 |
281 |
apollon134 |
eca-rers2012/Problem14_label44_false-unreach-call_false-termination.c |
unknown |
101 |
73.7 |
3694800896 |
1020 |
apollon151 |
false(unreach-call) |
44.6 |
17.9 |
901439488 |
423 |
apollon010 |
eca-rers2012/Problem14_label52_false-unreach-call_false-termination.c |
unknown |
102 |
74.4 |
3726852096 |
1170 |
apollon087 |
false(unreach-call) |
39.6 |
14.6 |
858296320 |
325 |
apollon115 |
eca-rers2012/Problem14_label54_false-unreach-call_false-termination.c |
unknown |
102 |
76.7 |
3713454080 |
1200 |
apollon070 |
false(unreach-call) |
45.6 |
18.5 |
939118592 |
386 |
apollon035 |
eca-rers2012/Problem14_label56_false-unreach-call_false-termination.c |
unknown |
102 |
74.1 |
3738451968 |
1140 |
apollon150 |
false(unreach-call) |
49.7 |
20.3 |
956481536 |
459 |
apollon138 |
eca-rers2012/Problem14_label57_false-unreach-call_false-termination.c |
unknown |
101 |
71.5 |
3784613888 |
1150 |
apollon032 |
false(unreach-call) |
36.9 |
12.5 |
823947264 |
294 |
apollon104 |
eca-rers2012/Problem14_label58_false-unreach-call_false-termination.c |
unknown |
101 |
75.4 |
3706003456 |
1350 |
apollon016 |
false(unreach-call) |
41.4 |
15.7 |
848465920 |
371 |
apollon055 |
eca-rers2012/Problem15_label00_false-unreach-call.c |
unknown |
102 |
69.0 |
3349651456 |
1060 |
apollon015 |
false(unreach-call) |
38.7 |
13.5 |
858902528 |
354 |
apollon027 |
eca-rers2012/Problem15_label02_false-unreach-call.c |
unknown |
103 |
72.1 |
2986029056 |
1090 |
apollon162 |
false(unreach-call) |
38.6 |
12.5 |
845545472 |
309 |
apollon072 |
eca-rers2012/Problem15_label03_false-unreach-call.c |
unknown |
102 |
65.0 |
2818785280 |
982 |
apollon128 |
false(unreach-call) |
77.0 |
39.7 |
1284575232 |
852 |
apollon160 |
eca-rers2012/Problem15_label07_false-unreach-call.c |
unknown |
102 |
68.5 |
2780704768 |
1050 |
apollon078 |
false(unreach-call) |
57.4 |
25.5 |
1116606464 |
463 |
apollon123 |
eca-rers2012/Problem15_label09_false-unreach-call.c |
unknown |
101 |
68.9 |
3168329728 |
1070 |
apollon085 |
false(unreach-call) |
59.0 |
25.2 |
1113354240 |
517 |
apollon142 |
eca-rers2012/Problem15_label14_false-unreach-call.c |
unknown |
103 |
72.7 |
3475062784 |
1240 |
apollon030 |
false(unreach-call) |
69.4 |
33.6 |
1353515008 |
551 |
apollon054 |
eca-rers2012/Problem15_label15_false-unreach-call.c |
unknown |
102 |
68.0 |
3205758976 |
1040 |
apollon107 |
false(unreach-call) |
60.5 |
28.1 |
1264656384 |
644 |
apollon057 |
eca-rers2012/Problem15_label18_false-unreach-call_false-termination.c |
unknown |
104 |
69.0 |
3187466240 |
1080 |
apollon156 |
false(unreach-call) |
54.8 |
23.9 |
1139068928 |
478 |
apollon022 |
eca-rers2012/Problem15_label22_false-unreach-call.c |
unknown |
104 |
70.7 |
3306246144 |
1130 |
apollon141 |
false(unreach-call) |
49.6 |
21.0 |
1086775296 |
468 |
apollon048 |
eca-rers2012/Problem15_label23_false-unreach-call.c |
unknown |
106 |
76.2 |
3867430912 |
1010 |
apollon123 |
false(unreach-call) |
76.5 |
37.9 |
1609572352 |
696 |
apollon156 |
eca-rers2012/Problem15_label25_false-unreach-call.c |
unknown |
102 |
66.2 |
3770150912 |
1020 |
apollon150 |
true |
18.5 |
5.15 |
595091456 |
154 |
apollon114 |
eca-rers2012/Problem15_label29_false-unreach-call.c |
unknown |
102 |
65.5 |
3823120384 |
1040 |
apollon102 |
false(unreach-call) |
51.7 |
21.4 |
1120071680 |
504 |
apollon163 |
eca-rers2012/Problem15_label30_false-unreach-call.c |
unknown |
102 |
67.7 |
3371020288 |
1030 |
apollon053 |
false(unreach-call) |
57.0 |
26.3 |
1124487168 |
502 |
apollon050 |
eca-rers2012/Problem15_label33_false-unreach-call.c |
unknown |
103 |
68.4 |
3066548224 |
1180 |
apollon007 |
false(unreach-call) |
52.4 |
21.5 |
1123454976 |
478 |
apollon006 |
eca-rers2012/Problem15_label34_false-unreach-call.c |
unknown |
102 |
66.0 |
2954731520 |
1130 |
apollon077 |
false(unreach-call) |
51.0 |
21.0 |
1114456064 |
437 |
apollon084 |
eca-rers2012/Problem15_label37_false-unreach-call.c |
unknown |
102 |
70.7 |
3305091072 |
1250 |
apollon014 |
false(unreach-call) |
60.7 |
28.0 |
1115660288 |
615 |
apollon159 |
eca-rers2012/Problem15_label38_false-unreach-call.c |
unknown |
101 |
67.5 |
2896482304 |
1120 |
apollon112 |
false(unreach-call) |
66.4 |
29.9 |
1334001664 |
564 |
apollon012 |
eca-rers2012/Problem15_label39_false-unreach-call.c |
unknown |
102 |
66.9 |
3178024960 |
1060 |
apollon072 |
false(unreach-call) |
55.1 |
23.5 |
1159376896 |
464 |
apollon012 |
eca-rers2012/Problem15_label40_false-unreach-call.c |
unknown |
103 |
69.4 |
2967285760 |
1080 |
apollon146 |
false(unreach-call) |
43.1 |
16.9 |
992153600 |
379 |
apollon052 |
eca-rers2012/Problem15_label41_false-unreach-call.c |
unknown |
102 |
67.8 |
3190972416 |
1150 |
apollon091 |
false(unreach-call) |
55.3 |
24.0 |
1148846080 |
502 |
apollon124 |
eca-rers2012/Problem15_label45_false-unreach-call.c |
unknown |
102 |
66.4 |
3089002496 |
1270 |
apollon057 |
false(unreach-call) |
112 |
48.3 |
1585303552 |
847 |
apollon042 |
eca-rers2012/Problem15_label47_false-unreach-call.c |
unknown |
102 |
66.4 |
3288174592 |
993 |
apollon089 |
false(unreach-call) |
53.7 |
24.1 |
1097240576 |
452 |
apollon066 |
eca-rers2012/Problem15_label48_false-unreach-call.c |
unknown |
103 |
68.5 |
3558694912 |
1030 |
apollon045 |
false(unreach-call) |
47.0 |
18.8 |
1046880256 |
422 |
apollon132 |
eca-rers2012/Problem15_label50_false-unreach-call.c |
unknown |
101 |
63.2 |
3065655296 |
1020 |
apollon107 |
true |
14.1 |
3.65 |
556318720 |
108 |
apollon075 |
eca-rers2012/Problem15_label51_false-unreach-call.c |
unknown |
104 |
75.6 |
3846983680 |
1310 |
apollon016 |
false(unreach-call) |
65.5 |
30.5 |
1375604736 |
661 |
apollon016 |
eca-rers2012/Problem16_label00_false-unreach-call.c |
unknown |
112 |
89.7 |
1988337664 |
1170 |
apollon089 |
error |
5.29 |
1.48 |
257806336 |
47.2 |
apollon111 |
eca-rers2012/Problem16_label01_false-unreach-call.c |
unknown |
102 |
62.2 |
3824599040 |
1070 |
apollon076 |
timeout |
954 |
189 |
1463865344 |
5410 |
apollon161 |
eca-rers2012/Problem16_label03_false-unreach-call.c |
unknown |
103 |
65.1 |
3852247040 |
1090 |
apollon152 |
timeout |
954 |
206 |
1491001344 |
4780 |
apollon026 |
eca-rers2012/Problem16_label04_false-unreach-call.c |
unknown |
106 |
69.9 |
3938975744 |
1050 |
apollon002 |
timeout |
955 |
187 |
1474895872 |
4740 |
apollon109 |
eca-rers2012/Problem16_label05_false-unreach-call.c |
unknown |
104 |
68.2 |
3425861632 |
1180 |
apollon019 |
timeout |
953 |
199 |
1488588800 |
5260 |
apollon047 |
eca-rers2012/Problem16_label06_false-unreach-call.c |
unknown |
101 |
67.9 |
3842584576 |
1100 |
apollon015 |
timeout |
952 |
200 |
1491333120 |
5110 |
apollon067 |
eca-rers2012/Problem16_label08_false-unreach-call.c |
unknown |
102 |
65.3 |
3888943104 |
968 |
apollon098 |
timeout |
953 |
200 |
1493614592 |
5050 |
apollon005 |
eca-rers2012/Problem16_label14_false-unreach-call.c |
unknown |
103 |
69.4 |
3708743680 |
1100 |
apollon072 |
timeout |
952 |
202 |
1476505600 |
4840 |
apollon072 |
eca-rers2012/Problem16_label15_false-unreach-call.c |
unknown |
103 |
61.1 |
3711295488 |
1010 |
apollon120 |
timeout |
954 |
190 |
1485336576 |
4910 |
apollon032 |
eca-rers2012/Problem16_label18_false-unreach-call.c |
unknown |
102 |
71.2 |
3740741632 |
1310 |
apollon016 |
timeout |
953 |
205 |
1494106112 |
4910 |
apollon095 |
eca-rers2012/Problem16_label20_false-unreach-call.c |
unknown |
112 |
89.3 |
1820188672 |
1210 |
apollon045 |
error |
5.48 |
1.52 |
263720960 |
45.5 |
apollon016 |
eca-rers2012/Problem16_label22_false-unreach-call.c |
unknown |
103 |
70.5 |
3753250816 |
1230 |
apollon167 |
timeout |
954 |
198 |
1490051072 |
4660 |
apollon127 |
eca-rers2012/Problem16_label27_false-unreach-call.c |
unknown |
104 |
67.6 |
3831992320 |
1030 |
apollon079 |
timeout |
952 |
199 |
1476280320 |
4710 |
apollon023 |
eca-rers2012/Problem16_label30_false-unreach-call.c |
unknown |
105 |
72.1 |
3881861120 |
1040 |
apollon099 |
timeout |
952 |
200 |
1463349248 |
5330 |
apollon048 |
eca-rers2012/Problem16_label31_false-unreach-call.c |
unknown |
106 |
70.7 |
3890802688 |
1130 |
apollon102 |
timeout |
953 |
204 |
1480548352 |
5640 |
apollon033 |
eca-rers2012/Problem16_label33_false-unreach-call.c |
unknown |
105 |
65.7 |
3932274688 |
1110 |
apollon084 |
timeout |
954 |
192 |
1482534912 |
5610 |
apollon021 |
eca-rers2012/Problem16_label37_false-unreach-call.c |
unknown |
102 |
65.2 |
3914637312 |
948 |
apollon123 |
timeout |
954 |
192 |
1491976192 |
5180 |
apollon155 |
eca-rers2012/Problem16_label38_false-unreach-call.c |
unknown |
106 |
74.5 |
3923664896 |
1190 |
apollon093 |
timeout |
953 |
202 |
1488248832 |
5290 |
apollon124 |
eca-rers2012/Problem16_label41_false-unreach-call.c |
unknown |
103 |
67.9 |
3817046016 |
1060 |
apollon107 |
timeout |
954 |
192 |
1477541888 |
4950 |
apollon102 |
eca-rers2012/Problem16_label43_false-unreach-call.c |
unknown |
104 |
66.6 |
3683627008 |
954 |
apollon151 |
timeout |
952 |
201 |
1489678336 |
5070 |
apollon065 |
eca-rers2012/Problem16_label44_false-unreach-call.c |
unknown |
104 |
68.7 |
3871711232 |
1140 |
apollon084 |
timeout |
955 |
184 |
1477013504 |
5160 |
apollon081 |
eca-rers2012/Problem16_label46_false-unreach-call.c |
unknown |
106 |
67.8 |
3895021568 |
1130 |
apollon009 |
timeout |
953 |
199 |
1476153344 |
5240 |
apollon152 |
eca-rers2012/Problem16_label51_false-unreach-call.c |
unknown |
104 |
65.6 |
3796930560 |
996 |
apollon098 |
timeout |
952 |
202 |
1477292032 |
4690 |
apollon075 |
eca-rers2012/Problem16_label52_false-unreach-call.c |
unknown |
102 |
61.3 |
3854917632 |
1060 |
apollon141 |
timeout |
955 |
183 |
1475866624 |
4300 |
apollon041 |
eca-rers2012/Problem16_label54_false-unreach-call.c |
unknown |
102 |
65.9 |
3749208064 |
1010 |
apollon100 |
timeout |
955 |
196 |
1474879488 |
4270 |
apollon063 |
eca-rers2012/Problem17_label04_false-unreach-call.c |
unknown |
102 |
69.9 |
3092475904 |
949 |
apollon054 |
false(unreach-call) |
77.0 |
37.4 |
1699659776 |
639 |
apollon041 |
eca-rers2012/Problem17_label07_false-unreach-call.c |
unknown |
103 |
67.4 |
3428421632 |
1050 |
apollon095 |
timeout (false(unreach-call)) |
958 |
185 |
1875873792 |
4300 |
apollon040 |
eca-rers2012/Problem17_label09_false-unreach-call.c |
unknown |
102 |
65.9 |
3544944640 |
1050 |
apollon082 |
true |
15.7 |
4.21 |
570232832 |
110 |
apollon099 |
eca-rers2012/Problem17_label13_false-unreach-call.c |
unknown |
103 |
65.9 |
2767486976 |
1030 |
apollon107 |
false(unreach-call) |
177 |
72.3 |
1936572416 |
1330 |
apollon071 |
eca-rers2012/Problem17_label16_false-unreach-call.c |
unknown |
102 |
71.0 |
2543337472 |
1050 |
apollon042 |
timeout (false(unreach-call)) |
957 |
186 |
1841684480 |
4640 |
apollon004 |
eca-rers2012/Problem17_label20_false-unreach-call.c |
unknown |
101 |
67.9 |
2766225408 |
1340 |
apollon039 |
false(unreach-call) |
143 |
80.3 |
1916076032 |
1200 |
apollon029 |
eca-rers2012/Problem17_label23_false-unreach-call.c |
unknown |
108 |
77.4 |
3378860032 |
1060 |
apollon127 |
false(unreach-call) |
78.2 |
37.1 |
1732517888 |
683 |
apollon165 |
eca-rers2012/Problem17_label25_false-unreach-call.c |
unknown |
101 |
65.2 |
3015262208 |
1000 |
apollon053 |
true |
17.6 |
4.79 |
578072576 |
120 |
apollon151 |
eca-rers2012/Problem17_label26_false-unreach-call.c |
unknown |
102 |
66.4 |
3553288192 |
1090 |
apollon108 |
true |
7.82 |
2.02 |
474431488 |
56.1 |
apollon029 |
eca-rers2012/Problem17_label30_false-unreach-call.c |
unknown |
102 |
68.0 |
2546810880 |
1120 |
apollon071 |
false(unreach-call) |
154 |
93.1 |
1786302464 |
1380 |
apollon058 |
eca-rers2012/Problem17_label31_false-unreach-call.c |
unknown |
102 |
67.4 |
3011694592 |
1040 |
apollon058 |
true |
18.3 |
5.04 |
577343488 |
136 |
apollon150 |
eca-rers2012/Problem17_label33_false-unreach-call.c |
unknown |
102 |
62.9 |
2501484544 |
1120 |
apollon077 |
timeout |
956 |
178 |
1512615936 |
5030 |
apollon146 |
eca-rers2012/Problem17_label34_false-unreach-call.c |
unknown |
102 |
67.2 |
3067953152 |
1110 |
apollon017 |
true |
16.7 |
4.54 |
576307200 |
141 |
apollon088 |
eca-rers2012/Problem17_label35_false-unreach-call.c |
unknown |
102 |
67.8 |
2923323392 |
1060 |
apollon120 |
true |
16.5 |
4.30 |
579538944 |
129 |
apollon127 |
eca-rers2012/Problem17_label37_false-unreach-call.c |
unknown |
101 |
65.9 |
3201871872 |
1130 |
apollon155 |
true |
16.9 |
4.43 |
571977728 |
147 |
apollon148 |
eca-rers2012/Problem17_label40_false-unreach-call.c |
unknown |
102 |
68.5 |
2823532544 |
1260 |
apollon016 |
true |
17.8 |
4.91 |
571990016 |
129 |
apollon112 |
eca-rers2012/Problem17_label46_false-unreach-call.c |
unknown |
106 |
69.7 |
3716169728 |
1250 |
apollon161 |
timeout |
955 |
196 |
1574588416 |
5690 |
apollon161 |
eca-rers2012/Problem17_label49_false-unreach-call.c |
unknown |
102 |
65.8 |
2751471616 |
985 |
apollon116 |
true |
16.9 |
4.71 |
565538816 |
143 |
apollon064 |
eca-rers2012/Problem17_label50_false-unreach-call.c |
unknown |
102 |
65.0 |
3055124480 |
1070 |
apollon084 |
out of java memory |
858 |
154 |
1473540096 |
5060 |
apollon160 |
eca-rers2012/Problem17_label52_false-unreach-call.c |
unknown |
102 |
70.7 |
2373828608 |
1050 |
apollon109 |
timeout |
954 |
203 |
1594454016 |
5390 |
apollon114 |
eca-rers2012/Problem17_label53_false-unreach-call.c |
unknown |
102 |
66.1 |
3022557184 |
1200 |
apollon148 |
true |
17.4 |
4.60 |
571822080 |
136 |
apollon037 |
eca-rers2012/Problem17_label54_false-unreach-call.c |
unknown |
102 |
66.0 |
2993700864 |
1040 |
apollon135 |
true |
16.8 |
4.39 |
578064384 |
141 |
apollon028 |
eca-rers2012/Problem17_label55_false-unreach-call.c |
unknown |
101 |
67.2 |
3183837184 |
1110 |
apollon112 |
true |
16.4 |
4.43 |
594509824 |
145 |
apollon028 |
eca-rers2012/Problem17_label57_false-unreach-call.c |
unknown |
102 |
65.2 |
2919915520 |
1040 |
apollon022 |
true |
16.6 |
4.32 |
601714688 |
129 |
apollon005 |
eca-rers2012/Problem18_label00_false-unreach-call.c |
unknown |
102 |
64.1 |
2395283456 |
1030 |
apollon152 |
out of java memory |
867 |
173 |
1512620032 |
4800 |
apollon046 |
eca-rers2012/Problem18_label01_false-unreach-call.c |
unknown |
102 |
64.3 |
2420207616 |
1130 |
apollon167 |
true |
29.6 |
11.9 |
673071104 |
271 |
apollon114 |
eca-rers2012/Problem18_label03_false-unreach-call.c |
unknown |
105 |
65.7 |
3459584000 |
1030 |
apollon168 |
timeout |
953 |
284 |
1549058048 |
4820 |
apollon063 |
eca-rers2012/Problem18_label06_false-unreach-call.c |
unknown |
102 |
61.4 |
3872911360 |
1000 |
apollon133 |
out of java memory |
878 |
166 |
1486221312 |
4280 |
apollon099 |
eca-rers2012/Problem18_label08_false-unreach-call.c |
unknown |
106 |
72.7 |
3891511296 |
1100 |
apollon026 |
timeout |
945 |
191 |
1607675904 |
4520 |
apollon139 |
eca-rers2012/Problem18_label09_false-unreach-call.c |
unknown |
102 |
60.4 |
3188649984 |
1010 |
apollon135 |
timeout (out of java memory) |
952 |
238 |
1825001472 |
5470 |
apollon064 |
eca-rers2012/Problem18_label10_false-unreach-call.c |
unknown |
102 |
58.4 |
3851141120 |
919 |
apollon002 |
out of java memory |
880 |
163 |
1478545408 |
4150 |
apollon151 |
eca-rers2012/Problem18_label12_false-unreach-call.c |
unknown |
102 |
58.6 |
3115413504 |
1170 |
apollon057 |
timeout |
957 |
187 |
1517748224 |
4570 |
apollon151 |
eca-rers2012/Problem18_label19_false-unreach-call.c |
unknown |
102 |
67.3 |
2501898240 |
977 |
apollon128 |
timeout (false(unreach-call)) |
950 |
245 |
1835667456 |
4920 |
apollon075 |
eca-rers2012/Problem18_label20_false-unreach-call.c |
unknown |
103 |
62.0 |
2397548544 |
1000 |
apollon120 |
timeout |
956 |
262 |
1553248256 |
5460 |
apollon079 |
eca-rers2012/Problem18_label25_false-unreach-call.c |
unknown |
102 |
65.0 |
3011534848 |
991 |
apollon012 |
timeout |
954 |
289 |
1570697216 |
5540 |
apollon073 |
eca-rers2012/Problem18_label27_false-unreach-call.c |
unknown |
104 |
66.8 |
3150061568 |
1100 |
apollon052 |
timeout (out of java memory) |
911 |
265 |
1924222976 |
5600 |
apollon103 |
eca-rers2012/Problem18_label31_false-unreach-call.c |
unknown |
103 |
65.0 |
3767365632 |
1100 |
apollon017 |
timeout (out of java memory) |
942 |
241 |
1849749504 |
5690 |
apollon033 |
eca-rers2012/Problem18_label32_false-unreach-call.c |
unknown |
104 |
67.6 |
3332505600 |
918 |
apollon158 |
out of java memory |
900 |
177 |
1511501824 |
4430 |
apollon128 |
eca-rers2012/Problem18_label33_false-unreach-call.c |
unknown |
102 |
52.6 |
3617046528 |
866 |
apollon098 |
timeout |
955 |
287 |
1567793152 |
6880 |
apollon021 |
eca-rers2012/Problem18_label34_false-unreach-call.c |
unknown |
102 |
59.6 |
2804535296 |
979 |
apollon058 |
out of java memory |
826 |
251 |
1923141632 |
5620 |
apollon048 |
eca-rers2012/Problem18_label35_false-unreach-call.c |
unknown |
104 |
64.5 |
3107008512 |
1100 |
apollon020 |
timeout (false(unreach-call)) |
958 |
256 |
1874010112 |
5720 |
apollon065 |
eca-rers2012/Problem18_label36_false-unreach-call.c |
unknown |
106 |
65.3 |
2918666240 |
1080 |
apollon004 |
out of java memory |
886 |
168 |
1485299712 |
4510 |
apollon023 |
eca-rers2012/Problem18_label38_false-unreach-call.c |
unknown |
103 |
67.8 |
2739441664 |
1170 |
apollon047 |
timeout |
957 |
186 |
1509470208 |
5670 |
apollon057 |
eca-rers2012/Problem18_label39_false-unreach-call.c |
unknown |
102 |
62.5 |
3019124736 |
1100 |
apollon077 |
timeout (false(unreach-call)) |
958 |
255 |
1901752320 |
5010 |
apollon041 |
eca-rers2012/Problem18_label45_false-unreach-call.c |
unknown |
102 |
63.4 |
3942084608 |
1040 |
apollon093 |
out of java memory |
755 |
221 |
1863835648 |
4270 |
apollon083 |
eca-rers2012/Problem18_label49_false-unreach-call.c |
unknown |
105 |
65.1 |
3652018176 |
1040 |
apollon156 |
out of java memory |
742 |
150 |
1495244800 |
3900 |
apollon121 |
eca-rers2012/Problem18_label52_false-unreach-call.c |
unknown |
105 |
62.6 |
3775885312 |
1010 |
apollon032 |
out of java memory |
883 |
168 |
1492529152 |
4550 |
apollon061 |
eca-rers2012/Problem18_label55_false-unreach-call.c |
unknown |
102 |
64.5 |
3313033216 |
1100 |
apollon091 |
timeout (false(unreach-call)) |
956 |
299 |
1814003712 |
6040 |
apollon156 |
eca-rers2012/Problem18_label57_false-unreach-call.c |
unknown |
103 |
63.4 |
3046121472 |
968 |
apollon128 |
timeout (false(unreach-call)) |
951 |
244 |
1830199296 |
5510 |
apollon159 |
eca-rers2012/Problem19_label10_false-unreach-call.c |
unknown |
102 |
78.4 |
2591723520 |
1050 |
apollon060 |
true |
14.9 |
3.75 |
631971840 |
103 |
apollon148 |
eca-rers2012/Problem19_label11_false-unreach-call.c |
unknown |
102 |
77.8 |
2788917248 |
1380 |
apollon057 |
true |
13.6 |
3.27 |
641036288 |
102 |
apollon011 |
eca-rers2012/Problem19_label14_false-unreach-call.c |
unknown |
101 |
74.4 |
2429255680 |
1120 |
apollon038 |
true |
13.7 |
3.38 |
630349824 |
99.0 |
apollon097 |
eca-rers2012/Problem19_label17_false-unreach-call.c |
unknown |
102 |
72.6 |
2712412160 |
1120 |
apollon126 |
true |
14.1 |
3.39 |
639176704 |
111 |
apollon152 |
eca-rers2012/Problem19_label18_false-unreach-call.c |
unknown |
101 |
77.0 |
2515931136 |
1030 |
apollon043 |
true |
13.8 |
3.19 |
629567488 |
96.5 |
apollon052 |
eca-rers2012/Problem19_label19_false-unreach-call.c |
unknown |
102 |
76.3 |
2828279808 |
1120 |
apollon095 |
true |
13.2 |
3.15 |
630280192 |
95.4 |
apollon070 |
eca-rers2012/Problem19_label21_false-unreach-call.c |
unknown |
101 |
74.7 |
2385297408 |
1170 |
apollon017 |
true |
13.7 |
3.44 |
630886400 |
97.7 |
apollon002 |
eca-rers2012/Problem19_label22_false-unreach-call.c |
unknown |
101 |
79.2 |
1975250944 |
1150 |
apollon051 |
true |
12.9 |
3.08 |
626442240 |
90.6 |
apollon127 |
eca-rers2012/Problem19_label26_false-unreach-call.c |
unknown |
101 |
76.1 |
3696259072 |
1060 |
apollon116 |
true |
14.1 |
3.38 |
632512512 |
101 |
apollon165 |
eca-rers2012/Problem19_label27_false-unreach-call.c |
unknown |
102 |
75.6 |
3038932992 |
1330 |
apollon160 |
true |
13.5 |
3.20 |
633552896 |
97.2 |
apollon076 |
eca-rers2012/Problem19_label28_false-unreach-call.c |
unknown |
101 |
75.4 |
3769671680 |
1360 |
apollon057 |
true |
13.3 |
3.19 |
626507776 |
111 |
apollon039 |
eca-rers2012/Problem19_label29_false-unreach-call.c |
unknown |
102 |
79.1 |
3648933888 |
1030 |
apollon054 |
true |
13.6 |
3.25 |
632688640 |
103 |
apollon055 |
eca-rers2012/Problem19_label31_false-unreach-call.c |
unknown |
102 |
75.6 |
2822234112 |
1030 |
apollon157 |
true |
13.7 |
3.28 |
633974784 |
88.5 |
apollon040 |
eca-rers2012/Problem19_label32_false-unreach-call.c |
unknown |
102 |
77.1 |
3363102720 |
1420 |
apollon039 |
true |
12.7 |
3.06 |
632786944 |
98.1 |
apollon076 |
eca-rers2012/Problem19_label41_false-unreach-call.c |
unknown |
101 |
76.3 |
2178387968 |
1190 |
apollon020 |
true |
12.9 |
3.13 |
630091776 |
91.6 |
apollon050 |
eca-rers2012/Problem19_label42_false-unreach-call.c |
unknown |
102 |
77.1 |
2358325248 |
1050 |
apollon002 |
true |
12.8 |
2.98 |
630505472 |
102 |
apollon069 |
eca-rers2012/Problem19_label43_false-unreach-call.c |
unknown |
102 |
74.9 |
2235912192 |
1100 |
apollon101 |
true |
14.3 |
3.36 |
632905728 |
111 |
apollon014 |
eca-rers2012/Problem19_label47_false-unreach-call.c |
unknown |
102 |
76.2 |
2742792192 |
1240 |
apollon007 |
true |
13.2 |
3.15 |
637054976 |
101 |
apollon153 |
eca-rers2012/Problem19_label50_false-unreach-call.c |
unknown |
102 |
77.9 |
2346770432 |
1320 |
apollon014 |
true |
14.1 |
3.39 |
625668096 |
105 |
apollon114 |
eca-rers2012/Problem19_label51_false-unreach-call.c |
unknown |
102 |
75.9 |
2778845184 |
1030 |
apollon043 |
true |
13.8 |
3.38 |
626327552 |
111 |
apollon106 |
eca-rers2012/Problem19_label53_false-unreach-call.c |
unknown |
102 |
77.9 |
3268239360 |
1060 |
apollon128 |
true |
13.4 |
3.17 |
631324672 |
92.1 |
apollon085 |
eca-rers2012/Problem19_label55_false-unreach-call.c |
unknown |
101 |
76.3 |
3701342208 |
1100 |
apollon118 |
true |
13.5 |
3.19 |
624578560 |
95.9 |
apollon037 |
eca-rers2012/Problem19_label58_false-unreach-call.c |
unknown |
102 |
76.0 |
2372403200 |
1090 |
apollon051 |
true |
13.8 |
3.27 |
628850688 |
102 |
apollon124 |
eca-rers2012/Problem19_label59_false-unreach-call.c |
unknown |
101 |
75.1 |
2535559168 |
1100 |
apollon133 |
true |
12.7 |
3.01 |
629514240 |
92.0 |
apollon165 |
eca-rers2012/Problem01_label00_true-unreach-call_false-termination.c |
true |
17.3 |
4.59 |
523608064 |
120 |
apollon019 |
error |
3.67 |
1.17 |
232239104 |
35.6 |
apollon160 |
eca-rers2012/Problem01_label01_true-unreach-call_false-termination.c |
true |
17.1 |
4.52 |
601575424 |
150 |
apollon021 |
error |
3.68 |
1.15 |
214978560 |
28.3 |
apollon089 |
eca-rers2012/Problem01_label02_true-unreach-call_false-termination.c |
true |
18.6 |
5.00 |
598691840 |
140 |
apollon085 |
error |
3.60 |
1.12 |
239497216 |
34.9 |
apollon160 |
eca-rers2012/Problem01_label03_true-unreach-call_false-termination.c |
true |
24.7 |
7.44 |
801673216 |
189 |
apollon079 |
error |
3.75 |
1.19 |
216633344 |
31.0 |
apollon006 |
eca-rers2012/Problem01_label04_true-unreach-call_false-termination.c |
true |
16.7 |
4.43 |
613269504 |
128 |
apollon020 |
error |
3.54 |
1.16 |
218542080 |
29.4 |
apollon107 |
eca-rers2012/Problem01_label05_true-unreach-call_false-termination.c |
true |
18.2 |
4.76 |
604512256 |
147 |
apollon032 |
error |
3.57 |
1.15 |
220418048 |
29.2 |
apollon074 |
eca-rers2012/Problem01_label06_true-unreach-call_false-termination.c |
true |
18.4 |
5.05 |
593895424 |
142 |
apollon072 |
error |
3.94 |
1.22 |
225972224 |
36.8 |
apollon163 |
eca-rers2012/Problem01_label07_true-unreach-call_false-termination.c |
true |
16.2 |
4.36 |
578924544 |
134 |
apollon015 |
error |
3.51 |
1.12 |
216199168 |
28.0 |
apollon029 |
eca-rers2012/Problem01_label08_true-unreach-call_false-termination.c |
true |
24.6 |
8.44 |
1067941888 |
200 |
apollon071 |
error |
3.49 |
1.16 |
215793664 |
32.1 |
apollon047 |
eca-rers2012/Problem01_label09_true-unreach-call_false-termination.c |
true |
20.9 |
6.13 |
759971840 |
158 |
apollon157 |
error |
3.73 |
1.22 |
214917120 |
32.5 |
apollon097 |
eca-rers2012/Problem01_label10_true-unreach-call_false-termination.c |
true |
16.4 |
4.40 |
613621760 |
128 |
apollon018 |
error |
3.54 |
1.18 |
217972736 |
31.0 |
apollon016 |
eca-rers2012/Problem01_label11_true-unreach-call_false-termination.c |
true |
14.1 |
3.87 |
491728896 |
109 |
apollon085 |
error |
3.48 |
1.13 |
218734592 |
28.3 |
apollon002 |
eca-rers2012/Problem01_label12_true-unreach-call_false-termination.c |
true |
14.2 |
3.80 |
484122624 |
112 |
apollon167 |
error |
3.40 |
1.12 |
213188608 |
28.9 |
apollon038 |
eca-rers2012/Problem01_label13_true-unreach-call_false-termination.c |
true |
19.3 |
5.09 |
641355776 |
146 |
apollon089 |
error |
3.58 |
1.17 |
222212096 |
28.6 |
apollon013 |
eca-rers2012/Problem01_label14_true-unreach-call_false-termination.c |
true |
16.5 |
4.52 |
605249536 |
142 |
apollon019 |
error |
3.66 |
1.14 |
216449024 |
28.5 |
apollon018 |
eca-rers2012/Problem01_label16_true-unreach-call_false-termination.c |
true |
17.9 |
4.76 |
583577600 |
136 |
apollon045 |
error |
3.52 |
1.19 |
215134208 |
30.9 |
apollon112 |
eca-rers2012/Problem01_label17_true-unreach-call_false-termination.c |
true |
17.0 |
4.58 |
589029376 |
134 |
apollon072 |
error |
3.53 |
1.16 |
213934080 |
30.4 |
apollon061 |
eca-rers2012/Problem01_label18_true-unreach-call_false-termination.c |
true |
17.3 |
4.57 |
617541632 |
132 |
apollon112 |
error |
3.57 |
1.22 |
215535616 |
31.2 |
apollon155 |
eca-rers2012/Problem01_label19_true-unreach-call_false-termination.c |
true |
17.3 |
4.68 |
627097600 |
147 |
apollon118 |
error |
3.90 |
1.22 |
229531648 |
31.4 |
apollon150 |
eca-rers2012/Problem01_label22_true-unreach-call_false-termination.c |
true |
17.4 |
4.67 |
611696640 |
140 |
apollon119 |
error |
3.62 |
1.16 |
216526848 |
29.1 |
apollon109 |
eca-rers2012/Problem01_label23_true-unreach-call_false-termination.c |
true |
17.4 |
4.69 |
493203456 |
128 |
apollon071 |
error |
3.88 |
1.25 |
229318656 |
32.6 |
apollon103 |
eca-rers2012/Problem01_label24_true-unreach-call_false-termination.c |
true |
13.2 |
3.61 |
473747456 |
101 |
apollon087 |
error |
3.78 |
1.21 |
212439040 |
33.9 |
apollon126 |
eca-rers2012/Problem01_label25_true-unreach-call_false-termination.c |
true |
18.9 |
5.13 |
621912064 |
139 |
apollon089 |
error |
3.45 |
1.16 |
212803584 |
31.7 |
apollon125 |
eca-rers2012/Problem01_label26_true-unreach-call_false-termination.c |
true |
16.9 |
4.59 |
599687168 |
142 |
apollon067 |
error |
3.58 |
1.18 |
218488832 |
28.5 |
apollon075 |
eca-rers2012/Problem01_label27_true-unreach-call_false-termination.c |
true |
35.8 |
16.7 |
1579593728 |
331 |
apollon012 |
error |
3.79 |
1.21 |
218157056 |
36.2 |
apollon106 |
eca-rers2012/Problem01_label28_true-unreach-call_false-termination.c |
true |
27.7 |
11.4 |
1319522304 |
267 |
apollon047 |
error |
3.51 |
1.18 |
215785472 |
29.6 |
apollon055 |
eca-rers2012/Problem01_label29_true-unreach-call_false-termination.c |
true |
26.0 |
8.21 |
845885440 |
213 |
apollon077 |
error |
3.58 |
1.16 |
217309184 |
33.2 |
apollon016 |
eca-rers2012/Problem01_label30_true-unreach-call_false-termination.c |
true |
28.1 |
10.3 |
1072472064 |
252 |
apollon087 |
error |
3.56 |
1.14 |
217051136 |
26.1 |
apollon098 |
eca-rers2012/Problem01_label31_true-unreach-call_false-termination.c |
true |
16.7 |
4.47 |
595156992 |
157 |
apollon021 |
error |
3.53 |
1.15 |
213999616 |
31.9 |
apollon159 |
eca-rers2012/Problem01_label34_true-unreach-call_false-termination.c |
true |
17.4 |
4.68 |
608182272 |
150 |
apollon108 |
error |
3.54 |
1.15 |
214867968 |
27.7 |
apollon123 |
eca-rers2012/Problem01_label36_true-unreach-call_false-termination.c |
true |
22.0 |
6.20 |
755027968 |
182 |
apollon126 |
error |
3.71 |
1.19 |
215670784 |
26.7 |
apollon143 |
eca-rers2012/Problem01_label39_true-unreach-call_false-termination.c |
true |
15.9 |
4.28 |
595648512 |
109 |
apollon040 |
error |
3.76 |
1.19 |
236392448 |
31.5 |
apollon153 |
eca-rers2012/Problem01_label40_true-unreach-call_false-termination.c |
true |
15.2 |
4.05 |
513392640 |
136 |
apollon021 |
error |
3.63 |
1.19 |
222085120 |
28.6 |
apollon123 |
eca-rers2012/Problem01_label41_true-unreach-call_false-termination.c |
true |
15.1 |
4.03 |
499441664 |
123 |
apollon005 |
error |
3.72 |
1.18 |
218746880 |
28.4 |
apollon050 |
eca-rers2012/Problem01_label42_true-unreach-call_false-termination.c |
true |
14.9 |
4.00 |
534949888 |
112 |
apollon005 |
error |
3.55 |
1.16 |
220180480 |
32.6 |
apollon124 |
eca-rers2012/Problem01_label43_true-unreach-call_false-termination.c |
true |
15.0 |
4.01 |
550105088 |
138 |
apollon125 |
error |
3.67 |
1.13 |
217395200 |
29.8 |
apollon075 |
eca-rers2012/Problem01_label45_true-unreach-call_false-termination.c |
true |
26.5 |
9.94 |
1031356416 |
236 |
apollon017 |
error |
3.52 |
1.16 |
217264128 |
34.2 |
apollon033 |
eca-rers2012/Problem01_label46_true-unreach-call_false-termination.c |
true |
15.2 |
4.11 |
551403520 |
115 |
apollon071 |
error |
3.62 |
1.27 |
220712960 |
33.7 |
apollon111 |
eca-rers2012/Problem01_label48_true-unreach-call_false-termination.c |
true |
22.5 |
7.05 |
798408704 |
204 |
apollon047 |
error |
3.85 |
1.23 |
226996224 |
30.1 |
apollon042 |
eca-rers2012/Problem01_label49_true-unreach-call_false-termination.c |
true |
15.8 |
4.19 |
588517376 |
128 |
apollon005 |
error |
3.72 |
1.14 |
220147712 |
34.3 |
apollon056 |
eca-rers2012/Problem01_label51_true-unreach-call_false-termination.c |
true |
20.0 |
6.56 |
848527360 |
167 |
apollon095 |
error |
3.89 |
1.20 |
237232128 |
33.1 |
apollon153 |
eca-rers2012/Problem01_label52_true-unreach-call_false-termination.c |
true |
18.6 |
4.95 |
607973376 |
152 |
apollon167 |
error |
3.44 |
1.12 |
217059328 |
27.2 |
apollon100 |
eca-rers2012/Problem01_label53_true-unreach-call_false-termination.c |
true |
18.1 |
4.70 |
597385216 |
132 |
apollon151 |
error |
3.51 |
1.17 |
215105536 |
29.5 |
apollon135 |
eca-rers2012/Problem01_label54_true-unreach-call_false-termination.c |
true |
21.0 |
5.62 |
602550272 |
158 |
apollon070 |
error |
3.67 |
1.17 |
215355392 |
31.5 |
apollon155 |
eca-rers2012/Problem01_label55_true-unreach-call_false-termination.c |
true |
17.1 |
4.54 |
609705984 |
130 |
apollon070 |
error |
3.56 |
1.13 |
214884352 |
30.7 |
apollon093 |
eca-rers2012/Problem01_label58_true-unreach-call_false-termination.c |
true |
19.1 |
5.22 |
591069184 |
147 |
apollon017 |
error |
3.48 |
1.15 |
217104384 |
29.8 |
apollon130 |
eca-rers2012/Problem01_label59_true-unreach-call_false-termination.c |
true |
15.0 |
4.00 |
474677248 |
120 |
apollon015 |
error |
3.49 |
1.13 |
215035904 |
28.6 |
apollon079 |
eca-rers2012/Problem02_label00_true-unreach-call_false-termination.c |
true |
10.0 |
2.85 |
463659008 |
75.8 |
apollon142 |
error |
3.44 |
1.15 |
215977984 |
26.9 |
apollon092 |
eca-rers2012/Problem02_label01_true-unreach-call_false-termination.c |
true |
10.4 |
2.89 |
449511424 |
76.0 |
apollon089 |
error |
3.57 |
1.17 |
217223168 |
27.2 |
apollon043 |
eca-rers2012/Problem02_label02_true-unreach-call_false-termination.c |
true |
10.9 |
3.10 |
446435328 |
91.3 |
apollon007 |
error |
3.63 |
1.19 |
217313280 |
31.9 |
apollon152 |
eca-rers2012/Problem02_label03_true-unreach-call_false-termination.c |
true |
10.7 |
3.10 |
456261632 |
83.0 |
apollon025 |
error |
3.47 |
1.11 |
214769664 |
28.3 |
apollon110 |
eca-rers2012/Problem02_label04_true-unreach-call_false-termination.c |
true |
10.8 |
3.00 |
458289152 |
96.9 |
apollon039 |
error |
3.58 |
1.12 |
215363584 |
26.6 |
apollon041 |
eca-rers2012/Problem02_label05_true-unreach-call_false-termination.c |
true |
10.5 |
3.06 |
457994240 |
96.8 |
apollon108 |
error |
3.61 |
1.16 |
215216128 |
31.2 |
apollon020 |
eca-rers2012/Problem02_label06_true-unreach-call_false-termination.c |
true |
18.1 |
7.81 |
950239232 |
154 |
apollon029 |
error |
3.35 |
1.11 |
216870912 |
29.4 |
apollon096 |
eca-rers2012/Problem02_label07_true-unreach-call_false-termination.c |
true |
11.8 |
3.24 |
481611776 |
84.5 |
apollon079 |
error |
3.55 |
1.15 |
217526272 |
30.4 |
apollon070 |
eca-rers2012/Problem02_label08_true-unreach-call_false-termination.c |
true |
10.7 |
3.12 |
456638464 |
94.5 |
apollon111 |
error |
3.54 |
1.14 |
217333760 |
33.7 |
apollon125 |
eca-rers2012/Problem02_label09_true-unreach-call_false-termination.c |
true |
14.2 |
3.94 |
472563712 |
96.6 |
apollon151 |
error |
3.58 |
1.14 |
216104960 |
31.1 |
apollon136 |
eca-rers2012/Problem02_label10_true-unreach-call_false-termination.c |
true |
11.6 |
3.26 |
468770816 |
83.2 |
apollon029 |
error |
3.52 |
1.13 |
217477120 |
29.6 |
apollon061 |
eca-rers2012/Problem02_label11_true-unreach-call_false-termination.c |
true |
11.9 |
3.29 |
479903744 |
86.4 |
apollon109 |
error |
3.47 |
1.13 |
214937600 |
34.3 |
apollon160 |
eca-rers2012/Problem02_label12_true-unreach-call_false-termination.c |
true |
11.9 |
3.25 |
478253056 |
102 |
apollon044 |
error |
3.48 |
1.12 |
213180416 |
27.3 |
apollon104 |
eca-rers2012/Problem02_label14_true-unreach-call_false-termination.c |
true |
11.8 |
3.25 |
469061632 |
88.1 |
apollon098 |
error |
3.52 |
1.13 |
216477696 |
28.7 |
apollon157 |
eca-rers2012/Problem02_label15_true-unreach-call_false-termination.c |
true |
9.96 |
2.83 |
452366336 |
83.7 |
apollon076 |
error |
3.47 |
1.16 |
216264704 |
27.7 |
apollon127 |
eca-rers2012/Problem02_label17_true-unreach-call_false-termination.c |
true |
9.81 |
2.79 |
451592192 |
74.0 |
apollon116 |
error |
3.54 |
1.13 |
216793088 |
30.4 |
apollon166 |
eca-rers2012/Problem02_label18_true-unreach-call_false-termination.c |
true |
15.5 |
4.20 |
608792576 |
134 |
apollon111 |
error |
3.51 |
1.12 |
216260608 |
28.7 |
apollon157 |
eca-rers2012/Problem02_label19_true-unreach-call_false-termination.c |
true |
9.75 |
2.88 |
434327552 |
67.6 |
apollon158 |
error |
3.47 |
1.12 |
215183360 |
28.3 |
apollon127 |
eca-rers2012/Problem02_label20_true-unreach-call_false-termination.c |
true |
9.56 |
2.80 |
447488000 |
77.2 |
apollon004 |
error |
3.57 |
1.17 |
216948736 |
33.4 |
apollon028 |
eca-rers2012/Problem02_label21_true-unreach-call_false-termination.c |
true |
11.0 |
3.06 |
458526720 |
82.4 |
apollon053 |
error |
3.46 |
1.20 |
213733376 |
29.9 |
apollon135 |
eca-rers2012/Problem02_label22_true-unreach-call_false-termination.c |
true |
9.99 |
2.80 |
448348160 |
70.8 |
apollon089 |
error |
3.62 |
1.19 |
217145344 |
32.3 |
apollon136 |
eca-rers2012/Problem02_label23_true-unreach-call_false-termination.c |
true |
10.9 |
3.23 |
453578752 |
90.7 |
apollon093 |
error |
3.49 |
1.11 |
218021888 |
29.5 |
apollon144 |
eca-rers2012/Problem02_label24_true-unreach-call_false-termination.c |
true |
10.1 |
2.79 |
449048576 |
83.8 |
apollon140 |
error |
3.52 |
1.12 |
215625728 |
29.1 |
apollon070 |
eca-rers2012/Problem02_label25_true-unreach-call_false-termination.c |
true |
10.9 |
3.05 |
452964352 |
79.1 |
apollon128 |
error |
3.61 |
1.19 |
217157632 |
32.5 |
apollon159 |
eca-rers2012/Problem02_label26_true-unreach-call_false-termination.c |
true |
10.4 |
2.95 |
460075008 |
85.2 |
apollon022 |
error |
3.40 |
1.13 |
213573632 |
29.9 |
apollon069 |
eca-rers2012/Problem02_label27_true-unreach-call_false-termination.c |
true |
10.2 |
2.88 |
462180352 |
84.0 |
apollon119 |
error |
3.46 |
1.14 |
215838720 |
29.7 |
apollon084 |
eca-rers2012/Problem02_label28_true-unreach-call_false-termination.c |
true |
10.4 |
3.09 |
452042752 |
89.7 |
apollon140 |
error |
3.53 |
1.12 |
216592384 |
28.8 |
apollon075 |
eca-rers2012/Problem02_label29_true-unreach-call_false-termination.c |
true |
13.6 |
3.76 |
481456128 |
102 |
apollon025 |
error |
3.47 |
1.14 |
215965696 |
29.8 |
apollon119 |
eca-rers2012/Problem02_label30_true-unreach-call_false-termination.c |
true |
11.9 |
3.29 |
476651520 |
104 |
apollon126 |
error |
3.45 |
1.13 |
215715840 |
30.2 |
apollon055 |
eca-rers2012/Problem02_label31_true-unreach-call_false-termination.c |
true |
11.5 |
3.19 |
464896000 |
87.8 |
apollon011 |
error |
3.51 |
1.16 |
215896064 |
31.7 |
apollon091 |
eca-rers2012/Problem02_label32_true-unreach-call_false-termination.c |
true |
11.7 |
3.29 |
483569664 |
82.7 |
apollon029 |
error |
3.52 |
1.13 |
219316224 |
29.2 |
apollon112 |
eca-rers2012/Problem02_label33_true-unreach-call_false-termination.c |
true |
10.3 |
2.88 |
446533632 |
76.5 |
apollon053 |
error |
3.47 |
1.14 |
214982656 |
28.2 |
apollon133 |
eca-rers2012/Problem02_label34_true-unreach-call_false-termination.c |
true |
9.74 |
2.82 |
435249152 |
74.4 |
apollon095 |
error |
3.53 |
1.15 |
221818880 |
31.5 |
apollon031 |
eca-rers2012/Problem02_label35_true-unreach-call_false-termination.c |
true |
10.1 |
2.89 |
449716224 |
85.6 |
apollon118 |
error |
3.47 |
1.12 |
216440832 |
27.8 |
apollon029 |
eca-rers2012/Problem02_label36_true-unreach-call_false-termination.c |
true |
13.2 |
3.84 |
541941760 |
110 |
apollon067 |
error |
3.48 |
1.14 |
213606400 |
28.7 |
apollon131 |
eca-rers2012/Problem02_label37_true-unreach-call_false-termination.c |
true |
10.9 |
3.05 |
458735616 |
86.5 |
apollon112 |
error |
3.50 |
1.12 |
217468928 |
29.3 |
apollon085 |
eca-rers2012/Problem02_label38_true-unreach-call_false-termination.c |
true |
12.8 |
3.62 |
575791104 |
114 |
apollon007 |
error |
3.42 |
1.12 |
217608192 |
30.8 |
apollon145 |
eca-rers2012/Problem02_label39_true-unreach-call_false-termination.c |
true |
10.8 |
3.14 |
467447808 |
81.4 |
apollon042 |
error |
3.59 |
1.19 |
216596480 |
30.1 |
apollon067 |
eca-rers2012/Problem02_label40_true-unreach-call_false-termination.c |
true |
11.9 |
3.39 |
449007616 |
87.5 |
apollon133 |
error |
3.47 |
1.20 |
216690688 |
29.0 |
apollon105 |
eca-rers2012/Problem02_label41_true-unreach-call_false-termination.c |
true |
12.0 |
3.37 |
451432448 |
91.9 |
apollon070 |
error |
3.65 |
1.14 |
219561984 |
29.9 |
apollon079 |
eca-rers2012/Problem02_label42_true-unreach-call_false-termination.c |
true |
9.97 |
2.91 |
443207680 |
73.1 |
apollon116 |
error |
3.58 |
1.12 |
215961600 |
27.4 |
apollon134 |
eca-rers2012/Problem02_label46_true-unreach-call_false-termination.c |
true |
10.7 |
3.06 |
490643456 |
93.8 |
apollon016 |
error |
3.37 |
1.13 |
214491136 |
26.1 |
apollon137 |
eca-rers2012/Problem02_label47_true-unreach-call_false-termination.c |
true |
11.5 |
3.17 |
486764544 |
106 |
apollon160 |
error |
3.76 |
1.20 |
218636288 |
29.3 |
apollon100 |
eca-rers2012/Problem02_label48_true-unreach-call_false-termination.c |
true |
10.8 |
2.99 |
467533824 |
88.0 |
apollon067 |
error |
3.49 |
1.13 |
217423872 |
34.0 |
apollon033 |
eca-rers2012/Problem02_label49_true-unreach-call_false-termination.c |
true |
13.7 |
3.98 |
583397376 |
105 |
apollon107 |
error |
3.45 |
1.12 |
216129536 |
32.0 |
apollon159 |
eca-rers2012/Problem02_label51_true-unreach-call_false-termination.c |
true |
11.0 |
3.02 |
467755008 |
86.7 |
apollon127 |
error |
3.36 |
1.11 |
215142400 |
26.5 |
apollon117 |
eca-rers2012/Problem02_label52_true-unreach-call_false-termination.c |
true |
18.9 |
6.75 |
882524160 |
158 |
apollon118 |
error |
3.58 |
1.15 |
219598848 |
27.7 |
apollon098 |
eca-rers2012/Problem02_label53_true-unreach-call_false-termination.c |
true |
11.1 |
3.10 |
470781952 |
83.7 |
apollon051 |
error |
3.56 |
1.15 |
215482368 |
29.6 |
apollon012 |
eca-rers2012/Problem02_label54_true-unreach-call_false-termination.c |
true |
11.8 |
3.34 |
471564288 |
99.4 |
apollon047 |
error |
3.45 |
1.14 |
215928832 |
31.3 |
apollon059 |
eca-rers2012/Problem02_label55_true-unreach-call_false-termination.c |
true |
12.4 |
3.35 |
478433280 |
102 |
apollon152 |
error |
3.60 |
1.14 |
213180416 |
31.4 |
apollon152 |
eca-rers2012/Problem02_label56_true-unreach-call_false-termination.c |
true |
11.6 |
3.21 |
480391168 |
105 |
apollon033 |
error |
3.62 |
1.10 |
239706112 |
29.4 |
apollon154 |
eca-rers2012/Problem02_label57_true-unreach-call_false-termination.c |
true |
10.6 |
3.01 |
447860736 |
86.7 |
apollon071 |
error |
3.50 |
1.17 |
216592384 |
33.0 |
apollon027 |
eca-rers2012/Problem02_label58_true-unreach-call_false-termination.c |
true |
12.5 |
3.39 |
490442752 |
97.5 |
apollon002 |
error |
3.51 |
1.12 |
217063424 |
28.7 |
apollon127 |
eca-rers2012/Problem03_label00_true-unreach-call.c |
true |
65.8 |
36.7 |
1535205376 |
589 |
apollon025 |
error |
5.38 |
1.47 |
313737216 |
38.9 |
apollon018 |
eca-rers2012/Problem03_label01_true-unreach-call.c |
true |
86.2 |
56.9 |
2417102848 |
928 |
apollon018 |
error |
5.28 |
1.43 |
333475840 |
37.6 |
apollon128 |
eca-rers2012/Problem03_label02_true-unreach-call.c |
true |
35.8 |
12.4 |
1193922560 |
304 |
apollon005 |
error |
5.17 |
1.45 |
306536448 |
38.4 |
apollon123 |
eca-rers2012/Problem03_label03_true-unreach-call.c |
true |
42.0 |
17.1 |
1435881472 |
357 |
apollon025 |
error |
5.36 |
1.50 |
313573376 |
45.8 |
apollon164 |
eca-rers2012/Problem03_label04_true-unreach-call.c |
true |
76.2 |
48.7 |
2390781952 |
822 |
apollon085 |
error |
5.46 |
1.53 |
308842496 |
41.3 |
apollon026 |
eca-rers2012/Problem03_label05_true-unreach-call.c |
true |
86.0 |
55.5 |
2204184576 |
1090 |
apollon039 |
error |
5.56 |
1.48 |
309092352 |
46.0 |
apollon118 |
eca-rers2012/Problem03_label06_true-unreach-call.c |
true |
40.3 |
15.4 |
1420427264 |
344 |
apollon156 |
error |
4.93 |
1.35 |
309436416 |
37.2 |
apollon127 |
eca-rers2012/Problem03_label07_true-unreach-call.c |
true |
37.6 |
13.9 |
1893085184 |
359 |
apollon111 |
error |
5.11 |
1.40 |
331943936 |
43.1 |
apollon069 |
eca-rers2012/Problem03_label08_true-unreach-call.c |
unknown |
103 |
67.5 |
3045392384 |
1210 |
apollon044 |
timeout |
956 |
209 |
1735995392 |
4920 |
apollon129 |
eca-rers2012/Problem03_label10_true-unreach-call.c |
true |
81.6 |
51.4 |
1738211328 |
946 |
apollon148 |
error |
5.34 |
1.48 |
312086528 |
38.5 |
apollon013 |
eca-rers2012/Problem03_label11_true-unreach-call.c |
true |
42.8 |
16.3 |
1316515840 |
398 |
apollon033 |
error |
5.43 |
1.46 |
300539904 |
37.9 |
apollon013 |
eca-rers2012/Problem03_label12_true-unreach-call.c |
true |
37.7 |
14.3 |
1211084800 |
287 |
apollon116 |
error |
5.04 |
1.37 |
336879616 |
38.3 |
apollon018 |
eca-rers2012/Problem03_label14_true-unreach-call.c |
true |
33.5 |
12.9 |
1331265536 |
298 |
apollon067 |
error |
5.30 |
1.43 |
308645888 |
45.6 |
apollon056 |
eca-rers2012/Problem03_label15_true-unreach-call.c |
true |
51.4 |
26.4 |
1893371904 |
507 |
apollon070 |
error |
5.11 |
1.43 |
308899840 |
43.2 |
apollon114 |
eca-rers2012/Problem03_label16_true-unreach-call.c |
true |
34.8 |
11.1 |
1116803072 |
286 |
apollon076 |
error |
5.54 |
1.55 |
311857152 |
43.2 |
apollon156 |
eca-rers2012/Problem03_label17_true-unreach-call.c |
true |
54.7 |
29.1 |
2047148032 |
496 |
apollon116 |
error |
5.36 |
1.44 |
305737728 |
39.0 |
apollon029 |
eca-rers2012/Problem03_label18_true-unreach-call.c |
true |
52.0 |
22.9 |
1930211328 |
469 |
apollon101 |
error |
5.57 |
1.48 |
303980544 |
43.7 |
apollon052 |
eca-rers2012/Problem03_label19_true-unreach-call.c |
true |
36.7 |
13.7 |
1339711488 |
333 |
apollon007 |
error |
5.59 |
1.65 |
304852992 |
42.6 |
apollon012 |
eca-rers2012/Problem03_label20_true-unreach-call.c |
unknown |
102 |
72.4 |
2400522240 |
1140 |
apollon022 |
timeout (true) |
950 |
312 |
2910511104 |
5560 |
apollon089 |
eca-rers2012/Problem03_label21_true-unreach-call.c |
true |
56.3 |
31.1 |
2139701248 |
535 |
apollon116 |
error |
5.48 |
1.50 |
306114560 |
44.8 |
apollon010 |
eca-rers2012/Problem03_label22_true-unreach-call.c |
true |
52.3 |
26.4 |
1924898816 |
513 |
apollon067 |
error |
5.39 |
1.47 |
310140928 |
38.2 |
apollon134 |
eca-rers2012/Problem03_label23_true-unreach-call.c |
true |
46.8 |
22.0 |
1626705920 |
400 |
apollon117 |
error |
5.56 |
1.54 |
297730048 |
43.7 |
apollon024 |
eca-rers2012/Problem03_label24_true-unreach-call.c |
true |
37.8 |
12.8 |
1304776704 |
313 |
apollon095 |
error |
5.10 |
1.40 |
314437632 |
42.9 |
apollon022 |
eca-rers2012/Problem03_label25_true-unreach-call.c |
true |
58.8 |
29.8 |
2074251264 |
549 |
apollon038 |
error |
5.45 |
1.47 |
311361536 |
45.9 |
apollon155 |
eca-rers2012/Problem03_label29_true-unreach-call.c |
true |
45.5 |
21.5 |
1847934976 |
389 |
apollon043 |
error |
5.50 |
1.50 |
312434688 |
40.8 |
apollon137 |
eca-rers2012/Problem03_label30_true-unreach-call.c |
true |
39.0 |
16.1 |
1679675392 |
319 |
apollon089 |
error |
5.24 |
1.43 |
315535360 |
42.5 |
apollon006 |
eca-rers2012/Problem03_label32_true-unreach-call.c |
true |
36.8 |
13.3 |
1221246976 |
343 |
apollon057 |
error |
5.61 |
1.50 |
301465600 |
50.5 |
apollon039 |
eca-rers2012/Problem03_label33_true-unreach-call.c |
unknown |
103 |
66.6 |
3125952512 |
890 |
apollon123 |
timeout |
951 |
236 |
1925001216 |
5490 |
apollon071 |
eca-rers2012/Problem03_label34_true-unreach-call.c |
true |
38.1 |
13.9 |
1273085952 |
315 |
apollon071 |
error |
5.37 |
1.51 |
312844288 |
40.2 |
apollon058 |
eca-rers2012/Problem03_label36_true-unreach-call.c |
true |
37.1 |
13.1 |
1306238976 |
312 |
apollon017 |
error |
5.31 |
1.45 |
311545856 |
40.6 |
apollon046 |
eca-rers2012/Problem03_label38_true-unreach-call.c |
true |
36.7 |
13.2 |
1226981376 |
331 |
apollon030 |
error |
5.54 |
1.55 |
317186048 |
44.4 |
apollon097 |
eca-rers2012/Problem03_label40_true-unreach-call.c |
true |
50.2 |
20.7 |
1635188736 |
416 |
apollon086 |
error |
5.33 |
1.42 |
309121024 |
39.2 |
apollon137 |
eca-rers2012/Problem03_label41_true-unreach-call.c |
true |
35.3 |
12.8 |
1093976064 |
297 |
apollon087 |
error |
5.28 |
1.48 |
342306816 |
45.1 |
apollon008 |
eca-rers2012/Problem03_label42_true-unreach-call.c |
true |
39.1 |
13.0 |
1267736576 |
282 |
apollon040 |
error |
4.98 |
1.32 |
315092992 |
37.6 |
apollon095 |
eca-rers2012/Problem03_label44_true-unreach-call.c |
true |
69.6 |
39.6 |
2357723136 |
813 |
apollon044 |
error |
5.44 |
1.55 |
327794688 |
42.7 |
apollon135 |
eca-rers2012/Problem03_label46_true-unreach-call.c |
true |
34.3 |
12.5 |
1067384832 |
288 |
apollon120 |
error |
5.15 |
1.42 |
311083008 |
39.6 |
apollon146 |
eca-rers2012/Problem03_label47_true-unreach-call.c |
true |
52.1 |
27.8 |
2020904960 |
577 |
apollon030 |
error |
5.65 |
1.56 |
308314112 |
44.5 |
apollon114 |
eca-rers2012/Problem03_label48_true-unreach-call.c |
true |
65.1 |
40.5 |
2116354048 |
737 |
apollon020 |
error |
5.40 |
1.50 |
310177792 |
45.3 |
apollon015 |
eca-rers2012/Problem03_label49_true-unreach-call.c |
unknown |
102 |
75.3 |
2444193792 |
1200 |
apollon071 |
true |
215 |
146 |
2235162624 |
2160 |
apollon011 |
eca-rers2012/Problem03_label51_true-unreach-call.c |
true |
71.0 |
45.4 |
2201874432 |
756 |
apollon146 |
error |
5.48 |
1.49 |
315854848 |
40.6 |
apollon002 |
eca-rers2012/Problem03_label53_true-unreach-call.c |
true |
64.8 |
37.2 |
2075496448 |
663 |
apollon118 |
error |
5.49 |
1.47 |
309133312 |
47.9 |
apollon159 |
eca-rers2012/Problem03_label54_true-unreach-call.c |
true |
58.2 |
34.0 |
1768529920 |
591 |
apollon168 |
error |
5.30 |
1.44 |
311025664 |
40.9 |
apollon038 |
eca-rers2012/Problem03_label55_true-unreach-call.c |
unknown |
102 |
72.3 |
2852687872 |
1030 |
apollon043 |
true |
685 |
289 |
2833231872 |
5580 |
apollon081 |
eca-rers2012/Problem03_label56_true-unreach-call.c |
unknown |
102 |
65.7 |
3189555200 |
1040 |
apollon076 |
timeout |
955 |
218 |
1820782592 |
5240 |
apollon049 |
eca-rers2012/Problem03_label57_true-unreach-call.c |
unknown |
102 |
75.0 |
2639548416 |
1020 |
apollon092 |
true |
217 |
146 |
2348503040 |
2380 |
apollon077 |
eca-rers2012/Problem03_label58_true-unreach-call.c |
true |
61.8 |
32.0 |
1719386112 |
561 |
apollon135 |
error |
5.49 |
1.59 |
300388352 |
47.3 |
apollon028 |
eca-rers2012/Problem03_label59_true-unreach-call.c |
true |
34.9 |
11.2 |
910884864 |
306 |
apollon014 |
error |
5.41 |
1.45 |
305029120 |
40.4 |
apollon146 |
eca-rers2012/Problem04_label00_true-unreach-call.c |
unknown |
105 |
67.0 |
2467131392 |
938 |
apollon155 |
timeout |
953 |
232 |
1695133696 |
5360 |
apollon135 |
eca-rers2012/Problem04_label01_true-unreach-call.c |
unknown |
105 |
54.3 |
2332938240 |
817 |
apollon102 |
timeout |
955 |
216 |
1643720704 |
5460 |
apollon096 |
eca-rers2012/Problem04_label02_true-unreach-call.c |
unknown |
107 |
58.9 |
2802356224 |
845 |
apollon118 |
timeout |
955 |
216 |
1641021440 |
5640 |
apollon047 |
eca-rers2012/Problem04_label03_true-unreach-call.c |
unknown |
106 |
61.5 |
2232176640 |
1020 |
apollon155 |
timeout |
952 |
223 |
1657860096 |
5900 |
apollon088 |
eca-rers2012/Problem04_label05_true-unreach-call.c |
unknown |
105 |
66.3 |
2686750720 |
1170 |
apollon057 |
timeout |
952 |
222 |
1653153792 |
5060 |
apollon073 |
eca-rers2012/Problem04_label07_true-unreach-call.c |
unknown |
106 |
65.6 |
2768830464 |
1150 |
apollon044 |
timeout |
955 |
232 |
1710088192 |
5070 |
apollon116 |
eca-rers2012/Problem04_label08_true-unreach-call.c |
unknown |
104 |
63.6 |
2587275264 |
871 |
apollon117 |
timeout |
951 |
228 |
1673650176 |
5910 |
apollon163 |
eca-rers2012/Problem04_label10_true-unreach-call.c |
unknown |
104 |
65.3 |
2572374016 |
1140 |
apollon021 |
timeout |
951 |
221 |
1668374528 |
5470 |
apollon015 |
eca-rers2012/Problem04_label16_true-unreach-call.c |
unknown |
105 |
67.8 |
2697060352 |
856 |
apollon053 |
true |
105 |
61.7 |
1582972928 |
961 |
apollon023 |
eca-rers2012/Problem04_label20_true-unreach-call_false-termination.c |
unknown |
106 |
65.5 |
2867310592 |
872 |
apollon102 |
timeout |
958 |
230 |
1684717568 |
4950 |
apollon117 |
eca-rers2012/Problem04_label21_true-unreach-call.c |
unknown |
106 |
65.5 |
2833031168 |
828 |
apollon089 |
timeout |
952 |
222 |
1674850304 |
5490 |
apollon084 |
eca-rers2012/Problem04_label22_true-unreach-call.c |
unknown |
105 |
68.8 |
2445328384 |
920 |
apollon026 |
timeout |
958 |
229 |
1681920000 |
5220 |
apollon037 |
eca-rers2012/Problem04_label23_true-unreach-call_false-termination.c |
unknown |
105 |
62.0 |
2726133760 |
844 |
apollon099 |
timeout |
950 |
227 |
1683173376 |
4930 |
apollon139 |
eca-rers2012/Problem04_label24_true-unreach-call_false-termination.c |
unknown |
105 |
64.1 |
2703228928 |
1010 |
apollon014 |
timeout |
957 |
229 |
1691754496 |
5510 |
apollon022 |
eca-rers2012/Problem04_label25_true-unreach-call.c |
true |
60.3 |
31.8 |
1834254336 |
514 |
apollon004 |
error |
8.76 |
2.21 |
494129152 |
73.2 |
apollon159 |
eca-rers2012/Problem04_label28_true-unreach-call.c |
unknown |
106 |
62.6 |
2535530496 |
879 |
apollon152 |
timeout |
952 |
222 |
1665998848 |
5950 |
apollon016 |
eca-rers2012/Problem04_label29_true-unreach-call_false-termination.c |
unknown |
105 |
65.4 |
2684870656 |
966 |
apollon087 |
timeout |
958 |
229 |
1681633280 |
4940 |
apollon089 |
eca-rers2012/Problem04_label30_true-unreach-call.c |
unknown |
104 |
60.3 |
2795438080 |
879 |
apollon058 |
timeout |
951 |
224 |
1683828736 |
5400 |
apollon015 |
eca-rers2012/Problem04_label33_true-unreach-call.c |
unknown |
106 |
63.9 |
3000496128 |
1040 |
apollon112 |
timeout |
954 |
216 |
1688031232 |
5330 |
apollon087 |
eca-rers2012/Problem04_label34_true-unreach-call.c |
unknown |
105 |
61.8 |
2683064320 |
934 |
apollon011 |
timeout |
958 |
230 |
1692499968 |
4760 |
apollon158 |
eca-rers2012/Problem04_label37_true-unreach-call_false-termination.c |
unknown |
104 |
62.1 |
2950426624 |
924 |
apollon020 |
timeout |
953 |
221 |
1670893568 |
4960 |
apollon060 |
eca-rers2012/Problem04_label41_true-unreach-call.c |
true |
79.0 |
43.1 |
2163376128 |
705 |
apollon142 |
error |
8.85 |
2.23 |
528875520 |
64.0 |
apollon109 |
eca-rers2012/Problem04_label42_true-unreach-call_false-termination.c |
true |
78.6 |
43.6 |
2038984704 |
703 |
apollon164 |
error |
8.87 |
2.18 |
504061952 |
61.3 |
apollon013 |
eca-rers2012/Problem04_label43_true-unreach-call_false-termination.c |
unknown |
103 |
69.0 |
3766673408 |
937 |
apollon045 |
out of java memory |
723 |
188 |
2050924544 |
4500 |
apollon114 |
eca-rers2012/Problem04_label44_true-unreach-call_false-termination.c |
unknown |
106 |
67.7 |
3022307328 |
906 |
apollon032 |
timeout |
952 |
221 |
1650483200 |
5910 |
apollon014 |
eca-rers2012/Problem04_label46_true-unreach-call_false-termination.c |
unknown |
104 |
63.4 |
2796511232 |
926 |
apollon082 |
timeout |
952 |
222 |
1650855936 |
5260 |
apollon135 |
eca-rers2012/Problem04_label47_true-unreach-call.c |
unknown |
106 |
66.0 |
2668498944 |
960 |
apollon019 |
timeout |
951 |
228 |
1679323136 |
5820 |
apollon081 |
eca-rers2012/Problem04_label48_true-unreach-call.c |
unknown |
104 |
62.4 |
2687680512 |
878 |
apollon119 |
timeout |
951 |
227 |
1674584064 |
5580 |
apollon010 |
eca-rers2012/Problem04_label49_true-unreach-call_false-termination.c |
unknown |
106 |
63.6 |
2783956992 |
861 |
apollon146 |
timeout |
950 |
228 |
1660932096 |
4960 |
apollon060 |
eca-rers2012/Problem04_label50_true-unreach-call.c |
unknown |
105 |
64.3 |
2582802432 |
1160 |
apollon057 |
timeout |
950 |
227 |
1689440256 |
5270 |
apollon119 |
eca-rers2012/Problem04_label51_true-unreach-call.c |
unknown |
106 |
63.7 |
3066126336 |
874 |
apollon116 |
timeout |
953 |
222 |
1656082432 |
5080 |
apollon050 |
eca-rers2012/Problem04_label53_true-unreach-call.c |
unknown |
105 |
65.1 |
2400821248 |
1000 |
apollon167 |
out of java memory |
865 |
210 |
1655435264 |
5000 |
apollon121 |
eca-rers2012/Problem04_label54_true-unreach-call.c |
unknown |
107 |
65.0 |
2781978624 |
1080 |
apollon140 |
timeout |
954 |
233 |
1707364352 |
5750 |
apollon007 |
eca-rers2012/Problem04_label56_true-unreach-call.c |
unknown |
105 |
64.4 |
2259431424 |
913 |
apollon093 |
timeout |
953 |
221 |
1654476800 |
5160 |
apollon150 |
eca-rers2012/Problem04_label57_true-unreach-call_false-termination.c |
unknown |
105 |
62.1 |
2586861568 |
848 |
apollon025 |
timeout |
952 |
221 |
1663033344 |
6020 |
apollon057 |
eca-rers2012/Problem04_label59_true-unreach-call.c |
unknown |
104 |
62.3 |
2157547520 |
873 |
apollon108 |
timeout |
956 |
214 |
1647718400 |
5240 |
apollon038 |
eca-rers2012/Problem05_label02_true-unreach-call.c |
unknown |
103 |
64.0 |
2784587776 |
1030 |
apollon112 |
out of java memory |
845 |
162 |
1502306304 |
4750 |
apollon080 |
eca-rers2012/Problem05_label03_true-unreach-call.c |
unknown |
110 |
65.9 |
2670374912 |
1040 |
apollon142 |
out of java memory |
881 |
168 |
1492152320 |
4350 |
apollon053 |
eca-rers2012/Problem05_label04_true-unreach-call.c |
unknown |
111 |
66.2 |
2542309376 |
911 |
apollon164 |
out of java memory |
847 |
165 |
1499860992 |
4580 |
apollon146 |
eca-rers2012/Problem05_label05_true-unreach-call.c |
unknown |
104 |
56.5 |
2584113152 |
898 |
apollon155 |
out of java memory |
857 |
166 |
1497038848 |
5090 |
apollon033 |
eca-rers2012/Problem05_label06_true-unreach-call.c |
unknown |
103 |
55.5 |
2860048384 |
845 |
apollon018 |
out of java memory |
858 |
167 |
1505673216 |
4350 |
apollon104 |
eca-rers2012/Problem05_label07_true-unreach-call.c |
unknown |
103 |
61.9 |
2513260544 |
917 |
apollon070 |
timeout |
957 |
180 |
1498943488 |
4980 |
apollon091 |
eca-rers2012/Problem05_label08_true-unreach-call.c |
unknown |
109 |
67.0 |
3030695936 |
959 |
apollon058 |
true |
72.2 |
35.0 |
1167826944 |
584 |
apollon041 |
eca-rers2012/Problem05_label09_true-unreach-call.c |
unknown |
104 |
64.2 |
2328817664 |
904 |
apollon067 |
out of java memory |
855 |
164 |
1494798336 |
4300 |
apollon079 |
eca-rers2012/Problem05_label10_true-unreach-call.c |
unknown |
107 |
60.9 |
2392121344 |
932 |
apollon095 |
timeout |
956 |
189 |
1582563328 |
5140 |
apollon132 |
eca-rers2012/Problem05_label12_true-unreach-call.c |
unknown |
104 |
62.0 |
2744139776 |
846 |
apollon150 |
timeout |
957 |
178 |
1498976256 |
5110 |
apollon138 |
eca-rers2012/Problem05_label14_true-unreach-call.c |
unknown |
105 |
60.1 |
2582499328 |
803 |
apollon089 |
timeout |
957 |
177 |
1496379392 |
4690 |
apollon023 |
eca-rers2012/Problem05_label16_true-unreach-call.c |
unknown |
103 |
63.1 |
2546212864 |
1110 |
apollon021 |
timeout |
951 |
180 |
1542844416 |
4520 |
apollon013 |
eca-rers2012/Problem05_label17_true-unreach-call.c |
unknown |
105 |
63.0 |
2463236096 |
1030 |
apollon005 |
out of java memory |
881 |
169 |
1505697792 |
4560 |
apollon005 |
eca-rers2012/Problem05_label19_true-unreach-call.c |
unknown |
105 |
59.3 |
2778001408 |
877 |
apollon168 |
out of java memory |
841 |
165 |
1503469568 |
4040 |
apollon040 |
eca-rers2012/Problem05_label20_true-unreach-call.c |
unknown |
103 |
63.0 |
3035967488 |
729 |
apollon157 |
out of java memory |
862 |
166 |
1515790336 |
4520 |
apollon011 |
eca-rers2012/Problem05_label21_true-unreach-call.c |
unknown |
105 |
60.7 |
2710626304 |
966 |
apollon142 |
timeout |
957 |
187 |
1577545728 |
4960 |
apollon133 |
eca-rers2012/Problem05_label22_true-unreach-call.c |
unknown |
113 |
68.0 |
3168112640 |
1030 |
apollon017 |
out of java memory |
890 |
170 |
1496768512 |
5190 |
apollon111 |
eca-rers2012/Problem05_label23_true-unreach-call.c |
unknown |
111 |
65.6 |
3088613376 |
885 |
apollon092 |
timeout |
951 |
181 |
1560186880 |
5160 |
apollon007 |
eca-rers2012/Problem05_label25_true-unreach-call.c |
unknown |
105 |
59.6 |
2847928320 |
1020 |
apollon016 |
out of java memory |
852 |
163 |
1502502912 |
4160 |
apollon058 |
eca-rers2012/Problem05_label27_true-unreach-call.c |
unknown |
109 |
66.8 |
2943574016 |
847 |
apollon089 |
out of java memory |
844 |
163 |
1491902464 |
4980 |
apollon057 |
eca-rers2012/Problem05_label28_true-unreach-call.c |
unknown |
105 |
56.7 |
2815913984 |
865 |
apollon086 |
timeout |
957 |
188 |
1557352448 |
5300 |
apollon077 |
eca-rers2012/Problem05_label29_true-unreach-call.c |
unknown |
110 |
62.1 |
3000233984 |
783 |
apollon022 |
timeout (out of java memory) |
902 |
171 |
1503690752 |
5040 |
apollon048 |
eca-rers2012/Problem05_label31_true-unreach-call.c |
unknown |
110 |
59.7 |
2889883648 |
992 |
apollon087 |
out of java memory |
867 |
168 |
1513365504 |
4620 |
apollon071 |
eca-rers2012/Problem05_label34_true-unreach-call.c |
unknown |
104 |
58.7 |
2660499456 |
820 |
apollon151 |
out of java memory |
876 |
168 |
1491587072 |
4340 |
apollon053 |
eca-rers2012/Problem05_label35_true-unreach-call.c |
unknown |
104 |
65.5 |
2769391616 |
945 |
apollon034 |
timeout |
956 |
177 |
1490784256 |
4730 |
apollon025 |
eca-rers2012/Problem05_label42_true-unreach-call.c |
unknown |
103 |
65.6 |
2804101120 |
1110 |
apollon160 |
out of java memory |
860 |
166 |
1490747392 |
4950 |
apollon027 |
eca-rers2012/Problem05_label43_true-unreach-call.c |
unknown |
111 |
64.9 |
3022307328 |
858 |
apollon089 |
out of java memory |
883 |
169 |
1497186304 |
4860 |
apollon138 |
eca-rers2012/Problem05_label45_true-unreach-call.c |
unknown |
103 |
61.0 |
2830966784 |
946 |
apollon047 |
out of java memory |
840 |
163 |
1496113152 |
4090 |
apollon123 |
eca-rers2012/Problem05_label46_true-unreach-call.c |
unknown |
103 |
60.2 |
2555273216 |
871 |
apollon099 |
out of java memory |
872 |
167 |
1499312128 |
4570 |
apollon055 |
eca-rers2012/Problem05_label49_true-unreach-call.c |
unknown |
103 |
68.9 |
2237898752 |
896 |
apollon086 |
timeout |
956 |
210 |
1672769536 |
5150 |
apollon037 |
eca-rers2012/Problem05_label50_true-unreach-call.c |
unknown |
104 |
59.6 |
2227777536 |
1010 |
apollon161 |
timeout |
956 |
187 |
1576734720 |
4780 |
apollon066 |
eca-rers2012/Problem05_label52_true-unreach-call.c |
unknown |
109 |
62.5 |
3031785472 |
945 |
apollon168 |
out of java memory |
868 |
166 |
1489563648 |
5110 |
apollon125 |
eca-rers2012/Problem05_label53_true-unreach-call.c |
unknown |
104 |
60.2 |
2609635328 |
1010 |
apollon161 |
out of java memory |
850 |
163 |
1496170496 |
4520 |
apollon017 |
eca-rers2012/Problem05_label54_true-unreach-call.c |
unknown |
110 |
64.8 |
2703540224 |
882 |
apollon126 |
out of java memory |
840 |
164 |
1509990400 |
4800 |
apollon069 |
eca-rers2012/Problem05_label56_true-unreach-call.c |
unknown |
110 |
65.4 |
3045056512 |
994 |
apollon087 |
out of java memory |
855 |
167 |
1506115584 |
4440 |
apollon061 |
eca-rers2012/Problem05_label59_true-unreach-call.c |
unknown |
106 |
60.2 |
2398224384 |
813 |
apollon098 |
out of java memory |
895 |
184 |
1557966848 |
4860 |
apollon090 |
eca-rers2012/Problem06_label03_true-unreach-call.c |
unknown |
106 |
63.3 |
2546061312 |
942 |
apollon018 |
timeout |
957 |
322 |
2327310336 |
6790 |
apollon163 |
eca-rers2012/Problem06_label06_true-unreach-call.c |
unknown |
103 |
52.1 |
2662887424 |
755 |
apollon151 |
timeout |
954 |
411 |
3176644608 |
7140 |
apollon087 |
eca-rers2012/Problem06_label07_true-unreach-call.c |
unknown |
104 |
61.3 |
2707263488 |
978 |
apollon017 |
timeout |
957 |
373 |
2496688128 |
6540 |
apollon075 |
eca-rers2012/Problem06_label08_true-unreach-call.c |
unknown |
102 |
55.7 |
2717536256 |
1040 |
apollon161 |
timeout |
956 |
328 |
2344947712 |
6120 |
apollon097 |
eca-rers2012/Problem06_label13_true-unreach-call.c |
unknown |
104 |
55.3 |
2684444672 |
1010 |
apollon148 |
timeout |
954 |
343 |
2436493312 |
6190 |
apollon131 |
eca-rers2012/Problem06_label14_true-unreach-call.c |
unknown |
103 |
52.2 |
2342408192 |
816 |
apollon117 |
out of java memory |
890 |
204 |
1695211520 |
4900 |
apollon133 |
eca-rers2012/Problem06_label16_true-unreach-call.c |
unknown |
103 |
57.1 |
2383171584 |
883 |
apollon106 |
timeout (out of java memory) |
903 |
204 |
1685512192 |
5090 |
apollon113 |
eca-rers2012/Problem06_label17_true-unreach-call.c |
unknown |
106 |
55.4 |
2640535552 |
791 |
apollon040 |
timeout |
955 |
212 |
1701646336 |
6100 |
apollon160 |
eca-rers2012/Problem06_label18_true-unreach-call.c |
unknown |
103 |
58.1 |
2528108544 |
919 |
apollon011 |
timeout |
955 |
205 |
1627738112 |
5850 |
apollon057 |
eca-rers2012/Problem06_label19_true-unreach-call.c |
unknown |
104 |
52.2 |
2441084928 |
872 |
apollon067 |
timeout |
954 |
212 |
1696014336 |
5580 |
apollon152 |
eca-rers2012/Problem06_label22_true-unreach-call.c |
unknown |
103 |
58.8 |
2212081664 |
830 |
apollon128 |
timeout |
953 |
217 |
1696628736 |
5780 |
apollon020 |
eca-rers2012/Problem06_label23_true-unreach-call.c |
unknown |
104 |
56.8 |
2264576000 |
827 |
apollon128 |
timeout |
954 |
215 |
1691549696 |
5560 |
apollon141 |
eca-rers2012/Problem06_label25_true-unreach-call.c |
unknown |
104 |
58.1 |
2761375744 |
985 |
apollon125 |
timeout |
956 |
204 |
1618767872 |
5300 |
apollon065 |
eca-rers2012/Problem06_label26_true-unreach-call.c |
unknown |
104 |
59.9 |
3493298176 |
855 |
apollon127 |
out of java memory |
684 |
180 |
1702338560 |
4370 |
apollon126 |
eca-rers2012/Problem06_label28_true-unreach-call.c |
unknown |
103 |
63.7 |
2354274304 |
940 |
apollon085 |
timeout |
952 |
214 |
1750835200 |
4890 |
apollon127 |
eca-rers2012/Problem06_label30_true-unreach-call.c |
unknown |
103 |
60.8 |
2305183744 |
864 |
apollon033 |
out of java memory |
838 |
195 |
1717182464 |
5280 |
apollon036 |
eca-rers2012/Problem06_label31_true-unreach-call.c |
unknown |
104 |
60.0 |
2262589440 |
796 |
apollon152 |
timeout |
956 |
236 |
1875492864 |
5390 |
apollon032 |
eca-rers2012/Problem06_label32_true-unreach-call.c |
unknown |
107 |
65.5 |
2787696640 |
900 |
apollon121 |
timeout |
955 |
212 |
1691627520 |
5880 |
apollon106 |
eca-rers2012/Problem06_label34_true-unreach-call.c |
unknown |
102 |
57.8 |
2788851712 |
922 |
apollon072 |
timeout |
957 |
212 |
1713827840 |
4830 |
apollon116 |
eca-rers2012/Problem06_label35_true-unreach-call.c |
unknown |
102 |
55.6 |
2347589632 |
1040 |
apollon148 |
timeout |
957 |
232 |
1883365376 |
4980 |
apollon134 |
eca-rers2012/Problem06_label39_true-unreach-call.c |
unknown |
109 |
64.5 |
3245150208 |
1010 |
apollon087 |
timeout |
955 |
211 |
1706041344 |
5970 |
apollon125 |
eca-rers2012/Problem06_label40_true-unreach-call.c |
unknown |
108 |
56.8 |
3026104320 |
895 |
apollon018 |
timeout |
955 |
235 |
1871691776 |
6250 |
apollon021 |
eca-rers2012/Problem06_label41_true-unreach-call.c |
unknown |
104 |
60.1 |
2696761344 |
924 |
apollon070 |
timeout |
955 |
212 |
1699553280 |
5340 |
apollon156 |
eca-rers2012/Problem06_label42_true-unreach-call.c |
unknown |
107 |
58.3 |
2796437504 |
881 |
apollon025 |
out of java memory |
726 |
183 |
1735843840 |
4270 |
apollon052 |
eca-rers2012/Problem06_label43_true-unreach-call.c |
unknown |
103 |
61.6 |
2800140288 |
885 |
apollon141 |
timeout |
955 |
213 |
1695993856 |
5880 |
apollon044 |
eca-rers2012/Problem06_label45_true-unreach-call.c |
unknown |
103 |
64.9 |
2741825536 |
1150 |
apollon044 |
timeout |
951 |
215 |
1791045632 |
4880 |
apollon123 |
eca-rers2012/Problem06_label46_true-unreach-call.c |
unknown |
103 |
58.1 |
2320236544 |
812 |
apollon012 |
timeout |
955 |
212 |
1702084608 |
5670 |
apollon064 |
eca-rers2012/Problem06_label49_true-unreach-call.c |
unknown |
104 |
58.4 |
2528325632 |
859 |
apollon119 |
timeout |
956 |
205 |
1625513984 |
4960 |
apollon150 |
eca-rers2012/Problem06_label50_true-unreach-call.c |
unknown |
104 |
55.4 |
2685923328 |
686 |
apollon123 |
timeout |
957 |
212 |
1713717248 |
4840 |
apollon083 |
eca-rers2012/Problem06_label51_true-unreach-call.c |
unknown |
103 |
59.2 |
2610155520 |
916 |
apollon019 |
out of java memory |
736 |
184 |
1737691136 |
4370 |
apollon084 |
eca-rers2012/Problem06_label52_true-unreach-call.c |
unknown |
103 |
63.1 |
3573747712 |
1130 |
apollon044 |
timeout (out of java memory) |
930 |
210 |
1708511232 |
5000 |
apollon166 |
eca-rers2012/Problem06_label53_true-unreach-call.c |
unknown |
103 |
56.5 |
2368655360 |
836 |
apollon127 |
out of java memory |
812 |
193 |
1725788160 |
5110 |
apollon014 |
eca-rers2012/Problem06_label54_true-unreach-call.c |
unknown |
103 |
58.1 |
2569375744 |
823 |
apollon078 |
timeout |
956 |
203 |
1613701120 |
4980 |
apollon035 |
eca-rers2012/Problem06_label55_true-unreach-call.c |
unknown |
104 |
54.8 |
2802696192 |
715 |
apollon123 |
timeout |
956 |
205 |
1624547328 |
5000 |
apollon072 |
eca-rers2012/Problem06_label57_true-unreach-call.c |
unknown |
104 |
58.6 |
2690793472 |
846 |
apollon117 |
timeout |
956 |
203 |
1620611072 |
5880 |
apollon160 |
|