| array-industry-pattern/array_range_init_false-unreach-call.i |
timeout (error (143)) |
18.5 |
18.6 |
520171520 |
unknown |
12.2 |
12.6 |
573550592 |
| array-industry-pattern/array_of_struct_break_true-unreach-call.i |
timeout (error (143)) |
20.1 |
20.2 |
640040960 |
unknown |
13.6 |
14.2 |
671375360 |
| array-industry-pattern/array_of_struct_ptr_cond_init_true-unreach-call.i |
timeout (error (143)) |
16.3 |
16.3 |
518496256 |
timeout |
21.0 |
21.2 |
938401792 |
| ntdrivers/kbfiltr_false-unreach-call.i.cil.c |
error: exception |
8.49 |
8.54 |
228298752 |
unknown |
6.65 |
6.69 |
246132736 |
| eca-rers2012/Problem02_label45_false-unreach-call_false-termination.c |
error: exception |
5.53 |
5.58 |
155291648 |
unknown |
7.45 |
7.48 |
181669888 |
| eca-rers2012/Problem05_label01_false-unreach-call.c |
timeout (error (143)) |
17.0 |
17.1 |
318246912 |
unknown |
11.0 |
11.1 |
324329472 |
| eca-rers2012/Problem05_label11_false-unreach-call.c |
timeout (error (143)) |
16.7 |
16.8 |
305483776 |
unknown |
10.8 |
10.9 |
326508544 |
| eca-rers2012/Problem05_label13_false-unreach-call.c |
unknown |
11.3 |
11.3 |
308666368 |
timeout (error (143)) |
17.0 |
17.0 |
320942080 |
| eca-rers2012/Problem05_label15_false-unreach-call.c |
unknown |
11.2 |
11.3 |
312537088 |
timeout (error (143)) |
17.3 |
17.4 |
322093056 |
| eca-rers2012/Problem05_label18_false-unreach-call.c |
timeout (error (143)) |
16.7 |
16.8 |
312778752 |
unknown |
11.3 |
11.3 |
328224768 |
| eca-rers2012/Problem05_label24_false-unreach-call.c |
timeout (error (143)) |
17.1 |
17.1 |
316465152 |
unknown |
10.8 |
10.9 |
325840896 |
| eca-rers2012/Problem05_label26_false-unreach-call.c |
unknown |
11.3 |
11.4 |
317407232 |
timeout (error (143)) |
16.1 |
16.1 |
327946240 |
| eca-rers2012/Problem05_label36_false-unreach-call.c |
timeout (error (143)) |
16.5 |
16.6 |
341540864 |
unknown |
11.1 |
11.2 |
321527808 |
| eca-rers2012/Problem05_label37_false-unreach-call.c |
unknown |
11.5 |
11.7 |
320475136 |
timeout (error (143)) |
16.6 |
16.7 |
327303168 |
| eca-rers2012/Problem05_label38_false-unreach-call.c |
unknown |
11.8 |
11.9 |
341475328 |
timeout |
15.9 |
15.9 |
323473408 |
| eca-rers2012/Problem05_label40_false-unreach-call.c |
timeout (error (143)) |
17.2 |
17.2 |
312127488 |
unknown |
11.4 |
11.4 |
326463488 |
| eca-rers2012/Problem05_label47_false-unreach-call.c |
unknown |
11.5 |
11.6 |
339238912 |
timeout (error (143)) |
16.3 |
16.3 |
325312512 |
| eca-rers2012/Problem05_label48_false-unreach-call.c |
timeout (error (143)) |
16.4 |
16.5 |
339685376 |
timeout |
15.8 |
15.8 |
325124096 |
| eca-rers2012/Problem05_label51_false-unreach-call.c |
timeout (error (143)) |
16.2 |
16.2 |
343937024 |
unknown |
11.1 |
11.2 |
331104256 |
| eca-rers2012/Problem06_label01_false-unreach-call.c |
timeout (error (143)) |
16.3 |
16.4 |
346046464 |
unknown |
10.8 |
10.8 |
328335360 |
| eca-rers2012/Problem06_label02_false-unreach-call.c |
unknown |
11.0 |
11.1 |
345538560 |
timeout |
15.7 |
15.9 |
295424000 |
| eca-rers2012/Problem06_label04_false-unreach-call.c |
unknown |
11.0 |
11.0 |
310505472 |
timeout (error (143)) |
16.3 |
16.3 |
296730624 |
| eca-rers2012/Problem06_label10_false-unreach-call.c |
timeout |
15.4 |
15.5 |
308666368 |
unknown |
11.5 |
11.5 |
321708032 |
| eca-rers2012/Problem06_label12_false-unreach-call.c |
unknown |
11.0 |
11.1 |
337805312 |
timeout |
15.8 |
15.8 |
332079104 |
| eca-rers2012/Problem06_label15_false-unreach-call.c |
timeout (error (143)) |
17.0 |
17.1 |
357457920 |
timeout |
15.6 |
15.7 |
326635520 |
| eca-rers2012/Problem06_label20_false-unreach-call.c |
timeout (error (143)) |
16.2 |
16.3 |
344023040 |
unknown |
11.2 |
11.2 |
323125248 |
| eca-rers2012/Problem06_label21_false-unreach-call.c |
timeout (error (143)) |
16.2 |
16.2 |
340873216 |
unknown |
10.2 |
10.3 |
296861696 |
| eca-rers2012/Problem06_label27_false-unreach-call.c |
unknown |
11.0 |
11.2 |
337600512 |
timeout (error (143)) |
16.1 |
16.2 |
326078464 |
| eca-rers2012/Problem06_label33_false-unreach-call.c |
timeout (error (143)) |
16.9 |
17.0 |
358035456 |
unknown |
10.6 |
10.6 |
292818944 |
| eca-rers2012/Problem06_label36_false-unreach-call.c |
unknown |
11.3 |
11.4 |
340193280 |
timeout |
15.8 |
15.9 |
324124672 |
| eca-rers2012/Problem06_label37_false-unreach-call.c |
unknown |
11.5 |
11.5 |
341479424 |
timeout |
15.7 |
15.8 |
295436288 |
| eca-rers2012/Problem06_label38_false-unreach-call.c |
timeout |
16.2 |
16.2 |
313778176 |
timeout (error (143)) |
16.2 |
16.3 |
333041664 |
| eca-rers2012/Problem06_label44_false-unreach-call.c |
timeout (error (143)) |
16.3 |
16.3 |
310550528 |
timeout |
15.8 |
15.9 |
321880064 |
| eca-rers2012/Problem06_label47_false-unreach-call.c |
timeout (error (143)) |
16.4 |
16.5 |
290734080 |
unknown |
10.4 |
10.5 |
317792256 |
| eca-rers2012/Problem06_label56_false-unreach-call.c |
unknown |
10.6 |
10.7 |
314740736 |
timeout (error (143)) |
16.4 |
16.6 |
293642240 |
| eca-rers2012/Problem06_label58_false-unreach-call.c |
timeout (error (143)) |
16.5 |
16.5 |
313208832 |
timeout |
15.7 |
15.7 |
321572864 |
| eca-rers2012/Problem06_label59_false-unreach-call.c |
timeout (error (143)) |
16.4 |
16.4 |
282165248 |
unknown |
10.7 |
10.8 |
296865792 |
| eca-rers2012/Problem07_label03_false-unreach-call.c |
timeout (error (143)) |
21.0 |
21.1 |
414224384 |
timeout |
21.0 |
21.1 |
702582784 |
| eca-rers2012/Problem07_label09_false-unreach-call.c |
timeout |
21.0 |
21.1 |
425349120 |
timeout (error (143)) |
21.0 |
21.1 |
444174336 |
| eca-rers2012/Problem07_label15_false-unreach-call.c |
timeout |
21.0 |
21.0 |
439373824 |
timeout (error (143)) |
21.0 |
21.1 |
638119936 |
| eca-rers2012/Problem07_label20_false-unreach-call.c |
timeout (error (143)) |
21.0 |
21.1 |
665260032 |
timeout |
21.0 |
21.2 |
679743488 |
| eca-rers2012/Problem07_label23_false-unreach-call.c |
timeout |
21.0 |
21.1 |
438415360 |
timeout (error (143)) |
21.0 |
21.1 |
418422784 |
| eca-rers2012/Problem07_label31_false-unreach-call.c |
timeout |
21.0 |
21.1 |
404836352 |
timeout (error (143)) |
21.0 |
21.1 |
704458752 |
| eca-rers2012/Problem07_label36_false-unreach-call.c |
timeout |
21.0 |
21.1 |
601010176 |
timeout (error (143)) |
21.0 |
21.1 |
437805056 |
| eca-rers2012/Problem07_label37_false-unreach-call.c |
timeout |
21.0 |
21.2 |
601313280 |
timeout (error (143)) |
21.0 |
21.2 |
708952064 |
| eca-rers2012/Problem07_label39_false-unreach-call.c |
timeout |
21.0 |
21.1 |
404373504 |
timeout (error (143)) |
21.0 |
21.1 |
453427200 |
| eca-rers2012/Problem07_label40_false-unreach-call.c |
timeout (error (143)) |
20.9 |
21.2 |
409391104 |
timeout |
21.0 |
21.1 |
448290816 |
| eca-rers2012/Problem07_label42_false-unreach-call.c |
timeout |
21.0 |
21.1 |
413954048 |
timeout (error (143)) |
21.0 |
21.1 |
637308928 |
| eca-rers2012/Problem07_label44_false-unreach-call.c |
timeout |
21.0 |
21.1 |
408547328 |
timeout (error (143)) |
21.0 |
21.1 |
455917568 |
| eca-rers2012/Problem07_label46_false-unreach-call.c |
timeout |
21.0 |
21.1 |
657588224 |
timeout (error (143)) |
21.0 |
21.1 |
438628352 |
| eca-rers2012/Problem07_label48_false-unreach-call.c |
timeout |
21.0 |
21.1 |
437624832 |
timeout (error (143)) |
21.0 |
21.1 |
454234112 |
| eca-rers2012/Problem08_label02_false-unreach-call.c |
timeout |
21.0 |
21.1 |
473694208 |
timeout (error (143)) |
21.0 |
21.1 |
482594816 |
| eca-rers2012/Problem08_label13_false-unreach-call.c |
timeout |
21.0 |
21.1 |
498884608 |
timeout (error (143)) |
21.0 |
21.1 |
500740096 |
| eca-rers2012/Problem08_label15_false-unreach-call.c |
timeout (error (143)) |
21.0 |
21.1 |
705077248 |
timeout |
21.0 |
21.1 |
507273216 |
| eca-rers2012/Problem08_label43_false-unreach-call.c |
timeout (error (143)) |
21.0 |
21.1 |
456486912 |
timeout |
21.0 |
21.1 |
508227584 |
| eca-rers2012/Problem08_label49_false-unreach-call.c |
timeout |
21.0 |
21.1 |
545431552 |
timeout (error (143)) |
21.0 |
21.2 |
484249600 |
| eca-rers2012/Problem08_label50_false-unreach-call.c |
timeout |
21.0 |
21.1 |
692273152 |
timeout (error (143)) |
21.0 |
21.1 |
462893056 |
| eca-rers2012/Problem08_label51_false-unreach-call.c |
timeout |
21.0 |
21.1 |
710569984 |
timeout (error (143)) |
20.9 |
21.2 |
748273664 |
| eca-rers2012/Problem08_label55_false-unreach-call.c |
timeout |
21.0 |
21.1 |
499224576 |
timeout (error (143)) |
21.0 |
21.1 |
461234176 |
| eca-rers2012/Problem09_label02_false-unreach-call.c |
timeout (error (143)) |
21.0 |
21.2 |
536248320 |
timeout |
21.0 |
21.1 |
782790656 |
| eca-rers2012/Problem09_label10_false-unreach-call.c |
timeout |
21.0 |
21.1 |
492199936 |
timeout (error (143)) |
20.9 |
21.1 |
474079232 |
| eca-rers2012/Problem09_label11_false-unreach-call.c |
timeout (error (143)) |
21.0 |
21.1 |
556462080 |
timeout |
21.0 |
21.1 |
505896960 |
| eca-rers2012/Problem09_label19_false-unreach-call.c |
timeout (error (143)) |
21.0 |
21.1 |
565755904 |
timeout |
21.0 |
21.1 |
532197376 |
| eca-rers2012/Problem09_label20_false-unreach-call.c |
timeout |
21.0 |
21.1 |
692453376 |
timeout (error (143)) |
21.0 |
21.1 |
495509504 |
| eca-rers2012/Problem09_label32_false-unreach-call.c |
timeout |
21.0 |
21.0 |
758968320 |
timeout (error (143)) |
21.0 |
21.1 |
828440576 |
| eca-rers2012/Problem09_label34_false-unreach-call.c |
timeout (error (143)) |
21.0 |
21.1 |
490246144 |
timeout |
21.0 |
21.1 |
536145920 |
| eca-rers2012/Problem09_label36_false-unreach-call.c |
timeout (error (143)) |
21.0 |
21.1 |
471482368 |
timeout |
21.0 |
21.1 |
703750144 |
| eca-rers2012/Problem09_label51_false-unreach-call.c |
timeout (error (143)) |
20.9 |
21.1 |
471531520 |
timeout |
21.0 |
21.1 |
702615552 |
| eca-rers2012/Problem09_label53_false-unreach-call.c |
timeout (error (143)) |
21.0 |
21.1 |
484388864 |
timeout |
21.0 |
21.1 |
501129216 |
| eca-rers2012/Problem09_label54_false-unreach-call.c |
timeout (error (143)) |
20.9 |
21.1 |
755089408 |
timeout |
21.0 |
21.1 |
478658560 |
| eca-rers2012/Problem19_label11_false-unreach-call.c |
unknown |
14.8 |
15.0 |
315682816 |
timeout (error (143)) |
16.4 |
16.6 |
364630016 |
| eca-rers2012/Problem19_label17_false-unreach-call.c |
timeout (error (143)) |
16.8 |
17.0 |
322383872 |
unknown |
11.7 |
11.7 |
393760768 |
| eca-rers2012/Problem19_label21_false-unreach-call.c |
timeout (error (143)) |
17.2 |
17.5 |
320749568 |
unknown |
11.2 |
11.3 |
369852416 |
| eca-rers2012/Problem19_label22_false-unreach-call.c |
timeout |
15.9 |
16.1 |
321093632 |
unknown |
11.5 |
11.5 |
394797056 |
| eca-rers2012/Problem19_label27_false-unreach-call.c |
timeout |
15.0 |
15.2 |
328187904 |
timeout (error (143)) |
16.9 |
16.9 |
402862080 |
| eca-rers2012/Problem19_label31_false-unreach-call.c |
timeout |
15.3 |
15.6 |
324243456 |
unknown |
11.4 |
11.4 |
399384576 |
| eca-rers2012/Problem19_label32_false-unreach-call.c |
timeout (error (143)) |
16.3 |
16.6 |
321564672 |
unknown |
11.7 |
11.7 |
372580352 |
| eca-rers2012/Problem19_label41_false-unreach-call.c |
timeout |
15.1 |
15.3 |
322707456 |
timeout (error (143)) |
16.8 |
16.8 |
370282496 |
| eca-rers2012/Problem19_label47_false-unreach-call.c |
timeout (error (143)) |
17.2 |
17.3 |
318287872 |
unknown |
11.6 |
11.7 |
407724032 |
| eca-rers2012/Problem19_label50_false-unreach-call.c |
timeout |
15.1 |
15.5 |
326856704 |
unknown |
12.1 |
12.1 |
374808576 |
| eca-rers2012/Problem19_label53_false-unreach-call.c |
timeout |
15.8 |
16.0 |
314597376 |
timeout (error (143)) |
16.7 |
16.8 |
370409472 |
| eca-rers2012/Problem19_label55_false-unreach-call.c |
timeout (error (143)) |
17.4 |
17.7 |
321859584 |
unknown |
10.9 |
10.9 |
335400960 |
| eca-rers2012/Problem05_label07_true-unreach-call.c |
unknown |
11.7 |
11.8 |
312111104 |
timeout (error (143)) |
16.6 |
16.6 |
325451776 |
| eca-rers2012/Problem05_label08_true-unreach-call.c |
timeout (error (143)) |
16.8 |
16.9 |
341655552 |
unknown |
11.4 |
11.4 |
333795328 |
| eca-rers2012/Problem05_label09_true-unreach-call.c |
unknown |
10.8 |
10.9 |
311533568 |
timeout (error (143)) |
16.5 |
16.5 |
331948032 |
| eca-rers2012/Problem05_label10_true-unreach-call.c |
timeout (error (143)) |
16.4 |
16.4 |
314871808 |
unknown |
11.5 |
11.6 |
326377472 |
| eca-rers2012/Problem05_label14_true-unreach-call.c |
timeout (error (143)) |
17.1 |
17.1 |
307511296 |
unknown |
10.8 |
10.9 |
324911104 |
| eca-rers2012/Problem05_label16_true-unreach-call.c |
unknown |
11.2 |
11.2 |
311820288 |
timeout (error (143)) |
16.7 |
16.7 |
328908800 |
| eca-rers2012/Problem05_label17_true-unreach-call.c |
unknown |
11.1 |
11.2 |
310755328 |
timeout (error (143)) |
16.3 |
16.3 |
327188480 |
| eca-rers2012/Problem05_label19_true-unreach-call.c |
timeout (error (143)) |
16.7 |
16.8 |
312426496 |
unknown |
10.9 |
11.0 |
328372224 |
| eca-rers2012/Problem05_label23_true-unreach-call.c |
timeout (error (143)) |
16.7 |
16.7 |
313835520 |
timeout |
15.8 |
15.8 |
331980800 |
| eca-rers2012/Problem05_label29_true-unreach-call.c |
unknown |
11.4 |
11.4 |
349126656 |
timeout (error (143)) |
16.1 |
16.2 |
333185024 |
| eca-rers2012/Problem05_label31_true-unreach-call.c |
timeout (error (143)) |
16.6 |
16.7 |
307023872 |
unknown |
11.7 |
11.8 |
327254016 |
| eca-rers2012/Problem05_label43_true-unreach-call.c |
unknown |
11.7 |
11.8 |
309624832 |
timeout (error (143)) |
16.2 |
16.3 |
279859200 |
| eca-rers2012/Problem05_label45_true-unreach-call.c |
timeout (error (143)) |
16.7 |
16.7 |
307089408 |
unknown |
11.6 |
11.6 |
323661824 |
| eca-rers2012/Problem05_label46_true-unreach-call.c |
timeout (error (143)) |
16.7 |
16.8 |
315887616 |
unknown |
11.3 |
11.4 |
326496256 |
| eca-rers2012/Problem05_label50_true-unreach-call.c |
unknown |
11.9 |
12.0 |
308932608 |
timeout (error (143)) |
16.7 |
16.8 |
326565888 |
| eca-rers2012/Problem05_label53_true-unreach-call.c |
unknown |
11.5 |
11.5 |
319840256 |
timeout (error (143)) |
16.6 |
16.7 |
325685248 |
| eca-rers2012/Problem05_label54_true-unreach-call.c |
timeout (error (143)) |
16.2 |
16.3 |
310628352 |
unknown |
11.2 |
11.2 |
327278592 |
| eca-rers2012/Problem05_label59_true-unreach-call.c |
unknown |
11.7 |
11.7 |
303104000 |
timeout (error (143)) |
16.3 |
16.4 |
323334144 |
| eca-rers2012/Problem06_label03_true-unreach-call.c |
timeout |
15.7 |
15.8 |
289165312 |
unknown |
11.1 |
11.2 |
324804608 |
| eca-rers2012/Problem06_label06_true-unreach-call.c |
timeout |
15.6 |
15.7 |
311820288 |
timeout (error (143)) |
16.1 |
16.1 |
325537792 |
| eca-rers2012/Problem06_label17_true-unreach-call.c |
timeout |
15.6 |
15.7 |
292139008 |
unknown |
11.1 |
11.1 |
321855488 |
| eca-rers2012/Problem06_label19_true-unreach-call.c |
unknown |
11.5 |
11.5 |
314847232 |
timeout (error (143)) |
16.5 |
16.5 |
330637312 |
| eca-rers2012/Problem06_label22_true-unreach-call.c |
unknown |
10.9 |
11.0 |
309551104 |
timeout |
15.1 |
15.1 |
329388032 |
| eca-rers2012/Problem06_label23_true-unreach-call.c |
timeout |
16.0 |
16.1 |
312631296 |
unknown |
10.9 |
10.9 |
328544256 |
| eca-rers2012/Problem06_label25_true-unreach-call.c |
timeout |
15.9 |
15.9 |
312860672 |
unknown |
10.6 |
10.7 |
321437696 |
| eca-rers2012/Problem06_label26_true-unreach-call.c |
unknown |
10.9 |
11.0 |
290091008 |
timeout |
15.4 |
15.5 |
320831488 |
| eca-rers2012/Problem06_label28_true-unreach-call.c |
timeout (error (143)) |
16.4 |
16.5 |
350433280 |
timeout |
15.9 |
15.9 |
323985408 |
| eca-rers2012/Problem06_label31_true-unreach-call.c |
timeout (error (143)) |
16.5 |
16.6 |
315740160 |
unknown |
14.9 |
15.0 |
297512960 |
| eca-rers2012/Problem06_label32_true-unreach-call.c |
timeout |
15.5 |
15.6 |
314122240 |
unknown |
10.6 |
10.7 |
295784448 |
| eca-rers2012/Problem06_label34_true-unreach-call.c |
unknown |
10.9 |
11.0 |
313126912 |
timeout |
16.0 |
16.0 |
324907008 |
| eca-rers2012/Problem06_label40_true-unreach-call.c |
timeout (error (143)) |
16.3 |
16.3 |
315379712 |
unknown |
11.2 |
11.2 |
327565312 |
| eca-rers2012/Problem06_label41_true-unreach-call.c |
timeout |
16.0 |
16.1 |
317603840 |
timeout (error (143)) |
16.2 |
16.2 |
324816896 |
| eca-rers2012/Problem06_label42_true-unreach-call.c |
unknown |
11.0 |
11.1 |
320356352 |
timeout |
16.1 |
16.2 |
297775104 |
| eca-rers2012/Problem06_label43_true-unreach-call.c |
unknown |
10.9 |
10.9 |
341307392 |
timeout (error (143)) |
16.4 |
16.5 |
326238208 |
| eca-rers2012/Problem06_label45_true-unreach-call.c |
timeout (error (143)) |
16.1 |
16.2 |
314564608 |
unknown |
10.6 |
10.6 |
297533440 |
| eca-rers2012/Problem06_label46_true-unreach-call.c |
timeout (error (143)) |
16.2 |
16.2 |
321400832 |
unknown |
10.5 |
10.6 |
292704256 |
| eca-rers2012/Problem06_label49_true-unreach-call.c |
unknown |
10.8 |
10.9 |
316088320 |
timeout |
15.8 |
15.9 |
323096576 |
| eca-rers2012/Problem06_label50_true-unreach-call.c |
timeout (error (143)) |
16.4 |
16.5 |
356691968 |
timeout |
15.3 |
15.4 |
294649856 |
| eca-rers2012/Problem06_label51_true-unreach-call.c |
unknown |
10.8 |
10.9 |
314613760 |
timeout (error (143)) |
16.4 |
16.4 |
326668288 |
| eca-rers2012/Problem06_label52_true-unreach-call.c |
timeout (error (143)) |
16.5 |
16.6 |
358670336 |
unknown |
10.5 |
10.5 |
323997696 |
| eca-rers2012/Problem06_label53_true-unreach-call.c |
timeout |
16.1 |
16.2 |
312516608 |
unknown |
11.1 |
11.2 |
287264768 |
| eca-rers2012/Problem06_label54_true-unreach-call.c |
unknown |
10.7 |
10.8 |
313028608 |
timeout (error (143)) |
16.1 |
16.1 |
323792896 |
| eca-rers2012/Problem06_label55_true-unreach-call.c |
unknown |
11.2 |
11.2 |
340520960 |
timeout |
15.2 |
15.2 |
294264832 |
| eca-rers2012/Problem06_label57_true-unreach-call.c |
timeout |
16.2 |
16.3 |
315179008 |
unknown |
10.9 |
11.0 |
324136960 |
| eca-rers2012/Problem07_label01_true-unreach-call.c |
timeout |
21.0 |
21.1 |
414900224 |
timeout (error (143)) |
21.0 |
21.1 |
448692224 |
| eca-rers2012/Problem07_label08_true-unreach-call.c |
timeout |
21.0 |
21.1 |
416927744 |
timeout (error (143)) |
21.0 |
21.1 |
700760064 |
| eca-rers2012/Problem07_label10_true-unreach-call.c |
timeout |
21.0 |
21.1 |
411975680 |
timeout (error (143)) |
21.0 |
21.1 |
444911616 |
| eca-rers2012/Problem07_label13_true-unreach-call.c |
timeout |
21.0 |
21.1 |
432910336 |
timeout (error (143)) |
21.0 |
21.1 |
478797824 |
| eca-rers2012/Problem07_label14_true-unreach-call.c |
timeout (error (143)) |
21.0 |
21.1 |
656445440 |
timeout |
21.0 |
21.1 |
445685760 |
| eca-rers2012/Problem07_label17_true-unreach-call.c |
timeout |
21.0 |
21.1 |
432263168 |
timeout (error (143)) |
21.0 |
21.1 |
702488576 |
| eca-rers2012/Problem07_label25_true-unreach-call.c |
timeout (error (143)) |
21.0 |
21.1 |
661733376 |
timeout |
21.0 |
21.1 |
441126912 |
| eca-rers2012/Problem07_label26_true-unreach-call.c |
timeout (error (143)) |
21.0 |
21.1 |
666021888 |
timeout |
21.0 |
21.1 |
443977728 |
| eca-rers2012/Problem07_label33_true-unreach-call.c |
timeout (error (143)) |
21.0 |
21.1 |
655069184 |
timeout |
21.0 |
21.1 |
422236160 |
| eca-rers2012/Problem07_label34_true-unreach-call.c |
timeout |
21.0 |
21.1 |
665214976 |
timeout (error (143)) |
21.0 |
21.1 |
423272448 |
| eca-rers2012/Problem07_label41_true-unreach-call.c |
timeout (error (143)) |
21.0 |
21.1 |
434151424 |
timeout |
21.0 |
21.1 |
473219072 |
| eca-rers2012/Problem07_label45_true-unreach-call.c |
timeout |
21.0 |
21.1 |
386777088 |
timeout (error (143)) |
21.0 |
21.1 |
442806272 |
| eca-rers2012/Problem07_label49_true-unreach-call.c |
timeout (error (143)) |
21.0 |
21.1 |
664842240 |
timeout |
21.0 |
21.1 |
421318656 |
| eca-rers2012/Problem07_label52_true-unreach-call.c |
timeout |
21.0 |
21.1 |
407748608 |
timeout (error (143)) |
20.9 |
21.1 |
416825344 |
| eca-rers2012/Problem07_label54_true-unreach-call.c |
timeout |
21.0 |
21.1 |
432885760 |
timeout (error (143)) |
21.0 |
21.1 |
446468096 |
| eca-rers2012/Problem07_label55_true-unreach-call.c |
timeout |
21.0 |
21.1 |
664178688 |
timeout (error (143)) |
21.0 |
21.1 |
476782592 |
| eca-rers2012/Problem08_label00_true-unreach-call.c |
timeout |
21.0 |
21.1 |
504336384 |
timeout (error (143)) |
21.0 |
21.1 |
705007616 |
| eca-rers2012/Problem08_label09_true-unreach-call.c |
timeout |
21.0 |
21.1 |
703242240 |
timeout (error (143)) |
21.0 |
21.1 |
466976768 |
| eca-rers2012/Problem08_label14_true-unreach-call.c |
timeout (error (143)) |
21.0 |
21.1 |
528908288 |
timeout |
21.0 |
21.1 |
748212224 |
| eca-rers2012/Problem08_label16_true-unreach-call.c |
timeout |
21.0 |
21.1 |
473755648 |
timeout (error (143)) |
21.0 |
21.1 |
488656896 |
| eca-rers2012/Problem08_label17_true-unreach-call.c |
timeout |
21.0 |
21.1 |
678842368 |
timeout (error (143)) |
20.9 |
21.1 |
463155200 |
| eca-rers2012/Problem08_label18_true-unreach-call.c |
timeout |
21.0 |
21.1 |
717094912 |
timeout (error (143)) |
21.0 |
21.1 |
547512320 |
| eca-rers2012/Problem08_label21_true-unreach-call.c |
timeout (error (143)) |
21.0 |
21.1 |
527900672 |
timeout |
21.0 |
21.1 |
714493952 |
| eca-rers2012/Problem08_label33_true-unreach-call.c |
timeout (error (143)) |
21.0 |
21.2 |
453795840 |
timeout |
21.0 |
21.1 |
463892480 |
| eca-rers2012/Problem08_label36_true-unreach-call.c |
timeout |
21.0 |
21.1 |
636256256 |
timeout (error (143)) |
21.0 |
21.1 |
505425920 |
| eca-rers2012/Problem08_label41_true-unreach-call.c |
timeout |
21.0 |
21.1 |
497528832 |
timeout (error (143)) |
21.0 |
21.1 |
466886656 |
| eca-rers2012/Problem08_label44_true-unreach-call.c |
timeout (error (143)) |
20.4 |
21.4 |
712638464 |
timeout |
21.0 |
21.1 |
464564224 |
| eca-rers2012/Problem08_label45_true-unreach-call.c |
timeout (error (143)) |
20.5 |
21.1 |
455606272 |
timeout |
21.0 |
21.2 |
677326848 |
| eca-rers2012/Problem08_label47_true-unreach-call.c |
timeout (error (143)) |
21.0 |
21.1 |
454889472 |
timeout |
21.0 |
21.1 |
486027264 |
| eca-rers2012/Problem08_label52_true-unreach-call.c |
timeout (error (143)) |
21.0 |
21.1 |
454057984 |
timeout |
21.0 |
21.1 |
797790208 |
| eca-rers2012/Problem08_label56_true-unreach-call.c |
timeout |
21.0 |
21.1 |
718450688 |
timeout (error (143)) |
20.1 |
21.1 |
533610496 |
| eca-rers2012/Problem08_label58_true-unreach-call.c |
timeout (error (143)) |
21.0 |
21.1 |
501587968 |
timeout |
21.0 |
21.1 |
460558336 |
| eca-rers2012/Problem09_label00_true-unreach-call.c |
timeout |
21.0 |
21.1 |
489803776 |
timeout (error (143)) |
21.0 |
21.1 |
738304000 |
| eca-rers2012/Problem09_label07_true-unreach-call.c |
timeout (error (143)) |
21.0 |
21.1 |
530300928 |
timeout |
21.0 |
21.1 |
713453568 |
| eca-rers2012/Problem09_label13_true-unreach-call.c |
timeout |
21.0 |
21.1 |
558157824 |
timeout (error (143)) |
21.0 |
21.1 |
473690112 |
| eca-rers2012/Problem09_label17_true-unreach-call.c |
timeout (error (143)) |
20.9 |
21.2 |
559833088 |
timeout |
21.0 |
21.1 |
755519488 |
| eca-rers2012/Problem09_label18_true-unreach-call.c |
timeout (error (143)) |
21.0 |
21.1 |
532574208 |
timeout |
21.0 |
21.1 |
497995776 |
| eca-rers2012/Problem09_label22_true-unreach-call.c |
timeout (error (143)) |
20.9 |
21.1 |
536317952 |
timeout |
21.0 |
21.1 |
491606016 |
| eca-rers2012/Problem09_label26_true-unreach-call.c |
timeout |
21.0 |
21.1 |
467533824 |
timeout (error (143)) |
21.0 |
21.1 |
497872896 |
| eca-rers2012/Problem09_label27_true-unreach-call.c |
timeout (error (143)) |
21.0 |
21.1 |
532844544 |
timeout |
21.0 |
21.1 |
737357824 |
| eca-rers2012/Problem09_label28_true-unreach-call.c |
timeout |
21.0 |
21.1 |
465006592 |
timeout (error (143)) |
21.0 |
21.1 |
532979712 |
| eca-rers2012/Problem09_label37_true-unreach-call.c |
timeout (error (143)) |
20.9 |
21.1 |
466395136 |
timeout |
21.0 |
21.1 |
750874624 |
| eca-rers2012/Problem09_label39_true-unreach-call.c |
timeout (error (143)) |
21.0 |
21.1 |
471101440 |
timeout |
21.0 |
21.1 |
503091200 |
| eca-rers2012/Problem09_label40_true-unreach-call.c |
timeout |
21.0 |
21.0 |
724615168 |
timeout (error (143)) |
21.0 |
21.1 |
497315840 |
| eca-rers2012/Problem09_label43_true-unreach-call.c |
timeout |
21.0 |
21.1 |
467083264 |
timeout (error (143)) |
21.0 |
21.1 |
736534528 |
| eca-rers2012/Problem09_label48_true-unreach-call.c |
timeout (error (143)) |
21.0 |
21.1 |
565387264 |
timeout |
21.0 |
21.1 |
694087680 |
| eca-rers2012/Problem09_label49_true-unreach-call.c |
timeout (error (143)) |
20.9 |
21.1 |
563347456 |
timeout |
21.0 |
21.2 |
504037376 |
| eca-rers2012/Problem12_label43_true-unreach-call.c |
unknown |
12.8 |
12.8 |
265007104 |
error: exception |
5.51 |
5.56 |
151769088 |
| eca-rers2012/Problem17_label29_true-unreach-call.c |
unknown |
11.6 |
11.7 |
249413632 |
error: exception |
5.45 |
5.51 |
156528640 |
| eca-rers2012/Problem19_label03_true-unreach-call.c |
unknown |
12.0 |
12.0 |
325287936 |
timeout (error (143)) |
16.3 |
16.4 |
390631424 |
| eca-rers2012/Problem19_label05_true-unreach-call.c |
timeout (error (143)) |
17.3 |
17.3 |
319569920 |
unknown |
11.9 |
11.9 |
373211136 |
| eca-rers2012/Problem19_label06_true-unreach-call.c |
unknown |
12.0 |
12.0 |
321826816 |
timeout (error (143)) |
17.2 |
17.3 |
405155840 |
| eca-rers2012/Problem19_label07_true-unreach-call.c |
timeout (error (143)) |
16.7 |
16.7 |
313069568 |
unknown |
12.0 |
12.1 |
400130048 |
| eca-rers2012/Problem19_label08_true-unreach-call.c |
unknown |
12.3 |
12.3 |
323973120 |
timeout (error (143)) |
16.4 |
16.5 |
374837248 |
| eca-rers2012/Problem19_label09_true-unreach-call.c |
timeout (error (143)) |
16.8 |
16.8 |
324775936 |
unknown |
11.3 |
11.3 |
402894848 |
| eca-rers2012/Problem19_label25_true-unreach-call.c |
unknown |
11.6 |
11.6 |
322420736 |
timeout (error (143)) |
17.5 |
17.6 |
404013056 |
| eca-rers2012/Problem19_label30_true-unreach-call.c |
timeout (error (143)) |
18.0 |
18.0 |
315809792 |
unknown |
11.7 |
11.8 |
406605824 |
| eca-rers2012/Problem19_label37_true-unreach-call.c |
timeout (error (143)) |
17.5 |
17.5 |
313036800 |
unknown |
12.0 |
12.0 |
404312064 |
| eca-rers2012/Problem19_label38_true-unreach-call.c |
unknown |
11.7 |
11.8 |
322629632 |
timeout (error (143)) |
16.3 |
16.4 |
362520576 |
| eca-rers2012/Problem19_label44_true-unreach-call.c |
timeout (error (143)) |
16.7 |
16.7 |
321675264 |
unknown |
11.6 |
11.6 |
404221952 |
| eca-rers2012/Problem19_label45_true-unreach-call.c |
unknown |
11.7 |
11.8 |
329486336 |
timeout (error (143)) |
16.3 |
16.3 |
364576768 |
| eca-rers2012/Problem19_label49_true-unreach-call.c |
unknown |
11.5 |
11.5 |
334213120 |
timeout (error (143)) |
17.3 |
17.3 |
370049024 |
| eca-rers2012/Problem19_label52_true-unreach-call.c |
timeout (error (143)) |
17.0 |
17.0 |
318713856 |
unknown |
11.3 |
11.4 |
406261760 |
| psyco/psyco_cev_1_false-unreach-call.c |
error: exception |
3.69 |
3.74 |
157114368 |
timeout (error (143)) |
20.1 |
20.5 |
1164333056 |
| psyco/psyco_net_1_false-unreach-call_false-termination.c |
timeout (error (143)) |
17.2 |
17.3 |
423301120 |
unknown |
13.1 |
13.1 |
458809344 |
| floats-cbmc-regression/float-div1_true-unreach-call.i |
unknown |
5.15 |
5.20 |
223068160 |
error: exception |
6.46 |
6.52 |
164880384 |
| floats-cbmc-regression/float-flags-simp1_true-unreach-call.i |
unknown |
7.97 |
8.02 |
225017856 |
error: exception |
4.44 |
4.45 |
161452032 |
| floats-cbmc-regression/float-no-simp2_true-unreach-call.i |
unknown |
7.52 |
7.55 |
222547968 |
error: exception |
6.31 |
6.35 |
165781504 |
| floats-cbmc-regression/float-no-simp4_true-unreach-call.i |
unknown |
5.25 |
5.34 |
221298688 |
error: exception |
4.59 |
4.61 |
163180544 |
| floats-cbmc-regression/float-no-simp8_true-unreach-call.i |
unknown |
7.52 |
7.57 |
219025408 |
error: exception |
6.61 |
6.67 |
162615296 |
| floats-cbmc-regression/float-to-double1_true-unreach-call.i |
unknown |
7.61 |
7.66 |
220139520 |
error: exception |
6.48 |
6.54 |
160686080 |
| floats-cbmc-regression/float-zero-sum1_true-unreach-call_true-termination.i |
error: exception |
6.09 |
6.14 |
162996224 |
unknown |
6.23 |
6.27 |
163557376 |
| floats-cbmc-regression/float14_true-unreach-call.i |
unknown |
7.58 |
7.60 |
222519296 |
error: exception |
4.59 |
4.63 |
163971072 |
| floats-cbmc-regression/float19_true-unreach-call.i |
unknown |
7.56 |
7.61 |
222146560 |
error: exception |
4.35 |
4.36 |
164737024 |
| floats-cbmc-regression/float21_true-unreach-call.i |
unknown |
7.75 |
7.79 |
223539200 |
error: exception |
4.33 |
4.37 |
167739392 |
| floats-cbmc-regression/float22_true-unreach-call_true-termination.i |
error: exception |
4.37 |
4.43 |
167059456 |
unknown |
6.29 |
6.32 |
163008512 |
| floats-cbmc-regression/float4_true-unreach-call.i |
unknown |
7.73 |
7.77 |
227663872 |
error: exception |
4.41 |
4.42 |
166969344 |
| floats-cbmc-regression/float8_true-unreach-call.i |
unknown |
5.22 |
5.25 |
221790208 |
error: exception |
4.48 |
4.52 |
163823616 |
| floats-cbmc-regression/float_lib1_true-unreach-call.i |
unknown |
7.70 |
7.75 |
224907264 |
error: exception |
6.24 |
6.34 |
164216832 |
| floats-cbmc-regression/float_lib2_true-unreach-call.i |
unknown |
7.54 |
7.61 |
226275328 |
error: exception |
6.47 |
6.52 |
160120832 |
| float-benchs/cast_float_ptr_false-unreach-call_true-termination.c |
error: exception |
6.23 |
6.28 |
162095104 |
unknown |
4.29 |
4.33 |
165851136 |
| float-benchs/cast_union_loose_false-unreach-call_true-termination.c |
error: exception |
4.34 |
4.35 |
162275328 |
unknown |
4.27 |
4.31 |
163598336 |
| float-benchs/cast_union_tight_false-unreach-call_true-termination.c |
error: exception |
6.32 |
6.38 |
162635776 |
unknown |
6.34 |
6.36 |
166129664 |
| float-benchs/inv_Newton_false-unreach-call.c |
error: exception |
6.22 |
6.28 |
162648064 |
unknown |
4.24 |
4.25 |
163946496 |
| float-benchs/filter_iir_true-unreach-call.c |
error: exception |
4.30 |
4.38 |
163827712 |
unknown |
6.23 |
6.24 |
162783232 |
| float-benchs/image_filter_true-unreach-call.c |
error: exception |
6.97 |
7.01 |
171159552 |
unknown |
4.82 |
4.85 |
169259008 |
| float-benchs/inv_sqrt_Quake_true-unreach-call_true-termination.c |
error: exception |
6.21 |
6.23 |
163299328 |
unknown |
6.38 |
6.42 |
163799040 |
| floats-esbmc-regression/ceil_nondet_true-unreach-call.i |
unknown |
6.50 |
6.53 |
164700160 |
error: exception |
6.38 |
6.43 |
164876288 |
| floats-esbmc-regression/fabs_true-unreach-call.i |
unknown |
7.42 |
7.43 |
222810112 |
error: exception |
6.54 |
6.60 |
163549184 |
| floats-esbmc-regression/floor_nondet_true-unreach-call.i |
unknown |
4.39 |
4.44 |
166088704 |
error: exception |
6.55 |
6.64 |
162713600 |
| floats-esbmc-regression/fmax_true-unreach-call.i |
unknown |
5.16 |
5.21 |
220950528 |
error: exception |
4.31 |
4.35 |
164478976 |
| floats-esbmc-regression/fmin_true-unreach-call.i |
unknown |
7.59 |
7.66 |
222146560 |
error: exception |
6.29 |
6.32 |
165031936 |
| floats-esbmc-regression/fmod2_true-unreach-call.i |
unknown |
4.42 |
4.47 |
165933056 |
error: exception |
4.36 |
4.38 |
164241408 |
| floats-esbmc-regression/fmod3_true-unreach-call.i |
unknown |
6.68 |
6.72 |
167358464 |
error: exception |
6.25 |
6.33 |
165806080 |
| floats-esbmc-regression/isgreater_true-unreach-call.i |
unknown |
7.31 |
7.33 |
222650368 |
error: exception |
6.59 |
6.62 |
163164160 |
| floats-esbmc-regression/isgreaterequal_true-unreach-call.i |
unknown |
5.15 |
5.18 |
222814208 |
error: exception |
6.36 |
6.37 |
165519360 |
| floats-esbmc-regression/isless_true-unreach-call.i |
unknown |
5.08 |
5.13 |
224092160 |
error: exception |
4.35 |
4.39 |
165785600 |
| floats-esbmc-regression/islessequal_true-unreach-call.i |
unknown |
7.42 |
7.52 |
222937088 |
error: exception |
6.31 |
6.36 |
164360192 |
| floats-esbmc-regression/islessgreater_true-unreach-call.i |
unknown |
7.13 |
7.18 |
221892608 |
error: exception |
4.27 |
4.30 |
166088704 |
| floats-esbmc-regression/isunordered_true-unreach-call.i |
unknown |
7.41 |
7.46 |
222670848 |
error: exception |
6.34 |
6.36 |
165322752 |
| floats-esbmc-regression/nan_true-unreach-call.i |
unknown |
7.63 |
7.71 |
223236096 |
error: exception |
6.38 |
6.43 |
163958784 |
| floats-esbmc-regression/round_nondet_true-unreach-call.i |
unknown |
6.42 |
6.44 |
163454976 |
error: exception |
6.43 |
6.48 |
166313984 |
| floats-esbmc-regression/trunc_nondet_2_true-unreach-call.i |
unknown |
6.29 |
6.30 |
162123776 |
error: exception |
4.44 |
4.50 |
161353728 |
| floats-esbmc-regression/trunc_nondet_true-unreach-call.i |
unknown |
6.46 |
6.51 |
164622336 |
error: exception |
6.32 |
6.37 |
163430400 |
| heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i |
timeout |
21.0 |
21.1 |
228306944 |
timeout (error (143)) |
21.0 |
21.0 |
226480128 |
| ldv-regression/recursive_list_true-termination.c_false-unreach-call.i |
error: exception |
5.35 |
5.40 |
154107904 |
unknown |
6.20 |
6.25 |
162775040 |
| ldv-regression/sizeofparameters_test_true-termination.c_true-unreach-call.i |
unknown |
4.38 |
4.53 |
162365440 |
error: exception |
4.43 |
4.50 |
165912576 |
| ldv-regression/test_union_cast-1_true-unreach-call_true-termination.i |
error: exception |
6.09 |
6.13 |
162750464 |
unknown |
6.41 |
6.47 |
165027840 |
| ldv-regression/test_union_cast_true-termination.c_true-unreach-call_1.i |
error: exception |
4.15 |
4.17 |
161808384 |
unknown |
4.29 |
4.34 |
166035456 |
| loops/ludcmp_false-unreach-call.i |
unknown |
7.76 |
7.80 |
224473088 |
error: exception |
6.07 |
6.09 |
161861632 |
| loops/lu.cmp_true-unreach-call.i |
unknown |
7.57 |
7.62 |
228560896 |
error: exception |
5.91 |
5.95 |
159412224 |
| seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c |
error: exception |
4.42 |
4.46 |
164704256 |
unknown |
4.66 |
4.71 |
167239680 |
| seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.UNBOUNDED.pals.c |
error: exception |
6.18 |
6.31 |
160026624 |
unknown |
6.87 |
6.88 |
169889792 |
| seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c |
error: exception |
6.18 |
6.22 |
163278848 |
unknown |
4.72 |
4.77 |
165117952 |
| seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.UNBOUNDED.pals.c |
error: exception |
4.36 |
4.38 |
162246656 |
unknown |
4.72 |
4.77 |
166641664 |
| seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals_true-termination.c |
error: exception |
5.34 |
5.37 |
151908352 |
unknown |
6.95 |
6.95 |
165306368 |
| seq-mthreaded/rekcba_ctm_false-unreach-call.3_true-termination.c |
timeout (error (143)) |
17.9 |
18.0 |
314634240 |
unknown |
15.0 |
15.0 |
321118208 |
| seq-mthreaded/pals_STARTPALS_Triplicated_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c |
error: exception |
6.32 |
6.36 |
163160064 |
unknown |
6.75 |
6.80 |
169725952 |
| seq-mthreaded/pals_STARTPALS_Triplicated_true-unreach-call.ufo.UNBOUNDED.pals.c |
error: exception |
6.24 |
6.29 |
162525184 |
unknown |
7.00 |
7.05 |
170967040 |
| seq-mthreaded/rekcba_ctm_true-unreach-call.3_true-termination.c |
timeout (error (143)) |
16.8 |
16.9 |
318345216 |
timeout |
15.9 |
16.1 |
328994816 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--gpio--gpio-max7301.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
error: exception |
7.78 |
7.84 |
226340864 |
unknown |
6.07 |
6.11 |
230424576 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--joystick--magellan.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
timeout (error (143)) |
21.0 |
21.1 |
231129088 |
unknown |
4.89 |
4.93 |
185864192 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--joystick--spaceball.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
timeout |
21.0 |
21.1 |
235634688 |
unknown |
4.98 |
5.00 |
187957248 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--joystick--spaceorb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
timeout |
21.0 |
21.1 |
236859392 |
unknown |
7.58 |
7.66 |
189517824 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--joystick--stinger.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
timeout |
21.0 |
21.1 |
233553920 |
unknown |
7.16 |
7.26 |
187297792 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--joystick--twidjoy.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
timeout |
21.0 |
21.1 |
234070016 |
unknown |
7.18 |
7.26 |
185458688 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--joystick--warrior.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
timeout (error (143)) |
20.9 |
21.1 |
235024384 |
unknown |
7.16 |
7.20 |
188866560 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--joystick--zhenhua.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
timeout (error (143)) |
21.0 |
21.2 |
246427648 |
unknown |
4.79 |
4.80 |
181747712 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--keyboard--newtonkbd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
timeout (error (143)) |
21.0 |
21.1 |
232980480 |
unknown |
4.92 |
4.94 |
186122240 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--keyboard--stowaway.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
timeout |
21.0 |
21.1 |
239214592 |
unknown |
7.24 |
7.28 |
187674624 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--keyboard--xtkbd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
timeout (error (143)) |
20.9 |
21.1 |
235180032 |
unknown |
4.84 |
4.91 |
186109952 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--misc--atlas_btns.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
timeout |
21.0 |
21.1 |
240742400 |
error: exception |
7.16 |
7.19 |
200273920 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--misc--xen-kbdfront.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
timeout (error (143)) |
20.9 |
21.1 |
239894528 |
error: exception |
7.40 |
7.46 |
199917568 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--mouse--vsxxxaa.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
timeout |
21.0 |
21.1 |
237993984 |
unknown |
5.03 |
5.06 |
193163264 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--dynapro.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
timeout |
21.0 |
21.0 |
231710720 |
unknown |
7.47 |
7.51 |
193019904 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--egalax_ts.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
timeout (error (143)) |
21.0 |
21.1 |
238665728 |
unknown |
7.73 |
7.76 |
231329792 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--fujitsu_ts.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
timeout (error (143)) |
20.9 |
21.1 |
237772800 |
unknown |
7.45 |
7.62 |
191471616 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--gunze.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
timeout (error (143)) |
21.0 |
21.1 |
234405888 |
unknown |
5.04 |
5.10 |
194510848 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--hampshire.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
timeout |
21.0 |
21.1 |
235491328 |
unknown |
5.29 |
5.35 |
194408448 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--inexio.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
timeout (error (143)) |
21.0 |
21.1 |
230928384 |
unknown |
7.24 |
7.28 |
189841408 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--mtouch.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
timeout |
21.0 |
21.1 |
234700800 |
unknown |
7.71 |
7.77 |
190693376 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--penmount.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
timeout (error (143)) |
21.0 |
21.1 |
234848256 |
unknown |
5.41 |
5.46 |
191754240 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--touchit213.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
timeout |
21.0 |
21.1 |
235360256 |
unknown |
5.03 |
5.07 |
192081920 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--touchright.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
timeout |
21.0 |
21.1 |
230006784 |
unknown |
7.34 |
7.37 |
193699840 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--touchwin.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
timeout |
21.0 |
21.1 |
233787392 |
unknown |
7.35 |
7.37 |
189755392 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--tsc40.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
timeout |
21.0 |
21.1 |
234123264 |
unknown |
5.02 |
5.16 |
191205376 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--wacom_w8001.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
timeout |
21.0 |
21.0 |
237608960 |
unknown |
5.26 |
5.27 |
216932352 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--macintosh--mac_hid.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
timeout |
21.0 |
21.0 |
234704896 |
error: exception |
7.00 |
7.11 |
181673984 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--mfd--ucb1400_core.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
error: exception |
8.24 |
8.30 |
225804288 |
unknown |
9.44 |
9.48 |
260018176 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--mtd--devices--mtdram.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
error: exception |
7.14 |
7.27 |
178544640 |
unknown |
5.41 |
5.45 |
203689984 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--platform--x86--panasonic-laptop.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
timeout |
21.0 |
21.1 |
242741248 |
error: exception |
5.47 |
5.53 |
232296448 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--platform--x86--topstar-laptop.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
timeout |
21.0 |
21.0 |
242814976 |
unknown |
7.44 |
7.49 |
203763712 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--platform--x86--xo15-ebook.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
timeout |
21.0 |
21.0 |
239214592 |
unknown |
7.44 |
7.53 |
203898880 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--staging--iio--resolver--ad2s90.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
error: exception |
5.58 |
5.60 |
227385344 |
unknown |
9.04 |
9.13 |
238645248 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--input--misc--ab8500-ponkey.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
timeout (error (143)) |
21.0 |
21.1 |
229896192 |
unknown |
7.45 |
7.48 |
194183168 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--input--misc--mpu3050.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
timeout |
21.0 |
21.1 |
240754688 |
error: exception |
5.59 |
5.62 |
225558528 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--input--misc--pcap_keys.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
timeout |
21.0 |
21.1 |
234074112 |
unknown |
4.88 |
4.95 |
186904576 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--input--misc--pcf50633-input.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
timeout |
21.0 |
21.0 |
236515328 |
unknown |
7.71 |
7.75 |
226471936 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--input--misc--pcspkr.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
timeout |
21.0 |
21.0 |
232853504 |
unknown |
6.01 |
6.06 |
229888000 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--input--misc--rotary_encoder.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
timeout |
21.0 |
21.1 |
235114496 |
unknown |
7.67 |
7.69 |
199331840 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--input--misc--wm831x-on.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
timeout (error (143)) |
21.0 |
21.1 |
232243200 |
error: exception |
7.25 |
7.28 |
189112320 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--input--touchscreen--eeti_ts.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
timeout |
21.0 |
21.0 |
247132160 |
error: exception |
7.96 |
8.00 |
231186432 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--input--touchscreen--max11801_ts.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
timeout |
21.0 |
21.1 |
240381952 |
error: exception |
5.34 |
5.38 |
229564416 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--input--touchscreen--stmpe-ts.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
timeout |
21.0 |
21.0 |
241217536 |
unknown |
5.29 |
5.32 |
226435072 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--video--backlight--ltv350qv.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
error: exception |
9.45 |
9.49 |
248328192 |
unknown |
11.1 |
11.2 |
261283840 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_true-termination.4-32_1-drivers--input--joystick--turbografx.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
timeout (error (143)) |
21.0 |
21.1 |
233193472 |
error: exception |
5.16 |
5.19 |
199729152 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_true-termination.4-32_1-drivers--input--touchscreen--mk712.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
timeout (error (143)) |
20.9 |
21.1 |
236400640 |
unknown |
7.46 |
7.47 |
188178432 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_true-termination.4-32_1-drivers--platform--x86--dell-wmi-aio.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
timeout |
21.0 |
21.0 |
238362624 |
unknown |
7.37 |
7.42 |
196329472 |
| ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--gpio--gpio-max7301.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
error: exception |
7.85 |
7.91 |
231776256 |
unknown |
8.98 |
9.03 |
249782272 |
| ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--isdn--hardware--avm--t1pci.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
error: exception |
5.51 |
7.09 |
155029504 |
unknown |
7.07 |
7.12 |
183898112 |
| ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--mfd--ucb1400_core.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
error: exception |
8.25 |
8.65 |
228605952 |
unknown |
8.42 |
8.54 |
244174848 |
| ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--mtd--devices--mtdram_true-termination.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
error: exception |
7.36 |
8.40 |
175595520 |
unknown |
8.23 |
8.39 |
195522560 |
| ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--video--backlight--ltv350qv.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
error: exception |
9.76 |
9.92 |
242814976 |
unknown |
11.1 |
11.1 |
251760640 |
| ldv-linux-3.7.3/main0_false-unreach-call_drivers--media--dvb-frontends--stv090x-ko---32_7a--linux-3.7.3.c |
error: exception |
6.59 |
7.22 |
225550336 |
unknown |
6.21 |
6.25 |
249552896 |
| ldv-linux-3.7.3/main17_false-unreach-call_drivers-gpu-drm-vmwgfx-vmwgfx-ko--32_7a--linux-3.5.c |
error: exception |
8.97 |
8.98 |
246013952 |
unknown |
9.45 |
9.46 |
252837888 |
| ldv-linux-3.7.3/main3_false-unreach-call_drivers-gpu-drm-vmwgfx-vmwgfx-ko--32_7a--linux-3.5.c |
error: exception |
9.31 |
9.39 |
249921536 |
unknown |
9.24 |
9.26 |
252264448 |
| ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-32_7a-drivers--infiniband--hw--cxgb3--iw_cxgb3.ko-ldv_main6_sequence_infinite_withcheck_stateful.cil.out.c |
unknown |
7.99 |
8.57 |
256425984 |
error: exception |
5.30 |
5.34 |
153538560 |
| ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-32_7a-drivers--infiniband--hw--mlx4--mlx4_ib.ko-ldv_main4_sequence_infinite_withcheck_stateful.cil.out.c |
timeout (error (143)) |
17.2 |
17.5 |
276123648 |
unknown |
7.22 |
7.26 |
269185024 |
| ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-32_7a-drivers--net--ethernet--tehuti--tehuti.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
timeout (error (143)) |
20.7 |
21.1 |
255172608 |
unknown |
5.95 |
5.98 |
234594304 |
| ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-32_7a-drivers--staging--silicom--bpctl_mod.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
timeout (error (143)) |
20.8 |
22.2 |
252825600 |
unknown |
8.84 |
8.89 |
243150848 |
| ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--hwmon--w83781d.ko-main.cil.out.c |
error: exception |
4.77 |
5.04 |
153497600 |
unknown |
5.40 |
5.41 |
233512960 |
| ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--staging--panel--panel.ko-main.cil.out.c |
timeout (error (143)) |
19.3 |
25.4 |
245747712 |
unknown |
8.50 |
8.51 |
228777984 |
| ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--staging--silicom--bpctl_mod.ko-main.cil.out.c |
timeout |
20.9 |
22.4 |
254521344 |
unknown |
6.26 |
6.30 |
244613120 |
| ldv-linux-3.12-rc1/linux-3.12-rc1.tar.xz-118_1a-drivers--scsi--qla2xxx--qla2xxx.ko-entry_point_false-unreach-call.cil.out.c |
timeout (error (143)) |
20.5 |
22.9 |
344465408 |
timeout |
15.3 |
15.3 |
337461248 |
| ldv-linux-3.16-rc1/205_9a_array_unsafes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--ppp--ppp_synctty.ko-entry_point_false-unreach-call.cil.out.c |
timeout (error (143)) |
20.1 |
22.2 |
258703360 |
unknown |
7.92 |
8.10 |
230883328 |
| ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--net--ethernet--nvidia--forcedeth.ko-entry_point_true-unreach-call.cil.out.c |
timeout (error (143)) |
20.9 |
21.0 |
262774784 |
unknown |
9.10 |
9.14 |
251985920 |
| ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-sound--drivers--snd-mts64.ko-entry_point_true-unreach-call.cil.out.c |
timeout |
21.0 |
21.1 |
251117568 |
unknown |
6.25 |
6.29 |
243269632 |
| ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--gpu--drm--i915--i915.ko-entry_point_true-unreach-call.cil.out.c |
timeout |
21.0 |
21.1 |
420900864 |
unknown |
12.9 |
12.9 |
426233856 |
| ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--net--usb--cdc_subset.ko-entry_point_true-unreach-call.cil.out.c |
error: exception |
9.72 |
9.78 |
256425984 |
unknown |
8.51 |
8.55 |
273731584 |
| ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--atm--nicstar.ko-entry_point_true-unreach-call.cil.out.c |
timeout (error (143)) |
21.0 |
21.0 |
262561792 |
unknown |
6.14 |
6.16 |
223838208 |
| ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--net--ethernet--dec--tulip--de4x5.ko-entry_point_true-unreach-call.cil.out.c |
unknown |
10.5 |
10.5 |
263004160 |
error: exception |
11.5 |
11.5 |
266063872 |
| ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--scsi--advansys.ko-entry_point_true-unreach-call.cil.out.c |
timeout |
21.0 |
21.0 |
260661248 |
unknown |
9.47 |
9.53 |
255074304 |
| ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--staging--lustre--lustre--osc--osc.ko-entry_point_true-unreach-call.cil.out.c |
timeout |
21.0 |
21.0 |
293347328 |
unknown |
7.47 |
7.53 |
280690688 |
| ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--usb--host--ehci-hcd.ko-entry_point_true-unreach-call.cil.out.c |
unknown |
6.41 |
6.46 |
255512576 |
error: exception |
9.26 |
9.28 |
252858368 |
| ldv-challenges/linux-3.8-rc1-32_7a-drivers--net--ethernet--broadcom--bnx2x--bnx2x.ko-ldv_main3_sequence_infinite_withcheck_stateful_false-unreach-call.cil.out.c |
unknown |
14.2 |
14.3 |
335364096 |
error: exception |
4.91 |
5.01 |
153468928 |
| ldv-challenges/linux-3.14__complex_emg__linux-alloc-spinlock__drivers-net-ethernet-myricom-myri10ge-myri10ge_true-unreach-call.cil.c |
timeout |
21.0 |
21.0 |
261853184 |
unknown |
9.17 |
9.18 |
249421824 |
| ldv-challenges/linux-3.14__complex_emg__linux-alloc-spinlock__drivers-net-ethernet-nvidia-forcedeth_true-unreach-call.cil.c |
timeout |
21.0 |
21.0 |
262647808 |
unknown |
9.10 |
9.11 |
251346944 |
| ldv-challenges/linux-3.14__complex_emg__linux-drivers-clk1__drivers-net-ethernet-nvidia-forcedeth_true-unreach-call.cil.c |
timeout |
21.0 |
21.0 |
261029888 |
unknown |
6.01 |
6.03 |
253960192 |
| ldv-challenges/linux-3.14__complex_emg__linux-drivers-clk1__drivers-net-ethernet-smsc-smsc911x_true-unreach-call.cil.c |
timeout |
21.0 |
21.0 |
258633728 |
unknown |
9.18 |
9.23 |
252563456 |
| ldv-challenges/linux-3.14__complex_emg__linux-kernel-locking-mutex__drivers-net-ethernet-nvidia-forcedeth_true-unreach-call.cil.c |
timeout |
21.0 |
21.0 |
279674880 |
unknown |
6.05 |
6.13 |
249966592 |
| ldv-challenges/linux-3.14__complex_emg__linux-kernel-locking-spinlock__drivers-net-ethernet-nvidia-forcedeth_true-unreach-call.cil.c |
timeout |
21.0 |
21.0 |
271454208 |
unknown |
9.20 |
9.26 |
251920384 |
| ldv-challenges/linux-3.14__complex_emg__linux-usb-dev__drivers-net-ethernet-nvidia-forcedeth_true-unreach-call.cil.c |
timeout |
21.0 |
21.0 |
257011712 |
unknown |
6.18 |
6.21 |
258105344 |
| ldv-challenges/linux-3.14__linux-alloc-spinlock__drivers-net-ethernet-nvidia-forcedeth_true-unreach-call.cil.c |
timeout |
21.0 |
21.1 |
260640768 |
unknown |
9.34 |
9.38 |
242450432 |
| ldv-challenges/linux-3.14__linux-drivers-clk1__drivers-net-ethernet-smsc-smsc911x_true-unreach-call.cil.c |
timeout (error (143)) |
21.0 |
21.1 |
256221184 |
unknown |
6.10 |
6.16 |
247939072 |
| ldv-challenges/linux-3.14__linux-kernel-locking-spinlock__drivers-net-ethernet-nvidia-forcedeth_true-unreach-call.cil.c |
timeout (error (143)) |
21.0 |
21.1 |
258428928 |
unknown |
9.08 |
9.11 |
250269696 |
| ldv-challenges/linux-3.14__linux-usb-dev__drivers-net-ethernet-nvidia-forcedeth_true-unreach-call.cil.c |
timeout (error (143)) |
21.0 |
21.0 |
254889984 |
unknown |
6.40 |
6.49 |
246530048 |
| ldv-challenges/linux-3.8-rc1-32_7a-drivers--net--ethernet--broadcom--bnx2x--bnx2x.ko-ldv_main0_sequence_infinite_withcheck_stateful_true-unreach-call.cil.out.c |
unknown |
9.90 |
9.94 |
338935808 |
timeout |
15.2 |
15.3 |
333426688 |
| ldv-linux-3.14/linux-3.14__complex_emg__linux-alloc-spinlock__drivers-net-ethernet-3com-typhoon_true-unreach-call.cil.c |
timeout |
21.0 |
21.1 |
263417856 |
unknown |
8.37 |
8.43 |
227774464 |
| ldv-linux-3.14/linux-3.14__complex_emg__linux-alloc-spinlock__drivers-net-ethernet-tehuti-tehuti_true-unreach-call.cil.c |
timeout |
21.0 |
21.1 |
265211904 |
unknown |
5.87 |
5.88 |
254144512 |
| ldv-linux-3.14/linux-3.14__complex_emg__linux-kernel-locking-spinlock__drivers-net-ethernet-myricom-myri10ge-myri10ge_true-unreach-call.cil.c |
timeout |
21.0 |
21.1 |
265027584 |
unknown |
6.14 |
6.18 |
249520128 |
| ldv-linux-3.14/linux-3.14__complex_emg__linux-kernel-locking-spinlock__drivers-net-ethernet-smsc-smsc911x_true-unreach-call.cil.c |
timeout |
21.0 |
21.1 |
257552384 |
unknown |
9.26 |
9.28 |
253939712 |
| ldv-linux-3.14/linux-3.14__linux-alloc-spinlock__drivers-net-ethernet-myricom-myri10ge-myri10ge_true-unreach-call.cil.c |
timeout |
21.0 |
21.0 |
263860224 |
unknown |
6.38 |
6.40 |
252760064 |
| ldv-linux-3.14/linux-3.14__linux-drivers-clk1__drivers-net-ethernet-nvidia-forcedeth_true-unreach-call.cil.c |
timeout |
21.0 |
21.0 |
260681728 |
unknown |
9.03 |
9.05 |
250945536 |
| ldv-linux-3.14/linux-3.14__linux-kernel-locking-mutex__drivers-net-ethernet-nvidia-forcedeth_true-unreach-call.cil.c |
timeout (error (143)) |
21.0 |
21.1 |
262529024 |
unknown |
9.34 |
9.36 |
250146816 |
| ldv-linux-3.14/linux-3.14__linux-kernel-locking-spinlock__drivers-net-ethernet-myricom-myri10ge-myri10ge_true-unreach-call.cil.c |
timeout (error (143)) |
20.8 |
21.1 |
266797056 |
unknown |
9.21 |
9.23 |
251658240 |
| ldv-linux-4.0-rc1-mav/linux-4.0-rc1---fs--squashfs--squashfs.ko_true-unreach-call.cil.c |
unknown |
9.15 |
9.19 |
252768256 |
error: exception |
9.45 |
9.47 |
251973632 |
| array-memsafety/bubblesort_unsafe_false-valid-deref.i |
error: type error |
6.16 |
6.17 |
166649856 |
unknown |
6.21 |
6.25 |
163561472 |
| array-memsafety/cstrcat_unsafe_false-valid-deref.i |
error: type error |
4.40 |
4.41 |
163110912 |
unknown |
4.24 |
4.27 |
163561472 |
| array-memsafety/cstrncat_unsafe_false-valid-deref.i |
error: type error |
6.15 |
6.17 |
166162432 |
unknown |
6.21 |
6.22 |
160550912 |
| array-memsafety/cstrncpy_unsafe_false-valid-deref.i |
error: type error |
6.17 |
6.19 |
163803136 |
unknown |
6.17 |
6.18 |
164601856 |
| array-memsafety/diff_usafe_false-valid-deref.i |
error: type error |
4.30 |
4.35 |
167849984 |
unknown |
4.23 |
4.28 |
162263040 |
| array-memsafety/selectionsort_unsafe_false-valid-deref.i |
error: type error |
4.40 |
4.41 |
163184640 |
unknown |
4.37 |
4.44 |
164843520 |
| array-memsafety/stroeder1_unsafe_false-valid-deref.i |
error: type error |
6.23 |
6.29 |
164712448 |
unknown |
6.20 |
6.25 |
161705984 |
| memsafety-ext2/split_list_test05_false-valid-deref.i |
error: type error |
4.98 |
5.05 |
176648192 |
unknown |
6.98 |
7.02 |
176250880 |
| memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i |
error: type error |
7.13 |
7.20 |
174567424 |
unknown |
4.89 |
4.91 |
173072384 |
| memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i |
error: type error |
7.28 |
7.39 |
176881664 |
unknown |
4.73 |
4.77 |
172838912 |
| memsafety-ext2/length_test03_false-valid-memtrack.i |
error: type error |
7.02 |
7.10 |
171925504 |
unknown |
6.99 |
7.01 |
170446848 |
| memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i |
error: type error |
7.12 |
7.36 |
172318720 |
unknown |
7.20 |
7.24 |
173768704 |
| memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i |
error: type error |
5.64 |
5.78 |
176369664 |
unknown |
4.69 |
4.73 |
175058944 |
| memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i |
error: type error |
5.91 |
6.04 |
172056576 |
unknown |
7.06 |
7.08 |
181907456 |
| memsafety-ext2/length_test03_true-valid-memsafety.i |
error: type error |
7.25 |
7.33 |
174235648 |
unknown |
4.93 |
4.93 |
170266624 |
| memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i |
error: type error |
7.24 |
7.39 |
174411776 |
unknown |
6.67 |
6.70 |
173088768 |
| memsafety-ext2/split_list_test05_true-valid-memsafety.i |
error: type error |
7.22 |
7.24 |
177336320 |
unknown |
7.13 |
7.16 |
174800896 |
| list-ext-properties/960521-1_1_false-valid-free.i |
error: exception |
4.58 |
4.66 |
155303936 |
unknown |
6.01 |
6.02 |
158703616 |
| ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c |
error: type error |
6.32 |
6.36 |
166498304 |
unknown |
6.24 |
6.28 |
162615296 |
| ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c |
error: type error |
4.35 |
4.39 |
168792064 |
unknown |
4.31 |
4.33 |
165199872 |
| ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c |
error: type error |
6.26 |
6.35 |
161857536 |
unknown |
6.20 |
6.25 |
163577856 |
| ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c |
error: type error |
4.30 |
4.31 |
163037184 |
unknown |
6.31 |
6.33 |
164483072 |
| ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c |
error: type error |
4.44 |
4.50 |
163926016 |
unknown |
4.25 |
4.28 |
164855808 |
| ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c |
error: type error |
6.25 |
6.27 |
165486592 |
unknown |
6.23 |
6.27 |
167358464 |
| ldv-memsafety/memset2_false-valid-deref-write.c |
error: exception |
6.04 |
6.06 |
162799616 |
unknown |
4.20 |
4.25 |
162844672 |
| ldv-memsafety/memset3_false-valid-deref-write.c |
error: exception |
6.28 |
6.31 |
165511168 |
unknown |
6.00 |
6.06 |
169787392 |
| ldv-memsafety/memsetNonZero2_false-valid-deref-write.c |
error: exception |
6.06 |
6.08 |
163835904 |
unknown |
4.20 |
4.23 |
166944768 |
| ldv-memsafety/memsetNonZero3_false-valid-deref-write.c |
error: exception |
4.23 |
4.27 |
165249024 |
unknown |
4.34 |
4.40 |
166436864 |
| ldv-memsafety/memsetNonZero_false-valid-deref-write.c |
error: exception |
4.14 |
4.17 |
161849344 |
unknown |
5.61 |
5.65 |
162267136 |
| ldv-memsafety/memset_false-valid-deref-write.c |
error: exception |
4.06 |
4.12 |
164335616 |
unknown |
6.43 |
6.45 |
165240832 |
| ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c |
error: type error |
6.32 |
6.34 |
160923648 |
unknown |
6.22 |
6.28 |
161988608 |
| ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c |
error: type error |
6.27 |
6.29 |
162177024 |
unknown |
6.35 |
6.53 |
165257216 |
| ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c |
error: type error |
6.23 |
6.28 |
163020800 |
unknown |
4.23 |
4.35 |
166178816 |
| ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c |
error: type error |
6.33 |
6.39 |
164851712 |
unknown |
4.35 |
4.60 |
162598912 |
| ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c |
error: type error |
4.26 |
4.31 |
162394112 |
unknown |
6.14 |
6.64 |
161935360 |
| ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c |
error: type error |
4.34 |
4.38 |
162521088 |
unknown |
4.28 |
4.75 |
166170624 |
| ldv-memsafety/memset2_true-valid-memsafety_true-termination.c |
error: exception |
5.96 |
5.99 |
167706624 |
unknown |
5.90 |
5.95 |
162197504 |
| ldv-memsafety/memset3_true-valid-memsafety_true-termination.c |
error: exception |
5.67 |
5.75 |
162488320 |
unknown |
6.17 |
6.35 |
165408768 |
| ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c |
error: exception |
4.26 |
4.31 |
163573760 |
unknown |
4.26 |
4.42 |
160804864 |
| ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c |
error: exception |
4.03 |
4.13 |
161722368 |
unknown |
4.29 |
4.52 |
163409920 |
| ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c |
error: exception |
4.16 |
4.17 |
164048896 |
unknown |
5.97 |
6.04 |
161603584 |
| ldv-memsafety/memset_true-valid-memsafety_true-termination.c |
error: exception |
5.89 |
5.91 |
161599488 |
unknown |
6.13 |
6.16 |
164040704 |
| recursive/Addition02WithOverflowBug_false-no-overflow.c |
error (255) |
4.25 |
4.32 |
139264000 |
unknown |
6.19 |
6.22 |
161648640 |
| recursive/Addition03_false-no-overflow.c |
error (255) |
4.14 |
4.24 |
138690560 |
unknown |
4.13 |
4.14 |
161988608 |
| recursive/EvenOdd03WithOverflowBug_false-no-overflow.c |
error (255) |
4.18 |
4.32 |
142716928 |
unknown |
6.08 |
6.09 |
165658624 |
| recursive-simple/id_b3_o2_false-no-overflow.c |
error (255) |
4.10 |
4.30 |
138530816 |
unknown |
6.30 |
6.31 |
165752832 |
| recursive-simple/id_b3_o5_false-no-overflow.c |
error (255) |
2.90 |
2.98 |
142716928 |
unknown |
4.13 |
4.15 |
162349056 |
| recursive-simple/id_b5_o10_false-no-overflow.c |
error (255) |
2.84 |
2.85 |
139399168 |
unknown |
4.17 |
4.18 |
166907904 |
| recursive-simple/sum_non_eq_false-no-overflow.c |
error (255) |
4.29 |
4.32 |
139304960 |
unknown |
5.96 |
6.02 |
162754560 |
| recursive-simple/sum_non_false-no-overflow.c |
error (255) |
2.85 |
2.86 |
142303232 |
unknown |
6.14 |
6.26 |
163950592 |
| bitvector/byte_add_1_false-no-overflow.i |
error (255) |
4.14 |
4.17 |
139907072 |
unknown |
6.36 |
6.47 |
159645696 |
| bitvector/byte_add_2_false-no-overflow.i |
error (255) |
4.25 |
4.29 |
139931648 |
unknown |
4.37 |
4.38 |
166510592 |
| bitvector/byte_add_false-no-overflow.i |
error (255) |
4.12 |
4.15 |
142454784 |
unknown |
6.48 |
6.49 |
164810752 |
| bitvector/jain_1_false-no-overflow.i |
error (255) |
2.73 |
2.78 |
142286848 |
unknown |
4.17 |
4.22 |
166559744 |
| bitvector/jain_2_false-no-overflow.i |
error (255) |
2.88 |
2.89 |
139202560 |
unknown |
6.22 |
6.23 |
162263040 |
| bitvector/jain_4_false-no-overflow.i |
error (255) |
4.05 |
4.10 |
137334784 |
unknown |
6.23 |
6.24 |
161939456 |
| bitvector/jain_5_false-no-overflow.i |
error (255) |
4.15 |
4.17 |
137596928 |
unknown |
4.20 |
4.25 |
162676736 |
| bitvector/jain_6_false-no-overflow.i |
error (255) |
4.22 |
4.24 |
139292672 |
unknown |
6.16 |
6.18 |
160804864 |
| bitvector/jain_7_false-no-overflow.i |
error (255) |
2.94 |
2.95 |
142716928 |
unknown |
4.35 |
4.37 |
163971072 |
| bitvector/modulus_false-no-overflow.i |
error (255) |
2.86 |
2.87 |
142176256 |
unknown |
4.23 |
4.24 |
163577856 |
| psyco/psyco_abp_1_false-no-overflow.c |
error (255) |
4.11 |
4.15 |
138506240 |
unknown |
7.02 |
7.09 |
168304640 |
| signedintegeroverflow-regression/AdditionIntMax_false-no-overflow.c.i |
error (255) |
2.97 |
3.03 |
139935744 |
error: exception |
6.65 |
6.68 |
164114432 |
| signedintegeroverflow-regression/AdditionIntMin_false-no-overflow.c.i |
error (255) |
3.08 |
3.11 |
139186176 |
error: exception |
6.68 |
6.69 |
164610048 |
| signedintegeroverflow-regression/Division_false-no-overflow.c.i |
error (255) |
3.62 |
3.64 |
138649600 |
error: exception |
4.55 |
4.60 |
167292928 |
| signedintegeroverflow-regression/Multiplication_false-no-overflow.c.i |
error (255) |
4.15 |
4.18 |
138563584 |
error: exception |
4.48 |
4.50 |
165711872 |
| signedintegeroverflow-regression/NoConversion_false-no-overflow.c.i |
error (255) |
4.16 |
4.18 |
142426112 |
error: exception |
6.53 |
6.62 |
167079936 |
| signedintegeroverflow-regression/PostfixDecrement_false-no-overflow.c.i |
error (255) |
4.19 |
4.29 |
138629120 |
error: exception |
4.45 |
4.60 |
167710720 |
| signedintegeroverflow-regression/PostfixIncrement_false-no-overflow.c.i |
error (255) |
2.87 |
2.91 |
139034624 |
error: exception |
6.50 |
6.54 |
169730048 |
| signedintegeroverflow-regression/PrefixDecrement_false-no-overflow.c.i |
error (255) |
2.97 |
2.99 |
142811136 |
error: exception |
4.49 |
4.54 |
164597760 |
| signedintegeroverflow-regression/PrefixIncrement_false-no-overflow.c.i |
error (255) |
4.21 |
4.30 |
139227136 |
error: exception |
6.54 |
6.59 |
164749312 |
| signedintegeroverflow-regression/UnaryMinus_false-no-overflow.c.i |
error (255) |
4.19 |
4.21 |
140173312 |
error: exception |
6.61 |
6.62 |
166707200 |
| signedintegeroverflow-regression/ConversionToSignedInt_true-no-overflow_true-termination.c.i |
error (255) |
4.22 |
4.34 |
139141120 |
error: exception |
6.51 |
6.57 |
165896192 |
| signedintegeroverflow-regression/IntegerPromotion_true-no-overflow_true-termination.c.i |
error (255) |
2.78 |
2.82 |
138915840 |
error: exception |
4.50 |
4.54 |
168144896 |
| signedintegeroverflow-regression/Multiplication_true-no-overflow_true-termination.c.i |
error (255) |
2.79 |
2.80 |
142954496 |
error: exception |
4.47 |
4.52 |
165974016 |
| signedintegeroverflow-regression/NoNegativeIntegerConstant_true-no-overflow_true-termination.c.i |
error (255) |
4.18 |
4.35 |
139165696 |
error: exception |
6.58 |
6.60 |
166572032 |
| signedintegeroverflow-regression/UsualArithmeticConversions_true-no-overflow_true-termination.c.i |
error (255) |
4.25 |
4.36 |
142192640 |
error: exception |
6.39 |
6.40 |
165847040 |
| termination-crafted/2Nested_false-no-overflow.c |
error (255) |
4.14 |
4.15 |
139583488 |
unknown |
6.05 |
6.07 |
166309888 |
| termination-crafted/4NestedWith3Variables_false-no-overflow.c |
error (255) |
4.09 |
4.18 |
139812864 |
unknown |
4.31 |
4.39 |
163135488 |
| termination-crafted/Ackermann_false-no-overflow.c |
error (255) |
2.80 |
2.85 |
139038720 |
unknown |
4.25 |
4.30 |
165629952 |
| termination-crafted/Bangalore_false-no-overflow.c |
error (255) |
2.94 |
2.97 |
142401536 |
unknown |
5.76 |
5.81 |
160440320 |
| termination-crafted/Bangalore_v3_false-no-overflow.c |
error (255) |
4.14 |
4.16 |
140611584 |
unknown |
4.23 |
4.34 |
163794944 |
| termination-crafted/Benghazi_nondet_false-no-overflow.c |
error (255) |
2.85 |
2.95 |
142200832 |
unknown |
6.06 |
6.08 |
164028416 |
| termination-crafted/Binary_Search_false-no-overflow.c |
error (255) |
4.21 |
4.24 |
138010624 |
unknown |
4.20 |
4.27 |
163332096 |
| termination-crafted/Cairo_nondet_false-no-overflow.c |
error (255) |
4.14 |
4.15 |
139018240 |
unknown |
6.18 |
6.19 |
162729984 |
| termination-crafted/Cairo_step2_false-no-overflow.c |
error (255) |
2.79 |
2.90 |
138432512 |
unknown |
6.06 |
6.07 |
168321024 |
| termination-crafted/Collatz_unknown-termination_false-no-overflow.c |
error (255) |
4.14 |
4.15 |
142581760 |
unknown |
6.06 |
6.24 |
164450304 |
| termination-crafted/Copenhagen_disj_false-no-overflow.c |
error (255) |
2.81 |
2.84 |
139292672 |
unknown |
4.27 |
4.29 |
164184064 |
| termination-crafted/Gothenburg_false-no-overflow.c |
error (255) |
2.88 |
3.06 |
142086144 |
unknown |
4.15 |
4.17 |
162533376 |
| termination-crafted/Gothenburg_v2_false-no-overflow.c |
error (255) |
4.14 |
4.24 |
142520320 |
unknown |
6.33 |
6.35 |
165257216 |
| termination-crafted/Hanoi_2vars_false-no-overflow.c |
error (255) |
4.15 |
4.17 |
139153408 |
unknown |
6.23 |
6.27 |
164466688 |
| termination-crafted/Hanoi_3vars_false-no-overflow.c |
error (255) |
4.24 |
4.40 |
143339520 |
unknown |
6.11 |
6.13 |
163962880 |
| termination-crafted/Hanoi_plus_false-no-overflow.c |
error (255) |
4.15 |
4.16 |
137998336 |
unknown |
6.08 |
6.11 |
163831808 |
| termination-crafted/Lobnya-Boolean-Reordered_false-no-overflow.c |
error (255) |
2.86 |
2.88 |
138371072 |
unknown |
4.25 |
4.26 |
163991552 |
| termination-crafted/Mysore_false-no-overflow.c |
error (255) |
2.83 |
2.86 |
139186176 |
unknown |
4.29 |
4.31 |
161525760 |
| termination-crafted/NestedRecursion_1a_false-no-overflow.c |
error (255) |
4.14 |
4.17 |
142286848 |
unknown |
6.11 |
6.14 |
162762752 |
| termination-crafted/NestedRecursion_2a_false-no-overflow.c |
error (255) |
4.17 |
4.19 |
138686464 |
unknown |
6.09 |
6.10 |
162668544 |
| termination-crafted/NonTermination1_false-no-overflow.c |
error (255) |
4.15 |
4.27 |
139698176 |
unknown |
6.05 |
6.10 |
164073472 |
| termination-crafted/NonTermination2_false-no-overflow.c |
error (255) |
4.18 |
4.26 |
142434304 |
unknown |
6.13 |
6.18 |
165027840 |
| termination-crafted/NonTermination4_false-no-overflow.c |
error (255) |
2.98 |
3.08 |
142868480 |
unknown |
4.28 |
4.39 |
161718272 |
| termination-crafted/NonTerminationSimple2_false-no-overflow.c |
error (255) |
2.83 |
2.93 |
138354688 |
unknown |
4.13 |
4.24 |
162336768 |
| termination-crafted/NonTerminationSimple3_false-no-overflow.c |
error (255) |
2.96 |
3.08 |
142692352 |
unknown |
4.13 |
4.23 |
163565568 |
| termination-crafted/NonTerminationSimple4_false-no-overflow.c |
error (255) |
2.92 |
3.08 |
140173312 |
unknown |
4.23 |
4.39 |
163377152 |
| termination-crafted/NonTerminationSimple5_false-no-overflow.c |
error (255) |
4.24 |
4.26 |
139329536 |
unknown |
6.12 |
6.20 |
167698432 |
| termination-crafted/NonTerminationSimple6_false-no-overflow.c |
error (255) |
4.11 |
4.20 |
143101952 |
unknown |
6.04 |
6.17 |
161443840 |
| termination-crafted/NonTerminationSimple8_false-no-overflow.c |
error (255) |
4.19 |
4.20 |
138924032 |
unknown |
6.15 |
6.16 |
161828864 |
| termination-crafted/NonTerminationSimple9_false-no-overflow.c |
error (255) |
4.15 |
4.17 |
142565376 |
unknown |
6.02 |
6.03 |
166961152 |
| termination-crafted/Pure2Phase_false-no-overflow.c |
error (255) |
2.85 |
2.89 |
139051008 |
unknown |
4.15 |
4.18 |
161595392 |
| termination-crafted/Pure3Phase_false-no-overflow.c |
error (255) |
2.93 |
3.10 |
139153408 |
unknown |
4.22 |
4.24 |
163606528 |
| termination-crafted/RecursiveMultiplication_false-no-overflow.c |
error (255) |
4.13 |
4.17 |
139120640 |
unknown |
6.05 |
6.12 |
163196928 |
| termination-crafted/RecursiveNonterminating_false-no-overflow.c |
error (255) |
4.15 |
4.16 |
138088448 |
unknown |
6.14 |
6.14 |
164425728 |
| termination-crafted/Rotation180_false-no-overflow.c |
error (255) |
4.19 |
4.22 |
139374592 |
unknown |
6.09 |
6.10 |
162009088 |
| termination-crafted/Singapore_false-no-overflow.c |
error (255) |
4.18 |
4.32 |
142446592 |
unknown |
6.04 |
6.06 |
163270656 |
| termination-crafted/Singapore_plus_false-no-overflow.c |
error (255) |
2.82 |
2.85 |
142188544 |
unknown |
4.25 |
4.34 |
160137216 |
| termination-crafted/Singapore_v1_false-no-overflow.c |
error (255) |
2.91 |
2.95 |
138653696 |
unknown |
4.17 |
4.18 |
164585472 |
| termination-crafted/Singapore_v2_false-no-overflow.c |
error (255) |
4.13 |
4.20 |
142196736 |
unknown |
4.39 |
4.43 |
166068224 |
| termination-crafted/Stockholm_false-no-overflow.c |
error (255) |
2.82 |
2.88 |
138633216 |
unknown |
4.30 |
4.35 |
161054720 |
| termination-crafted/Thun_false-no-overflow.c |
error (255) |
4.23 |
4.24 |
142352384 |
unknown |
5.95 |
5.98 |
158572544 |
| termination-crafted/Toulouse-BranchesToLoop_false-no-overflow.c |
error (255) |
4.21 |
4.23 |
142467072 |
unknown |
6.21 |
6.22 |
168525824 |
| termination-crafted/Toulouse-MultiBranchesToLoop_false-no-overflow.c |
error (255) |
4.20 |
4.23 |
143757312 |
unknown |
6.29 |
6.30 |
164196352 |
| termination-crafted/aaron2_false-no-overflow.c |
error (255) |
2.79 |
2.81 |
139616256 |
unknown |
6.25 |
6.27 |
163131392 |
| termination-crafted/aaron3_false-no-overflow.c |
error (255) |
2.80 |
2.85 |
138403840 |
unknown |
4.31 |
4.36 |
162050048 |
| termination-crafted/easy2_false-no-overflow.c |
error (255) |
2.81 |
2.82 |
141934592 |
unknown |
4.16 |
4.36 |
161984512 |
| termination-crafted/4BitCounterPointer_true-no-overflow_true-termination_true-valid-memsafety.c |
error (255) |
4.17 |
4.20 |
142315520 |
unknown |
6.37 |
6.38 |
159617024 |
| termination-crafted/Arrays01-EquivalentConstantIndices_true-no-overflow_true-termination_true-valid-memsafety.c |
error (255) |
4.30 |
4.33 |
139964416 |
unknown |
6.00 |
6.04 |
166035456 |
| termination-crafted/Arrays02-EquivalentConstantIndices_true-no-overflow_false-termination.c |
error (255) |
4.17 |
4.18 |
139689984 |
unknown |
6.06 |
6.10 |
159334400 |
| termination-crafted/Arrays03-ValueRestictsIndex_true-no-overflow_true-termination_true-valid-memsafety.c |
error (255) |
4.17 |
4.21 |
138588160 |
unknown |
6.07 |
6.08 |
159694848 |
| termination-crafted/Bangalore_true-no-overflow_true-termination_true-valid-memsafety.c |
error (255) |
2.96 |
2.98 |
142458880 |
unknown |
4.22 |
4.23 |
163663872 |
| termination-crafted/Bangalore_v2_true-no-overflow_false-termination_true-valid-memsafety.c |
error (255) |
2.89 |
2.91 |
143708160 |
unknown |
4.16 |
4.20 |
161738752 |
| termination-crafted/Bangalore_v4_true-no-overflow_true-termination_true-valid-memsafety.c |
error (255) |
4.18 |
4.23 |
138784768 |
unknown |
6.16 |
6.22 |
164212736 |
| termination-crafted/Benghazi_true-no-overflow_true-termination_true-valid-memsafety.c |
error (255) |
4.16 |
4.17 |
139255808 |
unknown |
6.10 |
6.18 |
161861632 |
| termination-crafted/Cairo_step2_true-no-overflow_false-termination_true-valid-memsafety.c |
error (255) |
4.21 |
4.23 |
140095488 |
unknown |
4.20 |
4.34 |
163827712 |
| termination-crafted/Cairo_step2_true-no-overflow_true-termination_true-valid-memsafety.c |
error (255) |
4.16 |
4.23 |
139776000 |
unknown |
5.99 |
6.00 |
162201600 |
| termination-crafted/Cairo_true-no-overflow_true-termination_true-valid-memsafety.c |
error (255) |
2.88 |
2.95 |
142053376 |
unknown |
4.35 |
4.38 |
165773312 |
| termination-crafted/Copenhagen_true-no-overflow_true-termination_true-valid-memsafety.c |
error (255) |
2.93 |
2.94 |
139046912 |
unknown |
6.04 |
6.06 |
169373696 |
| termination-crafted/Division_true-no-overflow_false-termination_true-valid-memsafety.c |
error (255) |
2.84 |
2.92 |
138485760 |
unknown |
4.32 |
4.37 |
165556224 |
| termination-crafted/LexIndexValue-Array_true-no-overflow_true-termination_true-valid-memsafety.c |
error (255) |
2.85 |
2.89 |
139169792 |
unknown |
4.28 |
4.31 |
162394112 |
| termination-crafted/LexIndexValue-Pointer_true-no-overflow.c |
error (255) |
4.19 |
4.22 |
139042816 |
unknown |
6.03 |
6.07 |
160215040 |
| termination-crafted/Madrid_true-no-overflow_false-termination_true-valid-memsafety.c |
error (255) |
4.17 |
4.23 |
138891264 |
unknown |
6.08 |
6.10 |
166187008 |
| termination-crafted/McCarthy91_Iteration_true-no-overflow_true-termination_true-valid-memsafety.c |
error (255) |
4.17 |
4.18 |
139214848 |
unknown |
6.15 |
6.28 |
167329792 |
| termination-crafted/McCarthy91_Recursion_true-no-overflow_true-termination_true-valid-memsafety.c |
error (255) |
4.22 |
4.29 |
138244096 |
unknown |
6.22 |
6.23 |
161722368 |
| termination-crafted/MenloPark_true-no-overflow_true-termination_true-valid-memsafety.c |
error (255) |
2.98 |
3.17 |
142741504 |
unknown |
4.19 |
4.22 |
165228544 |
| termination-crafted/MutualRecursion_1a_true-no-overflow_false-termination_true-valid-memsafety.c |
error (255) |
2.97 |
2.99 |
138924032 |
unknown |
4.13 |
4.18 |
161808384 |
| termination-crafted/MutualRecursion_1b_true-no-overflow_true-termination_true-valid-memsafety.c |
error (255) |
4.32 |
4.46 |
144179200 |
unknown |
6.09 |
6.14 |
165040128 |
| termination-crafted/NestedRecursion_1b_true-no-overflow_true-termination_true-valid-memsafety.c |
error (255) |
3.98 |
3.99 |
143499264 |
unknown |
6.03 |
6.08 |
162398208 |
| termination-crafted/NestedRecursion_1c_true-no-overflow_true-termination_true-valid-memsafety.c |
error (255) |
4.13 |
4.15 |
138899456 |
unknown |
6.08 |
6.22 |
166207488 |
| termination-crafted/NestedRecursion_1d_true-no-overflow_true-termination_true-valid-memsafety.c |
error (255) |
4.17 |
4.19 |
141160448 |
unknown |
5.98 |
6.09 |
159121408 |
| termination-crafted/NestedRecursion_2b_true-no-overflow_false-termination_true-valid-memsafety.c |
error (255) |
2.93 |
2.97 |
137768960 |
unknown |
4.22 |
4.26 |
162410496 |
| termination-crafted/NestedRecursion_2c_true-no-overflow_true-termination_true-valid-memsafety.c |
error (255) |
2.96 |
2.98 |
139231232 |
unknown |
4.18 |
4.36 |
162947072 |
| termination-crafted/NonTermination3_true-no-overflow_false-termination.c |
error (255) |
2.84 |
2.86 |
142200832 |
unknown |
4.29 |
4.55 |
164638720 |
| termination-crafted/NonTerminationSimple7_true-no-overflow_false-termination_true-valid-memsafety.c |
error (255) |
4.20 |
4.26 |
139534336 |
unknown |
4.11 |
4.18 |
165416960 |
| termination-crafted/Nyala-2lex_true-no-overflow_true-termination_true-valid-memsafety.c |
error (255) |
2.82 |
2.83 |
138657792 |
unknown |
6.07 |
6.13 |
161955840 |
| termination-crafted/Parallel_true-no-overflow_true-termination_true-valid-memsafety.c |
error (255) |
4.11 |
4.14 |
139444224 |
unknown |
6.10 |
6.12 |
162390016 |
| termination-crafted/Piecewise_true-no-overflow_true-termination_true-valid-memsafety.c |
error (255) |
4.08 |
4.14 |
139395072 |
unknown |
6.19 |
6.26 |
162254848 |
| termination-crafted/SyntaxSupportPointer01_true-no-overflow_true-termination.c |
error (255) |
4.20 |
4.21 |
138895360 |
unknown |
6.15 |
6.17 |
163565568 |
| termination-crafted/TelAviv-Amir-Minimum_true-no-overflow_true-termination_true-valid-memsafety.c |
error (255) |
2.81 |
2.85 |
138948608 |
unknown |
4.28 |
4.32 |
163954688 |
| termination-crafted/Waldkirch_true-no-overflow_true-termination_true-valid-memsafety.c |
error (255) |
2.87 |
2.88 |
142061568 |
unknown |
4.29 |
4.33 |
159916032 |
| termination-crafted/WhileFalse_true-no-overflow_true-termination_true-valid-memsafety.c |
error (255) |
4.11 |
4.13 |
142528512 |
unknown |
5.98 |
6.04 |
161972224 |
| termination-crafted/WhileTrue_true-no-overflow_false-termination_true-valid-memsafety.c |
error (255) |
4.18 |
4.37 |
137621504 |
unknown |
6.05 |
6.19 |
165261312 |
| termination-crafted/easy1_true-no-overflow_true-termination_true-valid-memsafety.c |
error (255) |
4.21 |
4.39 |
140079104 |
unknown |
6.13 |
6.15 |
169205760 |
| termination-crafted/easy2_true-no-overflow_true-termination_true-valid-memsafety.c |
error (255) |
4.05 |
4.07 |
138485760 |
unknown |
6.12 |
6.26 |
164212736 |
| termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig2a_false-no-overflow.c |
error (255) |
2.88 |
2.91 |
139272192 |
unknown |
4.18 |
4.19 |
161693696 |
| termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig2b_false-no-overflow.c |
error (255) |
2.87 |
2.95 |
140218368 |
unknown |
4.19 |
4.22 |
165502976 |
| termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-aaron2_false-no-overflow.c |
error (255) |
4.14 |
4.15 |
142311424 |
unknown |
5.80 |
5.84 |
162750464 |
| termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-aaron3_false-no-overflow.c |
error (255) |
4.17 |
4.30 |
139976704 |
unknown |
6.15 |
6.18 |
162512896 |
| termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-complex_false-no-overflow.c |
error (255) |
2.84 |
2.95 |
139182080 |
unknown |
6.03 |
6.07 |
163393536 |
| termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-counterex1a_false-no-overflow.c |
error (255) |
4.17 |
4.19 |
142815232 |
unknown |
6.10 |
6.12 |
161431552 |
| termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-counterex1b_false-no-overflow.c |
error (255) |
4.15 |
4.32 |
138760192 |
unknown |
4.14 |
4.22 |
162660352 |
| termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy2_false-no-overflow.c |
error (255) |
2.90 |
2.97 |
142069760 |
unknown |
4.18 |
4.19 |
159834112 |
| termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-exmini_false-no-overflow.c |
error (255) |
2.93 |
3.09 |
142270464 |
unknown |
4.20 |
4.25 |
166498304 |
| termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-ndecr_false-no-overflow.c |
error (255) |
2.82 |
2.86 |
141942784 |
unknown |
4.14 |
4.17 |
162922496 |
| termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-nestedLoop_false-no-overflow.c |
error (255) |
4.23 |
4.33 |
142295040 |
unknown |
6.34 |
6.35 |
165273600 |
| termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random1d_false-no-overflow.c |
error (255) |
4.16 |
4.29 |
138903552 |
unknown |
6.09 |
6.11 |
163549184 |
| termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-rsd_false-no-overflow.c |
error (255) |
4.25 |
4.28 |
141320192 |
unknown |
6.07 |
6.08 |
167800832 |
| termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedFails4_false-no-overflow.c |
error (255) |
4.20 |
4.21 |
139317248 |
unknown |
6.25 |
6.31 |
161464320 |
| termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-terminate_false-no-overflow.c |
error (255) |
2.74 |
2.78 |
139919360 |
unknown |
4.24 |
4.28 |
159744000 |
| termination-crafted-lit/Ben-Amram-LMCS2010-Ex2.3_false-no-overflow.c |
error (255) |
2.86 |
2.89 |
142491648 |
unknown |
4.18 |
4.19 |
167075840 |
| termination-crafted-lit/BradleyMannaSipma-ICALP2005-Fig1_false-no-overflow.c |
error (255) |
4.05 |
4.10 |
137367552 |
unknown |
6.18 |
6.24 |
168144896 |
| termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron12_false-no-overflow.c |
error (255) |
3.98 |
4.03 |
142061568 |
unknown |
6.06 |
6.07 |
168001536 |
| termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron1_false-no-overflow.c |
error (255) |
4.10 |
4.25 |
143233024 |
unknown |
6.20 |
6.23 |
162861056 |
| termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron2_false-no-overflow.c |
error (255) |
4.11 |
4.43 |
138895360 |
unknown |
6.08 |
6.10 |
160944128 |
| termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron3_false-no-overflow.c |
error (255) |
2.87 |
2.92 |
142659584 |
unknown |
4.23 |
4.30 |
160768000 |
| termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron4_false-no-overflow.c |
error (255) |
2.84 |
2.89 |
142147584 |
unknown |
4.32 |
4.32 |
164909056 |
| termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron6_false-no-overflow.c |
error (255) |
2.91 |
2.93 |
138604544 |
unknown |
4.21 |
4.27 |
161075200 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.01_false-no-overflow.c |
error (255) |
2.82 |
2.87 |
142413824 |
unknown |
4.33 |
4.35 |
164278272 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.02_false-no-overflow.c |
error (255) |
4.16 |
4.30 |
142438400 |
unknown |
6.06 |
6.12 |
162349056 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.03_false-no-overflow.c |
error (255) |
4.20 |
4.33 |
142471168 |
unknown |
6.03 |
6.04 |
162521088 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.04_false-no-overflow.c |
error (255) |
4.29 |
4.36 |
139210752 |
unknown |
6.09 |
6.12 |
162615296 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.05_false-no-overflow.c |
error (255) |
4.15 |
4.17 |
143609856 |
unknown |
6.03 |
6.04 |
162250752 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.01_false-no-overflow.c |
error (255) |
2.86 |
2.90 |
138383360 |
unknown |
4.22 |
4.27 |
164089856 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.02_false-no-overflow.c |
error (255) |
2.90 |
2.91 |
143523840 |
unknown |
4.22 |
4.24 |
165515264 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.03_false-no-overflow.c |
error (255) |
4.04 |
4.05 |
137363456 |
unknown |
5.98 |
6.00 |
162062336 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.04_false-no-overflow.c |
error (255) |
3.95 |
3.97 |
143106048 |
unknown |
6.15 |
6.16 |
170242048 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.05_false-no-overflow.c |
error (255) |
4.13 |
4.15 |
143564800 |
unknown |
6.11 |
6.14 |
162885632 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.06_false-no-overflow.c |
error (255) |
4.16 |
4.32 |
143413248 |
unknown |
6.09 |
6.12 |
163295232 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.07_false-no-overflow.c |
error (255) |
2.95 |
3.00 |
142864384 |
unknown |
4.08 |
4.13 |
160075776 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.08_false-no-overflow.c |
error (255) |
2.85 |
2.86 |
142434304 |
unknown |
4.21 |
4.22 |
165158912 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.09_false-no-overflow.c |
error (255) |
2.96 |
2.98 |
142696448 |
unknown |
4.32 |
4.44 |
165941248 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.10_false-no-overflow.c |
error (255) |
2.83 |
2.93 |
142032896 |
unknown |
6.10 |
6.14 |
165777408 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.11_false-no-overflow.c |
error (255) |
4.26 |
4.27 |
139018240 |
unknown |
6.09 |
6.11 |
159092736 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.12_false-no-overflow.c |
error (255) |
4.16 |
4.17 |
140783616 |
unknown |
4.32 |
4.32 |
163852288 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.13_false-no-overflow.c |
error (255) |
4.19 |
4.20 |
143265792 |
unknown |
6.12 |
6.13 |
164331520 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.14_false-no-overflow.c |
error (255) |
4.16 |
4.22 |
138735616 |
unknown |
6.08 |
6.12 |
159580160 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.15_false-no-overflow.c |
error (255) |
2.93 |
2.98 |
141545472 |
unknown |
4.23 |
4.28 |
161239040 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.16_false-no-overflow.c |
error (255) |
2.94 |
3.12 |
142442496 |
unknown |
4.12 |
4.13 |
158531584 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.17_false-no-overflow.c |
error (255) |
4.27 |
4.35 |
139423744 |
unknown |
6.05 |
6.10 |
160538624 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.18_false-no-overflow.c |
error (255) |
4.22 |
4.31 |
139534336 |
unknown |
6.04 |
6.06 |
161480704 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.19_false-no-overflow.c |
error (255) |
4.18 |
4.25 |
139018240 |
unknown |
6.09 |
6.10 |
167464960 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.21_false-no-overflow.c |
error (255) |
4.23 |
4.25 |
139919360 |
unknown |
6.19 |
6.20 |
160612352 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.22_false-no-overflow.c |
error (255) |
2.91 |
2.95 |
139083776 |
unknown |
4.25 |
4.27 |
163819520 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.02_false-no-overflow.c |
error (255) |
2.76 |
2.78 |
142315520 |
unknown |
4.22 |
4.23 |
166289408 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.03_false-no-overflow.c |
error (255) |
4.10 |
4.43 |
138903552 |
unknown |
6.15 |
6.19 |
167583744 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.04_false-no-overflow.c |
error (255) |
4.27 |
4.81 |
146141184 |
unknown |
6.07 |
6.08 |
166580224 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.05_false-no-overflow.c |
error (255) |
2.91 |
2.95 |
142188544 |
unknown |
5.97 |
5.99 |
159506432 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.06_false-no-overflow.c |
error (255) |
2.82 |
2.88 |
139030528 |
unknown |
6.11 |
6.15 |
163303424 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.07_false-no-overflow.c |
error (255) |
4.05 |
4.07 |
139460608 |
unknown |
4.24 |
4.40 |
161980416 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.08_false-no-overflow.c |
error (255) |
4.05 |
4.07 |
143183872 |
unknown |
4.18 |
4.19 |
165261312 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.09_false-no-overflow.c |
error (255) |
3.11 |
3.31 |
141664256 |
unknown |
4.52 |
4.62 |
162213888 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.10_false-no-overflow.c |
error (255) |
2.92 |
3.17 |
139026432 |
unknown |
4.62 |
4.68 |
165642240 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex4.01_false-no-overflow.c |
error (255) |
4.19 |
4.30 |
140484608 |
unknown |
6.19 |
6.27 |
161980416 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Fig1_false-no-overflow.c |
error (255) |
4.20 |
4.23 |
139051008 |
unknown |
6.30 |
6.72 |
158711808 |
| termination-crafted-lit/ColonSipma-TACAS2001-Fig1_false-no-overflow.c |
error (255) |
4.24 |
4.25 |
139317248 |
unknown |
6.16 |
6.20 |
163819520 |
| termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1a_false-no-overflow.c |
error (255) |
4.10 |
4.12 |
138530816 |
unknown |
6.22 |
6.57 |
162258944 |
| termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1b_false-no-overflow.c |
error (255) |
2.90 |
2.93 |
138375168 |
unknown |
4.72 |
4.73 |
163131392 |
| termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1c_false-no-overflow.c |
error (255) |
2.90 |
2.92 |
142458880 |
unknown |
4.58 |
4.63 |
161697792 |
| termination-crafted-lit/GulwaniJainKoskinen-PLDI2009-Fig1_false-no-overflow.c |
error (255) |
4.14 |
4.18 |
142462976 |
unknown |
6.28 |
6.33 |
161419264 |
| termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig2_false-no-overflow.c |
error (255) |
4.14 |
4.16 |
138924032 |
unknown |
6.43 |
6.45 |
166715392 |
| termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig2_false-no-overflow.c |
error (255) |
4.09 |
4.12 |
139677696 |
unknown |
6.09 |
6.11 |
168747008 |
| termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig7_false-no-overflow.c |
error (255) |
4.23 |
4.28 |
137965568 |
unknown |
5.97 |
5.98 |
163270656 |
| termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig8_false-no-overflow.c |
error (255) |
2.85 |
2.94 |
141922304 |
unknown |
4.21 |
4.21 |
161882112 |
| termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig9_false-no-overflow.c |
error (255) |
2.88 |
2.89 |
142176256 |
unknown |
4.21 |
4.23 |
166313984 |
| termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex1_false-no-overflow.c |
error (255) |
2.82 |
2.92 |
138686464 |
unknown |
5.96 |
6.00 |
162250752 |
| termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex2_false-no-overflow.c |
error (255) |
2.96 |
2.98 |
142704640 |
unknown |
6.04 |
6.12 |
168165376 |
| termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex3_false-no-overflow.c |
error (255) |
4.11 |
4.15 |
138891264 |
unknown |
6.12 |
6.30 |
160854016 |
| termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex6_false-no-overflow.c |
error (255) |
4.18 |
4.20 |
140595200 |
unknown |
6.26 |
6.42 |
164724736 |
| termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex7_false-no-overflow.c |
error (255) |
4.23 |
4.27 |
139202560 |
unknown |
4.12 |
4.27 |
162234368 |
| termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex8_false-no-overflow.c |
error (255) |
4.30 |
4.34 |
139821056 |
unknown |
4.16 |
4.18 |
162029568 |
| termination-crafted-lit/LeikeHeizmann-TACAS2014-Fig1_false-no-overflow.c |
error (255) |
2.99 |
3.02 |
142696448 |
unknown |
4.27 |
4.29 |
163184640 |
| termination-crafted-lit/LeikeHeizmann-WST2014-Ex5_false-no-overflow.c |
error (255) |
2.90 |
2.92 |
138395648 |
unknown |
4.14 |
4.21 |
166604800 |
| termination-crafted-lit/LeikeHeizmann-WST2014-Ex6_false-no-overflow.c |
error (255) |
4.18 |
4.22 |
139182080 |
unknown |
5.97 |
6.19 |
162770944 |
| termination-crafted-lit/Masse-VMCAI2014-Ex6_false-no-overflow.c |
error (255) |
4.18 |
4.20 |
143499264 |
unknown |
6.10 |
6.13 |
167604224 |
| termination-crafted-lit/Masse-VMCAI2014-Fig1a_false-no-overflow.c |
error (255) |
4.10 |
4.11 |
139919360 |
unknown |
5.93 |
5.96 |
161292288 |
| termination-crafted-lit/Masse-VMCAI2014-Fig1b_false-no-overflow.c |
error (255) |
4.11 |
4.15 |
139149312 |
unknown |
6.13 |
6.16 |
163381248 |
| termination-crafted-lit/NoriSharma-FSE2013-Fig7_false-no-overflow.c |
error (255) |
2.89 |
2.91 |
139689984 |
unknown |
4.35 |
4.36 |
165150720 |
| termination-crafted-lit/NoriSharma-FSE2013-Fig8_false-no-overflow.c |
error (255) |
2.93 |
2.94 |
140083200 |
unknown |
4.13 |
4.18 |
165527552 |
| termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig2-TACAS2011-Fig3_false-no-overflow.c |
error (255) |
4.20 |
4.37 |
141148160 |
unknown |
6.07 |
6.12 |
164646912 |
| termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig2_false-no-overflow.c |
error (255) |
4.10 |
4.15 |
138776576 |
unknown |
6.12 |
6.13 |
160542720 |
| termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig3_false-no-overflow.c |
error (255) |
4.21 |
4.24 |
139431936 |
unknown |
6.10 |
6.23 |
160632832 |
| termination-crafted-lit/PodelskiRybalchenko-VMCAI2004-Ex1_false-no-overflow.c |
error (255) |
2.92 |
3.10 |
142184448 |
unknown |
6.06 |
6.08 |
164360192 |
| termination-crafted-lit/PodelskiRybalchenko-VMCAI2004-Ex2_false-no-overflow.c |
error (255) |
2.86 |
2.90 |
138665984 |
unknown |
4.34 |
4.35 |
164610048 |
| termination-crafted-lit/cstrncmp_false-no-overflow.c |
error (255) |
4.14 |
4.16 |
138903552 |
unknown |
4.33 |
4.35 |
163622912 |
| termination-crafted-lit/gcd1_false-no-overflow.c |
error (255) |
2.84 |
2.89 |
142065664 |
unknown |
4.25 |
4.32 |
163672064 |
| termination-crafted-lit/joey_false-no-overflow.c |
error (255) |
2.86 |
2.88 |
138821632 |
unknown |
4.20 |
4.22 |
162541568 |
| termination-crafted-lit/min_rf_false-no-overflow.c |
error (255) |
3.96 |
3.99 |
142778368 |
unknown |
6.07 |
6.10 |
162385920 |
| termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig1_true-termination_true-no-overflow.c |
error (255) |
4.23 |
4.27 |
142258176 |
unknown |
6.14 |
6.15 |
161062912 |
| termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-cousot9_true-termination_true-no-overflow.c |
error (255) |
4.27 |
4.30 |
139419648 |
unknown |
6.13 |
6.15 |
163651584 |
| termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy1_true-termination_true-no-overflow.c |
error (255) |
4.08 |
4.11 |
140713984 |
unknown |
6.25 |
6.30 |
164454400 |
| termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy2_true-termination_true-no-overflow.c |
error (255) |
2.86 |
3.12 |
142987264 |
unknown |
4.15 |
4.19 |
161632256 |
| termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-loops_true-termination_true-no-overflow.c |
error (255) |
3.03 |
3.09 |
142827520 |
unknown |
4.24 |
4.24 |
164487168 |
| termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-nestedLoop_true-termination_true-no-overflow.c |
error (255) |
4.17 |
4.22 |
140328960 |
unknown |
6.23 |
6.29 |
160706560 |
| termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random1d_true-termination_true-no-overflow.c |
error (255) |
4.25 |
4.38 |
143728640 |
unknown |
6.11 |
6.12 |
164102144 |
| termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random2d_true-termination_true-no-overflow.c |
error (255) |
4.14 |
4.16 |
139022336 |
unknown |
6.17 |
6.19 |
168402944 |
| termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi2_true-termination_true-no-overflow.c |
error (255) |
4.16 |
4.18 |
143589376 |
unknown |
5.99 |
6.03 |
163028992 |
| termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi3_true-termination_true-no-overflow.c |
error (255) |
2.84 |
2.91 |
139243520 |
unknown |
4.31 |
4.33 |
164196352 |
| termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi4_true-termination_true-no-overflow.c |
error (255) |
2.86 |
3.23 |
142249984 |
unknown |
4.12 |
4.16 |
162123776 |
| termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-wcet2_true-termination_true-no-overflow.c |
error (255) |
2.82 |
2.91 |
138670080 |
unknown |
4.34 |
4.40 |
161984512 |
| termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-while2_true-termination_true-no-overflow.c |
error (255) |
2.88 |
2.90 |
138928128 |
unknown |
6.05 |
6.10 |
164204544 |
| termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-wise_true-termination_true-no-overflow.c |
error (255) |
4.16 |
4.18 |
139509760 |
unknown |
6.05 |
6.06 |
160583680 |
| termination-crafted-lit/Avery-FLOPS2006-Table1_true-termination_true-no-overflow.c |
error (255) |
4.20 |
4.21 |
139694080 |
unknown |
4.25 |
4.30 |
161341440 |
| termination-crafted-lit/BradleyMannaSipma-CAV2005-Fig1-modified_false-termination_true-no-overflow.c |
error (255) |
4.12 |
4.13 |
139595776 |
unknown |
6.06 |
6.10 |
162369536 |
| termination-crafted-lit/BradleyMannaSipma-CAV2005-Fig1_true-termination_true-no-overflow.c |
error (255) |
4.09 |
4.10 |
142417920 |
unknown |
6.09 |
6.14 |
163168256 |
| termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Fig1_true-termination_true-no-overflow.c |
error (255) |
2.91 |
2.92 |
138661888 |
unknown |
4.20 |
4.25 |
161746944 |
| termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Fig9a_true-termination_true-no-overflow.c |
error (255) |
2.96 |
2.99 |
141524992 |
unknown |
4.20 |
4.26 |
165871616 |
| termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Introduction_true-termination_true-no-overflow.c |
error (255) |
4.15 |
4.21 |
138211328 |
unknown |
6.22 |
6.24 |
168714240 |
| termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-easy1_true-termination_true-no-overflow.c |
error (255) |
4.29 |
4.30 |
139395072 |
unknown |
6.15 |
6.22 |
161705984 |
| termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-easy2_true-termination_true-no-overflow.c |
error (255) |
4.31 |
4.33 |
139202560 |
unknown |
6.25 |
6.29 |
162902016 |
| termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-random1d_true-termination_true-no-overflow.c |
error (255) |
4.09 |
4.11 |
138915840 |
unknown |
6.06 |
6.07 |
167567360 |
| termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-random2d_true-termination_true-no-overflow.c |
error (255) |
2.95 |
3.17 |
139157504 |
unknown |
4.23 |
4.28 |
160649216 |
| termination-crafted-lit/ChenCookFuhsNimkarOHearn-TACAS2014-Introduction_false-termination_true-no-overflow.c |
error (255) |
2.99 |
3.05 |
142573568 |
unknown |
4.29 |
4.32 |
164077568 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.20_true-termination_true-no-overflow.c |
error (255) |
3.08 |
3.13 |
143212544 |
unknown |
6.02 |
6.14 |
164102144 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.01_true-termination_true-no-overflow.c |
error (255) |
3.02 |
3.04 |
142372864 |
unknown |
6.08 |
6.20 |
164073472 |
| termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig1_true-termination_true-no-overflow.c |
error (255) |
4.20 |
4.26 |
139829248 |
unknown |
5.94 |
5.96 |
163799040 |
| termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig7a_true-termination_true-no-overflow.c |
error (255) |
4.17 |
4.22 |
138915840 |
unknown |
6.16 |
6.22 |
160571392 |
| termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig7b_true-termination_true-no-overflow.c |
error (255) |
4.30 |
4.34 |
139808768 |
unknown |
4.17 |
4.22 |
162983936 |
| termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8a-modified_true-termination_true-no-overflow.c |
error (255) |
4.32 |
4.33 |
139370496 |
unknown |
4.15 |
4.19 |
161841152 |
| termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8a_true-termination_true-no-overflow.c |
error (255) |
2.98 |
3.01 |
138776576 |
unknown |
4.34 |
4.38 |
162291712 |
| termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8b_true-termination_true-no-overflow.c |
error (255) |
3.26 |
3.30 |
142680064 |
unknown |
4.19 |
4.38 |
156975104 |
| termination-crafted-lit/GopanReps-CAV2006-Fig1a_true-termination_true-no-overflow.c.c |
error (255) |
4.05 |
4.08 |
139591680 |
unknown |
6.12 |
6.16 |
167669760 |
| termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig1_true-termination_true-no-overflow.c |
error (255) |
4.17 |
4.32 |
140206080 |
unknown |
6.22 |
6.23 |
165531648 |
| termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig3_true-termination_true-no-overflow.c |
error (255) |
4.09 |
4.10 |
137564160 |
unknown |
6.14 |
6.28 |
163676160 |
| termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig1_true-termination_true-no-overflow.c |
error (255) |
4.32 |
4.46 |
143175680 |
unknown |
6.01 |
6.04 |
163958784 |
| termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig4_true-termination_true-no-overflow.c |
error (255) |
2.95 |
2.97 |
142184448 |
unknown |
4.28 |
4.33 |
162672640 |
| termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig5_true-termination_true-no-overflow.c |
error (255) |
2.91 |
2.94 |
142946304 |
unknown |
4.24 |
4.25 |
161136640 |
| termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig6_true-termination_true-no-overflow.c |
error (255) |
4.02 |
4.05 |
142618624 |
unknown |
5.99 |
6.02 |
161468416 |
| termination-crafted-lit/HenzingerJhalaMajumdarSutre-POPL2002-LockingExample_false-termination_true-no-overflow.c |
error (255) |
4.10 |
4.12 |
137703424 |
unknown |
5.98 |
6.02 |
162689024 |
| termination-crafted-lit/KroeningSharyginaTsitovichWintersteiger-CAV2010-Ex_true-termination_true-no-overflow.c |
error (255) |
4.15 |
4.17 |
138391552 |
unknown |
6.09 |
6.11 |
163696640 |
| termination-crafted-lit/KroeningSharyginaTsitovichWintersteiger-CAV2010-Fig1_true-termination_true-no-overflow.c |
error (255) |
2.85 |
2.87 |
138358784 |
unknown |
6.12 |
6.14 |
163954688 |
| termination-crafted-lit/LarrazOliverasRodriguez-CarbonellRubio-FMCAD2013-Fig1_true-termination_true-no-overflow.c |
error (255) |
4.29 |
4.32 |
139722752 |
unknown |
4.17 |
4.22 |
159334400 |
| termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex4_true-termination_true-no-overflow.c |
error (255) |
2.95 |
2.97 |
141996032 |
unknown |
4.20 |
4.22 |
164012032 |
| termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex5_true-termination_true-no-overflow.c |
error (255) |
3.11 |
3.14 |
142045184 |
unknown |
6.11 |
6.14 |
164720640 |
| termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex1_true-termination_true-no-overflow.c |
error (255) |
3.13 |
3.14 |
139051008 |
unknown |
5.98 |
5.99 |
161992704 |
| termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex9_true-termination_true-no-overflow.c |
error (255) |
4.15 |
4.16 |
138657792 |
unknown |
6.07 |
6.09 |
161710080 |
| termination-crafted-lit/LeikeHeizmann-WST2014-Ex9_true-termination_true-no-overflow.c |
error (255) |
4.18 |
4.21 |
139952128 |
unknown |
4.16 |
4.24 |
161398784 |
| termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig1_true-termination_true-no-overflow.c |
error (255) |
4.11 |
4.12 |
138903552 |
unknown |
6.10 |
6.12 |
159522816 |
| termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig1_true-termination_true-no-overflow.c |
error (255) |
4.10 |
4.17 |
138776576 |
unknown |
4.25 |
4.25 |
159936512 |
| termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig2_true-termination_true-no-overflow.c |
error (255) |
2.90 |
2.93 |
139046912 |
unknown |
4.24 |
4.25 |
161595392 |
| termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig4_true-termination_true-no-overflow.c |
error (255) |
2.98 |
2.99 |
142434304 |
unknown |
4.11 |
4.13 |
161837056 |
| termination-crafted-lit/Urban-WST2013-Fig1_false-termination_true-no-overflow.c |
error (255) |
4.13 |
4.15 |
142315520 |
unknown |
6.20 |
6.23 |
168300544 |
| termination-crafted-lit/Urban-WST2013-Fig2-modified1000_true-termination_true-no-overflow.c |
error (255) |
4.00 |
4.01 |
142807040 |
unknown |
6.08 |
6.21 |
168144896 |
| termination-crafted-lit/Urban-WST2013-Fig2_true-termination_true-no-overflow.c |
error (255) |
4.05 |
4.10 |
139546624 |
unknown |
6.17 |
6.19 |
161722368 |
| termination-crafted-lit/UrbanMine-ESOP2014-Fig3_true-termination_true-no-overflow.c |
error (255) |
4.15 |
4.16 |
138629120 |
unknown |
6.09 |
6.14 |
169058304 |
| termination-crafted-lit/Velroyen_false-termination_true-no-overflow.c |
error (255) |
2.88 |
2.92 |
138756096 |
unknown |
4.22 |
4.28 |
163577856 |
| termination-crafted-lit/aviad_true-termination_true-no-overflow.c |
error (255) |
2.98 |
3.02 |
142331904 |
unknown |
4.26 |
4.27 |
166948864 |
| termination-crafted-lit/cstrcmp_true-termination_true-no-overflow.c |
error (255) |
2.83 |
2.84 |
142229504 |
unknown |
6.28 |
6.43 |
165425152 |
| termination-crafted-lit/cstrcspn_true-termination_true-no-overflow.c |
error (255) |
4.06 |
4.10 |
138383360 |
unknown |
6.13 |
6.17 |
163950592 |
| termination-crafted-lit/cstrlen_true-termination_true-no-overflow.c |
error (255) |
4.07 |
4.09 |
139587584 |
unknown |
6.44 |
6.47 |
163180544 |
| termination-crafted-lit/cstrpbrk_true-termination_true-no-overflow.c |
error (255) |
4.10 |
4.14 |
138805248 |
unknown |
6.31 |
6.34 |
162279424 |
| termination-crafted-lit/cstrspn_true-termination_true-no-overflow.c |
error (255) |
2.83 |
2.85 |
139517952 |
unknown |
4.29 |
4.34 |
162914304 |
| termination-crafted-lit/genady_true-termination_true-no-overflow.c |
error (255) |
4.14 |
4.20 |
138743808 |
unknown |
4.38 |
4.40 |
165658624 |
| termination-crafted-lit/strchr_true-no-overflow_true-termination.c |
error (255) |
2.92 |
2.95 |
142729216 |
unknown |
4.53 |
4.59 |
163672064 |
| termination-numeric/Addition01_false-no-overflow.c |
error (255) |
2.95 |
3.00 |
142671872 |
unknown |
4.34 |
4.49 |
165720064 |
| termination-numeric/Avg_true_false-no-overflow.c |
error (255) |
4.19 |
4.20 |
143126528 |
unknown |
6.13 |
6.18 |
165228544 |
| termination-numeric/Binomial_true-termination_false-no-overflow.c |
error (255) |
4.01 |
4.10 |
139468800 |
unknown |
6.17 |
6.18 |
165027840 |
| termination-numeric/Et1_true_false-no-overflow.c |
error (255) |
4.16 |
4.18 |
142426112 |
unknown |
6.24 |
6.28 |
164360192 |
| termination-numeric/Et2_true_false-no-overflow.c |
error (255) |
4.07 |
4.11 |
139042816 |
timeout |
21.0 |
21.0 |
220504064 |
| termination-numeric/Et3_true_false-no-overflow.c |
error (255) |
2.85 |
2.86 |
141885440 |
unknown |
4.28 |
4.32 |
164888576 |
| termination-numeric/Et4_true_false-no-overflow.c |
error (255) |
2.87 |
2.89 |
139042816 |
timeout |
21.0 |
21.0 |
221245440 |
| termination-numeric/MultCommutative_false-no-overflow.c |
error (255) |
4.11 |
4.12 |
137588736 |
unknown |
6.36 |
6.41 |
167211008 |
| termination-numeric/TerminatorRec02_true-termination_false-no-overflow.c |
error (255) |
4.16 |
4.18 |
139001856 |
unknown |
6.30 |
6.31 |
164106240 |
| termination-numeric/Ackermann01_true-termination_true-no-overflow.c |
error (255) |
4.14 |
4.15 |
139182080 |
unknown |
6.54 |
6.59 |
168214528 |
| termination-numeric/EvenOdd01_true-termination_true-no-overflow.c |
error (255) |
2.86 |
2.89 |
139063296 |
unknown |
4.63 |
4.65 |
166178816 |
| termination-numeric/Fibonacci01_true-termination_true-no-overflow.c |
error (255) |
4.12 |
4.14 |
138235904 |
unknown |
6.52 |
6.56 |
162496512 |
| termination-numeric/LeUserDefRec_true-termination_true-no-overflow.c |
error (255) |
2.86 |
2.90 |
141144064 |
unknown |
6.64 |
6.65 |
165748736 |
| termination-numeric/LogRecursive_true-termination_true-no-overflow.c |
error (255) |
2.90 |
2.93 |
138395648 |
unknown |
4.59 |
4.89 |
161812480 |
| termination-numeric/Parts_true-termination_true-no-overflow.c |
error (255) |
2.92 |
2.95 |
138874880 |
unknown |
6.80 |
6.85 |
161726464 |
| termination-numeric/TwoWay_true-termination_true-no-overflow.c |
error (255) |
4.08 |
4.12 |
138899456 |
unknown |
4.64 |
4.65 |
163786752 |
| termination-numeric/gcd01_true-termination_true-no-overflow.c |
error (255) |
4.15 |
4.17 |
138629120 |
unknown |
6.25 |
6.33 |
162516992 |
| termination-numeric/java_LogBuiltIn_true-termination_true-no-overflow.c |
error (255) |
4.14 |
4.15 |
138412032 |
unknown |
6.36 |
6.38 |
165498880 |
| termination-numeric/recHanoi02_true-termination_true-no-overflow.c |
error (255) |
4.11 |
4.14 |
139673600 |
unknown |
6.25 |
6.29 |
162390016 |
| termination-numeric/rec_counter1_true-termination_true-no-overflow.c |
error (255) |
2.88 |
2.89 |
142442496 |
unknown |
6.20 |
6.26 |
166486016 |
| termination-numeric/rec_counter3_true-termination_true-no-overflow.c |
error (255) |
2.88 |
2.91 |
142049280 |
unknown |
4.40 |
4.40 |
165482496 |
| termination-numeric/twisted_true-termination_true-no-overflow.c |
error (255) |
4.19 |
4.21 |
139931648 |
unknown |
4.19 |
4.23 |
161959936 |
| busybox-1.22.0/chgrp-incomplete_false-no-overflow.i |
error (255) |
4.25 |
4.27 |
139173888 |
error: exception |
6.65 |
6.67 |
166993920 |
| busybox-1.22.0/chroot-incomplete_false-no-overflow.i |
error (255) |
4.20 |
4.21 |
142299136 |
error: exception |
6.61 |
6.67 |
168140800 |
| busybox-1.22.0/cut_false-no-overflow.i |
error (255) |
4.22 |
4.26 |
138956800 |
unknown |
7.05 |
7.10 |
178888704 |
| busybox-1.22.0/date_false-no-overflow.i |
error (255) |
2.88 |
2.93 |
142192640 |
unknown |
4.69 |
4.76 |
179826688 |
| busybox-1.22.0/du_false-no-overflow.i |
error (255) |
2.86 |
2.94 |
139194368 |
unknown |
6.93 |
6.94 |
177500160 |
| busybox-1.22.0/echo_false-no-overflow.i |
error (255) |
3.07 |
3.16 |
142540800 |
error: exception |
4.67 |
4.68 |
169922560 |
| busybox-1.22.0/expand_false-no-overflow.i |
error (255) |
4.12 |
4.18 |
139440128 |
unknown |
4.90 |
4.94 |
174436352 |
| busybox-1.22.0/fold_false-no-overflow.i |
error (255) |
4.19 |
4.33 |
142254080 |
unknown |
6.71 |
6.78 |
170868736 |
| busybox-1.22.0/head_false-no-overflow.i |
error (255) |
4.12 |
4.16 |
140496896 |
unknown |
6.85 |
6.91 |
164880384 |
| busybox-1.22.0/logname_false-no-overflow.i |
error (255) |
2.92 |
2.98 |
139341824 |
error: exception |
6.81 |
6.87 |
164843520 |
| busybox-1.22.0/ls-incomplete_false-no-overflow.i |
error (255) |
3.82 |
3.84 |
140701696 |
unknown |
7.31 |
7.33 |
190668800 |
| busybox-1.22.0/mkdir_false-no-overflow.i |
error (255) |
2.74 |
2.78 |
141881344 |
unknown |
4.84 |
4.85 |
176222208 |
| busybox-1.22.0/mkfifo-incomplete_false-no-overflow.i |
error (255) |
2.88 |
2.92 |
141938688 |
error: exception |
4.56 |
4.64 |
166313984 |
| busybox-1.22.0/od_false-no-overflow.i |
error (255) |
4.13 |
4.15 |
138608640 |
unknown |
6.98 |
7.03 |
191983616 |
| busybox-1.22.0/printf_false-no-overflow.i |
error (255) |
3.94 |
3.98 |
139509760 |
error: exception |
6.79 |
6.90 |
175861760 |
| busybox-1.22.0/readlink_false-no-overflow.i |
error (255) |
4.15 |
4.49 |
140369920 |
unknown |
4.71 |
4.76 |
170868736 |
| busybox-1.22.0/realpath_false-no-overflow.i |
error (255) |
4.15 |
4.28 |
137740288 |
error: exception |
6.68 |
6.70 |
168132608 |
| busybox-1.22.0/rm_false-no-overflow.i |
error (255) |
2.86 |
2.87 |
139198464 |
unknown |
4.79 |
4.83 |
172089344 |
| busybox-1.22.0/seq_false-no-overflow.i |
error (255) |
2.89 |
2.92 |
139177984 |
unknown |
6.90 |
6.93 |
170790912 |
| busybox-1.22.0/sleep_false-no-overflow.i |
error (255) |
2.88 |
3.01 |
137846784 |
error: exception |
4.53 |
4.63 |
169222144 |
| busybox-1.22.0/stty_false-no-overflow.i |
error (255) |
2.86 |
2.89 |
140234752 |
error: exception |
7.09 |
7.11 |
223551488 |
| busybox-1.22.0/sync_false-no-overflow.i |
error (255) |
4.14 |
4.19 |
143548416 |
error: exception |
4.50 |
4.58 |
166920192 |
| busybox-1.22.0/tac_false-no-overflow.i |
error (255) |
4.15 |
4.20 |
143360000 |
unknown |
6.97 |
7.01 |
175505408 |
| busybox-1.22.0/tee_false-no-overflow.i |
error (255) |
4.25 |
4.27 |
139825152 |
unknown |
7.08 |
7.14 |
173502464 |
| busybox-1.22.0/test-incomplete_false-no-overflow.i |
error (255) |
4.25 |
4.27 |
140312576 |
error: exception |
7.06 |
7.12 |
180879360 |
| busybox-1.22.0/touch_false-no-overflow.i |
error (255) |
2.86 |
2.90 |
142213120 |
unknown |
4.82 |
4.85 |
177991680 |
| busybox-1.22.0/uname_false-no-overflow.i |
error (255) |
2.89 |
2.93 |
138993664 |
unknown |
4.70 |
4.74 |
174542848 |
| busybox-1.22.0/uniq_false-no-overflow.i |
error (255) |
4.26 |
4.27 |
137728000 |
unknown |
6.94 |
6.95 |
172167168 |
| busybox-1.22.0/usleep_false-no-overflow.i |
error (255) |
4.12 |
4.14 |
139190272 |
error: exception |
6.65 |
6.69 |
167641088 |
| busybox-1.22.0/uudecode_false-no-overflow.i |
error (255) |
4.22 |
4.24 |
143077376 |
unknown |
5.26 |
5.38 |
184545280 |
| busybox-1.22.0/wc_false-no-overflow.i |
error (255) |
4.14 |
4.18 |
142200832 |
unknown |
6.99 |
7.02 |
175235072 |
| busybox-1.22.0/who_false-no-overflow.i |
error (255) |
2.88 |
2.99 |
142569472 |
unknown |
6.44 |
6.50 |
176644096 |
| busybox-1.22.0/whoami-incomplete_false-no-overflow.i |
error (255) |
2.82 |
2.83 |
139464704 |
error: exception |
6.88 |
6.92 |
166940672 |
| busybox-1.22.0/yes_false-no-overflow.i |
error (255) |
2.86 |
2.87 |
141955072 |
error: exception |
4.84 |
4.90 |
166363136 |
| termination-crafted/Arrays02-EquivalentConstantIndices_false-termination_true-valid-memsafety.c |
error (255) |
4.10 |
4.12 |
139059200 |
unknown |
4.19 |
4.22 |
160432128 |
| termination-crafted/Binary_Search_false-termination_true-valid-memsafety.c |
error (255) |
2.83 |
2.85 |
142196736 |
unknown |
4.22 |
4.28 |
162107392 |
| termination-crafted/Mysore_false-termination_true-valid-memsafety.c |
error (255) |
2.95 |
2.97 |
142725120 |
unknown |
6.10 |
6.12 |
160923648 |
| termination-crafted/NestedRecursion_1a_false-termination_true-valid-memsafety.c |
error (255) |
2.90 |
2.91 |
138661888 |
unknown |
4.22 |
4.28 |
162054144 |
| termination-crafted/NonTermination3_false-termination_false-valid-deref.c |
error (255) |
4.15 |
4.16 |
137662464 |
unknown |
6.18 |
6.21 |
161300480 |
| termination-crafted/RecursiveNonterminating_false-termination_true-valid-memsafety.c |
error (255) |
2.79 |
2.82 |
138440704 |
unknown |
4.24 |
4.27 |
164548608 |
| termination-crafted/Rotation180_false-termination_true-valid-memsafety.c |
error (255) |
2.79 |
2.81 |
142704640 |
unknown |
6.15 |
6.20 |
163426304 |
| termination-crafted/2Nested_true-termination_true-valid-memsafety.c |
error (255) |
2.90 |
2.95 |
139169792 |
unknown |
5.95 |
6.00 |
161566720 |
| termination-crafted/4NestedWith3Variables_true-termination_true-valid-memsafety.c |
error (255) |
4.12 |
4.13 |
143396864 |
unknown |
4.15 |
4.19 |
162238464 |
| termination-crafted/Ackermann_true-termination_true-valid-memsafety.c |
error (255) |
4.10 |
4.12 |
138555392 |
unknown |
4.31 |
4.33 |
163823616 |
| termination-crafted/Benghazi_nondet_true-termination_true-valid-memsafety.c |
error (255) |
4.14 |
4.28 |
139108352 |
unknown |
4.31 |
4.33 |
162275328 |
| termination-crafted/Copenhagen_disj_true-termination_true-valid-memsafety.c |
error (255) |
2.88 |
2.89 |
141979648 |
unknown |
6.10 |
6.14 |
163057664 |
| termination-crafted/Gothenburg_true-termination_true-valid-memsafety.c |
error (255) |
3.00 |
3.01 |
142561280 |
unknown |
6.07 |
6.08 |
161447936 |
| termination-crafted/Gothenburg_v2_true-termination_true-valid-memsafety.c |
error (255) |
4.34 |
4.36 |
143732736 |
unknown |
6.24 |
6.25 |
169992192 |
| termination-crafted/LexIndexValue-Pointer_true-termination_true-valid-memsafety.c |
error (255) |
4.16 |
4.26 |
143179776 |
unknown |
4.36 |
4.40 |
166293504 |
| termination-crafted/Lobnya-Boolean-Reordered_true-termination_true-valid-memsafety.c |
error (255) |
4.07 |
4.09 |
138567680 |
unknown |
6.38 |
6.53 |
165752832 |
| termination-crafted/Mysore_true-termination_true-valid-memsafety.c |
error (255) |
4.18 |
4.32 |
144539648 |
unknown |
4.19 |
4.21 |
162058240 |
| termination-crafted/Pure2Phase_true-termination_true-valid-memsafety.c |
error (255) |
4.36 |
4.51 |
143331328 |
unknown |
4.20 |
4.25 |
166498304 |
| termination-crafted/Pure3Phase_true-termination_true-valid-memsafety.c |
error (255) |
4.11 |
4.12 |
138903552 |
unknown |
6.02 |
6.09 |
162762752 |
| termination-crafted/RecursiveMultiplication_true-termination_true-valid-memsafety.c |
error (255) |
2.86 |
3.03 |
139583488 |
unknown |
6.12 |
6.17 |
164040704 |
| termination-crafted/Singapore_true-termination_true-valid-memsafety.c |
error (255) |
2.97 |
2.99 |
142458880 |
unknown |
6.13 |
6.17 |
158179328 |
| termination-crafted/Stockholm_true-termination_true-valid-memsafety.c |
error (255) |
4.17 |
4.18 |
143036416 |
unknown |
6.13 |
6.14 |
166858752 |
| termination-crafted/SyntaxSupportPointer01_true-termination_true-valid-memsafety.c |
error (255) |
4.14 |
4.15 |
142704640 |
unknown |
4.31 |
4.35 |
165457920 |
| termination-crafted/SyntaxSupportPointer01_true-valid-memsafety_true-termination.c |
error (255) |
4.12 |
4.14 |
138772480 |
unknown |
6.24 |
6.26 |
162836480 |
| termination-crafted/Thun_true-termination_true-valid-memsafety.c |
error (255) |
2.87 |
2.89 |
139231232 |
unknown |
6.11 |
6.16 |
162582528 |
| termination-crafted/Toulouse-BranchesToLoop_true-termination_true-valid-memsafety.c |
error (255) |
2.95 |
2.96 |
142704640 |
unknown |
4.25 |
4.29 |
165228544 |
| termination-crafted/Toulouse-MultiBranchesToLoop_true-termination_true-valid-memsafety.c |
error (255) |
2.83 |
2.91 |
139038720 |
unknown |
6.13 |
6.17 |
163512320 |
| termination-crafted/aaron2_true-termination_true-valid-memsafety.c |
error (255) |
4.25 |
4.27 |
139124736 |
unknown |
4.20 |
4.21 |
163926016 |
| termination-crafted/aaron3_true-termination_true-valid-memsafety.c |
error (255) |
4.09 |
4.10 |
138866688 |
unknown |
6.01 |
6.02 |
163418112 |
| termination-restricted-15/DivMinus2_true-termination_true-no-overflow.c |
error (255) |
4.20 |
4.34 |
142426112 |
unknown |
6.12 |
6.17 |
163160064 |
| termination-restricted-15/DivMinus_true-termination_true-no-overflow.c |
error (255) |
4.17 |
4.18 |
139718656 |
unknown |
6.10 |
6.13 |
163205120 |
| termination-restricted-15/GCD3_true-termination_true-no-overflow.c |
error (255) |
4.15 |
4.16 |
138993664 |
unknown |
4.25 |
4.31 |
163131392 |
| termination-restricted-15/GCD4_true-termination_true-no-overflow.c |
error (255) |
2.92 |
2.97 |
142168064 |
unknown |
4.31 |
4.48 |
162050048 |
| termination-restricted-15/IntPath_true-termination_true-no-overflow.c |
error (255) |
2.91 |
3.09 |
138670080 |
unknown |
6.33 |
6.39 |
166195200 |
| termination-restricted-15/LogAG_true-termination_true-no-overflow.c |
error (255) |
2.98 |
2.99 |
143069184 |
unknown |
6.20 |
6.26 |
164433920 |
| termination-restricted-15/Log_true-termination_true-no-overflow.c |
error (255) |
2.78 |
2.82 |
138788864 |
unknown |
6.21 |
6.24 |
159989760 |
| termination-restricted-15/McCarthyIterative_true-termination_true-no-overflow.c |
error (255) |
4.16 |
4.18 |
139427840 |
unknown |
6.11 |
6.14 |
162648064 |
| termination-restricted-15/MinusBuiltIn_true-termination_true-no-overflow.c |
error (255) |
4.18 |
4.20 |
139538432 |
unknown |
4.26 |
4.28 |
164499456 |
| termination-restricted-15/MinusUserDefined_true-termination_true-no-overflow.c |
error (255) |
4.14 |
4.17 |
139837440 |
unknown |
4.31 |
4.32 |
160907264 |
| termination-restricted-15/Nested_true-termination_true-no-overflow.c |
error (255) |
4.22 |
4.24 |
139333632 |
unknown |
6.18 |
6.19 |
161923072 |
| termination-restricted-15/PastaA10_true-termination_true-no-overflow.c |
error (255) |
2.83 |
2.85 |
139804672 |
unknown |
6.17 |
6.19 |
160382976 |
| termination-restricted-15/PastaA1_true-termination_true-no-overflow.c |
error (255) |
2.89 |
2.91 |
141791232 |
unknown |
4.32 |
4.37 |
163880960 |
| termination-restricted-15/PastaA4_true-termination_true-no-overflow.c |
error (255) |
4.16 |
4.19 |
139177984 |
unknown |
4.25 |
4.27 |
162127872 |
| termination-restricted-15/PastaA7_true-termination_true-no-overflow.c |
error (255) |
4.20 |
4.34 |
142045184 |
unknown |
6.10 |
6.15 |
162721792 |
| termination-restricted-15/PastaB14_true-termination_true-no-overflow.c |
error (255) |
4.09 |
4.12 |
138686464 |
unknown |
6.18 |
6.19 |
161808384 |
| termination-restricted-15/PastaB15_true-termination_true-no-overflow.c |
error (255) |
4.15 |
4.18 |
138641408 |
unknown |
4.12 |
4.15 |
164847616 |
| termination-restricted-15/PastaB16_true-termination_true-no-overflow.c |
error (255) |
2.87 |
2.92 |
139177984 |
unknown |
4.19 |
4.20 |
162746368 |
| termination-restricted-15/PastaB17_true-termination_true-no-overflow.c |
error (255) |
2.96 |
2.97 |
142614528 |
unknown |
6.05 |
6.07 |
165412864 |
| termination-restricted-15/PastaB1_true-termination_true-no-overflow.c |
error (255) |
2.96 |
2.97 |
142581760 |
unknown |
6.07 |
6.12 |
162877440 |
| termination-restricted-15/PastaB2_true-termination_true-no-overflow.c |
error (255) |
2.81 |
2.85 |
138362880 |
unknown |
6.16 |
6.17 |
163950592 |
| termination-restricted-15/PastaB4_true-termination_true-no-overflow.c |
error (255) |
4.01 |
4.09 |
138379264 |
unknown |
6.13 |
6.14 |
163074048 |
| termination-restricted-15/PastaB6_true-termination_true-no-overflow.c |
error (255) |
4.07 |
4.10 |
138641408 |
unknown |
4.36 |
4.38 |
166178816 |
| termination-restricted-15/PastaB7_true-termination_true-no-overflow.c |
error (255) |
4.20 |
4.26 |
139677696 |
unknown |
4.16 |
4.20 |
163516416 |
| termination-restricted-15/PastaC3_true-termination_true-no-overflow.c |
error (255) |
4.29 |
4.43 |
141971456 |
unknown |
6.15 |
6.21 |
163442688 |
| termination-restricted-15/PastaC7_true-termination_true-no-overflow.c |
error (255) |
2.81 |
2.86 |
139153408 |
unknown |
6.17 |
6.23 |
160776192 |
| termination-restricted-15/PastaC9_true-termination_true-no-overflow.c |
error (255) |
2.94 |
3.15 |
141934592 |
unknown |
4.31 |
4.33 |
164200448 |
| termination-restricted-15/Sequence_true-termination_true-no-overflow.c |
error (255) |
4.18 |
4.30 |
141131776 |
unknown |
4.22 |
4.24 |
161398784 |
| termination-restricted-15/WhileDecr_true-termination_true-no-overflow.c |
error (255) |
4.09 |
4.17 |
138760192 |
unknown |
6.00 |
6.04 |
158982144 |
| termination-restricted-15/a.01_true-termination_true-no-overflow.c |
error (255) |
4.17 |
4.19 |
139689984 |
unknown |
6.11 |
6.12 |
161959936 |
| termination-restricted-15/a.04_true-termination_true-no-overflow.c |
error (255) |
4.20 |
4.21 |
143482880 |
unknown |
4.29 |
4.36 |
163176448 |
| termination-restricted-15/a.05_true-termination_true-no-overflow.c |
error (255) |
2.91 |
2.92 |
142188544 |
unknown |
4.43 |
4.44 |
166416384 |
| termination-restricted-15/a.06_true-termination_true-no-overflow.c |
error (255) |
2.86 |
2.88 |
139329536 |
unknown |
6.22 |
6.27 |
165548032 |
| termination-restricted-15/a.07_true-termination_true-no-overflow.c |
error (255) |
4.10 |
4.13 |
138764288 |
unknown |
6.19 |
6.25 |
165072896 |
| termination-restricted-15/a.08_true-termination_true-no-overflow.c |
error (255) |
4.19 |
4.22 |
143216640 |
unknown |
6.05 |
6.11 |
159899648 |
| termination-restricted-15/a.09_assume_true-termination_true-no-overflow.c |
error (255) |
2.81 |
2.93 |
142979072 |
unknown |
6.06 |
6.09 |
169828352 |
| termination-restricted-15/a.10_true-termination.c |
error (255) |
4.11 |
4.13 |
139603968 |
unknown |
4.55 |
4.63 |
164200448 |
| termination-restricted-15/b.01_true-termination_true-no-overflow.c |
error (255) |
2.90 |
2.91 |
141955072 |
unknown |
5.32 |
5.38 |
162234368 |
| termination-restricted-15/b.02_true-termination_true-no-overflow.c |
error (255) |
4.11 |
4.14 |
142401536 |
unknown |
6.40 |
6.44 |
166002688 |
| termination-restricted-15/b.03-no-inv_assume_true-termination_true-no-overflow.c |
error (255) |
2.84 |
2.89 |
142176256 |
unknown |
6.14 |
6.19 |
163115008 |
| termination-restricted-15/b.03_assume_true-termination_true-no-overflow.c |
error (255) |
2.88 |
2.89 |
140754944 |
unknown |
6.09 |
6.11 |
163004416 |
| termination-restricted-15/b.04_true-termination_true-no-overflow.c |
error (255) |
3.99 |
4.06 |
139304960 |
unknown |
6.14 |
6.15 |
160432128 |
| termination-restricted-15/b.05_true-termination_true-no-overflow.c |
error (255) |
4.34 |
4.38 |
142839808 |
unknown |
4.21 |
4.22 |
164286464 |
| termination-restricted-15/b.06_true-termination_true-no-overflow.c |
error (255) |
4.34 |
4.35 |
144912384 |
unknown |
4.27 |
4.31 |
165396480 |
| termination-restricted-15/b.07_true-termination_true-no-overflow.c |
error (255) |
4.12 |
4.14 |
138788864 |
unknown |
6.02 |
6.07 |
164200448 |
| termination-restricted-15/b.09-no-inv_assume_true-termination_true-no-overflow.c |
error (255) |
2.85 |
2.87 |
137543680 |
unknown |
4.35 |
4.39 |
164491264 |
| termination-restricted-15/b.09_assume_true-termination_true-no-overflow.c |
error (255) |
2.82 |
2.86 |
139264000 |
unknown |
6.39 |
6.44 |
165212160 |
| termination-restricted-15/b.10_true-termination_true-no-overflow.c |
error (255) |
4.27 |
4.32 |
143392768 |
unknown |
4.35 |
4.36 |
165474304 |
| termination-restricted-15/b.11_true-termination_true-no-overflow.c |
error (255) |
4.16 |
4.19 |
138125312 |
unknown |
6.16 |
6.17 |
162119680 |
| termination-restricted-15/b.12_true-termination_true-no-overflow.c |
error (255) |
4.12 |
4.17 |
138969088 |
unknown |
6.15 |
6.15 |
165982208 |
| termination-restricted-15/b.13_true-termination_true-no-overflow.c |
error (255) |
4.14 |
4.16 |
140570624 |
unknown |
4.11 |
4.19 |
161361920 |
| termination-restricted-15/b.14_true-termination_true-no-overflow.c |
error (255) |
2.96 |
3.13 |
142614528 |
unknown |
4.38 |
4.39 |
165797888 |
| termination-restricted-15/b.15_true-termination_true-no-overflow.c |
error (255) |
2.79 |
2.87 |
139128832 |
unknown |
6.19 |
6.24 |
162246656 |
| termination-restricted-15/b.16_true-termination_true-no-overflow.c |
error (255) |
2.91 |
2.94 |
139431936 |
unknown |
5.95 |
6.01 |
162250752 |
| termination-restricted-15/b.17_true-termination_true-no-overflow.c |
error (255) |
2.84 |
2.86 |
138735616 |
unknown |
6.15 |
6.19 |
161054720 |
| termination-restricted-15/b.18_true-termination_true-no-overflow.c |
error (255) |
3.99 |
4.04 |
138530816 |
unknown |
6.05 |
6.06 |
161624064 |
| termination-restricted-15/c.01-no-inv_true-termination_true-no-overflow.c |
error (255) |
4.20 |
4.22 |
139968512 |
unknown |
4.20 |
4.25 |
164712448 |
| termination-restricted-15/c.01_assume_true-termination_true-no-overflow.c |
error (255) |
4.14 |
4.18 |
138616832 |
unknown |
4.27 |
4.28 |
165101568 |
| termination-restricted-15/c.02_true-termination_true-no-overflow.c |
error (255) |
4.18 |
4.37 |
142229504 |
unknown |
6.06 |
6.15 |
161714176 |
| termination-restricted-15/c.03_true-termination_true-no-overflow.c |
error (255) |
2.96 |
3.13 |
143462400 |
unknown |
6.12 |
6.16 |
162344960 |
| termination-restricted-15/c.07_true-termination_true-no-overflow.c |
error (255) |
2.87 |
2.90 |
142184448 |
unknown |
6.19 |
6.24 |
162136064 |
| termination-restricted-15/c.08_true-termination_true-no-overflow.c |
error (255) |
4.18 |
4.23 |
142483456 |
unknown |
6.19 |
6.33 |
160088064 |
| termination-restricted-15/ex3a_true-termination_true-no-overflow.c |
error (255) |
4.15 |
4.16 |
139685888 |
unknown |
4.37 |
4.57 |
165793792 |
| termination-restricted-15/ex3b_true-termination_true-no-overflow.c |
error (255) |
4.16 |
4.17 |
139100160 |
unknown |
4.22 |
4.26 |
162103296 |
| termination-restricted-15/java_AG313_true-termination_true-no-overflow.c |
error (255) |
4.11 |
4.13 |
137543680 |
unknown |
6.11 |
6.15 |
161038336 |
| termination-restricted-15/java_Break_true-termination_true-no-overflow.c |
error (255) |
2.88 |
2.92 |
141553664 |
unknown |
4.20 |
4.26 |
163659776 |
| termination-restricted-15/java_Continue1_true-termination_true-no-overflow.c |
error (255) |
2.91 |
2.92 |
139272192 |
unknown |
4.15 |
4.32 |
160391168 |
| termination-restricted-15/java_Nested_true-termination_true-no-overflow.c |
error (255) |
4.10 |
4.11 |
139059200 |
unknown |
6.01 |
6.06 |
163147776 |
| termination-restricted-15/java_Sequence_true-termination_true-no-overflow.c |
error (255) |
2.89 |
2.91 |
139350016 |
unknown |
6.08 |
6.13 |
163426304 |
| termination-restricted-15/AlternKonv_false-termination_true-no-overflow.c |
error (255) |
2.98 |
2.99 |
142274560 |
unknown |
6.09 |
6.10 |
158064640 |
| termination-restricted-15/ComplInterv2_false-termination_true-no-overflow.c |
error (255) |
4.18 |
4.21 |
139395072 |
unknown |
4.16 |
4.19 |
161947648 |
| termination-restricted-15/ConvLower_false-termination_true-no-overflow.c |
error (255) |
4.24 |
4.26 |
142831616 |
unknown |
4.16 |
4.17 |
161005568 |
| termination-restricted-15/Ex02_false-termination_true-no-overflow.c |
error (255) |
4.28 |
4.33 |
143282176 |
unknown |
6.31 |
6.60 |
165400576 |
| termination-restricted-15/Ex03_false-termination_true-no-overflow.c |
error (255) |
3.36 |
3.42 |
138866688 |
unknown |
6.25 |
6.30 |
162725888 |
| termination-restricted-15/Ex05_false-termination_true-no-overflow.c |
error (255) |
3.20 |
3.21 |
138903552 |
unknown |
6.10 |
6.14 |
166891520 |
| termination-restricted-15/Ex06_false-termination_true-no-overflow.c |
error (255) |
4.06 |
4.09 |
142577664 |
unknown |
6.03 |
6.06 |
164073472 |
| termination-restricted-15/Ex07_false-termination_true-no-overflow.c |
error (255) |
4.30 |
4.33 |
138907648 |
unknown |
4.24 |
4.26 |
162623488 |
| termination-restricted-15/Ex08_false-termination_true-no-overflow.c |
error (255) |
3.92 |
3.99 |
137318400 |
unknown |
4.23 |
4.27 |
164061184 |
| termination-restricted-15/Flip2_false-termination_true-no-overflow.c |
error (255) |
4.12 |
4.15 |
142565376 |
unknown |
6.22 |
6.26 |
161058816 |
| termination-restricted-15/Flip_false-termination_true-no-overflow.c |
error (255) |
2.87 |
2.91 |
139513856 |
unknown |
4.28 |
4.32 |
163115008 |
| termination-restricted-15/GCD2_false-termination_true-no-overflow.c |
error (255) |
3.25 |
3.32 |
142577664 |
unknown |
6.19 |
6.21 |
166518784 |
| termination-restricted-15/GCD_false-termination_true-no-overflow.c |
error (255) |
4.20 |
4.34 |
139325440 |
unknown |
4.26 |
4.44 |
163409920 |
| termination-restricted-15/Loop_false-termination_true-no-overflow.c |
error (255) |
4.12 |
4.14 |
138911744 |
unknown |
6.14 |
6.15 |
167706624 |
| termination-restricted-15/MirrorIntervSim_false-termination_true-no-overflow.c |
error (255) |
4.30 |
4.45 |
140062720 |
unknown |
6.02 |
6.07 |
168099840 |
| termination-restricted-15/NO_00_false-termination_true-no-overflow.c |
error (255) |
4.15 |
4.17 |
142540800 |
unknown |
4.19 |
4.23 |
162594816 |
| termination-restricted-15/NO_01_false-termination_true-no-overflow.c |
error (255) |
2.88 |
2.91 |
141463552 |
unknown |
4.22 |
4.23 |
164458496 |
| termination-restricted-15/NO_02_false-termination_true-no-overflow.c |
error (255) |
3.01 |
3.05 |
142479360 |
unknown |
6.28 |
6.33 |
162971648 |
| termination-restricted-15/NO_03_false-termination_true-no-overflow.c |
error (255) |
3.17 |
3.25 |
143421440 |
unknown |
6.11 |
6.25 |
163418112 |
| termination-restricted-15/NO_04_false-termination_true-no-overflow.c |
error (255) |
3.07 |
3.11 |
139190272 |
unknown |
6.26 |
6.30 |
163434496 |
| termination-restricted-15/NO_13_false-termination_true-no-overflow.c |
error (255) |
4.24 |
4.26 |
139042816 |
unknown |
6.19 |
6.22 |
164155392 |
| termination-restricted-15/NO_21_false-termination_true-no-overflow.c |
error (255) |
4.18 |
4.22 |
138661888 |
unknown |
4.17 |
4.19 |
161771520 |
| termination-restricted-15/NO_22_false-termination_true-no-overflow.c |
error (255) |
4.22 |
4.27 |
139681792 |
unknown |
4.12 |
4.15 |
160739328 |
| termination-restricted-15/NO_23_false-termination_true-no-overflow.c |
error (255) |
4.16 |
4.20 |
139808768 |
unknown |
6.15 |
6.19 |
169680896 |
| termination-restricted-15/NO_24_false-termination_true-no-overflow.c |
error (255) |
2.87 |
2.90 |
142188544 |
unknown |
6.14 |
6.19 |
162304000 |
| termination-restricted-15/NarrowKonv_false-termination_true-no-overflow.c |
error (255) |
2.87 |
2.88 |
139882496 |
unknown |
4.12 |
4.18 |
161812480 |
| termination-restricted-15/Narrowing_false-termination_true-no-overflow.c |
error (255) |
4.17 |
4.21 |
142655488 |
unknown |
6.15 |
6.19 |
169545728 |
| termination-restricted-15/Sunset_false-termination_true-no-overflow.c |
error (255) |
4.22 |
4.24 |
139173888 |
unknown |
6.15 |
6.28 |
158871552 |
| termination-restricted-15/Swingers_false-termination_true-no-overflow.c |
error (255) |
4.12 |
4.13 |
139214848 |
unknown |
4.09 |
4.11 |
159211520 |
| termination-restricted-15/TwoFloatInterv_false-termination_true-no-overflow.c |
error (255) |
4.12 |
4.13 |
142397440 |
unknown |
4.31 |
4.36 |
161312768 |
| termination-restricted-15/UpAndDownIneq_false-termination_true-no-overflow.c |
error (255) |
2.89 |
2.95 |
142262272 |
unknown |
4.28 |
4.32 |
164470784 |
| termination-restricted-15/UpAndDown_false-termination_true-no-overflow.c |
error (255) |
2.83 |
2.90 |
142356480 |
unknown |
6.19 |
6.32 |
167034880 |
| termination-restricted-15/WhilePart_false-termination_true-no-overflow.c |
error (255) |
2.95 |
3.12 |
142934016 |
unknown |
6.18 |
6.24 |
164728832 |
| termination-restricted-15/WhileSingle_false-termination_true-no-overflow.c |
error (255) |
2.85 |
2.91 |
142180352 |
unknown |
6.10 |
6.12 |
161251328 |
| termination-libowfat/atoi_true-termination.c.i |
error (255) |
4.16 |
4.22 |
138637312 |
unknown |
6.89 |
6.92 |
171778048 |
| termination-libowfat/atol_true-termination.c.i |
error (255) |
4.16 |
4.19 |
141291520 |
unknown |
4.85 |
4.87 |
172310528 |
| termination-libowfat/atoll_true-termination.c.i |
error (255) |
4.22 |
4.24 |
143286272 |
unknown |
4.83 |
5.02 |
173264896 |
| termination-libowfat/basename_true-termination.c.i |
error (255) |
4.19 |
4.40 |
139190272 |
unknown |
6.89 |
6.99 |
173531136 |
| termination-libowfat/build_fullname_true-termination.c.i |
error (255) |
2.96 |
2.97 |
142573568 |
unknown |
7.06 |
7.07 |
172191744 |
| termination-libowfat/dirname_true-termination.c.i |
error (255) |
2.86 |
2.88 |
142557184 |
unknown |
7.02 |
7.06 |
170352640 |
| termination-libowfat/skip_to_true-termination.c.i |
error (255) |
4.22 |
4.24 |
142446592 |
unknown |
6.98 |
7.01 |
170369024 |
| termination-libowfat/stpcpy_true-termination.c.i |
error (255) |
4.13 |
4.19 |
137773056 |
unknown |
4.79 |
4.84 |
174039040 |
| termination-libowfat/strcasecmp_true-termination.c.i |
error (255) |
4.18 |
4.20 |
137764864 |
unknown |
4.72 |
4.75 |
171675648 |
| termination-libowfat/strcat_short_true-termination.c.i |
error (255) |
4.14 |
4.15 |
138530816 |
unknown |
4.93 |
4.98 |
173731840 |
| termination-libowfat/strcat_true-termination.c.i |
error (255) |
2.88 |
2.96 |
142274560 |
unknown |
5.08 |
5.12 |
174182400 |
| termination-libowfat/strchr_short_true-termination.c.i |
error (255) |
2.84 |
2.90 |
138493952 |
unknown |
6.94 |
7.00 |
173613056 |
| termination-libowfat/strchr_true-termination.c.i |
error (255) |
4.17 |
4.24 |
140849152 |
unknown |
6.87 |
6.88 |
168161280 |
| termination-libowfat/strcmp_short_true-termination.c.i |
error (255) |
2.91 |
2.92 |
142077952 |
unknown |
6.65 |
6.69 |
174178304 |
| termination-libowfat/strcpy_small_true-termination.c.i |
error (255) |
4.18 |
4.37 |
142692352 |
unknown |
6.57 |
6.59 |
169422848 |
| termination-libowfat/strcspn_true-termination.c.i |
error (255) |
4.20 |
4.36 |
143630336 |
unknown |
4.89 |
4.92 |
171786240 |
| termination-libowfat/strdup_true-termination.c.i |
error (255) |
2.89 |
2.93 |
142307328 |
unknown |
4.68 |
4.71 |
172056576 |
| termination-libowfat/strlcat_true-termination.c.i |
error (255) |
4.27 |
4.29 |
139010048 |
unknown |
6.75 |
6.79 |
174297088 |
| termination-libowfat/strlcpy_true-termination.c.i |
error (255) |
2.86 |
3.03 |
139005952 |
unknown |
6.97 |
6.98 |
173740032 |
| termination-libowfat/strlen_true-termination.c.i |
error (255) |
2.84 |
2.91 |
142036992 |
unknown |
6.86 |
6.87 |
165335040 |
| termination-libowfat/strpbrk_true-termination.c.i |
error (255) |
4.29 |
4.31 |
139874304 |
unknown |
4.76 |
4.77 |
168665088 |
| termination-libowfat/strrchr_short_true-termination.c.i |
error (255) |
4.15 |
4.19 |
139796480 |
unknown |
4.72 |
4.77 |
170639360 |
| termination-libowfat/strrchr_true-termination.c.i |
error (255) |
4.16 |
4.18 |
138567680 |
unknown |
6.90 |
7.01 |
172453888 |
| termination-libowfat/strspn_true-termination.c.i |
error (255) |
4.25 |
4.28 |
139845632 |
unknown |
6.79 |
6.84 |
171831296 |
| termination-libowfat/strstr_true-termination.c.i |
error (255) |
2.91 |
2.93 |
142192640 |
unknown |
7.05 |
7.11 |
175865856 |
| termination-libowfat/strtok_r_true-termination.c.i |
error (255) |
2.99 |
3.01 |
142446592 |
unknown |
7.06 |
7.08 |
177315840 |
| termination-libowfat/strtol_true-termination.c.i |
error (255) |
4.35 |
4.38 |
139919360 |
unknown |
4.78 |
4.83 |
176271360 |
| termination-libowfat/strtoul_true-termination.c.i |
error (255) |
4.20 |
4.22 |
138788864 |
unknown |
4.89 |
4.92 |
172851200 |
| termination-libowfat/strtoull_true-termination.c.i |
error (255) |
4.05 |
4.10 |
139792384 |
unknown |
6.96 |
7.00 |
171401216 |
| termination-libowfat/wcsrchr_true-termination.c.i |
error (255) |
4.22 |
4.23 |
139816960 |
unknown |
4.55 |
4.61 |
170901504 |
| termination-libowfat/wcsstr_true-termination.c.i |
error (255) |
2.86 |
2.95 |
142409728 |
unknown |
4.89 |
4.90 |
174321664 |
| termination-memory-alloca/Urban-2013WST-Fig1-alloca_false-termination.c.i |
error (255) |
2.83 |
2.84 |
141631488 |
unknown |
6.66 |
6.73 |
168693760 |
| termination-memory-alloca/Velroyen-alloca_false-termination.c.i |
error (255) |
2.83 |
3.38 |
138518528 |
unknown |
7.03 |
7.05 |
172199936 |
| termination-memory-alloca/Avery-2006FLOPS-Tabel1_true-alloca_true-termination.c.i |
error (255) |
2.88 |
3.31 |
138973184 |
unknown |
6.98 |
7.00 |
164573184 |
| termination-memory-alloca/Ben-Amram-2010LMCS-Ex2.3-alloca_true-termination.c.i |
error (255) |
4.15 |
4.20 |
142307328 |
unknown |
4.88 |
4.93 |
169848832 |
| termination-memory-alloca/BrockschmidtCookFuhs-2013CAV-Fig1-alloca_true-termination.c.i |
error (255) |
4.23 |
4.24 |
142725120 |
unknown |
6.85 |
6.91 |
169058304 |
| termination-memory-alloca/BrockschmidtCookFuhs-2013CAV-Introduction-alloca_true-termination.c.i |
error (255) |
4.08 |
4.11 |
139161600 |
unknown |
4.99 |
5.02 |
169975808 |
| termination-memory-alloca/ChenFlurMukhopadhyay-2012SAS-Fig1-alloca_true-termination.c.i |
error (255) |
4.08 |
4.10 |
137940992 |
unknown |
6.71 |
6.82 |
167940096 |
| termination-memory-alloca/CookSeeZuleger-2013TACAS-Fig3-alloca_true-termination.c.i |
error (255) |
2.85 |
3.03 |
142303232 |
unknown |
6.77 |
6.81 |
170221568 |
| termination-memory-alloca/CookSeeZuleger-2013TACAS-Fig7a-alloca_true-termination.c.i |
error (255) |
2.94 |
3.04 |
141246464 |
unknown |
6.85 |
6.86 |
170627072 |
| termination-memory-alloca/CookSeeZuleger-2013TACAS-Fig7b-alloca_true-termination.c.i |
error (255) |
4.06 |
4.12 |
139575296 |
unknown |
4.68 |
4.74 |
170229760 |
| termination-memory-alloca/GulwaniJainKoskinen-2009PLDI-Fig1-alloca_true-termination.c.i |
error (255) |
4.13 |
4.44 |
143437824 |
unknown |
4.74 |
4.78 |
167874560 |
| termination-memory-alloca/HarrisLalNoriRajamani-2010SAS-Fig1-alloca_true-termination.c.i |
error (255) |
4.05 |
4.11 |
138559488 |
unknown |
6.85 |
6.89 |
170209280 |
| termination-memory-alloca/HarrisLalNoriRajamani-2010SAS-Fig3-alloca_true-termination.c.i |
error (255) |
4.07 |
4.31 |
140722176 |
unknown |
4.63 |
4.64 |
169218048 |
| termination-memory-alloca/KroeningSharyginaTsitovichWintersteiger-2010CAV-Fig1-alloca_true-termination.c.i |
error (255) |
2.89 |
3.05 |
143216640 |
unknown |
4.68 |
4.74 |
167731200 |
| termination-memory-alloca/Masse-alloca_true-termination.c.i |
error (255) |
2.83 |
2.84 |
137732096 |
unknown |
6.97 |
7.02 |
169545728 |
| termination-memory-alloca/NoriSharma-2013FSE-Fig7-alloca_true-termination.c.i |
error (255) |
4.16 |
4.18 |
138944512 |
unknown |
6.92 |
6.95 |
169795584 |
| termination-memory-alloca/NoriSharma-2013FSE-Fig8-alloca_true-termination.c.i |
error (255) |
4.22 |
4.24 |
139276288 |
unknown |
6.85 |
6.87 |
170455040 |
| termination-memory-alloca/TelAviv-Amir-Minimum-alloca_true-termination.c.i |
error (255) |
4.21 |
4.22 |
141127680 |
unknown |
6.93 |
6.97 |
169447424 |
| termination-memory-alloca/Toulouse-BranchesToLoop-alloca_true-termination.c.i |
error (255) |
4.29 |
4.32 |
142946304 |
unknown |
4.67 |
4.75 |
169193472 |
| termination-memory-alloca/Toulouse-MultiBranchesToLoop-alloca_true-termination.c.i |
error (255) |
2.85 |
2.95 |
139669504 |
unknown |
4.88 |
4.93 |
170463232 |
| termination-memory-alloca/Urban-2013WST-Fig2-alloca_true-termination.c.i |
error (255) |
2.84 |
2.85 |
138469376 |
unknown |
6.73 |
6.82 |
170024960 |
| termination-memory-alloca/Urban-2013WST-Fig2-modified1000-alloca_true-termination.c.i |
error (255) |
2.84 |
2.89 |
139517952 |
unknown |
6.75 |
6.77 |
167874560 |
| termination-memory-alloca/Urban-alloca_true-termination.c.i |
error (255) |
2.82 |
2.83 |
139411456 |
unknown |
6.80 |
6.82 |
168128512 |
| termination-memory-alloca/a.01-alloca_true-termination_true-no-overflow.c.i |
error (255) |
4.18 |
4.28 |
142422016 |
unknown |
4.67 |
4.72 |
165117952 |
| termination-memory-alloca/a.04-alloca_true-termination_true-no-overflow.c.i |
error (255) |
4.17 |
4.24 |
142295040 |
unknown |
4.77 |
4.87 |
170721280 |
| termination-memory-alloca/a.05-alloca_true-termination_true-no-overflow.c.i |
error (255) |
4.10 |
4.18 |
138915840 |
unknown |
6.85 |
6.89 |
170504192 |
| termination-memory-alloca/a.06-alloca_true-termination_true-no-overflow.c.i |
error (255) |
4.03 |
4.05 |
138506240 |
unknown |
4.70 |
4.77 |
165818368 |
| termination-memory-alloca/a.07-alloca_true-termination_true-no-overflow.c.i |
error (255) |
2.83 |
2.86 |
138596352 |
unknown |
6.70 |
6.74 |
167956480 |
| termination-memory-alloca/a.08-alloca_true-termination_true-no-overflow.c.i |
error (255) |
2.85 |
2.87 |
142331904 |
unknown |
4.84 |
4.89 |
170000384 |
| termination-memory-alloca/a.09_assume-alloca_true-termination_true-no-overflow.c.i |
error (255) |
4.07 |
4.10 |
143093760 |
unknown |
6.86 |
6.93 |
169013248 |
| termination-memory-alloca/a.10-alloca_true-termination_true-no-overflow.c.i |
error (255) |
4.12 |
4.25 |
139771904 |
unknown |
6.83 |
6.88 |
168366080 |
| termination-memory-alloca/add_last-alloca_true-termination.c.i |
error (255) |
4.20 |
4.23 |
139653120 |
unknown |
6.77 |
6.79 |
168407040 |
| termination-memory-alloca/array01-alloca_true-termination.c.i |
error (255) |
4.31 |
4.33 |
139595776 |
unknown |
4.63 |
4.70 |
172191744 |
| termination-memory-alloca/array02-alloca_true-termination.c.i |
error (255) |
2.93 |
3.01 |
139063296 |
unknown |
4.66 |
4.68 |
169459712 |
| termination-memory-alloca/array03-alloca_true-termination.c.i |
error (255) |
2.95 |
2.98 |
142450688 |
unknown |
6.94 |
7.02 |
166445056 |
| termination-memory-alloca/aviad_true-alloca_true-termination.c.i |
error (255) |
2.84 |
3.01 |
138526720 |
unknown |
6.86 |
6.92 |
169545728 |
| termination-memory-alloca/b.01-alloca_true-termination_true-no-overflow.c.i |
error (255) |
2.68 |
2.69 |
139526144 |
unknown |
6.86 |
6.87 |
169672704 |
| termination-memory-alloca/b.02-alloca_true-termination_true-no-overflow.c.i |
error (255) |
4.20 |
4.21 |
139247616 |
unknown |
4.69 |
4.71 |
172314624 |
| termination-memory-alloca/b.03-no-inv_assume-alloca_true-termination_true-no-overflow.c.i |
error (255) |
4.30 |
4.31 |
143421440 |
unknown |
4.80 |
4.98 |
171909120 |
| termination-memory-alloca/b.03_assume-alloca_true-termination_true-no-overflow.c.i |
error (255) |
4.10 |
4.11 |
138756096 |
unknown |
6.86 |
6.97 |
170393600 |
| termination-memory-alloca/b.04-alloca_true-termination_true-no-overflow.c.i |
error (255) |
4.30 |
4.33 |
137699328 |
unknown |
6.87 |
6.91 |
169119744 |
| termination-memory-alloca/b.05-alloca_true-termination_true-no-overflow.c.i |
error (255) |
3.00 |
3.02 |
142782464 |
unknown |
4.66 |
4.72 |
169197568 |
| termination-memory-alloca/b.06-alloca_true-termination_true-no-overflow.c.i |
error (255) |
2.90 |
2.97 |
142036992 |
unknown |
6.79 |
6.83 |
167469056 |
| termination-memory-alloca/b.07-alloca_true-termination_true-no-overflow.c.i |
error (255) |
4.26 |
4.27 |
138907648 |
unknown |
6.93 |
7.04 |
168140800 |
| termination-memory-alloca/b.09-no-inv_assume-alloca_true-termination_true-no-overflow.c.i |
error (255) |
4.17 |
4.19 |
138936320 |
unknown |
4.67 |
4.69 |
168632320 |
| termination-memory-alloca/b.09_assume-alloca_true-termination_true-no-overflow.c.i |
error (255) |
4.16 |
4.20 |
139083776 |
unknown |
6.65 |
6.71 |
172716032 |
| termination-memory-alloca/b.10-alloca_true-termination_true-no-overflow.c.i |
error (255) |
4.09 |
4.13 |
139014144 |
unknown |
4.77 |
4.81 |
172621824 |
| termination-memory-alloca/b.11-alloca_true-termination_true-no-overflow.c.i |
error (255) |
2.89 |
2.93 |
142614528 |
unknown |
4.93 |
5.02 |
170102784 |
| termination-memory-alloca/b.12-alloca_true-termination_true-no-overflow.c.i |
error (255) |
2.99 |
3.09 |
143597568 |
unknown |
6.78 |
6.82 |
169431040 |
| termination-memory-alloca/b.13-alloca_true-termination_true-no-overflow.c.i |
error (255) |
2.91 |
3.00 |
139268096 |
unknown |
6.64 |
6.71 |
169373696 |
| termination-memory-alloca/b.14-alloca_true-termination_true-no-overflow.c.i |
error (255) |
4.21 |
4.22 |
143228928 |
unknown |
6.83 |
6.89 |
169611264 |
| termination-memory-alloca/b.15-alloca_true-termination_true-no-overflow.c.i |
error (255) |
4.24 |
4.36 |
141148160 |
unknown |
6.89 |
6.94 |
168132608 |
| termination-memory-alloca/b.16-alloca_true-termination_true-no-overflow.c.i |
error (255) |
4.11 |
4.13 |
139005952 |
unknown |
4.78 |
4.82 |
170119168 |
| termination-memory-alloca/b.17-alloca_true-termination_true-no-overflow.c.i |
error (255) |
4.26 |
4.38 |
139956224 |
unknown |
4.77 |
4.89 |
171409408 |
| termination-memory-alloca/b.18-alloca_true-termination_true-no-overflow.c.i |
error (255) |
2.84 |
2.87 |
139431936 |
unknown |
6.77 |
6.81 |
168816640 |
| termination-memory-alloca/bubblesort-alloca_true-termination.c.i |
error (255) |
2.78 |
2.79 |
140201984 |
unknown |
6.77 |
6.79 |
172384256 |
| termination-memory-alloca/c.01-no-inv-alloca_true-termination_true-no-overflow.c.i |
error (255) |
2.87 |
2.98 |
141963264 |
unknown |
7.00 |
7.03 |
168501248 |
| termination-memory-alloca/c.01_assume-alloca_true-termination_true-no-overflow.c.i |
error (255) |
4.13 |
4.17 |
139702272 |
unknown |
4.72 |
4.78 |
168357888 |
| termination-memory-alloca/c.02-alloca_true-termination_true-no-overflow.c.i |
error (255) |
4.09 |
4.14 |
138776576 |
unknown |
4.72 |
4.74 |
174411776 |
| termination-memory-alloca/c.03-alloca_true-termination_true-no-overflow.c.i |
error (255) |
4.02 |
4.05 |
143056896 |
unknown |
6.62 |
6.69 |
172879872 |
| termination-memory-alloca/c.07-alloca_true-termination_true-no-overflow.c.i |
error (255) |
4.11 |
4.13 |
142327808 |
unknown |
4.53 |
4.62 |
169320448 |
| termination-memory-alloca/c.08-alloca_true-termination_true-no-overflow.c.i |
error (255) |
2.80 |
2.81 |
138723328 |
unknown |
6.67 |
6.70 |
169279488 |
| termination-memory-alloca/count_down-alloca_true-termination.c.i |
error (255) |
2.88 |
2.92 |
139149312 |
unknown |
4.71 |
4.91 |
168804352 |
| termination-memory-alloca/cstrcat-alloca_true-termination.c.i |
error (255) |
4.06 |
4.09 |
140341248 |
unknown |
6.79 |
6.83 |
168845312 |
| termination-memory-alloca/cstrchr-alloca_true-termination.c.i |
error (255) |
4.12 |
4.13 |
140218368 |
unknown |
6.77 |
6.82 |
169181184 |
| termination-memory-alloca/cstrcmp-alloca_true-termination.c.i |
error (255) |
4.14 |
4.15 |
138784768 |
unknown |
6.92 |
6.94 |
164384768 |
| termination-memory-alloca/cstrcpy-alloca_true-termination.c.i |
error (255) |
4.17 |
4.18 |
139563008 |
unknown |
4.59 |
4.64 |
170754048 |
| termination-memory-alloca/cstrcspn-alloca_true-termination.c.i |
error (255) |
2.89 |
3.14 |
142430208 |
unknown |
4.76 |
4.81 |
171151360 |
| termination-memory-alloca/cstrlen-alloca_true-termination.c.i |
error (255) |
2.80 |
2.81 |
138928128 |
unknown |
7.02 |
7.06 |
167612416 |
| termination-memory-alloca/cstrncat-alloca_true-termination.c.i |
error (255) |
2.85 |
2.88 |
141979648 |
unknown |
6.69 |
6.73 |
168943616 |
| termination-memory-alloca/cstrncmp-alloca_true-termination.c.i |
error (255) |
4.18 |
4.20 |
139296768 |
unknown |
6.94 |
6.96 |
168005632 |
| termination-memory-alloca/cstrncpy-alloca_true-termination.c.i |
error (255) |
4.07 |
4.10 |
139689984 |
unknown |
4.71 |
4.73 |
171732992 |
| termination-memory-alloca/cstrpbrk-alloca_true-termination.c.i |
error (255) |
4.14 |
4.15 |
138784768 |
unknown |
4.79 |
4.83 |
170250240 |
| termination-memory-alloca/cstrspn-alloca_true-termination.c.i |
error (255) |
4.16 |
4.29 |
140242944 |
unknown |
6.88 |
6.95 |
167026688 |
| termination-memory-alloca/diff-alloca_true-termination.c.i |
error (255) |
2.84 |
2.94 |
142307328 |
unknown |
6.71 |
6.76 |
168665088 |
| termination-memory-alloca/easySum-alloca_true-termination.c.i |
error (255) |
2.85 |
2.89 |
138633216 |
unknown |
4.70 |
4.75 |
169025536 |
| termination-memory-alloca/ex1-alloca_true-termination.c.i |
error (255) |
2.81 |
2.85 |
142032896 |
unknown |
6.76 |
6.80 |
166203392 |
| termination-memory-alloca/ex2-alloca_true-termination.c.i |
error (255) |
4.24 |
4.25 |
137359360 |
unknown |
4.82 |
4.87 |
171401216 |
| termination-memory-alloca/ex3a-alloca_true-termination_true-no-overflow.c.i |
error (255) |
4.00 |
4.02 |
142585856 |
unknown |
6.70 |
6.76 |
170549248 |
| termination-memory-alloca/ex3b-alloca_true-termination.c.i |
error (255) |
4.09 |
4.10 |
139059200 |
unknown |
6.92 |
6.97 |
170143744 |
| termination-memory-alloca/fermat-alloca_true-termination.c.i |
error (255) |
4.24 |
4.26 |
139186176 |
unknown |
4.71 |
4.75 |
169398272 |
| termination-memory-alloca/flag-alloca_true-termination.c.i |
error (255) |
2.90 |
2.92 |
143577088 |
unknown |
4.68 |
4.72 |
166699008 |
| termination-memory-alloca/gcd1-alloca_true-termination.c.i |
error (255) |
2.86 |
2.91 |
139046912 |
unknown |
6.78 |
6.84 |
166805504 |
| termination-memory-alloca/genady-alloca_true-termination.c.i |
error (255) |
2.87 |
2.95 |
139427840 |
unknown |
6.82 |
6.86 |
164765696 |
| termination-memory-alloca/insertionsort-alloca_true-termination.c.i |
error (255) |
4.14 |
4.16 |
137592832 |
unknown |
6.91 |
6.96 |
174407680 |
| termination-memory-alloca/java_AG313-alloca_true-termination.c.i |
error (255) |
4.20 |
4.22 |
138940416 |
unknown |
4.58 |
4.60 |
169070592 |
| termination-memory-alloca/java_Break-alloca_true-termination.c.i |
error (255) |
4.30 |
4.32 |
142856192 |
unknown |
6.71 |
6.76 |
169951232 |
| termination-memory-alloca/java_BubbleSort-alloca_true-termination.c.i |
error (255) |
4.09 |
4.16 |
137605120 |
unknown |
4.65 |
4.67 |
167313408 |
| termination-memory-alloca/java_Continue1-alloca_true-termination.c.i |
error (255) |
2.84 |
2.87 |
139005952 |
unknown |
6.60 |
6.65 |
167993344 |
| termination-memory-alloca/java_LogBuiltIn-alloca_true-termination.c.i |
error (255) |
2.92 |
3.02 |
142151680 |
unknown |
6.75 |
6.79 |
172429312 |
| termination-memory-alloca/java_Nested-alloca_true-termination.c.i |
error (255) |
2.88 |
2.93 |
140267520 |
unknown |
4.71 |
4.72 |
169312256 |
| termination-memory-alloca/java_Sequence-alloca_true-termination.c.i |
error (255) |
4.12 |
4.18 |
142598144 |
unknown |
6.61 |
6.66 |
166162432 |
| termination-memory-alloca/lis-alloca_true-termination.c.i |
error (255) |
4.10 |
4.11 |
140234752 |
unknown |
4.78 |
4.79 |
172032000 |
| termination-memory-alloca/min_rf-alloca_true-termination.c.i |
error (255) |
4.29 |
4.30 |
139415552 |
unknown |
6.68 |
6.72 |
168935424 |
| termination-memory-alloca/mult_array-alloca_true-termination.c.i |
error (255) |
4.24 |
4.25 |
143478784 |
unknown |
4.64 |
4.67 |
169828352 |
| termination-memory-alloca/openbsd_cbzero-alloca_true-termination.c.i |
error (255) |
2.84 |
2.85 |
138854400 |
unknown |
6.83 |
6.88 |
169275392 |
| termination-memory-alloca/openbsd_cmemchr-alloca_true-termination.c.i |
error (255) |
2.87 |
2.88 |
142172160 |
unknown |
4.70 |
4.75 |
167747584 |
| termination-memory-alloca/openbsd_cmemrchr-alloca_true-termination.c.i |
error (255) |
4.24 |
4.27 |
140132352 |
unknown |
6.91 |
6.96 |
167264256 |
| termination-memory-alloca/openbsd_cmemset-alloca_true-termination.c.i |
error (255) |
4.20 |
4.21 |
142221312 |
unknown |
6.69 |
6.74 |
166522880 |
| termination-memory-alloca/openbsd_cstpcpy-alloca_true-termination.c.i |
error (255) |
4.11 |
4.20 |
138526720 |
unknown |
6.46 |
6.56 |
170799104 |
| termination-memory-alloca/openbsd_cstpncpy-alloca_true-termination.c.i |
error (255) |
2.85 |
2.96 |
142135296 |
unknown |
4.84 |
4.86 |
169881600 |
| termination-memory-alloca/openbsd_cstrcat-alloca_true-termination.c.i |
error (255) |
4.13 |
4.15 |
139530240 |
unknown |
4.66 |
4.68 |
170061824 |
| termination-memory-alloca/openbsd_cstrcmp-alloca_true-termination.c.i |
error (255) |
2.88 |
2.90 |
138649600 |
unknown |
6.81 |
6.85 |
171122688 |
| termination-memory-alloca/openbsd_cstrcpy-alloca_true-termination.c.i |
error (255) |
2.90 |
3.00 |
139124736 |
unknown |
6.95 |
6.98 |
169050112 |
| termination-memory-alloca/openbsd_cstrcspn-alloca_true-termination.c.i |
error (255) |
4.21 |
4.27 |
138657792 |
unknown |
6.96 |
7.17 |
173223936 |
| termination-memory-alloca/openbsd_cstrlcpy-alloca_true-termination.c.i |
error (255) |
4.22 |
4.24 |
139182080 |
unknown |
4.88 |
4.92 |
171167744 |
| termination-memory-alloca/openbsd_cstrlen-alloca_true-termination.c.i |
error (255) |
2.86 |
2.90 |
142393344 |
unknown |
4.67 |
4.73 |
166133760 |
| termination-memory-alloca/openbsd_cstrncat-alloca_true-termination.c.i |
error (255) |
4.21 |
4.23 |
139575296 |
unknown |
7.03 |
7.08 |
167571456 |
| termination-memory-alloca/openbsd_cstrncmp-alloca_true-termination.c.i |
error (255) |
4.24 |
4.26 |
139264000 |
unknown |
4.66 |
4.70 |
168820736 |
| termination-memory-alloca/openbsd_cstrncpy-alloca_true-termination.c.i |
error (255) |
2.89 |
2.92 |
143163392 |
unknown |
4.67 |
4.69 |
170467328 |
| termination-memory-alloca/openbsd_cstrnlen-alloca_true-termination.c.i |
error (255) |
2.88 |
2.89 |
139976704 |
unknown |
6.83 |
6.95 |
169295872 |
| termination-memory-alloca/openbsd_cstrpbrk-alloca_true-termination.c.i |
error (255) |
4.26 |
4.28 |
139812864 |
unknown |
6.89 |
6.91 |
166547456 |
| termination-memory-alloca/openbsd_cstrspn-alloca_true-termination.c.i |
error (255) |
4.24 |
4.38 |
142188544 |
unknown |
6.78 |
6.79 |
170369024 |
| termination-memory-alloca/openbsd_cstrstr-alloca_true-termination.c.i |
error (255) |
4.23 |
4.27 |
138805248 |
unknown |
6.57 |
6.60 |
170033152 |
| termination-memory-alloca/rec_strlen-alloca_true-termination.c.i |
error (255) |
4.24 |
4.28 |
139444224 |
timeout |
21.0 |
21.0 |
229597184 |
| termination-memory-alloca/selectionsort-alloca_true-termination.c.i |
error (255) |
2.90 |
3.00 |
141770752 |
unknown |
4.60 |
4.64 |
166957056 |
| termination-memory-alloca/stroeder1-alloca_true-termination.c.i |
error (255) |
2.99 |
3.05 |
142684160 |
unknown |
7.13 |
7.17 |
172699648 |
| termination-memory-alloca/stroeder2-alloca_true-termination.c.i |
error (255) |
2.85 |
2.88 |
143265792 |
unknown |
7.02 |
7.08 |
173645824 |
| termination-memory-alloca/strreplace-alloca_true-termination.c.i |
error (255) |
4.24 |
4.25 |
140337152 |
unknown |
7.08 |
7.09 |
172466176 |
| termination-memory-alloca/subseq-alloca_true-termination.c.i |
error (255) |
4.11 |
4.12 |
139026432 |
unknown |
7.08 |
7.11 |
169115648 |
| termination-memory-alloca/substring-alloca_true-termination.c.i |
error (255) |
4.17 |
4.32 |
140046336 |
unknown |
4.92 |
4.96 |
171298816 |
| termination-memory-alloca/twisted-alloca_true-termination.c.i |
error (255) |
4.11 |
4.15 |
139558912 |
unknown |
4.81 |
4.87 |
168665088 |
| termination-memory-linkedlists/cll_by_lseg-alloca_false-termination.c.i |
error (255) |
2.85 |
2.88 |
138493952 |
timeout (error (143)) |
20.9 |
21.1 |
225554432 |
| termination-memory-linkedlists/cll_by_lseg_traverse-alloca_false-termination.c.i |
error (255) |
3.05 |
3.06 |
138895360 |
timeout (error (143)) |
20.8 |
21.1 |
226197504 |
| termination-memory-linkedlists/cll_search-alloca_false-termination.c.i |
error (255) |
3.20 |
3.23 |
139407360 |
unknown |
7.23 |
7.29 |
167964672 |
| termination-memory-linkedlists/cll_traverse-alloca_false-termination.c.i |
error (255) |
4.23 |
4.36 |
139157504 |
unknown |
7.20 |
7.23 |
174370816 |
| termination-memory-linkedlists/ll_append-alloca_false-termination.c.i |
error (255) |
4.13 |
4.25 |
138768384 |
timeout (error (143)) |
21.0 |
21.0 |
227409920 |
| termination-memory-linkedlists/ll_append_rec-alloca_false-termination.c.i |
error (255) |
4.12 |
4.13 |
142479360 |
timeout |
21.0 |
21.0 |
226586624 |
| termination-memory-linkedlists/ll_create_rec-alloca_false-termination.c.i |
error (255) |
4.23 |
4.25 |
140349440 |
timeout (error (143)) |
21.0 |
21.0 |
227426304 |
| termination-memory-linkedlists/nondet_ll_search-alloca_false-termination.c.i |
error (255) |
2.95 |
2.97 |
143626240 |
unknown |
5.58 |
5.58 |
169418752 |
| termination-memory-linkedlists/nondet_ll_traverse-alloca_false-termination.c.i |
error (255) |
2.88 |
2.91 |
138821632 |
unknown |
6.59 |
6.64 |
168050688 |
| termination-memory-linkedlists/cll_by_lseg-alloca_true-termination.c.i |
error (255) |
4.21 |
4.23 |
139026432 |
timeout |
21.0 |
21.0 |
227930112 |
| termination-memory-linkedlists/cll_search-alloca_true-termination.c.i |
error (255) |
4.14 |
4.15 |
137482240 |
unknown |
7.52 |
7.57 |
169836544 |
| termination-memory-linkedlists/ll_append-alloca_true-termination.c.i |
error (255) |
2.88 |
2.92 |
142041088 |
timeout |
21.0 |
21.0 |
228380672 |
| termination-memory-linkedlists/ll_append_rec-alloca_true-termination.c.i |
error (255) |
4.14 |
4.22 |
138768384 |
timeout (error (143)) |
21.0 |
21.0 |
230907904 |
| termination-memory-linkedlists/ll_create_rec-alloca_true-termination.c.i |
error (255) |
4.23 |
4.25 |
140869632 |
timeout (error (143)) |
20.8 |
21.0 |
228478976 |
| termination-memory-linkedlists/ll_search-alloca_true-termination.c.i |
error (255) |
2.78 |
2.83 |
139403264 |
unknown |
7.84 |
7.89 |
171376640 |
| termination-memory-linkedlists/ll_search_not_found-alloca_true-termination.c.i |
error (255) |
2.95 |
3.13 |
143630336 |
unknown |
7.82 |
7.86 |
171233280 |
| termination-memory-linkedlists/ll_traverse-alloca_true-termination.c.i |
error (255) |
2.86 |
2.90 |
139018240 |
unknown |
8.70 |
8.86 |
170643456 |
| termination-memory-linkedlists/nondet_ll_search-alloca_true-termination.c.i |
error (255) |
4.24 |
4.26 |
139976704 |
unknown |
8.09 |
8.18 |
170864640 |
| termination-15/add_first_alloca_true-termination.c.i |
error (255) |
4.20 |
4.24 |
138657792 |
unknown |
6.98 |
7.01 |
170201088 |
| termination-15/array05_alloca_true-termination.c.i |
error (255) |
4.12 |
4.14 |
139231232 |
unknown |
4.91 |
4.94 |
172367872 |
| termination-15/array06_alloca_true-termination.c.i |
error (255) |
4.20 |
4.24 |
139046912 |
unknown |
7.09 |
7.21 |
169828352 |
| termination-15/array07_alloca_true-termination.c.i |
error (255) |
2.98 |
3.08 |
143495168 |
unknown |
6.85 |
6.86 |
170758144 |
| termination-15/array08_alloca_true-termination.c.i |
error (255) |
2.85 |
2.89 |
138645504 |
unknown |
4.88 |
4.90 |
174059520 |
| termination-15/array09_alloca_true-termination.c.i |
error (255) |
4.24 |
4.26 |
142884864 |
unknown |
4.89 |
4.93 |
172064768 |
| termination-15/array10_alloca_true-termination.c.i |
error (255) |
4.18 |
4.20 |
139448320 |
unknown |
7.01 |
7.07 |
170258432 |
| termination-15/array12_alloca_true-termination.c.i |
error (255) |
4.33 |
4.35 |
139685888 |
unknown |
6.81 |
6.86 |
171290624 |
| termination-15/array13_alloca_true-termination.c.i |
error (255) |
4.05 |
4.08 |
141258752 |
unknown |
4.79 |
4.83 |
175636480 |
| termination-15/array16_alloca_fixed_true-termination.c.i |
error (255) |
2.84 |
2.85 |
139177984 |
unknown |
6.89 |
6.94 |
171753472 |
| termination-15/array17_alloca_true-termination.c.i |
error (255) |
2.82 |
2.84 |
138379264 |
unknown |
6.89 |
6.91 |
169078784 |
| termination-15/array18_alloca_true-termination.c.i |
error (255) |
4.13 |
4.17 |
139300864 |
unknown |
4.68 |
4.72 |
170586112 |
| termination-15/count_up_alloca_true-termination.c.i |
error (255) |
4.19 |
4.20 |
138407936 |
unknown |
4.68 |
4.73 |
173277184 |
| termination-15/count_up_and_down_alloca_true-termination.c.i |
error (255) |
4.16 |
4.18 |
139272192 |
unknown |
6.91 |
6.92 |
170881024 |
| termination-15/cstrcat_diffterm_alloca_true-termination.c.i |
error (255) |
4.11 |
4.13 |
138649600 |
unknown |
6.78 |
6.84 |
171454464 |
| termination-15/cstrcat_malloc_true-termination.c.i |
error (255) |
2.96 |
3.13 |
143933440 |
unknown |
4.67 |
4.73 |
171692032 |
| termination-15/cstrcat_mixed_alloca_true-termination.c.i |
error (255) |
2.81 |
2.89 |
138801152 |
unknown |
6.77 |
6.86 |
173690880 |
| termination-15/cstrcat_reverse_alloca_true-termination.c.i |
error (255) |
2.85 |
2.89 |
138637312 |
unknown |
6.76 |
6.77 |
170348544 |
| termination-15/cstrchr_diffterm_alloca_true-termination.c.i |
error (255) |
2.93 |
2.94 |
139014144 |
unknown |
4.69 |
4.73 |
170115072 |
| termination-15/cstrchr_malloc_true-termination.c.i |
error (255) |
4.29 |
4.36 |
138608640 |
unknown |
4.68 |
4.72 |
170381312 |
| termination-15/cstrchr_reverse_alloca_true-termination.c.i |
error (255) |
4.27 |
4.34 |
138977280 |
unknown |
6.72 |
6.73 |
172953600 |
| termination-15/cstrcmp_diffterm_alloca_true-termination.c.i |
error (255) |
4.31 |
4.34 |
139444224 |
unknown |
6.77 |
6.82 |
171167744 |
| termination-15/cstrcmp_malloc_true-termination.c.i |
error (255) |
4.22 |
4.35 |
140996608 |
unknown |
4.73 |
4.74 |
172195840 |
| termination-15/cstrcmp_mixed_alloca_true-termination.c.i |
error (255) |
2.82 |
2.85 |
138219520 |
unknown |
6.82 |
6.87 |
171655168 |
| termination-15/cstrcmp_reverse_alloca_true-termination.c.i |
error (255) |
2.97 |
2.99 |
142741504 |
unknown |
6.84 |
6.86 |
175611904 |
| termination-15/cstrcpy_diffterm_alloca_true-termination.c.i |
error (255) |
4.20 |
4.22 |
141139968 |
unknown |
4.68 |
4.73 |
166023168 |
| termination-15/cstrcpy_malloc_true-termination.c.i |
error (255) |
4.15 |
4.28 |
139964416 |
unknown |
6.88 |
6.95 |
176128000 |
| termination-15/cstrcpy_mixed_alloca_true-termination.c.i |
error (255) |
4.23 |
4.56 |
143118336 |
unknown |
4.67 |
4.74 |
173002752 |
| termination-15/cstrcpy_reverse_alloca_true-termination.c.i |
error (255) |
4.16 |
4.20 |
138883072 |
unknown |
6.76 |
6.80 |
177434624 |
| termination-15/cstrcspn_diffterm_alloca_true-termination.c.i |
error (255) |
2.80 |
2.81 |
139161600 |
unknown |
4.69 |
4.75 |
173395968 |
| termination-15/cstrcspn_malloc_true-termination.c.i |
error (255) |
2.89 |
2.92 |
140988416 |
unknown |
6.98 |
7.02 |
169869312 |
| termination-15/cstrcspn_mixed_alloca_true-termination.c.i |
error (255) |
2.87 |
2.91 |
142241792 |
unknown |
6.92 |
6.94 |
170029056 |
| termination-15/cstrcspn_reverse_alloca_true-termination.c.i |
error (255) |
2.88 |
2.92 |
142950400 |
unknown |
4.84 |
4.89 |
175714304 |
| termination-15/cstrlen_diffterm_alloca_true-termination.c.i |
error (255) |
4.30 |
4.34 |
139051008 |
unknown |
6.80 |
6.81 |
167215104 |
| termination-15/cstrlen_malloc_true-termination.c.i |
error (255) |
4.18 |
4.20 |
138932224 |
unknown |
4.69 |
4.73 |
172097536 |
| termination-15/cstrlen_reverse_alloca_true-termination.c.i |
error (255) |
4.05 |
4.13 |
138780672 |
unknown |
6.91 |
6.95 |
171220992 |
| termination-15/cstrncat_diffterm_alloca_true-termination.c.i |
error (255) |
4.17 |
4.20 |
138956800 |
unknown |
4.69 |
4.76 |
173367296 |
| termination-15/cstrncat_malloc_true-termination.c.i |
error (255) |
2.91 |
2.92 |
142352384 |
unknown |
6.94 |
7.02 |
172462080 |
| termination-15/cstrncat_mixed_alloca_true-termination.c.i |
error (255) |
2.87 |
2.91 |
142168064 |
unknown |
6.85 |
6.86 |
173670400 |
| termination-15/cstrncat_reverse_alloca_true-termination.c.i |
error (255) |
4.10 |
4.15 |
138645504 |
unknown |
4.91 |
4.95 |
173510656 |
| termination-15/cstrncmp_diffterm_alloca_true-termination.c.i |
error (255) |
4.22 |
4.24 |
139431936 |
unknown |
6.82 |
6.87 |
173424640 |
| termination-15/cstrncmp_malloc_true-termination.c.i |
error (255) |
4.13 |
4.15 |
139239424 |
unknown |
4.79 |
4.83 |
173989888 |
| termination-15/cstrncmp_mixed_alloca_true-termination.c.i |
error (255) |
4.18 |
4.20 |
142462976 |
unknown |
6.93 |
7.02 |
171315200 |
| termination-15/cstrncmp_reverse_alloca_true-termination.c.i |
error (255) |
2.91 |
2.96 |
141344768 |
unknown |
6.81 |
6.83 |
173215744 |
| termination-15/cstrncpy_diffterm_alloca_true-termination.c.i |
error (255) |
2.88 |
2.89 |
139157504 |
unknown |
6.87 |
6.89 |
173518848 |
| termination-15/cstrncpy_malloc_true-termination.c.i |
error (255) |
2.78 |
2.86 |
139653120 |
unknown |
4.83 |
4.87 |
171552768 |
| termination-15/cstrncpy_mixed_alloca_true-termination.c.i |
error (255) |
2.80 |
2.81 |
138321920 |
unknown |
4.77 |
4.82 |
171503616 |
| termination-15/cstrncpy_reverse_alloca_true-termination.c.i |
error (255) |
4.12 |
4.18 |
139563008 |
unknown |
6.85 |
6.90 |
171495424 |
| termination-15/cstrpbrk_diffterm_alloca_true-termination.c.i |
error (255) |
4.27 |
4.28 |
139153408 |
unknown |
6.86 |
6.90 |
171958272 |
| termination-15/cstrpbrk_malloc_true-termination.c.i |
error (255) |
4.17 |
4.19 |
142225408 |
unknown |
4.73 |
4.79 |
172232704 |
| termination-15/cstrpbrk_mixed_alloca_true-termination.c.i |
error (255) |
4.09 |
4.11 |
142282752 |
unknown |
6.96 |
7.00 |
170516480 |
| termination-15/cstrpbrk_reverse_alloca_true-termination.c.i |
error (255) |
2.86 |
2.91 |
142458880 |
unknown |
6.48 |
6.53 |
172765184 |
| termination-15/cstrspn_diffterm_alloca_true-termination.c.i |
error (255) |
2.98 |
3.01 |
142401536 |
unknown |
4.76 |
4.77 |
175849472 |
| termination-15/cstrspn_malloc_true-termination.c.i |
error (255) |
4.18 |
4.19 |
141021184 |
unknown |
4.82 |
4.83 |
173920256 |
| termination-15/cstrspn_mixed_alloca_true-termination.c.i |
error (255) |
4.10 |
4.12 |
139550720 |
unknown |
7.00 |
7.05 |
175583232 |
| termination-15/cstrspn_reverse_alloca_true-termination.c.i |
error (255) |
4.26 |
4.28 |
139296768 |
unknown |
6.82 |
6.87 |
172990464 |
| termination-15/array04_alloca_false-termination.c.i |
error (255) |
4.18 |
4.20 |
142454784 |
unknown |
4.83 |
4.87 |
170487808 |
| termination-15/array14_alloca_false-termination.c.i |
error (255) |
2.85 |
2.87 |
138489856 |
unknown |
6.79 |
6.84 |
173117440 |
| termination-15/array15_alloca_false-termination.c.i |
error (255) |
2.96 |
2.97 |
142270464 |
unknown |
6.71 |
6.74 |
172281856 |
| termination-15/array16_alloca_original_false-termination.c.i |
error (255) |
2.69 |
2.80 |
138653696 |
unknown |
4.66 |
4.69 |
166789120 |
| termination-15/array19_alloca_false-termination.c.i |
error (255) |
4.16 |
4.19 |
142184448 |
unknown |
4.63 |
4.71 |
175165440 |
| termination-15/array20_alloca_false-termination.c.i |
error (255) |
4.16 |
4.18 |
138240000 |
unknown |
6.66 |
6.71 |
179171328 |
| termination-recursive-malloc/chunk1_true-termination.c.i |
error (255) |
4.14 |
4.17 |
142233600 |
timeout |
21.0 |
21.5 |
223879168 |
| termination-recursive-malloc/chunk2_true-termination.c.i |
error (255) |
4.15 |
4.17 |
140537856 |
timeout |
21.0 |
21.5 |
222003200 |
| termination-recursive-malloc/chunk3_true-termination.c.i |
error (255) |
2.81 |
2.84 |
137179136 |
timeout |
21.0 |
21.1 |
219258880 |
| termination-recursive-malloc/insertionSort_recursive_true-termination.c.i |
error (255) |
2.83 |
2.88 |
139456512 |
timeout |
21.0 |
21.0 |
219467776 |
| termination-recursive-malloc/mergeSort_true-termination.c.i |
error (255) |
2.82 |
2.85 |
139042816 |
timeout |
21.0 |
21.1 |
221192192 |
| termination-recursive-malloc/mutual_simple2_true-termination.c.i |
error (255) |
4.09 |
4.20 |
139395072 |
timeout (error (143)) |
20.9 |
21.1 |
222097408 |
| termination-recursive-malloc/mutual_simple_true-termination.c.i |
error (255) |
4.20 |
4.22 |
139411456 |
timeout |
21.0 |
21.0 |
221491200 |
| termination-recursive-malloc/rec_malloc_ex10_true-termination.c.i |
error (255) |
4.12 |
4.15 |
139874304 |
timeout |
21.0 |
21.0 |
222560256 |
| termination-recursive-malloc/rec_malloc_ex11B_true-termination.c.i |
error (255) |
4.20 |
4.22 |
142426112 |
timeout |
21.0 |
21.0 |
217804800 |
| termination-recursive-malloc/rec_malloc_ex11C_true-termination.c.i |
error (255) |
2.94 |
2.97 |
143282176 |
timeout |
21.0 |
21.0 |
223023104 |
| termination-recursive-malloc/rec_malloc_ex11D_true-termination.c.i |
error (255) |
2.93 |
2.96 |
143585280 |
timeout |
21.0 |
21.0 |
223645696 |
| termination-recursive-malloc/rec_malloc_ex11_true-termination.c.i |
error (255) |
4.11 |
4.15 |
140767232 |
timeout |
21.0 |
21.0 |
223178752 |
| termination-recursive-malloc/rec_malloc_ex1_true-termination.c.i |
error (255) |
4.07 |
4.10 |
138387456 |
timeout |
21.0 |
21.1 |
220676096 |
| termination-recursive-malloc/rec_malloc_ex2_true-termination.c.i |
error (255) |
4.14 |
4.18 |
143339520 |
timeout (error (143)) |
21.0 |
21.1 |
217194496 |
| termination-recursive-malloc/rec_malloc_ex3_true-termination.c.i |
error (255) |
4.10 |
4.12 |
139976704 |
timeout |
21.0 |
21.1 |
221872128 |
| termination-recursive-malloc/rec_malloc_ex4_true-termination.c.i |
error (255) |
2.85 |
2.95 |
138588160 |
timeout |
21.0 |
21.0 |
218693632 |
| termination-recursive-malloc/rec_malloc_ex5B_true-termination.c.i |
error (255) |
2.91 |
2.95 |
143478784 |
timeout |
21.0 |
21.1 |
220315648 |
| termination-recursive-malloc/rec_malloc_ex5_true-termination.c.i |
error (255) |
2.86 |
2.91 |
140713984 |
timeout |
21.0 |
21.1 |
224124928 |
| termination-recursive-malloc/rec_malloc_ex6_true-termination.c.i |
error (255) |
2.82 |
2.83 |
139034624 |
timeout (error (143)) |
20.7 |
21.2 |
223444992 |
| termination-recursive-malloc/rec_malloc_ex7B_true-termination.c.i |
error (255) |
4.15 |
4.24 |
140730368 |
timeout (error (143)) |
21.0 |
21.2 |
220950528 |
| termination-recursive-malloc/rec_malloc_ex7_true-termination.c.i |
error (255) |
4.15 |
4.25 |
137609216 |
timeout (error (143)) |
20.9 |
21.2 |
220319744 |
| termination-recursive-malloc/rec_malloc_ex8_true-termination.c.i |
error (255) |
4.14 |
4.15 |
138878976 |
timeout |
21.0 |
21.2 |
218267648 |
| termination-recursive-malloc/rec_malloc_ex9_true-termination.c.i |
error (255) |
4.14 |
4.15 |
137420800 |
timeout |
21.0 |
21.1 |
223027200 |
| termination-recursive-malloc/rec_strcopy_malloc2_true-termination.c.i |
error (255) |
2.90 |
2.94 |
142204928 |
timeout |
21.0 |
21.0 |
220921856 |
| termination-recursive-malloc/rec_strcopy_malloc_true-termination.c.i |
error (255) |
2.87 |
2.91 |
142180352 |
timeout |
21.0 |
21.0 |
217296896 |
| termination-recursive-malloc/rec_strlen_malloc_true-termination.c.i |
error (255) |
4.07 |
4.10 |
138543104 |
timeout (error (143)) |
21.0 |
21.0 |
222785536 |
| termination-recursive-malloc/selectionSort_recursive_true-termination.c.i |
error (255) |
4.18 |
4.20 |
139649024 |
timeout |
21.0 |
21.0 |
221360128 |
| ssh-simplified/s3_clnt_3.cil_true-unreach-call_true-termination.c |
error (255) |
3.08 |
3.12 |
142942208 |
unknown |
6.69 |
6.73 |
164454400 |
| pthread-atomic/gcd_true-unreach-call_true-termination.i |
error (255) |
2.94 |
2.95 |
139554816 |
unknown |
5.95 |
5.96 |
167243776 |