| loops/array_false-unreach-call_true-termination.i |
false(unreach-call) |
8.75 |
4.96 |
250970112 |
| loops/bubble_sort_false-unreach-call.i |
false(unreach-call) |
16.1 |
9.17 |
393347072 |
| loops/count_up_down_false-unreach-call_true-termination.i |
false(unreach-call) |
7.91 |
4.63 |
235229184 |
| loops/eureka_01_false-unreach-call_true-termination.i |
timeout (error (8)) |
300 |
280 |
2419425280 |
| loops/for_bounded_loop1_false-unreach-call_true-termination.i |
false(unreach-call) |
12.6 |
7.02 |
326447104 |
| loops/insertion_sort_false-unreach-call_true-termination.i |
timeout (error (8)) |
301 |
238 |
2108280832 |
| loops/invert_string_false-unreach-call_true-termination.i |
false(unreach-call) |
55.5 |
37.1 |
1840119808 |
| loops/linear_search_false-unreach-call.i |
timeout (error (8)) |
300 |
260 |
2899349504 |
| loops/ludcmp_false-unreach-call.i |
timeout (error (8)) |
301 |
242 |
6838513664 |
| loops/matrix_false-unreach-call_true-termination.i |
false(unreach-call) |
14.1 |
7.90 |
520007680 |
| loops/n.c24_false-unreach-call.i |
timeout (error (8)) |
300 |
238 |
2439868416 |
| loops/nec11_false-unreach-call_false-termination.i |
false(unreach-call) |
8.12 |
4.51 |
241332224 |
| loops/nec20_false-unreach-call_true-termination.i |
false(unreach-call) |
8.81 |
5.34 |
238514176 |
| loops/s3_false-unreach-call.i |
false(unreach-call) |
201 |
151 |
998047744 |
| loops/string_false-unreach-call_true-termination.i |
false(unreach-call) |
40.2 |
23.4 |
590245888 |
| loops/sum01_bug02_false-unreach-call_true-termination.i |
false(unreach-call) |
25.2 |
14.9 |
579665920 |
| loops/sum01_bug02_sum01_bug02_base.case_false-unreach-call_true-termination.i |
false(unreach-call) |
17.5 |
10.4 |
508936192 |
| loops/sum01_false-unreach-call_true-termination.i |
false(unreach-call) |
23.6 |
14.2 |
572473344 |
| loops/sum03_false-unreach-call_true-termination.i |
timeout (error (8)) |
301 |
290 |
682364928 |
| loops/sum04_false-unreach-call_true-termination.i |
false(unreach-call) |
15.5 |
8.86 |
432812032 |
| loops/sum_array_false-unreach-call.i |
false(unreach-call) |
10.8 |
5.97 |
274386944 |
| loops/terminator_01_false-unreach-call_true-termination.i |
false(unreach-call) |
8.40 |
4.73 |
240316416 |
| loops/terminator_02_false-unreach-call_true-termination.i |
false(unreach-call) |
8.33 |
4.58 |
243056640 |
| loops/terminator_03_false-unreach-call_true-termination.i |
false(unreach-call) |
8.00 |
4.54 |
245682176 |
| loops/trex01_false-unreach-call_true-termination.i |
false(unreach-call) |
8.11 |
4.55 |
250150912 |
| loops/trex02_false-unreach-call_true-termination.i |
false(unreach-call) |
7.80 |
4.46 |
246726656 |
| loops/trex03_false-unreach-call_true-termination.i |
false(unreach-call) |
7.92 |
4.46 |
236732416 |
| loops/verisec_NetBSD-libc__loop_false-unreach-call_true-termination.i |
false(unreach-call) |
16.2 |
9.15 |
522072064 |
| loops/verisec_OpenSER__cases1_stripFullBoth_arr_false-unreach-call_true-termination.i |
false(unreach-call) |
86.4 |
53.6 |
3804102656 |
| loops/vogal_false-unreach-call.i |
timeout (error (8)) |
301 |
256 |
4780396544 |
| loops/while_infinite_loop_4_false-unreach-call_true-termination.i |
false(unreach-call) |
7.94 |
4.46 |
249057280 |
| loops/array_true-unreach-call_true-termination.i |
true |
19.1 |
10.9 |
515629056 |
| loops/bubble_sort_true-unreach-call_true-termination.i |
true |
8.73 |
4.89 |
246075392 |
| loops/count_up_down_true-unreach-call_true-termination.i |
true |
23.2 |
16.0 |
450920448 |
| loops/eureka_01_true-unreach-call.i |
timeout (error (8)) |
300 |
259 |
2799063040 |
| loops/eureka_05_true-unreach-call_true-termination.i |
timeout (error (8)) |
301 |
269 |
1112600576 |
| loops/for_infinite_loop_1_true-unreach-call_false-termination.i |
true |
9.06 |
5.02 |
251768832 |
| loops/for_infinite_loop_2_true-unreach-call_false-termination.i |
true |
8.36 |
4.77 |
255021056 |
| loops/insertion_sort_true-unreach-call_true-termination.i |
timeout (error (8)) |
300 |
260 |
1984098304 |
| loops/invert_string_true-unreach-call_true-termination.i |
timeout (error (8)) |
301 |
264 |
1628884992 |
| loops/linear_sea.ch_true-unreach-call.i |
timeout (error (8)) |
300 |
267 |
1798873088 |
| loops/lu.cmp_true-unreach-call.i |
timeout (error (8)) |
301 |
229 |
6847356928 |
| loops/matrix_true-unreach-call_true-termination.i |
timeout (error (8)) |
300 |
286 |
1161404416 |
| loops/n.c11_true-unreach-call_false-termination.i |
true |
16.0 |
9.33 |
468017152 |
| loops/n.c40_true-unreach-call_true-termination.i |
timeout (error (8)) |
301 |
280 |
2609766400 |
| loops/nec40_true-unreach-call_true-termination.i |
timeout (error (8)) |
300 |
277 |
3010314240 |
| loops/string_true-unreach-call_true-termination.i |
true |
32.7 |
17.8 |
910061568 |
| loops/sum01_true-unreach-call_true-termination.i |
true |
16.6 |
9.79 |
509087744 |
| loops/sum03_true-unreach-call_false-termination.i |
true |
8.33 |
4.65 |
249155584 |
| loops/sum04_true-unreach-call_true-termination.i |
true |
17.8 |
10.5 |
489021440 |
| loops/sum_array_true-unreach-call.i |
timeout (error (8)) |
300 |
254 |
2203004928 |
| loops/terminator_02_true-unreach-call_true-termination.i |
true |
10.2 |
5.70 |
262045696 |
| loops/terminator_03_true-unreach-call_true-termination.i |
true |
9.02 |
5.08 |
246874112 |
| loops/trex01_true-unreach-call_true-termination.i |
true |
8.94 |
4.97 |
250982400 |
| loops/trex02_true-unreach-call_true-termination.i |
true |
8.19 |
4.54 |
249118720 |
| loops/trex03_true-unreach-call_true-termination.i |
true |
8.53 |
4.73 |
250425344 |
| loops/trex04_true-unreach-call_false-termination.i |
true |
8.31 |
4.75 |
251650048 |
| loops/veris.c_NetBSD-libc__loop_true-unreach-call_true-termination.i |
true |
17.6 |
10.2 |
508964864 |
| loops/veris.c_OpenSER__cases1_stripFullBoth_arr_true-unreach-call_true-termination.i |
true |
10.4 |
5.76 |
290754560 |
| loops/veris.c_sendmail__tTflag_arr_one_loop_true-unreach-call_true-termination.i |
true |
8.27 |
4.65 |
247156736 |
| loops/vogal_true-unreach-call.i |
timeout (error (8)) |
301 |
254 |
4778893312 |
| loops/while_infinite_loop_1_true-unreach-call_false-termination.i |
true |
8.08 |
4.61 |
246358016 |
| loops/while_infinite_loop_2_true-unreach-call_false-termination.i |
true |
8.26 |
4.64 |
254967808 |
| loops/while_infinite_loop_3_true-unreach-call_false-termination.i |
true |
8.80 |
4.86 |
247230464 |
| loop-acceleration/array_false-unreach-call1_true-termination.i |
timeout (error (8)) |
301 |
257 |
945459200 |
| loop-acceleration/array_false-unreach-call2_true-termination.i |
timeout (error (8)) |
300 |
269 |
912662528 |
| loop-acceleration/array_false-unreach-call3_true-termination.i |
timeout (error (8)) |
300 |
266 |
959012864 |
| loop-acceleration/const_false-unreach-call1.i |
timeout (error (8)) |
300 |
284 |
711667712 |
| loop-acceleration/diamond_false-unreach-call1.i |
timeout (error (8)) |
300 |
274 |
797478912 |
| loop-acceleration/functions_false-unreach-call1_true-termination.i |
timeout (error (8)) |
300 |
274 |
858267648 |
| loop-acceleration/multivar_false-unreach-call1_true-termination.i |
false(unreach-call) |
7.79 |
4.39 |
235778048 |
| loop-acceleration/nested_false-unreach-call1.i |
timeout (error (8)) |
301 |
278 |
988827648 |
| loop-acceleration/phases_false-unreach-call1.i |
timeout (error (8)) |
300 |
278 |
677457920 |
| loop-acceleration/phases_false-unreach-call2_false-termination.i |
false(unreach-call) |
8.07 |
4.46 |
245506048 |
| loop-acceleration/simple_false-unreach-call1.i |
timeout (error (8)) |
300 |
287 |
675766272 |
| loop-acceleration/simple_false-unreach-call2_true-termination.i |
false(unreach-call) |
7.90 |
4.34 |
238247936 |
| loop-acceleration/simple_false-unreach-call3_true-termination.i |
false(unreach-call) |
7.83 |
4.39 |
235921408 |
| loop-acceleration/simple_false-unreach-call4.i |
timeout (error (8)) |
301 |
289 |
671940608 |
| loop-acceleration/underapprox_false-unreach-call1_true-termination.i |
false(unreach-call) |
16.5 |
9.75 |
499421184 |
| loop-acceleration/underapprox_false-unreach-call2_true-termination.i |
false(unreach-call) |
14.4 |
8.53 |
454111232 |
| loop-acceleration/array_true-unreach-call1_true-termination.i |
true |
13.7 |
7.79 |
466927616 |
| loop-acceleration/array_true-unreach-call2_true-termination.i |
timeout (error (8)) |
300 |
271 |
892727296 |
| loop-acceleration/array_true-unreach-call3_true-termination.i |
true |
12.5 |
6.90 |
449863680 |
| loop-acceleration/array_true-unreach-call4_true-termination.i |
timeout (error (8)) |
301 |
263 |
1380687872 |
| loop-acceleration/const_true-unreach-call1.i |
true |
10.0 |
5.68 |
285069312 |
| loop-acceleration/diamond_true-unreach-call1_true-termination.i |
timeout (error (8)) |
300 |
280 |
726888448 |
| loop-acceleration/diamond_true-unreach-call2.i |
true |
249 |
231 |
689373184 |
| loop-acceleration/functions_true-unreach-call1_true-termination.i |
timeout (error (8)) |
300 |
275 |
756494336 |
| loop-acceleration/multivar_true-unreach-call1_true-termination.i |
true |
8.53 |
4.69 |
251105280 |
| loop-acceleration/nested_true-unreach-call1.i |
true |
42.5 |
35.4 |
518033408 |
| loop-acceleration/overflow_true-unreach-call1.i |
true |
9.80 |
5.46 |
274628608 |
| loop-acceleration/phases_true-unreach-call1.i |
timeout (error (8)) |
300 |
281 |
668315648 |
| loop-acceleration/phases_true-unreach-call2_false-termination.i |
true |
19.5 |
13.9 |
388698112 |
| loop-acceleration/simple_true-unreach-call1.i |
true |
10.3 |
5.70 |
274804736 |
| loop-acceleration/simple_true-unreach-call2_true-termination.i |
true |
7.69 |
4.33 |
245436416 |
| loop-acceleration/simple_true-unreach-call3_true-termination.i |
true |
11.4 |
6.31 |
303476736 |
| loop-acceleration/simple_true-unreach-call4.i |
true |
10.2 |
5.61 |
277135360 |
| loop-acceleration/underapprox_true-unreach-call1_true-termination.i |
true |
150 |
141 |
494399488 |
| loop-acceleration/underapprox_true-unreach-call2_true-termination.i |
true |
13.0 |
7.38 |
376053760 |
| loop-crafted/simple_array_index_value_false-unreach-call1_false-termination.i |
false(unreach-call) |
8.13 |
4.47 |
247586816 |
| loop-crafted/simple_array_index_value_true-unreach-call1_true-termination.i |
timeout (error (8)) |
300 |
282 |
809168896 |
| loop-crafted/simple_array_index_value_true-unreach-call2_true-termination.i |
timeout (error (8)) |
300 |
281 |
1072463872 |
| loop-crafted/simple_array_index_value_true-unreach-call3_true-termination.i |
timeout (error (8)) |
300 |
278 |
1030090752 |
| loop-crafted/simple_array_index_value_true-unreach-call4_true-termination.i |
true |
111 |
99.6 |
602992640 |
| loop-crafted/simple_vardep_true-unreach-call1_true-termination.i |
true |
8.28 |
4.60 |
247132160 |
| loop-crafted/simple_vardep_true-unreach-call2_true-termination.i |
true |
8.73 |
4.88 |
247164928 |
| loop-invgen/id_trans_false-unreach-call_true-termination.i |
false(unreach-call) |
11.7 |
6.57 |
319336448 |
| loop-invgen/MADWiFi-encode_ie_ok_true-unreach-call_true-termination.i |
true |
15.2 |
8.69 |
474816512 |
| loop-invgen/NetBSD_loop_true-unreach-call_true-termination.i |
true |
15.1 |
8.46 |
425955328 |
| loop-invgen/SpamAssassin-loop_true-unreach-call_false-termination.i |
true |
145 |
89.4 |
1211527168 |
| loop-invgen/apache-escape-absolute_true-unreach-call_true-termination.i |
true |
69.6 |
42.2 |
807501824 |
| loop-invgen/apache-get-tag_true-unreach-call_true-termination.i |
true |
18.3 |
10.5 |
521158656 |
| loop-invgen/down_true-unreach-call_true-termination.i |
true |
13.7 |
7.70 |
395059200 |
| loop-invgen/fragtest_simple_true-unreach-call_true-termination.i |
timeout (error (8)) |
301 |
233 |
1403121664 |
| loop-invgen/half_2_true-unreach-call_true-termination.i |
timeout (error (8)) |
300 |
239 |
1008640000 |
| loop-invgen/heapsort_true-unreach-call_true-termination.i |
timeout (error (8)) |
301 |
243 |
1001201664 |
| loop-invgen/id_build_true-unreach-call_true-termination.i |
true |
15.0 |
8.38 |
418177024 |
| loop-invgen/large_const_true-unreach-call_true-termination.i |
true |
29.2 |
16.9 |
604041216 |
| loop-invgen/nest-if3_true-unreach-call_true-termination.i |
true |
9.17 |
5.18 |
247009280 |
| loop-invgen/nested6_true-unreach-call_true-termination.i |
true |
69.0 |
44.4 |
760967168 |
| loop-invgen/nested9_true-unreach-call_true-termination.i |
true |
20.9 |
12.1 |
568659968 |
| loop-invgen/sendmail-close-angle_true-unreach-call_true-termination.i |
true |
48.4 |
29.6 |
745189376 |
| loop-invgen/seq_true-unreach-call_true-termination.i |
timeout (error (8)) |
300 |
235 |
1084997632 |
| loop-invgen/string_concat-noarr_true-unreach-call_true-termination.i |
true |
15.5 |
8.63 |
430882816 |
| loop-invgen/up_true-unreach-call_true-termination.i |
timeout (error (8)) |
301 |
228 |
1158758400 |
| loop-lit/afnp2014_true-unreach-call_true-termination.c.i |
true |
12.2 |
6.84 |
347660288 |
| loop-lit/bhmr2007_true-unreach-call_true-termination.c.i |
true |
18.6 |
10.8 |
524193792 |
| loop-lit/cggmp2005_true-unreach-call_true-termination.c.i |
true |
14.0 |
8.04 |
412303360 |
| loop-lit/cggmp2005_variant_true-unreach-call_true-termination.c.i |
true |
14.3 |
8.25 |
419336192 |
| loop-lit/cggmp2005b_true-unreach-call_true-termination.c.i |
true |
12.1 |
6.86 |
363462656 |
| loop-lit/css2003_true-unreach-call_true-termination.c.i |
true |
9.09 |
5.18 |
247824384 |
| loop-lit/ddlm2013_true-unreach-call.i |
true |
27.6 |
19.4 |
507170816 |
| loop-lit/gj2007_true-unreach-call_true-termination.c.i |
true |
217 |
162 |
1078722560 |
| loop-lit/gj2007b_true-unreach-call_true-termination.c.i |
true |
16.8 |
9.67 |
512729088 |
| loop-lit/gr2006_true-unreach-call_true-termination.c.i |
timeout (error (8)) |
301 |
229 |
1774764032 |
| loop-lit/gsv2008_true-unreach-call_true-termination.c.i |
true |
10.2 |
5.69 |
283738112 |
| loop-lit/hhk2008_true-unreach-call_true-termination.c.i |
true |
12.4 |
7.03 |
357507072 |
| loop-lit/jm2006_true-unreach-call_true-termination.c.i |
true |
17.5 |
10.3 |
499236864 |
| loop-lit/jm2006_variant_true-unreach-call_true-termination.c.i |
true |
18.0 |
10.6 |
500350976 |
| loop-lit/mcmillan2006_true-unreach-call_true-termination.c.i |
timeout (error (8)) |
300 |
281 |
780103680 |
| loop-lit/gcnr2008_false-unreach-call_false-termination.i |
false(unreach-call) |
8.02 |
4.53 |
245649408 |
| loop-new/count_by_1_true-unreach-call_true-termination.i |
true |
9.96 |
5.54 |
262406144 |
| loop-new/count_by_1_variant_true-unreach-call_true-termination.i |
true |
10.5 |
5.86 |
272527360 |
| loop-new/count_by_2_true-unreach-call_true-termination.i |
timeout (error (8)) |
301 |
237 |
1032499200 |
| loop-new/count_by_k_true-unreach-call_true-termination.i |
timeout (error (8)) |
300 |
248 |
961531904 |
| loop-new/count_by_nondet_true-unreach-call_true-termination.i |
timeout (error (8)) |
301 |
236 |
1139957760 |
| loop-new/gauss_sum_true-unreach-call_true-termination.i |
true |
37.5 |
28.5 |
594731008 |
| loop-new/half_true-unreach-call_true-termination.i |
true |
35.0 |
25.5 |
600281088 |
| loop-new/nested_true-unreach-call_true-termination.i |
true |
226 |
177 |
4464541696 |
| loop-industry-pattern/aiob_1_true-unreach-call.c |
error (7) |
11.8 |
6.40 |
192020480 |
| loop-industry-pattern/aiob_2_true-unreach-call.c |
error (7) |
12.5 |
6.68 |
197693440 |
| loop-industry-pattern/aiob_3_true-unreach-call.c |
error (7) |
12.1 |
6.53 |
195182592 |
| loop-industry-pattern/aiob_4_true-unreach-call.c |
error (7) |
12.5 |
6.71 |
197840896 |
| loop-industry-pattern/mod3_true-unreach-call.c |
true |
26.9 |
22.4 |
273248256 |
| loop-industry-pattern/nested_true-unreach-call.c |
true |
40.4 |
22.3 |
762748928 |
| loop-industry-pattern/ofuf_1_true-unreach-call.c |
error (7) |
13.0 |
6.98 |
198053888 |
| loop-industry-pattern/ofuf_2_true-unreach-call.c |
error (7) |
12.3 |
6.61 |
198086656 |
| loop-industry-pattern/ofuf_3_true-unreach-call.c |
error (7) |
12.5 |
6.69 |
198959104 |
| loop-industry-pattern/ofuf_4_true-unreach-call.c |
error (7) |
12.8 |
6.84 |
197242880 |
| loop-industry-pattern/ofuf_5_true-unreach-call.c |
error (7) |
12.0 |
6.58 |
196251648 |
| loops/heavy_true-unreach-call.c |
out of memory |
112 |
73.5 |
8000000000 |
| loops/compact_false-unreach-call.c |
timeout (error (8)) |
301 |
254 |
6199570432 |
| loops/heavy_false-unreach-call.c |
out of memory |
107 |
78.9 |
8000000000 |