data.csv

1	sv-benchmarks/c/loop-acceleration/simple_3-1.yml	false	false	0.568603474	0.582979089114815	49655808	apollon041
2	sv-benchmarks/c/loops/while_infinite_loop_1.yml	true	true	0.569874585	0.5846650649327785	47206400	apollon003
3	sv-benchmarks/c/loops/while_infinite_loop_2.yml	true	true	0.576870996	0.5913285359274596	47296512	apollon056
4	sv-benchmarks/c/loop-invariants/odd.yml	true	true	0.577924157	0.5930100379046053	50130944	apollon143
5	sv-benchmarks/c/loop-invariants/even.yml	true	true	0.578314243	0.5924702060874552	50106368	apollon129
6	sv-benchmarks/c/loop-acceleration/overflow_1-1.yml	true	true	0.578866384	0.5942989489994943	51032064	apollon064
7	sv-benchmarks/c/loop-acceleration/overflow_1-1.yml	true	true	0.579529225	0.5940538509748876	49913856	apollon064
8	sv-benchmarks/c/loops/while_infinite_loop_1.yml	true	true	0.579841354	0.5949723469093442	47493120	apollon049
9	sv-benchmarks/c/loops/while_infinite_loop_2.yml	true	true	0.580810164	0.5959291730541736	47484928	apollon060
10	sv-benchmarks/c/loop-acceleration/simple_2-2.yml	false	false	0.581792442	0.5963548910804093	49577984	apollon059
11	sv-benchmarks/c/loop-acceleration/multivar_1-2.yml	false	false	0.583026545	0.5987560460343957	49700864	apollon124
12	sv-benchmarks/c/loop-invariants/mod4.yml	true	true	0.583415271	0.5981709791813046	50118656	apollon109
13	sv-benchmarks/c/loops/while_infinite_loop_2.yml	true	true	0.583824667	0.598859477089718	47484928	apollon118
14	sv-benchmarks/c/loop-acceleration/simple_2-1.yml	true	true	0.584166889	0.600166582968086	50212864	apollon161
15	sv-benchmarks/c/loop-simple/nested_1.yml	true	true	0.584260505	0.5995336449705064	49917952	apollon076
16	sv-benchmarks/c/loops/n.c11.yml	true	true	0.584530386	0.5994721341412514	50864128	apollon072
17	sv-benchmarks/c/loop-crafted/simple_vardep_2.yml	true	true	0.584839053	0.6000235369428992	50696192	apollon022
18	sv-benchmarks/c/loop-acceleration/simple_2-1.yml	true	true	0.584904364	0.6016622658353299	49790976	apollon104
19	sv-benchmarks/c/loop-invariants/const.yml	true	true	0.584975543	0.5999188118148595	50499584	apollon063
20	sv-benchmarks/c/loops/while_infinite_loop_1.yml	true	true	0.588077531	0.6025702189654112	47493120	apollon126
21	sv-benchmarks/c/loop-invariants/eq2.yml	true	true	0.588444118	0.6035547470673919	50827264	apollon165
22	sv-benchmarks/c/loop-new/count_by_1_variant.yml	true	true	0.588580553	0.6037110351026058	50245632	apollon039
23	sv-benchmarks/c/loop-invariants/const.yml	true	true	0.588637151	0.6035583950579166	50298880	apollon153
24	sv-benchmarks/c/loop-acceleration/underapprox_2-2.yml	true	true	0.589682681	0.6050840150564909	50307072	apollon111
25	sv-benchmarks/c/loop-acceleration/simple_3-2.yml	true	true	0.590543336	0.6049118479713798	50245632	apollon117
26	sv-benchmarks/c/loop-acceleration/multivar_1-1.yml	true	true	0.591874841	0.6060917279683053	50376704	apollon139
27	sv-benchmarks/c/loops/count_up_down-2.yml	false	false	0.592054595	0.6068041929975152	49848320	apollon071
28	sv-benchmarks/c/loop-new/count_by_1_variant.yml	true	true	0.592194162	0.6070325179025531	50057216	apollon019
29	sv-benchmarks/c/loop-acceleration/simple_2-2.yml	false	false	0.592660843	0.6078380420804024	49721344	apollon063
30	sv-benchmarks/c/loops/terminator_02-1.yml	false	false	0.594200848	0.6100147040560842	50307072	apollon155
31	sv-benchmarks/c/loop-acceleration/overflow_1-1.yml	true	true	0.594433908	0.6102756569162011	50245632	apollon128
32	sv-benchmarks/c/loop-invariants/eq1.yml	true	true	0.594604824	0.6096496030222625	51023872	apollon042
33	sv-benchmarks/c/loop-crafted/simple_vardep_1.yml	true	true	0.59527614	0.610260457964614	50540544	apollon114
34	sv-benchmarks/c/loop-lit/css2003.yml	true	true	0.595798062	0.6110980459488928	50634752	apollon131
35	sv-benchmarks/c/loop-acceleration/simple_3-1.yml	false	false	0.598413335	0.6150303010363132	50180096	apollon081
36	sv-benchmarks/c/loop-crafted/simple_vardep_1.yml	true	true	0.599321105	0.6145250550471246	50876416	apollon123
37	sv-benchmarks/c/loop-simple/nested_1b.yml	false	false	0.600315856	0.6163950010668486	50057216	apollon044
38	sv-benchmarks/c/loops/for_infinite_loop_2.yml	true	true	0.600390962	0.6150720119476318	51036160	apollon031
39	sv-benchmarks/c/loop-lit/gsv2008.yml	true	true	0.601321087	0.6156301419250667	50311168	apollon032
40	sv-benchmarks/c/loops/count_up_down-1.yml	true	true	0.603275635	0.6182892459910363	50769920	apollon060
41	sv-benchmarks/c/loops-crafted-1/loopv1.yml	true	true	0.603413631	0.6190025019459426	50745344	apollon111
42	sv-benchmarks/c/loop-acceleration/multivar_1-1.yml	true	true	0.603631677	0.6194472240749747	51916800	apollon087
43	sv-benchmarks/c/loops/terminator_03-1.yml	false	false	0.60374627	0.6178746761288494	49922048	apollon151
44	sv-benchmarks/c/loop-new/count_by_1_variant.yml	true	true	0.604310742	0.6191798630170524	50237440	apollon051
45	sv-benchmarks/c/loop-acceleration/underapprox_1-1.yml	false	false	0.604576266	0.6201465979684144	50675712	apollon164
46	sv-benchmarks/c/loop-acceleration/simple_2-2.yml	false	false	0.604653536	0.6203102958388627	50970624	apollon139
47	sv-benchmarks/c/loops/count_up_down-2.yml	false	false	0.604894184	0.6197918199468404	50315264	apollon014
48	sv-benchmarks/c/loop-acceleration/multivar_1-2.yml	false	false	0.605974749	0.6210486160125583	50216960	apollon163
49	sv-benchmarks/c/loops/for_infinite_loop_1.yml	true	true	0.60679786	0.6223067140672356	51101696	apollon117
50	sv-benchmarks/c/loop-lit/hhk2008.yml	true	true	0.606876319	0.6218421049416065	51154944	apollon120
51	sv-benchmarks/c/loop-invariants/const.yml	true	true	0.608153548	0.6232721919659525	50569216	apollon036
52	sv-benchmarks/c/loops-crafted-1/sumt2.yml	true	true	0.60828406	0.6231607811059803	51298304	apollon045
53	sv-benchmarks/c/loop-industry-pattern/mod3.yml	true	true	0.608896451	0.6234777991194278	50892800	apollon067
54	sv-benchmarks/c/loop-lit/cggmp2005_variant.yml	true	true	0.609036144	0.6235138878691941	50700288	apollon134
55	sv-benchmarks/c/loop-lit/css2003.yml	true	true	0.610031996	0.6246460231486708	51097600	apollon046
56	sv-benchmarks/c/loop-acceleration/multivar_1-1.yml	true	true	0.610428234	0.6253122119233012	51027968	apollon017
57	sv-benchmarks/c/loops/terminator_02-2.yml	true	true	0.611125505	0.6273164679296315	50839552	apollon005
58	sv-benchmarks/c/loops/nec11.yml	false	false	0.611532426	0.6264425660483539	50335744	apollon095
59	sv-benchmarks/c/loops-crafted-1/sumt3.yml	true	true	0.612511078	0.6287019229494035	51961856	apollon063
60	sv-benchmarks/c/loop-acceleration/simple_2-1.yml	true	true	0.613024607	0.6271961219608784	51290112	apollon002
61	sv-benchmarks/c/loops/terminator_03-1.yml	false	false	0.616787288	0.6314842330757529	50376704	apollon075
62	sv-benchmarks/c/loop-crafted/simple_vardep_2.yml	true	true	0.61756412	0.6331272791139781	51163136	apollon145
63	sv-benchmarks/c/loops/terminator_02-1.yml	false	false	0.61768964	0.6329680110793561	52871168	apollon005
64	sv-benchmarks/c/loop-acceleration/multivar_1-2.yml	false	false	0.617865649	0.6331255801487714	51363840	apollon046
65	sv-benchmarks/c/loop-acceleration/underapprox_2-1.yml	false	false	0.61806611	0.6332063640002161	50700288	apollon007
66	sv-benchmarks/c/loop-acceleration/underapprox_2-1.yml	false	false	0.618075738	0.6330390980001539	51032064	apollon120
67	sv-benchmarks/c/loop-simple/nested_1b.yml	false	false	0.618360876	0.6332587169017643	50450432	apollon012
68	sv-benchmarks/c/loops/terminator_03-1.yml	false	false	0.618573234	0.6331532171461731	51613696	apollon100
69	sv-benchmarks/c/loop-acceleration/simple_3-1.yml	false	false	0.618591338	0.6334879591595381	51425280	apollon146
70	sv-benchmarks/c/loop-lit/bhmr2007.yml	true	true	0.619171392	0.6343951858580112	51273728	apollon127
71	sv-benchmarks/c/loop-simple/nested_2.yml	true	true	0.619319906	0.6347479810938239	52146176	apollon089
72	sv-benchmarks/c/loop-crafted/simple_vardep_2.yml	true	true	0.619481955	0.6339231838937849	51265536	apollon077
73	sv-benchmarks/c/loop-crafted/simple_vardep_1.yml	true	true	0.621133934	0.6363488819915801	51097600	apollon088
74	sv-benchmarks/c/loops/nec11.yml	false	false	0.621482019	0.6387654491700232	52801536	apollon162
75	sv-benchmarks/c/loops/terminator_02-1.yml	false	false	0.622204744	0.6368801440112293	52727808	apollon029
76	sv-benchmarks/c/loops/count_up_down-2.yml	false	false	0.624195138	0.6393514440860599	51625984	apollon081
77	sv-benchmarks/c/loop-lit/gj2007b.yml	true	true	0.624894468	0.6400586769450456	52404224	apollon038
78	sv-benchmarks/c/loops/terminator_03-2.yml	true	true	0.625376182	0.6405511759221554	54517760	apollon152
79	sv-benchmarks/c/loop-simple/nested_1.yml	true	true	0.626360058	0.6412556250579655	51290112	apollon050
80	sv-benchmarks/c/loop-lit/cggmp2005b.yml	true	true	0.627119681	0.6415698130149394	52600832	apollon108
81	sv-benchmarks/c/loop-lit/gcnr2008.yml	false	false	0.627379302	0.6418988178484142	50769920	apollon121
82	sv-benchmarks/c/loops/nec11.yml	false	false	0.627615272	0.6424604589119554	52604928	apollon155
83	sv-benchmarks/c/loops/sum03-2.yml	true	true	0.627797734	0.6422340080607682	55422976	apollon055
84	sv-benchmarks/c/loops/for_infinite_loop_1.yml	true	true	0.629353821	0.6444394481368363	51294208	apollon052
85	sv-benchmarks/c/loops/for_infinite_loop_2.yml	true	true	0.630986605	0.6456531251315027	51273728	apollon155
86	sv-benchmarks/c/loop-acceleration/underapprox_1-1.yml	false	false	0.632169722	0.6471569398418069	51167232	apollon143
87	sv-benchmarks/c/loop-simple/nested_1b.yml	false	false	0.633083365	0.6497725259978324	52408320	apollon101
88	sv-benchmarks/c/loops/trex03-1.yml	false	false	0.633164858	0.6476853729691356	51363840	apollon105
89	sv-benchmarks/c/loops/array-2.yml	false	false	0.633433314	0.6478054190520197	51679232	apollon119
90	sv-benchmarks/c/nla-digbench/geo3.yml	true	true	0.633585246	0.6503097489476204	54247424	apollon006
91	sv-benchmarks/c/loops/terminator_02-2.yml	true	true	0.636945343	0.6520556050818413	54038528	apollon057
92	sv-benchmarks/c/loops/for_infinite_loop_1.yml	true	true	0.637339627	0.6528489890042692	51286016	apollon159
93	sv-benchmarks/c/loop-lit/gcnr2008.yml	false	false	0.637842799	0.6522229099646211	53325824	apollon047
94	sv-benchmarks/c/loops/sum01-2.yml	true	true	0.637866687	0.6533205690793693	57634816	apollon152
95	sv-benchmarks/c/loop-invgen/nest-if3.yml	true	true	0.638639729	0.6505093590822071	51154944	apollon156
96	sv-benchmarks/c/loops-crafted-1/sumt4.yml	true	true	0.639450447	0.6539915180765092	52281344	apollon015
97	sv-benchmarks/c/loops/terminator_03-2.yml	true	true	0.640910497	0.655733450083062	55349248	apollon057
98	sv-benchmarks/c/loop-invgen/id_build.yml	true	true	0.641114927	0.6555962208658457	53129216	apollon025
99	sv-benchmarks/c/loop-invgen/id_trans.yml	false	false	0.641604659	0.6568603671621531	53587968	apollon112
100	sv-benchmarks/c/loop-acceleration/underapprox_2-2.yml	true	true	0.641655709	0.6568792590405792	51781632	apollon154
101	sv-benchmarks/c/loop-crafted/simple_array_index_value_1-2.yml	false	false	0.642056555	0.6569532291032374	54444032	apollon018
102	sv-benchmarks/c/loop-invgen/nest-if3.yml	true	true	0.643468492	0.6586694661527872	54161408	apollon012
103	sv-benchmarks/c/loops/sum03-2.yml	true	true	0.644424397	0.6590854478999972	55742464	apollon008
104	sv-benchmarks/c/loops/sum03-2.yml	true	true	0.646029638	0.6614779359661043	57581568	apollon011
105	sv-benchmarks/c/loops/array-1.yml	true	true	0.646175994	0.661086190957576	52400128	apollon046
106	sv-benchmarks/c/loop-lit/cggmp2005.yml	true	true	0.646300799	0.6615812068339437	51757056	apollon106
107	sv-benchmarks/c/loops/trex03-2.yml	true	true	0.646405949	0.6606938189361244	52543488	apollon058
108	sv-benchmarks/c/loops-crafted-1/iftelse.yml	true	true	0.646840595	0.6623916311655194	53784576	apollon001
109	sv-benchmarks/c/loop-lit/gcnr2008.yml	false	false	0.647214149	0.6621207220014185	52994048	apollon112
110	sv-benchmarks/c/loop-crafted/simple_array_index_value_1-2.yml	false	false	0.647349048	0.6620675588492304	56143872	apollon163
111	sv-benchmarks/c/loops/trex01-1.yml	false	false	0.64824633	0.6632566419430077	51621888	apollon085
112	sv-benchmarks/c/loops/trex03-1.yml	false	false	0.651351464	0.6655703149735928	54173696	apollon122
113	sv-benchmarks/c/loop-invgen/NetBSD_loop.yml	true	true	0.651479444	0.6673378190025687	53653504	apollon001
114	sv-benchmarks/c/loop-crafted/simple_array_index_value_1-2.yml	false	false	0.652275409	0.6674095210619271	56147968	apollon053
115	sv-benchmarks/c/loops/array-2.yml	false	false	0.652448816	0.6676907651126385	55218176	apollon031
116	sv-benchmarks/c/loops/trex03-1.yml	false	false	0.653514308	0.6682166771497577	53723136	apollon012
117	sv-benchmarks/c/loops/for_infinite_loop_2.yml	true	true	0.65438217	0.6702081419061869	51286016	apollon108
118	sv-benchmarks/c/loops/terminator_03-2.yml	true	true	0.654398396	0.6696022190153599	56377344	apollon044
119	sv-benchmarks/c/loop-invgen/NetBSD_loop.yml	true	true	0.654794337	0.6695219681132585	53387264	apollon104
120	sv-benchmarks/c/loop-lit/css2003.yml	true	true	0.65556414	0.6704478228930384	51159040	apollon164
121	sv-benchmarks/c/loops/trex01-1.yml	false	false	0.655881824	0.6706543320324272	52150272	apollon104
122	sv-benchmarks/c/loop-invariants/eq1.yml	true	true	0.656217192	0.6732195501681417	54403072	apollon081
123	sv-benchmarks/c/loop-simple/nested_1.yml	true	true	0.657234314	0.6727733020670712	52895744	apollon102
124	sv-benchmarks/c/loops/trex04.yml	true	true	0.658253062	0.6730460070539266	62431232	apollon138
125	sv-benchmarks/c/loop-invgen/id_trans.yml	false	false	0.659585842	0.6746186551172286	53891072	apollon042
126	sv-benchmarks/c/loop-lit/cggmp2005b.yml	true	true	0.659688032	0.674732323968783	54341632	apollon151
127	sv-benchmarks/c/loop-invgen/id_trans.yml	false	false	0.661114092	0.675598039990291	53911552	apollon083
128	sv-benchmarks/c/loop-industry-pattern/mod3.yml	true	true	0.663854771	0.6786809908226132	54804480	apollon128
129	sv-benchmarks/c/loops/for_bounded_loop1.yml	false	false	0.664059581	0.6792020099237561	52805632	apollon113
130	sv-benchmarks/c/loops-crafted-1/sumt5.yml	true	true	0.664318111	0.6795336771756411	53985280	apollon112
131	sv-benchmarks/c/loops/for_bounded_loop1.yml	false	false	0.665659133	0.6804570299573243	54681600	apollon138
132	sv-benchmarks/c/loops/sum01_bug02_sum01_bug02_base.case.yml	false	false	0.667267172	0.6819152371026576	57028608	apollon024
133	sv-benchmarks/c/loops/trex01-1.yml	false	false	0.672569085	0.6875096561852843	55205888	apollon075
134	sv-benchmarks/c/loop-acceleration/underapprox_2-2.yml	true	true	0.675243535	0.6897321629803628	53477376	apollon127
135	sv-benchmarks/c/loop-acceleration/underapprox_1-1.yml	false	false	0.67530358	0.690602928865701	53555200	apollon065
136	sv-benchmarks/c/loop-acceleration/underapprox_2-1.yml	false	false	0.675720345	0.6909766129683703	53473280	apollon053
137	sv-benchmarks/c/loops/string-1.yml	true	true	0.676555353	0.6914367510471493	54697984	apollon035
138	sv-benchmarks/c/loops/sum01_bug02.yml	false	false	0.67832967	0.6931897741742432	58572800	apollon080
139	sv-benchmarks/c/loop-lit/cggmp2005.yml	true	true	0.679602148	0.6951918469276279	53014528	apollon097
140	sv-benchmarks/c/loops-crafted-1/iftelse.yml	true	true	0.679665265	0.6944307219237089	54648832	apollon024
141	sv-benchmarks/c/loop-crafted/simple_array_index_value_4.yml	true	true	0.681888571	0.6968202509451658	60428288	apollon082
142	sv-benchmarks/c/loop-invgen/nested6.yml	true	true	0.682888688	0.6974346488714218	55455744	apollon127
143	sv-benchmarks/c/loop-invgen/NetBSD_loop.yml	true	true	0.683063883	0.6988465359900147	53891072	apollon146
144	sv-benchmarks/c/loop-invariants/eq1.yml	true	true	0.68336079	0.6979162720963359	54505472	apollon099
145	sv-benchmarks/c/nla-digbench/geo3.yml	true	true	0.68361968	0.6981594949029386	56479744	apollon021
146	sv-benchmarks/c/nla-digbench/geo3.yml	true	true	0.684075707	0.6991611470002681	56619008	apollon107
147	sv-benchmarks/c/loops/matrix-2.yml	false	false	0.684488026	0.6998993379529566	55287808	apollon166
148	sv-benchmarks/c/loops/trex01-2.yml	true	true	0.685400756	0.7000086670741439	56733696	apollon045
149	sv-benchmarks/c/loop-invgen/nest-if3.yml	true	true	0.687697233	0.704116600099951	55840768	apollon055
150	sv-benchmarks/c/loop-lit/cggmp2005b.yml	true	true	0.68850452	0.7043646161910146	57544704	apollon007
151	sv-benchmarks/c/loops/for_bounded_loop1.yml	false	false	0.690879971	0.7054582110140473	56233984	apollon120
152	sv-benchmarks/c/loops-crafted-1/iftelse.yml	true	true	0.691741878	0.7067200120072812	54685696	apollon071
153	sv-benchmarks/c/loops/sum04-1.yml	false	false	0.694467844	0.7099528128746897	52047872	apollon123
154	sv-benchmarks/c/loops/sum_array-1.yml	false	false	0.694612762	0.7095481150317937	57581568	apollon095
155	sv-benchmarks/c/loops-crafted-1/sumt6.yml	true	true	0.696832284	0.7116542970761657	59355136	apollon039
156	sv-benchmarks/c/loop-invgen/MADWiFi-encode_ie_ok.yml	true	true	0.697032841	0.7120261080563068	59150336	apollon084
157	sv-benchmarks/c/loops/trex04.yml	true	true	0.697266407	0.7124569539446384	62828544	apollon149
158	sv-benchmarks/c/loops/sum_array-1.yml	false	false	0.698039407	0.7146435678005219	56467456	apollon135
159	sv-benchmarks/c/loops/sum01-1.yml	false	false	0.698291779	0.7133360740263015	58990592	apollon023
160	sv-benchmarks/c/loops/trex01-2.yml	true	true	0.699178782	0.7143909831065685	57294848	apollon025
161	sv-benchmarks/c/loops/array-2.yml	false	false	0.700354315	0.7146347649395466	56512512	apollon163
162	sv-benchmarks/c/loops-crafted-1/sumt7.yml	true	true	0.705117447	0.7203626581467688	62038016	apollon042
163	sv-benchmarks/c/loop-invgen/MADWiFi-encode_ie_ok.yml	true	true	0.706795247	0.7213732311502099	59285504	apollon014
164	sv-benchmarks/c/loop-invgen/MADWiFi-encode_ie_ok.yml	true	true	0.706805145	0.7226103791035712	59351040	apollon021
165	sv-benchmarks/c/loops/trex04.yml	true	true	0.708953582	0.7248596588615328	66076672	apollon143
166	sv-benchmarks/c/loops/string-1.yml	true	true	0.709054426	0.7241011490114033	55681024	apollon084
167	sv-benchmarks/c/loops/string-1.yml	true	true	0.710531257	0.7249507128726691	55484416	apollon047
168	sv-benchmarks/c/loops/terminator_02-2.yml	true	true	0.711044431	0.7263243598863482	54177792	apollon020
169	sv-benchmarks/c/loop-invgen/sendmail-close-angle.yml	true	true	0.712378227	0.7274718771222979	57155584	apollon133
170	sv-benchmarks/c/loops/trex01-2.yml	true	true	0.712858267	0.7280780768487602	62042112	apollon106
171	sv-benchmarks/c/loops/matrix-1.yml	true	true	0.716981331	0.7318361469078809	55422976	apollon074
172	sv-benchmarks/c/loops-crafted-1/nested5-1.yml	true	true	0.719564347	0.7351006539538503	57090048	apollon134
173	sv-benchmarks/c/loop-lit/cggmp2005.yml	true	true	0.720555584	0.7351107189897448	54587392	apollon032
174	sv-benchmarks/c/loops/n.c11.yml	true	true	0.723147325	0.7372960469219834	55840768	apollon073
175	sv-benchmarks/c/loops/sum04-2.yml	true	true	0.727980436	0.7421454018913209	57278464	apollon136
176	sv-benchmarks/c/loops-crafted-1/sumt7.yml	true	true	0.730396127	0.7452763521578163	62914560	apollon076
177	sv-benchmarks/c/loops/array-1.yml	true	true	0.735135443	0.7493057199753821	57184256	apollon128
178	sv-benchmarks/c/loops/array-1.yml	true	true	0.736931377	0.7524801790714264	57151488	apollon115
179	sv-benchmarks/c/loop-new/half.yml	true	true	0.737118867	0.7516851860564202	53407744	apollon147
180	sv-benchmarks/c/loops-crafted-1/sumt9.yml	true	true	0.738527303	0.7546495830174536	63012864	apollon146
181	sv-benchmarks/c/loop-acceleration/underapprox_1-2.yml	true	true	0.738675055	0.7538170451298356	53641216	apollon156
182	sv-benchmarks/c/loops/trex03-2.yml	true	true	0.739262336	0.7541528060100973	56848384	apollon104
183	sv-benchmarks/c/loop-invgen/apache-get-tag.yml	true	true	0.742217996	0.7581040849909186	64118784	apollon018
184	sv-benchmarks/c/loops-crafted-1/sumt8.yml	true	true	0.742415854	0.7567476730328053	61685760	apollon095
185	sv-benchmarks/c/loops-crafted-1/sumt8.yml	true	true	0.749976617	0.7650799858383834	63389696	apollon107
186	sv-benchmarks/c/loops-crafted-1/sumt7.yml	true	true	0.750623879	0.7659351590555161	61804544	apollon004
187	sv-benchmarks/c/loop-invgen/sendmail-close-angle.yml	true	true	0.754885645	0.7699423080775887	58724352	apollon049
188	sv-benchmarks/c/loop-crafted/simple_array_index_value_4.yml	true	true	0.762345832	0.7776921750046313	64425984	apollon028
189	sv-benchmarks/c/loops-crafted-1/sumt9.yml	true	true	0.762462621	0.7769598909653723	63827968	apollon085
190	sv-benchmarks/c/nla-digbench/lcm2.yml	true	true	0.764893703	0.7799048670567572	66125824	apollon141
191	sv-benchmarks/c/nla-digbench/lcm1.yml	true	true	0.765715089	0.7806301459204406	65802240	apollon111
192	sv-benchmarks/c/loops/n.c11.yml	true	true	0.766137941	0.7814980130642653	56303616	apollon162
193	sv-benchmarks/c/loops/sum03-1.yml	false	false	0.766615919	0.783217434072867	62394368	apollon162
194	sv-benchmarks/c/loops-crafted-1/in-de41.yml	true	true	0.767164258	0.7823927400168031	58527744	apollon141
195	sv-benchmarks/c/loop-invgen/id_build.yml	true	true	0.767423702	0.7818386929575354	58281984	apollon143
196	sv-benchmarks/c/loop-crafted/simple_array_index_value_4.yml	true	true	0.770562938	0.7852169158868492	66191360	apollon015
197	sv-benchmarks/c/loop-invgen/apache-escape-absolute.yml	true	true	0.772177189	0.788359624100849	67313664	apollon151
198	sv-benchmarks/c/loops-crafted-1/sumt8.yml	true	true	0.77243528	0.7870008461177349	62394368	apollon105
199	sv-benchmarks/c/loops/trex03-2.yml	true	true	0.772751987	0.7893871571868658	56475648	apollon148
200	sv-benchmarks/c/loops/matrix-2.yml	false	false	0.779703727	0.7951705839950591	65392640	apollon033
201	sv-benchmarks/c/nla-digbench/lcm2.yml	true	true	0.783531135	0.7980542900040746	64692224	apollon152
202	sv-benchmarks/c/loop-acceleration/underapprox_1-2.yml	true	true	0.78471271	0.7992215319536626	55513088	apollon139
203	sv-benchmarks/c/loops-crafted-1/sumt9.yml	true	true	0.785086202	0.8000023670028895	63057920	apollon111
204	sv-benchmarks/c/loop-invgen/apache-get-tag.yml	true	true	0.78673957	0.8013235798571259	68087808	apollon024
205	sv-benchmarks/c/loops/matrix-1.yml	true	true	0.791061877	0.8057792580220848	61345792	apollon093
206	sv-benchmarks/c/loops/matrix-2.yml	false	false	0.79569278	0.8108403608202934	67309568	apollon013
207	sv-benchmarks/c/loops-crafted-1/nested5-1.yml	true	true	0.797457387	0.8122513811104	62849024	apollon138
208	sv-benchmarks/c/loop-lit/gsv2008.yml	true	true	0.800687413	0.8160445729736239	53817344	apollon105
209	sv-benchmarks/c/loops/sum04-2.yml	true	true	0.80283369	0.8183882890734822	60669952	apollon111
210	sv-benchmarks/c/loop-invgen/SpamAssassin-loop.yml	true	true	0.802927595	0.818883549887687	65974272	apollon103
211	sv-benchmarks/c/loops/invert_string-1.yml	false	false	0.803753111	0.8192181119229645	59453440	apollon112
212	sv-benchmarks/c/loop-invgen/apache-get-tag.yml	true	true	0.806128743	0.8209406288806349	68677632	apollon155
213	sv-benchmarks/c/loops/sum_array-1.yml	false	false	0.822483419	0.8372845901176333	66326528	apollon155
214	sv-benchmarks/c/loops/matrix-1.yml	true	true	0.824658671	0.8395936579909176	62005248	apollon050
215	sv-benchmarks/c/loops/invert_string-1.yml	false	false	0.828999686	0.8436721679754555	58441728	apollon048
216	sv-benchmarks/c/loop-simple/nested_2.yml	true	true	0.834342635	0.8492591888643801	57470976	apollon096
217	sv-benchmarks/c/loops/sum04-2.yml	true	true	0.840173869	0.8556273779831827	61685760	apollon162
218	sv-benchmarks/c/loops/sum03-1.yml	false	false	0.840358057	0.856294970959425	63737856	apollon053
219	sv-benchmarks/c/loops/sum03-1.yml	false	false	0.848469551	0.8644433359149843	61616128	apollon153
220	sv-benchmarks/c/loop-invgen/apache-escape-absolute.yml	true	true	0.859937463	0.8750215661711991	69079040	apollon058
221	sv-benchmarks/c/loop-invgen/heapsort.yml	true	true	0.869116191	0.8852761229500175	69005312	apollon014
222	sv-benchmarks/c/loop-invgen/apache-escape-absolute.yml	true	true	0.869722573	0.884242492960766	69136384	apollon125
223	sv-benchmarks/c/loops-crafted-1/nested5-1.yml	true	true	0.877694949	0.8925377689301968	65413120	apollon014
224	sv-benchmarks/c/loop-invgen/SpamAssassin-loop.yml	true	true	0.882995371	0.8985225909855217	75370496	apollon102
225	sv-benchmarks/c/loop-acceleration/diamond_1-2.yml	false	false	0.891502993	0.9065893448423594	56299520	apollon142
226	sv-benchmarks/c/loop-invgen/id_build.yml	true	true	0.964475775	0.9814088849816471	61652992	apollon163
227	sv-benchmarks/c/loop-simple/nested_3.yml	true	true	1.018620956	1.0335927931591868	58978304	apollon069
228	sv-benchmarks/c/loops/sum04-1.yml	false	false	1.028102641	1.043062665965408	64557056	apollon154
229	sv-benchmarks/c/loops/sum01_bug02_sum01_bug02_base.case.yml	false	false	1.094089265	1.1097563880030066	67153920	apollon132
230	sv-benchmarks/c/loop-lit/gsv2008.yml	true	true	1.123452108	1.138174160849303	60039168	apollon129
231	sv-benchmarks/c/loops/sum04-1.yml	false	false	1.166992907	1.184118865057826	65343488	apollon046
232	sv-benchmarks/c/loop-simple/nested_3.yml	true	true	1.209881249	1.2252095469739288	66777088	apollon077
233	sv-benchmarks/c/loop-invgen/heapsort.yml	true	true	1.212580011	1.2276122320909053	80314368	apollon055
234	sv-benchmarks/c/loop-invgen/SpamAssassin-loop.yml	true	true	1.228326763	1.2433383548632264	89190400	apollon130
235	sv-benchmarks/c/loops/insertion_sort-1.yml	false	false	1.370641613	1.3858401249162853	69984256	apollon105
236	sv-benchmarks/c/loop-simple/nested_4.yml	true	true	1.571444613	1.5881647299975157	68747264	apollon034
237	sv-benchmarks/c/loop-simple/nested_2.yml	true	true	1.62137407	1.6378301521763206	75501568	apollon097
238	sv-benchmarks/c/loops/sum01_bug02.yml	false	false	2.066979754	2.0814693439751863	74682368	apollon025
239	sv-benchmarks/c/loop-simple/nested_4.yml	true	true	2.11631309	2.1320031508803368	84332544	apollon166
240	sv-benchmarks/c/loops/while_infinite_loop_2.yml	true	true	2.221844684	2.2415320470463485	121487360	apollon045
241	sv-benchmarks/c/loops/while_infinite_loop_2.yml	true	true	2.248463393	2.2712989798747003	121655296	apollon105
242	sv-benchmarks/c/loops/while_infinite_loop_2.yml	true	true	2.271623599	2.292243554024026	121966592	apollon105
243	sv-benchmarks/c/loops/while_infinite_loop_1.yml	true	true	2.27657296	2.2952080671675503	121925632	apollon139
244	sv-benchmarks/c/loops/while_infinite_loop_1.yml	true	true	2.278757892	2.299029825022444	121589760	apollon145
245	sv-benchmarks/c/loops/while_infinite_loop_1.yml	true	true	2.308424462	2.3300105901435018	121466880	apollon076
246	sv-benchmarks/c/loops/for_infinite_loop_2.yml	true	true	2.372943169	2.396013275021687	122269696	apollon116
247	sv-benchmarks/c/loops/for_infinite_loop_2.yml	true	true	2.381467189	2.432224928867072	125358080	apollon136
248	sv-benchmarks/c/loops/for_infinite_loop_1.yml	true	true	2.405176199	2.4348562359809875	124624896	apollon079
249	sv-benchmarks/c/loops/for_infinite_loop_2.yml	true	true	2.413637928	2.434345206944272	122748928	apollon033
250	sv-benchmarks/c/loops/for_infinite_loop_1.yml	true	true	2.488357082	2.510331004858017	123293696	apollon069
251	sv-benchmarks/c/loops/for_infinite_loop_1.yml	true	true	2.490208213	2.511571678100154	123535360	apollon033
252	sv-benchmarks/c/nla-digbench/lcm2.yml	true	true	2.509501663	2.525023837806657	69103616	apollon032
253	sv-benchmarks/c/loop-acceleration/simple_2-1.yml	true	true	2.553342801	2.5807983048725873	135331840	apollon033
254	sv-benchmarks/c/loop-simple/nested_1.yml	true	true	2.592423007	2.6255934848450124	132530176	apollon160
255	sv-benchmarks/c/loop-new/count_by_1.yml	true	true	2.601315363	2.6371363471262157	135389184	apollon139
256	sv-benchmarks/c/loop-acceleration/simple_2-2.yml	false	false	2.604910693	2.6356664320919663	135290880	apollon124
257	sv-benchmarks/c/loop-acceleration/simple_2-2.yml	false	false	2.615092572	2.64418175118044	133836800	apollon014
258	sv-benchmarks/c/loop-acceleration/underapprox_2-2.yml	true	true	2.654385374	2.6859404200222343	135106560	apollon048
259	sv-benchmarks/c/loop-acceleration/overflow_1-1.yml	true	true	2.668574506	2.6997428971808404	135352320	apollon020
260	sv-benchmarks/c/loops/count_up_down-2.yml	false	false	2.683646897	2.735677436925471	141340672	apollon011
261	sv-benchmarks/c/loop-acceleration/simple_3-1.yml	false	false	2.692289151	2.719391764840111	140173312	apollon002
262	sv-benchmarks/c/loop-acceleration/overflow_1-1.yml	true	true	2.729875865	2.748320475919172	131653632	apollon072
263	sv-benchmarks/c/loop-acceleration/multivar_1-2.yml	false	false	2.763633661	2.7921830469276756	141504512	apollon098
264	sv-benchmarks/c/loop-new/count_by_1_variant.yml	true	true	2.768730371	2.7940012319013476	131600384	apollon036
265	sv-benchmarks/c/loop-acceleration/overflow_1-1.yml	true	true	2.776817159	2.7999092519748956	134012928	apollon143
266	sv-benchmarks/c/loop-acceleration/simple_3-1.yml	false	false	2.778795602	2.8178606620058417	141168640	apollon017
267	sv-benchmarks/c/loop-invariants/const.yml	true	true	2.780827474	2.8018792599905282	135155712	apollon027
268	sv-benchmarks/c/loop-acceleration/simple_2-1.yml	true	true	2.78164138	2.8102454049512744	133111808	apollon023
269	sv-benchmarks/c/loop-new/count_by_1_variant.yml	true	true	2.786533911	2.8167790479492396	133160960	apollon083
270	sv-benchmarks/c/loop-acceleration/simple_2-1.yml	true	true	2.793073009	2.8193042769562453	131211264	apollon092
271	sv-benchmarks/c/loop-simple/nested_2.yml	true	true	2.830867629	2.853592679835856	140713984	apollon045
272	sv-benchmarks/c/loop-acceleration/simple_2-2.yml	false	false	2.848991568	2.8691009008325636	130560000	apollon063
273	sv-benchmarks/c/loop-invariants/const.yml	true	true	2.865540032	2.88842740515247	132280320	apollon127
274	sv-benchmarks/c/loops/count_up_down-2.yml	false	false	2.871386033	2.895018915180117	140865536	apollon060
275	sv-benchmarks/c/loop-invariants/const.yml	true	true	2.901924409	2.92488896404393	130965504	apollon048
276	sv-benchmarks/c/loop-acceleration/multivar_1-1.yml	true	true	2.904540889	2.9324075779877603	144781312	apollon130
277	sv-benchmarks/c/loop-acceleration/simple_3-1.yml	false	false	2.939593546	2.9695431489963084	143708160	apollon152
278	sv-benchmarks/c/loop-lit/gsv2008.yml	true	true	2.939691172	2.974488732870668	144588800	apollon167
279	sv-benchmarks/c/loop-lit/hhk2008.yml	true	true	2.956283323	3.0008716760203242	145272832	apollon072
280	sv-benchmarks/c/loop-crafted/simple_vardep_2.yml	true	true	2.989472109	3.0102670590858907	134471680	apollon063
281	sv-benchmarks/c/loop-lit/cggmp2005_variant.yml	true	true	2.998694856	3.023706561885774	145891328	apollon083
282	sv-benchmarks/c/loop-invariants/eq2.yml	true	true	2.999891614	3.0272787110880017	145035264	apollon148
283	sv-benchmarks/c/loop-lit/jm2006.yml	true	true	3.000336353	3.0267652629408985	147689472	apollon104
284	sv-benchmarks/c/loop-new/count_by_1_variant.yml	true	true	3.003341824	3.0344242709688842	133242880	apollon051
285	sv-benchmarks/c/loops/terminator_03-2.yml	true	true	3.007770955	3.026783752022311	139436032	apollon143
286	sv-benchmarks/c/loops/count_up_down-1.yml	true	true	3.010925362	3.044901354936883	145006592	apollon038
287	sv-benchmarks/c/loop-crafted/simple_vardep_1.yml	true	true	3.013458971	3.067726830020547	132616192	apollon066
288	sv-benchmarks/c/loop-acceleration/multivar_1-1.yml	true	true	3.028147112	3.0523888589814305	145113088	apollon083
289	sv-benchmarks/c/loops/sum01-2.yml	true	true	3.043650345	3.095932009862736	142778368	apollon117
290	sv-benchmarks/c/loops/terminator_02-1.yml	false	false	3.054003393	3.0833032291848212	133271552	apollon036
291	sv-benchmarks/c/loops/terminator_02-2.yml	true	true	3.059485005	3.0789772258140147	132141056	apollon026
292	sv-benchmarks/c/loops/terminator_03-1.yml	false	false	3.061370224	3.0948879439383745	137199616	apollon038
293	sv-benchmarks/c/loop-acceleration/const_1-1.yml	true	true	3.0640495	3.0933566458988935	152203264	apollon128
294	sv-benchmarks/c/loops/count_up_down-2.yml	false	false	3.084939235	3.13991605816409	132554752	apollon005
295	sv-benchmarks/c/loop-acceleration/multivar_1-2.yml	false	false	3.093500974	3.1242758261505514	143581184	apollon008
296	sv-benchmarks/c/loop-crafted/simple_vardep_2.yml	true	true	3.099448312	3.1204039121512324	133292032	apollon066
297	sv-benchmarks/c/loops/terminator_03-1.yml	false	false	3.106917466	3.1271046330220997	132939776	apollon142
298	sv-benchmarks/c/loop-crafted/simple_vardep_1.yml	true	true	3.114150731	3.1347636780701578	136974336	apollon024
299	sv-benchmarks/c/loops/sum03-2.yml	true	true	3.129146824	3.1584746839944273	144314368	apollon114
300	sv-benchmarks/c/loops/trex01-1.yml	false	false	3.129771698	3.171986751956865	138813440	apollon108
301	sv-benchmarks/c/loop-new/count_by_1.yml	true	true	3.13006563	3.1586059469264	152453120	apollon092
302	sv-benchmarks/c/loops/terminator_03-2.yml	true	true	3.169216144	3.20204135379754	142049280	apollon151
303	sv-benchmarks/c/loops/sum01-2.yml	true	true	3.16922865	3.1952943890355527	142172160	apollon063
304	sv-benchmarks/c/loops/sum03-2.yml	true	true	3.175388677	3.2088901188690215	142970880	apollon098
305	sv-benchmarks/c/loop-lit/jm2006.yml	true	true	3.19021513	3.2218542450573295	135905280	apollon142
306	sv-benchmarks/c/loops/sum04-2.yml	true	true	3.191689527	3.2187359498348087	154939392	apollon161
307	sv-benchmarks/c/loop-simple/nested_1.yml	true	true	3.220518616	3.243593464139849	148115456	apollon057
308	sv-benchmarks/c/loop-crafted/simple_vardep_1.yml	true	true	3.221560504	3.2397558719385415	141819904	apollon076
309	sv-benchmarks/c/loop-lit/jm2006_variant.yml	true	true	3.223151031	3.2515343450941145	137175040	apollon038
310	sv-benchmarks/c/loops/sum03-2.yml	true	true	3.254874112	3.286645966116339	144146432	apollon136
311	sv-benchmarks/c/loops/sum01-1.yml	false	false	3.25652718	3.2734865869861096	79425536	apollon111
312	sv-benchmarks/c/loops/count_up_down-1.yml	true	true	3.257461773	3.291311488021165	137768960	apollon111
313	sv-benchmarks/c/loops/terminator_02-1.yml	false	false	3.257787282	3.287871169857681	133730304	apollon035
314	sv-benchmarks/c/loop-acceleration/multivar_1-1.yml	true	true	3.282759625	3.3092336889822036	149635072	apollon163
315	sv-benchmarks/c/loop-acceleration/multivar_1-2.yml	false	false	3.289021734	3.3086496549658477	130990080	apollon002
316	sv-benchmarks/c/loop-acceleration/underapprox_2-2.yml	true	true	3.289653382	3.3170391630847007	152731648	apollon060
317	sv-benchmarks/c/loop-crafted/simple_vardep_2.yml	true	true	3.299480288	3.3314158271532506	157102080	apollon160
318	sv-benchmarks/c/loop-lit/gsv2008.yml	true	true	3.300986207	3.327622714918107	152977408	apollon107
319	sv-benchmarks/c/loop-invariants/eq1.yml	true	true	3.302014311	3.3277899008244276	133652480	apollon086
320	sv-benchmarks/c/loops/invert_string-3.yml	true	true	3.306907233	3.3251359439454973	86016000	apollon150
321	sv-benchmarks/c/loops/terminator_03-1.yml	false	false	3.31140809	3.346636163070798	133021696	apollon042
322	sv-benchmarks/c/loop-lit/hhk2008.yml	true	true	3.313751072	3.3431424470618367	137510912	apollon039
323	sv-benchmarks/c/loops/terminator_03-2.yml	true	true	3.328280039	3.362227628007531	143486976	apollon166
324	sv-benchmarks/c/loops/trex01-2.yml	true	true	3.333861369	3.362076857825741	148025344	apollon076
325	sv-benchmarks/c/loop-lit/jm2006_variant.yml	true	true	3.345540621	3.371280830120668	136335360	apollon018
326	sv-benchmarks/c/loop-invariants/eq2.yml	true	true	3.34963978	3.379311848897487	135155712	apollon161
327	sv-benchmarks/c/loops-crafted-1/sumt2.yml	true	true	3.349646581	3.375418232055381	135553024	apollon092
328	sv-benchmarks/c/loops/trex01-1.yml	false	false	3.355819951	3.38717612111941	143241216	apollon125
329	sv-benchmarks/c/loop-lit/jm2006.yml	true	true	3.3576443	3.4107329258695245	137314304	apollon142
330	sv-benchmarks/c/loops/sum04-2.yml	true	true	3.365578495	3.400953470962122	158453760	apollon033
331	sv-benchmarks/c/loop-acceleration/const_1-1.yml	true	true	3.368220538	3.3946892900858074	154927104	apollon124
332	sv-benchmarks/c/loop-lit/afnp2014.yml	true	true	3.375353684	3.4001220329664648	150851584	apollon152
333	sv-benchmarks/c/loop-acceleration/const_1-1.yml	true	true	3.379099951	3.409188447985798	144334848	apollon002
334	sv-benchmarks/c/loop-lit/hhk2008.yml	true	true	3.379903935	3.4028202020563185	134475776	apollon020
335	sv-benchmarks/c/loop-lit/css2003.yml	true	true	3.379916795	3.4024351669941097	142794752	apollon086
336	sv-benchmarks/c/loops/terminator_02-1.yml	false	false	3.391702633	3.4143019360490143	134406144	apollon104
337	sv-benchmarks/c/loop-simple/nested_1b.yml	false	false	3.406901586	3.429360503097996	158560256	apollon166
338	sv-benchmarks/c/loop-invariants/eq2.yml	true	true	3.453333621	3.478400015970692	144408576	apollon069
339	sv-benchmarks/c/loop-simple/nested_1.yml	true	true	3.466343039	3.496296508004889	163700736	apollon032
340	sv-benchmarks/c/loop-invgen/down.yml	true	true	3.487119434	3.51728834095411	147103744	apollon146
341	sv-benchmarks/c/loop-lit/css2003.yml	true	true	3.490438456	3.5136235470417887	141516800	apollon086
342	sv-benchmarks/c/loop-new/count_by_1.yml	true	true	3.499484922	3.523844019975513	168128512	apollon104
343	sv-benchmarks/c/loop-simple/nested_3.yml	true	true	3.502505998	3.5336896618828177	156405760	apollon017
344	sv-benchmarks/c/loop-invgen/nest-if3.yml	true	true	3.505005453	3.535068402066827	140288000	apollon005
345	sv-benchmarks/c/loop-invgen/id_build.yml	true	true	3.530599359	3.5596602871082723	148590592	apollon160
346	sv-benchmarks/c/loop-invgen/nest-if3.yml	true	true	3.5464616	3.5858253019396216	139358208	apollon164
347	sv-benchmarks/c/loops/trex04.yml	true	true	3.555273261	3.578142076032236	147087360	apollon111
348	sv-benchmarks/c/loops/trex01-1.yml	false	false	3.561333045	3.5812085901852697	144826368	apollon042
349	sv-benchmarks/c/loop-simple/nested_5.yml	true	true	3.588043034	3.604095423128456	115773440	apollon038
350	sv-benchmarks/c/loop-invgen/NetBSD_loop.yml	true	true	3.599634696	3.628545695915818	152305664	apollon157
351	sv-benchmarks/c/loops/for_bounded_loop1.yml	false	false	3.632239794	3.665406980086118	139509760	apollon163
352	sv-benchmarks/c/loop-lit/cggmp2005_variant.yml	true	true	3.640813264	3.68791308789514	157413376	apollon154
353	sv-benchmarks/c/loop-invgen/up.yml	true	true	3.65510003	3.685895767994225	137490432	apollon130
354	sv-benchmarks/c/loops/trex03-2.yml	true	true	3.671972947	3.6999353170394897	133693440	apollon024
355	sv-benchmarks/c/loops/terminator_02-2.yml	true	true	3.675890386	3.7079642659518868	136716288	apollon105
356	sv-benchmarks/c/loop-lit/css2003.yml	true	true	3.692723417	3.7134230099618435	136208384	apollon158
357	sv-benchmarks/c/loops/trex04.yml	true	true	3.706547983	3.7309257939923555	147369984	apollon152
358	sv-benchmarks/c/loop-acceleration/underapprox_2-2.yml	true	true	3.708282054	3.7323162599932402	158134272	apollon101
359	sv-benchmarks/c/loop-acceleration/nested_1-1.yml	true	true	3.722561806	3.764571214094758	170381312	apollon114
360	sv-benchmarks/c/loop-invgen/MADWiFi-encode_ie_ok.yml	true	true	3.728644313	3.754854748956859	149639168	apollon078
361	sv-benchmarks/c/loop-lit/jm2006_variant.yml	true	true	3.735699138	3.75777405500412	138539008	apollon072
362	sv-benchmarks/c/loops/n.c11.yml	true	true	3.752345393	3.7843882229644805	134905856	apollon107
363	sv-benchmarks/c/loop-invgen/NetBSD_loop.yml	true	true	3.752909129	3.784243187168613	140689408	apollon092
364	sv-benchmarks/c/loops/count_up_down-1.yml	true	true	3.754880348	3.782293455908075	148897792	apollon113
365	sv-benchmarks/c/loop-invgen/id_build.yml	true	true	3.755721977	3.7947027578484267	143872000	apollon032
366	sv-benchmarks/c/loop-invgen/nest-if3.yml	true	true	3.761926617	3.7908096709288657	141070336	apollon072
367	sv-benchmarks/c/loops-crafted-1/nested5-1.yml	true	true	3.768064918	3.795973666012287	134295552	apollon069
368	sv-benchmarks/c/loops/trex04.yml	true	true	3.772153388	3.801272447919473	151060480	apollon130
369	sv-benchmarks/c/loop-invgen/MADWiFi-encode_ie_ok.yml	true	true	3.79334527	3.8264718109276146	152625152	apollon127
370	sv-benchmarks/c/loops/for_bounded_loop1.yml	false	false	3.830111415	3.856956585077569	138502144	apollon032
371	sv-benchmarks/c/loop-invgen/NetBSD_loop.yml	true	true	3.830582291	3.863522232044488	143183872	apollon140
372	sv-benchmarks/c/loop-lit/gsv2008.yml	true	true	3.884250126	3.9091803149785846	141033472	apollon127
373	sv-benchmarks/c/loops/terminator_02-2.yml	true	true	3.889166801	3.9129030990879983	143663104	apollon148
374	sv-benchmarks/c/loop-lit/cggmp2005_variant.yml	true	true	3.904720403	3.934789943974465	138027008	apollon108
375	sv-benchmarks/c/loop-new/count_by_nondet.yml	true	true	3.917484504	3.9465580719988793	162447360	apollon014
376	sv-benchmarks/c/loop-invgen/id_build.yml	true	true	3.945568539	3.979848365066573	146272256	apollon166
377	sv-benchmarks/c/loops/trex01-2.yml	true	true	3.954886764	3.983168018050492	144580608	apollon142
378	sv-benchmarks/c/loop-acceleration/phases_2-1.yml	false	false	3.969320464	3.987998146098107	159264768	apollon102
379	sv-benchmarks/c/loop-lit/cggmp2005.yml	true	true	3.970043975	3.989081359002739	158167040	apollon148
380	sv-benchmarks/c/loop-lit/gj2007b.yml	true	true	3.972738263	4.000729524996132	144896000	apollon089
381	sv-benchmarks/c/loop-invariants/eq1.yml	true	true	3.979474801	4.011668163817376	149602304	apollon133
382	sv-benchmarks/c/loops/trex03-1.yml	false	false	3.982904699	4.011632343987003	133935104	apollon008
383	sv-benchmarks/c/loop-invgen/string_concat-noarr.yml	true	true	3.984073277	4.0850063329562545	146309120	apollon070
384	sv-benchmarks/c/loop-acceleration/phases_2-2.yml	true	true	3.989023541	4.018832389032468	159813632	apollon011
385	sv-benchmarks/c/loop-acceleration/phases_2-2.yml	true	true	3.990775265	4.012242125114426	160702464	apollon151
386	sv-benchmarks/c/loops/sum04-2.yml	true	true	3.993054032	4.016754190903157	170733568	apollon157
387	sv-benchmarks/c/loop-invgen/id_trans.yml	false	false	3.993464097	4.020827258937061	162963456	apollon149
388	sv-benchmarks/c/loops-crafted-1/vnew1.yml	true	true	4.01298555	4.038671236019582	149172224	apollon161
389	sv-benchmarks/c/loop-lit/gcnr2008.yml	false	false	4.058659873	4.092602136079222	141156352	apollon095
390	sv-benchmarks/c/loops-crafted-1/sumt3.yml	true	true	4.06192256	4.084475951036438	137924608	apollon152
391	sv-benchmarks/c/loop-simple/nested_1b.yml	false	false	4.080381869	4.100118727888912	163184640	apollon143
392	sv-benchmarks/c/loop-lit/cggmp2005b.yml	true	true	4.094929485	4.114986506989226	154144768	apollon076
393	sv-benchmarks/c/loop-invgen/id_trans.yml	false	false	4.097553228	4.138038455042988	160108544	apollon157
394	sv-benchmarks/c/loops-crafted-1/in-de20.yml	true	true	4.117867746	4.141594938933849	158511104	apollon036
395	sv-benchmarks/c/loop-simple/nested_4.yml	true	true	4.146687468	4.176013617077842	161361920	apollon143
396	sv-benchmarks/c/loop-invgen/large_const.yml	true	true	4.169158886	4.197828962933272	143904768	apollon133
397	sv-benchmarks/c/loop-invgen/half_2.yml	true	true	4.18164868	4.222277857130393	151572480	apollon011
398	sv-benchmarks/c/loop-acceleration/phases_2-1.yml	false	false	4.191274292	4.221369118895382	162406400	apollon145
399	sv-benchmarks/c/loop-acceleration/array_3-1.yml	true	true	4.200794208	4.22623759903945	144838656	apollon102
400	sv-benchmarks/c/loop-lit/cggmp2005.yml	true	true	4.204777099	4.2255461029708385	161533952	apollon070
401	sv-benchmarks/c/loop-acceleration/phases_2-2.yml	true	true	4.206054189	4.230006485013291	160841728	apollon072
402	sv-benchmarks/c/loops-crafted-1/in-de20.yml	true	true	4.21690381	4.274494705954567	162766848	apollon006
403	sv-benchmarks/c/loop-acceleration/phases_2-1.yml	false	false	4.217985754	4.238171787932515	161882112	apollon136
404	sv-benchmarks/c/loops/sum01-2.yml	true	true	4.229122411	4.248641269048676	147648512	apollon136
405	sv-benchmarks/c/loop-acceleration/array_1-2.yml	true	true	4.246251007	4.311389331938699	160063488	apollon127
406	sv-benchmarks/c/loop-invgen/up.yml	true	true	4.257353723	4.299542122054845	146100224	apollon017
407	sv-benchmarks/c/loops-crafted-1/in-de31.yml	true	true	4.278713795	4.325807441025972	139300864	apollon124
408	sv-benchmarks/c/loop-acceleration/nested_1-1.yml	true	true	4.281573439	4.3058743078727275	165093376	apollon158
409	sv-benchmarks/c/loop-invariants/eq1.yml	true	true	4.293174346	4.318234818987548	147173376	apollon107
410	sv-benchmarks/c/loop-invgen/MADWiFi-encode_ie_ok.yml	true	true	4.319246906	4.346717973938212	151908352	apollon073
411	sv-benchmarks/c/loop-invgen/id_trans.yml	false	false	4.331845314	4.363666461780667	156684288	apollon143
412	sv-benchmarks/c/loop-invgen/seq-3.yml	true	true	4.340363956	4.368175107985735	146681856	apollon155
413	sv-benchmarks/c/loop-industry-pattern/mod3.yml	true	true	4.355717824	4.378896881826222	147636224	apollon164
414	sv-benchmarks/c/loop-lit/cggmp2005.yml	true	true	4.401027099	4.422361778095365	158494720	apollon145
415	sv-benchmarks/c/loop-lit/bhmr2007.yml	true	true	4.412604159	4.443319393089041	140963840	apollon020
416	sv-benchmarks/c/loops-crafted-1/in-de32.yml	true	true	4.433782005	4.458772364072502	165670912	apollon142
417	sv-benchmarks/c/loops/sum01_bug02_sum01_bug02_base.case.yml	false	false	4.439721135	4.4640487029682845	167956480	apollon029
418	sv-benchmarks/c/loop-lit/bhmr2007.yml	true	true	4.457391391	4.497278809081763	141451264	apollon008
419	sv-benchmarks/c/loop-lit/gcnr2008.yml	false	false	4.48842536	4.521074671996757	159969280	apollon151
420	sv-benchmarks/c/loop-new/count_by_nondet.yml	true	true	4.510450807	4.537611510837451	162557952	apollon155
421	sv-benchmarks/c/loop-simple/nested_1b.yml	false	false	4.545695879	4.577145316870883	164306944	apollon072
422	sv-benchmarks/c/loops-crafted-1/in-de32.yml	true	true	4.556431853	4.581350452965125	167718912	apollon151
423	sv-benchmarks/c/loop-acceleration/nested_1-1.yml	true	true	4.576564371	4.603325502946973	162516992	apollon063
424	sv-benchmarks/c/loop-new/count_by_nondet.yml	true	true	4.622706454	4.6533180070109665	142352384	apollon161
425	sv-benchmarks/c/loop-industry-pattern/mod3.yml	true	true	4.638864718	4.660062744980678	143556608	apollon069
426	sv-benchmarks/c/loop-lit/gcnr2008.yml	false	false	4.649540816	4.682930795941502	143638528	apollon014
427	sv-benchmarks/c/loop-invgen/down.yml	true	true	4.663010861	4.696406018920243	163110912	apollon070
428	sv-benchmarks/c/loops-crafted-1/sumt2.yml	true	true	4.680150362	4.703164451057091	168235008	apollon140
429	sv-benchmarks/c/loops-crafted-1/iftelse.yml	true	true	4.686226847	4.718273431994021	142405632	apollon011
430	sv-benchmarks/c/loops-crafted-1/nested5-1.yml	true	true	4.692778169	4.71632517199032	147120128	apollon124
431	sv-benchmarks/c/loop-simple/nested_5.yml	true	true	4.696162093	4.722038184991106	157900800	apollon163
432	sv-benchmarks/c/loop-lit/cggmp2005b.yml	true	true	4.776944667	4.801896963035688	165306368	apollon152
433	sv-benchmarks/c/loops/trex03-1.yml	false	false	4.778956446	4.821376612177119	147537920	apollon048
434	sv-benchmarks/c/loops/for_bounded_loop1.yml	false	false	4.841536929	4.867690979037434	144908288	apollon130
435	sv-benchmarks/c/loops/array-1.yml	true	true	4.883125906	4.903955913847312	160919552	apollon164
436	sv-benchmarks/c/loop-simple/nested_6.yml	true	true	4.910590705	4.944176894146949	137695232	apollon072
437	sv-benchmarks/c/loops-crafted-1/iftelse.yml	true	true	4.919225341	4.942215393995866	145870848	apollon149
438	sv-benchmarks/c/loops/veris.c_sendmail_tTflag_arr_one_loop.yml	true	true	4.923319151	4.9440512240398675	160436224	apollon098
439	sv-benchmarks/c/loop-invgen/string_concat-noarr.yml	true	true	4.936575094	4.961081533925608	161325056	apollon036
440	sv-benchmarks/c/loops/trex01-2.yml	true	true	4.943995177	4.965386235155165	160800768	apollon070
441	sv-benchmarks/c/loop-acceleration/diamond_2-2.yml	true	true	5.033241366	5.050159594975412	198602752	apollon114
442	sv-benchmarks/c/loop-invgen/seq-3.yml	true	true	5.040095486	5.069886837853119	163311616	apollon023
443	sv-benchmarks/c/loops-crafted-1/sumt5.yml	true	true	5.055317479	5.090585903963074	158543872	apollon149
444	sv-benchmarks/c/loops/trex03-1.yml	false	false	5.090331909	5.122938039014116	146608128	apollon124
445	sv-benchmarks/c/loop-invgen/apache-get-tag.yml	true	true	5.11089897	5.136332026915625	166801408	apollon157
446	sv-benchmarks/c/loops/n.c11.yml	true	true	5.125594176	5.152866815915331	142974976	apollon160
447	sv-benchmarks/c/loop-industry-pattern/mod3.yml	true	true	5.129523758	5.151566113112494	144629760	apollon122
448	sv-benchmarks/c/loops-crafted-1/iftelse.yml	true	true	5.131707521	5.165500886039808	143540224	apollon008
449	sv-benchmarks/c/loops/trex03-2.yml	true	true	5.181523854	5.210538760991767	164630528	apollon083
450	sv-benchmarks/c/loop-lit/gj2007b.yml	true	true	5.218429065	5.243253493914381	146198528	apollon111
451	sv-benchmarks/c/loop-lit/ddlm2013.yml	true	true	5.274594603	5.299708898877725	148680704	apollon045
452	sv-benchmarks/c/loops-crafted-1/loopv2.yml	true	true	5.294917086	5.321755866985768	141320192	apollon079
453	sv-benchmarks/c/loop-invgen/nested6.yml	true	true	5.297336143	5.331149308942258	146186240	apollon116
454	sv-benchmarks/c/loop-invgen/large_const.yml	true	true	5.307172356	5.33216109406203	144379904	apollon119
455	sv-benchmarks/c/loops-crafted-1/sumt6.yml	true	true	5.373510406	5.415618584956974	150958080	apollon117
456	sv-benchmarks/c/loops-crafted-1/sumt4.yml	true	true	5.388394179	5.427268123021349	149463040	apollon073
457	sv-benchmarks/c/loop-invgen/half_2.yml	true	true	5.40555715	5.428277548169717	146751488	apollon033
458	sv-benchmarks/c/loop-lit/afnp2014.yml	true	true	5.485940208	5.507017356809229	145199104	apollon070
459	sv-benchmarks/c/loop-invgen/nested6.yml	true	true	5.496848817	5.541585583006963	149250048	apollon023
460	sv-benchmarks/c/loops-crafted-1/nested3-1.yml	true	true	5.524688995	5.550777907948941	146771968	apollon045
461	sv-benchmarks/c/loop-invgen/large_const.yml	true	true	5.541143265	5.568135231966153	141053952	apollon108
462	sv-benchmarks/c/loop-lit/gj2007b.yml	true	true	5.696737488	5.731081183068454	165105664	apollon142
463	sv-benchmarks/c/loop-simple/nested_2.yml	true	true	5.745474755	5.77161586494185	164532224	apollon012
464	sv-benchmarks/c/loops-crafted-1/vnew1.yml	true	true	5.852762404	5.871805664850399	153210880	apollon042
465	sv-benchmarks/c/loop-lit/ddlm2013.yml	true	true	5.875377182	5.896918424870819	159813632	apollon076
466	sv-benchmarks/c/loops-crafted-1/in-de31.yml	true	true	5.939585131	5.9697787230834365	162000896	apollon024
467	sv-benchmarks/c/loops-crafted-1/sumt2.yml	true	true	6.001643021	6.038100264035165	149295104	apollon110
468	sv-benchmarks/c/loop-acceleration/underapprox_2-1.yml	false	false	6.008007908	6.0307065160013735	158687232	apollon029
469	sv-benchmarks/c/loop-acceleration/array_1-2.yml	true	true	6.139400278	6.156785469036549	80248832	apollon008
470	sv-benchmarks/c/loop-invgen/string_concat-noarr.yml	true	true	6.14191691	6.173024569172412	160759808	apollon124
471	sv-benchmarks/c/loops/n.c11.yml	true	true	6.187582206	6.213718252955005	149483520	apollon057
472	sv-benchmarks/c/loop-invgen/string_concat-noarr.yml	true	true	6.201251796	6.21825782302767	98541568	apollon052
473	sv-benchmarks/c/loop-invgen/apache-escape-absolute.yml	true	true	6.29240581	6.313402388012037	181420032	apollon105
474	sv-benchmarks/c/loop-simple/nested_6.yml	true	true	6.320470116	6.3371495069004595	155205632	apollon063
475	sv-benchmarks/c/loops-crafted-1/nested5-1.yml	true	true	6.405973463	6.436192509019747	150421504	apollon164
476	sv-benchmarks/c/loop-invgen/sendmail-close-angle.yml	true	true	6.406585964	6.510862732073292	163667968	apollon070
477	sv-benchmarks/c/loop-acceleration/underapprox_2-1.yml	false	false	6.477245472	6.531611032085493	158076928	apollon009
478	sv-benchmarks/c/loops/sum04-1.yml	false	false	6.608388027	6.671584953088313	170381312	apollon139
479	sv-benchmarks/c/loop-acceleration/underapprox_1-1.yml	false	false	6.647604925	6.6828588109929115	166576128	apollon080
480	sv-benchmarks/c/loop-acceleration/underapprox_1-2.yml	true	true	6.67655952	6.708359020063654	173916160	apollon105
481	sv-benchmarks/c/loop-lit/afnp2014.yml	true	true	6.895284288	6.933142178924754	145141760	apollon102
482	sv-benchmarks/c/loops/invert_string-1.yml	false	false	6.917909248	6.934581771958619	127410176	apollon096
483	sv-benchmarks/c/loops/trex03-2.yml	true	true	6.956626497	6.996399550931528	148586496	apollon003
484	sv-benchmarks/c/loops-crafted-1/sumt7.yml	true	true	7.014849268	7.05640847585164	161058816	apollon020
485	sv-benchmarks/c/loops-crafted-1/sumt7.yml	true	true	7.03372367	7.05557771702297	165076992	apollon157
486	sv-benchmarks/c/loops-crafted-1/sumt7.yml	true	true	7.061126548	7.085937062976882	160489472	apollon020
487	sv-benchmarks/c/loops-crafted-1/sumt3.yml	true	true	7.139598975	7.185048033017665	145264640	apollon122
488	sv-benchmarks/c/loop-invgen/apache-escape-absolute.yml	true	true	7.189524476	7.222066403832287	177737728	apollon098
489	sv-benchmarks/c/loops-crafted-1/in-de32.yml	true	true	7.367558408	7.439927901839837	157831168	apollon063
490	sv-benchmarks/c/loop-acceleration/const_1-1.yml	true	true	7.384472637	7.402683035936207	112177152	apollon102
491	sv-benchmarks/c/loop-acceleration/underapprox_1-1.yml	false	false	7.402751774	7.43774581188336	164446208	apollon036
492	sv-benchmarks/c/loop-invgen/nested9.yml	true	true	7.426054025	7.444111804012209	132677632	apollon150
493	sv-benchmarks/c/loops-crafted-1/in-de41.yml	true	true	7.435243849	7.492404473014176	150573056	apollon104
494	sv-benchmarks/c/loops-crafted-1/nested3-1.yml	true	true	7.463469518	7.4994224309921265	151846912	apollon098
495	sv-benchmarks/c/loops/string-1.yml	true	true	7.481769896	7.5329606318846345	163381248	apollon160
496	sv-benchmarks/c/nla-digbench/mannadiv.yml	true	true	7.514150833	7.5353854689747095	168726528	apollon164
497	sv-benchmarks/c/loop-invgen/apache-escape-absolute.yml	true	true	7.593635454	7.616803233977407	183033856	apollon033
498	sv-benchmarks/c/loops-crafted-1/sumt8.yml	true	true	7.708330178	7.736643225885928	163983360	apollon076
499	sv-benchmarks/c/loops-crafted-1/in-de52.yml	true	true	7.76314032	7.806897553149611	156766208	apollon027
500	sv-benchmarks/c/loops/sum01_bug02.yml	false	false	7.796409774	7.824646727880463	169287680	apollon155
501	sv-benchmarks/c/loops/array-1.yml	true	true	7.891534471	7.961059012915939	169877504	apollon045
502	sv-benchmarks/c/loops-crafted-1/sumt8.yml	true	true	7.954435008	7.991509266896173	175902720	apollon121
503	sv-benchmarks/c/loops-crafted-1/sumt8.yml	true	true	7.999972216	8.024692215956748	166125568	apollon104
504	sv-benchmarks/c/loops-crafted-1/vnew1.yml	true	true	8.015481101	8.050949503900483	152317952	apollon163
505	sv-benchmarks/c/loop-acceleration/array_3-1.yml	true	true	8.035268756	8.052836591843516	120889344	apollon028
506	sv-benchmarks/c/loop-invgen/heapsort.yml	true	true	8.045979585	8.080293247010559	180568064	apollon155
507	sv-benchmarks/c/nla-digbench/ps2.yml	true	true	8.059256658	8.089574910933152	166809600	apollon127
508	sv-benchmarks/c/loops-crafted-1/in-de42.yml	true	true	8.196544581	8.237528207944706	154644480	apollon080
509	sv-benchmarks/c/loops/sum01_bug02_sum01_bug02_base.case.yml	false	false	8.30381041	8.329157984117046	173576192	apollon102
510	sv-benchmarks/c/nla-digbench/ps2.yml	true	true	8.313046035	8.362232004990801	171843584	apollon048
511	sv-benchmarks/c/loop-invgen/heapsort.yml	true	true	8.403639372	8.446572063025087	176795648	apollon005
512	sv-benchmarks/c/loops-crafted-1/in-de51.yml	true	true	8.598177837	8.641326118959114	169197568	apollon146
513	sv-benchmarks/c/loops-crafted-1/sumt5.yml	true	true	8.674047813	8.712309480877593	159866880	apollon063
514	sv-benchmarks/c/loops-crafted-1/in-de20.yml	true	true	8.68763528	8.728606187039986	151805952	apollon133
515	sv-benchmarks/c/loop-invgen/half_2.yml	true	true	8.744364716	8.79447106900625	153325568	apollon033
516	sv-benchmarks/c/loops-crafted-1/in-de41.yml	true	true	8.783551961	8.826548947021365	165154816	apollon032
517	sv-benchmarks/c/loop-invgen/heapsort.yml	true	true	8.842596083	8.887965596979484	184303616	apollon163
518	sv-benchmarks/c/loops-crafted-1/sumt9.yml	true	true	8.859756083	8.892128890845925	179503104	apollon024
519	sv-benchmarks/c/loops-crafted-1/in-de62.yml	true	true	8.884817476	8.922891207970679	160161792	apollon101
520	sv-benchmarks/c/loops-crafted-1/sumt6.yml	true	true	9.203749927	9.237228712067008	165793792	apollon051
521	sv-benchmarks/c/loops-crafted-1/sumt9.yml	true	true	9.249415673	9.27851792704314	183377920	apollon072
522	sv-benchmarks/c/nla-digbench/hard2.yml	true	true	9.314466803	9.350747558055446	179920896	apollon073
523	sv-benchmarks/c/loops-crafted-1/sumt9.yml	true	true	9.433872477	9.465817766962573	185491456	apollon164
524	sv-benchmarks/c/loop-lit/bhmr2007.yml	true	true	9.734742406	9.768405013950542	162488320	apollon104
525	sv-benchmarks/c/loops-crafted-1/mono-crafted_6.yml	true	true	9.774746443	9.814923583064228	155578368	apollon008
526	sv-benchmarks/c/loop-invgen/apache-get-tag.yml	true	true	10.071453129	10.119802467990667	182697984	apollon111
527	sv-benchmarks/c/nla-digbench/ps3.yml	true	true	10.241488882	10.332840050105006	166494208	apollon127
528	sv-benchmarks/c/loops-crafted-1/in-de42.yml	true	true	10.293785654	10.339385082945228	153632768	apollon136
529	sv-benchmarks/c/loop-acceleration/diamond_2-2.yml	true	true	10.392044792	10.425418109167367	172658688	apollon145
530	sv-benchmarks/c/loops-crafted-1/mono-crafted_6.yml	true	true	10.434220807	10.473514217184857	165986304	apollon021
531	sv-benchmarks/c/loop-invgen/up.yml	true	true	10.494716601	10.544479315867648	164487168	apollon083
532	sv-benchmarks/c/loop-invgen/string_concat-noarr.yml	true	true	10.537322546	10.556487183086574	137834496	apollon122
533	sv-benchmarks/c/loop-invgen/down.yml	true	true	10.712658232	10.751033264910802	168714240	apollon108
534	sv-benchmarks/c/loop-invgen/apache-get-tag.yml	true	true	10.736595488	10.79989887913689	184774656	apollon148
535	sv-benchmarks/c/loop-acceleration/array_3-1.yml	true	true	10.766953232	10.81604619603604	169746432	apollon012
536	sv-benchmarks/c/loops/veris.c_sendmail_tTflag_arr_one_loop.yml	true	true	10.810617175	10.850620992016047	169148416	apollon160
537	sv-benchmarks/c/loop-acceleration/underapprox_2-1.yml	false	false	11.383369173	11.42497383384034	172105728	apollon151
538	sv-benchmarks/c/loops/sum01_bug02.yml	false	false	11.73887053	11.777800063835457	173912064	apollon155
539	sv-benchmarks/c/loops/sum04-1.yml	false	false	11.808374506	11.848357300972566	165715968	apollon102
540	sv-benchmarks/c/nla-digbench/lcm2.yml	true	true	11.833411763	11.863916645059362	178143232	apollon075
541	sv-benchmarks/c/loop-new/nested-1.yml	true	true	11.963892724	11.9925784568768	137404416	apollon081
542	sv-benchmarks/c/loop-invgen/sendmail-close-angle.yml	true	true	12.068143118	12.105656743980944	180371456	apollon149
543	sv-benchmarks/c/loops-crafted-1/in-de51.yml	true	true	12.109680232	12.153189460979775	159150080	apollon133
544	sv-benchmarks/c/loop-invgen/sendmail-close-angle.yml	true	true	12.321273027	12.359121015993878	179859456	apollon060
545	sv-benchmarks/c/loops/sum01_bug02_sum01_bug02_base.case.yml	false	false	12.504960159	12.555951790884137	167829504	apollon054
546	sv-benchmarks/c/loop-acceleration/array_3-1.yml	true	true	12.812230507	12.863333128858358	188420096	apollon024
547	sv-benchmarks/c/loops/sum01-1.yml	false	false	12.999544488	13.052478427998722	172818432	apollon148
548	sv-benchmarks/c/loop-acceleration/diamond_2-2.yml	true	true	13.05241365	13.093798601068556	176123904	apollon026
549	sv-benchmarks/c/loop-acceleration/underapprox_1-2.yml	true	true	13.475788617	13.51900471188128	176037888	apollon024
550	sv-benchmarks/c/loop-invgen/SpamAssassin-loop.yml	true	true	13.84106316	13.877414785092697	311382016	apollon032
551	sv-benchmarks/c/loop-lit/ddlm2013.yml	true	true	13.89066003	13.93533216486685	162037760	apollon092
552	sv-benchmarks/c/loop-acceleration/underapprox_1-2.yml	true	true	14.161671715	14.204892529873177	173309952	apollon018
553	sv-benchmarks/c/loop-acceleration/underapprox_1-1.yml	false	false	14.246791458	14.291276516159996	176939008	apollon079
554	sv-benchmarks/c/loop-simple/nested_3.yml	true	true	14.301924904	14.349744932027534	170983424	apollon125
555	sv-benchmarks/c/loops/sum03-1.yml	false	false	15.283028624	15.331515055848286	171905024	apollon101
556	sv-benchmarks/c/loops/sum03-1.yml	false	false	15.332659248	15.375615400029346	177524736	apollon139
557	sv-benchmarks/c/loops/sum03-1.yml	false	false	15.419352744	15.455630159005523	181481472	apollon083
558	sv-benchmarks/c/loops-crafted-1/loopv2.yml	true	true	15.673941173	15.729094102047384	171851776	apollon029
559	sv-benchmarks/c/loop-invgen/SpamAssassin-loop.yml	true	true	15.928116609	15.96180290915072	309469184	apollon161
560	sv-benchmarks/c/loops-crafted-1/mono-crafted_6.yml	true	true	15.991445589	16.04264921019785	168792064	apollon133
561	sv-benchmarks/c/loop-invgen/SpamAssassin-loop.yml	true	true	16.278892794	16.31875495915301	322334720	apollon073
562	sv-benchmarks/c/loops-crafted-1/in-de61.yml	true	true	16.598274673	16.65587690216489	164966400	apollon151
563	sv-benchmarks/c/loops/sum01-1.yml	false	false	16.676161774	16.719327641185373	178634752	apollon146
564	sv-benchmarks/c/loop-acceleration/diamond_2-2.yml	true	true	16.87607129	16.914871129207313	190025728	apollon008
565	sv-benchmarks/c/nla-digbench/hard2.yml	true	true	17.557899179	17.63038547290489	207015936	apollon021
566	sv-benchmarks/c/nla-digbench/hard2.yml	true	true	17.956166495	18.02388567198068	203104256	apollon152
567	sv-benchmarks/c/loop-simple/nested_4.yml	true	true	17.985053809	18.033687584102154	169885696	apollon078
568	sv-benchmarks/c/loops-crafted-1/in-de52.yml	true	true	18.053109504	18.102842840133235	183611392	apollon095
569	sv-benchmarks/c/loops/sum01-1.yml	false	false	18.193504312	18.22686772607267	192909312	apollon012
570	sv-benchmarks/c/nla-digbench/mannadiv.yml	true	true	18.360317429	18.415361020015553	193486848	apollon166
571	sv-benchmarks/c/loops-crafted-1/sumt4.yml	true	true	19.212799132	19.24977646791376	173506560	apollon083
572	sv-benchmarks/c/nla-digbench/lcm1.yml	true	true	19.747404949	19.806564636994153	194523136	apollon095
573	sv-benchmarks/c/loops-crafted-1/sumt4.yml	true	true	19.752781348	19.778755953069776	183144448	apollon095
574	sv-benchmarks/c/loop-simple/nested_2.yml	true	true	19.906828724	19.952162462985143	182841344	apollon075
575	sv-benchmarks/c/loop-lit/gj2007.yml	true	true	19.913924515	19.936591930920258	139710464	apollon125
576	sv-benchmarks/c/loops/sum04-1.yml	false	false	20.213466921	20.263070934917778	181760000	apollon038
577	sv-benchmarks/c/loop-invgen/nested6.yml	true	true	20.600797966	20.65632729884237	194736128	apollon024
578	sv-benchmarks/c/loop-simple/nested_5.yml	true	true	20.837623226	20.873353180941194	171790336	apollon003
579	sv-benchmarks/c/loop-simple/nested_3.yml	true	true	20.988029775	21.010733945993707	329859072	apollon004
580	sv-benchmarks/c/loops-crafted-1/sumt5.yml	true	true	21.090154656	21.124012799933553	188493824	apollon108
581	sv-benchmarks/c/nla-digbench/mannadiv.yml	true	true	21.417858458	21.45638959808275	183947264	apollon078
582	sv-benchmarks/c/loops/sum01_bug02.yml	false	false	21.80541586	21.870141515973955	187154432	apollon080
583	sv-benchmarks/c/loop-simple/nested_6.yml	true	true	26.900000696	26.96913427999243	183914496	apollon015
584	sv-benchmarks/c/loop-invgen/seq-3.yml	true	true	28.025665995	28.085761915892363	192286720	apollon023
585	sv-benchmarks/c/loops-crafted-1/in-de31.yml	true	true	28.2979254	28.37982698599808	182288384	apollon139
586	sv-benchmarks/c/nla-digbench/geo2.yml	true	true	28.344150082	28.40930461511016	187338752	apollon143
587	sv-benchmarks/c/loops-crafted-1/sumt3.yml	true	true	29.429173818	29.483630611095577	184918016	apollon145
588	sv-benchmarks/c/loops-crafted-1/sumt6.yml	true	true	29.488470616	29.56089545506984	202637312	apollon105
589	sv-benchmarks/c/nla-digbench/geo2.yml	true	true	29.942557063	29.987369696842507	195018752	apollon148
590	sv-benchmarks/c/loop-new/nested-1.yml	true	true	30.049166219	30.122269531944767	189345792	apollon148
591	sv-benchmarks/c/loop-invariants/linear-inequality-inv-a.yml	true	true	30.161828964	30.189610152039677	399200256	apollon037
592	sv-benchmarks/c/loop-new/nested-1.yml	true	true	32.95106663	33.03187179705128	184266752	apollon148
593	sv-benchmarks/c/nla-digbench/lcm2.yml	true	true	33.313059145	33.359551209025085	213577728	apollon163
594	sv-benchmarks/c/loop-lit/gj2007.yml	true	true	34.56431362	34.63664342695847	192876544	apollon102
595	sv-benchmarks/c/nla-digbench/lcm2.yml	true	true	34.964741729	35.02772198803723	210903040	apollon140
596	sv-benchmarks/c/loop-acceleration/const_1-2.yml	false	false	36.943909136	36.95946753490716	158695424	apollon014
597	sv-benchmarks/c/loop-acceleration/diamond_1-1.yml	true	true	37.456335717	37.47223790315911	114728960	apollon063
598	sv-benchmarks/c/loop-lit/gj2007.yml	true	true	37.940784215	37.99170882999897	197165056	apollon054
599	sv-benchmarks/c/loop-lit/gj2007.yml	true	true	39.39466976	39.458127512130886	197496832	apollon124
600	sv-benchmarks/c/loop-invariants/linear-inequality-inv-a.yml	true	true	42.352964446	42.38461071182974	430391296	apollon077
601	sv-benchmarks/c/nla-digbench/cohendiv.yml	true	true	46.452295206	46.501609293045476	221437952	apollon121
602	sv-benchmarks/c/loops-crafted-1/in-de62.yml	true	true	47.239639977	47.325767434202135	204398592	apollon035
603	sv-benchmarks/c/loop-new/nested-1.yml	true	true	47.518652623	47.586284494027495	204115968	apollon011
604	sv-benchmarks/c/loop-acceleration/diamond_1-2.yml	false	false	54.464839409	54.52848932519555	188276736	apollon023
605	sv-benchmarks/c/loops-crafted-1/in-de61.yml	true	true	55.575690392	55.69809581898153	202821632	apollon130
606	sv-benchmarks/c/loop-acceleration/diamond_1-1.yml	true	true	59.877841203	59.952368695056066	222322688	apollon035