| loops/array_false-unreach-call_true-termination.i |
false(unreach-call) |
9.18 |
5.30 |
254857216 |
| loops/bubble_sort_false-unreach-call.i |
false(unreach-call) |
17.6 |
9.41 |
403251200 |
| loops/count_up_down_false-unreach-call_true-termination.i |
false(unreach-call) |
8.37 |
4.65 |
235188224 |
| loops/eureka_01_false-unreach-call_true-termination.i |
timeout (error (8)) |
300 |
280 |
2540826624 |
| loops/for_bounded_loop1_false-unreach-call_true-termination.i |
false(unreach-call) |
12.6 |
7.11 |
319762432 |
| loops/insertion_sort_false-unreach-call_true-termination.i |
timeout (error (8)) |
300 |
263 |
1961832448 |
| loops/invert_string_false-unreach-call_true-termination.i |
false(unreach-call) |
60.5 |
40.2 |
1952862208 |
| loops/linear_search_false-unreach-call.i |
timeout (error (8)) |
301 |
266 |
2644856832 |
| loops/ludcmp_false-unreach-call.i |
timeout (error (8)) |
301 |
237 |
7050792960 |
| loops/matrix_false-unreach-call_true-termination.i |
false(unreach-call) |
15.8 |
8.62 |
502951936 |
| loops/n.c24_false-unreach-call.i |
timeout (error (8)) |
300 |
237 |
2602119168 |
| loops/nec11_false-unreach-call_false-termination.i |
false(unreach-call) |
8.34 |
4.50 |
236322816 |
| loops/nec20_false-unreach-call_true-termination.i |
false(unreach-call) |
8.80 |
5.11 |
247775232 |
| loops/s3_false-unreach-call.i |
false(unreach-call) |
202 |
153 |
995438592 |
| loops/string_false-unreach-call_true-termination.i |
false(unreach-call) |
40.1 |
23.5 |
602009600 |
| loops/sum01_bug02_false-unreach-call_true-termination.i |
false(unreach-call) |
24.3 |
14.5 |
597991424 |
| loops/sum01_bug02_sum01_bug02_base.case_false-unreach-call_true-termination.i |
false(unreach-call) |
17.8 |
10.4 |
510033920 |
| loops/sum01_false-unreach-call_true-termination.i |
false(unreach-call) |
25.0 |
14.7 |
585674752 |
| loops/sum03_false-unreach-call_true-termination.i |
timeout (error (8)) |
301 |
289 |
697982976 |
| loops/sum04_false-unreach-call_true-termination.i |
false(unreach-call) |
15.1 |
8.66 |
433684480 |
| loops/sum_array_false-unreach-call.i |
false(unreach-call) |
10.8 |
6.01 |
272375808 |
| loops/terminator_01_false-unreach-call_true-termination.i |
false(unreach-call) |
8.53 |
4.69 |
246427648 |
| loops/terminator_02_false-unreach-call_true-termination.i |
false(unreach-call) |
7.80 |
4.36 |
244142080 |
| loops/terminator_03_false-unreach-call_true-termination.i |
false(unreach-call) |
8.56 |
4.70 |
245178368 |
| loops/trex01_false-unreach-call_true-termination.i |
false(unreach-call) |
7.95 |
4.55 |
250650624 |
| loops/trex02_false-unreach-call_true-termination.i |
false(unreach-call) |
8.05 |
4.47 |
249327616 |
| loops/trex03_false-unreach-call_true-termination.i |
false(unreach-call) |
7.74 |
4.32 |
236298240 |
| loops/verisec_NetBSD-libc__loop_false-unreach-call_true-termination.i |
false(unreach-call) |
16.3 |
9.05 |
527990784 |
| loops/verisec_OpenSER__cases1_stripFullBoth_arr_false-unreach-call_true-termination.i |
false(unreach-call) |
82.1 |
50.1 |
3571056640 |
| loops/vogal_false-unreach-call.i |
timeout (error (8)) |
301 |
253 |
4755087360 |
| loops/while_infinite_loop_4_false-unreach-call_true-termination.i |
false(unreach-call) |
8.29 |
4.61 |
246423552 |
| loops/array_true-unreach-call_true-termination.i |
true |
18.9 |
10.7 |
522383360 |
| loops/bubble_sort_true-unreach-call_true-termination.i |
true |
8.25 |
4.67 |
245047296 |
| loops/count_up_down_true-unreach-call_true-termination.i |
true |
18.6 |
11.8 |
454369280 |
| loops/eureka_01_true-unreach-call.i |
timeout (error (8)) |
300 |
259 |
2789564416 |
| loops/eureka_05_true-unreach-call_true-termination.i |
timeout (error (8)) |
301 |
268 |
1147457536 |
| loops/for_infinite_loop_1_true-unreach-call_false-termination.i |
true |
8.59 |
4.75 |
248516608 |
| loops/for_infinite_loop_2_true-unreach-call_false-termination.i |
true |
7.80 |
4.47 |
242831360 |
| loops/insertion_sort_true-unreach-call_true-termination.i |
timeout (error (8)) |
301 |
268 |
2169495552 |
| loops/invert_string_true-unreach-call_true-termination.i |
timeout (error (8)) |
301 |
259 |
1849786368 |
| loops/linear_sea.ch_true-unreach-call.i |
timeout (error (8)) |
300 |
271 |
1727459328 |
| loops/lu.cmp_true-unreach-call.i |
timeout (error (8)) |
301 |
228 |
6897889280 |
| loops/matrix_true-unreach-call_true-termination.i |
timeout (error (8)) |
301 |
289 |
940720128 |
| loops/n.c11_true-unreach-call_false-termination.i |
true |
19.0 |
11.0 |
447614976 |
| loops/n.c40_true-unreach-call_true-termination.i |
timeout (error (8)) |
300 |
278 |
2617106432 |
| loops/nec40_true-unreach-call_true-termination.i |
timeout (error (8)) |
300 |
273 |
2692833280 |
| loops/string_true-unreach-call_true-termination.i |
true |
33.4 |
18.1 |
904134656 |
| loops/sum01_true-unreach-call_true-termination.i |
true |
17.2 |
10.0 |
513376256 |
| loops/sum03_true-unreach-call_false-termination.i |
true |
8.20 |
4.63 |
247717888 |
| loops/sum04_true-unreach-call_true-termination.i |
true |
18.5 |
11.1 |
506753024 |
| loops/sum_array_true-unreach-call.i |
timeout (error (8)) |
301 |
265 |
2108534784 |
| loops/terminator_02_true-unreach-call_true-termination.i |
true |
9.22 |
5.26 |
262553600 |
| loops/terminator_03_true-unreach-call_true-termination.i |
true |
8.43 |
4.85 |
246915072 |
| loops/trex01_true-unreach-call_true-termination.i |
true |
8.79 |
4.92 |
248262656 |
| loops/trex02_true-unreach-call_true-termination.i |
true |
8.63 |
4.80 |
249192448 |
| loops/trex03_true-unreach-call_true-termination.i |
true |
8.69 |
4.85 |
248127488 |
| loops/trex04_true-unreach-call_false-termination.i |
true |
8.63 |
4.93 |
249896960 |
| loops/veris.c_NetBSD-libc__loop_true-unreach-call_true-termination.i |
true |
16.7 |
9.77 |
525402112 |
| loops/veris.c_OpenSER__cases1_stripFullBoth_arr_true-unreach-call_true-termination.i |
true |
10.5 |
5.83 |
286298112 |
| loops/veris.c_sendmail__tTflag_arr_one_loop_true-unreach-call_true-termination.i |
true |
8.80 |
4.94 |
252465152 |
| loops/vogal_true-unreach-call.i |
timeout (error (8)) |
300 |
249 |
4822671360 |
| loops/while_infinite_loop_1_true-unreach-call_false-termination.i |
true |
8.10 |
4.59 |
249917440 |
| loops/while_infinite_loop_2_true-unreach-call_false-termination.i |
true |
8.27 |
4.64 |
254763008 |
| loops/while_infinite_loop_3_true-unreach-call_false-termination.i |
true |
8.67 |
4.82 |
246956032 |
| loop-acceleration/array_false-unreach-call1_true-termination.i |
timeout (error (8)) |
301 |
258 |
969674752 |
| loop-acceleration/array_false-unreach-call2_true-termination.i |
timeout (error (8)) |
300 |
272 |
892170240 |
| loop-acceleration/array_false-unreach-call3_true-termination.i |
timeout (error (8)) |
300 |
265 |
980807680 |
| loop-acceleration/const_false-unreach-call1.i |
timeout (error (8)) |
300 |
283 |
675078144 |
| loop-acceleration/diamond_false-unreach-call1.i |
timeout (error (8)) |
300 |
275 |
759422976 |
| loop-acceleration/functions_false-unreach-call1_true-termination.i |
timeout (error (8)) |
300 |
274 |
862568448 |
| loop-acceleration/multivar_false-unreach-call1_true-termination.i |
false(unreach-call) |
7.89 |
4.49 |
234172416 |
| loop-acceleration/nested_false-unreach-call1.i |
timeout (error (8)) |
301 |
278 |
932925440 |
| loop-acceleration/phases_false-unreach-call1.i |
timeout (error (8)) |
300 |
279 |
695783424 |
| loop-acceleration/phases_false-unreach-call2_false-termination.i |
false(unreach-call) |
7.69 |
4.34 |
247148544 |
| loop-acceleration/simple_false-unreach-call1.i |
timeout (error (8)) |
300 |
287 |
688041984 |
| loop-acceleration/simple_false-unreach-call2_true-termination.i |
false(unreach-call) |
7.37 |
4.15 |
237002752 |
| loop-acceleration/simple_false-unreach-call3_true-termination.i |
false(unreach-call) |
7.23 |
4.11 |
236208128 |
| loop-acceleration/simple_false-unreach-call4.i |
timeout (error (8)) |
301 |
289 |
652103680 |
| loop-acceleration/underapprox_false-unreach-call1_true-termination.i |
false(unreach-call) |
15.9 |
9.54 |
494264320 |
| loop-acceleration/underapprox_false-unreach-call2_true-termination.i |
false(unreach-call) |
16.0 |
9.27 |
457506816 |
| loop-acceleration/array_true-unreach-call1_true-termination.i |
true |
14.4 |
8.10 |
476684288 |
| loop-acceleration/array_true-unreach-call2_true-termination.i |
timeout (error (8)) |
300 |
272 |
894185472 |
| loop-acceleration/array_true-unreach-call3_true-termination.i |
true |
12.3 |
6.94 |
449601536 |
| loop-acceleration/array_true-unreach-call4_true-termination.i |
timeout (error (8)) |
301 |
261 |
1410088960 |
| loop-acceleration/const_true-unreach-call1.i |
true |
10.2 |
5.86 |
279023616 |
| loop-acceleration/diamond_true-unreach-call1_true-termination.i |
timeout (error (8)) |
300 |
280 |
709324800 |
| loop-acceleration/diamond_true-unreach-call2.i |
true |
236 |
217 |
698720256 |
| loop-acceleration/functions_true-unreach-call1_true-termination.i |
timeout (error (8)) |
300 |
276 |
803991552 |
| loop-acceleration/multivar_true-unreach-call1_true-termination.i |
true |
8.34 |
4.69 |
255578112 |
| loop-acceleration/nested_true-unreach-call1.i |
true |
34.6 |
27.5 |
505397248 |
| loop-acceleration/overflow_true-unreach-call1.i |
true |
9.67 |
5.40 |
271093760 |
| loop-acceleration/phases_true-unreach-call1.i |
timeout (error (8)) |
300 |
282 |
698564608 |
| loop-acceleration/phases_true-unreach-call2_false-termination.i |
true |
91.2 |
74.9 |
3580231680 |
| loop-acceleration/simple_true-unreach-call1.i |
true |
10.1 |
5.65 |
287375360 |
| loop-acceleration/simple_true-unreach-call2_true-termination.i |
true |
8.57 |
4.78 |
257024000 |
| loop-acceleration/simple_true-unreach-call3_true-termination.i |
true |
11.3 |
6.32 |
296542208 |
| loop-acceleration/simple_true-unreach-call4.i |
true |
10.7 |
5.85 |
284418048 |
| loop-acceleration/underapprox_true-unreach-call1_true-termination.i |
true |
130 |
122 |
509591552 |
| loop-acceleration/underapprox_true-unreach-call2_true-termination.i |
true |
13.3 |
7.63 |
365240320 |
| loop-crafted/simple_array_index_value_false-unreach-call1_false-termination.i |
false(unreach-call) |
8.28 |
4.67 |
245854208 |
| loop-crafted/simple_array_index_value_true-unreach-call1_true-termination.i |
timeout (error (8)) |
301 |
281 |
808554496 |
| loop-crafted/simple_array_index_value_true-unreach-call2_true-termination.i |
timeout (error (8)) |
300 |
278 |
1053229056 |
| loop-crafted/simple_array_index_value_true-unreach-call3_true-termination.i |
timeout (error (8)) |
301 |
286 |
1035055104 |
| loop-crafted/simple_array_index_value_true-unreach-call4_true-termination.i |
true |
133 |
122 |
588410880 |
| loop-crafted/simple_vardep_true-unreach-call1_true-termination.i |
true |
8.74 |
4.89 |
248479744 |
| loop-crafted/simple_vardep_true-unreach-call2_true-termination.i |
true |
8.41 |
4.69 |
251789312 |
| loop-invgen/id_trans_false-unreach-call_true-termination.i |
false(unreach-call) |
12.1 |
6.73 |
327159808 |
| loop-invgen/MADWiFi-encode_ie_ok_true-unreach-call_true-termination.i |
true |
14.7 |
8.38 |
480903168 |
| loop-invgen/NetBSD_loop_true-unreach-call_true-termination.i |
true |
15.4 |
8.58 |
428482560 |
| loop-invgen/SpamAssassin-loop_true-unreach-call_false-termination.i |
true |
137 |
86.2 |
1290874880 |
| loop-invgen/apache-escape-absolute_true-unreach-call_true-termination.i |
true |
77.0 |
45.8 |
842649600 |
| loop-invgen/apache-get-tag_true-unreach-call_true-termination.i |
true |
17.8 |
10.2 |
519319552 |
| loop-invgen/down_true-unreach-call_true-termination.i |
true |
14.2 |
7.92 |
395567104 |
| loop-invgen/fragtest_simple_true-unreach-call_true-termination.i |
timeout (error (8)) |
301 |
233 |
1311150080 |
| loop-invgen/half_2_true-unreach-call_true-termination.i |
timeout (error (8)) |
301 |
238 |
1021014016 |
| loop-invgen/heapsort_true-unreach-call_true-termination.i |
timeout (error (8)) |
301 |
219 |
1375297536 |
| loop-invgen/id_build_true-unreach-call_true-termination.i |
true |
15.3 |
8.43 |
412721152 |
| loop-invgen/large_const_true-unreach-call_true-termination.i |
true |
30.1 |
17.2 |
605429760 |
| loop-invgen/nest-if3_true-unreach-call_true-termination.i |
true |
8.43 |
4.74 |
249638912 |
| loop-invgen/nested6_true-unreach-call_true-termination.i |
true |
72.4 |
46.0 |
768917504 |
| loop-invgen/nested9_true-unreach-call_true-termination.i |
true |
21.5 |
12.4 |
600981504 |
| loop-invgen/sendmail-close-angle_true-unreach-call_true-termination.i |
true |
50.9 |
30.9 |
762134528 |
| loop-invgen/seq_true-unreach-call_true-termination.i |
timeout (error (8)) |
300 |
232 |
1073795072 |
| loop-invgen/string_concat-noarr_true-unreach-call_true-termination.i |
true |
15.0 |
8.32 |
428584960 |
| loop-invgen/up_true-unreach-call_true-termination.i |
timeout (error (8)) |
301 |
232 |
1302716416 |
| loop-lit/afnp2014_true-unreach-call_true-termination.c.i |
true |
12.8 |
7.01 |
355504128 |
| loop-lit/bhmr2007_true-unreach-call_true-termination.c.i |
true |
19.3 |
11.0 |
540758016 |
| loop-lit/cggmp2005_true-unreach-call_true-termination.c.i |
true |
12.9 |
7.49 |
397611008 |
| loop-lit/cggmp2005_variant_true-unreach-call_true-termination.c.i |
true |
14.6 |
8.53 |
423698432 |
| loop-lit/cggmp2005b_true-unreach-call_true-termination.c.i |
true |
12.3 |
6.92 |
361127936 |
| loop-lit/css2003_true-unreach-call_true-termination.c.i |
true |
9.09 |
5.03 |
249339904 |
| loop-lit/ddlm2013_true-unreach-call.i |
true |
22.8 |
14.9 |
517529600 |
| loop-lit/gj2007_true-unreach-call_true-termination.c.i |
true |
212 |
160 |
1101750272 |
| loop-lit/gj2007b_true-unreach-call_true-termination.c.i |
true |
17.7 |
9.96 |
516100096 |
| loop-lit/gr2006_true-unreach-call_true-termination.c.i |
timeout (error (8)) |
301 |
233 |
1692598272 |
| loop-lit/gsv2008_true-unreach-call_true-termination.c.i |
true |
10.0 |
5.71 |
282488832 |
| loop-lit/hhk2008_true-unreach-call_true-termination.c.i |
true |
13.3 |
7.45 |
357007360 |
| loop-lit/jm2006_true-unreach-call_true-termination.c.i |
true |
17.8 |
10.5 |
497115136 |
| loop-lit/jm2006_variant_true-unreach-call_true-termination.c.i |
true |
18.2 |
10.9 |
505593856 |
| loop-lit/mcmillan2006_true-unreach-call_true-termination.c.i |
timeout (error (8)) |
301 |
278 |
776085504 |
| loop-lit/gcnr2008_false-unreach-call_false-termination.i |
false(unreach-call) |
7.43 |
4.30 |
245927936 |
| loop-new/count_by_1_true-unreach-call_true-termination.i |
true |
9.55 |
5.38 |
260747264 |
| loop-new/count_by_1_variant_true-unreach-call_true-termination.i |
true |
10.2 |
5.76 |
269824000 |
| loop-new/count_by_2_true-unreach-call_true-termination.i |
timeout (error (8)) |
301 |
236 |
1098313728 |
| loop-new/count_by_k_true-unreach-call_true-termination.i |
timeout (error (8)) |
300 |
248 |
978186240 |
| loop-new/count_by_nondet_true-unreach-call_true-termination.i |
timeout (error (8)) |
301 |
236 |
1119510528 |
| loop-new/gauss_sum_true-unreach-call_true-termination.i |
true |
42.9 |
33.6 |
624943104 |
| loop-new/half_true-unreach-call_true-termination.i |
true |
35.4 |
25.5 |
591499264 |
| loop-new/nested_true-unreach-call_true-termination.i |
true |
228 |
178 |
4469907456 |
| loop-industry-pattern/aiob_1_true-unreach-call.c |
error (7) |
12.5 |
6.72 |
197136384 |
| loop-industry-pattern/aiob_2_true-unreach-call.c |
error (7) |
12.4 |
6.64 |
199090176 |
| loop-industry-pattern/aiob_3_true-unreach-call.c |
error (7) |
12.4 |
6.73 |
195665920 |
| loop-industry-pattern/aiob_4_true-unreach-call.c |
error (7) |
12.2 |
6.57 |
198758400 |
| loop-industry-pattern/mod3_true-unreach-call.c |
true |
31.3 |
26.2 |
282398720 |
| loop-industry-pattern/nested_true-unreach-call.c |
true |
42.8 |
23.3 |
763871232 |
| loop-industry-pattern/ofuf_1_true-unreach-call.c |
error (7) |
12.9 |
6.91 |
197697536 |
| loop-industry-pattern/ofuf_2_true-unreach-call.c |
error (7) |
13.0 |
6.94 |
199053312 |
| loop-industry-pattern/ofuf_3_true-unreach-call.c |
error (7) |
12.3 |
6.55 |
194764800 |
| loop-industry-pattern/ofuf_4_true-unreach-call.c |
error (7) |
12.9 |
6.85 |
202547200 |
| loop-industry-pattern/ofuf_5_true-unreach-call.c |
error (7) |
12.8 |
6.86 |
196714496 |
| loops/heavy_true-unreach-call.c |
out of memory |
109 |
80.3 |
8000004096 |
| loops/compact_false-unreach-call.c |
timeout (error (8)) |
300 |
256 |
6194765824 |
| loops/heavy_false-unreach-call.c |
out of memory |
110 |
72.5 |
8000000000 |