| array-memsafety/add_last_unsafe_false-valid-deref.i |
false(valid-deref) |
8.23 |
3.36 |
229400576 |
false(valid-deref) |
7.93 |
3.07 |
230858752 |
unknown |
55.4 |
26.1 |
1413488640 |
false(valid-deref) |
8.01 |
3.06 |
236081152 |
unknown |
9.24 |
3.45 |
270032896 |
false(valid-deref) |
7.95 |
3.06 |
226443264 |
timeout (error (143)) |
92.5 |
67.9 |
1907798016 |
false(valid-deref) |
7.81 |
3.04 |
230043648 |
timeout (error (143)) |
90.4 |
62.1 |
2075262976 |
false(valid-deref) |
7.97 |
3.10 |
233811968 |
timeout (error (143)) |
91.6 |
65.7 |
1997729792 |
false(valid-deref) |
8.82 |
3.79 |
230473728 |
unknown |
51.1 |
25.8 |
1666793472 |
false(valid-deref) |
7.99 |
3.25 |
228614144 |
| array-memsafety/bubblesort_unsafe_false-valid-deref.i |
false(valid-deref) |
6.84 |
2.76 |
229502976 |
false(valid-deref) |
7.02 |
2.94 |
230055936 |
unknown |
18.2 |
6.28 |
523051008 |
false(valid-deref) |
7.28 |
2.89 |
228208640 |
unknown |
9.26 |
3.44 |
272375808 |
false(valid-deref) |
6.98 |
3.02 |
230256640 |
timeout (error (143)) |
95.8 |
78.6 |
2204192768 |
false(valid-deref) |
7.16 |
3.22 |
226828288 |
timeout (error (143)) |
95.9 |
77.4 |
2042261504 |
false(valid-deref) |
7.52 |
3.11 |
233594880 |
timeout (error (143)) |
95.8 |
77.0 |
2168586240 |
false(valid-deref) |
7.94 |
3.40 |
232783872 |
unknown |
18.7 |
6.70 |
620756992 |
false(valid-deref) |
6.99 |
2.94 |
226381824 |
| array-memsafety/count_down_unsafe_false-valid-deref.i |
false(valid-deref) |
8.28 |
3.16 |
226164736 |
false(valid-deref) |
8.50 |
3.21 |
232333312 |
unknown |
57.9 |
36.1 |
2167488512 |
false(valid-deref) |
8.37 |
3.13 |
230322176 |
unknown |
9.76 |
3.47 |
268677120 |
false(valid-deref) |
8.42 |
3.15 |
232120320 |
timeout (error (143)) |
91.1 |
67.2 |
2117238784 |
false(valid-deref) |
8.38 |
3.19 |
234786816 |
timeout (error (143)) |
91.2 |
68.5 |
2169565184 |
false(valid-deref) |
8.03 |
3.11 |
236118016 |
timeout (error (143)) |
91.3 |
65.8 |
2171781120 |
false(valid-deref) |
9.12 |
3.94 |
230322176 |
unknown |
55.1 |
34.1 |
1923100672 |
false(valid-deref) |
8.24 |
3.26 |
234471424 |
| array-memsafety/cstrcat_unsafe_false-valid-deref.i |
false(valid-deref) |
6.53 |
2.56 |
204029952 |
false(valid-deref) |
6.37 |
2.51 |
202162176 |
unknown |
28.0 |
11.3 |
1071144960 |
false(valid-deref) |
6.56 |
2.54 |
201867264 |
unknown |
8.20 |
3.01 |
251727872 |
false(valid-deref) |
6.22 |
2.56 |
201404416 |
timeout (error (143)) |
96.2 |
70.1 |
2164961280 |
false(valid-deref) |
6.29 |
2.60 |
201793536 |
timeout (error (143)) |
96.0 |
73.3 |
2146414592 |
false(valid-deref) |
6.52 |
2.53 |
191864832 |
timeout (error (143)) |
95.2 |
68.9 |
2153721856 |
false(valid-deref) |
7.02 |
2.95 |
196083712 |
unknown |
25.2 |
11.5 |
1032331264 |
false(valid-deref) |
6.47 |
2.59 |
204546048 |
| array-memsafety/cstrchr_unsafe_false-valid-deref.i |
false(valid-deref) |
16.4 |
6.66 |
308559872 |
false(valid-deref) |
18.2 |
7.74 |
344969216 |
unknown |
23.8 |
7.98 |
615903232 |
false(valid-deref) |
21.6 |
9.03 |
364863488 |
unknown |
10.8 |
3.82 |
303755264 |
false(valid-deref) |
19.6 |
8.64 |
340783104 |
unknown |
60.6 |
40.0 |
1578242048 |
false(valid-deref) |
36.0 |
14.1 |
818806784 |
unknown |
62.7 |
39.0 |
1733246976 |
false(valid-deref) |
35.0 |
14.2 |
849158144 |
unknown |
65.4 |
38.0 |
1789972480 |
false(valid-deref) |
39.8 |
17.9 |
866168832 |
unknown |
23.3 |
7.99 |
625700864 |
false(valid-deref) |
21.6 |
9.32 |
369119232 |
| array-memsafety/cstrlen_unsafe_false-valid-deref.i |
false(valid-deref) |
10.8 |
4.20 |
276451328 |
false(valid-deref) |
10.9 |
4.27 |
282296320 |
unknown |
16.2 |
5.60 |
487034880 |
false(valid-deref) |
11.2 |
4.30 |
272949248 |
unknown |
8.46 |
3.18 |
252211200 |
false(valid-deref) |
11.5 |
4.32 |
272977920 |
unknown |
70.8 |
47.2 |
1661677568 |
false(valid-deref) |
11.2 |
4.26 |
275972096 |
unknown |
70.6 |
47.2 |
1703383040 |
false(valid-deref) |
11.2 |
4.22 |
273879040 |
unknown |
72.2 |
46.2 |
1958440960 |
false(valid-deref) |
12.1 |
5.49 |
273723392 |
unknown |
16.3 |
5.68 |
453980160 |
false(valid-deref) |
11.4 |
4.37 |
283172864 |
| array-memsafety/cstrncat_unsafe_false-valid-deref.i |
false(valid-deref) |
6.41 |
2.48 |
203771904 |
false(valid-deref) |
6.54 |
2.58 |
198938624 |
timeout (error (143)) |
92.0 |
72.3 |
2180050944 |
false(valid-deref) |
6.75 |
2.68 |
202932224 |
unknown |
8.54 |
3.11 |
251490304 |
false(valid-deref) |
6.47 |
2.58 |
201879552 |
timeout (error (143)) |
96.4 |
79.2 |
1853714432 |
false(valid-deref) |
6.92 |
2.68 |
208297984 |
timeout (error (143)) |
90.8 |
73.6 |
1995059200 |
false(valid-deref) |
6.85 |
2.72 |
203558912 |
timeout (error (143)) |
95.3 |
79.3 |
1902993408 |
false(valid-deref) |
7.54 |
3.49 |
202338304 |
timeout (error (143)) |
90.5 |
72.3 |
2167496704 |
false(valid-deref) |
6.56 |
2.69 |
205463552 |
| array-memsafety/cstrncpy_unsafe_false-valid-deref.i |
false(valid-deref) |
6.56 |
2.72 |
203878400 |
false(valid-deref) |
6.36 |
2.47 |
206663680 |
unknown |
22.0 |
9.03 |
777928704 |
false(valid-deref) |
6.27 |
2.47 |
205410304 |
unknown |
8.25 |
2.99 |
249462784 |
false(valid-deref) |
6.29 |
2.50 |
202248192 |
timeout (error (143)) |
95.3 |
78.4 |
1922482176 |
false(valid-deref) |
6.53 |
2.65 |
204525568 |
timeout (error (143)) |
95.3 |
77.6 |
1921527808 |
false(valid-deref) |
6.89 |
2.69 |
205189120 |
timeout (error (143)) |
95.2 |
79.7 |
2011725824 |
false(valid-deref) |
7.45 |
3.22 |
206209024 |
unknown |
26.3 |
9.72 |
812761088 |
false(valid-deref) |
6.26 |
2.54 |
206344192 |
| array-memsafety/cstrpbrk_unsafe_false-valid-deref.i |
false(valid-deref) |
15.1 |
6.32 |
336793600 |
false(valid-deref) |
19.7 |
9.07 |
364376064 |
unknown |
48.5 |
18.0 |
1332465664 |
timeout (error (143)) |
90.4 |
49.6 |
1139720192 |
unknown |
12.4 |
4.45 |
347836416 |
false(valid-deref) |
19.9 |
8.65 |
364613632 |
timeout (error (143)) |
94.3 |
72.3 |
1905823744 |
timeout (error (143)) |
93.3 |
68.4 |
1650647040 |
timeout (error (143)) |
91.0 |
71.8 |
1883037696 |
timeout (error (143)) |
91.9 |
66.4 |
1457201152 |
timeout (error (143)) |
91.0 |
71.3 |
2008158208 |
timeout (error (143)) |
90.9 |
64.6 |
1615355904 |
unknown |
47.4 |
18.7 |
1165053952 |
timeout (error (143)) |
92.4 |
53.8 |
1014116352 |
| array-memsafety/diff_usafe_false-valid-deref.i |
false(valid-deref) |
7.01 |
2.90 |
226705408 |
false(valid-deref) |
7.19 |
2.83 |
226299904 |
unknown |
13.2 |
4.69 |
353685504 |
false(valid-deref) |
7.30 |
2.83 |
227307520 |
unknown |
8.75 |
3.20 |
258981888 |
false(valid-deref) |
7.30 |
2.90 |
230125568 |
unknown |
40.5 |
21.3 |
1515585536 |
false(valid-deref) |
7.71 |
3.01 |
235229184 |
unknown |
40.6 |
21.3 |
1490878464 |
false(valid-deref) |
7.50 |
2.91 |
227684352 |
unknown |
37.9 |
20.9 |
1446879232 |
false(valid-deref) |
8.23 |
3.64 |
231211008 |
unknown |
12.6 |
4.41 |
369852416 |
false(valid-deref) |
7.20 |
2.90 |
228089856 |
| array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i |
false(valid-deref) |
9.06 |
3.46 |
251387904 |
false(valid-deref) |
9.30 |
3.72 |
251060224 |
unknown |
81.3 |
53.1 |
2180128768 |
false(valid-deref) |
9.62 |
3.75 |
253763584 |
unknown |
19.0 |
6.88 |
610836480 |
false(valid-deref) |
9.17 |
3.49 |
248872960 |
timeout (error (143)) |
93.7 |
78.3 |
2134585344 |
false(valid-deref) |
9.19 |
3.48 |
252272640 |
timeout (error (143)) |
94.4 |
79.3 |
2056081408 |
false(valid-deref) |
9.48 |
3.46 |
250691584 |
timeout (error (143)) |
96.4 |
80.1 |
2150596608 |
false(valid-deref) |
9.85 |
4.03 |
254902272 |
unknown |
84.6 |
53.2 |
2189185024 |
false(valid-deref) |
9.22 |
3.73 |
250347520 |
| array-memsafety/lis_unsafe_false-valid-deref.i |
false(valid-deref) |
17.6 |
6.57 |
324440064 |
false(valid-deref) |
19.2 |
7.62 |
339177472 |
timeout (error (143)) |
91.2 |
68.8 |
2197995520 |
false(valid-deref) |
38.2 |
13.5 |
792047616 |
unknown |
12.3 |
4.33 |
326541312 |
false(valid-deref) |
20.4 |
7.69 |
347357184 |
timeout (error (143)) |
92.6 |
70.4 |
2189139968 |
timeout (error (143)) |
91.8 |
58.1 |
2026569728 |
timeout (error (143)) |
90.7 |
72.4 |
2163585024 |
timeout (error (143)) |
95.4 |
59.4 |
2032017408 |
timeout (error (143)) |
91.4 |
69.5 |
2167398400 |
timeout (error (143)) |
91.9 |
56.3 |
1911980032 |
timeout (error (143)) |
91.6 |
68.3 |
2198167552 |
false(valid-deref) |
41.2 |
14.6 |
762269696 |
| array-memsafety/mult_array_unsafe_false-valid-deref.i |
false(valid-deref) |
8.72 |
3.28 |
242233344 |
false(valid-deref) |
8.72 |
3.39 |
245755904 |
timeout (error (143)) |
90.4 |
64.6 |
2201583616 |
false(valid-deref) |
8.01 |
3.09 |
247463936 |
unknown |
9.93 |
3.54 |
299380736 |
false(valid-deref) |
8.74 |
3.32 |
249581568 |
timeout (error (143)) |
92.6 |
71.0 |
2146422784 |
false(valid-deref) |
8.61 |
3.35 |
246849536 |
timeout (error (143)) |
90.3 |
65.5 |
2172059648 |
false(valid-deref) |
9.28 |
3.93 |
247181312 |
timeout (error (143)) |
90.7 |
63.3 |
2035392512 |
false(valid-deref) |
9.91 |
3.93 |
247713792 |
timeout (error (143)) |
92.7 |
63.9 |
2197073920 |
false(valid-deref) |
8.16 |
3.11 |
244662272 |
| array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i |
false(valid-deref) |
9.65 |
3.71 |
238125056 |
false(valid-deref) |
9.74 |
3.73 |
235958272 |
timeout (error (143)) |
92.2 |
68.5 |
2191548416 |
false(valid-deref) |
9.70 |
3.59 |
237408256 |
unknown |
10.5 |
3.72 |
331014144 |
false(valid-deref) |
9.93 |
3.70 |
233676800 |
timeout (error (143)) |
90.8 |
68.4 |
2170507264 |
false(valid-deref) |
9.66 |
3.77 |
238485504 |
timeout (error (143)) |
95.6 |
75.2 |
2184998912 |
false(valid-deref) |
10.4 |
4.37 |
236851200 |
timeout (error (143)) |
95.5 |
75.5 |
2171731968 |
false(valid-deref) |
10.2 |
4.24 |
239271936 |
timeout (error (143)) |
91.6 |
69.6 |
2214076416 |
false(valid-deref) |
9.38 |
3.50 |
236544000 |
| array-memsafety/reverse_array_unsafe_false-valid-deref.i |
false(valid-deref) |
8.85 |
3.33 |
232452096 |
false(valid-deref) |
8.74 |
3.34 |
236851200 |
timeout (error (143)) |
91.8 |
68.2 |
2200940544 |
false(valid-deref) |
8.86 |
3.43 |
232402944 |
unknown |
10.9 |
3.81 |
319737856 |
false(valid-deref) |
8.94 |
3.39 |
237031424 |
timeout (error (143)) |
90.9 |
68.9 |
2176200704 |
false(valid-deref) |
8.82 |
3.35 |
239177728 |
timeout (error (143)) |
94.3 |
72.3 |
2203709440 |
false(valid-deref) |
9.44 |
3.85 |
236171264 |
timeout (error (143)) |
91.0 |
67.5 |
2158395392 |
false(valid-deref) |
9.84 |
4.18 |
233222144 |
timeout (error (143)) |
90.9 |
69.8 |
2199257088 |
false(valid-deref) |
8.41 |
3.20 |
232280064 |
| array-memsafety/selectionsort_unsafe_false-valid-deref.i |
false(valid-deref) |
7.27 |
2.90 |
229289984 |
false(valid-deref) |
7.55 |
2.95 |
228163584 |
unknown |
15.1 |
5.26 |
453296128 |
false(valid-deref) |
7.41 |
2.95 |
234799104 |
unknown |
8.63 |
3.17 |
262299648 |
false(valid-deref) |
7.47 |
2.95 |
231981056 |
unknown |
75.1 |
58.4 |
1841041408 |
false(valid-deref) |
7.54 |
2.89 |
231075840 |
unknown |
74.5 |
56.7 |
1797529600 |
false(valid-deref) |
8.47 |
4.07 |
229490688 |
unknown |
74.6 |
57.6 |
1870860288 |
false(valid-deref) |
8.03 |
3.43 |
234483712 |
unknown |
16.1 |
6.25 |
430915584 |
false(valid-deref) |
7.15 |
2.83 |
223731712 |
| array-memsafety/stroeder1_unsafe_false-valid-deref.i |
false(valid-deref) |
6.39 |
2.51 |
193236992 |
false(valid-deref) |
6.47 |
2.63 |
198250496 |
unknown |
6.80 |
2.60 |
206585856 |
false(valid-deref) |
6.46 |
2.66 |
205373440 |
unknown |
6.88 |
2.64 |
211378176 |
false(valid-deref) |
6.35 |
2.67 |
195428352 |
unknown |
6.81 |
2.55 |
215248896 |
false(valid-deref) |
6.41 |
2.54 |
204623872 |
unknown |
6.88 |
2.64 |
216666112 |
false(valid-deref) |
7.25 |
3.22 |
203485184 |
unknown |
6.72 |
2.59 |
213823488 |
false(valid-deref) |
7.21 |
3.06 |
202559488 |
unknown |
7.06 |
2.69 |
212365312 |
false(valid-deref) |
6.28 |
2.55 |
205271040 |
| array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i |
timeout (error (143)) |
91.2 |
55.0 |
667820032 |
timeout (error (143)) |
90.5 |
60.3 |
677965824 |
unknown |
37.3 |
19.2 |
1429262336 |
timeout (error (143)) |
94.6 |
57.7 |
856903680 |
unknown |
8.78 |
3.21 |
267255808 |
timeout (error (143)) |
94.3 |
65.0 |
690442240 |
timeout (error (143)) |
95.5 |
76.4 |
2160754688 |
timeout (error (143)) |
90.3 |
53.9 |
1615482880 |
timeout (error (143)) |
95.5 |
75.2 |
2020728832 |
timeout (error (143)) |
91.4 |
57.6 |
1846448128 |
timeout (error (143)) |
95.5 |
75.0 |
2158727168 |
timeout (error (143)) |
90.9 |
58.7 |
1847275520 |
unknown |
42.9 |
19.7 |
1481195520 |
timeout (error (143)) |
91.4 |
54.9 |
910409728 |
| array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i |
true |
15.0 |
6.21 |
294907904 |
true |
16.7 |
6.72 |
320176128 |
unknown |
18.1 |
6.29 |
442032128 |
true |
18.8 |
7.45 |
316784640 |
unknown |
9.03 |
3.32 |
256233472 |
true |
17.9 |
7.35 |
315777024 |
unknown |
39.4 |
20.4 |
1597485056 |
true |
21.9 |
8.50 |
356589568 |
unknown |
41.2 |
21.4 |
1319829504 |
true |
24.6 |
10.6 |
308154368 |
unknown |
41.3 |
21.9 |
1604550656 |
true |
25.1 |
10.9 |
361787392 |
unknown |
16.6 |
5.83 |
440008704 |
true |
18.2 |
7.52 |
314822656 |
| array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i |
true |
15.1 |
6.05 |
305364992 |
true |
16.5 |
6.41 |
306032640 |
unknown |
28.4 |
10.5 |
987320320 |
true |
17.3 |
6.43 |
311726080 |
unknown |
11.4 |
4.07 |
311676928 |
true |
17.6 |
6.55 |
311328768 |
timeout (error (143)) |
90.9 |
72.0 |
2160885760 |
true |
22.1 |
7.85 |
361406464 |
timeout (error (143)) |
90.6 |
71.1 |
2167037952 |
true |
23.0 |
8.25 |
316956672 |
timeout (error (143)) |
91.3 |
71.0 |
2173427712 |
true |
23.9 |
8.96 |
359919616 |
unknown |
29.2 |
11.2 |
977969152 |
true |
19.1 |
6.92 |
324161536 |
| array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i |
true |
15.2 |
5.95 |
291135488 |
true |
15.9 |
5.93 |
305680384 |
timeout (error (143)) |
91.4 |
64.5 |
2206998528 |
true |
30.8 |
10.4 |
583086080 |
unknown |
11.0 |
3.88 |
303194112 |
true |
17.2 |
6.23 |
305524736 |
timeout (error (143)) |
92.2 |
71.8 |
2178129920 |
true |
41.7 |
15.6 |
966643712 |
timeout (error (143)) |
91.8 |
71.4 |
2170302464 |
true |
49.3 |
19.0 |
1138995200 |
timeout (error (143)) |
92.1 |
71.6 |
2176471040 |
true |
49.6 |
18.8 |
941023232 |
timeout (error (143)) |
91.2 |
67.6 |
2195701760 |
true |
30.1 |
10.4 |
576811008 |
| array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i |
true |
14.3 |
5.86 |
276856832 |
true |
16.1 |
6.75 |
296476672 |
unknown |
26.2 |
9.20 |
743325696 |
true |
16.3 |
6.20 |
321212416 |
unknown |
11.7 |
4.15 |
334086144 |
true |
16.0 |
6.21 |
318578688 |
timeout (error (143)) |
92.3 |
73.6 |
2151219200 |
true |
17.5 |
6.56 |
356524032 |
timeout (error (143)) |
91.9 |
73.3 |
1955966976 |
true |
18.2 |
6.76 |
348286976 |
timeout (error (143)) |
95.5 |
77.2 |
2149601280 |
true |
19.0 |
7.54 |
341557248 |
unknown |
25.6 |
9.36 |
746500096 |
true |
16.1 |
6.20 |
315998208 |
| array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i |
true |
19.9 |
7.63 |
334114816 |
true |
20.4 |
8.16 |
303722496 |
unknown |
46.3 |
28.5 |
2141552640 |
true |
39.0 |
15.2 |
816115712 |
unknown |
9.95 |
3.62 |
272842752 |
true |
22.5 |
8.78 |
379314176 |
timeout (error (143)) |
95.6 |
75.8 |
2181300224 |
true |
60.2 |
26.9 |
1165041664 |
timeout (error (143)) |
95.5 |
76.1 |
2181402624 |
true |
64.7 |
31.3 |
1128341504 |
timeout (error (143)) |
95.5 |
76.3 |
2172596224 |
true |
66.4 |
31.6 |
1181470720 |
unknown |
49.0 |
28.6 |
1985363968 |
true |
38.9 |
15.8 |
819400704 |
| array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i |
timeout (error (143)) |
91.3 |
56.6 |
571146240 |
timeout (error (143)) |
90.7 |
58.2 |
613298176 |
timeout (error (143)) |
90.9 |
58.4 |
2183639040 |
timeout (error (143)) |
90.8 |
46.3 |
944250880 |
unknown |
14.9 |
5.28 |
427642880 |
timeout (error (143)) |
90.2 |
54.4 |
587010048 |
timeout (error (143)) |
93.1 |
70.7 |
2046156800 |
timeout (error (143)) |
95.9 |
62.9 |
1797873664 |
timeout (error (143)) |
95.6 |
73.7 |
2168811520 |
timeout (error (143)) |
94.5 |
60.0 |
1772441600 |
timeout (error (143)) |
92.4 |
68.8 |
2114125824 |
timeout (error (143)) |
94.0 |
61.4 |
1873555456 |
timeout (error (143)) |
90.2 |
62.7 |
2168389632 |
timeout (error (143)) |
90.9 |
46.4 |
929021952 |
| array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i |
true |
16.7 |
6.86 |
326443008 |
true |
20.4 |
9.23 |
358948864 |
unknown |
21.1 |
7.51 |
606208000 |
true |
23.6 |
9.87 |
368013312 |
unknown |
10.3 |
3.56 |
294555648 |
true |
22.5 |
9.21 |
364081152 |
timeout (error (143)) |
91.6 |
69.2 |
1826283520 |
true |
31.1 |
12.2 |
640655360 |
timeout (error (143)) |
91.0 |
68.3 |
1686880256 |
true |
35.0 |
13.9 |
616751104 |
timeout (error (143)) |
91.3 |
68.5 |
1682448384 |
true |
35.1 |
14.9 |
732725248 |
unknown |
24.3 |
8.53 |
625340416 |
true |
24.0 |
9.94 |
377585664 |
| array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i |
true |
60.5 |
42.4 |
463683584 |
timeout (error (143)) |
92.1 |
72.2 |
509427712 |
unknown |
65.1 |
34.4 |
1596092416 |
timeout (error (143)) |
90.8 |
57.9 |
680046592 |
unknown |
14.4 |
4.95 |
364171264 |
timeout (error (143)) |
91.8 |
69.1 |
494080000 |
timeout (error (143)) |
94.8 |
72.3 |
2165907456 |
timeout (error (143)) |
92.9 |
64.3 |
1844867072 |
timeout (error (143)) |
92.1 |
68.1 |
2163867648 |
timeout (error (143)) |
93.1 |
67.3 |
1824829440 |
timeout (error (143)) |
94.1 |
68.6 |
2179207168 |
timeout (error (143)) |
95.1 |
68.9 |
2029215744 |
unknown |
70.5 |
34.8 |
1814667264 |
timeout (error (143)) |
90.5 |
60.6 |
689012736 |
| array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i |
true |
23.0 |
9.91 |
371503104 |
true |
29.6 |
14.5 |
430403584 |
unknown |
57.4 |
32.9 |
1604571136 |
true |
58.8 |
30.3 |
755646464 |
unknown |
11.2 |
3.94 |
317149184 |
true |
41.2 |
24.5 |
453042176 |
timeout (error (143)) |
95.6 |
76.2 |
1949851648 |
timeout (error (143)) |
91.2 |
55.1 |
1711181824 |
timeout (error (143)) |
95.6 |
75.1 |
2105569280 |
timeout (error (143)) |
93.9 |
55.2 |
1636368384 |
timeout (error (143)) |
95.5 |
76.3 |
1983242240 |
timeout (error (143)) |
92.0 |
57.8 |
1457979392 |
unknown |
59.6 |
33.0 |
1481129984 |
true |
59.0 |
30.6 |
774209536 |
| array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i |
timeout (error (143)) |
93.1 |
71.3 |
510398464 |
timeout (error (143)) |
91.4 |
67.3 |
532262912 |
unknown |
71.4 |
38.8 |
1861816320 |
timeout (error (143)) |
91.9 |
57.7 |
733716480 |
unknown |
15.8 |
5.41 |
460898304 |
timeout (error (143)) |
94.8 |
69.6 |
542363648 |
timeout (error (143)) |
96.0 |
74.9 |
2165747712 |
timeout (error (143)) |
95.7 |
61.2 |
1842446336 |
timeout (error (143)) |
95.5 |
76.1 |
2156646400 |
timeout (error (143)) |
92.1 |
57.6 |
1807314944 |
timeout (error (143)) |
95.8 |
74.7 |
2166784000 |
timeout (error (143)) |
96.6 |
61.1 |
1910984704 |
unknown |
63.4 |
37.5 |
1941700608 |
timeout (error (143)) |
92.0 |
57.2 |
707362816 |
| array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i |
true |
16.8 |
7.33 |
331595776 |
true |
18.9 |
8.30 |
337604608 |
unknown |
17.7 |
6.13 |
549257216 |
true |
20.6 |
8.72 |
356417536 |
unknown |
8.32 |
3.04 |
256659456 |
true |
19.0 |
8.00 |
358526976 |
unknown |
64.0 |
39.6 |
1722241024 |
true |
26.5 |
10.6 |
491716608 |
unknown |
66.3 |
39.7 |
1473454080 |
true |
31.7 |
13.5 |
610811904 |
unknown |
65.3 |
39.1 |
1538633728 |
true |
30.8 |
13.0 |
520568832 |
unknown |
17.8 |
6.25 |
509788160 |
true |
21.7 |
8.99 |
349995008 |
| array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i |
timeout (error (143)) |
90.2 |
57.8 |
618594304 |
timeout (error (143)) |
90.9 |
60.9 |
611225600 |
timeout (error (143)) |
91.1 |
57.3 |
2170564608 |
timeout (error (143)) |
92.3 |
54.0 |
1205067776 |
unknown |
16.8 |
5.80 |
447737856 |
timeout (error (143)) |
91.0 |
59.7 |
627253248 |
timeout (error (143)) |
94.6 |
69.9 |
2175700992 |
timeout (error (143)) |
94.4 |
56.8 |
1395351552 |
timeout (error (143)) |
94.3 |
70.0 |
2169520128 |
timeout (error (143)) |
91.2 |
60.2 |
1617690624 |
timeout (error (143)) |
91.3 |
69.1 |
2168606720 |
timeout (error (143)) |
93.4 |
58.8 |
1381949440 |
timeout (error (143)) |
90.4 |
64.1 |
2174525440 |
timeout (error (143)) |
91.3 |
53.5 |
1126195200 |
| array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i |
true |
41.0 |
22.4 |
449339392 |
true |
83.3 |
58.7 |
523026432 |
unknown |
51.9 |
27.2 |
1479839744 |
true |
86.3 |
52.9 |
649850880 |
unknown |
13.8 |
4.97 |
422756352 |
true |
70.4 |
43.7 |
526143488 |
timeout (error (143)) |
96.4 |
73.0 |
2162098176 |
timeout (error (143)) |
92.6 |
55.8 |
1795452928 |
timeout (error (143)) |
96.7 |
74.1 |
2152939520 |
timeout (error (143)) |
96.1 |
60.4 |
1937108992 |
timeout (error (143)) |
96.7 |
73.7 |
2168025088 |
timeout (error (143)) |
96.6 |
60.3 |
1778171904 |
unknown |
54.5 |
27.5 |
1590964224 |
true |
82.9 |
48.7 |
616366080 |
| array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i |
true |
44.7 |
24.5 |
437915648 |
true |
64.6 |
39.9 |
504635392 |
timeout (error (143)) |
91.1 |
65.3 |
2191781888 |
true |
70.9 |
32.3 |
993067008 |
unknown |
13.9 |
4.84 |
366444544 |
true |
60.2 |
32.9 |
531234816 |
timeout (error (143)) |
96.1 |
71.6 |
2168393728 |
timeout (error (143)) |
95.7 |
72.5 |
1768263680 |
timeout (error (143)) |
96.0 |
72.1 |
2175377408 |
timeout (error (143)) |
96.1 |
71.4 |
1749626880 |
timeout (error (143)) |
91.7 |
65.2 |
2163781632 |
timeout (error (143)) |
96.0 |
68.4 |
1751855104 |
timeout (error (143)) |
91.8 |
60.6 |
2191351808 |
true |
79.1 |
34.4 |
1088372736 |
| array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i |
timeout (error (143)) |
90.2 |
64.7 |
543567872 |
timeout (error (143)) |
91.8 |
65.0 |
591364096 |
unknown |
69.0 |
35.6 |
1767923712 |
timeout (error (143)) |
90.4 |
52.5 |
750387200 |
unknown |
15.8 |
5.55 |
429961216 |
timeout (error (143)) |
91.0 |
60.2 |
602779648 |
timeout (error (143)) |
91.4 |
69.7 |
2163675136 |
timeout (error (143)) |
94.4 |
58.0 |
1773547520 |
timeout (error (143)) |
96.0 |
74.4 |
2175750144 |
timeout (error (143)) |
93.5 |
54.7 |
1669173248 |
timeout (error (143)) |
91.2 |
68.0 |
2162655232 |
timeout (error (143)) |
94.0 |
56.1 |
1909551104 |
unknown |
63.9 |
34.6 |
1714077696 |
timeout (error (143)) |
91.1 |
52.1 |
662585344 |
| array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i |
true |
83.0 |
56.1 |
544870400 |
timeout (error (143)) |
92.7 |
66.1 |
520949760 |
unknown |
62.4 |
32.3 |
1809293312 |
timeout (error (143)) |
90.8 |
48.2 |
793616384 |
unknown |
15.9 |
5.47 |
453615616 |
timeout (error (143)) |
91.7 |
60.1 |
592232448 |
timeout (error (143)) |
93.1 |
70.1 |
2161086464 |
timeout (error (143)) |
92.6 |
66.5 |
1971134464 |
timeout (error (143)) |
93.5 |
70.0 |
2162388992 |
timeout (error (143)) |
97.4 |
70.1 |
2030428160 |
timeout (error (143)) |
92.0 |
69.8 |
2172715008 |
timeout (error (143)) |
96.9 |
72.3 |
2136084480 |
unknown |
62.4 |
31.9 |
1810137088 |
timeout (error (143)) |
91.0 |
50.9 |
694460416 |
| array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i |
true |
39.7 |
18.1 |
442499072 |
true |
49.8 |
23.8 |
465182720 |
unknown |
43.2 |
17.9 |
1223897088 |
true |
61.6 |
27.1 |
655376384 |
unknown |
13.5 |
4.75 |
374075392 |
true |
55.0 |
28.3 |
513413120 |
timeout (error (143)) |
95.2 |
80.3 |
1785126912 |
timeout (error (143)) |
92.2 |
65.8 |
1909039104 |
timeout (error (143)) |
95.3 |
79.4 |
1986625536 |
timeout (error (143)) |
95.2 |
65.1 |
2026483712 |
timeout (error (143)) |
95.3 |
79.6 |
1676623872 |
timeout (error (143)) |
95.2 |
65.4 |
2071527424 |
unknown |
43.1 |
17.9 |
1323827200 |
true |
62.0 |
28.0 |
647446528 |
| array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i |
true |
21.0 |
8.36 |
346148864 |
true |
25.4 |
10.4 |
357662720 |
unknown |
21.9 |
7.49 |
697790464 |
true |
39.2 |
14.9 |
504524800 |
unknown |
11.1 |
3.91 |
314195968 |
true |
29.2 |
11.5 |
400302080 |
unknown |
50.6 |
29.2 |
1631481856 |
true |
51.1 |
23.4 |
1087344640 |
unknown |
50.3 |
29.4 |
1834733568 |
true |
58.6 |
27.9 |
1164611584 |
unknown |
48.3 |
29.3 |
1641447424 |
true |
61.4 |
28.9 |
1177346048 |
unknown |
21.9 |
7.70 |
699158528 |
true |
39.1 |
14.9 |
493895680 |
| array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i |
true |
14.9 |
5.70 |
294580224 |
true |
16.5 |
6.38 |
312631296 |
unknown |
31.6 |
12.3 |
1032867840 |
true |
16.5 |
6.19 |
295211008 |
unknown |
11.2 |
4.00 |
318038016 |
true |
16.2 |
6.16 |
305483776 |
timeout (error (143)) |
91.8 |
74.7 |
2158886912 |
true |
16.8 |
6.41 |
306954240 |
timeout (error (143)) |
91.1 |
74.8 |
2135547904 |
true |
16.3 |
6.43 |
311554048 |
timeout (error (143)) |
94.2 |
72.3 |
2163838976 |
true |
17.3 |
7.30 |
306470912 |
unknown |
33.0 |
12.4 |
1134424064 |
true |
16.4 |
6.16 |
302141440 |
| array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i |
true |
47.8 |
24.3 |
493858816 |
error: exception |
28.6 |
12.1 |
400494592 |
timeout (error (143)) |
90.8 |
65.3 |
2207838208 |
error: exception |
63.9 |
29.4 |
1339486208 |
unknown |
14.4 |
5.00 |
440762368 |
error: exception |
30.5 |
12.1 |
429420544 |
timeout (error (143)) |
91.0 |
71.6 |
2174644224 |
timeout (error (143)) |
93.8 |
62.5 |
2194415616 |
timeout (error (143)) |
91.5 |
70.6 |
2167205888 |
timeout (error (143)) |
91.5 |
59.0 |
2201280512 |
timeout (error (143)) |
91.1 |
66.7 |
2163560448 |
timeout (error (143)) |
92.5 |
59.6 |
2061701120 |
timeout (error (143)) |
91.3 |
66.7 |
2202099712 |
error: exception |
66.1 |
30.0 |
1383026688 |
| array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i |
true |
26.6 |
15.4 |
343113728 |
error: exception |
74.3 |
63.7 |
367300608 |
timeout (error (143)) |
91.1 |
67.1 |
2199134208 |
timeout (error (143)) |
91.3 |
70.9 |
650493952 |
unknown |
11.0 |
3.92 |
303824896 |
timeout (error (143)) |
92.7 |
81.7 |
420528128 |
timeout (error (143)) |
90.9 |
68.6 |
2163896320 |
timeout (error (143)) |
91.0 |
69.1 |
1211011072 |
timeout (error (143)) |
91.6 |
70.0 |
2171924480 |
timeout (error (143)) |
90.9 |
63.2 |
1391517696 |
timeout (error (143)) |
92.5 |
70.1 |
2173259776 |
timeout (error (143)) |
91.7 |
69.0 |
1204350976 |
timeout (error (143)) |
91.3 |
66.9 |
2197532672 |
timeout (error (143)) |
93.3 |
74.7 |
548749312 |
| array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i |
true |
17.5 |
7.00 |
336281600 |
true |
20.3 |
8.89 |
359485440 |
unknown |
35.0 |
13.3 |
928505856 |
true |
42.2 |
15.5 |
640212992 |
unknown |
9.98 |
3.48 |
272166912 |
true |
22.7 |
9.25 |
367382528 |
timeout (error (143)) |
95.4 |
67.8 |
2033270784 |
timeout (error (143)) |
95.8 |
72.7 |
1938845696 |
timeout (error (143)) |
95.6 |
70.2 |
2146054144 |
timeout (error (143)) |
96.2 |
70.3 |
2060972032 |
timeout (error (143)) |
94.5 |
66.8 |
2069520384 |
timeout (error (143)) |
95.8 |
71.5 |
2174533632 |
unknown |
30.3 |
13.7 |
975482880 |
true |
42.8 |
15.9 |
653078528 |
| array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i |
true |
16.8 |
7.03 |
341794816 |
true |
18.2 |
7.98 |
352260096 |
unknown |
15.8 |
5.61 |
460955648 |
true |
20.2 |
8.49 |
367742976 |
unknown |
9.67 |
3.47 |
272924672 |
true |
18.1 |
8.00 |
357527552 |
unknown |
42.3 |
21.5 |
1056964608 |
true |
22.3 |
9.27 |
383393792 |
unknown |
45.9 |
22.5 |
1191870464 |
true |
22.4 |
9.27 |
368967680 |
unknown |
49.9 |
22.2 |
1216102400 |
true |
24.2 |
11.0 |
378376192 |
unknown |
16.8 |
5.88 |
431034368 |
true |
20.1 |
8.98 |
380653568 |
| array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i |
true |
48.5 |
36.0 |
368201728 |
true |
36.7 |
24.3 |
393433088 |
unknown |
16.5 |
5.91 |
425115648 |
true |
30.3 |
17.9 |
390725632 |
unknown |
9.63 |
3.46 |
277020672 |
true |
30.9 |
17.9 |
403595264 |
unknown |
47.0 |
22.4 |
1264959488 |
true |
41.4 |
27.6 |
435490816 |
unknown |
47.9 |
21.0 |
1268514816 |
true |
39.1 |
24.6 |
425172992 |
unknown |
46.7 |
22.2 |
1244565504 |
true |
41.7 |
26.4 |
438325248 |
unknown |
17.0 |
5.95 |
420720640 |
true |
39.6 |
26.6 |
389894144 |
| array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i |
true |
15.3 |
6.15 |
316993536 |
true |
17.3 |
7.63 |
335159296 |
unknown |
22.2 |
7.65 |
669708288 |
true |
22.0 |
9.07 |
384425984 |
unknown |
9.42 |
3.43 |
285671424 |
true |
17.7 |
7.75 |
341495808 |
timeout (error (143)) |
92.9 |
70.8 |
1858142208 |
true |
61.8 |
37.3 |
1526472704 |
timeout (error (143)) |
92.4 |
69.3 |
1852399616 |
true |
58.8 |
37.4 |
1216401408 |
timeout (error (143)) |
91.5 |
69.7 |
1921519616 |
true |
66.3 |
42.4 |
1608556544 |
unknown |
21.7 |
7.49 |
624025600 |
true |
21.8 |
8.85 |
374530048 |
| array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i |
true |
21.2 |
8.73 |
371122176 |
true |
26.8 |
12.5 |
411975680 |
unknown |
66.6 |
34.5 |
1706663936 |
true |
49.8 |
20.2 |
677888000 |
unknown |
10.4 |
3.81 |
302981120 |
true |
28.5 |
12.6 |
421822464 |
timeout (error (143)) |
95.7 |
73.3 |
2107301888 |
timeout (error (143)) |
96.0 |
70.2 |
2181369856 |
timeout (error (143)) |
95.2 |
72.7 |
2071703552 |
timeout (error (143)) |
95.9 |
72.0 |
2188324864 |
timeout (error (143)) |
96.1 |
70.9 |
2090643456 |
timeout (error (143)) |
95.9 |
70.2 |
2105155584 |
unknown |
62.2 |
34.9 |
1809928192 |
true |
51.7 |
20.5 |
677928960 |
| array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i |
timeout (error (143)) |
96.0 |
54.5 |
636936192 |
timeout (error (143)) |
91.4 |
57.3 |
627273728 |
timeout (error (143)) |
90.9 |
60.6 |
2208968704 |
timeout (error (143)) |
92.0 |
55.9 |
1990594560 |
unknown |
14.9 |
5.18 |
392974336 |
timeout (error (143)) |
91.5 |
56.5 |
652705792 |
timeout (error (143)) |
96.0 |
72.2 |
2152210432 |
timeout (error (143)) |
95.8 |
72.5 |
2177884160 |
timeout (error (143)) |
96.1 |
70.8 |
2180075520 |
timeout (error (143)) |
95.9 |
72.5 |
2064838656 |
timeout (error (143)) |
95.9 |
73.5 |
2160746496 |
timeout (error (143)) |
96.7 |
70.5 |
2157203456 |
timeout (error (143)) |
91.4 |
63.7 |
2198740992 |
timeout (error (143)) |
90.9 |
55.1 |
1890058240 |
| array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i |
timeout (error (143)) |
90.3 |
54.7 |
598892544 |
timeout (error (143)) |
91.0 |
56.8 |
596959232 |
timeout (error (143)) |
90.9 |
58.1 |
2185650176 |
timeout (error (143)) |
90.2 |
45.6 |
1084854272 |
unknown |
15.6 |
5.40 |
408473600 |
timeout (error (143)) |
91.2 |
55.0 |
591794176 |
timeout (error (143)) |
91.5 |
68.3 |
2150928384 |
timeout (error (143)) |
95.4 |
64.0 |
1549955072 |
timeout (error (143)) |
96.0 |
73.7 |
2158247936 |
timeout (error (143)) |
95.6 |
60.8 |
1539387392 |
timeout (error (143)) |
95.6 |
70.0 |
2129797120 |
timeout (error (143)) |
94.4 |
59.2 |
1619922944 |
timeout (error (143)) |
90.8 |
60.5 |
2174947328 |
timeout (error (143)) |
91.2 |
44.3 |
1078427648 |
| array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i |
true |
53.1 |
31.8 |
520744960 |
timeout (error (143)) |
92.0 |
66.5 |
601886720 |
unknown |
50.8 |
27.7 |
1542201344 |
timeout (error (143)) |
92.4 |
53.4 |
774774784 |
unknown |
11.7 |
4.10 |
323854336 |
timeout (error (143)) |
91.1 |
63.3 |
591781888 |
timeout (error (143)) |
95.7 |
75.8 |
2157572096 |
timeout (error (143)) |
96.0 |
71.8 |
2156306432 |
timeout (error (143)) |
93.2 |
71.5 |
2174210048 |
timeout (error (143)) |
95.9 |
71.9 |
2073362432 |
timeout (error (143)) |
91.9 |
70.2 |
2165182464 |
timeout (error (143)) |
90.9 |
63.2 |
2116575232 |
unknown |
50.6 |
27.2 |
1466847232 |
timeout (error (143)) |
92.6 |
56.6 |
828325888 |
| array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i |
true |
21.2 |
8.75 |
363659264 |
true |
28.6 |
12.9 |
409419776 |
unknown |
63.0 |
36.2 |
1858056192 |
true |
48.3 |
19.2 |
751677440 |
unknown |
10.7 |
3.87 |
309161984 |
true |
28.6 |
12.7 |
420360192 |
timeout (error (143)) |
95.6 |
75.9 |
1991172096 |
timeout (error (143)) |
95.8 |
71.8 |
1765548032 |
timeout (error (143)) |
95.6 |
76.6 |
2137337856 |
timeout (error (143)) |
95.8 |
72.8 |
1887547392 |
timeout (error (143)) |
95.6 |
76.1 |
1899728896 |
timeout (error (143)) |
95.7 |
72.8 |
1739436032 |
unknown |
62.2 |
38.1 |
1617227776 |
true |
48.5 |
19.3 |
731807744 |
| array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i |
timeout (error (143)) |
90.7 |
70.1 |
504479744 |
timeout (error (143)) |
91.2 |
68.0 |
527499264 |
unknown |
43.2 |
18.0 |
1155264512 |
timeout (error (143)) |
91.9 |
60.4 |
697298944 |
unknown |
13.5 |
4.73 |
357900288 |
timeout (error (143)) |
92.2 |
63.0 |
589078528 |
timeout (error (143)) |
95.9 |
72.4 |
2170286080 |
timeout (error (143)) |
96.3 |
63.0 |
2066694144 |
timeout (error (143)) |
95.7 |
75.2 |
2162405376 |
timeout (error (143)) |
95.9 |
61.3 |
1844875264 |
timeout (error (143)) |
95.6 |
76.5 |
2149711872 |
timeout (error (143)) |
96.3 |
57.9 |
1778135040 |
unknown |
45.2 |
17.8 |
1300955136 |
timeout (error (143)) |
91.5 |
60.7 |
671195136 |
| array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i |
true |
60.9 |
28.8 |
512614400 |
true |
83.3 |
45.6 |
581099520 |
timeout (error (143)) |
90.6 |
56.6 |
2182930432 |
timeout (error (143)) |
90.3 |
46.6 |
1031233536 |
unknown |
14.2 |
4.85 |
424734720 |
true |
87.1 |
46.7 |
622895104 |
timeout (error (143)) |
92.1 |
70.3 |
2175971328 |
timeout (error (143)) |
90.8 |
60.1 |
1601277952 |
timeout (error (143)) |
94.2 |
71.2 |
2167160832 |
timeout (error (143)) |
91.6 |
55.2 |
1611227136 |
timeout (error (143)) |
91.2 |
71.2 |
2159579136 |
timeout (error (143)) |
92.7 |
59.0 |
1843847168 |
timeout (error (143)) |
91.6 |
58.4 |
2187624448 |
timeout (error (143)) |
92.2 |
48.5 |
1088499712 |
| array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i |
true |
15.2 |
6.14 |
322686976 |
true |
20.8 |
9.95 |
353230848 |
unknown |
19.8 |
6.77 |
562876416 |
true |
20.9 |
9.03 |
348262400 |
unknown |
8.61 |
3.22 |
255115264 |
true |
20.5 |
8.84 |
333594624 |
unknown |
61.2 |
38.6 |
1619185664 |
true |
27.1 |
10.8 |
491700224 |
unknown |
62.4 |
38.1 |
1619161088 |
true |
28.3 |
11.4 |
506732544 |
unknown |
64.4 |
39.1 |
1581096960 |
true |
27.6 |
12.2 |
508170240 |
unknown |
18.7 |
6.50 |
524095488 |
true |
21.3 |
8.98 |
363229184 |
| array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i |
timeout (error (143)) |
91.2 |
55.0 |
628715520 |
timeout (error (143)) |
92.1 |
64.0 |
473542656 |
timeout (error (143)) |
90.5 |
60.8 |
2169978880 |
timeout (error (143)) |
91.2 |
59.3 |
735195136 |
unknown |
16.5 |
5.77 |
422387712 |
timeout (error (143)) |
91.8 |
69.1 |
516882432 |
timeout (error (143)) |
91.7 |
68.3 |
2162343936 |
timeout (error (143)) |
91.8 |
66.6 |
1444270080 |
timeout (error (143)) |
91.7 |
67.8 |
2050277376 |
timeout (error (143)) |
90.6 |
62.0 |
1397252096 |
timeout (error (143)) |
93.6 |
68.2 |
2168283136 |
timeout (error (143)) |
93.0 |
67.5 |
1471709184 |
timeout (error (143)) |
91.3 |
56.1 |
2129293312 |
timeout (error (143)) |
93.7 |
76.1 |
531042304 |
| array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i |
true |
42.1 |
22.1 |
429576192 |
true |
56.2 |
29.1 |
495017984 |
unknown |
52.6 |
27.8 |
1591656448 |
timeout (error (143)) |
91.2 |
56.6 |
706850816 |
unknown |
13.4 |
4.68 |
353861632 |
timeout (error (143)) |
93.0 |
65.3 |
558534656 |
timeout (error (143)) |
93.8 |
70.6 |
2174418944 |
timeout (error (143)) |
95.2 |
59.5 |
1819680768 |
timeout (error (143)) |
92.1 |
70.4 |
2161053696 |
timeout (error (143)) |
95.9 |
61.0 |
1710698496 |
timeout (error (143)) |
91.6 |
69.9 |
2168401920 |
timeout (error (143)) |
96.7 |
60.5 |
1860861952 |
unknown |
57.2 |
29.3 |
1779290112 |
timeout (error (143)) |
92.1 |
57.3 |
784756736 |
| array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i |
true |
44.6 |
20.8 |
448958464 |
true |
72.3 |
41.3 |
526254080 |
timeout (error (143)) |
91.1 |
59.9 |
2175037440 |
timeout (error (143)) |
90.3 |
48.9 |
924909568 |
unknown |
11.5 |
4.11 |
352264192 |
true |
65.7 |
33.6 |
523329536 |
timeout (error (143)) |
92.5 |
67.8 |
2157694976 |
timeout (error (143)) |
91.4 |
48.4 |
1345118208 |
timeout (error (143)) |
93.6 |
68.1 |
2163335168 |
timeout (error (143)) |
95.0 |
56.9 |
1478844416 |
timeout (error (143)) |
92.2 |
67.7 |
2165170176 |
timeout (error (143)) |
97.0 |
53.4 |
1584119808 |
timeout (error (143)) |
90.4 |
63.6 |
2175012864 |
timeout (error (143)) |
90.7 |
48.0 |
1044799488 |
| array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i |
true |
19.5 |
7.82 |
350183424 |
true |
23.4 |
9.66 |
362332160 |
unknown |
32.3 |
11.1 |
781643776 |
true |
30.7 |
12.1 |
441348096 |
unknown |
10.7 |
3.79 |
301260800 |
true |
23.7 |
10.2 |
391651328 |
timeout (error (143)) |
92.6 |
72.4 |
1687961600 |
true |
57.3 |
22.9 |
988024832 |
timeout (error (143)) |
95.6 |
68.8 |
1755664384 |
true |
57.0 |
22.1 |
973807616 |
timeout (error (143)) |
94.4 |
70.5 |
1768517632 |
true |
66.6 |
27.4 |
981274624 |
unknown |
28.5 |
10.3 |
878206976 |
true |
32.6 |
12.9 |
440549376 |
| array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i |
timeout (error (143)) |
92.1 |
72.2 |
490287104 |
timeout (error (143)) |
90.9 |
69.1 |
537804800 |
unknown |
56.5 |
29.3 |
1764925440 |
timeout (error (143)) |
94.6 |
61.5 |
661098496 |
unknown |
12.6 |
4.46 |
361222144 |
timeout (error (143)) |
92.7 |
69.1 |
528113664 |
timeout (error (143)) |
95.8 |
73.9 |
2157264896 |
timeout (error (143)) |
96.1 |
69.3 |
2186698752 |
timeout (error (143)) |
95.8 |
74.5 |
2150895616 |
timeout (error (143)) |
96.1 |
69.6 |
2006319104 |
timeout (error (143)) |
95.8 |
74.0 |
2167136256 |
timeout (error (143)) |
95.4 |
66.7 |
2146615296 |
unknown |
52.6 |
28.0 |
1427980288 |
timeout (error (143)) |
90.6 |
53.6 |
697978880 |
| array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i |
true |
60.4 |
36.0 |
502177792 |
timeout (error (143)) |
91.5 |
65.0 |
558727168 |
unknown |
48.7 |
23.4 |
1346732032 |
timeout (error (143)) |
91.0 |
53.1 |
735625216 |
unknown |
12.4 |
4.39 |
343744512 |
timeout (error (143)) |
90.7 |
61.7 |
572928000 |
timeout (error (143)) |
93.4 |
69.3 |
2139004928 |
timeout (error (143)) |
91.5 |
65.5 |
1812779008 |
timeout (error (143)) |
95.6 |
67.3 |
2176798720 |
timeout (error (143)) |
91.2 |
62.6 |
1916403712 |
timeout (error (143)) |
95.4 |
68.6 |
2167791616 |
timeout (error (143)) |
92.4 |
63.9 |
2048729088 |
unknown |
40.0 |
19.1 |
1322278912 |
timeout (error (143)) |
90.9 |
54.4 |
837865472 |
| array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i |
timeout (error (143)) |
90.7 |
63.8 |
528060416 |
timeout (error (143)) |
92.0 |
65.3 |
511787008 |
timeout (error (143)) |
91.2 |
61.4 |
2183106560 |
timeout (error (143)) |
92.3 |
58.4 |
611782656 |
unknown |
26.2 |
9.27 |
753467392 |
timeout (error (143)) |
92.1 |
62.0 |
570068992 |
timeout (error (143)) |
94.4 |
68.7 |
2171293696 |
timeout (error (143)) |
95.4 |
56.7 |
1643036672 |
timeout (error (143)) |
94.6 |
69.7 |
2116296704 |
timeout (error (143)) |
94.0 |
55.6 |
1531404288 |
timeout (error (143)) |
92.5 |
68.9 |
2161582080 |
timeout (error (143)) |
92.5 |
57.9 |
2013847552 |
timeout (error (143)) |
91.4 |
60.2 |
1956012032 |
timeout (error (143)) |
91.7 |
60.6 |
615198720 |
| array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i |
true |
23.1 |
12.7 |
335159296 |
true |
29.7 |
17.7 |
386306048 |
unknown |
23.2 |
8.81 |
530620416 |
true |
28.6 |
16.8 |
368181248 |
unknown |
9.37 |
3.33 |
264585216 |
true |
27.5 |
16.7 |
380432384 |
unknown |
81.0 |
59.9 |
1717227520 |
true |
50.1 |
28.7 |
680251392 |
unknown |
80.4 |
60.1 |
1572421632 |
true |
41.0 |
19.0 |
724381696 |
unknown |
87.8 |
62.9 |
1717706752 |
true |
42.4 |
21.1 |
805683200 |
unknown |
22.0 |
7.59 |
502562816 |
true |
28.0 |
15.8 |
373518336 |
| array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i |
true |
16.9 |
6.72 |
339185664 |
true |
19.0 |
7.84 |
332886016 |
unknown |
27.9 |
10.3 |
787537920 |
true |
23.1 |
8.89 |
367386624 |
unknown |
11.5 |
4.10 |
314368000 |
true |
21.3 |
8.46 |
373272576 |
timeout (error (143)) |
91.7 |
73.9 |
1923035136 |
true |
25.6 |
9.77 |
418566144 |
timeout (error (143)) |
92.4 |
74.1 |
1947492352 |
true |
27.7 |
10.3 |
429621248 |
timeout (error (143)) |
92.6 |
72.8 |
1863405568 |
true |
27.7 |
10.9 |
397451264 |
unknown |
27.1 |
9.37 |
797077504 |
true |
21.5 |
8.55 |
357896192 |
| array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i |
true |
15.5 |
6.23 |
300347392 |
true |
17.4 |
6.93 |
306765824 |
unknown |
9.98 |
3.76 |
271765504 |
true |
18.9 |
6.73 |
329338880 |
unknown |
8.13 |
2.98 |
249868288 |
true |
16.3 |
5.94 |
308379648 |
unknown |
15.6 |
5.39 |
424845312 |
true |
21.1 |
7.52 |
395677696 |
unknown |
13.8 |
4.72 |
433434624 |
true |
22.1 |
7.74 |
392749056 |
unknown |
14.2 |
4.89 |
427466752 |
true |
23.9 |
8.81 |
391659520 |
unknown |
9.72 |
3.47 |
271568896 |
true |
17.0 |
6.19 |
321036288 |
| array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i |
true |
14.7 |
5.68 |
299601920 |
true |
16.7 |
6.47 |
295161856 |
unknown |
18.7 |
6.81 |
553721856 |
true |
18.5 |
6.99 |
332890112 |
unknown |
9.34 |
3.36 |
270815232 |
true |
16.8 |
6.66 |
306208768 |
unknown |
41.5 |
23.3 |
1639858176 |
true |
22.6 |
8.13 |
379539456 |
unknown |
44.7 |
23.5 |
1491116032 |
true |
22.2 |
8.01 |
367583232 |
unknown |
41.0 |
23.4 |
1500516352 |
true |
23.4 |
8.89 |
368381952 |
unknown |
18.7 |
6.58 |
538566656 |
true |
17.9 |
6.64 |
333275136 |
| array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i |
true |
25.2 |
11.2 |
368226304 |
true |
29.2 |
15.4 |
394973184 |
unknown |
54.3 |
27.7 |
1594826752 |
true |
46.6 |
22.0 |
936837120 |
unknown |
9.90 |
3.53 |
277446656 |
true |
26.9 |
12.3 |
393338880 |
timeout (error (143)) |
92.1 |
70.5 |
1848889344 |
timeout (error (143)) |
91.7 |
60.9 |
1572200448 |
timeout (error (143)) |
94.1 |
68.3 |
1878544384 |
timeout (error (143)) |
91.8 |
60.8 |
1422884864 |
timeout (error (143)) |
95.8 |
71.1 |
1934008320 |
timeout (error (143)) |
95.4 |
62.9 |
1629642752 |
unknown |
49.2 |
25.2 |
1679200256 |
true |
47.8 |
22.3 |
910901248 |
| array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i |
true |
62.6 |
44.3 |
401227776 |
true |
65.1 |
41.4 |
492482560 |
unknown |
70.6 |
41.0 |
1580515328 |
true |
84.8 |
44.7 |
660123648 |
unknown |
14.7 |
5.07 |
431714304 |
true |
67.0 |
39.9 |
532893696 |
timeout (error (143)) |
90.8 |
70.6 |
2176176128 |
timeout (error (143)) |
94.9 |
57.3 |
1572028416 |
timeout (error (143)) |
91.2 |
67.1 |
2163855360 |
timeout (error (143)) |
91.2 |
55.1 |
1636646912 |
timeout (error (143)) |
91.1 |
71.5 |
2162016256 |
timeout (error (143)) |
95.4 |
58.4 |
1856176128 |
unknown |
63.1 |
35.9 |
1900253184 |
true |
87.8 |
49.3 |
706678784 |
| array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i |
timeout (error (143)) |
90.5 |
68.2 |
551907328 |
timeout (error (143)) |
92.3 |
79.7 |
375042048 |
unknown |
62.6 |
35.6 |
1782525952 |
timeout (error (143)) |
91.2 |
71.7 |
480096256 |
unknown |
16.7 |
5.83 |
476778496 |
timeout (error (143)) |
92.6 |
79.5 |
382480384 |
timeout (error (143)) |
96.0 |
74.4 |
2148839424 |
timeout (error (143)) |
91.3 |
65.9 |
1948635136 |
timeout (error (143)) |
95.3 |
72.4 |
2161750016 |
timeout (error (143)) |
90.8 |
66.8 |
1946320896 |
timeout (error (143)) |
91.1 |
65.8 |
2157359104 |
timeout (error (143)) |
95.3 |
66.3 |
2204114944 |
unknown |
58.1 |
31.3 |
1877647360 |
timeout (error (143)) |
90.5 |
70.4 |
488497152 |
| array-examples/relax_false-valid-deref.i |
false(valid-deref) |
7.60 |
2.92 |
239783936 |
false(valid-deref) |
7.57 |
2.98 |
239472640 |
unknown |
14.3 |
4.97 |
346103808 |
false(valid-deref) |
7.60 |
2.97 |
240480256 |
unknown |
11.5 |
4.10 |
329068544 |
false(valid-deref) |
7.80 |
2.98 |
236961792 |
unknown |
26.6 |
9.55 |
974585856 |
false(valid-deref) |
8.09 |
3.09 |
242802688 |
unknown |
24.5 |
9.67 |
826634240 |
false(valid-deref) |
8.18 |
3.16 |
240246784 |
unknown |
28.8 |
11.4 |
855506944 |
false(valid-deref) |
8.65 |
3.69 |
234721280 |
unknown |
13.1 |
4.51 |
354390016 |
false(valid-deref) |
7.73 |
3.00 |
237744128 |
| array-examples/sanfoundry_24_false-valid-deref.i |
timeout (error (143)) |
91.2 |
55.5 |
610447360 |
timeout (error (143)) |
91.5 |
56.0 |
627224576 |
unknown |
8.11 |
3.48 |
206008320 |
timeout (error (143)) |
90.2 |
54.4 |
584830976 |
unknown |
7.10 |
2.68 |
211623936 |
timeout (error (143)) |
91.5 |
55.7 |
593858560 |
unknown |
7.00 |
2.59 |
213786624 |
timeout (error (143)) |
90.3 |
54.1 |
600625152 |
unknown |
7.06 |
2.65 |
213405696 |
timeout (error (143)) |
90.3 |
54.5 |
603729920 |
unknown |
7.08 |
2.66 |
210554880 |
timeout (error (143)) |
90.2 |
56.7 |
601591808 |
unknown |
7.00 |
2.91 |
210288640 |
timeout (error (143)) |
91.6 |
56.3 |
602345472 |
| array-examples/standard_strcpy_false-valid-deref_ground.i |
timeout (error (143)) |
91.2 |
50.0 |
663924736 |
timeout (error (143)) |
91.5 |
47.8 |
587808768 |
unknown |
9.12 |
3.67 |
253108224 |
timeout (error (143)) |
90.6 |
50.3 |
639356928 |
unknown |
7.42 |
2.83 |
248283136 |
timeout (error (143)) |
90.3 |
50.3 |
677031936 |
unknown |
8.60 |
3.10 |
253300736 |
timeout (error (143)) |
90.4 |
49.7 |
651505664 |
unknown |
8.65 |
3.18 |
263585792 |
timeout (error (143)) |
90.6 |
48.8 |
661991424 |
unknown |
9.17 |
3.37 |
262090752 |
timeout (error (143)) |
91.6 |
52.1 |
625639424 |
unknown |
8.30 |
3.24 |
256020480 |
timeout (error (143)) |
90.1 |
50.1 |
632164352 |
| array-examples/standard_strcpy_original_false-valid-deref.i |
timeout (error (143)) |
90.6 |
53.7 |
630652928 |
timeout (error: exception) |
90.2 |
54.5 |
612016128 |
unknown |
9.13 |
4.07 |
245108736 |
timeout (error (143)) |
90.3 |
55.3 |
553897984 |
unknown |
7.62 |
2.82 |
249868288 |
timeout (error (143)) |
92.4 |
57.5 |
633282560 |
unknown |
8.89 |
3.22 |
270118912 |
timeout (error (143)) |
91.1 |
55.8 |
623812608 |
unknown |
8.26 |
3.06 |
255246336 |
timeout (error (143)) |
90.5 |
54.7 |
633012224 |
unknown |
9.48 |
3.59 |
248434688 |
timeout (error (143)) |
91.1 |
56.1 |
621518848 |
unknown |
8.71 |
3.45 |
245448704 |
timeout (error (143)) |
90.5 |
55.2 |
602263552 |
| memsafety/960521-1_false-valid-deref.i |
timeout (error (143)) |
95.9 |
73.2 |
515641344 |
timeout (error (143)) |
91.6 |
58.0 |
571891712 |
unknown |
33.6 |
13.4 |
767102976 |
timeout (error (143)) |
92.9 |
47.5 |
1019404288 |
unknown |
8.62 |
3.22 |
248659968 |
timeout (error (143)) |
92.1 |
59.2 |
635801600 |
timeout (error (143)) |
91.4 |
72.7 |
1821380608 |
timeout (error (143)) |
92.6 |
56.7 |
1564172288 |
timeout (error (143)) |
90.8 |
70.8 |
1889808384 |
timeout (error (143)) |
95.3 |
55.7 |
1668161536 |
timeout (error (143)) |
94.9 |
74.5 |
1915699200 |
timeout (error (143)) |
95.7 |
55.3 |
1493790720 |
unknown |
29.1 |
11.5 |
966930432 |
timeout (error (143)) |
90.4 |
46.0 |
966610944 |
| memsafety/test-0137_false-valid-deref.i |
false(valid-deref) |
86.1 |
42.4 |
643342336 |
error: exception |
78.9 |
53.2 |
2132791296 |
timeout (error (143)) |
95.9 |
73.7 |
2172551168 |
timeout (error (143)) |
95.6 |
64.3 |
2156118016 |
unknown |
22.2 |
7.46 |
659288064 |
error: exception |
51.0 |
26.3 |
1220325376 |
timeout (error (143)) |
95.4 |
72.1 |
2168885248 |
timeout (error (143)) |
97.1 |
61.4 |
1864630272 |
timeout (error (143)) |
95.6 |
70.2 |
2171883520 |
timeout (error (143)) |
96.6 |
61.6 |
1897197568 |
timeout (error (143)) |
95.9 |
67.4 |
2162024448 |
timeout (error (143)) |
96.0 |
59.2 |
1990455296 |
timeout (error (143)) |
95.5 |
77.7 |
2183995392 |
timeout (error (143)) |
95.4 |
65.4 |
2092339200 |
| memsafety/test-0235_false-valid-deref.i |
timeout (error (143)) |
90.9 |
71.4 |
483160064 |
error: exception |
15.2 |
5.73 |
346722304 |
timeout (error (143)) |
90.6 |
62.1 |
2190020608 |
error: exception |
50.5 |
25.5 |
1100271616 |
timeout (error (143)) |
90.9 |
56.0 |
2805649408 |
error: exception |
20.0 |
8.67 |
381566976 |
timeout (error (143)) |
96.3 |
74.8 |
2188509184 |
timeout (error (143)) |
95.8 |
72.7 |
2190512128 |
timeout (error (143)) |
96.1 |
75.9 |
2204667904 |
timeout (error (143)) |
95.9 |
73.2 |
2187055104 |
timeout (error (143)) |
96.6 |
76.3 |
2192646144 |
timeout (error (143)) |
95.9 |
73.8 |
2190659584 |
timeout (error (143)) |
90.3 |
63.0 |
2009772032 |
error: exception |
49.8 |
24.9 |
1132630016 |
| memsafety/960521-1_false-valid-free.i |
timeout (error (143)) |
96.1 |
71.6 |
582717440 |
timeout (error (143)) |
90.8 |
58.9 |
630136832 |
unknown |
29.9 |
13.2 |
894603264 |
timeout (error (143)) |
90.5 |
46.8 |
890396672 |
unknown |
8.99 |
3.35 |
250474496 |
timeout (error (143)) |
92.6 |
59.7 |
600719360 |
timeout (error (143)) |
95.2 |
76.1 |
1805737984 |
timeout (error (143)) |
92.6 |
52.7 |
1590079488 |
timeout (error (143)) |
90.7 |
71.6 |
1947111424 |
timeout (error (143)) |
93.3 |
50.2 |
1672511488 |
timeout (error (143)) |
94.0 |
74.9 |
1924734976 |
timeout (error (143)) |
93.1 |
59.7 |
1831911424 |
unknown |
31.0 |
13.3 |
922648576 |
timeout (error (143)) |
90.4 |
45.5 |
932945920 |
| memsafety/test-0158_false-valid-free.i |
false(valid-free) |
11.3 |
4.25 |
257896448 |
false(valid-free) |
10.2 |
3.80 |
260960256 |
unknown |
58.1 |
38.7 |
2161549312 |
false(valid-free) |
11.0 |
4.11 |
256131072 |
unknown |
8.28 |
3.09 |
257421312 |
false(valid-free) |
11.1 |
4.02 |
255819776 |
timeout (error (143)) |
96.3 |
75.3 |
2178387968 |
false(valid-free) |
10.1 |
3.77 |
261726208 |
timeout (error (143)) |
96.6 |
71.8 |
2186928128 |
false(valid-free) |
10.3 |
3.67 |
253456384 |
timeout (error (143)) |
96.5 |
69.1 |
2179502080 |
false(valid-free) |
12.0 |
6.09 |
259002368 |
unknown |
56.0 |
37.4 |
2162216960 |
false(valid-free) |
10.4 |
3.80 |
258547712 |
| memsafety/test-0232_false-valid-free.i |
timeout (error: exception) |
91.2 |
53.5 |
647671808 |
timeout (error (143)) |
92.7 |
55.3 |
598499328 |
timeout (error (143)) |
96.2 |
68.3 |
2184040448 |
timeout (error (143)) |
96.2 |
61.4 |
2017902592 |
unknown |
11.2 |
3.92 |
348246016 |
timeout (error (143)) |
90.8 |
52.0 |
676122624 |
timeout (error (143)) |
96.0 |
73.7 |
2179702784 |
timeout (error (143)) |
96.0 |
63.3 |
2205331456 |
timeout (error (143)) |
96.0 |
73.7 |
2178510848 |
timeout (error (143)) |
96.1 |
62.1 |
2211172352 |
timeout (error (143)) |
96.1 |
70.0 |
2170437632 |
timeout (error (143)) |
96.3 |
63.4 |
2185793536 |
timeout (error (143)) |
96.7 |
70.0 |
2186883072 |
timeout (error (143)) |
95.6 |
57.8 |
2116505600 |
| memsafety/20051113-1.c_false-valid-memtrack.i |
timeout (error (143)) |
95.6 |
55.9 |
578289664 |
timeout (error (143)) |
95.7 |
62.9 |
609705984 |
unknown |
9.94 |
3.59 |
271953920 |
timeout (error (143)) |
96.3 |
54.4 |
645652480 |
unknown |
8.60 |
3.10 |
254443520 |
timeout (error (143)) |
96.2 |
59.2 |
585928704 |
unknown |
17.8 |
6.08 |
697548800 |
timeout (error (143)) |
96.4 |
51.0 |
1208512512 |
unknown |
20.5 |
7.13 |
654512128 |
timeout (error (143)) |
96.7 |
51.7 |
1082372096 |
unknown |
25.1 |
10.2 |
574177280 |
timeout (error (143)) |
90.5 |
49.3 |
1327992832 |
unknown |
10.7 |
4.77 |
277499904 |
timeout (error (143)) |
96.2 |
53.5 |
680124416 |
| memsafety/lockfree-3.1_false-valid-memtrack.i |
unknown: overapproxcex |
59.3 |
26.9 |
691462144 |
unknown: overapproxcex |
63.2 |
25.5 |
697176064 |
timeout (error (143)) |
91.5 |
66.7 |
2180608000 |
timeout (error (143)) |
92.6 |
46.1 |
1848287232 |
unknown |
35.6 |
14.7 |
1396801536 |
timeout (error (143)) |
91.2 |
39.0 |
1555435520 |
timeout (error (143)) |
96.2 |
71.7 |
2185990144 |
timeout (error (143)) |
93.1 |
68.0 |
1731887104 |
timeout (error (143)) |
96.0 |
74.4 |
2188746752 |
timeout (error (143)) |
91.6 |
61.5 |
1894604800 |
timeout (error (143)) |
96.3 |
64.5 |
2178232320 |
timeout (error (143)) |
97.4 |
69.8 |
1602211840 |
timeout (error (143)) |
91.6 |
69.7 |
2202169344 |
timeout (error (143)) |
93.4 |
46.6 |
1858015232 |
| memsafety/lockfree-3.2_false-valid-memtrack.i |
unknown: overapproxcex |
20.6 |
7.34 |
399093760 |
unknown: overapproxcex |
25.0 |
8.68 |
395268096 |
timeout (error (143)) |
95.8 |
72.0 |
2208112640 |
unknown: overapproxcex |
31.1 |
10.4 |
536588288 |
unknown |
34.5 |
14.1 |
1331875840 |
unknown: overapproxcex |
25.3 |
8.62 |
383881216 |
timeout (error (143)) |
96.0 |
74.5 |
2189684736 |
timeout (error (143)) |
91.9 |
63.5 |
1953570816 |
timeout (error (143)) |
96.0 |
74.6 |
2192801792 |
timeout (error (143)) |
91.7 |
67.5 |
1930616832 |
timeout (error (143)) |
96.1 |
72.7 |
2183712768 |
timeout (error (143)) |
91.6 |
65.8 |
2192015360 |
timeout (error (143)) |
95.0 |
72.9 |
2186063872 |
unknown: overapproxcex |
29.7 |
9.98 |
531447808 |
| memsafety/lockfree-3.3_false-valid-memtrack.i |
unknown: overapproxcex |
82.9 |
42.2 |
1250885632 |
timeout (error (143)) |
91.2 |
43.4 |
1403871232 |
timeout (error (143)) |
92.2 |
67.3 |
2190917632 |
timeout (error (143)) |
93.9 |
47.5 |
1882611712 |
unknown |
32.7 |
13.7 |
1316581376 |
timeout (error (143)) |
90.9 |
36.0 |
1193168896 |
timeout (error (143)) |
96.0 |
74.2 |
2193608704 |
timeout (error (143)) |
93.6 |
66.6 |
1782038528 |
timeout (error (143)) |
96.0 |
73.7 |
2194395136 |
timeout (error (143)) |
92.2 |
67.3 |
1801723904 |
timeout (error (143)) |
96.2 |
72.1 |
2200829952 |
timeout (error (143)) |
93.7 |
67.1 |
1891430400 |
timeout (error (143)) |
93.4 |
69.1 |
2220175360 |
timeout (error (143)) |
93.7 |
50.4 |
1975869440 |
| memsafety/test-0019_false-valid-memtrack_true-termination.i |
unknown: overapproxcex |
14.8 |
6.70 |
298459136 |
unknown: overapproxcex |
14.7 |
5.66 |
298340352 |
unknown |
84.0 |
61.7 |
2031431680 |
unknown: overapproxcex |
15.0 |
5.72 |
296304640 |
unknown |
8.58 |
3.14 |
253018112 |
unknown: overapproxcex |
14.5 |
5.60 |
292007936 |
timeout (error (143)) |
95.7 |
74.7 |
2178895872 |
unknown: overapproxcex |
14.0 |
5.37 |
305074176 |
timeout (error (143)) |
95.8 |
74.8 |
2172973056 |
unknown: overapproxcex |
13.9 |
5.39 |
291201024 |
timeout (error (143)) |
95.7 |
76.3 |
2181885952 |
unknown: overapproxcex |
15.1 |
7.11 |
293711872 |
unknown |
85.3 |
65.2 |
2121433088 |
unknown: overapproxcex |
15.3 |
5.86 |
296210432 |
| memsafety/test-0102_false-valid-memtrack.i |
timeout (error (143)) |
91.2 |
54.2 |
660971520 |
error: exception |
52.7 |
31.7 |
480342016 |
timeout (error (143)) |
95.5 |
76.8 |
2169442304 |
timeout (error (143)) |
93.8 |
65.8 |
2128232448 |
unknown |
14.7 |
5.14 |
382504960 |
error: exception |
83.2 |
43.0 |
702521344 |
timeout (error (143)) |
97.0 |
71.3 |
2195968000 |
timeout (error (143)) |
95.3 |
62.4 |
2093842432 |
timeout (error (143)) |
95.8 |
74.5 |
2186584064 |
timeout (error (143)) |
95.4 |
62.9 |
2162814976 |
timeout (error (143)) |
95.6 |
71.7 |
2200633344 |
timeout (error (143)) |
96.0 |
58.6 |
2219479040 |
timeout (error (143)) |
95.6 |
76.5 |
2185113600 |
timeout (error (143)) |
94.6 |
65.3 |
2038542336 |
| memsafety/test-0158_false-valid-memtrack_true-termination.i |
unknown: overapproxcex |
7.73 |
4.28 |
232878080 |
unknown: overapproxcex |
8.17 |
3.16 |
230756352 |
unknown |
22.8 |
9.33 |
947138560 |
unknown: overapproxcex |
7.66 |
2.95 |
229433344 |
unknown |
7.16 |
2.82 |
210157568 |
unknown: overapproxcex |
8.04 |
3.16 |
231243776 |
timeout (error (143)) |
96.1 |
66.9 |
2177347584 |
unknown: overapproxcex |
8.24 |
3.12 |
233148416 |
timeout (error (143)) |
95.9 |
74.7 |
2171244544 |
unknown: overapproxcex |
8.29 |
3.18 |
230199296 |
timeout (error (143)) |
96.2 |
73.2 |
2171551744 |
unknown: overapproxcex |
8.84 |
4.50 |
229253120 |
unknown |
21.5 |
9.69 |
938655744 |
unknown: overapproxcex |
7.88 |
3.04 |
233238528 |
| memsafety/test-0232_false-valid-memtrack.i |
unknown: overapproxcex |
29.4 |
12.0 |
437342208 |
unknown: overapproxcex |
35.6 |
15.6 |
440664064 |
timeout (error (143)) |
95.8 |
72.1 |
2187259904 |
timeout (error (143)) |
95.6 |
67.0 |
2194571264 |
unknown |
11.2 |
3.93 |
328990720 |
unknown: overapproxcex |
42.4 |
17.4 |
427417600 |
timeout (error (143)) |
95.8 |
74.2 |
2166558720 |
timeout (error (143)) |
95.2 |
67.9 |
2198966272 |
timeout (error (143)) |
95.8 |
75.4 |
2169569280 |
timeout (error (143)) |
95.4 |
66.7 |
2186178560 |
timeout (error (143)) |
95.9 |
74.5 |
2165342208 |
timeout (error (143)) |
96.9 |
70.0 |
2175041536 |
timeout (error (143)) |
96.8 |
71.9 |
2197323776 |
timeout (error (143)) |
96.4 |
64.2 |
2139918336 |
| memsafety/test-0234_false-valid-memtrack.i |
timeout (error (143)) |
91.0 |
73.6 |
635494400 |
error: exception |
14.7 |
5.54 |
372510720 |
timeout (error (143)) |
90.6 |
63.6 |
2175655936 |
error: exception |
45.4 |
21.3 |
1382170624 |
unknown |
45.3 |
18.7 |
1908383744 |
error: exception |
17.5 |
6.34 |
391880704 |
timeout (error (143)) |
96.3 |
74.3 |
2181820416 |
timeout (error (143)) |
95.7 |
75.8 |
2162225152 |
timeout (error (143)) |
97.0 |
73.3 |
2209329152 |
timeout (error (143)) |
95.8 |
74.8 |
2176700416 |
timeout (error (143)) |
95.9 |
75.2 |
2180841472 |
timeout (error (143)) |
95.9 |
73.0 |
2172915712 |
timeout (error (143)) |
90.5 |
63.7 |
2175655936 |
error: exception |
48.3 |
22.0 |
1500672000 |
| memsafety/test-0235_false-valid-memtrack.i |
timeout (error (143)) |
95.4 |
78.8 |
458383360 |
error: exception |
16.7 |
6.29 |
305541120 |
timeout (error (143)) |
90.3 |
62.8 |
1965785088 |
error: exception |
47.1 |
20.5 |
1174925312 |
timeout (error (143)) |
90.8 |
56.8 |
2753617920 |
error: exception |
17.8 |
6.49 |
384978944 |
timeout (error (143)) |
95.5 |
72.7 |
2239102976 |
timeout (error (143)) |
96.0 |
72.4 |
2171166720 |
timeout (error (143)) |
96.2 |
75.2 |
2184302592 |
timeout (error (143)) |
95.8 |
72.5 |
2180747264 |
timeout (error (143)) |
95.9 |
74.7 |
2208247808 |
timeout (error (143)) |
96.2 |
70.5 |
2165936128 |
timeout (error (143)) |
90.3 |
62.9 |
2165653504 |
error: exception |
45.4 |
20.1 |
1205329920 |
| memsafety/960521-1_true-valid-memsafety.i |
timeout (error (143)) |
95.5 |
77.3 |
589094912 |
timeout (error (143)) |
96.1 |
70.3 |
524750848 |
unknown |
30.6 |
11.2 |
826535936 |
timeout (error (143)) |
96.4 |
52.2 |
1063301120 |
unknown |
8.57 |
3.17 |
258011136 |
timeout (error (143)) |
95.7 |
69.0 |
500756480 |
timeout (error (143)) |
90.5 |
72.4 |
1751265280 |
timeout (error (143)) |
91.9 |
57.8 |
1738706944 |
timeout (error (143)) |
91.1 |
72.0 |
1917534208 |
timeout (error (143)) |
91.5 |
50.8 |
1608593408 |
timeout (error (143)) |
91.2 |
72.6 |
1803927552 |
timeout (error (143)) |
92.6 |
60.5 |
1646006272 |
unknown |
29.3 |
11.2 |
919044096 |
timeout (error (143)) |
96.3 |
53.4 |
1081147392 |
| memsafety/lockfree-3.0_true-valid-memsafety.i |
timeout (error (143)) |
90.7 |
45.0 |
1723129856 |
timeout (error (143)) |
91.3 |
41.2 |
1408946176 |
timeout (error (143)) |
91.4 |
69.0 |
2177683456 |
timeout (error (143)) |
92.3 |
56.6 |
2041204736 |
unknown |
31.9 |
14.1 |
1441832960 |
timeout (error (143)) |
91.8 |
36.3 |
1506865152 |
timeout (error (143)) |
95.8 |
72.9 |
2179444736 |
timeout (error (143)) |
92.0 |
59.7 |
2020528128 |
timeout (error (143)) |
95.8 |
75.7 |
2177269760 |
timeout (error (143)) |
108 |
65.9 |
1884897280 |
timeout (error (143)) |
96.0 |
71.0 |
2176434176 |
timeout (error (143)) |
91.9 |
60.9 |
2072981504 |
timeout (error (143)) |
91.2 |
62.5 |
2189688832 |
timeout (error: exception) |
93.2 |
57.4 |
2091749376 |
| memsafety/test-0019_true-valid-memsafety_true-termination.i |
true |
17.6 |
7.35 |
328384512 |
true |
17.3 |
7.22 |
334934016 |
unknown |
19.4 |
6.87 |
616783872 |
true |
17.7 |
7.24 |
337829888 |
unknown |
7.58 |
2.83 |
252301312 |
true |
17.2 |
7.25 |
339881984 |
timeout (error (143)) |
95.9 |
74.5 |
2201939968 |
true |
17.5 |
7.21 |
331595776 |
timeout (error (143)) |
95.3 |
69.0 |
2211741696 |
true |
17.9 |
7.30 |
329875456 |
timeout (error (143)) |
95.9 |
74.0 |
2222321664 |
true |
20.6 |
10.3 |
329490432 |
unknown |
20.5 |
7.38 |
604033024 |
true |
18.0 |
7.59 |
343920640 |
| memsafety/test-0102_true-valid-memsafety.i |
timeout (error (143)) |
91.6 |
45.2 |
621604864 |
error: exception |
48.2 |
28.9 |
467554304 |
timeout (error (143)) |
95.5 |
79.0 |
2195398656 |
timeout (error (143)) |
93.2 |
63.2 |
2105024512 |
unknown |
15.4 |
5.32 |
454275072 |
error: exception |
83.1 |
44.0 |
803377152 |
timeout (error (143)) |
95.6 |
69.7 |
2199646208 |
timeout (error (143)) |
96.3 |
63.9 |
2224287744 |
timeout (error (143)) |
95.8 |
75.3 |
2162663424 |
timeout (error (143)) |
95.6 |
56.0 |
2207715328 |
timeout (error (143)) |
95.9 |
73.9 |
2190053376 |
timeout (error (143)) |
96.1 |
64.8 |
2152046592 |
timeout (error (143)) |
95.6 |
77.2 |
2204999680 |
timeout (error (143)) |
93.9 |
64.2 |
2000232448 |
| memsafety/test-0134_true-valid-memsafety.i |
timeout (error (143)) |
91.9 |
48.0 |
645406720 |
timeout (error (143)) |
90.8 |
63.6 |
1089867776 |
timeout (error (143)) |
95.3 |
78.8 |
2195402752 |
timeout (error (143)) |
95.4 |
65.6 |
1984401408 |
unknown |
20.9 |
7.09 |
633470976 |
error: exception |
35.6 |
13.6 |
463851520 |
timeout (error (143)) |
95.4 |
68.3 |
2183081984 |
timeout (error (143)) |
96.1 |
61.0 |
2125721600 |
timeout (error (143)) |
96.1 |
72.3 |
2198990848 |
timeout (error (143)) |
95.4 |
57.6 |
2205495296 |
timeout (error (143)) |
96.3 |
70.0 |
2182508544 |
timeout (error (143)) |
95.9 |
54.5 |
1956413440 |
timeout (error (143)) |
95.3 |
79.7 |
2190540800 |
timeout (error (143)) |
95.7 |
62.7 |
1770827776 |
| memsafety/test-0158_true-valid-memsafety_true-termination.i |
true |
9.54 |
3.67 |
279785472 |
true |
10.7 |
4.16 |
271036416 |
unknown |
23.2 |
8.61 |
764858368 |
true |
10.0 |
3.83 |
281767936 |
unknown |
6.65 |
2.70 |
212385792 |
true |
10.1 |
3.73 |
272015360 |
timeout (error (143)) |
95.4 |
70.6 |
2197938176 |
true |
9.80 |
3.71 |
270815232 |
timeout (error (143)) |
95.5 |
72.9 |
2196848640 |
true |
9.92 |
3.75 |
276705280 |
timeout (error (143)) |
96.3 |
74.6 |
2211581952 |
true |
11.8 |
4.88 |
273518592 |
unknown |
21.5 |
9.06 |
717778944 |
true |
10.0 |
3.77 |
267284480 |
| memsafety/test-0232_true-valid-memsafety.i |
error: exception |
84.8 |
47.4 |
682041344 |
timeout (error (143)) |
91.5 |
59.1 |
656916480 |
timeout (error (143)) |
95.6 |
71.3 |
2178801664 |
timeout (error (143)) |
96.1 |
61.2 |
1967751168 |
unknown |
11.7 |
4.44 |
357556224 |
timeout (error (143)) |
92.9 |
55.3 |
634535936 |
timeout (error (143)) |
96.2 |
75.6 |
2166382592 |
timeout (error (143)) |
95.9 |
63.4 |
2195230720 |
timeout (error (143)) |
96.8 |
75.2 |
2180063232 |
timeout (error (143)) |
95.9 |
63.8 |
2187780096 |
timeout (error (143)) |
96.4 |
74.9 |
2181009408 |
timeout (error (143)) |
95.5 |
57.2 |
2102423552 |
timeout (error (143)) |
96.8 |
71.4 |
2191319040 |
timeout (error (143)) |
95.7 |
56.9 |
1741770752 |
| memsafety/test-0234_true-valid-memsafety.i |
timeout (error (143)) |
90.7 |
73.3 |
557060096 |
error: exception |
17.1 |
7.48 |
387543040 |
timeout (error (143)) |
91.0 |
67.6 |
2177142784 |
error: exception |
50.0 |
23.4 |
1236725760 |
unknown |
49.0 |
23.5 |
2088984576 |
error: exception |
20.1 |
8.59 |
404262912 |
timeout (error (143)) |
95.3 |
73.4 |
2191691776 |
timeout (error (143)) |
96.1 |
73.7 |
2203979776 |
timeout (error (143)) |
96.0 |
75.8 |
2175754240 |
timeout (error (143)) |
96.0 |
73.4 |
2217885696 |
timeout (error (143)) |
95.9 |
76.3 |
2177060864 |
timeout (error (143)) |
95.9 |
71.5 |
2170318848 |
timeout (error (143)) |
90.7 |
64.2 |
2181046272 |
error: exception |
48.0 |
22.5 |
1194999808 |
| memsafety/test-0235_true-valid-memsafety.i |
timeout (error (143)) |
91.0 |
74.4 |
450183168 |
error: exception |
14.7 |
5.71 |
350183424 |
timeout (error (143)) |
90.3 |
64.3 |
1987944448 |
error: exception |
48.8 |
22.2 |
1275666432 |
timeout (error (143)) |
90.6 |
54.7 |
2763259904 |
error: exception |
21.8 |
9.09 |
390430720 |
timeout (error (143)) |
95.5 |
76.3 |
2200195072 |
timeout (error (143)) |
96.1 |
69.3 |
2211360768 |
timeout (error (143)) |
95.4 |
77.9 |
2162872320 |
timeout (error (143)) |
96.1 |
71.7 |
2223460352 |
timeout (error (143)) |
95.6 |
76.2 |
2206466048 |
timeout (error (143)) |
96.0 |
70.7 |
2207916032 |
timeout (error (143)) |
91.2 |
67.8 |
2193850368 |
error: exception |
49.9 |
22.6 |
1180495872 |
| memsafety/test-0236_true-valid-memsafety.i |
timeout (error (143)) |
92.3 |
76.2 |
449875968 |
error: exception |
14.2 |
5.38 |
356835328 |
timeout (error (143)) |
91.0 |
67.5 |
2167218176 |
error: exception |
50.1 |
24.4 |
1212239872 |
unknown |
41.5 |
18.9 |
1933987840 |
error: exception |
20.1 |
8.55 |
388509696 |
timeout (error (143)) |
95.5 |
76.5 |
2148732928 |
timeout (error (143)) |
95.9 |
73.0 |
2190004224 |
timeout (error (143)) |
95.6 |
76.9 |
2205421568 |
timeout (error (143)) |
95.8 |
74.4 |
2185355264 |
timeout (error (143)) |
95.8 |
74.3 |
2210148352 |
timeout (error (143)) |
96.2 |
71.5 |
2212540416 |
timeout (error (143)) |
90.2 |
64.7 |
1977450496 |
error: exception |
47.7 |
23.7 |
1131450368 |
| memsafety/test-0237_true-valid-memsafety.i |
timeout (error (143)) |
92.4 |
78.0 |
463654912 |
error: exception |
19.6 |
9.82 |
360120320 |
timeout (error (143)) |
90.3 |
65.4 |
2077102080 |
error: exception |
51.7 |
22.7 |
1091342336 |
unknown |
44.2 |
19.9 |
2056527872 |
error: exception |
18.3 |
6.60 |
385454080 |
timeout (error (143)) |
96.0 |
74.9 |
2166882304 |
timeout (error (143)) |
96.1 |
72.0 |
2183229440 |
timeout (error (143)) |
95.9 |
75.4 |
2168451072 |
timeout (error (143)) |
96.8 |
74.9 |
2181763072 |
timeout (error (143)) |
96.1 |
70.5 |
2195877888 |
timeout (error (143)) |
96.0 |
71.6 |
2221318144 |
timeout (error (143)) |
90.9 |
61.2 |
2012168192 |
error: exception |
54.2 |
23.4 |
1139027968 |
| memsafety/test-0504_true-valid-memsafety.i |
timeout (error (143)) |
91.1 |
53.6 |
641069056 |
timeout (error (143)) |
91.0 |
59.3 |
620568576 |
timeout (error (143)) |
96.3 |
75.3 |
2188546048 |
timeout (error (143)) |
91.1 |
65.0 |
2190815232 |
unknown |
14.3 |
4.90 |
441090048 |
timeout (error (143)) |
90.6 |
48.9 |
664154112 |
timeout (error (143)) |
96.0 |
76.4 |
2168619008 |
timeout (error (143)) |
97.4 |
70.8 |
2198900736 |
timeout (error (143)) |
95.9 |
77.2 |
2165207040 |
timeout (error (143)) |
97.2 |
71.6 |
2200059904 |
timeout (error (143)) |
96.0 |
74.8 |
2172964864 |
timeout (error (143)) |
96.0 |
70.8 |
2063945728 |
timeout (error (143)) |
96.6 |
74.5 |
2184011776 |
timeout (error (143)) |
93.7 |
65.3 |
2221907968 |
| memsafety/test-0513_true-valid-memsafety.i |
timeout (error (143)) |
91.0 |
54.9 |
605847552 |
timeout (error (143)) |
90.4 |
52.7 |
588673024 |
timeout (error (143)) |
93.9 |
71.3 |
2193199104 |
timeout (error (143)) |
91.8 |
59.3 |
2206232576 |
unknown |
22.0 |
7.69 |
803794944 |
timeout (error (143)) |
90.6 |
54.4 |
610406400 |
timeout (error (143)) |
96.1 |
73.0 |
2187141120 |
timeout (error (143)) |
96.8 |
64.4 |
2234540032 |
timeout (error (143)) |
94.5 |
73.1 |
2176798720 |
timeout (error (143)) |
96.4 |
65.7 |
2222436352 |
timeout (error (143)) |
95.1 |
72.9 |
2211627008 |
timeout (error (143)) |
95.9 |
65.9 |
2227675136 |
timeout (error (143)) |
91.4 |
68.3 |
2194112512 |
timeout (error (143)) |
92.6 |
60.2 |
2197217280 |
| memsafety/test-0521_true-valid-memsafety.i |
timeout (error (143)) |
91.9 |
54.2 |
784572416 |
error: exception |
37.2 |
15.7 |
488886272 |
timeout (error (143)) |
94.4 |
72.2 |
2191499264 |
timeout (error (143)) |
95.0 |
59.7 |
2195513344 |
unknown |
33.5 |
15.2 |
1712316416 |
error: exception |
36.2 |
15.5 |
517111808 |
timeout (error (143)) |
95.8 |
75.0 |
2201231360 |
timeout (error (143)) |
96.2 |
60.4 |
2134056960 |
timeout (error (143)) |
97.0 |
72.6 |
2204590080 |
timeout (error (143)) |
96.0 |
58.8 |
2167128064 |
timeout (error (143)) |
95.9 |
75.0 |
2185515008 |
timeout (error (143)) |
95.1 |
60.2 |
2069336064 |
timeout (error (143)) |
95.7 |
74.7 |
2180386816 |
timeout (error (143)) |
96.0 |
60.5 |
2201403392 |
| memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i |
timeout (error (143)) |
91.1 |
74.1 |
731443200 |
error: exception |
29.2 |
13.1 |
457789440 |
unknown |
55.1 |
34.3 |
2069577728 |
timeout (error (143)) |
91.8 |
51.6 |
2137665536 |
unknown |
9.16 |
3.31 |
256040960 |
timeout (error (143)) |
90.8 |
62.2 |
1027452928 |
timeout (error (143)) |
96.8 |
69.9 |
2200625152 |
timeout (error (143)) |
96.4 |
71.0 |
2211254272 |
timeout (error (143)) |
96.8 |
74.5 |
2228527104 |
timeout (error (143)) |
96.5 |
70.9 |
2212962304 |
timeout (error (143)) |
95.5 |
68.4 |
2200043520 |
timeout (error (143)) |
96.7 |
66.4 |
2194169856 |
unknown |
58.1 |
35.1 |
2179825664 |
timeout (error (143)) |
91.5 |
50.3 |
1989206016 |
| memsafety-ext/dll_extends_pointer_true-valid-memsafety.i |
timeout (error (143)) |
90.7 |
48.4 |
643489792 |
timeout (error (143)) |
96.0 |
63.9 |
651653120 |
timeout (error (143)) |
92.1 |
71.6 |
2203402240 |
timeout (error (143)) |
92.3 |
65.9 |
2195079168 |
unknown |
13.0 |
4.52 |
353329152 |
timeout (error (143)) |
90.4 |
53.2 |
650211328 |
timeout (error (143)) |
95.8 |
68.6 |
2221166592 |
timeout (error (143)) |
96.0 |
66.7 |
2261839872 |
timeout (error (143)) |
96.3 |
73.4 |
2222059520 |
timeout (error (143)) |
95.8 |
67.5 |
2253586432 |
timeout (error (143)) |
96.1 |
74.0 |
2226450432 |
timeout (error (143)) |
95.7 |
66.8 |
2219814912 |
timeout (error (143)) |
91.7 |
67.9 |
2223288320 |
timeout (error (143)) |
91.7 |
64.5 |
2214567936 |
| memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i |
timeout (error (143)) |
91.6 |
69.2 |
476741632 |
timeout (error (143)) |
91.0 |
65.3 |
448819200 |
timeout (error (143)) |
92.2 |
64.9 |
2186141696 |
timeout (error (143)) |
91.9 |
59.4 |
2252058624 |
unknown |
17.2 |
5.93 |
475226112 |
timeout (error (143)) |
92.7 |
67.2 |
515063808 |
timeout (error (143)) |
96.2 |
73.6 |
2185162752 |
timeout (error (143)) |
96.3 |
61.0 |
2190266368 |
timeout (error (143)) |
96.3 |
74.8 |
2181328896 |
timeout (error (143)) |
95.8 |
67.1 |
2191257600 |
timeout (error (143)) |
96.3 |
73.9 |
2188910592 |
timeout (error (143)) |
95.8 |
61.5 |
2193276928 |
timeout (error (143)) |
91.0 |
65.3 |
2204180480 |
timeout (error (143)) |
92.1 |
61.5 |
1975296000 |
| memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i |
timeout (error (143)) |
92.9 |
66.9 |
545804288 |
timeout (error (143)) |
91.7 |
63.3 |
519589888 |
timeout (error (143)) |
90.6 |
66.2 |
2189590528 |
timeout (error (143)) |
92.7 |
62.4 |
2132172800 |
unknown |
21.7 |
8.08 |
768356352 |
error: exception |
26.6 |
9.81 |
396812288 |
timeout (error (143)) |
96.1 |
74.8 |
2200870912 |
timeout (error (143)) |
95.9 |
57.7 |
2228146176 |
timeout (error (143)) |
96.3 |
73.1 |
2219651072 |
timeout (error (143)) |
96.1 |
64.7 |
2225070080 |
timeout (error (143)) |
96.1 |
74.7 |
2206560256 |
timeout (error (143)) |
96.1 |
64.2 |
2240491520 |
timeout (error (143)) |
91.5 |
69.6 |
2211934208 |
timeout (error (143)) |
92.2 |
65.1 |
2196566016 |
| memsafety-ext/tree_of_cslls_true-valid-memsafety.i |
timeout (error (143)) |
90.4 |
61.6 |
601300992 |
timeout (error (143)) |
91.7 |
61.1 |
573505536 |
timeout (error (143)) |
91.1 |
72.5 |
2191228928 |
timeout (error (143)) |
95.8 |
63.4 |
2206306304 |
unknown |
25.9 |
9.26 |
909152256 |
timeout (error (143)) |
94.7 |
60.8 |
628477952 |
timeout (error (143)) |
96.6 |
70.2 |
2364768256 |
timeout (error (143)) |
95.9 |
49.5 |
2206330880 |
timeout (error (143)) |
96.3 |
69.8 |
2333614080 |
timeout (error (143)) |
96.5 |
57.2 |
2208411648 |
timeout (error (143)) |
96.7 |
70.3 |
2312462336 |
timeout (error (143)) |
96.1 |
55.1 |
2207625216 |
timeout (error (143)) |
91.0 |
72.1 |
2200698880 |
timeout (error (143)) |
96.2 |
59.4 |
2198835200 |
| memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i |
timeout (error (143)) |
91.5 |
48.3 |
684478464 |
timeout (error (143)) |
91.9 |
49.1 |
682635264 |
timeout (error (143)) |
95.9 |
74.4 |
2197581824 |
timeout (error (143)) |
95.5 |
59.3 |
2198159360 |
unknown |
20.5 |
7.01 |
637161472 |
timeout (error (143)) |
91.5 |
46.3 |
670445568 |
timeout (error (143)) |
96.5 |
70.7 |
2218635264 |
timeout (error (143)) |
95.9 |
57.5 |
2204680192 |
timeout (error (143)) |
96.1 |
74.9 |
2210131968 |
timeout (error (143)) |
95.8 |
49.2 |
2190761984 |
timeout (error (143)) |
96.1 |
75.2 |
2220261376 |
timeout (error (143)) |
96.8 |
56.3 |
1926598656 |
timeout (error (143)) |
95.8 |
76.4 |
2185166848 |
timeout (error (143)) |
93.7 |
56.7 |
2216783872 |
| memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i |
timeout (error (143)) |
91.0 |
56.0 |
586907648 |
timeout (error (143)) |
92.9 |
54.0 |
574902272 |
timeout (error (143)) |
92.1 |
70.2 |
2204327936 |
timeout (error (143)) |
92.7 |
60.9 |
2220728320 |
unknown |
19.1 |
6.46 |
626548736 |
timeout (error (143)) |
91.9 |
46.9 |
644870144 |
timeout (error (143)) |
96.4 |
73.9 |
2198712320 |
timeout (error (143)) |
95.9 |
60.4 |
2202382336 |
timeout (error (143)) |
96.3 |
74.0 |
2205958144 |
timeout (error (143)) |
95.9 |
58.7 |
2207514624 |
timeout (error (143)) |
96.2 |
75.9 |
2197610496 |
timeout (error (143)) |
96.2 |
64.0 |
2200616960 |
timeout (error (143)) |
91.1 |
67.9 |
2195849216 |
timeout (error (143)) |
95.9 |
64.2 |
2204426240 |
| memsafety-ext2/split_list_test05_false-valid-deref.i |
timeout (error (143)) |
90.2 |
53.7 |
781955072 |
error: exception |
32.2 |
13.3 |
497577984 |
timeout (error (143)) |
92.6 |
65.8 |
2199486464 |
timeout (error (143)) |
95.9 |
62.6 |
2201346048 |
unknown |
33.8 |
12.6 |
1382555648 |
error: exception |
36.5 |
15.5 |
495177728 |
timeout (error (143)) |
95.6 |
70.9 |
2205536256 |
timeout (error (143)) |
96.2 |
62.8 |
2214981632 |
timeout (error (143)) |
95.9 |
69.8 |
2200412160 |
timeout (error (143)) |
96.8 |
62.2 |
2203238400 |
timeout (error (143)) |
95.5 |
72.2 |
2184941568 |
timeout (error (143)) |
92.3 |
61.2 |
2220015616 |
timeout (error (143)) |
91.9 |
67.7 |
2199830528 |
timeout (error (143)) |
95.6 |
64.6 |
2219769856 |
| memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i |
timeout (error (143)) |
90.7 |
35.8 |
739950592 |
timeout (error (143)) |
91.6 |
58.2 |
548311040 |
timeout (error (143)) |
92.6 |
65.7 |
2204581888 |
timeout (error (143)) |
90.7 |
49.3 |
2090516480 |
unknown |
35.8 |
15.0 |
1561350144 |
timeout (error (143)) |
90.3 |
49.7 |
574697472 |
timeout (error (143)) |
95.5 |
70.9 |
2207739904 |
timeout (error (143)) |
96.9 |
66.6 |
2216558592 |
timeout (error (143)) |
96.4 |
73.8 |
2208088064 |
timeout (error (143)) |
95.9 |
65.2 |
2232410112 |
timeout (error (143)) |
96.3 |
73.8 |
2187788288 |
timeout (error (143)) |
95.9 |
67.0 |
2197815296 |
timeout (error (143)) |
92.8 |
68.9 |
2209742848 |
timeout (error (143)) |
96.0 |
62.7 |
2130788352 |
| memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i |
timeout (error (143)) |
91.9 |
40.7 |
1328967680 |
timeout (error (143)) |
91.5 |
58.2 |
860876800 |
timeout (error (143)) |
92.4 |
65.9 |
2212233216 |
timeout (error (143)) |
91.4 |
53.4 |
1626537984 |
unknown |
44.4 |
21.1 |
2149883904 |
timeout (error (143)) |
91.3 |
57.5 |
861904896 |
timeout (error (143)) |
95.7 |
65.8 |
2205310976 |
timeout (error (143)) |
95.9 |
66.8 |
2174500864 |
timeout (error (143)) |
96.4 |
70.4 |
2184470528 |
timeout (error (143)) |
95.3 |
64.6 |
2200932352 |
timeout (error (143)) |
95.7 |
71.5 |
2193170432 |
timeout (error (143)) |
96.2 |
67.3 |
2199613440 |
timeout (error (143)) |
91.9 |
67.5 |
2202292224 |
timeout (error (143)) |
91.8 |
53.5 |
2096758784 |
| memsafety-ext2/length_test03_false-valid-memtrack.i |
timeout (error (143)) |
90.5 |
55.0 |
659394560 |
error: exception |
64.2 |
38.7 |
518963200 |
timeout (error (143)) |
91.0 |
66.5 |
2184716288 |
timeout (error (143)) |
92.5 |
62.6 |
2225827840 |
unknown |
14.8 |
5.09 |
466583552 |
timeout (error (143)) |
90.4 |
62.6 |
695590912 |
timeout (error (143)) |
96.5 |
73.3 |
2172268544 |
timeout (error (143)) |
96.2 |
66.6 |
2218156032 |
timeout (error (143)) |
96.9 |
70.3 |
2199216128 |
timeout (error (143)) |
95.9 |
66.1 |
2217648128 |
timeout (error (143)) |
96.1 |
73.8 |
2182930432 |
timeout (error (143)) |
96.2 |
72.5 |
2215137280 |
timeout (error (143)) |
96.4 |
75.3 |
2190467072 |
timeout (error (143)) |
92.5 |
61.4 |
2234036224 |
| memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i |
timeout (error (143)) |
91.2 |
45.2 |
748437504 |
timeout (error: exception) |
90.3 |
49.8 |
599867392 |
timeout (error (143)) |
93.2 |
68.0 |
2183712768 |
timeout (error (143)) |
91.8 |
58.4 |
1607430144 |
unknown |
13.8 |
4.84 |
382693376 |
timeout (error (143)) |
91.4 |
44.9 |
623607808 |
timeout (error (143)) |
96.3 |
74.0 |
2168651776 |
timeout (error (143)) |
97.3 |
63.8 |
2217783296 |
timeout (error (143)) |
96.0 |
73.1 |
2192977920 |
timeout (error (143)) |
97.1 |
64.5 |
2191421440 |
timeout (error (143)) |
96.3 |
71.4 |
2194407424 |
timeout (error (143)) |
96.0 |
70.9 |
2232070144 |
timeout (error (143)) |
91.6 |
68.8 |
2182344704 |
timeout (error (143)) |
92.8 |
58.8 |
1632329728 |
| memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i |
timeout (error: exception) |
91.0 |
36.3 |
801284096 |
timeout (error (143)) |
92.7 |
58.0 |
590618624 |
timeout (error (143)) |
96.2 |
73.9 |
2198814720 |
timeout (error (143)) |
91.3 |
53.1 |
2238013440 |
unknown |
37.3 |
15.6 |
1633677312 |
timeout (error (143)) |
91.9 |
56.8 |
585969664 |
timeout (error (143)) |
96.1 |
74.2 |
2185961472 |
timeout (error (143)) |
96.9 |
66.2 |
2208526336 |
timeout (error (143)) |
96.3 |
73.1 |
2194231296 |
timeout (error (143)) |
96.0 |
64.5 |
2221772800 |
timeout (error (143)) |
95.4 |
72.1 |
2186956800 |
timeout (error (143)) |
96.0 |
66.7 |
2269462528 |
timeout (error (143)) |
92.8 |
67.0 |
2201460736 |
timeout (error (143)) |
91.4 |
53.2 |
2123513856 |
| memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i |
timeout (error (143)) |
92.1 |
40.3 |
732655616 |
timeout (error (143)) |
90.8 |
55.5 |
961564672 |
timeout (error (143)) |
91.8 |
68.4 |
2213249024 |
timeout (error (143)) |
91.8 |
54.0 |
2132676608 |
unknown |
47.0 |
20.9 |
2140454912 |
timeout (error (143)) |
92.2 |
59.8 |
803762176 |
timeout (error (143)) |
96.6 |
68.9 |
2188910592 |
timeout (error (143)) |
95.8 |
67.4 |
2195599360 |
timeout (error (143)) |
95.8 |
71.8 |
2194198528 |
timeout (error (143)) |
96.7 |
65.0 |
2246762496 |
timeout (error (143)) |
96.4 |
69.4 |
2189918208 |
timeout (error (143)) |
95.9 |
67.8 |
2193526784 |
timeout (error (143)) |
92.9 |
68.5 |
2194173952 |
timeout (error (143)) |
93.0 |
56.5 |
2081120256 |
| memsafety-ext2/length_test03_true-valid-memsafety.i |
timeout (error (143)) |
92.6 |
57.9 |
747266048 |
error: exception |
54.3 |
29.7 |
549154816 |
timeout (error (143)) |
95.4 |
72.2 |
2192252928 |
timeout (error (143)) |
91.1 |
61.0 |
2244624384 |
unknown |
15.2 |
5.26 |
463597568 |
error: exception |
86.5 |
56.3 |
733163520 |
timeout (error (143)) |
96.0 |
73.6 |
2200293376 |
timeout (error (143)) |
95.8 |
67.5 |
2228502528 |
timeout (error (143)) |
96.6 |
74.4 |
2184638464 |
timeout (error (143)) |
96.1 |
63.6 |
2205646848 |
timeout (error (143)) |
97.6 |
71.1 |
2192551936 |
timeout (error (143)) |
96.2 |
67.7 |
2237784064 |
timeout (error (143)) |
91.1 |
68.1 |
2192461824 |
timeout (error (143)) |
96.0 |
67.1 |
2216865792 |
| memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i |
timeout (error (143)) |
90.8 |
44.7 |
691974144 |
timeout (error (143)) |
90.7 |
51.4 |
568860672 |
timeout (error (143)) |
93.1 |
72.0 |
2170843136 |
timeout (error (143)) |
92.3 |
57.5 |
1637797888 |
unknown |
14.9 |
5.09 |
453898240 |
timeout (error (143)) |
92.0 |
47.0 |
688918528 |
timeout (error (143)) |
96.2 |
71.0 |
2232336384 |
timeout (error (143)) |
97.3 |
65.5 |
2181488640 |
timeout (error (143)) |
96.5 |
73.2 |
2187431936 |
timeout (error (143)) |
97.2 |
64.6 |
2230833152 |
timeout (error (143)) |
95.8 |
71.6 |
2175496192 |
timeout (error (143)) |
95.3 |
63.5 |
2208886784 |
timeout (error (143)) |
91.0 |
68.3 |
2171232256 |
timeout (error (143)) |
92.1 |
59.1 |
1572356096 |
| memsafety-ext2/split_list_test05_true-valid-memsafety.i |
timeout (error (143)) |
90.4 |
54.0 |
778883072 |
error: exception |
39.5 |
17.7 |
512077824 |
timeout (error (143)) |
96.8 |
71.1 |
2195972096 |
timeout (error (143)) |
96.0 |
62.7 |
2204688384 |
unknown |
29.7 |
11.5 |
1181458432 |
error: exception |
34.6 |
14.3 |
507236352 |
timeout (error (143)) |
97.1 |
68.8 |
2225340416 |
timeout (error (143)) |
95.4 |
60.8 |
2210967552 |
timeout (error (143)) |
95.9 |
69.1 |
2212687872 |
timeout (error (143)) |
97.8 |
62.2 |
2204491776 |
timeout (error (143)) |
96.9 |
69.4 |
2216488960 |
timeout (error (143)) |
96.3 |
60.3 |
1940086784 |
timeout (error (143)) |
91.4 |
67.6 |
2178293760 |
timeout (error (143)) |
96.0 |
61.9 |
2200875008 |
| list-ext-properties/960521-1_1_false-valid-deref.i |
false(valid-deref) |
15.1 |
5.68 |
289579008 |
false(valid-deref) |
16.0 |
6.48 |
301035520 |
unknown |
35.7 |
17.2 |
1252048896 |
false(valid-deref) |
32.5 |
11.4 |
539463680 |
unknown |
9.52 |
3.50 |
273100800 |
false(valid-deref) |
17.1 |
6.63 |
305557504 |
timeout (error (143)) |
95.8 |
73.7 |
2165530624 |
false(valid-deref) |
88.2 |
49.6 |
1455214592 |
timeout (error (143)) |
94.8 |
72.1 |
2177843200 |
false(valid-deref) |
89.4 |
50.0 |
1512378368 |
timeout (error (143)) |
96.2 |
71.7 |
2175709184 |
timeout (error (143)) |
92.1 |
51.9 |
1418993664 |
unknown |
44.0 |
20.4 |
1366806528 |
false(valid-deref) |
33.2 |
11.5 |
540610560 |
| list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i |
timeout (error (143)) |
91.0 |
59.0 |
799100928 |
timeout (error (143)) |
91.8 |
59.0 |
575496192 |
timeout (error (143)) |
91.9 |
68.4 |
2195132416 |
timeout (error (143)) |
93.4 |
64.4 |
2236297216 |
unknown |
15.1 |
5.12 |
382849024 |
timeout (error (143)) |
91.7 |
52.4 |
627011584 |
timeout (error (143)) |
97.8 |
73.1 |
2177302528 |
timeout (error (143)) |
95.6 |
67.9 |
2194173952 |
timeout (error (143)) |
96.1 |
74.6 |
2161192960 |
timeout (error (143)) |
96.1 |
67.4 |
2179481600 |
timeout (error (143)) |
96.2 |
75.2 |
2160087040 |
timeout (error (143)) |
91.8 |
60.6 |
2100162560 |
timeout (error (143)) |
93.3 |
68.9 |
2196377600 |
timeout (error (143)) |
95.7 |
64.8 |
2238332928 |
| list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i |
false(valid-deref) |
12.2 |
4.51 |
288133120 |
false(valid-deref) |
12.1 |
4.60 |
286515200 |
timeout (error (143)) |
91.1 |
68.0 |
2205835264 |
false(valid-deref) |
11.5 |
4.61 |
283054080 |
unknown |
13.7 |
4.77 |
370335744 |
false(valid-deref) |
12.2 |
4.66 |
280006656 |
timeout (error (143)) |
96.4 |
73.6 |
2174369792 |
false(valid-deref) |
12.3 |
4.66 |
277356544 |
timeout (error (143)) |
96.4 |
72.7 |
2168053760 |
false(valid-deref) |
12.4 |
4.66 |
279339008 |
timeout (error (143)) |
95.5 |
70.1 |
2178396160 |
false(valid-deref) |
13.5 |
5.74 |
277024768 |
timeout (error (143)) |
91.3 |
65.2 |
2200371200 |
false(valid-deref) |
12.4 |
4.78 |
284090368 |
| list-ext-properties/960521-1_1_false-valid-free.i |
false(valid-free) |
20.3 |
8.12 |
340041728 |
false(valid-free) |
20.7 |
8.11 |
338739200 |
unknown |
39.7 |
17.4 |
1265639424 |
false(valid-free) |
46.5 |
16.5 |
706383872 |
unknown |
9.54 |
3.43 |
273510400 |
false(valid-free) |
23.6 |
9.47 |
366227456 |
timeout (error (143)) |
94.7 |
73.2 |
2164490240 |
timeout (error (143)) |
91.7 |
49.3 |
1471107072 |
timeout (error (143)) |
95.9 |
73.7 |
2169774080 |
timeout (error (143)) |
91.4 |
50.6 |
1665036288 |
timeout (error (143)) |
95.5 |
72.8 |
2166013952 |
timeout (error (143)) |
94.0 |
52.6 |
1573859328 |
unknown |
43.0 |
19.5 |
1239625728 |
false(valid-free) |
47.3 |
16.8 |
716193792 |
| list-ext-properties/test-0158_1_false-valid-free.i |
false(valid-free) |
10.6 |
3.93 |
259465216 |
false(valid-free) |
10.3 |
3.75 |
253517824 |
timeout (error (143)) |
91.5 |
72.6 |
2193489920 |
false(valid-free) |
10.1 |
3.69 |
253927424 |
unknown |
8.58 |
3.23 |
249151488 |
false(valid-free) |
9.94 |
3.68 |
257515520 |
timeout (error (143)) |
95.7 |
72.4 |
2182942720 |
false(valid-free) |
10.3 |
3.74 |
256700416 |
timeout (error (143)) |
96.0 |
71.6 |
2178748416 |
false(valid-free) |
10.9 |
3.81 |
261537792 |
timeout (error (143)) |
96.1 |
69.0 |
2193776640 |
false(valid-free) |
12.3 |
5.23 |
259231744 |
timeout (error (143)) |
91.4 |
73.2 |
2186481664 |
false(valid-free) |
10.2 |
3.76 |
254210048 |
| list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i |
unknown: overapproxcex |
28.5 |
13.2 |
445878272 |
unknown: overapproxcex |
30.4 |
13.3 |
426954752 |
timeout (error (143)) |
95.9 |
75.4 |
2182770688 |
unknown: overapproxcex |
28.0 |
12.8 |
456249344 |
unknown |
8.65 |
3.18 |
257249280 |
unknown: overapproxcex |
29.0 |
13.3 |
448262144 |
timeout (error (143)) |
96.2 |
73.7 |
2195906560 |
unknown: overapproxcex |
28.5 |
12.9 |
458661888 |
timeout (error (143)) |
96.2 |
72.7 |
2184560640 |
unknown: overapproxcex |
29.3 |
13.2 |
449847296 |
timeout (error (143)) |
95.5 |
69.3 |
2198929408 |
unknown: overapproxcex |
33.9 |
17.5 |
440905728 |
timeout (error (143)) |
96.1 |
76.0 |
2172518400 |
unknown: overapproxcex |
28.7 |
13.2 |
444067840 |
| list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i |
unknown: overapproxcex |
8.50 |
3.20 |
232607744 |
unknown: overapproxcex |
8.35 |
3.14 |
238940160 |
unknown |
37.5 |
22.4 |
1613078528 |
unknown: overapproxcex |
7.94 |
3.01 |
231731200 |
unknown |
7.76 |
2.93 |
251502592 |
unknown: overapproxcex |
8.20 |
3.15 |
228634624 |
timeout (error (143)) |
96.2 |
69.1 |
2198470656 |
unknown: overapproxcex |
8.51 |
3.23 |
233811968 |
timeout (error (143)) |
96.3 |
70.2 |
2179330048 |
unknown: overapproxcex |
8.48 |
3.13 |
238444544 |
timeout (error (143)) |
96.5 |
73.1 |
2170716160 |
unknown: overapproxcex |
9.28 |
3.98 |
239583232 |
unknown |
41.7 |
24.7 |
1768366080 |
unknown: overapproxcex |
7.98 |
3.15 |
230637568 |
| list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i |
unknown: overapproxcex |
27.7 |
10.8 |
406818816 |
unknown: overapproxcex |
34.5 |
14.7 |
449986560 |
timeout (error (143)) |
91.7 |
65.9 |
2185097216 |
timeout (error (143)) |
96.0 |
56.0 |
2184962048 |
unknown |
11.6 |
4.20 |
332386304 |
unknown: overapproxcex |
38.8 |
15.8 |
483274752 |
timeout (error (143)) |
90.8 |
65.9 |
2191757312 |
timeout (error (143)) |
97.3 |
66.5 |
2168352768 |
timeout (error (143)) |
91.3 |
67.7 |
2214223872 |
timeout (error (143)) |
96.8 |
68.0 |
2218594304 |
timeout (error (143)) |
95.4 |
72.9 |
2174369792 |
timeout (error (143)) |
95.1 |
66.7 |
2223017984 |
timeout (error (143)) |
91.3 |
64.7 |
2180775936 |
timeout (error (143)) |
94.9 |
61.6 |
2030751744 |
| list-ext-properties/960521-1_1_true-valid-memsafety.i |
timeout (error (143)) |
90.2 |
50.7 |
598061056 |
timeout (error (143)) |
91.0 |
68.8 |
497356800 |
unknown |
26.7 |
9.89 |
785203200 |
timeout (error (143)) |
92.2 |
50.7 |
956919808 |
unknown |
9.59 |
3.51 |
273457152 |
timeout (error (143)) |
91.8 |
64.9 |
540217344 |
timeout (error (143)) |
94.0 |
75.0 |
1914933248 |
timeout (error (143)) |
90.9 |
52.2 |
1651183616 |
timeout (error (143)) |
95.7 |
75.7 |
1858469888 |
timeout (error (143)) |
91.1 |
53.1 |
1497284608 |
timeout (error (143)) |
94.8 |
74.0 |
2167734272 |
timeout (error (143)) |
91.0 |
58.9 |
1411432448 |
unknown |
25.7 |
9.28 |
839553024 |
timeout (error (143)) |
90.4 |
51.2 |
951615488 |
| list-ext-properties/list-ext_1_true-valid-memsafety.i |
timeout (error (143)) |
90.7 |
52.5 |
643596288 |
timeout (error (143)) |
91.1 |
63.9 |
497061888 |
timeout (error (143)) |
91.8 |
66.6 |
2202587136 |
timeout (error (143)) |
93.3 |
62.0 |
2206502912 |
unknown |
13.4 |
4.65 |
408793088 |
timeout (error (143)) |
91.1 |
61.2 |
527966208 |
timeout (error (143)) |
95.6 |
69.8 |
2174545920 |
timeout (error (143)) |
96.3 |
65.4 |
2094739456 |
timeout (error (143)) |
96.2 |
72.8 |
2169446400 |
timeout (error (143)) |
95.8 |
68.1 |
2181345280 |
timeout (error (143)) |
95.8 |
69.5 |
2158436352 |
timeout (error (143)) |
95.1 |
64.7 |
2206539776 |
timeout (error (143)) |
93.3 |
72.4 |
2195529728 |
timeout (error (143)) |
90.4 |
62.5 |
2222735360 |
| list-ext-properties/list-ext_flag_1_true-valid-memsafety.i |
timeout (error (143)) |
91.2 |
56.4 |
621899776 |
timeout (error (143)) |
91.5 |
66.5 |
551759872 |
timeout (error (143)) |
91.6 |
68.7 |
2208296960 |
timeout (error (143)) |
92.0 |
63.5 |
2220498944 |
unknown |
15.1 |
5.32 |
432979968 |
timeout (error (143)) |
93.2 |
61.6 |
607117312 |
timeout (error (143)) |
95.9 |
72.1 |
2174214144 |
timeout (error (143)) |
96.0 |
70.2 |
2169671680 |
timeout (error (143)) |
96.0 |
70.8 |
2170535936 |
timeout (error (143)) |
96.0 |
62.4 |
2198163456 |
timeout (error (143)) |
95.8 |
72.5 |
2166190080 |
timeout (error (143)) |
95.6 |
65.2 |
2160205824 |
timeout (error (143)) |
91.5 |
67.2 |
2201489408 |
timeout (error (143)) |
91.2 |
62.0 |
2209161216 |
| list-ext-properties/simple-ext_1_true-valid-memsafety.i |
timeout (error (143)) |
91.9 |
53.5 |
607744000 |
error: exception |
86.2 |
63.6 |
504971264 |
timeout (error (143)) |
90.7 |
67.2 |
2197430272 |
timeout (error (143)) |
91.2 |
56.2 |
2215976960 |
unknown |
10.7 |
3.93 |
336158720 |
timeout (error (143)) |
90.9 |
62.4 |
535425024 |
timeout (error (143)) |
96.3 |
75.4 |
2181632000 |
timeout (error (143)) |
96.0 |
72.9 |
2194493440 |
timeout (error (143)) |
96.1 |
75.2 |
2180370432 |
timeout (error (143)) |
96.0 |
73.4 |
2174955520 |
timeout (error (143)) |
95.6 |
73.8 |
2175188992 |
timeout (error (143)) |
95.3 |
69.9 |
2179710976 |
timeout (error (143)) |
92.0 |
65.8 |
2183671808 |
timeout (error (143)) |
91.8 |
53.4 |
2195599360 |
| list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i |
true |
32.8 |
15.2 |
476610560 |
true |
32.7 |
14.9 |
487505920 |
unknown |
25.8 |
11.0 |
1009082368 |
true |
32.6 |
14.9 |
505344000 |
unknown |
8.37 |
3.11 |
254291968 |
true |
32.3 |
14.8 |
500539392 |
timeout (error (143)) |
96.6 |
73.5 |
2249158656 |
true |
32.0 |
14.6 |
487354368 |
timeout (error (143)) |
96.7 |
73.5 |
2192224256 |
true |
33.1 |
15.1 |
477671424 |
timeout (error (143)) |
95.8 |
64.9 |
2210742272 |
true |
41.3 |
23.0 |
485359616 |
unknown |
27.9 |
11.2 |
1231454208 |
true |
33.4 |
15.3 |
488845312 |
| list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i |
true |
10.7 |
4.04 |
270569472 |
true |
10.8 |
4.04 |
275415040 |
timeout (error (143)) |
91.2 |
71.7 |
2197561344 |
true |
11.1 |
4.18 |
272175104 |
unknown |
8.45 |
3.11 |
252829696 |
true |
10.7 |
3.94 |
272666624 |
timeout (error (143)) |
95.8 |
69.7 |
2203799552 |
true |
10.4 |
3.90 |
276131840 |
timeout (error (143)) |
95.3 |
68.1 |
2194386944 |
true |
10.3 |
3.91 |
282066944 |
timeout (error (143)) |
96.2 |
72.0 |
2178400256 |
true |
11.8 |
5.16 |
269799424 |
timeout (error (143)) |
95.8 |
76.2 |
2194702336 |
true |
10.8 |
4.14 |
272625664 |
| list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i |
timeout (error (143)) |
91.1 |
50.2 |
655372288 |
timeout (error (143)) |
91.2 |
56.4 |
587538432 |
timeout (error (143)) |
91.4 |
63.6 |
2180628480 |
timeout (error (143)) |
95.6 |
63.3 |
2046349312 |
unknown |
10.4 |
3.74 |
277336064 |
timeout (error (143)) |
92.5 |
56.2 |
623448064 |
timeout (error (143)) |
91.2 |
69.1 |
2167353344 |
timeout (error (143)) |
94.2 |
62.5 |
1994309632 |
timeout (error (143)) |
91.2 |
66.8 |
2174857216 |
timeout (error (143)) |
92.4 |
61.7 |
2175221760 |
timeout (error (143)) |
93.5 |
68.3 |
2162290688 |
timeout (error (143)) |
95.2 |
61.4 |
2190049280 |
timeout (error (143)) |
93.6 |
66.9 |
2167521280 |
timeout (error (143)) |
96.0 |
61.7 |
1953841152 |
| list-ext-properties/test-0504_1_true-valid-memsafety.i |
timeout (error (143)) |
92.1 |
52.7 |
770887680 |
timeout (error (143)) |
92.1 |
56.9 |
608186368 |
timeout (error (143)) |
96.2 |
71.1 |
2180231168 |
timeout (error (143)) |
93.9 |
69.6 |
2188185600 |
unknown |
14.2 |
4.98 |
373288960 |
timeout (error (143)) |
92.9 |
40.2 |
917434368 |
timeout (error (143)) |
96.0 |
77.8 |
2160758784 |
timeout (error (143)) |
96.0 |
73.2 |
2184675328 |
timeout (error (143)) |
96.0 |
76.8 |
2160742400 |
timeout (error (143)) |
96.0 |
73.5 |
2183659520 |
timeout (error (143)) |
95.8 |
77.8 |
2168029184 |
timeout (error (143)) |
95.7 |
73.4 |
2172727296 |
timeout (error (143)) |
95.9 |
74.6 |
2196619264 |
timeout (error (143)) |
94.7 |
67.2 |
2208415744 |
| list-ext-properties/test-0513_1_true-valid-memsafety.i |
error: exception |
73.9 |
42.8 |
577204224 |
timeout (error (143)) |
93.0 |
57.5 |
626827264 |
timeout (error (143)) |
95.5 |
78.1 |
2201985024 |
timeout (error (143)) |
91.4 |
55.3 |
2150133760 |
unknown |
22.3 |
8.62 |
979406848 |
timeout (error (143)) |
90.5 |
53.1 |
674910208 |
timeout (error (143)) |
95.9 |
73.1 |
2206711808 |
timeout (error (143)) |
96.5 |
61.9 |
2216706048 |
timeout (error (143)) |
95.7 |
69.4 |
2209378304 |
timeout (error (143)) |
95.6 |
59.6 |
2221502464 |
timeout (error (143)) |
91.2 |
69.6 |
2179833856 |
timeout (error (143)) |
96.2 |
58.5 |
2213478400 |
timeout (error (143)) |
93.7 |
74.7 |
2180423680 |
timeout (error (143)) |
91.7 |
53.7 |
2199527424 |
| memory-alloca/c.03-alloca_true-valid-memsafety.i |
true |
16.2 |
6.37 |
325148672 |
true |
16.0 |
6.23 |
333524992 |
timeout (error (143)) |
92.9 |
67.8 |
2192879616 |
true |
15.4 |
5.90 |
333389824 |
unknown |
9.46 |
3.53 |
262225920 |
true |
15.9 |
6.01 |
334888960 |
timeout (error (143)) |
95.6 |
78.5 |
2166665216 |
true |
15.5 |
6.05 |
333864960 |
timeout (error (143)) |
96.0 |
77.2 |
2176212992 |
true |
15.4 |
6.01 |
335409152 |
timeout (error (143)) |
95.7 |
75.3 |
2161479680 |
true |
16.6 |
6.54 |
341180416 |
timeout (error (143)) |
93.2 |
71.1 |
2199851008 |
true |
15.4 |
6.04 |
334098432 |
| ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c |
false(valid-deref) |
9.15 |
3.46 |
239906816 |
false(valid-deref) |
9.15 |
3.48 |
238460928 |
unknown |
23.0 |
7.97 |
612057088 |
false(valid-deref) |
8.67 |
3.37 |
239095808 |
unknown |
8.93 |
3.31 |
269070336 |
false(valid-deref) |
8.80 |
3.33 |
234242048 |
unknown |
48.7 |
28.8 |
1420386304 |
false(valid-deref) |
8.96 |
3.41 |
238178304 |
unknown |
48.8 |
28.1 |
1546248192 |
false(valid-deref) |
9.47 |
3.58 |
238104576 |
unknown |
57.1 |
34.7 |
1847951360 |
false(valid-deref) |
9.29 |
3.64 |
237035520 |
unknown |
22.6 |
8.32 |
601636864 |
false(valid-deref) |
8.86 |
3.41 |
237137920 |
| ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c |
false(valid-deref) |
10.3 |
3.95 |
251518976 |
false(valid-deref) |
10.1 |
3.69 |
255406080 |
unknown |
22.5 |
8.05 |
598433792 |
false(valid-deref) |
10.2 |
3.82 |
255152128 |
unknown |
10.0 |
3.64 |
273539072 |
false(valid-deref) |
10.3 |
3.84 |
260714496 |
unknown |
49.1 |
29.5 |
1539452928 |
false(valid-deref) |
10.3 |
3.84 |
252923904 |
unknown |
50.6 |
30.3 |
1501847552 |
false(valid-deref) |
10.1 |
3.81 |
258588672 |
unknown |
56.2 |
34.5 |
1636610048 |
false(valid-deref) |
10.2 |
3.96 |
259801088 |
unknown |
24.1 |
8.25 |
626995200 |
false(valid-deref) |
10.2 |
3.82 |
260239360 |
| ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c |
false(valid-deref) |
7.05 |
2.82 |
229429248 |
false(valid-deref) |
7.02 |
2.74 |
227983360 |
unknown |
9.18 |
3.33 |
266653696 |
false(valid-deref) |
7.85 |
3.09 |
231362560 |
unknown |
8.08 |
3.05 |
250466304 |
false(valid-deref) |
7.32 |
2.93 |
233377792 |
unknown |
11.5 |
3.97 |
349106176 |
false(valid-deref) |
7.16 |
2.82 |
228593664 |
unknown |
11.7 |
4.22 |
332484608 |
false(valid-deref) |
7.31 |
2.87 |
226979840 |
unknown |
14.9 |
6.73 |
341975040 |
false(valid-deref) |
7.96 |
3.30 |
231600128 |
unknown |
9.21 |
3.31 |
270680064 |
false(valid-deref) |
7.40 |
2.97 |
232067072 |
| ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c |
false(valid-deref) |
7.39 |
2.88 |
237883392 |
false(valid-deref) |
7.38 |
2.93 |
229748736 |
unknown |
11.7 |
4.09 |
344338432 |
false(valid-deref) |
7.26 |
2.92 |
232480768 |
unknown |
8.67 |
3.17 |
250068992 |
false(valid-deref) |
7.04 |
2.92 |
235646976 |
unknown |
16.4 |
5.60 |
499290112 |
false(valid-deref) |
7.32 |
2.79 |
226672640 |
unknown |
17.0 |
5.82 |
503025664 |
false(valid-deref) |
7.42 |
2.89 |
236732416 |
unknown |
19.4 |
8.02 |
499093504 |
false(valid-deref) |
7.94 |
3.23 |
231575552 |
unknown |
11.2 |
4.09 |
333717504 |
false(valid-deref) |
7.49 |
2.99 |
230506496 |
| ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c |
timeout (error: exception) |
91.1 |
43.8 |
1052119040 |
timeout (error (143)) |
90.3 |
49.0 |
824180736 |
unknown |
17.3 |
5.96 |
585089024 |
timeout (error (143)) |
91.3 |
46.6 |
840642560 |
unknown |
9.71 |
3.45 |
269668352 |
timeout (error (143)) |
91.8 |
50.7 |
864550912 |
unknown |
26.4 |
10.1 |
799481856 |
timeout (error (143)) |
91.3 |
45.4 |
908275712 |
unknown |
26.5 |
9.99 |
834199552 |
timeout (error (143)) |
91.4 |
45.8 |
1016090624 |
unknown |
29.2 |
12.4 |
835616768 |
timeout (error (143)) |
91.3 |
47.9 |
879476736 |
unknown |
18.9 |
6.72 |
562282496 |
timeout (error (143)) |
90.8 |
46.0 |
903131136 |
| ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c |
timeout (error: exception) |
90.3 |
42.8 |
980320256 |
timeout (error (143)) |
95.6 |
50.7 |
826458112 |
unknown |
18.9 |
6.51 |
540389376 |
timeout (error: exception) |
90.8 |
41.6 |
845148160 |
unknown |
9.72 |
3.65 |
265154560 |
timeout (error (143)) |
91.0 |
43.4 |
877535232 |
unknown |
24.3 |
9.00 |
847011840 |
timeout (error (143)) |
92.8 |
39.6 |
891813888 |
unknown |
23.4 |
8.47 |
803852288 |
timeout (error (143)) |
91.3 |
38.7 |
906629120 |
unknown |
30.8 |
12.5 |
831811584 |
timeout (error (143)) |
90.6 |
42.5 |
998232064 |
unknown |
18.3 |
6.40 |
574832640 |
timeout (error (143)) |
91.3 |
41.3 |
815247360 |
| ldv-memsafety/memset2_false-valid-deref-write.c |
false(valid-deref) |
6.96 |
2.74 |
227172352 |
false(valid-deref) |
6.84 |
2.73 |
230121472 |
unknown |
6.80 |
2.58 |
226717696 |
false(valid-deref) |
7.11 |
2.76 |
242225152 |
unknown |
6.62 |
2.62 |
204808192 |
false(valid-deref) |
7.07 |
2.78 |
239759360 |
unknown |
8.43 |
3.01 |
265539584 |
false(valid-deref) |
6.66 |
2.70 |
232161280 |
unknown |
8.71 |
3.17 |
264331264 |
false(valid-deref) |
6.71 |
2.72 |
230072320 |
unknown |
9.39 |
3.87 |
253837312 |
false(valid-deref) |
7.03 |
2.79 |
233422848 |
unknown |
6.66 |
2.85 |
217960448 |
false(valid-deref) |
6.77 |
2.73 |
231579648 |
| ldv-memsafety/memset3_false-valid-deref-write.c |
false(valid-deref) |
7.27 |
2.80 |
239202304 |
false(valid-deref) |
6.95 |
2.82 |
240680960 |
unknown |
6.47 |
2.60 |
221503488 |
false(valid-deref) |
7.02 |
2.82 |
232517632 |
unknown |
6.45 |
2.56 |
203665408 |
false(valid-deref) |
7.20 |
2.82 |
240492544 |
unknown |
8.71 |
3.13 |
268148736 |
false(valid-deref) |
6.96 |
2.72 |
240300032 |
unknown |
9.21 |
3.23 |
270884864 |
false(valid-deref) |
7.00 |
2.71 |
237056000 |
unknown |
9.47 |
3.94 |
257851392 |
false(valid-deref) |
7.43 |
3.09 |
242159616 |
unknown |
6.90 |
2.85 |
232710144 |
false(valid-deref) |
7.05 |
2.86 |
230924288 |
| ldv-memsafety/memsetNonZero2_false-valid-deref-write.c |
false(valid-deref) |
7.02 |
2.79 |
237940736 |
false(valid-deref) |
7.01 |
2.76 |
226058240 |
unknown |
6.80 |
2.60 |
227946496 |
false(valid-deref) |
7.01 |
2.71 |
241446912 |
unknown |
6.58 |
2.46 |
203452416 |
false(valid-deref) |
7.28 |
2.78 |
226705408 |
unknown |
8.62 |
3.11 |
264208384 |
false(valid-deref) |
7.04 |
2.80 |
228995072 |
unknown |
8.51 |
3.19 |
258711552 |
false(valid-deref) |
7.10 |
2.82 |
239816704 |
unknown |
9.74 |
4.02 |
255889408 |
false(valid-deref) |
7.34 |
3.08 |
236740608 |
unknown |
7.09 |
2.76 |
221061120 |
false(valid-deref) |
7.10 |
2.79 |
234192896 |
| ldv-memsafety/memsetNonZero3_false-valid-deref-write.c |
false(valid-deref) |
7.23 |
2.85 |
241360896 |
false(valid-deref) |
7.39 |
2.91 |
236425216 |
unknown |
6.99 |
2.63 |
224780288 |
false(valid-deref) |
7.00 |
2.82 |
232624128 |
unknown |
6.60 |
2.68 |
193191936 |
false(valid-deref) |
7.09 |
2.86 |
231043072 |
unknown |
8.73 |
3.23 |
264781824 |
false(valid-deref) |
7.04 |
2.79 |
239210496 |
unknown |
8.90 |
3.22 |
271208448 |
false(valid-deref) |
6.95 |
2.74 |
236244992 |
unknown |
10.1 |
4.06 |
262549504 |
false(valid-deref) |
7.58 |
3.13 |
228876288 |
unknown |
7.01 |
2.89 |
237453312 |
false(valid-deref) |
7.03 |
2.83 |
234303488 |
| ldv-memsafety/memsetNonZero_false-valid-deref-write.c |
false(valid-deref) |
6.70 |
2.58 |
233324544 |
false(valid-deref) |
6.89 |
2.78 |
228552704 |
unknown |
7.17 |
2.68 |
226656256 |
false(valid-deref) |
6.96 |
2.69 |
235945984 |
unknown |
6.54 |
2.58 |
205238272 |
false(valid-deref) |
7.18 |
3.00 |
232206336 |
unknown |
8.73 |
3.14 |
258764800 |
false(valid-deref) |
7.26 |
2.84 |
227741696 |
unknown |
8.37 |
3.11 |
256745472 |
false(valid-deref) |
7.07 |
2.80 |
226213888 |
unknown |
10.3 |
4.20 |
263966720 |
false(valid-deref) |
6.90 |
3.06 |
222666752 |
unknown |
7.47 |
2.93 |
226422784 |
false(valid-deref) |
6.88 |
2.93 |
223809536 |
| ldv-memsafety/memset_false-valid-deref-write.c |
false(valid-deref) |
7.08 |
2.76 |
235819008 |
false(valid-deref) |
7.10 |
2.81 |
225632256 |
unknown |
6.95 |
2.60 |
227418112 |
false(valid-deref) |
6.70 |
2.73 |
227160064 |
unknown |
6.77 |
2.65 |
205967360 |
false(valid-deref) |
7.35 |
3.04 |
236847104 |
unknown |
8.56 |
3.18 |
257208320 |
false(valid-deref) |
7.04 |
2.78 |
237039616 |
unknown |
8.75 |
3.21 |
254246912 |
false(valid-deref) |
6.83 |
2.65 |
233750528 |
unknown |
10.0 |
4.32 |
265760768 |
false(valid-deref) |
7.73 |
3.21 |
222769152 |
unknown |
7.04 |
2.83 |
225951744 |
false(valid-deref) |
6.84 |
2.80 |
233709568 |
| ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c |
timeout (error: exception) |
92.2 |
48.2 |
1089654784 |
error: exception |
66.3 |
54.3 |
416550912 |
unknown |
19.9 |
6.93 |
666017792 |
error: exception |
45.7 |
31.4 |
411467776 |
unknown |
9.43 |
3.41 |
280227840 |
error: exception |
60.7 |
47.5 |
388812800 |
unknown |
55.2 |
29.7 |
1590788096 |
error: exception |
59.0 |
37.6 |
600145920 |
unknown |
53.6 |
30.3 |
1436045312 |
error: exception |
66.0 |
45.3 |
619782144 |
unknown |
60.2 |
37.2 |
1858789376 |
error: exception |
51.6 |
25.3 |
694267904 |
unknown |
20.9 |
7.21 |
609353728 |
error: exception |
59.9 |
44.9 |
447553536 |
| ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c |
true |
21.9 |
8.46 |
362430464 |
true |
17.7 |
6.82 |
339881984 |
unknown |
15.6 |
5.49 |
439705600 |
true |
25.4 |
9.30 |
391348224 |
unknown |
9.42 |
3.64 |
275640320 |
true |
20.9 |
7.71 |
341663744 |
unknown |
21.9 |
7.74 |
612900864 |
true |
31.5 |
11.0 |
546119680 |
unknown |
21.3 |
7.22 |
628051968 |
true |
33.6 |
11.6 |
531820544 |
unknown |
25.8 |
9.78 |
639680512 |
true |
37.5 |
15.3 |
536432640 |
unknown |
16.2 |
5.81 |
438603776 |
true |
25.2 |
9.09 |
399253504 |
| ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c |
true |
23.8 |
9.37 |
372822016 |
true |
22.6 |
8.95 |
374083584 |
unknown |
18.0 |
6.16 |
473178112 |
true |
48.7 |
16.9 |
628568064 |
unknown |
9.37 |
3.45 |
275247104 |
true |
29.4 |
10.9 |
454742016 |
unknown |
22.9 |
8.50 |
630775808 |
true |
62.5 |
23.7 |
902516736 |
unknown |
24.9 |
8.73 |
779624448 |
true |
60.3 |
23.3 |
861868032 |
unknown |
30.3 |
10.7 |
700362752 |
true |
72.1 |
30.9 |
1052282880 |
unknown |
18.4 |
6.53 |
453029888 |
true |
47.5 |
16.7 |
586833920 |
| ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c |
true |
22.0 |
8.57 |
364400640 |
true |
17.5 |
6.74 |
336797696 |
unknown |
16.6 |
5.69 |
423198720 |
true |
26.8 |
9.92 |
457969664 |
unknown |
9.44 |
3.51 |
264761344 |
true |
19.8 |
7.48 |
347025408 |
unknown |
21.5 |
7.32 |
665546752 |
true |
35.5 |
12.4 |
591900672 |
unknown |
21.6 |
7.81 |
689754112 |
true |
32.8 |
11.4 |
569606144 |
unknown |
24.5 |
8.82 |
703754240 |
true |
40.9 |
16.2 |
551653376 |
unknown |
16.4 |
5.83 |
419921920 |
true |
25.0 |
8.92 |
429404160 |
| ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c |
true |
23.9 |
8.93 |
370331648 |
true |
21.3 |
8.08 |
353644544 |
unknown |
12.5 |
4.45 |
336896000 |
true |
28.8 |
10.6 |
401887232 |
unknown |
8.62 |
3.24 |
251482112 |
true |
24.2 |
8.82 |
381390848 |
unknown |
14.3 |
5.01 |
464994304 |
true |
36.9 |
13.3 |
575545344 |
unknown |
14.7 |
5.10 |
444809216 |
true |
34.9 |
12.5 |
580616192 |
unknown |
17.6 |
6.47 |
441204736 |
true |
43.5 |
17.4 |
539451392 |
unknown |
11.3 |
3.98 |
324100096 |
true |
27.1 |
9.75 |
410832896 |
| ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c |
true |
17.8 |
6.76 |
343846912 |
true |
16.9 |
6.46 |
331776000 |
unknown |
17.4 |
6.04 |
424034304 |
true |
31.3 |
10.8 |
497086464 |
unknown |
9.15 |
3.36 |
278949888 |
true |
21.9 |
7.81 |
361340928 |
unknown |
26.6 |
9.04 |
674406400 |
true |
38.6 |
13.3 |
680448000 |
unknown |
24.1 |
8.44 |
686460928 |
true |
40.9 |
14.2 |
668983296 |
unknown |
24.7 |
8.75 |
650227712 |
true |
43.0 |
17.6 |
747253760 |
unknown |
17.6 |
6.15 |
424112128 |
true |
30.9 |
10.9 |
467460096 |
| ldv-memsafety/memset2_true-valid-memsafety_true-termination.c |
true |
10.2 |
3.93 |
260698112 |
true |
10.4 |
3.90 |
268804096 |
unknown |
7.11 |
2.69 |
230838272 |
true |
11.9 |
4.35 |
292225024 |
unknown |
6.42 |
2.54 |
192823296 |
true |
10.8 |
4.04 |
277282816 |
unknown |
8.54 |
3.17 |
261029888 |
true |
13.5 |
4.99 |
300146688 |
unknown |
8.67 |
3.21 |
262488064 |
true |
13.6 |
4.77 |
304013312 |
unknown |
9.21 |
3.57 |
254390272 |
true |
14.9 |
5.94 |
312475648 |
unknown |
7.22 |
2.87 |
225038336 |
true |
11.1 |
4.16 |
295948288 |
| ldv-memsafety/memset3_true-valid-memsafety_true-termination.c |
true |
10.2 |
3.81 |
272433152 |
true |
10.3 |
3.94 |
277585920 |
unknown |
6.98 |
2.73 |
226254848 |
true |
11.9 |
4.32 |
296472576 |
unknown |
6.41 |
2.59 |
196292608 |
true |
11.0 |
4.15 |
278720512 |
unknown |
9.25 |
3.39 |
263200768 |
true |
13.9 |
4.94 |
307580928 |
unknown |
8.86 |
3.19 |
271511552 |
true |
14.2 |
5.12 |
324313088 |
unknown |
9.82 |
3.92 |
256528384 |
true |
15.7 |
6.32 |
311066624 |
unknown |
7.12 |
2.93 |
223936512 |
true |
11.7 |
4.36 |
297308160 |
| ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c |
true |
10.3 |
3.92 |
258236416 |
true |
10.4 |
3.94 |
277790720 |
unknown |
7.13 |
2.70 |
229330944 |
true |
11.4 |
4.17 |
282480640 |
unknown |
6.37 |
2.49 |
191463424 |
true |
10.6 |
4.09 |
274796544 |
unknown |
8.72 |
3.21 |
270954496 |
true |
13.9 |
4.99 |
317214720 |
unknown |
8.73 |
3.22 |
262549504 |
true |
13.4 |
4.85 |
304877568 |
unknown |
9.38 |
3.59 |
260907008 |
true |
15.5 |
6.35 |
327286784 |
unknown |
6.97 |
2.75 |
217133056 |
true |
10.9 |
4.14 |
295374848 |
| ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c |
true |
10.5 |
3.89 |
276328448 |
true |
10.7 |
4.04 |
277037056 |
unknown |
7.40 |
2.83 |
231673856 |
true |
11.7 |
4.25 |
293834752 |
unknown |
6.52 |
2.52 |
192659456 |
true |
11.0 |
4.25 |
285614080 |
unknown |
8.90 |
3.22 |
265392128 |
true |
13.8 |
5.02 |
317902848 |
unknown |
9.09 |
3.30 |
267239424 |
true |
13.5 |
4.92 |
308039680 |
unknown |
9.57 |
3.93 |
259264512 |
true |
15.1 |
8.79 |
320180224 |
unknown |
7.15 |
2.90 |
234291200 |
true |
11.7 |
4.39 |
284553216 |
| ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c |
true |
10.2 |
3.85 |
267190272 |
true |
10.4 |
3.94 |
274591744 |
unknown |
7.18 |
2.75 |
226525184 |
true |
11.1 |
4.13 |
299417600 |
unknown |
6.41 |
2.55 |
194080768 |
true |
10.4 |
4.02 |
278175744 |
unknown |
8.17 |
2.99 |
253923328 |
true |
13.5 |
4.93 |
320593920 |
unknown |
8.58 |
3.18 |
261898240 |
true |
13.5 |
4.86 |
308842496 |
unknown |
9.14 |
3.75 |
263356416 |
true |
14.8 |
8.61 |
314867712 |
unknown |
7.16 |
2.90 |
227590144 |
true |
11.5 |
4.24 |
297189376 |
| ldv-memsafety/memset_true-valid-memsafety_true-termination.c |
true |
10.1 |
3.88 |
267300864 |
true |
10.4 |
3.89 |
273178624 |
unknown |
6.75 |
2.66 |
215777280 |
true |
11.1 |
4.18 |
296550400 |
unknown |
6.55 |
2.57 |
200867840 |
true |
11.0 |
4.08 |
275124224 |
unknown |
8.49 |
3.09 |
266444800 |
true |
13.3 |
4.85 |
328511488 |
unknown |
8.67 |
3.14 |
256704512 |
true |
13.4 |
4.80 |
311341056 |
unknown |
8.93 |
3.79 |
260845568 |
true |
14.6 |
5.81 |
329457664 |
unknown |
7.02 |
2.83 |
218988544 |
true |
11.2 |
4.21 |
285151232 |
| ldv-memsafety/memleaks_test22_3_false-valid-deref.i |
timeout (error (143)) |
93.2 |
57.9 |
664367104 |
timeout (error (143)) |
94.1 |
60.2 |
560353280 |
unknown |
40.8 |
15.6 |
1239863296 |
timeout (error (143)) |
91.4 |
46.2 |
1309483008 |
unknown |
14.3 |
4.95 |
360939520 |
timeout (error (143)) |
95.9 |
51.5 |
680763392 |
timeout (error (143)) |
95.5 |
78.0 |
2171760640 |
timeout (error (143)) |
95.6 |
74.4 |
2178174976 |
timeout (error (143)) |
95.6 |
76.8 |
2161053696 |
timeout (error (143)) |
95.8 |
73.3 |
2186080256 |
timeout (error (143)) |
95.5 |
76.9 |
2166345728 |
timeout (error (143)) |
96.1 |
71.6 |
2186735616 |
unknown |
45.3 |
17.7 |
1237278720 |
timeout (error (143)) |
91.1 |
45.7 |
1336152064 |
| ldv-memsafety/memleaks_test22_5_false-valid-deref.i |
timeout (error (143)) |
91.8 |
58.1 |
623046656 |
timeout (error (143)) |
96.2 |
62.1 |
604721152 |
unknown |
36.4 |
14.7 |
1133244416 |
timeout (error (143)) |
93.2 |
45.6 |
1368104960 |
unknown |
14.5 |
4.94 |
361476096 |
timeout (error (143)) |
96.4 |
59.4 |
660094976 |
timeout (error (143)) |
95.7 |
77.1 |
2193453056 |
timeout (error (143)) |
96.1 |
73.8 |
2206777344 |
timeout (error (143)) |
95.9 |
77.9 |
2173886464 |
timeout (error (143)) |
95.9 |
73.7 |
2213867520 |
timeout (error (143)) |
95.9 |
75.7 |
2177519616 |
timeout (error (143)) |
95.9 |
72.8 |
2195107840 |
unknown |
37.1 |
15.4 |
1170677760 |
timeout (error (143)) |
91.7 |
46.3 |
1402810368 |
| ldv-memsafety/memleaks_test12_false-valid-free.i |
timeout (error (143)) |
93.9 |
64.9 |
525357056 |
timeout (error (143)) |
91.2 |
58.4 |
578416640 |
timeout (error (143)) |
91.9 |
69.0 |
2190929920 |
timeout (error (143)) |
90.7 |
38.9 |
1827913728 |
unknown |
32.1 |
11.0 |
1002749952 |
error: exception |
62.7 |
23.8 |
780267520 |
timeout (error (143)) |
96.1 |
71.0 |
2202128384 |
timeout (error (143)) |
95.8 |
63.2 |
2195378176 |
timeout (error (143)) |
96.1 |
70.4 |
2184548352 |
timeout (error (143)) |
96.1 |
60.0 |
2192871424 |
timeout (error (143)) |
96.1 |
69.8 |
2172989440 |
timeout (error (143)) |
96.2 |
61.1 |
2183815168 |
timeout (error (143)) |
91.0 |
63.6 |
2188951552 |
timeout (error (143)) |
91.4 |
45.8 |
1773670400 |
| ldv-memsafety/memleaks_test17_2_false-valid-free.i |
timeout (error (143)) |
91.8 |
74.9 |
431583232 |
timeout (error (143)) |
92.4 |
70.8 |
492605440 |
unknown |
41.2 |
17.1 |
1365766144 |
timeout (error (143)) |
90.7 |
57.4 |
736415744 |
unknown |
13.6 |
4.67 |
359366656 |
timeout (error (143)) |
91.0 |
68.9 |
517763072 |
timeout (error (143)) |
96.2 |
69.0 |
2178535424 |
timeout (error (143)) |
93.0 |
53.9 |
1813487616 |
timeout (error (143)) |
91.4 |
68.1 |
2163253248 |
timeout (error (143)) |
92.6 |
55.1 |
1864896512 |
timeout (error (143)) |
90.3 |
62.7 |
2179096576 |
timeout (error (143)) |
94.2 |
55.3 |
2158743552 |
unknown |
39.9 |
17.6 |
1298104320 |
timeout (error (143)) |
92.8 |
57.8 |
713256960 |
| ldv-memsafety/memleaks_test19_false-valid-free.i |
timeout (error (143)) |
91.3 |
57.1 |
625250304 |
error: exception |
24.0 |
9.33 |
383483904 |
unknown |
34.1 |
13.2 |
867024896 |
error: exception |
51.5 |
18.1 |
723685376 |
unknown |
11.1 |
3.99 |
278331392 |
error: exception |
32.8 |
12.3 |
453017600 |
timeout (error (143)) |
91.7 |
69.6 |
2152394752 |
timeout (error (143)) |
95.3 |
72.1 |
2185293824 |
timeout (error (143)) |
92.3 |
72.7 |
2160627712 |
timeout (error (143)) |
96.2 |
69.9 |
2181390336 |
timeout (error (143)) |
93.6 |
73.8 |
2152067072 |
timeout (error (143)) |
95.4 |
70.8 |
2190409728 |
unknown |
31.8 |
12.9 |
915795968 |
error: exception |
50.4 |
17.9 |
661020672 |
| ldv-memsafety/memleaks_test1_false-valid-free.i |
false(valid-free) |
8.94 |
3.45 |
240369664 |
false(valid-free) |
8.24 |
3.16 |
242888704 |
unknown |
7.63 |
2.81 |
253165568 |
false(valid-free) |
8.41 |
3.22 |
245063680 |
unknown |
7.40 |
2.88 |
202440704 |
false(valid-free) |
8.44 |
3.17 |
245407744 |
unknown |
9.26 |
3.36 |
268554240 |
false(valid-free) |
9.17 |
3.43 |
236417024 |
unknown |
9.86 |
3.60 |
275554304 |
false(valid-free) |
8.98 |
3.55 |
238833664 |
unknown |
10.9 |
4.47 |
256876544 |
false(valid-free) |
9.77 |
4.15 |
245653504 |
unknown |
7.80 |
2.94 |
246001664 |
false(valid-free) |
9.07 |
3.54 |
236699648 |
| ldv-memsafety/memleaks_test3_false-valid-free.i |
false(valid-free) |
6.82 |
2.68 |
195989504 |
false(valid-free) |
6.77 |
2.64 |
211537920 |
unknown |
7.03 |
2.58 |
198496256 |
false(valid-free) |
6.90 |
2.63 |
213127168 |
unknown |
6.96 |
2.83 |
198635520 |
false(valid-free) |
6.34 |
2.43 |
200314880 |
unknown |
7.56 |
2.84 |
225804288 |
false(valid-free) |
6.54 |
2.57 |
198750208 |
unknown |
7.44 |
2.72 |
211132416 |
false(valid-free) |
6.59 |
2.58 |
203689984 |
unknown |
8.12 |
3.35 |
224968704 |
false(valid-free) |
7.26 |
2.99 |
198230016 |
unknown |
6.90 |
2.78 |
199483392 |
false(valid-free) |
6.57 |
2.63 |
203186176 |
| ldv-memsafety/memleaks_test6_2_false-valid-free.i |
false(valid-free) |
19.4 |
7.39 |
345817088 |
false(valid-free) |
20.4 |
7.70 |
350015488 |
unknown |
39.5 |
18.3 |
1132556288 |
false(valid-free) |
20.9 |
8.14 |
341598208 |
unknown |
9.45 |
3.42 |
256671744 |
false(valid-free) |
19.8 |
7.37 |
344563712 |
timeout (error (143)) |
95.8 |
76.9 |
2173112320 |
false(valid-free) |
19.7 |
7.29 |
336289792 |
timeout (error (143)) |
95.5 |
77.2 |
2163126272 |
false(valid-free) |
19.4 |
7.28 |
337920000 |
timeout (error (143)) |
95.6 |
75.7 |
2165039104 |
false(valid-free) |
22.2 |
8.85 |
340983808 |
unknown |
40.1 |
18.0 |
1182896128 |
false(valid-free) |
19.9 |
7.59 |
352591872 |
| ldv-memsafety/memleaks_test8_2_false-valid-free.i |
false(valid-free) |
9.57 |
3.71 |
245485568 |
false(valid-free) |
9.80 |
3.72 |
237617152 |
unknown |
8.11 |
2.92 |
246849536 |
false(valid-free) |
9.80 |
3.67 |
238653440 |
unknown |
7.58 |
2.77 |
215965696 |
false(valid-free) |
9.26 |
3.46 |
247812096 |
unknown |
9.86 |
3.46 |
255569920 |
false(valid-free) |
9.60 |
3.52 |
243445760 |
unknown |
9.27 |
3.32 |
260083712 |
false(valid-free) |
9.75 |
3.60 |
236597248 |
unknown |
11.0 |
4.34 |
282202112 |
false(valid-free) |
11.1 |
4.51 |
244363264 |
unknown |
8.09 |
3.02 |
245743616 |
false(valid-free) |
10.0 |
3.82 |
241770496 |
| ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i |
error: exception |
73.7 |
47.4 |
501424128 |
error: exception |
45.4 |
27.3 |
425156608 |
error: exception |
69.3 |
42.9 |
2355236864 |
error: exception |
21.2 |
7.36 |
368279552 |
unknown |
9.96 |
3.64 |
275693568 |
error: exception |
41.4 |
23.8 |
461574144 |
timeout (error (143)) |
95.8 |
75.7 |
2177679360 |
error: exception |
35.5 |
13.4 |
790212608 |
timeout (error (143)) |
95.7 |
76.6 |
2172248064 |
error: exception |
35.1 |
12.9 |
793825280 |
timeout (error (143)) |
96.3 |
73.9 |
2174410752 |
error: exception |
42.1 |
16.6 |
915222528 |
error: exception |
64.7 |
39.0 |
2324275200 |
error: exception |
20.6 |
7.18 |
362164224 |
| ldv-memsafety/memleaks_test15_false-valid-memtrack.i |
timeout (error (143)) |
91.8 |
61.1 |
558551040 |
timeout (error (143)) |
90.9 |
68.5 |
490885120 |
unknown |
46.5 |
24.1 |
1719906304 |
timeout (error (143)) |
95.5 |
61.8 |
1300332544 |
unknown |
11.3 |
3.95 |
280592384 |
timeout (error (143)) |
92.8 |
70.6 |
477868032 |
timeout (error (143)) |
96.1 |
74.2 |
2332356608 |
timeout (error (143)) |
95.8 |
66.9 |
2250313728 |
timeout (error (143)) |
96.2 |
74.8 |
2221977600 |
timeout (error (143)) |
95.8 |
68.3 |
2255642624 |
timeout (error (143)) |
96.0 |
74.7 |
2304937984 |
timeout (error (143)) |
95.8 |
68.1 |
2283507712 |
unknown |
47.1 |
24.9 |
1719947264 |
timeout (error (143)) |
94.2 |
62.8 |
1227096064 |
| ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i |
timeout (error (143)) |
93.5 |
72.1 |
446873600 |
timeout (error (143)) |
91.1 |
75.5 |
1258676224 |
unknown |
30.3 |
11.6 |
846516224 |
timeout (error (143)) |
90.7 |
70.5 |
1383358464 |
unknown |
14.2 |
4.95 |
349904896 |
timeout (error (143)) |
90.5 |
72.4 |
1411350528 |
timeout (error (143)) |
95.6 |
70.6 |
2165714944 |
timeout (error (143)) |
90.9 |
62.8 |
1821356032 |
timeout (error (143)) |
91.5 |
65.5 |
2171121664 |
timeout (error (143)) |
90.8 |
61.6 |
1787576320 |
timeout (error (143)) |
90.9 |
62.9 |
2168254464 |
timeout (error (143)) |
91.0 |
62.0 |
1967820800 |
unknown |
35.5 |
13.0 |
986451968 |
timeout (error (143)) |
90.8 |
69.7 |
1582280704 |
| ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i |
timeout (error (143)) |
91.1 |
65.0 |
490364928 |
timeout (error (143)) |
90.3 |
74.9 |
2336362496 |
unknown |
23.7 |
8.04 |
669880320 |
timeout (error (143)) |
90.2 |
73.9 |
1850580992 |
unknown |
11.8 |
4.04 |
301297664 |
timeout (error (143)) |
90.2 |
74.4 |
1551536128 |
timeout (error (143)) |
91.6 |
64.5 |
2188648448 |
timeout (error (143)) |
90.8 |
66.1 |
1753423872 |
timeout (error (143)) |
90.7 |
59.8 |
2174795776 |
timeout (error (143)) |
90.9 |
65.6 |
2042212352 |
timeout (error (143)) |
95.6 |
66.9 |
2115072000 |
timeout (error (143)) |
90.9 |
64.7 |
2040803328 |
unknown |
25.4 |
8.86 |
673382400 |
timeout (error (143)) |
90.2 |
74.2 |
1699360768 |
| ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i |
unknown: overapproxcex |
58.2 |
48.4 |
352034816 |
timeout (error (143)) |
94.0 |
79.6 |
434446336 |
unknown |
12.1 |
4.18 |
336146432 |
timeout (error (143)) |
94.6 |
73.1 |
523689984 |
unknown |
9.51 |
3.49 |
271900672 |
timeout (error (143)) |
90.8 |
76.7 |
488026112 |
unknown |
22.2 |
8.11 |
750616576 |
timeout (error (143)) |
91.1 |
58.2 |
1104519168 |
unknown |
23.9 |
8.43 |
736522240 |
timeout (error (143)) |
90.4 |
58.4 |
988372992 |
unknown |
22.4 |
8.69 |
743784448 |
timeout (error (143)) |
92.7 |
60.1 |
883978240 |
unknown |
13.3 |
4.75 |
347439104 |
timeout (error (143)) |
93.2 |
72.9 |
586960896 |
| ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i |
timeout (error (143)) |
92.0 |
70.7 |
549519360 |
timeout (error (143)) |
93.5 |
79.8 |
440274944 |
unknown |
13.2 |
4.69 |
344256512 |
timeout (error (143)) |
91.3 |
68.3 |
521580544 |
unknown |
9.38 |
3.34 |
271904768 |
timeout (error (143)) |
92.1 |
77.1 |
463265792 |
unknown |
24.1 |
9.23 |
884760576 |
timeout (error (143)) |
90.5 |
61.4 |
1040125952 |
unknown |
24.1 |
9.73 |
921083904 |
timeout (error (143)) |
91.0 |
60.9 |
1082138624 |
unknown |
28.1 |
10.8 |
923451392 |
timeout (error (143)) |
92.3 |
68.6 |
1351462912 |
unknown |
13.6 |
4.92 |
341581824 |
timeout (error (143)) |
92.3 |
69.7 |
563658752 |
| ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i |
unknown: overapproxcex |
77.2 |
57.4 |
450170880 |
timeout (error (143)) |
92.1 |
73.3 |
478101504 |
unknown |
13.1 |
4.51 |
337018880 |
error: exception |
16.2 |
5.66 |
353075200 |
unknown |
8.68 |
3.16 |
257314816 |
timeout (error (143)) |
91.9 |
71.5 |
501317632 |
unknown |
50.6 |
33.9 |
1730740224 |
error: exception |
28.1 |
9.66 |
643375104 |
unknown |
52.1 |
34.6 |
1674883072 |
error: exception |
26.2 |
9.14 |
613158912 |
unknown |
55.2 |
37.8 |
1751072768 |
error: exception |
35.1 |
12.8 |
706605056 |
unknown |
12.9 |
4.68 |
334229504 |
error: exception |
16.8 |
5.71 |
365355008 |
| ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i |
unknown: overapproxcex |
7.52 |
2.92 |
233709568 |
unknown: overapproxcex |
7.17 |
2.80 |
240115712 |
unknown |
8.05 |
2.98 |
254955520 |
unknown: overapproxcex |
7.35 |
2.79 |
233652224 |
unknown |
7.02 |
2.65 |
213803008 |
unknown: overapproxcex |
7.32 |
2.84 |
242049024 |
unknown |
10.1 |
3.54 |
273346560 |
unknown: overapproxcex |
7.29 |
2.97 |
232005632 |
unknown |
9.65 |
3.40 |
275062784 |
unknown: overapproxcex |
7.74 |
2.86 |
234418176 |
unknown |
10.1 |
3.84 |
267440128 |
unknown: overapproxcex |
8.21 |
3.55 |
237195264 |
unknown |
7.94 |
3.26 |
254967808 |
unknown: overapproxcex |
7.17 |
2.74 |
243138560 |
| ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i |
unknown: overapproxcex |
89.8 |
54.6 |
623620096 |
error: exception |
80.1 |
46.1 |
577249280 |
unknown |
30.5 |
10.7 |
972029952 |
timeout (error (143)) |
92.3 |
44.6 |
1302102016 |
unknown |
11.1 |
3.98 |
273502208 |
timeout (error: exception) |
90.5 |
54.4 |
674754560 |
timeout (error (143)) |
96.1 |
75.9 |
2201571328 |
timeout (error (143)) |
96.2 |
72.8 |
2198757376 |
timeout (error (143)) |
96.1 |
76.4 |
2190245888 |
timeout (error (143)) |
96.1 |
74.6 |
2204954624 |
timeout (error (143)) |
95.8 |
75.4 |
2182819840 |
timeout (error (143)) |
96.1 |
74.3 |
2199371776 |
unknown |
33.4 |
11.7 |
923492352 |
timeout (error (143)) |
90.4 |
40.9 |
1377087488 |
| ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i |
unknown: overapproxcex |
43.5 |
22.6 |
432861184 |
timeout (error (143)) |
96.1 |
73.3 |
517861376 |
unknown |
20.5 |
7.05 |
678834176 |
timeout (error (143)) |
90.2 |
54.1 |
950755328 |
unknown |
8.35 |
3.11 |
255860736 |
timeout (error (143)) |
96.1 |
72.7 |
525594624 |
timeout (error (143)) |
95.8 |
78.1 |
2204934144 |
timeout (error (143)) |
96.0 |
72.7 |
2198622208 |
timeout (error (143)) |
95.7 |
77.6 |
2202841088 |
timeout (error (143)) |
96.0 |
73.3 |
2214404096 |
timeout (error (143)) |
95.6 |
77.2 |
2196148224 |
timeout (error (143)) |
95.9 |
74.9 |
2212364288 |
unknown |
23.9 |
8.60 |
714420224 |
timeout (error (143)) |
93.0 |
56.0 |
949178368 |
| ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i |
timeout (error (143)) |
96.3 |
60.8 |
646168576 |
timeout (error (143)) |
91.4 |
59.2 |
627953664 |
unknown |
31.3 |
11.0 |
951324672 |
timeout (error (143)) |
92.0 |
48.5 |
1208573952 |
unknown |
10.6 |
3.76 |
275234816 |
timeout (error (143)) |
90.9 |
55.8 |
641503232 |
timeout (error (143)) |
95.6 |
77.6 |
2186674176 |
timeout (error (143)) |
95.4 |
71.6 |
2200686592 |
timeout (error (143)) |
95.5 |
78.0 |
2174648320 |
timeout (error (143)) |
95.9 |
73.5 |
2192465920 |
timeout (error (143)) |
95.7 |
76.6 |
2177253376 |
timeout (error (143)) |
95.3 |
70.7 |
2195054592 |
unknown |
35.4 |
12.2 |
903860224 |
timeout (error (143)) |
91.7 |
45.3 |
1265598464 |
| ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i |
unknown: overapproxcex |
9.68 |
3.75 |
258068480 |
unknown: overapproxcex |
10.8 |
4.13 |
289947648 |
unknown |
9.00 |
3.40 |
245952512 |
unknown: overapproxcex |
27.4 |
9.16 |
409669632 |
unknown |
7.55 |
2.85 |
232263680 |
unknown: overapproxcex |
19.4 |
6.92 |
368943104 |
unknown |
11.3 |
3.96 |
333373440 |
unknown: overapproxcex |
38.8 |
14.2 |
712966144 |
unknown |
11.4 |
4.02 |
338198528 |
unknown: overapproxcex |
32.0 |
11.6 |
595120128 |
unknown |
11.6 |
4.54 |
329236480 |
unknown: overapproxcex |
36.5 |
13.2 |
674611200 |
unknown |
8.66 |
3.20 |
255705088 |
unknown: overapproxcex |
26.1 |
8.81 |
479834112 |
| ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i |
unknown: overapproxcex |
7.62 |
2.96 |
236720128 |
unknown: overapproxcex |
7.65 |
2.96 |
237113344 |
unknown |
7.98 |
2.98 |
256933888 |
unknown: overapproxcex |
7.96 |
3.11 |
234233856 |
unknown |
7.23 |
2.75 |
215838720 |
unknown: overapproxcex |
7.49 |
2.88 |
232853504 |
unknown |
9.13 |
3.21 |
274931712 |
unknown: overapproxcex |
7.81 |
2.94 |
230813696 |
unknown |
9.52 |
3.38 |
262627328 |
unknown: overapproxcex |
7.45 |
2.90 |
233197568 |
unknown |
10.4 |
4.10 |
273735680 |
unknown: overapproxcex |
8.11 |
3.42 |
233041920 |
unknown |
8.40 |
3.27 |
255000576 |
unknown: overapproxcex |
7.85 |
2.98 |
235819008 |
| ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i |
unknown: overapproxcex |
9.52 |
3.61 |
241364992 |
unknown: overapproxcex |
9.75 |
3.63 |
240553984 |
unknown |
8.31 |
2.97 |
258072576 |
unknown: overapproxcex |
9.87 |
3.82 |
241721344 |
unknown |
7.45 |
2.68 |
218841088 |
unknown: overapproxcex |
9.66 |
3.70 |
240402432 |
unknown |
9.69 |
3.42 |
274014208 |
unknown: overapproxcex |
9.94 |
3.83 |
240640000 |
unknown |
9.52 |
3.40 |
279703552 |
unknown: overapproxcex |
9.59 |
3.62 |
241573888 |
unknown |
10.6 |
4.15 |
278581248 |
unknown: overapproxcex |
10.3 |
4.23 |
244023296 |
unknown |
8.25 |
3.15 |
250396672 |
unknown: overapproxcex |
9.61 |
3.62 |
244649984 |
| ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i |
unknown: overapproxcex |
18.0 |
6.66 |
313708544 |
unknown: overapproxcex |
16.9 |
6.22 |
320724992 |
unknown |
46.3 |
21.8 |
1287872512 |
unknown: overapproxcex |
17.4 |
6.55 |
321273856 |
unknown |
9.65 |
3.48 |
275873792 |
unknown: overapproxcex |
17.5 |
6.53 |
316477440 |
timeout (error (143)) |
96.8 |
78.1 |
2156539904 |
unknown: overapproxcex |
18.1 |
7.26 |
328069120 |
timeout (error (143)) |
96.3 |
77.0 |
2169569280 |
unknown: overapproxcex |
17.1 |
6.35 |
314839040 |
timeout (error (143)) |
95.7 |
75.8 |
2170114048 |
unknown: overapproxcex |
20.7 |
8.90 |
320282624 |
unknown |
50.3 |
24.4 |
1401147392 |
unknown: overapproxcex |
17.0 |
6.38 |
310042624 |
| ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i |
unknown: overapproxcex |
15.9 |
5.82 |
311705600 |
unknown: overapproxcex |
18.1 |
7.41 |
319266816 |
unknown |
38.3 |
17.2 |
1160507392 |
unknown: overapproxcex |
16.7 |
6.10 |
327163904 |
unknown |
9.18 |
3.32 |
255029248 |
unknown: overapproxcex |
16.5 |
6.05 |
316440576 |
timeout (error (143)) |
95.6 |
78.7 |
2154287104 |
unknown: overapproxcex |
17.5 |
6.77 |
314363904 |
timeout (error (143)) |
95.5 |
78.0 |
2154586112 |
unknown: overapproxcex |
16.7 |
6.15 |
310439936 |
timeout (error (143)) |
95.4 |
77.4 |
2162565120 |
unknown: overapproxcex |
18.8 |
8.26 |
296792064 |
unknown |
42.1 |
18.7 |
1175289856 |
unknown: overapproxcex |
16.8 |
6.13 |
325410816 |
| ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i |
unknown: overapproxcex |
15.0 |
5.42 |
309018624 |
unknown: overapproxcex |
18.0 |
8.64 |
307478528 |
unknown |
9.86 |
3.41 |
266252288 |
unknown: overapproxcex |
14.9 |
5.54 |
297652224 |
unknown |
8.09 |
2.97 |
252252160 |
unknown: overapproxcex |
15.0 |
5.46 |
303755264 |
unknown |
22.7 |
7.71 |
671690752 |
unknown: overapproxcex |
16.2 |
6.29 |
298274816 |
unknown |
21.9 |
7.65 |
644067328 |
unknown: overapproxcex |
15.2 |
5.57 |
301703168 |
unknown |
23.8 |
8.26 |
678060032 |
unknown: overapproxcex |
17.3 |
7.24 |
321036288 |
unknown |
11.0 |
3.89 |
265633792 |
unknown: overapproxcex |
15.4 |
5.67 |
303517696 |
| ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i |
unknown: overapproxcex |
8.11 |
3.05 |
235765760 |
unknown: overapproxcex |
9.09 |
4.30 |
234463232 |
unknown |
8.00 |
2.92 |
257892352 |
unknown: overapproxcex |
8.15 |
3.05 |
232857600 |
unknown |
7.38 |
2.82 |
216133632 |
unknown: overapproxcex |
7.62 |
2.94 |
234483712 |
unknown |
8.60 |
3.10 |
257249280 |
unknown: overapproxcex |
7.79 |
3.27 |
228999168 |
unknown |
9.00 |
3.17 |
260550656 |
unknown: overapproxcex |
7.78 |
2.93 |
232079360 |
unknown |
10.4 |
4.13 |
258564096 |
unknown: overapproxcex |
8.53 |
3.74 |
238936064 |
unknown |
8.10 |
3.14 |
255811584 |
unknown: overapproxcex |
7.74 |
3.06 |
235900928 |
| ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i |
unknown: overapproxcex |
9.76 |
3.64 |
241885184 |
unknown: overapproxcex |
10.8 |
4.92 |
242769920 |
unknown |
8.05 |
2.91 |
254754816 |
unknown: overapproxcex |
9.63 |
3.68 |
241881088 |
unknown |
7.43 |
2.75 |
226631680 |
unknown: overapproxcex |
9.79 |
3.61 |
241491968 |
unknown |
10.1 |
3.59 |
308965376 |
unknown: overapproxcex |
10.9 |
5.28 |
244215808 |
unknown |
9.91 |
3.53 |
315371520 |
unknown: overapproxcex |
9.53 |
3.57 |
239898624 |
unknown |
10.7 |
4.14 |
314499072 |
unknown: overapproxcex |
10.8 |
4.48 |
238813184 |
unknown |
8.40 |
3.31 |
255881216 |
unknown: overapproxcex |
9.52 |
3.54 |
244674560 |
| ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i |
unknown: overapproxcex |
7.70 |
3.01 |
235663360 |
unknown: overapproxcex |
8.66 |
4.02 |
231768064 |
unknown |
8.11 |
3.01 |
255909888 |
unknown: overapproxcex |
7.73 |
2.97 |
232075264 |
unknown |
7.20 |
2.71 |
209403904 |
unknown: overapproxcex |
7.86 |
2.97 |
232779776 |
unknown |
9.67 |
3.42 |
267190272 |
unknown: overapproxcex |
8.64 |
3.90 |
232988672 |
unknown |
9.76 |
3.52 |
275738624 |
unknown: overapproxcex |
7.47 |
2.85 |
229851136 |
unknown |
10.2 |
3.98 |
271736832 |
unknown: overapproxcex |
8.80 |
3.89 |
232837120 |
unknown |
8.14 |
3.07 |
254681088 |
unknown: overapproxcex |
7.83 |
3.18 |
229470208 |
| ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i |
timeout (error (143)) |
91.1 |
68.1 |
467324928 |
error: exception |
59.5 |
41.7 |
490958848 |
unknown |
53.4 |
27.8 |
1134764032 |
error: exception |
22.6 |
7.72 |
383463424 |
unknown |
11.8 |
4.19 |
352137216 |
error: exception |
47.7 |
25.7 |
458194944 |
timeout (error (143)) |
95.6 |
76.7 |
2157649920 |
error: exception |
39.3 |
17.6 |
938283008 |
timeout (error (143)) |
95.8 |
74.2 |
2153422848 |
error: exception |
36.8 |
14.5 |
894898176 |
timeout (error (143)) |
95.9 |
73.0 |
2176319488 |
error: exception |
42.1 |
18.6 |
861708288 |
unknown |
51.8 |
29.8 |
1309970432 |
error: exception |
21.8 |
7.40 |
381063168 |
| ldv-memsafety/memleaks_test12_true-valid-memsafety.i |
timeout (error (143)) |
93.0 |
60.9 |
518537216 |
timeout (error (143)) |
91.1 |
62.3 |
539303936 |
timeout (error (143)) |
93.9 |
70.3 |
2203340800 |
timeout (error (143)) |
90.7 |
48.7 |
2014351360 |
unknown |
31.8 |
10.9 |
936706048 |
error: exception |
61.7 |
24.2 |
773275648 |
timeout (error (143)) |
96.2 |
69.2 |
2187354112 |
timeout (error (143)) |
96.0 |
62.7 |
2189213696 |
timeout (error (143)) |
96.1 |
69.7 |
2199142400 |
timeout (error (143)) |
95.5 |
65.8 |
2188689408 |
timeout (error (143)) |
96.1 |
70.8 |
2184060928 |
timeout (error (143)) |
95.4 |
59.7 |
2200399872 |
timeout (error (143)) |
91.8 |
67.3 |
2189844480 |
timeout (error (143)) |
90.4 |
43.0 |
1795637248 |
| ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i |
timeout (error (143)) |
91.0 |
66.9 |
528707584 |
error: exception |
17.2 |
6.97 |
287522816 |
unknown |
32.0 |
14.5 |
1430974464 |
error: exception |
38.6 |
13.3 |
652435456 |
unknown |
12.5 |
4.31 |
297951232 |
error: exception |
25.4 |
9.11 |
383541248 |
timeout (error (143)) |
91.3 |
74.2 |
2164011008 |
timeout (error (143)) |
92.1 |
63.2 |
1996206080 |
timeout (error (143)) |
91.3 |
72.6 |
2176692224 |
timeout (error (143)) |
92.8 |
66.8 |
1858404352 |
timeout (error (143)) |
95.8 |
77.4 |
2166665216 |
timeout (error (143)) |
91.3 |
63.3 |
1827078144 |
unknown |
33.0 |
15.2 |
1302327296 |
error: exception |
40.5 |
13.7 |
688947200 |
| ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i |
timeout (error (143)) |
92.7 |
72.8 |
457986048 |
timeout (error (143)) |
90.6 |
69.9 |
2184261632 |
unknown |
31.5 |
11.5 |
884690944 |
timeout (error (143)) |
90.5 |
69.3 |
2216132608 |
unknown |
13.0 |
4.50 |
358948864 |
timeout (error (143)) |
90.5 |
69.5 |
2216718336 |
timeout (error (143)) |
96.0 |
72.4 |
2157223936 |
timeout (error (143)) |
90.6 |
59.6 |
2001412096 |
timeout (error (143)) |
90.8 |
63.8 |
2178203648 |
timeout (error (143)) |
90.6 |
64.2 |
2170662912 |
timeout (error (143)) |
95.2 |
69.4 |
2178699264 |
timeout (error (143)) |
90.5 |
62.4 |
2088079360 |
unknown |
35.0 |
12.8 |
963301376 |
timeout (error (143)) |
90.4 |
72.6 |
2310549504 |
| ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i |
timeout (error (143)) |
91.0 |
76.7 |
393400320 |
timeout (error (143)) |
90.7 |
73.4 |
2224082944 |
unknown |
33.6 |
12.4 |
889544704 |
timeout (error (143)) |
90.9 |
69.7 |
2262163456 |
unknown |
13.8 |
4.83 |
354201600 |
timeout (error (143)) |
90.8 |
71.9 |
2247766016 |
timeout (error (143)) |
94.3 |
69.7 |
2171568128 |
timeout (error (143)) |
90.7 |
62.1 |
1954619392 |
timeout (error (143)) |
92.6 |
69.9 |
2158604288 |
timeout (error (143)) |
90.8 |
62.2 |
2209701888 |
timeout (error (143)) |
92.8 |
66.3 |
2187554816 |
timeout (error (143)) |
90.9 |
60.7 |
2204725248 |
unknown |
34.8 |
12.8 |
1077366784 |
timeout (error (143)) |
90.9 |
70.1 |
2264240128 |
| ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i |
timeout (error (143)) |
94.0 |
69.2 |
512401408 |
timeout (error (143)) |
90.5 |
72.5 |
1576710144 |
unknown |
12.7 |
4.44 |
353513472 |
timeout (error (143)) |
90.4 |
61.3 |
1471094784 |
unknown |
9.87 |
3.54 |
275357696 |
error: exception |
85.5 |
67.6 |
434503680 |
unknown |
26.0 |
9.26 |
822734848 |
timeout (error (143)) |
91.1 |
49.6 |
1259794432 |
unknown |
23.3 |
8.54 |
819802112 |
timeout (error (143)) |
92.2 |
54.3 |
1315168256 |
unknown |
23.8 |
9.63 |
786485248 |
timeout (error (143)) |
92.0 |
56.8 |
1053388800 |
unknown |
14.0 |
5.44 |
352411648 |
timeout (error (143)) |
91.0 |
65.9 |
579067904 |
| ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i |
timeout (error (143)) |
92.1 |
60.3 |
617652224 |
error: exception |
23.3 |
10.1 |
329146368 |
unknown |
30.2 |
10.9 |
690708480 |
error: exception |
52.0 |
18.3 |
752943104 |
unknown |
10.4 |
3.63 |
274403328 |
error: exception |
32.4 |
12.0 |
451371008 |
unknown |
86.4 |
64.5 |
2148192256 |
timeout (error (143)) |
96.0 |
72.2 |
2184601600 |
unknown |
89.9 |
65.4 |
2159898624 |
timeout (error (143)) |
96.0 |
72.0 |
2184642560 |
timeout (error (143)) |
90.7 |
67.6 |
2154831872 |
timeout (error (143)) |
96.1 |
71.1 |
2186813440 |
unknown |
31.2 |
11.7 |
721551360 |
error: exception |
51.2 |
18.2 |
725991424 |
| ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i |
true |
10.3 |
3.88 |
266125312 |
true |
10.1 |
3.84 |
269316096 |
unknown |
7.98 |
3.02 |
242532352 |
true |
9.58 |
3.60 |
265560064 |
unknown |
7.37 |
2.74 |
214257664 |
true |
9.87 |
3.70 |
273514496 |
unknown |
9.51 |
3.45 |
289353728 |
true |
10.1 |
3.80 |
262295552 |
unknown |
9.95 |
3.45 |
287559680 |
true |
9.78 |
3.69 |
263045120 |
unknown |
10.0 |
3.64 |
263561216 |
true |
11.0 |
4.35 |
270901248 |
unknown |
8.22 |
3.32 |
243359744 |
true |
10.1 |
3.91 |
265830400 |
| ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i |
timeout (error (143)) |
91.4 |
55.4 |
708706304 |
timeout (error (143)) |
95.6 |
63.4 |
549744640 |
unknown |
31.1 |
10.6 |
985292800 |
timeout (error (143)) |
90.5 |
45.2 |
1332707328 |
unknown |
10.5 |
3.59 |
271765504 |
timeout (error (143)) |
96.0 |
62.5 |
642965504 |
timeout (error (143)) |
95.5 |
76.9 |
2178797568 |
timeout (error (143)) |
95.6 |
74.5 |
2183647232 |
timeout (error (143)) |
95.5 |
77.6 |
2166616064 |
timeout (error (143)) |
95.7 |
73.6 |
2190196736 |
timeout (error (143)) |
95.6 |
77.2 |
2171768832 |
timeout (error (143)) |
95.7 |
75.4 |
2187145216 |
unknown |
33.5 |
12.3 |
923983872 |
timeout (error (143)) |
90.6 |
46.3 |
1412083712 |
| ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i |
timeout (error (143)) |
92.6 |
54.4 |
723152896 |
error: exception |
71.2 |
35.6 |
676904960 |
unknown |
41.2 |
16.7 |
1329115136 |
timeout (error (143)) |
90.3 |
45.0 |
1152053248 |
unknown |
14.5 |
5.02 |
367742976 |
timeout (error (143)) |
91.6 |
43.1 |
717025280 |
timeout (error (143)) |
95.9 |
76.9 |
2184798208 |
timeout (error (143)) |
96.2 |
73.4 |
2201649152 |
timeout (error (143)) |
95.9 |
77.0 |
2204639232 |
timeout (error (143)) |
96.1 |
74.3 |
2196066304 |
timeout (error (143)) |
95.8 |
76.7 |
2176339968 |
timeout (error (143)) |
96.0 |
71.8 |
2187784192 |
unknown |
45.5 |
18.2 |
1335545856 |
timeout (error (143)) |
91.6 |
45.9 |
1432776704 |
| ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i |
timeout (error (143)) |
90.7 |
58.3 |
691855360 |
error: exception |
89.6 |
54.0 |
607350784 |
unknown |
40.8 |
14.1 |
1331838976 |
timeout (error (143)) |
91.0 |
45.6 |
1247850496 |
unknown |
13.9 |
4.82 |
359288832 |
error: exception |
84.4 |
45.0 |
631939072 |
timeout (error (143)) |
95.7 |
76.2 |
2181922816 |
timeout (error (143)) |
95.9 |
73.3 |
2191679488 |
timeout (error (143)) |
95.6 |
77.1 |
2171994112 |
timeout (error (143)) |
95.9 |
73.2 |
2203172864 |
timeout (error (143)) |
95.6 |
76.0 |
2172375040 |
timeout (error (143)) |
95.7 |
73.7 |
2183421952 |
unknown |
40.2 |
16.2 |
1192361984 |
timeout (error (143)) |
92.2 |
47.1 |
1144250368 |
| ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i |
true |
11.6 |
4.28 |
281169920 |
true |
11.8 |
5.31 |
275083264 |
unknown |
8.14 |
3.00 |
254873600 |
true |
12.2 |
4.60 |
293470208 |
unknown |
7.41 |
2.86 |
212234240 |
true |
11.3 |
4.24 |
278650880 |
unknown |
9.52 |
3.32 |
272162816 |
true |
11.7 |
4.30 |
278659072 |
unknown |
9.24 |
3.33 |
268009472 |
true |
12.0 |
4.34 |
293122048 |
unknown |
10.1 |
3.75 |
269623296 |
true |
13.1 |
5.54 |
272207872 |
unknown |
8.22 |
3.11 |
253509632 |
true |
11.9 |
4.47 |
288043008 |
| ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i |
true |
18.0 |
6.87 |
350756864 |
error: exception |
37.3 |
25.3 |
352575488 |
unknown |
8.35 |
3.12 |
243802112 |
error: exception |
25.5 |
8.63 |
426008576 |
unknown |
7.49 |
2.87 |
231608320 |
error: exception |
42.2 |
26.6 |
388489216 |
unknown |
11.5 |
3.97 |
334225408 |
error: exception |
34.0 |
11.6 |
570327040 |
unknown |
10.2 |
3.60 |
328122368 |
error: exception |
33.6 |
11.5 |
645640192 |
unknown |
11.7 |
4.30 |
284647424 |
error: exception |
42.3 |
15.4 |
652423168 |
unknown |
9.08 |
3.38 |
256401408 |
error: exception |
24.4 |
8.30 |
423268352 |
| ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i |
true |
13.1 |
4.94 |
278974464 |
true |
12.6 |
5.43 |
276164608 |
unknown |
8.44 |
3.06 |
250613760 |
true |
13.1 |
4.99 |
275902464 |
unknown |
7.63 |
2.84 |
228782080 |
true |
12.8 |
4.79 |
286777344 |
unknown |
10.5 |
3.66 |
315875328 |
true |
13.2 |
4.95 |
275595264 |
unknown |
10.8 |
3.80 |
307134464 |
true |
12.7 |
4.74 |
278831104 |
unknown |
11.8 |
4.12 |
314740736 |
true |
14.6 |
5.81 |
278335488 |
unknown |
8.83 |
3.29 |
252653568 |
true |
13.1 |
4.87 |
274210816 |
| ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i |
true |
26.1 |
9.97 |
386822144 |
true |
25.9 |
9.99 |
388677632 |
unknown |
45.7 |
21.1 |
1327382528 |
true |
24.0 |
9.35 |
377954304 |
unknown |
9.08 |
3.27 |
265351168 |
true |
25.3 |
9.78 |
379355136 |
timeout (error (143)) |
96.2 |
77.6 |
2159362048 |
true |
25.0 |
9.59 |
383799296 |
timeout (error (143)) |
97.5 |
77.8 |
2184552448 |
true |
24.5 |
9.48 |
384860160 |
timeout (error (143)) |
95.6 |
76.2 |
2172022784 |
true |
28.3 |
11.5 |
347660288 |
unknown |
54.0 |
23.6 |
1298886656 |
true |
24.4 |
9.50 |
378728448 |
| ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i |
true |
21.1 |
8.17 |
349339648 |
true |
24.9 |
9.31 |
365522944 |
unknown |
12.8 |
4.50 |
308654080 |
true |
21.3 |
8.20 |
351162368 |
unknown |
9.08 |
3.16 |
252538880 |
true |
22.8 |
8.33 |
340131840 |
unknown |
27.8 |
9.67 |
931172352 |
true |
20.9 |
7.92 |
345808896 |
unknown |
26.5 |
9.31 |
891551744 |
true |
22.9 |
8.50 |
362242048 |
unknown |
30.2 |
10.2 |
881934336 |
true |
23.3 |
9.15 |
352583680 |
unknown |
13.2 |
4.84 |
328855552 |
true |
21.6 |
8.51 |
344862720 |
| ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i |
true |
12.6 |
4.73 |
285110272 |
true |
12.5 |
5.22 |
296755200 |
unknown |
8.28 |
3.09 |
257736704 |
true |
13.2 |
4.65 |
292339712 |
unknown |
7.31 |
2.80 |
214814720 |
true |
12.6 |
4.73 |
285106176 |
unknown |
9.96 |
3.50 |
270479360 |
true |
12.5 |
4.61 |
289427456 |
unknown |
10.0 |
3.49 |
265871360 |
true |
12.4 |
4.47 |
283619328 |
unknown |
10.3 |
3.75 |
268115968 |
true |
14.0 |
8.70 |
270106624 |
unknown |
8.85 |
3.49 |
251658240 |
true |
12.4 |
4.64 |
285315072 |
| ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i |
true |
13.1 |
4.77 |
280489984 |
true |
12.8 |
5.14 |
281800704 |
unknown |
8.43 |
3.11 |
257265664 |
true |
12.5 |
4.60 |
283828224 |
unknown |
7.48 |
2.87 |
224522240 |
true |
14.1 |
5.11 |
281300992 |
unknown |
10.1 |
3.61 |
305057792 |
true |
12.9 |
4.83 |
286158848 |
unknown |
9.77 |
3.52 |
312872960 |
true |
13.1 |
4.82 |
276361216 |
unknown |
11.2 |
3.97 |
308297728 |
true |
14.8 |
8.74 |
288215040 |
unknown |
9.01 |
3.54 |
249331712 |
true |
13.1 |
4.83 |
280899584 |
| heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i |
timeout (error (143)) |
91.3 |
55.3 |
666505216 |
error: exception |
79.3 |
55.7 |
569610240 |
timeout (error (143)) |
95.4 |
78.5 |
2180960256 |
timeout (error (143)) |
95.4 |
65.9 |
2164703232 |
timeout (error (143)) |
91.1 |
58.7 |
2504671232 |
error: exception |
61.0 |
36.5 |
558288896 |
timeout (error (143)) |
95.9 |
75.8 |
2176442368 |
timeout (error (143)) |
94.8 |
57.4 |
2214993920 |
timeout (error (143)) |
95.6 |
69.1 |
2169757696 |
timeout (error (143)) |
100 |
60.1 |
2207780864 |
timeout (error (143)) |
95.3 |
70.9 |
2182598656 |
timeout (error (143)) |
95.3 |
63.6 |
2170597376 |
timeout (error (143)) |
95.5 |
77.6 |
2191765504 |
timeout (error (143)) |
95.6 |
63.9 |
2157076480 |
| heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i |
timeout (error (143)) |
90.7 |
44.9 |
776314880 |
timeout (error (143)) |
92.0 |
59.4 |
600195072 |
timeout (error (143)) |
93.1 |
67.4 |
2223435776 |
timeout (error (143)) |
96.8 |
63.4 |
2202169344 |
unknown |
56.3 |
30.6 |
2349694976 |
timeout (error (143)) |
90.5 |
54.1 |
622313472 |
timeout (error (143)) |
95.9 |
75.3 |
2181767168 |
timeout (error (143)) |
93.4 |
58.1 |
2202636288 |
timeout (error (143)) |
95.5 |
68.7 |
2200621056 |
timeout (error (143)) |
91.9 |
57.3 |
2198519808 |
timeout (error (143)) |
95.4 |
70.7 |
2181586944 |
timeout (error (143)) |
96.8 |
62.9 |
2187894784 |
timeout (error (143)) |
93.1 |
67.9 |
2226790400 |
timeout (error (143)) |
95.9 |
64.3 |
2203246592 |
| heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i |
error: exception |
18.0 |
6.85 |
330752000 |
error: exception |
18.6 |
7.04 |
331571200 |
timeout (error (143)) |
95.5 |
77.1 |
2180653056 |
timeout (error (143)) |
96.0 |
72.4 |
2203168768 |
timeout (error (143)) |
90.6 |
56.2 |
2408689664 |
error: exception |
59.9 |
22.5 |
1001852928 |
timeout (error (143)) |
95.6 |
71.4 |
2218442752 |
timeout (error (143)) |
96.1 |
65.0 |
2230165504 |
timeout (error (143)) |
96.3 |
74.8 |
2230853632 |
timeout (error (143)) |
95.6 |
68.4 |
2219175936 |
timeout (error (143)) |
96.2 |
74.4 |
2192527360 |
timeout (error (143)) |
95.9 |
67.5 |
2211209216 |
timeout (error (143)) |
95.8 |
75.1 |
2191241216 |
timeout (error (143)) |
97.4 |
73.4 |
2197798912 |
| forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i |
unknown: overapproxcex |
38.6 |
15.1 |
459059200 |
unknown: overapproxcex |
74.4 |
49.8 |
463310848 |
timeout (error (143)) |
96.0 |
74.0 |
2193403904 |
timeout (error (143)) |
93.9 |
64.3 |
2237874176 |
unknown |
17.7 |
6.09 |
494546944 |
timeout (error (143)) |
90.5 |
63.1 |
506703872 |
timeout (error (143)) |
95.9 |
70.0 |
2208071680 |
timeout (error (143)) |
98.3 |
62.5 |
2223620096 |
timeout (error (143)) |
95.7 |
65.4 |
2197917696 |
timeout (error (143)) |
97.8 |
63.0 |
2216693760 |
timeout (error (143)) |
97.0 |
69.0 |
2217189376 |
timeout (error (143)) |
96.9 |
65.7 |
2240716800 |
timeout (error (143)) |
95.9 |
75.1 |
2192490496 |
timeout (error (143)) |
91.6 |
61.5 |
2205569024 |
| forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i |
unknown: overapproxcex |
64.9 |
31.1 |
607150080 |
timeout (error (143)) |
91.1 |
63.3 |
513966080 |
timeout (error (143)) |
96.7 |
75.1 |
2210099200 |
timeout (error (143)) |
92.2 |
61.6 |
2242170880 |
unknown |
15.5 |
5.29 |
485457920 |
timeout (error (143)) |
92.8 |
66.0 |
523980800 |
timeout (error (143)) |
95.9 |
72.0 |
2165891072 |
timeout (error (143)) |
98.1 |
65.0 |
2239053824 |
timeout (error (143)) |
96.2 |
72.6 |
2186477568 |
timeout (error (143)) |
95.9 |
65.5 |
2230517760 |
timeout (error (143)) |
96.8 |
76.3 |
2187460608 |
timeout (error (143)) |
91.9 |
61.1 |
2243801088 |
timeout (error (143)) |
103 |
85.9 |
2235711488 |
timeout (error (143)) |
92.4 |
63.4 |
2236243968 |
| forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i |
unknown: overapproxcex |
58.4 |
28.7 |
562126848 |
timeout (error (143)) |
91.4 |
69.3 |
521232384 |
timeout (error (143)) |
91.3 |
68.7 |
2207854592 |
timeout (error (143)) |
95.0 |
69.3 |
2212159488 |
unknown |
15.5 |
5.31 |
449953792 |
timeout (error (143)) |
91.2 |
62.4 |
598597632 |
timeout (error (143)) |
95.9 |
74.5 |
2192896000 |
timeout (error (143)) |
95.8 |
67.4 |
2214424576 |
timeout (error (143)) |
96.2 |
72.6 |
2215632896 |
timeout (error (143)) |
96.2 |
66.2 |
2243366912 |
timeout (error (143)) |
96.2 |
68.7 |
2216534016 |
timeout (error (143)) |
95.9 |
68.8 |
2191253504 |
timeout (error (143)) |
93.2 |
71.1 |
2205663232 |
timeout (error (143)) |
92.7 |
67.0 |
2211287040 |
| list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i |
timeout (error (143)) |
90.5 |
53.4 |
656674816 |
timeout (error (143)) |
91.0 |
61.1 |
569909248 |
timeout (error (143)) |
91.1 |
66.3 |
2209124352 |
timeout (error (143)) |
90.6 |
52.4 |
2209468416 |
unknown |
12.8 |
4.45 |
405250048 |
timeout (error (143)) |
90.8 |
57.8 |
588017664 |
timeout (error (143)) |
96.0 |
73.9 |
2183974912 |
timeout (error (143)) |
95.6 |
65.7 |
2084306944 |
timeout (error (143)) |
96.0 |
73.9 |
2173775872 |
timeout (error (143)) |
96.3 |
68.6 |
2186199040 |
timeout (error (143)) |
95.5 |
70.8 |
2176643072 |
timeout (error (143)) |
96.3 |
68.5 |
2048081920 |
timeout (error (143)) |
90.5 |
77.9 |
2210377728 |
timeout (error (143)) |
91.2 |
50.5 |
2207875072 |
| list-properties/list_flag_true-unreach-call_false-valid-memtrack.i |
unknown: overapproxcex |
9.30 |
3.56 |
238530560 |
unknown: overapproxcex |
9.54 |
3.55 |
236695552 |
timeout (error (143)) |
91.5 |
71.3 |
2193428480 |
unknown: overapproxcex |
9.86 |
3.77 |
236818432 |
unknown |
12.5 |
4.36 |
342634496 |
unknown: overapproxcex |
9.73 |
3.87 |
235085824 |
timeout (error (143)) |
95.0 |
69.2 |
2183364608 |
unknown: overapproxcex |
9.51 |
3.62 |
236638208 |
timeout (error (143)) |
93.4 |
68.5 |
2192920576 |
unknown: overapproxcex |
10.1 |
3.85 |
239325184 |
timeout (error (143)) |
94.3 |
68.8 |
2184925184 |
unknown: overapproxcex |
10.5 |
4.37 |
241356800 |
timeout (error (143)) |
93.4 |
72.1 |
2190036992 |
unknown: overapproxcex |
9.69 |
3.63 |
238567424 |
| list-properties/list_true-unreach-call_false-valid-memtrack.i |
unknown: overapproxcex |
13.5 |
5.36 |
273711104 |
unknown: overapproxcex |
14.0 |
5.42 |
300363776 |
timeout (error (143)) |
91.2 |
67.9 |
2193973248 |
unknown: overapproxcex |
15.3 |
6.44 |
301535232 |
unknown |
12.6 |
4.40 |
344637440 |
unknown: overapproxcex |
13.8 |
5.59 |
294637568 |
timeout (error (143)) |
96.1 |
71.5 |
2177515520 |
unknown: overapproxcex |
14.3 |
5.61 |
290488320 |
timeout (error (143)) |
95.7 |
68.0 |
2177409024 |
unknown: overapproxcex |
13.7 |
5.45 |
298151936 |
timeout (error (143)) |
95.9 |
67.0 |
2165948416 |
unknown: overapproxcex |
14.7 |
6.05 |
307048448 |
timeout (error (143)) |
91.2 |
68.3 |
2198798336 |
unknown: overapproxcex |
14.3 |
5.57 |
308011008 |
| list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i |
unknown: overapproxcex |
10.7 |
3.96 |
276074496 |
unknown: overapproxcex |
10.1 |
3.73 |
273141760 |
timeout (error (143)) |
95.8 |
75.9 |
2195046400 |
unknown: overapproxcex |
10.8 |
4.18 |
274239488 |
unknown |
8.33 |
3.05 |
254840832 |
unknown: overapproxcex |
11.2 |
4.28 |
272158720 |
timeout (error (143)) |
95.8 |
74.2 |
2203246592 |
unknown: overapproxcex |
10.2 |
3.84 |
278355968 |
timeout (error (143)) |
96.2 |
71.0 |
2185912320 |
unknown: overapproxcex |
10.6 |
3.89 |
274251776 |
timeout (error (143)) |
95.8 |
74.0 |
2197544960 |
unknown: overapproxcex |
10.7 |
4.48 |
271912960 |
timeout (error (143)) |
95.7 |
77.2 |
2185486336 |
unknown: overapproxcex |
10.5 |
3.81 |
274493440 |
| list-properties/simple_true-unreach-call_false-valid-memtrack.i |
unknown: overapproxcex |
14.3 |
5.38 |
279273472 |
unknown: overapproxcex |
17.7 |
7.38 |
310730752 |
timeout (error (143)) |
91.1 |
67.8 |
2192715776 |
unknown: overapproxcex |
42.2 |
23.1 |
1290305536 |
unknown |
9.87 |
3.53 |
317366272 |
unknown: overapproxcex |
20.0 |
9.37 |
308535296 |
timeout (error (143)) |
95.8 |
75.0 |
2184798208 |
timeout (error (143)) |
95.9 |
66.1 |
2234814464 |
timeout (error (143)) |
95.3 |
69.1 |
2227798016 |
timeout (error (143)) |
95.8 |
66.6 |
2227613696 |
timeout (error (143)) |
95.3 |
70.1 |
2156064768 |
timeout (error (143)) |
95.7 |
68.0 |
2213933056 |
timeout (error (143)) |
91.2 |
72.9 |
2214924288 |
unknown: overapproxcex |
41.9 |
21.5 |
1220259840 |
| list-properties/splice_true-unreach-call_false-valid-memtrack.i |
unknown: overapproxcex |
10.1 |
3.81 |
248180736 |
unknown: overapproxcex |
10.5 |
3.88 |
247590912 |
timeout (error (143)) |
90.4 |
64.3 |
2205618176 |
unknown: overapproxcex |
10.6 |
3.85 |
249647104 |
unknown |
16.0 |
5.52 |
459509760 |
unknown: overapproxcex |
10.4 |
3.90 |
244219904 |
timeout (error (143)) |
96.1 |
72.8 |
2184826880 |
unknown: overapproxcex |
9.83 |
3.60 |
248856576 |
timeout (error (143)) |
96.2 |
73.3 |
2194169856 |
unknown: overapproxcex |
10.1 |
3.69 |
247263232 |
timeout (error (143)) |
95.3 |
70.8 |
2170040320 |
unknown: overapproxcex |
10.6 |
4.17 |
242835456 |
timeout (error (143)) |
94.0 |
70.0 |
2207449088 |
unknown: overapproxcex |
10.2 |
3.79 |
247418880 |
| forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i |
error: exception |
64.0 |
27.7 |
564576256 |
error: exception |
63.6 |
27.4 |
631300096 |
timeout (error (143)) |
96.7 |
75.5 |
2204712960 |
timeout (error (143)) |
94.7 |
63.0 |
2220548096 |
unknown |
20.0 |
7.10 |
656027648 |
error: exception |
74.0 |
36.6 |
603918336 |
timeout (error (143)) |
96.3 |
75.5 |
2214535168 |
timeout (error (143)) |
95.6 |
58.2 |
2219700224 |
timeout (error (143)) |
95.7 |
69.0 |
2224943104 |
timeout (error (143)) |
96.0 |
57.7 |
2231353344 |
timeout (error (143)) |
96.3 |
74.5 |
2201718784 |
timeout (error (143)) |
96.3 |
60.3 |
2206957568 |
timeout (error (143)) |
92.0 |
72.2 |
2200899584 |
timeout (error (143)) |
95.7 |
63.3 |
2207170560 |
| forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i |
timeout (error (143)) |
96.2 |
69.3 |
538320896 |
timeout (error (143)) |
91.8 |
64.2 |
555560960 |
timeout (error (143)) |
93.6 |
73.5 |
2185199616 |
timeout (error (143)) |
93.4 |
61.4 |
2145275904 |
unknown |
17.8 |
6.10 |
644202496 |
timeout (error (143)) |
90.9 |
60.0 |
569331712 |
timeout (error (143)) |
96.1 |
70.8 |
2176204800 |
timeout (error (143)) |
95.9 |
58.2 |
1833537536 |
timeout (error (143)) |
95.9 |
72.3 |
2162462720 |
timeout (error (143)) |
95.4 |
59.0 |
1741127680 |
timeout (error (143)) |
96.2 |
69.3 |
2180108288 |
timeout (error (143)) |
97.0 |
58.2 |
1779474432 |
timeout (error (143)) |
91.5 |
72.9 |
2186530816 |
timeout (error (143)) |
91.2 |
59.5 |
2152517632 |
| forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i |
error: exception |
55.4 |
24.5 |
570167296 |
timeout (error (143)) |
95.6 |
65.7 |
514158592 |
timeout (error (143)) |
92.3 |
72.1 |
2221473792 |
timeout (error (143)) |
96.0 |
62.9 |
2216738816 |
unknown |
19.3 |
6.67 |
654127104 |
timeout (error (143)) |
92.1 |
57.9 |
498884608 |
timeout (error (143)) |
97.0 |
74.1 |
2199052288 |
timeout (error (143)) |
96.1 |
61.5 |
2197258240 |
timeout (error (143)) |
95.7 |
73.7 |
2182082560 |
timeout (error (143)) |
96.0 |
62.8 |
2183421952 |
timeout (error (143)) |
96.5 |
71.3 |
2174742528 |
timeout (error (143)) |
96.1 |
63.0 |
2214924288 |
timeout (error (143)) |
94.7 |
75.4 |
2179325952 |
timeout (error (143)) |
95.8 |
58.8 |
2219024384 |
| forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i |
timeout (error (143)) |
91.1 |
51.6 |
675086336 |
timeout (error (143)) |
91.4 |
61.4 |
648122368 |
timeout (error (143)) |
94.9 |
74.9 |
2195910656 |
timeout (error (143)) |
95.8 |
65.4 |
2205487104 |
unknown |
22.2 |
8.18 |
738365440 |
error: exception |
33.1 |
14.6 |
370196480 |
timeout (error (143)) |
95.5 |
73.4 |
2172764160 |
timeout (error (143)) |
98.8 |
68.1 |
2189860864 |
timeout (error (143)) |
95.9 |
73.8 |
2168283136 |
timeout (error (143)) |
96.9 |
68.9 |
2186448896 |
timeout (error (143)) |
96.4 |
72.8 |
2173915136 |
timeout (error (143)) |
91.7 |
64.9 |
2206461952 |
timeout (error (143)) |
96.3 |
75.6 |
2184122368 |
timeout (error (143)) |
95.7 |
65.7 |
2184486912 |
| forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i |
timeout (error (143)) |
91.1 |
48.5 |
677675008 |
timeout (error (143)) |
91.1 |
59.4 |
610111488 |
timeout (error (143)) |
92.2 |
69.9 |
2188255232 |
timeout (error (143)) |
95.6 |
66.9 |
2219843584 |
unknown |
16.3 |
5.63 |
486850560 |
timeout (error (143)) |
91.8 |
58.9 |
604348416 |
timeout (error (143)) |
96.6 |
70.4 |
2183593984 |
timeout (error (143)) |
96.1 |
62.7 |
2191847424 |
timeout (error (143)) |
96.7 |
69.9 |
2186317824 |
timeout (error (143)) |
95.5 |
60.4 |
2197524480 |
timeout (error (143)) |
93.6 |
70.6 |
2163396608 |
timeout (error (143)) |
94.1 |
70.3 |
2195222528 |
timeout (error (143)) |
97.4 |
73.7 |
2200305664 |
timeout (error (143)) |
92.8 |
59.1 |
2218004480 |
| forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i |
timeout (error (143)) |
91.7 |
54.8 |
770781184 |
timeout (error (143)) |
91.3 |
68.8 |
465588224 |
timeout (error (143)) |
96.3 |
72.3 |
2181910528 |
timeout (error (143)) |
94.4 |
63.6 |
2213797888 |
unknown |
16.9 |
5.94 |
503394304 |
timeout (error (143)) |
93.1 |
67.9 |
517672960 |
timeout (error (143)) |
96.2 |
68.6 |
2226507776 |
timeout (error (143)) |
96.5 |
56.5 |
2255794176 |
timeout (error (143)) |
95.4 |
65.6 |
2207461376 |
timeout (error (143)) |
98.7 |
63.0 |
2269528064 |
timeout (error (143)) |
96.1 |
68.7 |
2219577344 |
timeout (error (143)) |
97.2 |
64.0 |
2206375936 |
timeout (error (143)) |
95.9 |
75.1 |
2188398592 |
timeout (error (143)) |
90.9 |
60.8 |
2203238400 |
| forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i |
timeout (error (143)) |
91.4 |
49.5 |
708399104 |
timeout (error (143)) |
91.4 |
59.2 |
583778304 |
timeout (error (143)) |
95.7 |
74.7 |
2189885440 |
timeout (error (143)) |
92.7 |
60.9 |
2174066688 |
unknown |
18.5 |
6.47 |
589393920 |
timeout (error (143)) |
92.7 |
60.1 |
624054272 |
timeout (error (143)) |
96.0 |
71.5 |
2183249920 |
timeout (error (143)) |
98.0 |
66.3 |
2184581120 |
timeout (error (143)) |
95.8 |
70.2 |
2181783552 |
timeout (error (143)) |
97.8 |
63.7 |
2193223680 |
timeout (error (143)) |
96.2 |
72.9 |
2177732608 |
timeout (error (143)) |
92.1 |
64.2 |
2207768576 |
timeout (error (143)) |
92.6 |
70.8 |
2185285632 |
timeout (error (143)) |
92.9 |
58.5 |
2198847488 |
| forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i |
timeout (error (143)) |
90.9 |
47.7 |
690302976 |
timeout (error (143)) |
91.1 |
62.4 |
607305728 |
timeout (error (143)) |
95.7 |
75.3 |
2168594432 |
timeout (error (143)) |
95.9 |
64.3 |
2187849728 |
unknown |
19.9 |
6.91 |
573190144 |
timeout (error (143)) |
94.6 |
64.2 |
598020096 |
timeout (error (143)) |
95.9 |
73.1 |
2176761856 |
timeout (error (143)) |
96.6 |
68.1 |
2194616320 |
timeout (error (143)) |
96.7 |
75.6 |
2192596992 |
timeout (error (143)) |
98.0 |
67.7 |
2202574848 |
timeout (error (143)) |
95.7 |
73.2 |
2173829120 |
timeout (error (143)) |
92.8 |
64.5 |
2209337344 |
timeout (error (143)) |
95.8 |
75.2 |
2198523904 |
timeout (error (143)) |
95.8 |
66.5 |
2187497472 |
| forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i |
timeout (error (143)) |
91.8 |
56.9 |
754036736 |
timeout (error (143)) |
90.3 |
61.2 |
541450240 |
timeout (error (143)) |
95.7 |
77.4 |
2173706240 |
timeout (error (143)) |
95.6 |
67.9 |
2199220224 |
unknown |
15.0 |
5.33 |
416763904 |
timeout (error (143)) |
90.2 |
60.4 |
628031488 |
timeout (error (143)) |
96.2 |
74.7 |
2221551616 |
timeout (error (143)) |
96.3 |
61.7 |
2265976832 |
timeout (error (143)) |
96.0 |
75.3 |
2170613760 |
timeout (error (143)) |
97.5 |
62.5 |
2265079808 |
timeout (error (143)) |
96.8 |
68.2 |
2235998208 |
timeout (error (143)) |
97.1 |
64.7 |
2240774144 |
timeout (error (143)) |
90.7 |
71.1 |
2187046912 |
timeout (error (143)) |
95.3 |
68.6 |
2211594240 |
| forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i |
error: exception |
89.6 |
53.2 |
634503168 |
timeout (error (143)) |
90.5 |
43.0 |
635486208 |
timeout (error (143)) |
90.9 |
70.2 |
2190123008 |
timeout (error (143)) |
92.6 |
59.0 |
2190114816 |
unknown |
19.2 |
6.76 |
609394688 |
timeout (error (143)) |
91.5 |
42.7 |
800468992 |
timeout (error (143)) |
96.6 |
70.0 |
2213470208 |
timeout (error (143)) |
96.6 |
64.0 |
2220912640 |
timeout (error (143)) |
95.7 |
70.0 |
2195156992 |
timeout (error (143)) |
96.6 |
64.7 |
2224857088 |
timeout (error (143)) |
99.5 |
73.3 |
2228813824 |
timeout (error (143)) |
95.8 |
61.6 |
2226933760 |
timeout (error (143)) |
92.8 |
69.1 |
2190880768 |
timeout (error (143)) |
90.5 |
52.9 |
2212233216 |
| forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i |
timeout (error (143)) |
90.6 |
59.9 |
699035648 |
timeout (error (143)) |
91.3 |
66.2 |
554557440 |
timeout (error (143)) |
95.6 |
76.1 |
2185089024 |
timeout (error (143)) |
95.7 |
64.9 |
2170994688 |
unknown |
21.6 |
8.30 |
738295808 |
timeout (error (143)) |
91.6 |
64.5 |
550973440 |
timeout (error (143)) |
95.5 |
77.1 |
2168123392 |
timeout (error (143)) |
95.4 |
66.3 |
2184097792 |
timeout (error (143)) |
95.4 |
78.1 |
2169307136 |
timeout (error (143)) |
95.3 |
68.5 |
2189344768 |
timeout (error (143)) |
95.5 |
76.5 |
2172567552 |
timeout (error (143)) |
95.5 |
66.6 |
2199277568 |
timeout (error (143)) |
95.8 |
75.0 |
2199236608 |
timeout (error (143)) |
95.3 |
56.9 |
2126147584 |
| forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i |
timeout (error (143)) |
90.3 |
47.1 |
687296512 |
timeout (error (143)) |
91.2 |
60.3 |
642629632 |
timeout (error (143)) |
95.4 |
78.4 |
2199019520 |
timeout (error (143)) |
95.4 |
64.6 |
2217324544 |
unknown |
19.3 |
6.87 |
639913984 |
timeout (error (143)) |
90.9 |
53.3 |
719073280 |
timeout (error (143)) |
96.9 |
73.7 |
2163859456 |
timeout (error (143)) |
95.8 |
63.3 |
1788743680 |
timeout (error (143)) |
96.1 |
71.4 |
2179198976 |
timeout (error (143)) |
95.5 |
64.5 |
1847713792 |
timeout (error (143)) |
96.6 |
71.1 |
2150481920 |
timeout (error (143)) |
95.8 |
61.0 |
1734385664 |
timeout (error (143)) |
95.7 |
74.7 |
2189426688 |
timeout (error (143)) |
94.6 |
62.0 |
2074816512 |
| forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i |
error: exception |
37.0 |
14.9 |
483680256 |
error: exception |
79.2 |
51.3 |
497586176 |
timeout (error (143)) |
91.0 |
68.6 |
2196713472 |
timeout (error (143)) |
92.1 |
55.3 |
2212372480 |
unknown |
18.3 |
6.47 |
606679040 |
error: exception |
82.3 |
53.5 |
514998272 |
timeout (error (143)) |
96.0 |
75.3 |
2167185408 |
timeout (error (143)) |
96.2 |
61.9 |
2214825984 |
timeout (error (143)) |
96.5 |
74.2 |
2168901632 |
timeout (error (143)) |
96.4 |
65.1 |
2201284608 |
timeout (error (143)) |
95.8 |
69.9 |
2175127552 |
timeout (error (143)) |
96.0 |
63.2 |
2194124800 |
timeout (error (143)) |
94.9 |
72.7 |
2231648256 |
timeout (error (143)) |
93.7 |
59.6 |
2231521280 |
| forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i |
timeout (error (143)) |
91.6 |
50.6 |
704094208 |
timeout (error (143)) |
91.2 |
63.2 |
619061248 |
timeout (error (143)) |
92.3 |
70.4 |
2181103616 |
timeout (error (143)) |
92.6 |
59.5 |
2197155840 |
unknown |
21.2 |
7.71 |
775057408 |
error: exception |
24.3 |
9.12 |
371294208 |
timeout (error (143)) |
95.5 |
68.9 |
2192826368 |
timeout (error (143)) |
95.3 |
64.9 |
2201329664 |
timeout (error (143)) |
95.4 |
69.7 |
2207260672 |
timeout (error (143)) |
95.6 |
67.9 |
2206502912 |
timeout (error (143)) |
95.2 |
71.8 |
2182914048 |
timeout (error (143)) |
95.7 |
61.3 |
2226110464 |
timeout (error (143)) |
93.3 |
72.3 |
2183933952 |
timeout (error (143)) |
91.5 |
60.2 |
2211454976 |
| forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i |
error: exception |
22.5 |
8.51 |
384548864 |
error: exception |
22.7 |
8.38 |
373911552 |
timeout (error (143)) |
95.7 |
67.4 |
2200948736 |
timeout (error (143)) |
96.3 |
69.7 |
2200928256 |
unknown |
15.2 |
5.36 |
439943168 |
error: exception |
25.9 |
9.44 |
394731520 |
timeout (error (143)) |
96.3 |
73.1 |
2182467584 |
timeout (error (143)) |
96.1 |
69.4 |
2187075584 |
timeout (error (143)) |
96.3 |
73.5 |
2183598080 |
timeout (error (143)) |
96.2 |
64.1 |
2192551936 |
timeout (error (143)) |
95.4 |
69.4 |
2179616768 |
timeout (error (143)) |
96.3 |
73.7 |
2212900864 |
timeout (error (143)) |
96.2 |
72.5 |
2199429120 |
timeout (error (143)) |
95.4 |
65.5 |
2210390016 |
| forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i |
timeout (error (143)) |
91.6 |
48.4 |
651636736 |
timeout (error (143)) |
90.4 |
58.8 |
623321088 |
timeout (error (143)) |
92.6 |
71.4 |
2195955712 |
timeout (error (143)) |
94.6 |
67.1 |
2238582784 |
unknown |
16.7 |
5.59 |
449556480 |
timeout (error (143)) |
90.5 |
59.8 |
539070464 |
timeout (error (143)) |
96.1 |
73.2 |
2192236544 |
timeout (error (143)) |
95.9 |
64.8 |
2194403328 |
timeout (error (143)) |
96.0 |
74.8 |
2192654336 |
timeout (error (143)) |
95.9 |
65.1 |
2187460608 |
timeout (error (143)) |
96.1 |
72.7 |
2183155712 |
timeout (error (143)) |
95.3 |
69.0 |
2203889664 |
timeout (error (143)) |
95.9 |
74.8 |
2192621568 |
timeout (error (143)) |
95.7 |
65.0 |
2208555008 |
| forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i |
timeout (error (143)) |
91.2 |
47.4 |
643665920 |
timeout (error (143)) |
90.2 |
59.9 |
578785280 |
timeout (error (143)) |
95.9 |
74.8 |
2189819904 |
timeout (error (143)) |
91.0 |
62.5 |
2227568640 |
unknown |
16.7 |
5.90 |
480808960 |
timeout (error (143)) |
90.7 |
57.5 |
690589696 |
timeout (error (143)) |
96.2 |
74.0 |
2170032128 |
timeout (error (143)) |
96.4 |
65.9 |
2232512512 |
timeout (error (143)) |
95.6 |
69.9 |
2172932096 |
timeout (error (143)) |
95.9 |
68.3 |
2229964800 |
timeout (error (143)) |
95.8 |
70.2 |
2181410816 |
timeout (error (143)) |
96.0 |
65.9 |
2214932480 |
timeout (error (143)) |
95.7 |
75.4 |
2194829312 |
timeout (error (143)) |
95.2 |
64.0 |
2215792640 |
| forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i |
timeout (error (143)) |
90.6 |
49.3 |
671920128 |
timeout (error (143)) |
90.8 |
59.0 |
585510912 |
timeout (error (143)) |
94.8 |
73.4 |
2196123648 |
timeout (error (143)) |
95.0 |
68.1 |
2197053440 |
unknown |
20.3 |
6.95 |
623058944 |
timeout (error (143)) |
91.0 |
62.3 |
612466688 |
timeout (error (143)) |
96.0 |
74.5 |
2157670400 |
timeout (error (143)) |
95.3 |
65.9 |
2178256896 |
timeout (error (143)) |
96.2 |
74.4 |
2196467712 |
timeout (error (143)) |
96.2 |
67.8 |
2214731776 |
timeout (error (143)) |
95.9 |
71.5 |
2188533760 |
timeout (error (143)) |
96.1 |
65.3 |
2221412352 |
timeout (error (143)) |
95.0 |
71.2 |
2194051072 |
timeout (error (143)) |
91.6 |
63.0 |
2212450304 |
| forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i |
timeout (error (143)) |
90.5 |
47.2 |
654032896 |
timeout (error (143)) |
91.6 |
63.2 |
551743488 |
timeout (error (143)) |
93.3 |
72.5 |
2203705344 |
timeout (error (143)) |
90.7 |
65.3 |
2107650048 |
unknown |
15.9 |
5.45 |
449167360 |
timeout (error (143)) |
92.7 |
56.3 |
587300864 |
timeout (error (143)) |
95.5 |
72.4 |
2172616704 |
timeout (error (143)) |
97.6 |
65.6 |
2196254720 |
timeout (error (143)) |
95.8 |
71.2 |
2188619776 |
timeout (error (143)) |
96.9 |
66.8 |
2211708928 |
timeout (error (143)) |
96.0 |
70.7 |
2184757248 |
timeout (error (143)) |
97.0 |
66.4 |
2192834560 |
timeout (error (143)) |
93.8 |
71.5 |
2209746944 |
timeout (error (143)) |
90.9 |
65.0 |
2155253760 |
| forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i |
timeout (false(valid-deref)) |
91.0 |
48.9 |
678117376 |
timeout (error (143)) |
90.2 |
61.5 |
612745216 |
timeout (error (143)) |
93.3 |
67.8 |
2181181440 |
timeout (error (143)) |
96.0 |
63.4 |
2214895616 |
unknown |
17.4 |
5.99 |
474976256 |
timeout (error (143)) |
90.7 |
59.3 |
650350592 |
timeout (error (143)) |
95.5 |
71.1 |
2185605120 |
timeout (error (143)) |
95.5 |
62.2 |
2185322496 |
timeout (error (143)) |
95.7 |
68.5 |
2187878400 |
timeout (error (143)) |
95.6 |
61.3 |
2157559808 |
timeout (error (143)) |
97.4 |
70.6 |
2187563008 |
timeout (error (143)) |
95.7 |
60.8 |
2184953856 |
timeout (error (143)) |
96.4 |
75.5 |
2186395648 |
timeout (error (143)) |
96.7 |
60.4 |
2213416960 |
| forester-heap/sll-01_false-unreach-call_false-valid-deref.i |
false(valid-deref) |
44.9 |
18.0 |
492679168 |
false(valid-deref) |
47.4 |
19.2 |
485568512 |
timeout (error (143)) |
95.3 |
69.4 |
2197995520 |
timeout (error (143)) |
92.4 |
60.9 |
2135023616 |
unknown |
21.1 |
7.32 |
620326912 |
false(valid-deref) |
57.6 |
22.1 |
547332096 |
timeout (error (143)) |
96.0 |
73.3 |
2170544128 |
timeout (error (143)) |
96.8 |
62.7 |
2223648768 |
timeout (error (143)) |
96.1 |
69.5 |
2195079168 |
timeout (error (143)) |
95.5 |
60.6 |
2198917120 |
timeout (error (143)) |
97.7 |
73.2 |
2175750144 |
timeout (error (143)) |
96.2 |
62.9 |
2204958720 |
timeout (error (143)) |
94.6 |
72.5 |
2201792512 |
timeout (error (143)) |
96.6 |
62.4 |
2081947648 |
| forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i |
false(valid-deref) |
67.6 |
34.7 |
592805888 |
timeout (error (143)) |
90.4 |
61.2 |
592859136 |
timeout (error (143)) |
96.1 |
74.4 |
2187206656 |
timeout (error (143)) |
92.8 |
65.8 |
2201796608 |
unknown |
15.4 |
5.37 |
460169216 |
timeout (error (143)) |
90.3 |
59.5 |
655650816 |
timeout (error (143)) |
95.3 |
69.8 |
2216476672 |
timeout (error (143)) |
96.3 |
63.8 |
2219778048 |
timeout (error (143)) |
95.8 |
74.6 |
2209120256 |
timeout (error (143)) |
95.4 |
67.9 |
2217836544 |
timeout (error (143)) |
95.8 |
75.4 |
2184507392 |
timeout (error (143)) |
95.5 |
67.3 |
2206433280 |
timeout (error (143)) |
96.1 |
73.4 |
2222252032 |
timeout (error (143)) |
96.4 |
68.6 |
2207989760 |
| loop-acceleration/array3_false-valid-deref.i |
timeout (error (143)) |
91.0 |
48.9 |
882876416 |
timeout (error (143)) |
90.4 |
51.1 |
641282048 |
unknown |
6.64 |
2.53 |
204251136 |
timeout (error (143)) |
91.7 |
51.9 |
652488704 |
unknown |
6.82 |
2.60 |
197648384 |
timeout (error (143)) |
90.8 |
50.3 |
668360704 |
unknown |
6.44 |
2.56 |
201162752 |
timeout (error (143)) |
91.7 |
51.3 |
689598464 |
unknown |
6.62 |
2.50 |
210071552 |
timeout (error (143)) |
90.8 |
51.1 |
665952256 |
unknown |
6.95 |
3.19 |
194560000 |
timeout (error (143)) |
90.5 |
51.6 |
648548352 |
unknown |
6.36 |
2.55 |
199380992 |
timeout (error (143)) |
93.0 |
50.9 |
674922496 |
| ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c |
true |
12.5 |
4.44 |
299966464 |
true |
13.1 |
4.56 |
295006208 |
timeout (error (143)) |
90.3 |
58.9 |
2484600832 |
true |
12.8 |
4.43 |
302723072 |
timeout (error (143)) |
90.5 |
59.1 |
2474299392 |
true |
13.1 |
4.58 |
297725952 |
timeout (error (143)) |
90.9 |
61.6 |
2474954752 |
true |
12.8 |
4.53 |
292868096 |
timeout (error (143)) |
90.7 |
61.7 |
2486288384 |
true |
12.1 |
4.23 |
287571968 |
timeout (error (143)) |
90.9 |
62.4 |
2469265408 |
true |
12.7 |
4.53 |
290803712 |
timeout (error (143)) |
91.3 |
61.7 |
2496327680 |
true |
12.8 |
4.63 |
307666944 |
| ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c |
true |
11.9 |
4.31 |
294760448 |
true |
12.6 |
4.49 |
295485440 |
timeout (error (143)) |
90.7 |
58.2 |
2482774016 |
true |
12.4 |
4.33 |
297508864 |
timeout (error (143)) |
90.9 |
58.9 |
2482823168 |
true |
13.7 |
4.68 |
310181888 |
timeout (error (143)) |
91.2 |
59.4 |
2446405632 |
true |
12.9 |
4.54 |
293658624 |
timeout (error (143)) |
91.0 |
61.6 |
2459172864 |
true |
12.4 |
4.37 |
296980480 |
timeout (error (143)) |
91.1 |
60.1 |
2392952832 |
true |
12.5 |
4.44 |
290185216 |
timeout (error (143)) |
90.7 |
58.1 |
2466615296 |
true |
12.3 |
4.40 |
290779136 |
| ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c |
true |
9.40 |
3.54 |
262594560 |
true |
9.91 |
3.65 |
264622080 |
timeout (error (143)) |
97.0 |
61.6 |
2635366400 |
true |
11.3 |
3.98 |
274874368 |
timeout (error (143)) |
94.3 |
60.7 |
2620846080 |
true |
10.6 |
3.77 |
266309632 |
timeout (error (143)) |
91.3 |
59.8 |
2534072320 |
true |
10.0 |
3.73 |
264626176 |
timeout (error (143)) |
96.9 |
63.8 |
2621345792 |
true |
10.2 |
3.66 |
262606848 |
timeout (error (143)) |
91.1 |
61.5 |
2557345792 |
true |
9.89 |
3.65 |
260993024 |
timeout (error (143)) |
95.8 |
61.5 |
2620293120 |
true |
9.67 |
3.59 |
263118848 |
| ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c |
true |
10.3 |
3.74 |
265195520 |
true |
10.4 |
3.76 |
263983104 |
timeout (error (143)) |
91.1 |
61.3 |
2566123520 |
true |
10.1 |
3.74 |
268386304 |
timeout (error (143)) |
97.1 |
63.7 |
2590457856 |
true |
10.4 |
3.80 |
259907584 |
timeout (error (143)) |
91.3 |
60.0 |
2529026048 |
true |
10.5 |
3.68 |
265961472 |
timeout (error (143)) |
90.9 |
62.3 |
2546798592 |
true |
9.86 |
3.55 |
265519104 |
timeout (error (143)) |
91.2 |
62.7 |
2465165312 |
true |
10.5 |
3.83 |
263503872 |
timeout (error (143)) |
90.8 |
57.5 |
2570043392 |
true |
10.3 |
3.72 |
267993088 |
| ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c |
true |
10.1 |
3.61 |
266960896 |
true |
10.5 |
3.72 |
263766016 |
timeout (error (143)) |
92.4 |
56.6 |
2573422592 |
true |
9.75 |
3.60 |
262746112 |
timeout (error (143)) |
93.3 |
62.3 |
2584985600 |
true |
10.3 |
3.69 |
266530816 |
timeout (error (143)) |
92.7 |
61.5 |
2562940928 |
true |
9.68 |
3.53 |
265191424 |
timeout (error (143)) |
94.2 |
61.9 |
2565156864 |
true |
9.82 |
3.61 |
261804032 |
timeout (error (143)) |
91.0 |
61.1 |
2485530624 |
true |
10.2 |
3.74 |
265396224 |
timeout (error (143)) |
91.8 |
58.1 |
2574770176 |
true |
10.8 |
3.83 |
266137600 |
| ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c |
true |
11.5 |
4.15 |
278487040 |
true |
11.6 |
4.09 |
281120768 |
timeout (error (143)) |
91.2 |
59.5 |
2523082752 |
true |
10.9 |
4.04 |
267018240 |
timeout (error (143)) |
91.0 |
59.9 |
2535997440 |
true |
11.6 |
4.08 |
279441408 |
timeout (error (143)) |
91.2 |
59.3 |
2489487360 |
true |
11.4 |
4.05 |
284598272 |
timeout (error (143)) |
91.2 |
59.5 |
2512781312 |
true |
11.3 |
3.96 |
271392768 |
timeout (error (143)) |
90.9 |
62.4 |
2508185600 |
true |
11.4 |
4.05 |
272592896 |
timeout (error (143)) |
91.1 |
60.4 |
2540990464 |
true |
11.4 |
4.06 |
279330816 |
| ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c |
true |
11.9 |
4.27 |
272359424 |
true |
11.7 |
4.15 |
273387520 |
timeout (error (143)) |
91.1 |
59.8 |
2515791872 |
true |
11.0 |
3.91 |
271466496 |
timeout (error (143)) |
91.0 |
56.8 |
2557575168 |
true |
11.8 |
4.12 |
288792576 |
timeout (error (143)) |
90.8 |
61.7 |
2526240768 |
true |
11.5 |
4.08 |
275369984 |
timeout (error (143)) |
90.7 |
62.6 |
2520174592 |
true |
10.9 |
3.85 |
272437248 |
timeout (error (143)) |
91.5 |
61.3 |
2468401152 |
true |
11.1 |
3.95 |
280432640 |
timeout (error (143)) |
91.1 |
58.5 |
2582212608 |
true |
11.1 |
4.04 |
270364672 |