| array-examples/standard_init7_true-unreach-call_ground.i |
error: exception |
4.46 |
4.50 |
168669184 |
unknown |
4.90 |
4.95 |
176398336 |
| array-industry-pattern/array_ptr_single_elem_init_false-unreach-call_true-termination.i |
error: exception |
4.19 |
4.22 |
168636416 |
unknown |
4.93 |
4.96 |
176484352 |
| array-industry-pattern/array_of_struct_ptr_monotonic_true-unreach-call.i |
timeout (error (143)) |
20.4 |
20.5 |
1213845504 |
timeout |
21.0 |
21.1 |
1267539968 |
| array-industry-pattern/array_ptr_partial_init_true-unreach-call.i |
timeout (error (143)) |
21.0 |
21.1 |
1212436480 |
timeout |
21.0 |
21.2 |
1278222336 |
| array-industry-pattern/array_ptr_single_elem_init_true-unreach-call.i |
timeout (error (143)) |
21.0 |
21.1 |
1187893248 |
timeout |
21.0 |
21.1 |
1294245888 |
| array-tiling/nr3_true-unreach-call.i |
unknown |
4.98 |
5.02 |
177565696 |
error: exception |
4.18 |
4.20 |
169070592 |
| bitvector/sum02_false-unreach-call_true-no-overflow.i |
unknown |
4.77 |
4.82 |
176611328 |
error: exception |
4.45 |
4.48 |
167522304 |
| bitvector/s3_srvr_3_true-unreach-call_true-no-overflow.BV.c.cil.c |
unknown |
7.72 |
7.79 |
190771200 |
error: exception |
4.33 |
4.37 |
165752832 |
| ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c |
unknown |
6.25 |
6.33 |
241553408 |
error: exception |
5.83 |
5.88 |
168951808 |
| ntdrivers/cdaudio_false-unreach-call.i.cil.c |
unknown |
14.6 |
14.8 |
705982464 |
error: exception |
11.9 |
11.9 |
592351232 |
| ntdrivers/kbfiltr_false-unreach-call.i.cil.c |
unknown |
10.7 |
10.7 |
383225856 |
error: exception |
9.34 |
9.42 |
293814272 |
| ntdrivers/parport_false-unreach-call.i.cil.c |
error: type error |
14.6 |
14.7 |
487649280 |
error: exception |
11.9 |
12.3 |
525291520 |
| ntdrivers/cdaudio_true-unreach-call.i.cil.c |
timeout |
15.2 |
15.3 |
704417792 |
error: exception |
12.5 |
12.6 |
602750976 |
| ntdrivers/parport_true-unreach-call.i.cil.c |
error: type error |
13.9 |
14.0 |
485605376 |
error: exception |
12.4 |
12.6 |
531857408 |
| eca-rers2012/Problem05_label26_false-unreach-call.c |
timeout (error (143)) |
16.7 |
16.8 |
676839424 |
unknown |
13.4 |
13.4 |
791793664 |
| eca-rers2012/Problem05_label44_false-unreach-call.c |
unknown |
12.4 |
12.5 |
709206016 |
timeout (error (143)) |
16.1 |
16.2 |
681078784 |
| eca-rers2012/Problem06_label11_false-unreach-call.c |
timeout (error (143)) |
17.5 |
17.6 |
778420224 |
unknown |
12.5 |
12.6 |
793849856 |
| eca-rers2012/Problem06_label27_false-unreach-call.c |
unknown |
11.8 |
11.8 |
707977216 |
timeout (error (143)) |
16.4 |
16.5 |
689848320 |
| eca-rers2012/Problem07_label03_false-unreach-call.c |
timeout (error (143)) |
21.0 |
21.1 |
851750912 |
timeout |
21.0 |
21.1 |
841936896 |
| eca-rers2012/Problem07_label06_false-unreach-call.c |
timeout (error (143)) |
21.0 |
21.1 |
845807616 |
timeout |
21.0 |
21.1 |
931545088 |
| eca-rers2012/Problem07_label11_false-unreach-call.c |
timeout (error (143)) |
21.0 |
21.1 |
952598528 |
error: exception |
4.18 |
4.22 |
172171264 |
| eca-rers2012/Problem07_label18_false-unreach-call.c |
timeout (error (143)) |
21.0 |
21.1 |
849965056 |
timeout |
21.0 |
21.1 |
841424896 |
| eca-rers2012/Problem07_label19_false-unreach-call.c |
timeout (error (143)) |
21.0 |
21.1 |
851173376 |
timeout |
21.0 |
21.1 |
844021760 |
| eca-rers2012/Problem07_label23_false-unreach-call.c |
timeout (error (143)) |
21.0 |
21.1 |
853192704 |
timeout |
21.0 |
21.1 |
848965632 |
| eca-rers2012/Problem07_label30_false-unreach-call.c |
timeout (error (143)) |
21.0 |
21.1 |
851230720 |
timeout |
21.0 |
21.1 |
843456512 |
| eca-rers2012/Problem07_label35_false-unreach-call.c |
timeout (error (143)) |
21.0 |
21.1 |
844386304 |
timeout |
21.0 |
21.1 |
942895104 |
| eca-rers2012/Problem07_label37_false-unreach-call.c |
timeout (error (143)) |
21.0 |
21.1 |
847228928 |
timeout |
21.0 |
21.1 |
839528448 |
| eca-rers2012/Problem07_label39_false-unreach-call.c |
timeout (error (143)) |
21.0 |
21.1 |
849465344 |
timeout |
21.0 |
21.1 |
838742016 |
| eca-rers2012/Problem07_label46_false-unreach-call.c |
timeout (error (143)) |
21.0 |
21.1 |
850071552 |
timeout |
21.0 |
21.1 |
842842112 |
| eca-rers2012/Problem07_label47_false-unreach-call.c |
timeout (error (143)) |
21.0 |
21.1 |
853524480 |
timeout |
21.0 |
21.1 |
838987776 |
| eca-rers2012/Problem07_label48_false-unreach-call.c |
timeout |
21.0 |
21.1 |
850452480 |
timeout (error (143)) |
21.0 |
21.1 |
854122496 |
| eca-rers2012/Problem08_label04_false-unreach-call.c |
timeout (error (143)) |
21.0 |
21.1 |
898617344 |
timeout |
21.0 |
21.1 |
897306624 |
| eca-rers2012/Problem08_label28_false-unreach-call.c |
timeout |
21.0 |
21.2 |
902397952 |
timeout (error (143)) |
21.0 |
21.1 |
896241664 |
| eca-rers2012/Problem08_label34_false-unreach-call.c |
timeout (error (143)) |
21.0 |
21.1 |
897089536 |
timeout |
21.0 |
21.1 |
896081920 |
| eca-rers2012/Problem08_label37_false-unreach-call.c |
timeout (error (143)) |
21.0 |
21.1 |
902348800 |
timeout |
21.0 |
21.1 |
899624960 |
| eca-rers2012/Problem08_label43_false-unreach-call.c |
timeout |
21.0 |
21.1 |
896262144 |
timeout (error (143)) |
21.0 |
21.1 |
899846144 |
| eca-rers2012/Problem08_label50_false-unreach-call.c |
timeout (error (143)) |
21.0 |
21.1 |
899026944 |
timeout |
21.0 |
21.1 |
903753728 |
| eca-rers2012/Problem09_label02_false-unreach-call.c |
timeout (error (143)) |
21.0 |
21.1 |
916897792 |
timeout |
21.0 |
21.1 |
963129344 |
| eca-rers2012/Problem09_label03_false-unreach-call.c |
timeout (error (143)) |
21.0 |
21.1 |
940621824 |
timeout |
21.0 |
21.1 |
966381568 |
| eca-rers2012/Problem09_label06_false-unreach-call.c |
timeout (error (143)) |
21.0 |
21.1 |
919273472 |
timeout |
21.0 |
21.1 |
919392256 |
| eca-rers2012/Problem09_label08_false-unreach-call.c |
timeout (error (143)) |
21.0 |
21.1 |
920219648 |
timeout |
21.0 |
21.1 |
918667264 |
| eca-rers2012/Problem09_label15_false-unreach-call.c |
timeout (error (143)) |
21.0 |
21.1 |
961536000 |
timeout |
21.0 |
21.1 |
919982080 |
| eca-rers2012/Problem09_label19_false-unreach-call.c |
timeout (error (143)) |
21.0 |
21.1 |
915767296 |
timeout |
21.0 |
21.1 |
920424448 |
| eca-rers2012/Problem09_label36_false-unreach-call.c |
timeout (error (143)) |
21.0 |
21.1 |
922079232 |
timeout |
21.0 |
21.1 |
916512768 |
| eca-rers2012/Problem09_label46_false-unreach-call.c |
timeout (error (143)) |
21.0 |
21.1 |
921882624 |
timeout |
21.0 |
21.1 |
962629632 |
| eca-rers2012/Problem09_label51_false-unreach-call.c |
timeout (error (143)) |
21.0 |
21.1 |
919052288 |
timeout |
21.0 |
21.1 |
955887616 |
| eca-rers2012/Problem09_label53_false-unreach-call.c |
timeout |
21.0 |
21.1 |
923078656 |
timeout (error (143)) |
21.0 |
21.1 |
962568192 |
| eca-rers2012/Problem09_label56_false-unreach-call.c |
timeout (error (143)) |
21.0 |
21.1 |
920076288 |
timeout |
21.0 |
21.1 |
924471296 |
| eca-rers2012/Problem09_label57_false-unreach-call.c |
timeout |
21.0 |
21.1 |
921579520 |
timeout (error (143)) |
21.0 |
21.1 |
920735744 |
| eca-rers2012/Problem12_label13_false-unreach-call.c |
error: exception |
4.45 |
4.50 |
168660992 |
unknown |
14.1 |
14.2 |
578387968 |
| eca-rers2012/Problem12_label52_false-unreach-call.c |
unknown |
13.1 |
13.3 |
484446208 |
timeout |
15.0 |
15.1 |
574849024 |
| eca-rers2012/Problem13_label04_false-unreach-call.c |
unknown |
10.5 |
10.6 |
602120192 |
timeout |
15.1 |
15.2 |
724205568 |
| eca-rers2012/Problem13_label06_false-unreach-call.c |
timeout |
15.7 |
15.8 |
694386688 |
unknown |
10.3 |
10.5 |
730628096 |
| eca-rers2012/Problem13_label12_false-unreach-call.c |
unknown |
14.9 |
15.0 |
686837760 |
timeout |
15.2 |
15.3 |
728735744 |
| eca-rers2012/Problem13_label19_false-unreach-call.c |
unknown |
11.1 |
11.1 |
688881664 |
timeout |
15.4 |
15.5 |
730636288 |
| eca-rers2012/Problem13_label23_false-unreach-call.c |
timeout (error (143)) |
15.9 |
16.2 |
687435776 |
timeout |
15.4 |
15.5 |
723402752 |
| eca-rers2012/Problem13_label29_false-unreach-call.c |
unknown |
14.2 |
14.3 |
600207360 |
timeout |
15.6 |
15.7 |
730554368 |
| eca-rers2012/Problem13_label30_false-unreach-call.c |
unknown |
14.3 |
14.6 |
607240192 |
timeout (error (143)) |
16.0 |
16.1 |
735903744 |
| eca-rers2012/Problem13_label35_false-unreach-call.c |
unknown |
14.7 |
14.8 |
596135936 |
timeout |
15.1 |
15.2 |
730296320 |
| eca-rers2012/Problem13_label40_false-unreach-call.c |
unknown |
14.7 |
14.8 |
595521536 |
timeout |
15.2 |
15.3 |
732217344 |
| eca-rers2012/Problem13_label43_false-unreach-call.c |
unknown |
14.9 |
15.0 |
685658112 |
timeout |
15.5 |
15.6 |
735367168 |
| eca-rers2012/Problem13_label54_false-unreach-call.c |
unknown |
10.9 |
10.9 |
682987520 |
timeout |
15.4 |
15.6 |
730988544 |
| eca-rers2012/Problem13_label58_false-unreach-call.c |
unknown |
14.7 |
14.9 |
596623360 |
timeout |
15.3 |
15.4 |
734355456 |
| eca-rers2012/Problem19_label11_false-unreach-call.c |
timeout (error (143)) |
18.9 |
19.1 |
861908992 |
unknown |
12.8 |
12.9 |
760295424 |
| eca-rers2012/Problem19_label22_false-unreach-call.c |
timeout (error (143)) |
18.5 |
18.6 |
858681344 |
unknown |
13.1 |
13.2 |
757383168 |
| eca-rers2012/Problem19_label28_false-unreach-call.c |
unknown |
12.5 |
12.6 |
720818176 |
timeout (error (143)) |
16.7 |
16.8 |
666660864 |
| eca-rers2012/Problem19_label29_false-unreach-call.c |
unknown |
12.5 |
12.6 |
713097216 |
timeout (error (143)) |
16.8 |
16.9 |
665276416 |
| eca-rers2012/Problem01_label07_true-unreach-call_false-termination.c |
unknown |
5.54 |
5.58 |
208183296 |
error: exception |
4.36 |
4.38 |
170917888 |
| eca-rers2012/Problem04_label02_true-unreach-call.c |
unknown |
12.8 |
12.9 |
436015104 |
error: exception |
4.34 |
4.36 |
169144320 |
| eca-rers2012/Problem05_label04_true-unreach-call.c |
timeout (error (143)) |
16.3 |
16.4 |
686301184 |
unknown |
13.4 |
13.5 |
792915968 |
| eca-rers2012/Problem05_label29_true-unreach-call.c |
unknown |
12.2 |
12.2 |
707588096 |
timeout (error (143)) |
17.2 |
17.5 |
661852160 |
| eca-rers2012/Problem05_label35_true-unreach-call.c |
unknown |
11.9 |
12.0 |
708419584 |
timeout (error (143)) |
17.2 |
17.3 |
662319104 |
| eca-rers2012/Problem05_label42_true-unreach-call.c |
timeout (error (143)) |
16.8 |
16.9 |
661979136 |
unknown |
13.2 |
13.3 |
784891904 |
| eca-rers2012/Problem05_label50_true-unreach-call.c |
timeout (error (143)) |
16.7 |
16.7 |
661516288 |
unknown |
12.9 |
13.0 |
784449536 |
| eca-rers2012/Problem05_label59_true-unreach-call.c |
unknown |
12.5 |
12.6 |
714170368 |
timeout (error (143)) |
16.6 |
16.7 |
685322240 |
| eca-rers2012/Problem06_label03_true-unreach-call.c |
unknown |
12.2 |
12.2 |
717791232 |
timeout (error (143)) |
17.0 |
17.1 |
780165120 |
| eca-rers2012/Problem06_label28_true-unreach-call.c |
timeout (error (143)) |
16.5 |
16.7 |
700153856 |
unknown |
12.2 |
12.2 |
793563136 |
| eca-rers2012/Problem06_label39_true-unreach-call.c |
timeout (error (143)) |
17.1 |
17.2 |
709804032 |
unknown |
12.3 |
12.4 |
798044160 |
| eca-rers2012/Problem06_label43_true-unreach-call.c |
unknown |
11.8 |
11.9 |
699998208 |
timeout (error (143)) |
17.4 |
17.5 |
780812288 |
| eca-rers2012/Problem06_label45_true-unreach-call.c |
unknown |
12.0 |
12.0 |
701612032 |
timeout (error (143)) |
17.7 |
17.8 |
785686528 |
| eca-rers2012/Problem06_label52_true-unreach-call.c |
timeout (error (143)) |
17.0 |
17.1 |
707887104 |
unknown |
13.0 |
13.0 |
786427904 |
| eca-rers2012/Problem07_label04_true-unreach-call.c |
timeout |
21.0 |
21.1 |
849145856 |
timeout (error (143)) |
21.0 |
21.1 |
845811712 |
| eca-rers2012/Problem07_label21_true-unreach-call.c |
timeout (error (143)) |
21.0 |
21.1 |
847716352 |
timeout |
21.0 |
21.1 |
839974912 |
| eca-rers2012/Problem07_label24_true-unreach-call.c |
timeout |
21.0 |
21.1 |
846848000 |
timeout (error (143)) |
21.0 |
21.1 |
843374592 |
| eca-rers2012/Problem07_label26_true-unreach-call.c |
timeout (error (143)) |
21.0 |
21.1 |
965480448 |
timeout |
21.0 |
21.1 |
851836928 |
| eca-rers2012/Problem07_label28_true-unreach-call.c |
timeout (error (143)) |
21.0 |
21.1 |
845099008 |
timeout |
21.0 |
21.1 |
849752064 |
| eca-rers2012/Problem07_label33_true-unreach-call.c |
timeout (error (143)) |
21.0 |
21.1 |
845479936 |
timeout |
21.0 |
21.1 |
1042935808 |
| eca-rers2012/Problem07_label41_true-unreach-call.c |
timeout |
21.0 |
21.1 |
849825792 |
timeout (error (143)) |
21.0 |
21.1 |
846495744 |
| eca-rers2012/Problem07_label45_true-unreach-call.c |
timeout (error (143)) |
21.0 |
21.1 |
851210240 |
timeout |
21.0 |
21.1 |
852258816 |
| eca-rers2012/Problem07_label49_true-unreach-call.c |
timeout (error (143)) |
20.9 |
21.1 |
851005440 |
timeout |
21.0 |
21.1 |
841478144 |
| eca-rers2012/Problem07_label51_true-unreach-call.c |
timeout (error (143)) |
21.0 |
21.1 |
852258816 |
timeout |
21.0 |
21.1 |
838950912 |
| eca-rers2012/Problem07_label53_true-unreach-call.c |
timeout (error (143)) |
21.0 |
21.1 |
848400384 |
timeout |
21.0 |
21.1 |
843137024 |
| eca-rers2012/Problem07_label57_true-unreach-call.c |
timeout (error (143)) |
21.0 |
21.1 |
847540224 |
timeout |
21.0 |
21.1 |
842772480 |
| eca-rers2012/Problem08_label00_true-unreach-call.c |
timeout (error (143)) |
21.0 |
21.1 |
901873664 |
timeout |
21.0 |
21.2 |
900866048 |
| eca-rers2012/Problem08_label03_true-unreach-call.c |
timeout (error (143)) |
21.0 |
21.1 |
899067904 |
timeout |
21.0 |
21.1 |
903352320 |
| eca-rers2012/Problem08_label09_true-unreach-call.c |
timeout |
21.0 |
21.1 |
901488640 |
timeout (error (143)) |
21.0 |
21.1 |
901529600 |
| eca-rers2012/Problem08_label12_true-unreach-call.c |
timeout |
21.0 |
21.1 |
898400256 |
timeout (error (143)) |
21.0 |
21.1 |
898404352 |
| eca-rers2012/Problem08_label14_true-unreach-call.c |
timeout (error (143)) |
21.0 |
21.1 |
896679936 |
timeout |
21.0 |
21.1 |
902307840 |
| eca-rers2012/Problem08_label17_true-unreach-call.c |
timeout |
21.0 |
21.1 |
896831488 |
timeout (error (143)) |
21.0 |
21.1 |
896651264 |
| eca-rers2012/Problem08_label20_true-unreach-call.c |
timeout |
21.0 |
21.1 |
904634368 |
timeout (error (143)) |
21.0 |
21.1 |
899948544 |
| eca-rers2012/Problem08_label22_true-unreach-call.c |
timeout |
21.0 |
21.1 |
899088384 |
timeout (error (143)) |
21.0 |
21.1 |
902696960 |
| eca-rers2012/Problem08_label27_true-unreach-call.c |
timeout |
21.0 |
21.1 |
898854912 |
timeout (error (143)) |
21.0 |
21.1 |
897011712 |
| eca-rers2012/Problem08_label30_true-unreach-call.c |
timeout (error (143)) |
21.0 |
21.1 |
899264512 |
timeout |
21.0 |
21.2 |
898351104 |
| eca-rers2012/Problem08_label32_true-unreach-call.c |
timeout |
21.0 |
21.2 |
893734912 |
timeout (error (143)) |
20.9 |
21.2 |
899674112 |
| eca-rers2012/Problem08_label33_true-unreach-call.c |
timeout (error (143)) |
21.0 |
21.1 |
902086656 |
timeout |
21.0 |
21.1 |
898146304 |
| eca-rers2012/Problem08_label36_true-unreach-call.c |
timeout (error (143)) |
21.0 |
21.1 |
901898240 |
timeout |
21.0 |
21.1 |
899121152 |
| eca-rers2012/Problem08_label39_true-unreach-call.c |
timeout (error (143)) |
21.0 |
21.1 |
900554752 |
timeout |
21.0 |
21.1 |
897716224 |
| eca-rers2012/Problem08_label44_true-unreach-call.c |
timeout (error (143)) |
21.0 |
21.1 |
897011712 |
timeout |
21.0 |
21.1 |
901943296 |
| eca-rers2012/Problem08_label58_true-unreach-call.c |
timeout |
21.0 |
21.1 |
898826240 |
timeout (error (143)) |
21.0 |
21.1 |
897994752 |
| eca-rers2012/Problem09_label00_true-unreach-call.c |
timeout (error (143)) |
21.0 |
21.1 |
920715264 |
timeout |
21.0 |
21.1 |
915664896 |
| eca-rers2012/Problem09_label07_true-unreach-call.c |
timeout |
21.0 |
21.1 |
1086259200 |
timeout (error (143)) |
21.0 |
21.1 |
958054400 |
| eca-rers2012/Problem09_label09_true-unreach-call.c |
timeout (error (143)) |
21.0 |
21.2 |
919613440 |
timeout |
21.0 |
21.1 |
964648960 |
| eca-rers2012/Problem09_label13_true-unreach-call.c |
timeout (error (143)) |
21.0 |
21.1 |
920162304 |
timeout |
21.0 |
21.1 |
964882432 |
| eca-rers2012/Problem09_label16_true-unreach-call.c |
timeout |
21.0 |
21.2 |
944988160 |
timeout (error (143)) |
21.0 |
21.2 |
920133632 |
| eca-rers2012/Problem09_label17_true-unreach-call.c |
timeout (error (143)) |
21.0 |
21.1 |
935559168 |
timeout |
21.0 |
21.1 |
938700800 |
| eca-rers2012/Problem09_label18_true-unreach-call.c |
timeout (error (143)) |
21.0 |
21.1 |
918147072 |
timeout |
21.0 |
21.2 |
965795840 |
| eca-rers2012/Problem09_label21_true-unreach-call.c |
timeout (error (143)) |
21.0 |
21.2 |
960737280 |
timeout |
21.0 |
21.1 |
922177536 |
| eca-rers2012/Problem09_label22_true-unreach-call.c |
timeout (error (143)) |
21.0 |
21.2 |
917639168 |
timeout |
21.0 |
21.2 |
915152896 |
| eca-rers2012/Problem09_label23_true-unreach-call.c |
timeout (error (143)) |
21.0 |
21.1 |
921673728 |
timeout |
21.0 |
21.1 |
961306624 |
| eca-rers2012/Problem09_label26_true-unreach-call.c |
timeout (error (143)) |
21.0 |
21.1 |
942800896 |
timeout |
21.0 |
21.1 |
943349760 |
| eca-rers2012/Problem09_label27_true-unreach-call.c |
timeout (error (143)) |
21.0 |
21.1 |
919474176 |
timeout |
21.0 |
21.1 |
918433792 |
| eca-rers2012/Problem09_label33_true-unreach-call.c |
timeout (error (143)) |
21.0 |
21.1 |
943710208 |
timeout |
21.0 |
21.1 |
964628480 |
| eca-rers2012/Problem09_label39_true-unreach-call.c |
timeout |
21.0 |
21.1 |
937242624 |
timeout (error (143)) |
21.0 |
21.1 |
958713856 |
| eca-rers2012/Problem09_label40_true-unreach-call.c |
timeout (error (143)) |
21.0 |
21.2 |
964112384 |
timeout |
21.0 |
21.1 |
921620480 |
| eca-rers2012/Problem09_label42_true-unreach-call.c |
timeout (error (143)) |
21.0 |
21.1 |
960897024 |
timeout |
21.0 |
21.1 |
963883008 |
| eca-rers2012/Problem09_label45_true-unreach-call.c |
timeout |
21.0 |
21.2 |
945909760 |
timeout (error (143)) |
21.0 |
21.1 |
918298624 |
| eca-rers2012/Problem09_label49_true-unreach-call.c |
timeout (error (143)) |
21.0 |
21.1 |
922902528 |
timeout |
21.0 |
21.2 |
920047616 |
| eca-rers2012/Problem09_label52_true-unreach-call.c |
timeout |
21.0 |
21.1 |
1028349952 |
timeout (error (143)) |
21.0 |
21.1 |
966283264 |
| eca-rers2012/Problem09_label58_true-unreach-call.c |
timeout (error (143)) |
21.0 |
21.1 |
963125248 |
timeout |
21.0 |
21.1 |
919666688 |
| eca-rers2012/Problem11_label28_true-unreach-call.c |
error: exception |
4.37 |
4.42 |
166699008 |
unknown |
9.12 |
9.20 |
278470656 |
| eca-rers2012/Problem12_label54_true-unreach-call.c |
error: exception |
4.25 |
4.29 |
167034880 |
unknown |
9.88 |
9.94 |
576983040 |
| eca-rers2012/Problem13_label00_true-unreach-call.c |
unknown |
14.7 |
14.8 |
606081024 |
timeout |
15.1 |
15.2 |
730390528 |
| eca-rers2012/Problem13_label08_true-unreach-call.c |
unknown |
14.8 |
15.0 |
598401024 |
timeout |
15.2 |
15.4 |
729915392 |
| eca-rers2012/Problem13_label10_true-unreach-call.c |
timeout (error (143)) |
16.1 |
16.2 |
690196480 |
timeout |
15.3 |
15.4 |
726429696 |
| eca-rers2012/Problem13_label13_true-unreach-call.c |
unknown |
14.8 |
14.9 |
591753216 |
timeout |
15.6 |
15.7 |
729534464 |
| eca-rers2012/Problem13_label27_true-unreach-call.c |
timeout |
15.6 |
15.7 |
689295360 |
timeout (error (143)) |
16.0 |
16.1 |
730886144 |
| eca-rers2012/Problem13_label31_true-unreach-call.c |
unknown |
14.5 |
14.6 |
600039424 |
timeout |
15.1 |
15.6 |
734253056 |
| eca-rers2012/Problem13_label37_true-unreach-call.c |
unknown |
14.6 |
14.7 |
597573632 |
timeout |
15.5 |
15.5 |
728428544 |
| eca-rers2012/Problem13_label39_true-unreach-call.c |
unknown |
15.0 |
15.1 |
598355968 |
timeout |
15.5 |
15.6 |
725450752 |
| eca-rers2012/Problem13_label47_true-unreach-call.c |
unknown |
10.2 |
10.3 |
599166976 |
timeout |
15.4 |
15.5 |
726323200 |
| eca-rers2012/Problem13_label49_true-unreach-call.c |
unknown |
9.95 |
10.0 |
595714048 |
timeout |
15.3 |
15.3 |
727560192 |
| eca-rers2012/Problem13_label50_true-unreach-call.c |
timeout |
15.1 |
15.2 |
682721280 |
timeout (error (143)) |
16.4 |
16.5 |
725381120 |
| eca-rers2012/Problem13_label53_true-unreach-call.c |
timeout |
15.1 |
15.2 |
594821120 |
unknown |
14.8 |
14.9 |
725000192 |
| eca-rers2012/Problem13_label55_true-unreach-call.c |
unknown |
14.7 |
14.8 |
595689472 |
timeout |
15.7 |
15.8 |
730439680 |
| eca-rers2012/Problem13_label57_true-unreach-call.c |
timeout |
15.3 |
15.4 |
586223616 |
unknown |
10.8 |
10.8 |
735793152 |
| eca-rers2012/Problem13_label59_true-unreach-call.c |
unknown |
14.7 |
14.9 |
650137600 |
timeout |
15.2 |
15.3 |
733147136 |
| eca-rers2012/Problem17_label18_true-unreach-call.c |
error: exception |
4.35 |
4.38 |
165842944 |
unknown |
8.46 |
8.50 |
493670400 |
| eca-rers2012/Problem19_label03_true-unreach-call.c |
timeout (error (143)) |
16.5 |
16.7 |
707760128 |
timeout |
21.0 |
21.2 |
659435520 |
| eca-rers2012/Problem19_label05_true-unreach-call.c |
timeout (error (143)) |
17.3 |
17.4 |
681312256 |
unknown |
13.0 |
13.0 |
762306560 |
| eca-rers2012/Problem19_label08_true-unreach-call.c |
timeout (error (143)) |
17.2 |
17.4 |
707416064 |
unknown |
13.1 |
13.2 |
757071872 |
| eca-rers2012/Problem19_label16_true-unreach-call.c |
unknown |
13.4 |
13.5 |
722550784 |
timeout (error (143)) |
17.1 |
17.3 |
664489984 |
| eca-rers2012/Problem19_label35_true-unreach-call.c |
unknown |
12.9 |
12.9 |
718884864 |
timeout (error (143)) |
16.9 |
17.1 |
666210304 |
| eca-rers2012/Problem19_label48_true-unreach-call.c |
timeout (error (143)) |
16.9 |
17.1 |
707555328 |
unknown |
13.4 |
13.5 |
758091776 |
| eca-rers2012/Problem19_label56_true-unreach-call.c |
timeout (error (143)) |
16.6 |
16.7 |
710774784 |
unknown |
13.2 |
13.3 |
750206976 |
| psyco/psyco_net_1_false-unreach-call_false-termination.c |
unknown |
14.3 |
14.3 |
901038080 |
timeout (error (143)) |
16.6 |
16.7 |
724381696 |
| floats-cbmc-regression/float-div1_true-unreach-call.i |
error: exception |
7.11 |
7.21 |
181710848 |
unknown |
6.12 |
6.18 |
288702464 |
| floats-cbmc-regression/float-flags-simp1_true-unreach-call.i |
error: exception |
7.02 |
7.09 |
188964864 |
unknown |
9.04 |
9.10 |
326582272 |
| floats-cbmc-regression/float-no-simp2_true-unreach-call.i |
error: exception |
7.35 |
7.41 |
184971264 |
unknown |
8.72 |
8.79 |
298909696 |
| floats-cbmc-regression/float-no-simp4_true-unreach-call.i |
error: exception |
7.12 |
7.18 |
185815040 |
unknown |
8.63 |
8.69 |
293806080 |
| floats-cbmc-regression/float-no-simp8_true-unreach-call.i |
error: exception |
7.01 |
7.12 |
181358592 |
unknown |
8.40 |
8.48 |
294129664 |
| floats-cbmc-regression/float-to-double1_true-unreach-call.i |
error: exception |
7.14 |
7.22 |
189349888 |
unknown |
5.93 |
6.15 |
285331456 |
| floats-cbmc-regression/float-zero-sum1_true-unreach-call_true-termination.i |
unknown |
6.72 |
6.98 |
183828480 |
error: exception |
6.88 |
6.94 |
179806208 |
| floats-cbmc-regression/float14_true-unreach-call.i |
error: exception |
5.32 |
5.35 |
183865344 |
unknown |
8.16 |
8.23 |
290148352 |
| floats-cbmc-regression/float19_true-unreach-call.i |
error: exception |
5.25 |
5.29 |
183369728 |
unknown |
8.40 |
8.46 |
292241408 |
| floats-cbmc-regression/float21_true-unreach-call.i |
error: exception |
7.06 |
7.12 |
180928512 |
unknown |
8.22 |
8.32 |
296230912 |
| floats-cbmc-regression/float22_true-unreach-call_true-termination.i |
unknown |
7.21 |
7.41 |
184115200 |
error: exception |
7.23 |
7.29 |
184709120 |
| floats-cbmc-regression/float4_true-unreach-call.i |
error: exception |
7.08 |
7.14 |
188108800 |
unknown |
8.72 |
8.78 |
292966400 |
| floats-cbmc-regression/float8_true-unreach-call.i |
error: exception |
7.12 |
7.22 |
182579200 |
unknown |
8.12 |
8.22 |
294846464 |
| floats-cbmc-regression/float_lib1_true-unreach-call.i |
error: exception |
7.14 |
7.20 |
181223424 |
unknown |
8.19 |
8.26 |
288858112 |
| floats-cbmc-regression/float_lib2_true-unreach-call.i |
error: exception |
6.88 |
6.95 |
184193024 |
unknown |
8.41 |
8.47 |
293687296 |
| float-benchs/cast_float_ptr_false-unreach-call_true-termination.c |
unknown |
6.88 |
6.94 |
177836032 |
error: exception |
7.13 |
7.19 |
181211136 |
| float-benchs/cast_union_loose_false-unreach-call_true-termination.c |
unknown |
7.01 |
7.13 |
178466816 |
error: exception |
7.01 |
7.06 |
181059584 |
| float-benchs/cast_union_tight_false-unreach-call_true-termination.c |
unknown |
6.57 |
6.63 |
188141568 |
error: exception |
6.79 |
6.86 |
180551680 |
| float-benchs/inv_Newton_false-unreach-call.c |
unknown |
6.59 |
6.65 |
180023296 |
error: exception |
6.90 |
6.96 |
177786880 |
| float-benchs/sqrt_poly2_false-unreach-call.c |
unknown |
6.99 |
7.05 |
179605504 |
error: exception |
4.87 |
4.91 |
181338112 |
| float-benchs/cast_float_union_true-unreach-call.c |
unknown |
6.71 |
6.80 |
177672192 |
error: exception |
6.94 |
6.99 |
181882880 |
| float-benchs/filter2_alt_true-unreach-call.c |
unknown |
6.65 |
6.92 |
186884096 |
error: exception |
4.24 |
4.27 |
166899712 |
| float-benchs/filter_iir_true-unreach-call.c |
unknown |
7.20 |
7.28 |
180752384 |
error: exception |
7.26 |
7.31 |
180064256 |
| float-benchs/image_filter_true-unreach-call.c |
unknown |
7.73 |
7.82 |
201129984 |
error: exception |
7.53 |
7.58 |
193683456 |
| float-benchs/inv_sqrt_Quake_true-unreach-call_true-termination.c |
unknown |
7.03 |
7.10 |
186728448 |
error: exception |
7.01 |
7.05 |
179978240 |
| floats-esbmc-regression/ceil_nondet_true-unreach-call.i |
error: exception |
7.07 |
7.12 |
187236352 |
unknown |
7.01 |
7.07 |
190349312 |
| floats-esbmc-regression/fabs_true-unreach-call.i |
error: exception |
7.18 |
7.24 |
183975936 |
unknown |
8.16 |
8.22 |
293052416 |
| floats-esbmc-regression/floor_nondet_true-unreach-call.i |
error: exception |
7.24 |
7.30 |
187785216 |
unknown |
7.05 |
7.15 |
184774656 |
| floats-esbmc-regression/fmax_true-unreach-call.i |
error: exception |
7.16 |
7.23 |
184553472 |
unknown |
8.70 |
8.75 |
290746368 |
| floats-esbmc-regression/fmin_true-unreach-call.i |
error: exception |
7.08 |
7.13 |
186040320 |
unknown |
8.16 |
8.23 |
290488320 |
| floats-esbmc-regression/fmod2_true-unreach-call.i |
error: exception |
5.27 |
5.30 |
182919168 |
unknown |
5.17 |
5.19 |
184471552 |
| floats-esbmc-regression/fmod3_true-unreach-call.i |
error: exception |
6.86 |
6.95 |
188456960 |
unknown |
7.05 |
7.10 |
185290752 |
| floats-esbmc-regression/isgreater_true-unreach-call.i |
error: exception |
7.20 |
7.27 |
185229312 |
unknown |
7.99 |
8.04 |
293969920 |
| floats-esbmc-regression/isgreaterequal_true-unreach-call.i |
error: exception |
7.08 |
7.14 |
187174912 |
unknown |
8.46 |
8.53 |
291270656 |
| floats-esbmc-regression/isless_true-unreach-call.i |
error: exception |
7.14 |
7.21 |
182435840 |
unknown |
8.37 |
8.44 |
292098048 |
| floats-esbmc-regression/islessequal_true-unreach-call.i |
error: exception |
7.19 |
7.27 |
182059008 |
unknown |
7.88 |
7.94 |
292044800 |
| floats-esbmc-regression/islessgreater_true-unreach-call.i |
error: exception |
6.95 |
7.01 |
178712576 |
unknown |
8.57 |
8.63 |
292560896 |
| floats-esbmc-regression/isunordered_true-unreach-call.i |
error: exception |
6.88 |
6.94 |
183037952 |
unknown |
8.19 |
8.42 |
294596608 |
| floats-esbmc-regression/nan_true-unreach-call.i |
error: exception |
7.17 |
7.57 |
187228160 |
unknown |
8.33 |
8.40 |
291676160 |
| floats-esbmc-regression/round_nondet_true-unreach-call.i |
error: exception |
7.15 |
7.21 |
186593280 |
unknown |
6.96 |
7.21 |
192360448 |
| floats-esbmc-regression/trunc_nondet_2_true-unreach-call.i |
error: exception |
6.99 |
7.09 |
187920384 |
unknown |
6.92 |
6.97 |
185278464 |
| floats-esbmc-regression/trunc_nondet_true-unreach-call.i |
error: exception |
6.98 |
7.03 |
187666432 |
unknown |
7.09 |
7.15 |
195002368 |
| heap-manipulation/bubble_sort_linux_false-unreach-call_false-valid-memcleanup.i |
error: exception |
4.45 |
4.51 |
168452096 |
unknown |
8.40 |
8.46 |
246484992 |
| ldv-regression/test_union_cast-1_true-unreach-call_true-termination.i |
unknown |
5.07 |
5.11 |
176656384 |
error: exception |
6.70 |
6.75 |
179810304 |
| ldv-regression/test_union_cast-2_true-unreach-call_true-termination.i |
unknown |
6.73 |
6.79 |
180064256 |
error: exception |
6.91 |
6.96 |
177967104 |
| ldv-regression/test_union_cast_true-termination.c_true-unreach-call.i |
unknown |
6.93 |
6.99 |
180174848 |
error: exception |
7.06 |
7.13 |
178106368 |
| ldv-regression/test_union_cast_true-termination.c_true-unreach-call_1.i |
unknown |
6.76 |
6.81 |
177020928 |
error: exception |
6.76 |
6.81 |
189095936 |
| loop-lit/afnp2014_true-unreach-call_true-termination.c.i |
unknown |
6.74 |
6.81 |
179412992 |
error: exception |
4.33 |
4.41 |
166260736 |
| loops/compact_false-unreach-call.c |
unknown |
12.4 |
12.4 |
961581056 |
timeout (error (143)) |
16.4 |
16.5 |
869965824 |
| product-lines/email_spec1_product26_false-unreach-call_true-termination.cil.c |
unknown |
9.31 |
9.37 |
259944448 |
error: exception |
4.21 |
4.24 |
171139072 |
| product-lines/email_spec11_product24_true-unreach-call_true-termination.cil.c |
unknown |
9.07 |
9.16 |
261165056 |
error: exception |
4.13 |
4.16 |
169832448 |
| systemc/token_ring.11_false-unreach-call_false-termination.cil.c |
error: exception |
4.47 |
4.51 |
169459712 |
unknown |
7.77 |
7.82 |
203898880 |
| seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c |
unknown |
7.55 |
7.61 |
188940288 |
error: exception |
7.20 |
7.25 |
179359744 |
| seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.UNBOUNDED.pals.c |
unknown |
7.78 |
7.83 |
192393216 |
error: exception |
6.98 |
7.03 |
185008128 |
| seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c |
unknown |
7.64 |
7.71 |
192741376 |
error: exception |
6.97 |
7.01 |
179208192 |
| seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.UNBOUNDED.pals.c |
unknown |
7.59 |
7.67 |
192999424 |
error: exception |
6.67 |
6.72 |
178876416 |
| seq-mthreaded/rekcba_aso_false-unreach-call.1.M4.c |
unknown |
14.1 |
14.2 |
765456384 |
timeout (error (143)) |
17.0 |
17.1 |
751935488 |
| seq-mthreaded/rekcba_aso_false-unreach-call.2.M4.c |
timeout |
15.2 |
15.3 |
767397888 |
timeout (error (143)) |
17.1 |
17.2 |
752054272 |
| seq-mthreaded/rekcba_aso_false-unreach-call.3.M4.c |
unknown |
14.6 |
14.7 |
762712064 |
timeout (error (143)) |
17.0 |
17.1 |
701825024 |
| seq-mthreaded/rekcba_aso_false-unreach-call.4.M4.c |
timeout |
15.3 |
15.4 |
765485056 |
timeout (error (143)) |
17.9 |
18.1 |
759902208 |
| seq-mthreaded/rekcba_ctm_false-unreach-call.3_true-termination.c |
unknown |
13.7 |
13.8 |
642928640 |
timeout |
15.9 |
16.0 |
709033984 |
| seq-mthreaded/pals_STARTPALS_Triplicated_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c |
unknown |
7.51 |
7.59 |
189243392 |
error: exception |
7.21 |
7.26 |
179650560 |
| seq-mthreaded/pals_STARTPALS_Triplicated_true-unreach-call.ufo.UNBOUNDED.pals.c |
unknown |
7.72 |
7.78 |
190816256 |
error: exception |
6.86 |
6.92 |
178999296 |
| seq-mthreaded/rekcba_aso_true-unreach-call.1.M4.c |
unknown |
10.3 |
10.4 |
771428352 |
timeout (error (143)) |
17.0 |
17.1 |
749662208 |
| seq-mthreaded/rekcba_ctm_true-unreach-call.3_true-termination.c |
unknown |
13.9 |
14.0 |
654282752 |
timeout (error (143)) |
16.1 |
16.3 |
711983104 |
| seq-mthreaded/rekcba_ctm_true-unreach-call.4_true-termination.c |
timeout |
15.6 |
15.7 |
764088320 |
timeout (error (143)) |
18.4 |
18.5 |
772501504 |
| seq-mthreaded/rekcba_nxt_true-unreach-call.1.M4.c |
unknown |
9.73 |
9.79 |
694800384 |
timeout (error (143)) |
17.9 |
18.0 |
784183296 |
| seq-mthreaded/rekcba_nxt_true-unreach-call.2.M4.c |
unknown |
14.6 |
14.7 |
691286016 |
timeout (error (143)) |
17.4 |
17.6 |
724017152 |
| seq-mthreaded/rekcba_nxt_true-unreach-call.3.M4.c |
unknown |
14.9 |
15.0 |
768282624 |
timeout (error (143)) |
18.0 |
18.9 |
725463040 |
| ldv-linux-3.0/usb_urb-drivers-uwb-i1480-dfu-i1480-dfu-usb.ko_true-unreach-call.cil.out.i.pp.i |
unknown |
8.30 |
8.37 |
249122816 |
error: exception |
4.40 |
4.44 |
167616512 |
| ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--usb--storage--usb-storage.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
error: exception |
4.34 |
4.38 |
168583168 |
unknown |
10.7 |
10.8 |
470863872 |
| 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 |
unknown |
9.86 |
9.95 |
352116736 |
error: exception |
8.75 |
8.94 |
271388672 |
| 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 |
error: exception |
8.36 |
8.44 |
227962880 |
timeout (error (143)) |
21.0 |
21.1 |
662994944 |
| 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 |
error: exception |
8.31 |
8.37 |
219553792 |
timeout (error (143)) |
20.9 |
21.1 |
667627520 |
| 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 |
unknown |
8.32 |
8.39 |
222412800 |
timeout (error (143)) |
20.9 |
21.1 |
662827008 |
| 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 |
unknown |
8.46 |
8.54 |
234029056 |
timeout (error (143)) |
21.0 |
21.1 |
666284032 |
| 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 |
error: exception |
8.12 |
8.21 |
217755648 |
timeout (error (143)) |
21.0 |
21.1 |
663011328 |
| 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 |
error: exception |
8.57 |
8.67 |
231317504 |
timeout (error (143)) |
21.0 |
21.1 |
660873216 |
| 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 |
unknown |
8.42 |
8.48 |
228511744 |
timeout (error (143)) |
21.0 |
21.1 |
664121344 |
| 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 |
unknown |
8.02 |
8.08 |
222740480 |
timeout (error (143)) |
21.0 |
21.1 |
664629248 |
| 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 |
unknown |
7.90 |
7.97 |
223813632 |
timeout (error (143)) |
21.0 |
21.1 |
661983232 |
| 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 |
unknown |
8.10 |
8.17 |
220454912 |
timeout (error (143)) |
21.0 |
21.1 |
663351296 |
| 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 |
error: exception |
8.19 |
8.25 |
231395328 |
timeout (error (143)) |
21.0 |
21.1 |
671670272 |
| 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 |
error: exception |
8.34 |
8.40 |
227991552 |
timeout (error (143)) |
21.0 |
21.1 |
671236096 |
| 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 |
unknown |
8.34 |
8.40 |
229158912 |
timeout (error (143)) |
21.0 |
21.1 |
669802496 |
| 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 |
unknown |
8.48 |
8.59 |
234475520 |
timeout (error (143)) |
21.0 |
21.1 |
665882624 |
| 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 |
error: exception |
8.48 |
8.57 |
252350464 |
timeout (error (143)) |
21.0 |
21.1 |
672534528 |
| 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 |
unknown |
6.12 |
6.17 |
239165440 |
timeout (error (143)) |
21.0 |
21.1 |
663543808 |
| 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 |
unknown |
5.84 |
5.89 |
221941760 |
timeout (error (143)) |
21.0 |
21.1 |
664326144 |
| 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 |
unknown |
8.29 |
8.37 |
246259712 |
timeout (error (143)) |
21.0 |
21.1 |
667082752 |
| 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 |
unknown |
8.32 |
8.39 |
227471360 |
timeout (error (143)) |
21.0 |
21.1 |
660328448 |
| 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 |
unknown |
8.32 |
8.39 |
227483648 |
timeout (error (143)) |
21.0 |
21.1 |
661884928 |
| 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 |
unknown |
8.83 |
8.89 |
253063168 |
timeout (error (143)) |
21.0 |
21.1 |
661655552 |
| 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 |
unknown |
7.81 |
7.87 |
231903232 |
timeout (error (143)) |
21.0 |
21.1 |
659374080 |
| 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 |
unknown |
8.46 |
8.52 |
237043712 |
timeout (error (143)) |
21.0 |
21.1 |
660836352 |
| 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 |
unknown |
8.38 |
8.61 |
245530624 |
timeout (error (143)) |
21.0 |
21.1 |
666955776 |
| 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 |
unknown |
8.12 |
8.19 |
226791424 |
timeout (error (143)) |
21.0 |
21.1 |
663662592 |
| 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 |
unknown |
9.30 |
9.39 |
274001920 |
timeout (error (143)) |
21.0 |
21.1 |
670089216 |
| 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 |
unknown |
8.34 |
8.43 |
221868032 |
timeout (error (143)) |
21.0 |
21.1 |
663531520 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-budget-ci-old.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
error: exception |
4.19 |
4.23 |
169865216 |
unknown |
8.09 |
8.15 |
210063360 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-videomate-s350.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
unknown |
7.72 |
7.83 |
200613888 |
error: exception |
4.37 |
4.43 |
170422272 |
| 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 |
unknown |
10.7 |
10.8 |
426946560 |
error: exception |
9.35 |
9.54 |
321019904 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--mmc--host--sdricoh_cs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
error: exception |
4.29 |
4.34 |
165568512 |
unknown |
8.97 |
9.05 |
271093760 |
| 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 |
unknown |
9.11 |
9.18 |
245952512 |
error: exception |
7.89 |
8.00 |
217513984 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--phy--broadcom.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
timeout |
15.2 |
15.3 |
698384384 |
unknown |
11.3 |
11.4 |
682024960 |
| 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 |
error: exception |
8.59 |
8.67 |
249696256 |
timeout (error (143)) |
21.0 |
21.1 |
674177024 |
| 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 |
error: exception |
8.34 |
8.52 |
233545728 |
timeout (error (143)) |
21.0 |
21.1 |
668680192 |
| 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 |
unknown |
8.48 |
8.58 |
243576832 |
timeout (error (143)) |
21.0 |
21.1 |
668667904 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--staging--iio--dds--ad5930.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
unknown |
10.0 |
10.1 |
400318464 |
error: exception |
8.88 |
8.95 |
300670976 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--staging--iio--dds--ad9850.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
unknown |
10.3 |
10.3 |
409579520 |
error: exception |
8.55 |
8.59 |
292376576 |
| 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 |
unknown |
10.5 |
10.7 |
404750336 |
error: exception |
8.50 |
8.57 |
300380160 |
| 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 |
unknown |
5.97 |
6.01 |
226086912 |
timeout (error (143)) |
21.0 |
21.1 |
665513984 |
| 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 |
error: exception |
6.16 |
6.24 |
252739584 |
timeout (error (143)) |
21.0 |
21.1 |
671264768 |
| 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 |
unknown |
9.74 |
9.80 |
311078912 |
timeout (error (143)) |
21.0 |
21.1 |
665960448 |
| 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 |
unknown |
11.0 |
11.1 |
442359808 |
timeout (error (143)) |
21.0 |
21.1 |
670363648 |
| 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 |
unknown |
10.4 |
10.5 |
332529664 |
timeout (error (143)) |
21.0 |
21.1 |
660058112 |
| 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 |
unknown |
8.45 |
8.53 |
235483136 |
timeout (error (143)) |
21.0 |
21.1 |
663138304 |
| 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 |
error: exception |
7.96 |
8.02 |
220672000 |
timeout (error (143)) |
21.0 |
21.1 |
665554944 |
| 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 |
error: exception |
8.69 |
8.75 |
264654848 |
timeout (error (143)) |
21.0 |
21.1 |
669282304 |
| 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 |
error: exception |
8.52 |
8.58 |
260218880 |
timeout (error (143)) |
20.8 |
21.1 |
669052928 |
| 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 |
error: exception |
8.65 |
8.72 |
270721024 |
timeout (error (143)) |
21.0 |
21.1 |
665927680 |
| 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 |
unknown |
12.7 |
13.0 |
658145280 |
error: exception |
10.7 |
10.7 |
441425920 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_true-termination.4-32_1-drivers--atm--adummy.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
error: exception |
4.44 |
4.48 |
166223872 |
unknown |
8.71 |
8.76 |
267862016 |
| 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 |
unknown |
8.93 |
9.14 |
263024640 |
timeout (error (143)) |
21.0 |
21.1 |
668266496 |
| 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 |
unknown |
7.99 |
8.08 |
222216192 |
timeout (error (143)) |
21.0 |
21.1 |
668168192 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_true-termination.4-32_1-drivers--leds--dell-led.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
unknown |
9.16 |
9.23 |
293457920 |
error: exception |
4.38 |
4.41 |
167874560 |
| 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 |
unknown |
8.08 |
8.16 |
225017856 |
timeout (error (143)) |
21.0 |
21.1 |
669564928 |
| ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_true-termination.4-32_1-drivers--watchdog--cpu5wdt.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
error: exception |
4.46 |
4.51 |
166510592 |
unknown |
7.88 |
7.97 |
209911808 |
| 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 |
unknown |
7.21 |
7.27 |
359313408 |
error: exception |
8.22 |
8.27 |
269254656 |
| 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 |
unknown |
10.5 |
10.5 |
457199616 |
error: exception |
8.84 |
8.94 |
322699264 |
| 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 |
unknown |
6.25 |
6.32 |
239529984 |
error: exception |
7.94 |
8.00 |
202113024 |
| ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--net--phy--realtek.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
unknown |
9.80 |
9.90 |
365142016 |
error: exception |
4.28 |
4.31 |
167313408 |
| ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--staging--iio--dds--ad5930.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
unknown |
9.87 |
9.95 |
362950656 |
error: exception |
8.18 |
8.27 |
264843264 |
| ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--staging--iio--dds--ad9850.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c |
unknown |
9.81 |
9.88 |
348549120 |
error: exception |
8.27 |
8.37 |
268697600 |
| 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 |
unknown |
11.8 |
11.9 |
599314432 |
error: exception |
9.93 |
10.0 |
396460032 |
| ldv-linux-3.7.3/main0_false-unreach-call_drivers--media--dvb-frontends--stv090x-ko---32_7a--linux-3.7.3.c |
unknown |
9.21 |
9.29 |
365420544 |
error: exception |
8.41 |
8.47 |
305197056 |
| ldv-linux-3.7.3/main17_false-unreach-call_drivers-gpu-drm-vmwgfx-vmwgfx-ko--32_7a--linux-3.5.c |
unknown |
10.6 |
10.7 |
449191936 |
error: exception |
9.36 |
9.41 |
389484544 |
| ldv-linux-3.7.3/main3_false-unreach-call_drivers-gpu-drm-vmwgfx-vmwgfx-ko--32_7a--linux-3.5.c |
unknown |
9.81 |
9.88 |
449847296 |
error: exception |
9.10 |
9.17 |
391229440 |
| ldv-consumption/linux-3.8-rc1-32_7a-drivers--net--wireless--mwl8k.ko-ldv_main0_false-unreach-call.cil.out.c |
error: exception |
4.33 |
4.37 |
169906176 |
unknown |
10.3 |
10.4 |
492662784 |
| 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 |
unknown |
12.1 |
12.2 |
662704128 |
timeout (error (143)) |
17.6 |
17.7 |
725254144 |
| 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 |
unknown |
6.62 |
6.67 |
309080064 |
timeout (error (143)) |
21.0 |
21.1 |
705544192 |
| 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 |
unknown |
9.34 |
9.41 |
409608192 |
timeout (error (143)) |
21.0 |
21.1 |
707809280 |
| ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--isdn--mISDN--l1oip.ko-main.cil.out.c |
error: exception |
4.12 |
4.18 |
167809024 |
unknown |
9.03 |
9.09 |
335036416 |
| ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--staging--panel--panel.ko-main.cil.out.c |
unknown |
9.43 |
9.50 |
306073600 |
timeout (error (143)) |
20.9 |
21.1 |
689119232 |
| ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--staging--silicom--bpctl_mod.ko-main.cil.out.c |
unknown |
9.29 |
9.36 |
404582400 |
timeout (error (143)) |
21.0 |
21.1 |
704745472 |
| 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 |
16.1 |
16.2 |
762089472 |
timeout (error (143)) |
21.0 |
21.1 |
790020096 |
| 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 |
unknown |
8.96 |
9.03 |
293449728 |
timeout (error (143)) |
21.0 |
21.1 |
700186624 |
| ldv-linux-3.16-rc1/205_9a_array_unsafes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--wireless--rtl818x--rtl8187--rtl8187.ko-entry_point_false-unreach-call.cil.out.c |
unknown |
11.3 |
11.4 |
622260224 |
timeout (error (143)) |
21.0 |
21.1 |
722194432 |
| 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 |
unknown |
11.5 |
11.5 |
635064320 |
timeout (error (143)) |
21.0 |
21.1 |
714539008 |
| ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-sound--drivers--snd-aloop.ko-entry_point_true-unreach-call.cil.out.c |
error: exception |
9.54 |
9.63 |
319160320 |
unknown |
7.53 |
7.58 |
457633792 |
| ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-sound--drivers--snd-dummy.ko-entry_point_true-unreach-call.cil.out.c |
unknown |
11.2 |
11.3 |
464252928 |
timeout (error (143)) |
21.0 |
21.1 |
704647168 |
| 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 |
unknown |
10.0 |
10.1 |
388476928 |
timeout |
21.0 |
21.1 |
689209344 |
| ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--video--console--fbcon.ko-entry_point_false-unreach-call.cil.out.c |
error: exception |
8.88 |
8.95 |
315838464 |
unknown |
10.2 |
10.3 |
389177344 |
| ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--video--console--fbcon.ko-entry_point_false-unreach-call.cil.out.c |
error: exception |
8.91 |
9.00 |
318074880 |
unknown |
10.1 |
10.2 |
402337792 |
| ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--gpu--drm--gma500--gma500_gfx.ko-entry_point_true-unreach-call.cil.out.c |
unknown |
13.7 |
13.8 |
681304064 |
error: exception |
4.37 |
4.39 |
168599552 |
| ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--infiniband--core--ib_cm.ko-entry_point_true-unreach-call.cil.out.c |
error: exception |
12.1 |
12.1 |
604712960 |
timeout |
21.0 |
21.1 |
722120704 |
| ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--infiniband--ulp--srp--ib_srp.ko-entry_point_true-unreach-call.cil.out.c |
unknown |
11.3 |
11.4 |
525156352 |
timeout (error (143)) |
21.0 |
21.1 |
720576512 |
| ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--md--dm-thin-pool.ko-entry_point_true-unreach-call.cil.out.c |
error: exception |
7.42 |
7.47 |
422096896 |
unknown |
9.05 |
9.10 |
675983360 |
| ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--net--ethernet--broadcom--bnx2.ko-entry_point_true-unreach-call.cil.out.c |
unknown |
13.8 |
13.8 |
713183232 |
timeout (error (143)) |
21.0 |
21.1 |
714137600 |
| ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--net--ethernet--broadcom--tg3.ko-entry_point_true-unreach-call.cil.out.c |
timeout (error: exception) |
15.6 |
15.7 |
699441152 |
timeout (error (143)) |
17.9 |
18.0 |
733839360 |
| ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--net--ethernet--intel--igb--igb.ko-entry_point_true-unreach-call.cil.out.c |
timeout (error (143)) |
17.3 |
17.4 |
746237952 |
timeout |
15.3 |
15.4 |
749817856 |
| ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--net--ethernet--intel--ixgbe--ixgbe.ko-entry_point_true-unreach-call.cil.out.c |
timeout (error (143)) |
17.7 |
17.8 |
751497216 |
unknown |
12.3 |
12.3 |
758542336 |
| ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--net--ethernet--qlogic--qlge--qlge.ko-entry_point_true-unreach-call.cil.out.c |
timeout |
15.2 |
15.3 |
688103424 |
unknown |
13.9 |
14.0 |
673730560 |
| ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--net--wireless--iwlwifi--dvm--iwldvm.ko-entry_point_true-unreach-call.cil.out.c |
error: exception |
13.2 |
13.3 |
688611328 |
unknown |
9.37 |
9.42 |
691818496 |
| ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--infiniband--core--ib_cm.ko-entry_point_true-unreach-call.cil.out.c |
error: exception |
8.47 |
8.53 |
599109632 |
timeout (error (143)) |
21.0 |
21.1 |
722751488 |
| ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--md--dm-thin-pool.ko-entry_point_true-unreach-call.cil.out.c |
error: exception |
10.4 |
10.4 |
428371968 |
unknown |
12.7 |
12.7 |
657145856 |
| ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--net--ethernet--broadcom--bnx2.ko-entry_point_true-unreach-call.cil.out.c |
unknown |
13.9 |
13.9 |
712327168 |
timeout (error (143)) |
21.0 |
21.1 |
715661312 |
| ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--net--ethernet--broadcom--tg3.ko-entry_point_true-unreach-call.cil.out.c |
error: exception |
11.2 |
11.2 |
694026240 |
timeout |
15.5 |
15.6 |
736419840 |
| ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--net--ethernet--intel--igb--igb.ko-entry_point_true-unreach-call.cil.out.c |
unknown |
14.8 |
14.9 |
741007360 |
timeout (error (143)) |
16.0 |
16.2 |
745074688 |
| ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--net--ethernet--sfc--sfc.ko-entry_point_true-unreach-call.cil.out.c |
unknown |
14.7 |
14.9 |
699244544 |
timeout |
15.3 |
15.4 |
706113536 |
| 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 |
unknown |
14.8 |
14.9 |
698261504 |
error: exception |
10.4 |
10.5 |
489447424 |
| ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--net--wireless--b43--b43.ko-entry_point_true-unreach-call.cil.out.c |
unknown |
14.5 |
14.5 |
767614976 |
timeout |
15.7 |
15.8 |
770207744 |
| ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--net--wireless--iwlwifi--dvm--iwldvm.ko-entry_point_true-unreach-call.cil.out.c |
error: exception |
13.8 |
13.9 |
683565056 |
unknown |
13.2 |
13.3 |
687964160 |
| ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--scsi--qla2xxx--qla2xxx.ko-entry_point_true-unreach-call.cil.out.c |
unknown |
11.4 |
11.4 |
802164736 |
timeout (error (143)) |
21.0 |
21.1 |
807256064 |
| ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--scsi--qla4xxx--qla4xxx.ko-entry_point_true-unreach-call.cil.out.c |
unknown |
13.9 |
14.0 |
688181248 |
timeout (error (143)) |
21.0 |
21.1 |
750342144 |
| ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--staging--lustre--lustre--libcfs--libcfs.ko-entry_point_true-unreach-call.cil.out.c |
unknown |
11.0 |
11.2 |
523919360 |
timeout (error (143)) |
21.0 |
21.1 |
726061056 |
| 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 |
unknown |
12.2 |
12.3 |
585895936 |
timeout (error (143)) |
21.0 |
21.1 |
714780672 |
| ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--md--dm-thin-pool.ko-entry_point_true-unreach-call.cil.out.c |
error: exception |
10.2 |
10.3 |
420757504 |
unknown |
12.8 |
12.9 |
669118464 |
| ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--net--ethernet--broadcom--bnx2.ko-entry_point_true-unreach-call.cil.out.c |
unknown |
13.4 |
13.4 |
704098304 |
timeout (error (143)) |
20.9 |
21.1 |
706994176 |
| ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--net--ethernet--brocade--bna--bna.ko-entry_point_true-unreach-call.cil.out.c |
timeout (error: exception) |
15.8 |
15.9 |
749355008 |
timeout (error (143)) |
18.9 |
19.0 |
740409344 |
| 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 |
error: exception |
11.3 |
11.4 |
648863744 |
unknown |
11.7 |
11.8 |
649535488 |
| ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--net--ethernet--intel--e1000--e1000.ko-entry_point_true-unreach-call.cil.out.c |
timeout |
15.2 |
15.4 |
678428672 |
timeout (error (143)) |
16.0 |
16.1 |
690798592 |
| ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--net--ethernet--intel--igb--igb.ko-entry_point_true-unreach-call.cil.out.c |
unknown |
14.7 |
14.8 |
738201600 |
timeout (error (143)) |
17.4 |
17.6 |
743481344 |
| ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--net--ethernet--intel--ixgbe--ixgbe.ko-entry_point_true-unreach-call.cil.out.c |
timeout |
15.6 |
15.7 |
756744192 |
timeout (error (143)) |
20.1 |
20.2 |
759267328 |
| ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--net--ethernet--marvell--skge.ko-entry_point_true-unreach-call.cil.out.c |
timeout (error (143)) |
16.9 |
17.0 |
709595136 |
timeout |
15.5 |
15.6 |
701394944 |
| 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 |
unknown |
10.2 |
10.3 |
455446528 |
timeout (error (143)) |
21.0 |
21.1 |
721526784 |
| ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--scsi--ipr.ko-entry_point_true-unreach-call.cil.out.c |
unknown |
13.5 |
13.5 |
688005120 |
timeout (error (143)) |
21.0 |
21.1 |
715358208 |
| ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--scsi--qla4xxx--qla4xxx.ko-entry_point_true-unreach-call.cil.out.c |
unknown |
13.5 |
13.6 |
688615424 |
timeout (error (143)) |
21.0 |
21.1 |
742154240 |
| 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 |
unknown |
12.3 |
12.4 |
690581504 |
timeout (error (143)) |
21.0 |
21.1 |
748351488 |
| 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 |
error: exception |
9.69 |
9.79 |
383737856 |
unknown |
10.2 |
10.3 |
406237184 |
| 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.9 |
15.1 |
783626240 |
timeout |
15.2 |
15.4 |
775114752 |
| ldv-challenges/linux-3.14__complex_emg__linux-alloc-spinlock__drivers-net-ethernet-intel-igb-igb_true-unreach-call.cil.c |
unknown |
14.5 |
14.6 |
696090624 |
timeout |
15.4 |
15.5 |
691392512 |
| ldv-challenges/linux-3.14__complex_emg__linux-alloc-spinlock__drivers-net-ethernet-myricom-myri10ge-myri10ge_true-unreach-call.cil.c |
unknown |
8.40 |
8.44 |
649310208 |
timeout (error (143)) |
21.0 |
21.1 |
725225472 |
| ldv-challenges/linux-3.14__complex_emg__linux-alloc-spinlock__drivers-net-ethernet-nvidia-forcedeth_true-unreach-call.cil.c |
unknown |
8.83 |
8.88 |
653783040 |
timeout (error (143)) |
21.0 |
21.1 |
722055168 |
| ldv-challenges/linux-3.14__complex_emg__linux-alloc-spinlock__drivers-net-ethernet-sfc-sfc_true-unreach-call.cil.c |
timeout |
15.0 |
15.1 |
706904064 |
unknown |
14.3 |
14.5 |
699924480 |
| ldv-challenges/linux-3.14__complex_emg__linux-drivers-clk1__drivers-net-ethernet-intel-ixgbe-ixgbe_true-unreach-call.cil.c |
timeout |
15.5 |
15.7 |
762949632 |
timeout (error (143)) |
16.5 |
16.6 |
762691584 |
| ldv-challenges/linux-3.14__complex_emg__linux-drivers-clk1__drivers-net-ethernet-nvidia-forcedeth_true-unreach-call.cil.c |
unknown |
11.8 |
11.9 |
626204672 |
timeout (error (143)) |
21.0 |
21.1 |
718573568 |
| ldv-challenges/linux-3.14__complex_emg__linux-drivers-clk1__drivers-net-ethernet-smsc-smsc911x_true-unreach-call.cil.c |
unknown |
9.87 |
9.95 |
395091968 |
timeout (error (143)) |
21.0 |
21.1 |
710856704 |
| ldv-challenges/linux-3.14__complex_emg__linux-kernel-locking-mutex__drivers-net-ethernet-intel-igb-igb_true-unreach-call.cil.c |
unknown |
14.3 |
14.4 |
678850560 |
timeout |
15.0 |
15.1 |
685961216 |
| ldv-challenges/linux-3.14__complex_emg__linux-kernel-locking-mutex__drivers-net-ethernet-nvidia-forcedeth_true-unreach-call.cil.c |
unknown |
11.8 |
11.9 |
617746432 |
timeout (error (143)) |
21.0 |
21.1 |
720158720 |
| ldv-challenges/linux-3.14__complex_emg__linux-kernel-locking-spinlock__drivers-net-ethernet-intel-igb-igb_true-unreach-call.cil.c |
unknown |
14.3 |
14.4 |
683442176 |
timeout (error (143)) |
16.1 |
16.1 |
695377920 |
| ldv-challenges/linux-3.14__complex_emg__linux-kernel-locking-spinlock__drivers-net-ethernet-intel-ixgbe-ixgbe_true-unreach-call.cil.c |
timeout (error (143)) |
16.1 |
16.2 |
763867136 |
timeout |
15.3 |
15.4 |
763805696 |
| ldv-challenges/linux-3.14__complex_emg__linux-kernel-locking-spinlock__drivers-net-ethernet-nvidia-forcedeth_true-unreach-call.cil.c |
unknown |
11.7 |
11.7 |
644751360 |
timeout (error (143)) |
21.0 |
21.1 |
718831616 |
| ldv-challenges/linux-3.14__complex_emg__linux-usb-dev__drivers-net-ethernet-intel-igb-igb_true-unreach-call.cil.c |
timeout |
15.7 |
15.8 |
692330496 |
unknown |
9.99 |
10.0 |
692785152 |
| ldv-challenges/linux-3.14__complex_emg__linux-usb-dev__drivers-net-ethernet-intel-ixgbe-ixgbe_true-unreach-call.cil.c |
timeout |
15.6 |
15.9 |
762908672 |
timeout (error (143)) |
17.8 |
18.0 |
766242816 |
| ldv-challenges/linux-3.14__complex_emg__linux-usb-dev__drivers-net-ethernet-nvidia-forcedeth_true-unreach-call.cil.c |
unknown |
11.2 |
11.3 |
623443968 |
timeout (error (143)) |
21.0 |
21.1 |
722128896 |
| ldv-challenges/linux-3.14__linux-alloc-spinlock__drivers-net-ethernet-nvidia-forcedeth_true-unreach-call.cil.c |
unknown |
11.2 |
11.3 |
626675712 |
timeout |
21.0 |
21.1 |
726192128 |
| ldv-challenges/linux-3.14__linux-drivers-clk1__drivers-net-ethernet-smsc-smsc911x_true-unreach-call.cil.c |
unknown |
9.75 |
9.83 |
381927424 |
timeout (error (143)) |
21.0 |
21.1 |
704098304 |
| ldv-challenges/linux-3.14__linux-kernel-locking-spinlock__drivers-net-ethernet-intel-ixgbe-ixgbe_true-unreach-call.cil.c |
timeout |
15.7 |
16.0 |
759054336 |
timeout (error (143)) |
16.7 |
16.7 |
757260288 |
| ldv-challenges/linux-3.14__linux-kernel-locking-spinlock__drivers-net-ethernet-nvidia-forcedeth_true-unreach-call.cil.c |
unknown |
11.5 |
11.6 |
630743040 |
timeout (error (143)) |
21.0 |
21.1 |
724774912 |
| ldv-challenges/linux-3.14__linux-usb-dev__drivers-net-ethernet-nvidia-forcedeth_true-unreach-call.cil.c |
unknown |
12.0 |
12.1 |
615510016 |
timeout (error (143)) |
20.8 |
21.1 |
715120640 |
| 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 |
timeout |
15.8 |
15.9 |
783245312 |
unknown |
14.9 |
15.0 |
773627904 |
| ldv-linux-3.14/linux-3.14__complex_emg__linux-alloc-spinlock__drivers-net-ethernet-3com-typhoon_true-unreach-call.cil.c |
unknown |
10.8 |
11.0 |
490967040 |
timeout (error (143)) |
21.0 |
21.1 |
705007616 |
| ldv-linux-3.14/linux-3.14__complex_emg__linux-alloc-spinlock__drivers-net-ethernet-tehuti-tehuti_true-unreach-call.cil.c |
unknown |
10.9 |
11.0 |
547827712 |
timeout (error (143)) |
21.0 |
21.1 |
710348800 |
| ldv-linux-3.14/linux-3.14__complex_emg__linux-kernel-locking-spinlock__drivers-net-ethernet-myricom-myri10ge-myri10ge_true-unreach-call.cil.c |
unknown |
11.8 |
11.8 |
667136000 |
timeout (error (143)) |
21.0 |
21.1 |
727519232 |
| ldv-linux-3.14/linux-3.14__complex_emg__linux-kernel-locking-spinlock__drivers-net-ethernet-smsc-smsc911x_true-unreach-call.cil.c |
unknown |
9.93 |
10.0 |
404094976 |
timeout (error (143)) |
21.0 |
21.1 |
708513792 |
| ldv-linux-3.14/linux-3.14__linux-alloc-spinlock__drivers-net-ethernet-myricom-myri10ge-myri10ge_true-unreach-call.cil.c |
unknown |
12.7 |
12.8 |
653828096 |
timeout (error (143)) |
21.0 |
21.1 |
719298560 |
| ldv-linux-3.14/linux-3.14__linux-drivers-clk1__drivers-net-ethernet-intel-e1000-e1000_true-unreach-call.cil.c |
unknown |
9.60 |
9.68 |
677568512 |
timeout |
15.3 |
15.4 |
688205824 |
| ldv-linux-3.14/linux-3.14__linux-drivers-clk1__drivers-net-ethernet-intel-ixgbe-ixgbe_true-unreach-call.cil.c |
unknown |
11.8 |
11.9 |
758214656 |
timeout (error (143)) |
16.5 |
16.6 |
754884608 |
| ldv-linux-3.14/linux-3.14__linux-drivers-clk1__drivers-net-ethernet-nvidia-forcedeth_true-unreach-call.cil.c |
unknown |
11.7 |
11.8 |
609697792 |
error: exception |
4.31 |
4.34 |
168640512 |
| ldv-linux-3.14/linux-3.14__linux-kernel-locking-mutex__drivers-media-pci-saa7164-saa7164_true-unreach-call.cil.c |
error: exception |
6.17 |
6.23 |
170897408 |
unknown |
10.1 |
10.1 |
478363648 |
| ldv-linux-3.14/linux-3.14__linux-kernel-locking-mutex__drivers-net-ethernet-broadcom-tg3_true-unreach-call.cil.c |
timeout |
15.1 |
15.2 |
692981760 |
unknown |
10.3 |
10.3 |
689217536 |
| ldv-linux-3.14/linux-3.14__linux-kernel-locking-mutex__drivers-net-ethernet-intel-ixgbe-ixgbe_true-unreach-call.cil.c |
timeout |
15.9 |
16.0 |
758681600 |
timeout (error (143)) |
17.8 |
17.9 |
761704448 |
| ldv-linux-3.14/linux-3.14__linux-kernel-locking-mutex__drivers-net-ethernet-nvidia-forcedeth_true-unreach-call.cil.c |
unknown |
12.2 |
12.4 |
620662784 |
timeout (error (143)) |
21.0 |
21.1 |
716910592 |
| ldv-linux-3.14/linux-3.14__linux-kernel-locking-spinlock__drivers-net-ethernet-myricom-myri10ge-myri10ge_true-unreach-call.cil.c |
unknown |
11.7 |
11.8 |
665509888 |
timeout |
21.0 |
21.1 |
716615680 |
| ldv-linux-3.14/linux-3.14__linux-usb-dev__drivers-net-ethernet-intel-ixgbe-ixgbe_true-unreach-call.cil.c |
unknown |
14.8 |
14.9 |
756080640 |
timeout |
15.9 |
16.0 |
759959552 |
| ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--infiniband--ulp--srp--ib_srp.ko_false-unreach-call.cil.c |
unknown |
11.2 |
11.3 |
605114368 |
timeout (error (143)) |
21.0 |
21.1 |
703836160 |
| ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--net--ethernet--broadcom--tg3.ko_false-unreach-call.cil.c |
unknown |
13.4 |
13.5 |
680337408 |
timeout |
15.3 |
15.4 |
685969408 |
| ldv-linux-4.0-rc1-mav/linux-4.0-rc1---fs--ncpfs--ncpfs.ko_false-unreach-call.cil.c |
timeout |
15.2 |
15.3 |
718106624 |
timeout (error (143)) |
21.0 |
21.1 |
719073280 |
| ldv-linux-4.0-rc1-mav/linux-4.0-rc1---fs--squashfs--squashfs.ko_true-unreach-call.cil.c |
error: exception |
9.70 |
9.78 |
401731584 |
unknown |
9.42 |
9.50 |
398360576 |
| array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i |
error: exception |
4.35 |
4.40 |
165498880 |
unknown |
7.07 |
7.14 |
176037888 |
| memsafety/test-0158_true-valid-memsafety_true-termination.i |
error: exception |
4.17 |
4.21 |
167817216 |
unknown |
6.84 |
6.90 |
179478528 |
| ldv-memsafety/memset2_false-valid-deref-write.c |
unknown |
6.64 |
6.72 |
185778176 |
error: exception |
6.77 |
6.95 |
178327552 |
| ldv-memsafety/memset3_false-valid-deref-write.c |
unknown |
6.96 |
7.04 |
182767616 |
error: exception |
6.52 |
6.58 |
174997504 |
| ldv-memsafety/memsetNonZero2_false-valid-deref-write.c |
unknown |
6.90 |
7.10 |
182599680 |
error: exception |
4.71 |
4.74 |
175714304 |
| ldv-memsafety/memsetNonZero3_false-valid-deref-write.c |
unknown |
7.07 |
7.13 |
176508928 |
error: exception |
6.83 |
7.03 |
186167296 |
| ldv-memsafety/memsetNonZero_false-valid-deref-write.c |
unknown |
6.83 |
6.90 |
178126848 |
error: exception |
6.56 |
6.61 |
174821376 |
| ldv-memsafety/memset_false-valid-deref-write.c |
unknown |
6.83 |
6.91 |
176087040 |
error: exception |
6.62 |
6.83 |
178327552 |
| ldv-memsafety/memset2_true-valid-memsafety_true-termination.c |
unknown |
6.81 |
6.88 |
177041408 |
error: exception |
6.80 |
6.85 |
176197632 |
| ldv-memsafety/memset3_true-valid-memsafety_true-termination.c |
unknown |
4.97 |
5.01 |
176648192 |
error: exception |
6.59 |
6.63 |
177807360 |
| ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c |
unknown |
6.49 |
6.55 |
179638272 |
error: exception |
6.80 |
6.85 |
179867648 |
| ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c |
unknown |
6.92 |
6.99 |
180350976 |
error: exception |
4.68 |
4.72 |
178737152 |
| ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c |
unknown |
7.06 |
7.11 |
181657600 |
error: exception |
4.91 |
4.94 |
175443968 |
| ldv-memsafety/memset_true-valid-memsafety_true-termination.c |
unknown |
4.87 |
4.90 |
178470912 |
error: exception |
6.48 |
6.53 |
175423488 |
| busybox-1.22.0/uudecode_true-no-overflow_true-valid-memsafety.i |
error: exception |
4.12 |
4.16 |
167739392 |
unknown |
7.59 |
7.64 |
215400448 |
| recursive/Addition02WithOverflowBug_false-no-overflow.c |
unknown |
6.96 |
7.05 |
177094656 |
error (255) |
4.77 |
4.82 |
146345984 |
| recursive/Addition03_false-no-overflow.c |
unknown |
6.87 |
6.94 |
178630656 |
error (255) |
4.85 |
5.06 |
146935808 |
| recursive/EvenOdd03WithOverflowBug_false-no-overflow.c |
unknown |
7.08 |
7.16 |
176885760 |
error (255) |
4.58 |
4.62 |
144461824 |
| recursive-simple/id_b3_o2_false-no-overflow.c |
unknown |
5.05 |
5.10 |
175910912 |
error (255) |
4.58 |
4.62 |
142540800 |
| recursive-simple/id_b3_o5_false-no-overflow.c |
unknown |
5.02 |
5.08 |
182530048 |
error (255) |
4.53 |
4.58 |
145027072 |
| recursive-simple/id_b5_o10_false-no-overflow.c |
unknown |
6.80 |
7.44 |
177528832 |
error (255) |
3.87 |
3.91 |
145059840 |
| recursive-simple/sum_non_eq_false-no-overflow.c |
unknown |
6.65 |
6.73 |
176009216 |
error (255) |
4.50 |
4.57 |
144396288 |
| recursive-simple/sum_non_false-no-overflow.c |
unknown |
6.89 |
6.96 |
177074176 |
error (255) |
4.09 |
4.13 |
145879040 |
| bitvector/byte_add_1_false-no-overflow.i |
unknown |
7.12 |
7.53 |
183869440 |
error (255) |
3.37 |
3.42 |
144875520 |
| bitvector/byte_add_2_false-no-overflow.i |
unknown |
7.29 |
7.36 |
181645312 |
error (255) |
4.36 |
4.42 |
144424960 |
| bitvector/byte_add_false-no-overflow.i |
unknown |
6.82 |
6.90 |
181915648 |
error (255) |
3.40 |
3.63 |
146759680 |
| bitvector/jain_1_false-no-overflow.i |
unknown |
6.44 |
6.50 |
177913856 |
error (255) |
4.71 |
4.89 |
146821120 |
| bitvector/jain_2_false-no-overflow.i |
unknown |
7.00 |
7.07 |
177303552 |
error (255) |
4.46 |
4.51 |
144306176 |
| bitvector/jain_4_false-no-overflow.i |
unknown |
4.93 |
4.98 |
175472640 |
error (255) |
4.51 |
4.69 |
142565376 |
| bitvector/jain_5_false-no-overflow.i |
unknown |
6.62 |
6.70 |
173293568 |
error (255) |
4.74 |
4.91 |
147124224 |
| bitvector/jain_6_false-no-overflow.i |
unknown |
6.53 |
6.60 |
176336896 |
error (255) |
4.64 |
4.69 |
144683008 |
| bitvector/jain_7_false-no-overflow.i |
unknown |
6.81 |
6.88 |
174518272 |
error (255) |
4.69 |
4.74 |
145551360 |
| bitvector/modulus_false-no-overflow.i |
unknown |
6.68 |
6.91 |
175333376 |
error (255) |
4.71 |
4.77 |
145416192 |
| psyco/psyco_abp_1_false-no-overflow.c |
unknown |
7.58 |
7.66 |
196616192 |
error (255) |
4.63 |
5.02 |
146620416 |
| signedintegeroverflow-regression/AdditionIntMax_false-no-overflow.c.i |
unknown |
7.66 |
7.72 |
190136320 |
error (255) |
4.51 |
4.57 |
144543744 |
| signedintegeroverflow-regression/AdditionIntMin_false-no-overflow.c.i |
unknown |
7.34 |
7.40 |
192364544 |
error (255) |
4.53 |
4.60 |
144355328 |
| signedintegeroverflow-regression/Division_false-no-overflow.c.i |
unknown |
5.30 |
5.33 |
190541824 |
error (255) |
4.41 |
4.47 |
146690048 |
| signedintegeroverflow-regression/Multiplication_false-no-overflow.c.i |
unknown |
7.28 |
7.34 |
191016960 |
error (255) |
4.42 |
4.46 |
145018880 |
| signedintegeroverflow-regression/NoConversion_false-no-overflow.c.i |
unknown |
5.57 |
5.62 |
190472192 |
error (255) |
4.53 |
4.59 |
144236544 |
| signedintegeroverflow-regression/PostfixDecrement_false-no-overflow.c.i |
unknown |
7.19 |
7.25 |
195956736 |
error (255) |
4.66 |
4.71 |
144801792 |
| signedintegeroverflow-regression/PostfixIncrement_false-no-overflow.c.i |
unknown |
7.24 |
7.30 |
195006464 |
error (255) |
4.50 |
4.55 |
144285696 |
| signedintegeroverflow-regression/PrefixDecrement_false-no-overflow.c.i |
unknown |
7.39 |
7.45 |
195088384 |
error (255) |
4.74 |
4.79 |
146866176 |
| signedintegeroverflow-regression/PrefixIncrement_false-no-overflow.c.i |
unknown |
7.51 |
7.58 |
191184896 |
error (255) |
4.40 |
4.44 |
144666624 |
| signedintegeroverflow-regression/UnaryMinus_false-no-overflow.c.i |
unknown |
6.93 |
7.00 |
188092416 |
error (255) |
4.53 |
4.71 |
144367616 |
| signedintegeroverflow-regression/ConversionToSignedInt_true-no-overflow_true-termination.c.i |
unknown |
7.58 |
7.66 |
192901120 |
error (255) |
4.80 |
4.99 |
146718720 |
| signedintegeroverflow-regression/IntegerPromotion_true-no-overflow_true-termination.c.i |
unknown |
7.14 |
7.44 |
190640128 |
error (255) |
4.65 |
4.70 |
144547840 |
| signedintegeroverflow-regression/Multiplication_true-no-overflow_true-termination.c.i |
unknown |
5.21 |
5.26 |
188407808 |
error (255) |
4.50 |
4.54 |
142524416 |
| signedintegeroverflow-regression/NoNegativeIntegerConstant_true-no-overflow_true-termination.c.i |
unknown |
7.47 |
7.56 |
189181952 |
error (255) |
4.53 |
4.93 |
148836352 |
| signedintegeroverflow-regression/UsualArithmeticConversions_true-no-overflow_true-termination.c.i |
unknown |
7.44 |
7.54 |
191442944 |
error (255) |
4.55 |
4.59 |
144486400 |
| termination-crafted/2Nested_false-no-overflow.c |
unknown |
6.70 |
6.76 |
177692672 |
error (255) |
4.78 |
4.82 |
146624512 |
| termination-crafted/4NestedWith3Variables_false-no-overflow.c |
unknown |
6.59 |
6.65 |
178872320 |
error (255) |
3.52 |
3.55 |
143200256 |
| termination-crafted/Ackermann_false-no-overflow.c |
unknown |
6.76 |
6.83 |
172322816 |
error (255) |
4.71 |
4.75 |
146767872 |
| termination-crafted/Bangalore_false-no-overflow.c |
unknown |
6.90 |
6.98 |
175153152 |
error (255) |
4.57 |
4.61 |
146735104 |
| termination-crafted/Bangalore_v3_false-no-overflow.c |
unknown |
6.77 |
7.00 |
183640064 |
error (255) |
3.34 |
3.37 |
143323136 |
| termination-crafted/Benghazi_nondet_false-no-overflow.c |
unknown |
6.79 |
7.02 |
184770560 |
error (255) |
4.66 |
5.19 |
147423232 |
| termination-crafted/Binary_Search_false-no-overflow.c |
unknown |
6.80 |
6.87 |
183738368 |
error (255) |
4.61 |
4.65 |
146468864 |
| termination-crafted/Cairo_nondet_false-no-overflow.c |
unknown |
6.61 |
6.67 |
179761152 |
error (255) |
4.37 |
4.42 |
142946304 |
| termination-crafted/Cairo_step2_false-no-overflow.c |
unknown |
6.95 |
7.03 |
180453376 |
error (255) |
4.79 |
4.83 |
144404480 |
| termination-crafted/Collatz_unknown-termination_false-no-overflow.c |
unknown |
6.87 |
6.94 |
176009216 |
error (255) |
4.68 |
4.72 |
143020032 |
| termination-crafted/Copenhagen_disj_false-no-overflow.c |
unknown |
7.09 |
7.15 |
175513600 |
error (255) |
4.52 |
4.56 |
143245312 |
| termination-crafted/Gothenburg_false-no-overflow.c |
unknown |
6.98 |
7.06 |
176418816 |
error (255) |
4.33 |
4.37 |
144277504 |
| termination-crafted/Gothenburg_v2_false-no-overflow.c |
unknown |
6.61 |
6.68 |
180023296 |
error (255) |
4.70 |
4.76 |
143605760 |
| termination-crafted/Hanoi_2vars_false-no-overflow.c |
unknown |
6.72 |
6.83 |
180432896 |
error (255) |
4.81 |
4.99 |
147247104 |
| termination-crafted/Hanoi_3vars_false-no-overflow.c |
unknown |
6.90 |
6.98 |
176390144 |
error (255) |
4.51 |
4.57 |
144199680 |
| termination-crafted/Hanoi_plus_false-no-overflow.c |
unknown |
4.97 |
5.00 |
177205248 |
error (255) |
4.51 |
4.72 |
146923520 |
| termination-crafted/Lobnya-Boolean-Reordered_false-no-overflow.c |
unknown |
6.99 |
7.05 |
178962432 |
error (255) |
4.57 |
4.64 |
144289792 |
| termination-crafted/Mysore_false-no-overflow.c |
unknown |
6.98 |
7.04 |
175681536 |
error (255) |
4.63 |
4.68 |
143941632 |
| termination-crafted/NestedRecursion_1a_false-no-overflow.c |
unknown |
6.83 |
6.92 |
178601984 |
error (255) |
4.55 |
4.61 |
144388096 |
| termination-crafted/NestedRecursion_2a_false-no-overflow.c |
unknown |
6.67 |
6.73 |
174133248 |
error (255) |
4.64 |
4.70 |
146935808 |
| termination-crafted/NonTermination1_false-no-overflow.c |
unknown |
6.86 |
6.93 |
177254400 |
error (255) |
4.46 |
4.51 |
144281600 |
| termination-crafted/NonTermination2_false-no-overflow.c |
unknown |
6.93 |
7.00 |
175173632 |
error (255) |
4.63 |
4.68 |
144457728 |
| termination-crafted/NonTermination4_false-no-overflow.c |
unknown |
6.71 |
6.77 |
173654016 |
error (255) |
4.57 |
4.61 |
144166912 |
| termination-crafted/NonTerminationSimple2_false-no-overflow.c |
unknown |
6.72 |
6.79 |
173867008 |
error (255) |
4.43 |
4.46 |
144384000 |
| termination-crafted/NonTerminationSimple3_false-no-overflow.c |
unknown |
6.65 |
6.73 |
176590848 |
error (255) |
3.36 |
3.39 |
144236544 |
| termination-crafted/NonTerminationSimple4_false-no-overflow.c |
unknown |
4.96 |
5.20 |
173359104 |
error (255) |
4.63 |
4.68 |
143360000 |
| termination-crafted/NonTerminationSimple5_false-no-overflow.c |
unknown |
5.05 |
5.09 |
176599040 |
error (255) |
4.41 |
4.46 |
144191488 |
| termination-crafted/NonTerminationSimple6_false-no-overflow.c |
unknown |
6.76 |
6.83 |
177659904 |
error (255) |
3.40 |
3.44 |
144805888 |
| termination-crafted/NonTerminationSimple8_false-no-overflow.c |
unknown |
6.93 |
7.00 |
173969408 |
error (255) |
4.70 |
4.74 |
143736832 |
| termination-crafted/NonTerminationSimple9_false-no-overflow.c |
unknown |
6.65 |
6.73 |
174952448 |
error (255) |
4.79 |
4.98 |
149471232 |
| termination-crafted/Pure2Phase_false-no-overflow.c |
unknown |
6.91 |
7.15 |
178917376 |
error (255) |
4.65 |
4.70 |
143478784 |
| termination-crafted/Pure3Phase_false-no-overflow.c |
unknown |
6.83 |
6.90 |
176246784 |
error (255) |
4.62 |
4.66 |
142577664 |
| termination-crafted/RecursiveMultiplication_false-no-overflow.c |
unknown |
6.73 |
7.33 |
182288384 |
error (255) |
4.75 |
4.79 |
144670720 |
| termination-crafted/RecursiveNonterminating_false-no-overflow.c |
unknown |
6.80 |
6.85 |
177922048 |
error (255) |
4.67 |
4.72 |
144281600 |
| termination-crafted/Rotation180_false-no-overflow.c |
unknown |
6.60 |
6.66 |
178413568 |
error (255) |
4.69 |
4.74 |
143065088 |
| termination-crafted/Singapore_false-no-overflow.c |
unknown |
6.79 |
6.86 |
176394240 |
error (255) |
4.64 |
4.68 |
147570688 |
| termination-crafted/Singapore_plus_false-no-overflow.c |
unknown |
6.70 |
6.77 |
174084096 |
error (255) |
4.75 |
4.80 |
147398656 |
| termination-crafted/Singapore_v1_false-no-overflow.c |
unknown |
6.82 |
6.90 |
174534656 |
error (255) |
4.71 |
4.75 |
144801792 |
| termination-crafted/Singapore_v2_false-no-overflow.c |
unknown |
6.91 |
7.13 |
179412992 |
error (255) |
4.66 |
4.71 |
143306752 |
| termination-crafted/Stockholm_false-no-overflow.c |
unknown |
6.94 |
7.03 |
176939008 |
error (255) |
3.40 |
3.43 |
144887808 |
| termination-crafted/Thun_false-no-overflow.c |
unknown |
6.81 |
6.89 |
176373760 |
error (255) |
4.51 |
4.56 |
142671872 |
| termination-crafted/Toulouse-BranchesToLoop_false-no-overflow.c |
unknown |
6.77 |
6.84 |
181325824 |
error (255) |
4.44 |
4.49 |
144158720 |
| termination-crafted/Toulouse-MultiBranchesToLoop_false-no-overflow.c |
unknown |
7.09 |
7.16 |
178896896 |
error (255) |
4.61 |
4.66 |
146251776 |
| termination-crafted/aaron2_false-no-overflow.c |
unknown |
6.88 |
6.95 |
177442816 |
error (255) |
4.54 |
4.58 |
142462976 |
| termination-crafted/aaron3_false-no-overflow.c |
unknown |
6.68 |
6.74 |
180367360 |
error (255) |
3.42 |
3.45 |
144777216 |
| termination-crafted/easy2_false-no-overflow.c |
unknown |
6.97 |
7.18 |
180822016 |
error (255) |
4.74 |
4.79 |
147152896 |
| termination-crafted/4BitCounterPointer_true-no-overflow_true-termination_true-valid-memsafety.c |
unknown |
7.07 |
7.13 |
178950144 |
error (255) |
4.73 |
4.93 |
146784256 |
| termination-crafted/Arrays01-EquivalentConstantIndices_true-no-overflow_true-termination_true-valid-memsafety.c |
unknown |
6.74 |
6.79 |
175038464 |
error (255) |
4.60 |
4.79 |
145039360 |
| termination-crafted/Arrays02-EquivalentConstantIndices_true-no-overflow_false-termination.c |
unknown |
6.79 |
6.89 |
179499008 |
error (255) |
4.46 |
4.52 |
146239488 |
| termination-crafted/Arrays03-ValueRestictsIndex_true-no-overflow_true-termination_true-valid-memsafety.c |
unknown |
7.02 |
7.11 |
180822016 |
error (255) |
4.79 |
4.83 |
144621568 |
| termination-crafted/Bangalore_true-no-overflow_true-termination_true-valid-memsafety.c |
unknown |
4.96 |
5.03 |
176607232 |
error (255) |
4.62 |
4.67 |
144199680 |
| termination-crafted/Bangalore_v2_true-no-overflow_false-termination_true-valid-memsafety.c |
unknown |
6.83 |
6.91 |
174010368 |
error (255) |
4.57 |
4.62 |
145584128 |
| termination-crafted/Bangalore_v4_true-no-overflow_true-termination_true-valid-memsafety.c |
unknown |
6.70 |
6.91 |
176754688 |
error (255) |
4.70 |
4.76 |
142938112 |
| termination-crafted/Benghazi_true-no-overflow_true-termination_true-valid-memsafety.c |
unknown |
6.75 |
6.84 |
180563968 |
error (255) |
4.62 |
4.66 |
142999552 |
| termination-crafted/Cairo_step2_true-no-overflow_false-termination_true-valid-memsafety.c |
unknown |
6.49 |
6.58 |
175980544 |
error (255) |
4.75 |
4.79 |
144633856 |
| termination-crafted/Cairo_step2_true-no-overflow_true-termination_true-valid-memsafety.c |
unknown |
6.89 |
6.95 |
177139712 |
error (255) |
4.69 |
4.74 |
143679488 |
| termination-crafted/Cairo_true-no-overflow_true-termination_true-valid-memsafety.c |
unknown |
5.06 |
5.31 |
175443968 |
error (255) |
4.59 |
4.62 |
145416192 |
| termination-crafted/Copenhagen_true-no-overflow_true-termination_true-valid-memsafety.c |
unknown |
6.78 |
6.83 |
185917440 |
error (255) |
4.69 |
4.73 |
144789504 |
| termination-crafted/Division_true-no-overflow_false-termination_true-valid-memsafety.c |
unknown |
6.90 |
6.99 |
176107520 |
error (255) |
4.66 |
4.71 |
142225408 |
| termination-crafted/LexIndexValue-Array_true-no-overflow_true-termination_true-valid-memsafety.c |
unknown |
6.89 |
6.96 |
174956544 |
error (255) |
4.63 |
4.70 |
145051648 |
| termination-crafted/LexIndexValue-Pointer_true-no-overflow.c |
unknown |
6.84 |
6.89 |
178053120 |
error (255) |
4.50 |
4.54 |
144510976 |
| termination-crafted/Madrid_true-no-overflow_false-termination_true-valid-memsafety.c |
unknown |
6.84 |
6.92 |
177549312 |
error (255) |
4.82 |
4.86 |
146612224 |
| termination-crafted/McCarthy91_Iteration_true-no-overflow_true-termination_true-valid-memsafety.c |
unknown |
6.81 |
6.89 |
178999296 |
error (255) |
4.77 |
4.81 |
147013632 |
| termination-crafted/McCarthy91_Recursion_true-no-overflow_true-termination_true-valid-memsafety.c |
unknown |
6.62 |
6.69 |
177659904 |
error (255) |
4.54 |
4.58 |
144113664 |
| termination-crafted/MenloPark_true-no-overflow_true-termination_true-valid-memsafety.c |
unknown |
6.91 |
6.99 |
180498432 |
error (255) |
4.71 |
4.75 |
145203200 |
| termination-crafted/MutualRecursion_1a_true-no-overflow_false-termination_true-valid-memsafety.c |
unknown |
6.65 |
6.87 |
178274304 |
error (255) |
3.37 |
3.40 |
144076800 |
| termination-crafted/MutualRecursion_1b_true-no-overflow_true-termination_true-valid-memsafety.c |
unknown |
6.84 |
6.89 |
176394240 |
error (255) |
3.43 |
3.45 |
143314944 |
| termination-crafted/NestedRecursion_1b_true-no-overflow_true-termination_true-valid-memsafety.c |
unknown |
6.98 |
7.05 |
177942528 |
error (255) |
4.77 |
4.82 |
144859136 |
| termination-crafted/NestedRecursion_1c_true-no-overflow_true-termination_true-valid-memsafety.c |
unknown |
6.97 |
7.07 |
178884608 |
error (255) |
4.25 |
4.30 |
144510976 |
| termination-crafted/NestedRecursion_1d_true-no-overflow_true-termination_true-valid-memsafety.c |
unknown |
6.92 |
6.99 |
179769344 |
error (255) |
4.42 |
4.46 |
144891904 |
| termination-crafted/NestedRecursion_2b_true-no-overflow_false-termination_true-valid-memsafety.c |
unknown |
6.77 |
6.83 |
178626560 |
error (255) |
4.44 |
4.48 |
142413824 |
| termination-crafted/NestedRecursion_2c_true-no-overflow_true-termination_true-valid-memsafety.c |
unknown |
7.00 |
7.08 |
177713152 |
error (255) |
4.64 |
4.69 |
144293888 |
| termination-crafted/NonTermination3_true-no-overflow_false-termination.c |
unknown |
7.01 |
7.08 |
176078848 |
error (255) |
4.58 |
4.64 |
146034688 |
| termination-crafted/NonTerminationSimple7_true-no-overflow_false-termination_true-valid-memsafety.c |
unknown |
6.90 |
6.98 |
175853568 |
error (255) |
4.75 |
4.82 |
142581760 |
| termination-crafted/Nyala-2lex_true-no-overflow_true-termination_true-valid-memsafety.c |
unknown |
6.67 |
6.79 |
179478528 |
error (255) |
4.52 |
4.56 |
144875520 |
| termination-crafted/Parallel_true-no-overflow_true-termination_true-valid-memsafety.c |
unknown |
6.83 |
6.91 |
177233920 |
error (255) |
4.48 |
4.54 |
146464768 |
| termination-crafted/Piecewise_true-no-overflow_true-termination_true-valid-memsafety.c |
unknown |
4.94 |
4.99 |
174194688 |
error (255) |
4.69 |
4.73 |
143040512 |
| termination-crafted/SyntaxSupportPointer01_true-no-overflow_true-termination.c |
unknown |
6.94 |
7.04 |
178896896 |
error (255) |
4.48 |
4.52 |
142745600 |
| termination-crafted/TelAviv-Amir-Minimum_true-no-overflow_true-termination_true-valid-memsafety.c |
unknown |
6.92 |
7.00 |
175988736 |
error (255) |
4.61 |
4.66 |
144695296 |
| termination-crafted/Waldkirch_true-no-overflow_true-termination_true-valid-memsafety.c |
unknown |
6.85 |
6.93 |
177704960 |
error (255) |
4.62 |
4.67 |
144412672 |
| termination-crafted/WhileFalse_true-no-overflow_true-termination_true-valid-memsafety.c |
unknown |
6.93 |
6.99 |
177848320 |
error (255) |
4.52 |
4.71 |
144900096 |
| termination-crafted/WhileTrue_true-no-overflow_false-termination_true-valid-memsafety.c |
unknown |
4.89 |
4.95 |
174002176 |
error (255) |
4.68 |
4.72 |
142659584 |
| termination-crafted/easy1_true-no-overflow_true-termination_true-valid-memsafety.c |
unknown |
6.73 |
6.79 |
177946624 |
error (255) |
4.72 |
4.77 |
142184448 |
| termination-crafted/easy2_true-no-overflow_true-termination_true-valid-memsafety.c |
unknown |
6.79 |
6.85 |
172933120 |
error (255) |
4.55 |
4.59 |
144101376 |
| termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig2a_false-no-overflow.c |
unknown |
6.79 |
6.86 |
179945472 |
error (255) |
4.57 |
4.82 |
146620416 |
| termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig2b_false-no-overflow.c |
unknown |
6.84 |
6.93 |
177434624 |
error (255) |
4.71 |
4.75 |
144977920 |
| termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-aaron2_false-no-overflow.c |
unknown |
6.79 |
6.86 |
177819648 |
error (255) |
4.50 |
4.55 |
146472960 |
| termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-aaron3_false-no-overflow.c |
unknown |
6.87 |
6.92 |
179089408 |
error (255) |
4.49 |
4.52 |
144269312 |
| termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-complex_false-no-overflow.c |
unknown |
4.95 |
4.99 |
177819648 |
error (255) |
4.55 |
4.60 |
144408576 |
| termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-counterex1a_false-no-overflow.c |
unknown |
6.82 |
7.23 |
181592064 |
error (255) |
4.68 |
4.72 |
143069184 |
| termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-counterex1b_false-no-overflow.c |
unknown |
6.87 |
6.95 |
179675136 |
error (255) |
4.69 |
4.74 |
142442496 |
| termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy2_false-no-overflow.c |
unknown |
6.61 |
6.67 |
177000448 |
error (255) |
4.71 |
4.74 |
146612224 |
| termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-exmini_false-no-overflow.c |
unknown |
6.67 |
6.76 |
178765824 |
error (255) |
4.66 |
4.83 |
146231296 |
| termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-ndecr_false-no-overflow.c |
unknown |
6.84 |
6.90 |
179220480 |
error (255) |
3.47 |
3.49 |
145104896 |
| termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-nestedLoop_false-no-overflow.c |
unknown |
6.83 |
7.04 |
180957184 |
error (255) |
4.69 |
4.73 |
145162240 |
| termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random1d_false-no-overflow.c |
unknown |
6.82 |
6.90 |
176517120 |
error (255) |
3.43 |
3.46 |
145317888 |
| termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-rsd_false-no-overflow.c |
unknown |
6.91 |
7.00 |
180424704 |
error (255) |
4.49 |
4.54 |
142462976 |
| termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedFails4_false-no-overflow.c |
unknown |
6.85 |
7.27 |
181387264 |
error (255) |
4.52 |
4.57 |
144310272 |
| termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-terminate_false-no-overflow.c |
unknown |
6.75 |
6.83 |
174764032 |
error (255) |
4.80 |
4.84 |
146710528 |
| termination-crafted-lit/Ben-Amram-LMCS2010-Ex2.3_false-no-overflow.c |
unknown |
6.92 |
7.01 |
178044928 |
error (255) |
4.49 |
4.54 |
144748544 |
| termination-crafted-lit/BradleyMannaSipma-ICALP2005-Fig1_false-no-overflow.c |
unknown |
6.89 |
7.15 |
177676288 |
error (255) |
4.56 |
4.61 |
146079744 |
| termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron12_false-no-overflow.c |
unknown |
7.03 |
7.26 |
186490880 |
error (255) |
4.65 |
4.88 |
146477056 |
| termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron1_false-no-overflow.c |
unknown |
6.83 |
6.90 |
177000448 |
error (255) |
4.56 |
4.61 |
144203776 |
| termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron2_false-no-overflow.c |
unknown |
6.68 |
6.76 |
175898624 |
error (255) |
4.67 |
4.73 |
143450112 |
| termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron3_false-no-overflow.c |
unknown |
6.95 |
7.02 |
179830784 |
error (255) |
4.57 |
4.61 |
144244736 |
| termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron4_false-no-overflow.c |
unknown |
6.79 |
6.88 |
178225152 |
error (255) |
4.49 |
4.53 |
144883712 |
| termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron6_false-no-overflow.c |
unknown |
5.01 |
5.05 |
177577984 |
error (255) |
4.45 |
4.50 |
146419712 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.01_false-no-overflow.c |
unknown |
6.88 |
6.96 |
180420608 |
error (255) |
4.52 |
4.75 |
146616320 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.02_false-no-overflow.c |
unknown |
6.87 |
6.94 |
180465664 |
error (255) |
4.72 |
4.77 |
144556032 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.03_false-no-overflow.c |
unknown |
6.98 |
7.05 |
177750016 |
error (255) |
4.61 |
4.66 |
142708736 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.04_false-no-overflow.c |
unknown |
6.87 |
6.94 |
176693248 |
error (255) |
4.48 |
4.52 |
144175104 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.05_false-no-overflow.c |
unknown |
6.84 |
6.90 |
177901568 |
error (255) |
4.66 |
4.70 |
143425536 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.01_false-no-overflow.c |
unknown |
6.86 |
6.93 |
173039616 |
error (255) |
4.73 |
4.77 |
143998976 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.02_false-no-overflow.c |
unknown |
6.92 |
6.99 |
178659328 |
error (255) |
4.80 |
4.86 |
145133568 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.03_false-no-overflow.c |
unknown |
6.74 |
6.82 |
175833088 |
error (255) |
4.44 |
4.48 |
144486400 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.04_false-no-overflow.c |
unknown |
6.69 |
6.76 |
175599616 |
error (255) |
3.42 |
3.45 |
145154048 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.05_false-no-overflow.c |
unknown |
6.92 |
6.97 |
183300096 |
error (255) |
4.45 |
4.49 |
144891904 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.06_false-no-overflow.c |
unknown |
5.12 |
5.16 |
177455104 |
error (255) |
4.54 |
4.58 |
144314368 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.07_false-no-overflow.c |
unknown |
4.95 |
5.00 |
178069504 |
error (255) |
4.59 |
4.64 |
146354176 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.08_false-no-overflow.c |
unknown |
6.77 |
6.83 |
174002176 |
error (255) |
3.37 |
3.41 |
146296832 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.09_false-no-overflow.c |
unknown |
6.84 |
6.90 |
177958912 |
error (255) |
4.54 |
4.59 |
146206720 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.10_false-no-overflow.c |
unknown |
6.60 |
6.67 |
177811456 |
error (255) |
4.66 |
4.70 |
144662528 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.11_false-no-overflow.c |
unknown |
6.74 |
6.82 |
181219328 |
error (255) |
4.64 |
4.88 |
143085568 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.12_false-no-overflow.c |
unknown |
6.93 |
7.18 |
176787456 |
error (255) |
4.58 |
4.62 |
146391040 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.13_false-no-overflow.c |
unknown |
6.74 |
6.79 |
177541120 |
error (255) |
4.58 |
4.61 |
144236544 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.14_false-no-overflow.c |
unknown |
6.57 |
6.64 |
176459776 |
error (255) |
4.71 |
4.75 |
146202624 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.15_false-no-overflow.c |
unknown |
6.83 |
6.89 |
175497216 |
error (255) |
4.69 |
4.74 |
145211392 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.16_false-no-overflow.c |
unknown |
6.38 |
6.45 |
177836032 |
error (255) |
4.59 |
4.63 |
144896000 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.17_false-no-overflow.c |
unknown |
6.91 |
6.97 |
181485568 |
error (255) |
4.55 |
4.60 |
143200256 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.18_false-no-overflow.c |
unknown |
6.91 |
6.99 |
180826112 |
error (255) |
4.75 |
4.79 |
143364096 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.19_false-no-overflow.c |
unknown |
6.91 |
6.96 |
182935552 |
error (255) |
4.57 |
4.61 |
145317888 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.21_false-no-overflow.c |
unknown |
6.80 |
7.08 |
178855936 |
error (255) |
3.43 |
3.46 |
144896000 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.22_false-no-overflow.c |
unknown |
6.81 |
6.89 |
178593792 |
error (255) |
4.60 |
4.64 |
144121856 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.02_false-no-overflow.c |
unknown |
6.99 |
7.20 |
179015680 |
error (255) |
4.66 |
4.71 |
144265216 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.03_false-no-overflow.c |
unknown |
6.77 |
7.06 |
183328768 |
error (255) |
4.54 |
4.59 |
143753216 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.04_false-no-overflow.c |
unknown |
6.95 |
7.03 |
177684480 |
error (255) |
3.43 |
3.62 |
143486976 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.05_false-no-overflow.c |
unknown |
6.79 |
6.89 |
177295360 |
error (255) |
4.59 |
4.77 |
144236544 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.06_false-no-overflow.c |
unknown |
6.94 |
7.15 |
174284800 |
error (255) |
4.58 |
4.76 |
146829312 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.07_false-no-overflow.c |
unknown |
7.02 |
7.08 |
181100544 |
error (255) |
4.59 |
4.64 |
144379904 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.08_false-no-overflow.c |
unknown |
6.99 |
7.07 |
175431680 |
error (255) |
4.70 |
4.74 |
142979072 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.09_false-no-overflow.c |
unknown |
6.94 |
7.06 |
175280128 |
error (255) |
4.61 |
4.66 |
143986688 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.10_false-no-overflow.c |
unknown |
6.86 |
6.94 |
191320064 |
error (255) |
4.54 |
4.59 |
144388096 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex4.01_false-no-overflow.c |
unknown |
4.80 |
4.85 |
179494912 |
error (255) |
4.43 |
4.48 |
142843904 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Fig1_false-no-overflow.c |
unknown |
6.64 |
6.72 |
175460352 |
error (255) |
4.60 |
4.64 |
144683008 |
| termination-crafted-lit/ColonSipma-TACAS2001-Fig1_false-no-overflow.c |
unknown |
6.73 |
6.81 |
178040832 |
error (255) |
4.46 |
4.52 |
142577664 |
| termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1a_false-no-overflow.c |
unknown |
6.91 |
7.00 |
175472640 |
error (255) |
4.35 |
4.41 |
144420864 |
| termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1b_false-no-overflow.c |
unknown |
6.83 |
6.89 |
178757632 |
error (255) |
4.48 |
4.53 |
144388096 |
| termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1c_false-no-overflow.c |
unknown |
5.13 |
5.19 |
175968256 |
error (255) |
4.71 |
5.09 |
146620416 |
| termination-crafted-lit/GulwaniJainKoskinen-PLDI2009-Fig1_false-no-overflow.c |
unknown |
6.87 |
6.94 |
178032640 |
error (255) |
4.59 |
4.62 |
146767872 |
| termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig2_false-no-overflow.c |
unknown |
6.62 |
6.67 |
179912704 |
error (255) |
4.73 |
4.76 |
144130048 |
| termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig2_false-no-overflow.c |
unknown |
6.99 |
7.06 |
177901568 |
error (255) |
4.60 |
4.64 |
146194432 |
| termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig7_false-no-overflow.c |
unknown |
6.74 |
6.82 |
178544640 |
error (255) |
4.74 |
4.79 |
146731008 |
| termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig8_false-no-overflow.c |
unknown |
6.85 |
7.10 |
181481472 |
error (255) |
4.81 |
4.86 |
146997248 |
| termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig9_false-no-overflow.c |
unknown |
6.76 |
6.86 |
176533504 |
error (255) |
4.76 |
4.80 |
145022976 |
| termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex1_false-no-overflow.c |
unknown |
6.49 |
6.72 |
178421760 |
error (255) |
4.53 |
4.57 |
144277504 |
| termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex2_false-no-overflow.c |
unknown |
6.59 |
6.67 |
180326400 |
error (255) |
4.72 |
4.77 |
145141760 |
| termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex3_false-no-overflow.c |
unknown |
6.72 |
6.80 |
179171328 |
error (255) |
4.87 |
4.91 |
144830464 |
| termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex6_false-no-overflow.c |
unknown |
6.23 |
6.33 |
177328128 |
error (255) |
3.53 |
3.55 |
144646144 |
| termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex7_false-no-overflow.c |
unknown |
6.89 |
6.98 |
179752960 |
error (255) |
3.51 |
3.55 |
145125376 |
| termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex8_false-no-overflow.c |
unknown |
7.12 |
7.18 |
178618368 |
error (255) |
4.63 |
4.66 |
144355328 |
| termination-crafted-lit/LeikeHeizmann-TACAS2014-Fig1_false-no-overflow.c |
unknown |
6.86 |
6.93 |
178483200 |
error (255) |
4.74 |
4.77 |
144748544 |
| termination-crafted-lit/LeikeHeizmann-WST2014-Ex5_false-no-overflow.c |
unknown |
5.19 |
5.25 |
175616000 |
error (255) |
4.48 |
4.71 |
143454208 |
| termination-crafted-lit/LeikeHeizmann-WST2014-Ex6_false-no-overflow.c |
unknown |
7.02 |
7.09 |
175443968 |
error (255) |
4.75 |
4.80 |
145195008 |
| termination-crafted-lit/Masse-VMCAI2014-Ex6_false-no-overflow.c |
unknown |
7.19 |
7.28 |
178888704 |
error (255) |
4.67 |
4.72 |
144281600 |
| termination-crafted-lit/Masse-VMCAI2014-Fig1a_false-no-overflow.c |
unknown |
6.40 |
6.49 |
176455680 |
error (255) |
4.37 |
4.42 |
143798272 |
| termination-crafted-lit/Masse-VMCAI2014-Fig1b_false-no-overflow.c |
unknown |
6.98 |
7.07 |
182149120 |
error (255) |
4.76 |
4.81 |
146595840 |
| termination-crafted-lit/NoriSharma-FSE2013-Fig7_false-no-overflow.c |
unknown |
6.86 |
6.94 |
177131520 |
error (255) |
4.63 |
4.67 |
144515072 |
| termination-crafted-lit/NoriSharma-FSE2013-Fig8_false-no-overflow.c |
unknown |
6.81 |
6.88 |
176357376 |
error (255) |
4.64 |
4.68 |
146419712 |
| termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig2-TACAS2011-Fig3_false-no-overflow.c |
unknown |
6.81 |
6.91 |
175587328 |
error (255) |
4.67 |
4.71 |
144633856 |
| termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig2_false-no-overflow.c |
unknown |
6.86 |
6.92 |
176939008 |
error (255) |
4.70 |
4.74 |
145203200 |
| termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig3_false-no-overflow.c |
unknown |
6.30 |
6.38 |
178180096 |
error (255) |
4.65 |
4.87 |
146788352 |
| termination-crafted-lit/PodelskiRybalchenko-VMCAI2004-Ex1_false-no-overflow.c |
unknown |
7.02 |
7.12 |
179982336 |
error (255) |
4.64 |
4.70 |
144404480 |
| termination-crafted-lit/PodelskiRybalchenko-VMCAI2004-Ex2_false-no-overflow.c |
unknown |
5.25 |
5.31 |
177684480 |
error (255) |
4.52 |
4.55 |
144404480 |
| termination-crafted-lit/cstrncmp_false-no-overflow.c |
unknown |
7.09 |
7.15 |
179884032 |
error (255) |
4.61 |
4.64 |
144502784 |
| termination-crafted-lit/gcd1_false-no-overflow.c |
unknown |
6.79 |
6.84 |
174911488 |
error (255) |
4.53 |
4.58 |
144584704 |
| termination-crafted-lit/joey_false-no-overflow.c |
unknown |
6.77 |
7.00 |
178036736 |
error (255) |
4.70 |
4.92 |
149905408 |
| termination-crafted-lit/min_rf_false-no-overflow.c |
unknown |
6.94 |
7.01 |
178020352 |
error (255) |
4.65 |
4.70 |
144392192 |
| termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig1_true-termination_true-no-overflow.c |
unknown |
7.03 |
7.31 |
179261440 |
error (255) |
4.53 |
4.58 |
143622144 |
| termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-cousot9_true-termination_true-no-overflow.c |
unknown |
6.93 |
7.00 |
175697920 |
error (255) |
4.67 |
4.71 |
144809984 |
| termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy1_true-termination_true-no-overflow.c |
unknown |
7.07 |
7.13 |
177414144 |
error (255) |
4.54 |
4.59 |
144359424 |
| termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy2_true-termination_true-no-overflow.c |
unknown |
5.11 |
5.15 |
183361536 |
error (255) |
4.36 |
4.40 |
146309120 |
| termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-loops_true-termination_true-no-overflow.c |
unknown |
6.98 |
7.04 |
176570368 |
error (255) |
4.49 |
4.55 |
142487552 |
| termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-nestedLoop_true-termination_true-no-overflow.c |
unknown |
7.03 |
7.27 |
181420032 |
error (255) |
4.59 |
4.64 |
143290368 |
| termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random1d_true-termination_true-no-overflow.c |
unknown |
6.74 |
6.80 |
176766976 |
error (255) |
4.37 |
4.42 |
144633856 |
| termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random2d_true-termination_true-no-overflow.c |
unknown |
6.78 |
7.00 |
181624832 |
error (255) |
3.44 |
3.47 |
146735104 |
| termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi2_true-termination_true-no-overflow.c |
unknown |
6.89 |
6.96 |
179781632 |
error (255) |
4.62 |
4.66 |
142589952 |
| termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi3_true-termination_true-no-overflow.c |
unknown |
7.10 |
7.24 |
178348032 |
error (255) |
4.47 |
4.50 |
144105472 |
| termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi4_true-termination_true-no-overflow.c |
unknown |
6.75 |
7.01 |
190021632 |
error (255) |
3.27 |
3.31 |
143835136 |
| termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-wcet2_true-termination_true-no-overflow.c |
unknown |
6.82 |
6.88 |
179421184 |
error (255) |
4.52 |
4.58 |
144613376 |
| termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-while2_true-termination_true-no-overflow.c |
unknown |
7.12 |
7.19 |
182558720 |
error (255) |
4.60 |
4.64 |
145907712 |
| termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-wise_true-termination_true-no-overflow.c |
unknown |
7.03 |
7.13 |
178503680 |
error (255) |
4.45 |
4.48 |
144035840 |
| termination-crafted-lit/Avery-FLOPS2006-Table1_true-termination_true-no-overflow.c |
unknown |
6.83 |
6.90 |
176119808 |
error (255) |
4.65 |
4.83 |
144805888 |
| termination-crafted-lit/BradleyMannaSipma-CAV2005-Fig1-modified_false-termination_true-no-overflow.c |
unknown |
4.86 |
4.91 |
185266176 |
error (255) |
4.56 |
4.60 |
143347712 |
| termination-crafted-lit/BradleyMannaSipma-CAV2005-Fig1_true-termination_true-no-overflow.c |
unknown |
6.83 |
6.90 |
176209920 |
error (255) |
4.50 |
4.73 |
146333696 |
| termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Fig1_true-termination_true-no-overflow.c |
unknown |
6.85 |
6.92 |
187789312 |
error (255) |
4.64 |
4.68 |
144310272 |
| termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Fig9a_true-termination_true-no-overflow.c |
unknown |
7.01 |
7.06 |
176345088 |
error (255) |
4.64 |
4.88 |
144273408 |
| termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Introduction_true-termination_true-no-overflow.c |
unknown |
6.85 |
6.93 |
185696256 |
error (255) |
4.53 |
4.59 |
143314944 |
| termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-easy1_true-termination_true-no-overflow.c |
unknown |
6.89 |
6.94 |
174968832 |
error (255) |
4.59 |
4.63 |
143101952 |
| termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-easy2_true-termination_true-no-overflow.c |
unknown |
6.83 |
6.92 |
181297152 |
error (255) |
4.42 |
4.47 |
144080896 |
| termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-random1d_true-termination_true-no-overflow.c |
unknown |
6.92 |
7.01 |
182800384 |
error (255) |
4.57 |
4.60 |
142934016 |
| termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-random2d_true-termination_true-no-overflow.c |
unknown |
6.84 |
6.91 |
177012736 |
error (255) |
4.49 |
4.65 |
144236544 |
| termination-crafted-lit/ChenCookFuhsNimkarOHearn-TACAS2014-Introduction_false-termination_true-no-overflow.c |
unknown |
6.69 |
6.75 |
179412992 |
error (255) |
4.60 |
4.64 |
143134720 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.20_true-termination_true-no-overflow.c |
unknown |
6.88 |
6.96 |
177180672 |
error (255) |
4.69 |
4.72 |
144429056 |
| termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.01_true-termination_true-no-overflow.c |
unknown |
6.84 |
6.91 |
176406528 |
error (255) |
4.52 |
4.73 |
146534400 |
| termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig1_true-termination_true-no-overflow.c |
unknown |
5.12 |
5.17 |
177864704 |
error (255) |
4.79 |
5.02 |
145711104 |
| termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig7a_true-termination_true-no-overflow.c |
unknown |
6.72 |
6.77 |
177623040 |
error (255) |
4.55 |
4.61 |
144281600 |
| termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig7b_true-termination_true-no-overflow.c |
unknown |
6.89 |
6.97 |
175992832 |
error (255) |
4.72 |
4.75 |
144490496 |
| termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8a-modified_true-termination_true-no-overflow.c |
unknown |
6.78 |
6.88 |
177926144 |
error (255) |
4.47 |
4.52 |
144240640 |
| termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8a_true-termination_true-no-overflow.c |
unknown |
6.62 |
6.71 |
180588544 |
error (255) |
3.43 |
3.46 |
145813504 |
| termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8b_true-termination_true-no-overflow.c |
unknown |
6.95 |
7.04 |
176873472 |
error (255) |
4.65 |
4.82 |
146808832 |
| termination-crafted-lit/GopanReps-CAV2006-Fig1a_true-termination_true-no-overflow.c.c |
unknown |
4.88 |
4.92 |
175042560 |
error (255) |
4.64 |
4.68 |
144277504 |
| termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig1_true-termination_true-no-overflow.c |
unknown |
6.91 |
6.97 |
175366144 |
error (255) |
4.68 |
4.84 |
145162240 |
| termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig3_true-termination_true-no-overflow.c |
unknown |
6.48 |
6.54 |
178483200 |
error (255) |
3.40 |
3.43 |
146268160 |
| termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig1_true-termination_true-no-overflow.c |
unknown |
6.77 |
6.83 |
177893376 |
error (255) |
4.66 |
4.71 |
144515072 |
| termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig4_true-termination_true-no-overflow.c |
unknown |
6.83 |
6.90 |
174546944 |
error (255) |
4.73 |
4.79 |
144293888 |
| termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig5_true-termination_true-no-overflow.c |
unknown |
6.59 |
6.65 |
177655808 |
error (255) |
4.74 |
4.79 |
147283968 |
| termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig6_true-termination_true-no-overflow.c |
unknown |
6.78 |
6.85 |
176091136 |
error (255) |
4.63 |
4.67 |
146640896 |
| termination-crafted-lit/HenzingerJhalaMajumdarSutre-POPL2002-LockingExample_false-termination_true-no-overflow.c |
unknown |
6.85 |
6.94 |
179494912 |
error (255) |
4.53 |
4.56 |
144453632 |
| termination-crafted-lit/KroeningSharyginaTsitovichWintersteiger-CAV2010-Ex_true-termination_true-no-overflow.c |
unknown |
6.94 |
7.02 |
176472064 |
error (255) |
4.43 |
4.48 |
144343040 |
| termination-crafted-lit/KroeningSharyginaTsitovichWintersteiger-CAV2010-Fig1_true-termination_true-no-overflow.c |
unknown |
7.00 |
7.06 |
174546944 |
error (255) |
4.70 |
4.75 |
144318464 |
| termination-crafted-lit/LarrazOliverasRodriguez-CarbonellRubio-FMCAD2013-Fig1_true-termination_true-no-overflow.c |
unknown |
6.97 |
7.02 |
174448640 |
error (255) |
4.66 |
4.73 |
144633856 |
| termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex4_true-termination_true-no-overflow.c |
unknown |
6.78 |
6.84 |
176971776 |
error (255) |
4.64 |
4.70 |
142450688 |
| termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex5_true-termination_true-no-overflow.c |
unknown |
6.64 |
6.69 |
178737152 |
error (255) |
4.63 |
5.02 |
146415616 |
| termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex1_true-termination_true-no-overflow.c |
unknown |
7.07 |
7.12 |
176730112 |
error (255) |
3.58 |
3.63 |
144408576 |
| termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex9_true-termination_true-no-overflow.c |
unknown |
6.98 |
7.05 |
182104064 |
error (255) |
4.68 |
4.73 |
146735104 |
| termination-crafted-lit/LeikeHeizmann-WST2014-Ex9_true-termination_true-no-overflow.c |
unknown |
6.67 |
6.74 |
178614272 |
error (255) |
4.65 |
4.69 |
144896000 |
| termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig1_true-termination_true-no-overflow.c |
unknown |
7.01 |
7.10 |
177225728 |
error (255) |
4.66 |
4.69 |
144789504 |
| termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig1_true-termination_true-no-overflow.c |
unknown |
6.76 |
6.84 |
177971200 |
error (255) |
3.42 |
3.62 |
143134720 |
| termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig2_true-termination_true-no-overflow.c |
unknown |
6.98 |
7.05 |
176607232 |
error (255) |
4.44 |
4.48 |
144396288 |
| termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig4_true-termination_true-no-overflow.c |
unknown |
6.80 |
6.90 |
179138560 |
error (255) |
4.58 |
4.64 |
144412672 |
| termination-crafted-lit/Urban-WST2013-Fig1_false-termination_true-no-overflow.c |
unknown |
6.63 |
6.69 |
177922048 |
error (255) |
4.65 |
4.70 |
144109568 |
| termination-crafted-lit/Urban-WST2013-Fig2-modified1000_true-termination_true-no-overflow.c |
unknown |
6.91 |
6.97 |
182292480 |
error (255) |
4.84 |
4.88 |
144662528 |
| termination-crafted-lit/Urban-WST2013-Fig2_true-termination_true-no-overflow.c |
unknown |
6.97 |
7.07 |
177766400 |
error (255) |
4.53 |
4.91 |
146755584 |
| termination-crafted-lit/UrbanMine-ESOP2014-Fig3_true-termination_true-no-overflow.c |
unknown |
5.05 |
5.10 |
174112768 |
error (255) |
4.66 |
4.69 |
145080320 |
| termination-crafted-lit/Velroyen_false-termination_true-no-overflow.c |
unknown |
6.91 |
7.18 |
181739520 |
error (255) |
4.68 |
4.71 |
145018880 |
| termination-crafted-lit/aviad_true-termination_true-no-overflow.c |
unknown |
5.09 |
5.13 |
174219264 |
error (255) |
4.54 |
4.58 |
144531456 |
| termination-crafted-lit/cstrcmp_true-termination_true-no-overflow.c |
unknown |
6.73 |
6.79 |
188981248 |
error (255) |
4.47 |
4.67 |
144654336 |
| termination-crafted-lit/cstrcspn_true-termination_true-no-overflow.c |
unknown |
7.03 |
7.10 |
178708480 |
error (255) |
4.60 |
4.83 |
147439616 |
| termination-crafted-lit/cstrlen_true-termination_true-no-overflow.c |
unknown |
6.90 |
6.96 |
177807360 |
error (255) |
4.54 |
4.58 |
144687104 |
| termination-crafted-lit/cstrpbrk_true-termination_true-no-overflow.c |
unknown |
6.99 |
7.06 |
177569792 |
error (255) |
4.62 |
4.78 |
144482304 |
| termination-crafted-lit/cstrspn_true-termination_true-no-overflow.c |
unknown |
6.89 |
6.96 |
179748864 |
error (255) |
4.70 |
4.75 |
143601664 |
| termination-crafted-lit/genady_true-termination_true-no-overflow.c |
unknown |
6.94 |
7.00 |
175947776 |
error (255) |
4.56 |
4.60 |
144162816 |
| termination-crafted-lit/strchr_true-no-overflow_true-termination.c |
unknown |
6.99 |
7.17 |
179544064 |
error (255) |
4.63 |
4.67 |
144400384 |
| termination-numeric/Addition01_false-no-overflow.c |
unknown |
6.63 |
6.71 |
175685632 |
error (255) |
4.72 |
4.77 |
143228928 |
| termination-numeric/Avg_true_false-no-overflow.c |
unknown |
6.70 |
6.78 |
183783424 |
error (255) |
4.68 |
4.72 |
143503360 |
| termination-numeric/Binomial_true-termination_false-no-overflow.c |
unknown |
6.98 |
7.19 |
178589696 |
error (255) |
4.65 |
4.70 |
145133568 |
| termination-numeric/Et1_true_false-no-overflow.c |
unknown |
6.67 |
6.73 |
180285440 |
error (255) |
4.64 |
4.69 |
143482880 |
| termination-numeric/Et2_true_false-no-overflow.c |
unknown |
6.76 |
6.85 |
177074176 |
error (255) |
4.75 |
4.79 |
145199104 |
| termination-numeric/Et3_true_false-no-overflow.c |
unknown |
6.86 |
6.94 |
174690304 |
error (255) |
4.69 |
4.92 |
147570688 |
| termination-numeric/Et4_true_false-no-overflow.c |
unknown |
6.84 |
6.91 |
173916160 |
error (255) |
3.19 |
3.23 |
144613376 |
| termination-numeric/MultCommutative_false-no-overflow.c |
unknown |
7.00 |
7.08 |
179208192 |
error (255) |
3.42 |
3.45 |
143101952 |
| termination-numeric/TerminatorRec02_true-termination_false-no-overflow.c |
unknown |
6.76 |
6.99 |
178995200 |
error (255) |
4.75 |
4.79 |
146493440 |
| termination-numeric/Ackermann01_true-termination_true-no-overflow.c |
unknown |
4.89 |
4.94 |
177795072 |
error (255) |
4.60 |
4.64 |
146571264 |
| termination-numeric/EvenOdd01_true-termination_true-no-overflow.c |
unknown |
6.81 |
6.89 |
175513600 |
error (255) |
4.58 |
4.63 |
145592320 |
| termination-numeric/Fibonacci01_true-termination_true-no-overflow.c |
unknown |
6.86 |
6.91 |
179007488 |
error (255) |
4.54 |
4.59 |
144314368 |
| termination-numeric/LeUserDefRec_true-termination_true-no-overflow.c |
unknown |
6.51 |
6.58 |
176103424 |
error (255) |
4.55 |
4.60 |
142819328 |
| termination-numeric/LogRecursive_true-termination_true-no-overflow.c |
unknown |
6.82 |
7.27 |
182919168 |
error (255) |
4.36 |
4.41 |
144678912 |
| termination-numeric/Parts_true-termination_true-no-overflow.c |
unknown |
6.96 |
7.06 |
173916160 |
error (255) |
4.68 |
4.87 |
147456000 |
| termination-numeric/TwoWay_true-termination_true-no-overflow.c |
unknown |
6.83 |
6.91 |
176992256 |
error (255) |
4.31 |
4.35 |
144277504 |
| termination-numeric/gcd01_true-termination_true-no-overflow.c |
unknown |
6.95 |
7.15 |
178679808 |
error (255) |
4.35 |
4.38 |
144396288 |
| termination-numeric/java_LogBuiltIn_true-termination_true-no-overflow.c |
unknown |
6.67 |
6.73 |
181469184 |
error (255) |
4.74 |
4.78 |
142995456 |
| termination-numeric/recHanoi02_true-termination_true-no-overflow.c |
unknown |
7.03 |
7.08 |
180961280 |
error (255) |
4.80 |
4.84 |
146935808 |
| termination-numeric/rec_counter1_true-termination_true-no-overflow.c |
unknown |
6.75 |
6.85 |
188395520 |
error (255) |
4.72 |
4.77 |
144822272 |
| termination-numeric/rec_counter3_true-termination_true-no-overflow.c |
error: exception |
4.10 |
4.15 |
169185280 |
error (255) |
4.53 |
4.70 |
144584704 |
| termination-numeric/twisted_true-termination_true-no-overflow.c |
unknown |
6.87 |
6.95 |
183857152 |
error (255) |
4.51 |
4.54 |
144437248 |
| busybox-1.22.0/chgrp-incomplete_false-no-overflow.i |
error: exception |
7.49 |
7.57 |
200003584 |
error (255) |
4.50 |
4.70 |
144367616 |
| busybox-1.22.0/chroot-incomplete_false-no-overflow.i |
error: exception |
7.33 |
7.40 |
193880064 |
error (255) |
4.71 |
4.76 |
143073280 |
| busybox-1.22.0/cut_false-no-overflow.i |
unknown |
7.44 |
7.52 |
205340672 |
error (255) |
4.49 |
4.53 |
144527360 |
| busybox-1.22.0/date_false-no-overflow.i |
unknown |
7.39 |
7.46 |
210886656 |
error (255) |
4.50 |
4.56 |
143007744 |
| busybox-1.22.0/du_false-no-overflow.i |
unknown |
7.88 |
7.97 |
207548416 |
error (255) |
4.66 |
4.70 |
143630336 |
| busybox-1.22.0/echo_false-no-overflow.i |
error: exception |
7.52 |
7.57 |
196808704 |
error (255) |
4.52 |
4.57 |
144236544 |
| busybox-1.22.0/expand_false-no-overflow.i |
unknown |
5.56 |
5.61 |
203755520 |
error (255) |
4.56 |
4.61 |
142266368 |
| busybox-1.22.0/fold_false-no-overflow.i |
unknown |
5.75 |
5.79 |
199282688 |
error (255) |
4.67 |
4.71 |
145326080 |
| busybox-1.22.0/head_false-no-overflow.i |
unknown |
7.43 |
7.50 |
200839168 |
error (255) |
4.50 |
4.56 |
144523264 |
| busybox-1.22.0/logname_false-no-overflow.i |
error: exception |
7.49 |
7.56 |
194830336 |
error (255) |
4.78 |
4.83 |
143953920 |
| busybox-1.22.0/ls-incomplete_false-no-overflow.i |
unknown |
7.63 |
7.72 |
219914240 |
error (255) |
3.46 |
3.50 |
146919424 |
| busybox-1.22.0/mkdir_false-no-overflow.i |
unknown |
7.42 |
7.49 |
203571200 |
error (255) |
4.68 |
4.73 |
146640896 |
| busybox-1.22.0/mkfifo-incomplete_false-no-overflow.i |
error: exception |
7.35 |
7.44 |
194326528 |
error (255) |
4.47 |
4.72 |
146599936 |
| busybox-1.22.0/od_false-no-overflow.i |
unknown |
7.70 |
7.77 |
219127808 |
error (255) |
4.42 |
4.46 |
144764928 |
| busybox-1.22.0/printf_false-no-overflow.i |
error: exception |
7.64 |
7.72 |
204111872 |
error (255) |
3.39 |
3.42 |
144961536 |
| busybox-1.22.0/readlink_false-no-overflow.i |
unknown |
7.38 |
7.43 |
202088448 |
error (255) |
4.60 |
4.65 |
144248832 |
| busybox-1.22.0/realpath_false-no-overflow.i |
error: exception |
7.22 |
7.30 |
196665344 |
error (255) |
4.58 |
4.62 |
143986688 |
| busybox-1.22.0/rm_false-no-overflow.i |
unknown |
7.72 |
7.79 |
207503360 |
error (255) |
4.64 |
4.68 |
142782464 |
| busybox-1.22.0/seq_false-no-overflow.i |
unknown |
7.38 |
7.46 |
197029888 |
error (255) |
4.58 |
4.62 |
146317312 |
| busybox-1.22.0/sleep_false-no-overflow.i |
error: exception |
7.24 |
7.47 |
197865472 |
error (255) |
4.37 |
4.42 |
144330752 |
| busybox-1.22.0/stty_false-no-overflow.i |
error: exception |
7.73 |
7.81 |
320323584 |
error (255) |
4.66 |
4.74 |
142974976 |
| busybox-1.22.0/sync_false-no-overflow.i |
error: exception |
7.21 |
7.28 |
200245248 |
error (255) |
4.65 |
4.83 |
148873216 |
| busybox-1.22.0/tac_false-no-overflow.i |
unknown |
7.39 |
7.47 |
199696384 |
error (255) |
4.69 |
4.75 |
142532608 |
| busybox-1.22.0/tee_false-no-overflow.i |
unknown |
7.32 |
7.41 |
204697600 |
error (255) |
4.51 |
4.55 |
142589952 |
| busybox-1.22.0/test-incomplete_false-no-overflow.i |
error: exception |
7.51 |
7.58 |
201670656 |
error (255) |
4.48 |
4.52 |
144674816 |
| busybox-1.22.0/touch_false-no-overflow.i |
unknown |
7.27 |
7.34 |
204234752 |
error (255) |
4.47 |
4.52 |
144523264 |
| busybox-1.22.0/uname_false-no-overflow.i |
unknown |
7.53 |
7.60 |
199380992 |
error (255) |
4.62 |
4.67 |
146698240 |
| busybox-1.22.0/uniq_false-no-overflow.i |
unknown |
7.71 |
7.80 |
206508032 |
error (255) |
4.68 |
4.72 |
144683008 |
| busybox-1.22.0/usleep_false-no-overflow.i |
error: exception |
7.42 |
7.50 |
193560576 |
error (255) |
4.60 |
4.65 |
142278656 |
| busybox-1.22.0/uudecode_false-no-overflow.i |
unknown |
7.67 |
7.73 |
213946368 |
error (255) |
4.59 |
4.63 |
146604032 |
| busybox-1.22.0/wc_false-no-overflow.i |
unknown |
7.62 |
7.68 |
203714560 |
error (255) |
4.57 |
4.61 |
142508032 |
| busybox-1.22.0/who_false-no-overflow.i |
unknown |
5.63 |
5.67 |
204439552 |
error (255) |
4.68 |
4.73 |
143699968 |
| busybox-1.22.0/whoami-incomplete_false-no-overflow.i |
error: exception |
7.21 |
7.28 |
194777088 |
error (255) |
4.72 |
4.96 |
149000192 |
| busybox-1.22.0/yes_false-no-overflow.i |
error: exception |
5.21 |
5.26 |
195895296 |
error (255) |
4.64 |
4.69 |
142909440 |
| termination-crafted/Arrays02-EquivalentConstantIndices_false-termination_true-valid-memsafety.c |
unknown |
6.70 |
6.78 |
176058368 |
error (255) |
4.65 |
4.84 |
146649088 |
| termination-crafted/Binary_Search_false-termination_true-valid-memsafety.c |
unknown |
6.79 |
6.85 |
176799744 |
error (255) |
4.57 |
5.17 |
149291008 |
| termination-crafted/Mysore_false-termination_true-valid-memsafety.c |
unknown |
6.56 |
6.63 |
175198208 |
error (255) |
4.81 |
5.01 |
147206144 |
| termination-crafted/NestedRecursion_1a_false-termination_true-valid-memsafety.c |
unknown |
6.95 |
7.02 |
173879296 |
error (255) |
4.68 |
4.86 |
144904192 |
| termination-crafted/NonTermination3_false-termination_false-valid-deref.c |
unknown |
7.01 |
7.07 |
177496064 |
error (255) |
4.65 |
4.70 |
144764928 |
| termination-crafted/RecursiveNonterminating_false-termination_true-valid-memsafety.c |
unknown |
6.82 |
6.87 |
176660480 |
error (255) |
4.43 |
4.47 |
142721024 |
| termination-crafted/Rotation180_false-termination_true-valid-memsafety.c |
unknown |
6.91 |
6.98 |
180711424 |
error (255) |
4.75 |
4.79 |
144531456 |
| termination-crafted/2Nested_true-termination_true-valid-memsafety.c |
unknown |
6.73 |
6.80 |
179703808 |
error (255) |
4.31 |
4.39 |
144396288 |
| termination-crafted/4NestedWith3Variables_true-termination_true-valid-memsafety.c |
unknown |
6.88 |
6.95 |
177393664 |
error (255) |
4.65 |
4.72 |
144252928 |
| termination-crafted/Ackermann_true-termination_true-valid-memsafety.c |
unknown |
7.00 |
7.07 |
179499008 |
error (255) |
4.50 |
4.55 |
144625664 |
| termination-crafted/Benghazi_nondet_true-termination_true-valid-memsafety.c |
unknown |
5.00 |
5.03 |
177799168 |
error (255) |
4.51 |
4.55 |
146583552 |
| termination-crafted/Copenhagen_disj_true-termination_true-valid-memsafety.c |
unknown |
7.02 |
7.08 |
179499008 |
error (255) |
4.58 |
4.61 |
142786560 |
| termination-crafted/Gothenburg_true-termination_true-valid-memsafety.c |
unknown |
6.98 |
7.05 |
179146752 |
error (255) |
3.41 |
3.44 |
144371712 |
| termination-crafted/Gothenburg_v2_true-termination_true-valid-memsafety.c |
unknown |
6.98 |
7.21 |
177979392 |
error (255) |
4.37 |
4.43 |
144375808 |
| termination-crafted/LexIndexValue-Pointer_true-termination_true-valid-memsafety.c |
unknown |
6.91 |
6.99 |
182726656 |
error (255) |
4.60 |
4.63 |
144412672 |
| termination-crafted/Lobnya-Boolean-Reordered_true-termination_true-valid-memsafety.c |
unknown |
7.01 |
7.24 |
175624192 |
error (255) |
4.74 |
4.78 |
143319040 |
| termination-crafted/Mysore_true-termination_true-valid-memsafety.c |
unknown |
6.85 |
6.91 |
175493120 |
error (255) |
4.56 |
4.60 |
144420864 |
| termination-crafted/Pure2Phase_true-termination_true-valid-memsafety.c |
unknown |
7.16 |
7.24 |
182657024 |
error (255) |
4.63 |
4.68 |
144539648 |
| termination-crafted/Pure3Phase_true-termination_true-valid-memsafety.c |
unknown |
7.11 |
7.18 |
178429952 |
error (255) |
4.85 |
4.89 |
149495808 |
| termination-crafted/RecursiveMultiplication_true-termination_true-valid-memsafety.c |
unknown |
6.78 |
6.91 |
181592064 |
error (255) |
4.58 |
4.63 |
145203200 |
| termination-crafted/Singapore_true-termination_true-valid-memsafety.c |
unknown |
6.79 |
6.84 |
181362688 |
error (255) |
4.52 |
4.56 |
144371712 |
| termination-crafted/Stockholm_true-termination_true-valid-memsafety.c |
unknown |
5.10 |
5.15 |
175476736 |
error (255) |
4.56 |
4.61 |
147116032 |
| termination-crafted/SyntaxSupportPointer01_true-termination_true-valid-memsafety.c |
unknown |
6.66 |
6.73 |
180379648 |
error (255) |
4.76 |
4.80 |
146898944 |
| termination-crafted/SyntaxSupportPointer01_true-valid-memsafety_true-termination.c |
unknown |
6.77 |
6.83 |
178032640 |
error (255) |
4.51 |
4.56 |
142155776 |
| termination-crafted/Thun_true-termination_true-valid-memsafety.c |
unknown |
7.00 |
7.10 |
177778688 |
error (255) |
4.35 |
4.40 |
144326656 |
| termination-crafted/Toulouse-BranchesToLoop_true-termination_true-valid-memsafety.c |
unknown |
6.80 |
6.87 |
179875840 |
error (255) |
4.63 |
4.67 |
143192064 |
| termination-crafted/Toulouse-MultiBranchesToLoop_true-termination_true-valid-memsafety.c |
unknown |
7.00 |
7.08 |
179752960 |
error (255) |
4.73 |
4.77 |
146690048 |
| termination-crafted/aaron2_true-termination_true-valid-memsafety.c |
unknown |
6.52 |
6.59 |
173707264 |
error (255) |
4.68 |
4.73 |
145170432 |
| termination-crafted/aaron3_true-termination_true-valid-memsafety.c |
unknown |
6.72 |
6.77 |
181649408 |
error (255) |
4.40 |
4.44 |
144760832 |
| termination-restricted-15/DivMinus2_true-termination_true-no-overflow.c |
unknown |
4.98 |
5.02 |
175865856 |
error (255) |
4.72 |
4.76 |
145461248 |
| termination-restricted-15/DivMinus_true-termination_true-no-overflow.c |
unknown |
6.77 |
6.82 |
179769344 |
error (255) |
4.53 |
4.58 |
142524416 |
| termination-restricted-15/GCD3_true-termination_true-no-overflow.c |
unknown |
4.95 |
5.01 |
179642368 |
error (255) |
4.55 |
4.72 |
144543744 |
| termination-restricted-15/GCD4_true-termination_true-no-overflow.c |
unknown |
6.63 |
6.71 |
183472128 |
error (255) |
4.47 |
4.52 |
144334848 |
| termination-restricted-15/IntPath_true-termination_true-no-overflow.c |
unknown |
6.85 |
6.92 |
174604288 |
error (255) |
4.57 |
4.61 |
146644992 |
| termination-restricted-15/LogAG_true-termination_true-no-overflow.c |
unknown |
6.91 |
7.00 |
181243904 |
error (255) |
3.59 |
3.62 |
143376384 |
| termination-restricted-15/Log_true-termination_true-no-overflow.c |
unknown |
6.84 |
6.91 |
178118656 |
error (255) |
3.35 |
3.40 |
144297984 |
| termination-restricted-15/McCarthyIterative_true-termination_true-no-overflow.c |
unknown |
6.92 |
7.04 |
173563904 |
error (255) |
4.48 |
4.51 |
142491648 |
| termination-restricted-15/MinusBuiltIn_true-termination_true-no-overflow.c |
unknown |
6.70 |
6.76 |
180076544 |
error (255) |
4.57 |
4.60 |
144703488 |
| termination-restricted-15/MinusUserDefined_true-termination_true-no-overflow.c |
unknown |
6.90 |
6.97 |
173854720 |
error (255) |
4.49 |
4.54 |
143290368 |
| termination-restricted-15/Nested_true-termination_true-no-overflow.c |
unknown |
6.81 |
6.86 |
182538240 |
error (255) |
4.45 |
4.49 |
144199680 |
| termination-restricted-15/PastaA10_true-termination_true-no-overflow.c |
unknown |
6.79 |
6.85 |
177852416 |
error (255) |
4.71 |
4.76 |
144719872 |
| termination-restricted-15/PastaA1_true-termination_true-no-overflow.c |
unknown |
6.67 |
6.74 |
177561600 |
error (255) |
4.38 |
4.43 |
144654336 |
| termination-restricted-15/PastaA4_true-termination_true-no-overflow.c |
unknown |
6.97 |
7.04 |
176656384 |
error (255) |
4.55 |
4.93 |
148586496 |
| termination-restricted-15/PastaA7_true-termination_true-no-overflow.c |
unknown |
6.84 |
6.91 |
176734208 |
error (255) |
4.60 |
4.64 |
144769024 |
| termination-restricted-15/PastaB14_true-termination_true-no-overflow.c |
unknown |
6.80 |
6.88 |
178909184 |
error (255) |
4.51 |
4.55 |
143101952 |
| termination-restricted-15/PastaB15_true-termination_true-no-overflow.c |
unknown |
6.83 |
6.89 |
179355648 |
error (255) |
4.70 |
4.75 |
145592320 |
| termination-restricted-15/PastaB16_true-termination_true-no-overflow.c |
unknown |
6.90 |
7.16 |
176349184 |
error (255) |
4.57 |
4.65 |
144408576 |
| termination-restricted-15/PastaB17_true-termination_true-no-overflow.c |
unknown |
6.70 |
6.77 |
177762304 |
error (255) |
4.47 |
4.52 |
143032320 |
| termination-restricted-15/PastaB1_true-termination_true-no-overflow.c |
unknown |
6.88 |
6.96 |
179621888 |
error (255) |
4.58 |
4.64 |
144130048 |
| termination-restricted-15/PastaB2_true-termination_true-no-overflow.c |
unknown |
6.90 |
7.13 |
181850112 |
error (255) |
4.57 |
4.63 |
144969728 |
| termination-restricted-15/PastaB4_true-termination_true-no-overflow.c |
unknown |
6.93 |
7.05 |
176574464 |
error (255) |
4.61 |
4.66 |
146493440 |
| termination-restricted-15/PastaB6_true-termination_true-no-overflow.c |
unknown |
6.76 |
6.86 |
180953088 |
error (255) |
4.64 |
4.68 |
142180352 |
| termination-restricted-15/PastaB7_true-termination_true-no-overflow.c |
unknown |
6.98 |
7.23 |
178876416 |
error (255) |
3.32 |
3.92 |
146845696 |
| termination-restricted-15/PastaC3_true-termination_true-no-overflow.c |
unknown |
6.73 |
7.01 |
178872320 |
error (255) |
3.32 |
3.34 |
144769024 |
| termination-restricted-15/PastaC7_true-termination_true-no-overflow.c |
unknown |
4.99 |
5.05 |
173817856 |
error (255) |
4.73 |
4.78 |
146919424 |
| termination-restricted-15/PastaC9_true-termination_true-no-overflow.c |
unknown |
6.75 |
6.87 |
177594368 |
error (255) |
4.57 |
4.61 |
146870272 |
| termination-restricted-15/Sequence_true-termination_true-no-overflow.c |
unknown |
6.98 |
7.08 |
178622464 |
error (255) |
4.64 |
4.69 |
144453632 |
| termination-restricted-15/WhileDecr_true-termination_true-no-overflow.c |
unknown |
4.91 |
4.94 |
177537024 |
error (255) |
4.75 |
4.79 |
144261120 |
| termination-restricted-15/a.01_true-termination_true-no-overflow.c |
unknown |
6.77 |
6.86 |
177098752 |
error (255) |
4.67 |
4.73 |
144883712 |
| termination-restricted-15/a.04_true-termination_true-no-overflow.c |
unknown |
6.87 |
7.12 |
180559872 |
error (255) |
4.75 |
4.79 |
144691200 |
| termination-restricted-15/a.05_true-termination_true-no-overflow.c |
unknown |
6.68 |
6.76 |
178057216 |
error (255) |
4.64 |
4.69 |
144506880 |
| termination-restricted-15/a.06_true-termination_true-no-overflow.c |
unknown |
6.65 |
6.75 |
174252032 |
error (255) |
4.55 |
4.59 |
144465920 |
| termination-restricted-15/a.07_true-termination_true-no-overflow.c |
unknown |
6.78 |
6.88 |
175153152 |
error (255) |
4.77 |
4.80 |
148246528 |
| termination-restricted-15/a.08_true-termination_true-no-overflow.c |
unknown |
6.58 |
6.65 |
179859456 |
error (255) |
4.44 |
4.63 |
142163968 |
| termination-restricted-15/a.09_assume_true-termination_true-no-overflow.c |
unknown |
7.00 |
7.05 |
179417088 |
error (255) |
4.70 |
4.74 |
146718720 |
| termination-restricted-15/a.10_true-termination.c |
unknown |
6.83 |
6.91 |
173506560 |
error (255) |
4.51 |
4.57 |
142876672 |
| termination-restricted-15/b.01_true-termination_true-no-overflow.c |
unknown |
6.49 |
6.54 |
177782784 |
error (255) |
4.52 |
4.57 |
147111936 |
| termination-restricted-15/b.02_true-termination_true-no-overflow.c |
unknown |
6.94 |
7.00 |
177152000 |
error (255) |
4.65 |
4.68 |
143622144 |
| termination-restricted-15/b.03-no-inv_assume_true-termination_true-no-overflow.c |
unknown |
6.92 |
6.97 |
173768704 |
error (255) |
3.46 |
3.49 |
144703488 |
| termination-restricted-15/b.03_assume_true-termination_true-no-overflow.c |
unknown |
5.02 |
5.06 |
175300608 |
error (255) |
4.45 |
4.48 |
144748544 |
| termination-restricted-15/b.04_true-termination_true-no-overflow.c |
unknown |
4.97 |
5.04 |
176193536 |
error (255) |
4.47 |
4.51 |
144134144 |
| termination-restricted-15/b.05_true-termination_true-no-overflow.c |
unknown |
6.49 |
6.56 |
180150272 |
error (255) |
4.78 |
4.82 |
146530304 |
| termination-restricted-15/b.06_true-termination_true-no-overflow.c |
unknown |
6.62 |
6.73 |
180387840 |
error (255) |
3.27 |
3.45 |
144101376 |
| termination-restricted-15/b.07_true-termination_true-no-overflow.c |
unknown |
6.86 |
6.91 |
179474432 |
error (255) |
4.66 |
4.72 |
146644992 |
| termination-restricted-15/b.09-no-inv_assume_true-termination_true-no-overflow.c |
unknown |
7.02 |
7.10 |
176480256 |
error (255) |
4.66 |
4.71 |
143003648 |
| termination-restricted-15/b.09_assume_true-termination_true-no-overflow.c |
unknown |
6.55 |
6.62 |
175288320 |
error (255) |
4.76 |
4.79 |
144310272 |
| termination-restricted-15/b.10_true-termination_true-no-overflow.c |
unknown |
6.94 |
7.11 |
179118080 |
error (255) |
4.57 |
4.62 |
142286848 |
| termination-restricted-15/b.11_true-termination_true-no-overflow.c |
unknown |
6.71 |
6.79 |
181792768 |
error (255) |
4.71 |
4.77 |
145166336 |
| termination-restricted-15/b.12_true-termination_true-no-overflow.c |
unknown |
6.97 |
7.03 |
178425856 |
error (255) |
4.56 |
4.62 |
144371712 |
| termination-restricted-15/b.13_true-termination_true-no-overflow.c |
unknown |
6.92 |
7.17 |
180076544 |
error (255) |
4.77 |
4.81 |
146997248 |
| termination-restricted-15/b.14_true-termination_true-no-overflow.c |
unknown |
6.78 |
6.86 |
175611904 |
error (255) |
4.53 |
4.57 |
144412672 |
| termination-restricted-15/b.15_true-termination_true-no-overflow.c |
unknown |
6.73 |
6.81 |
180371456 |
error (255) |
4.49 |
4.68 |
143790080 |
| termination-restricted-15/b.16_true-termination_true-no-overflow.c |
unknown |
6.77 |
6.84 |
180146176 |
error (255) |
4.59 |
4.63 |
144564224 |
| termination-restricted-15/b.17_true-termination_true-no-overflow.c |
unknown |
6.87 |
6.96 |
179134464 |
error (255) |
4.72 |
4.76 |
146784256 |
| termination-restricted-15/b.18_true-termination_true-no-overflow.c |
unknown |
6.95 |
7.05 |
175489024 |
error (255) |
4.42 |
4.47 |
144400384 |
| termination-restricted-15/c.01-no-inv_true-termination_true-no-overflow.c |
unknown |
7.06 |
7.16 |
176140288 |
error (255) |
4.56 |
4.59 |
142962688 |
| termination-restricted-15/c.01_assume_true-termination_true-no-overflow.c |
unknown |
6.88 |
6.96 |
179113984 |
error (255) |
4.67 |
4.72 |
143310848 |
| termination-restricted-15/c.02_true-termination_true-no-overflow.c |
unknown |
6.71 |
6.79 |
179793920 |
error (255) |
4.62 |
4.66 |
144289792 |
| termination-restricted-15/c.03_true-termination_true-no-overflow.c |
unknown |
6.81 |
6.87 |
177954816 |
error (255) |
4.61 |
4.80 |
146632704 |
| termination-restricted-15/c.07_true-termination_true-no-overflow.c |
unknown |
6.78 |
6.84 |
174379008 |
error (255) |
4.67 |
4.71 |
145031168 |
| termination-restricted-15/c.08_true-termination_true-no-overflow.c |
unknown |
6.60 |
6.65 |
175714304 |
error (255) |
4.39 |
4.43 |
144367616 |
| termination-restricted-15/ex3a_true-termination_true-no-overflow.c |
unknown |
6.97 |
7.04 |
177934336 |
error (255) |
4.53 |
4.57 |
144433152 |
| termination-restricted-15/ex3b_true-termination_true-no-overflow.c |
unknown |
6.76 |
6.82 |
178970624 |
error (255) |
4.68 |
4.72 |
143224832 |
| termination-restricted-15/java_AG313_true-termination_true-no-overflow.c |
unknown |
6.88 |
6.94 |
178274304 |
error (255) |
4.62 |
4.68 |
144822272 |
| termination-restricted-15/java_Break_true-termination_true-no-overflow.c |
unknown |
6.82 |
6.88 |
174727168 |
error (255) |
4.77 |
4.81 |
146878464 |
| termination-restricted-15/java_Continue1_true-termination_true-no-overflow.c |
unknown |
6.69 |
6.76 |
177143808 |
error (255) |
4.54 |
4.77 |
146636800 |
| termination-restricted-15/java_Nested_true-termination_true-no-overflow.c |
unknown |
5.13 |
5.18 |
172855296 |
error (255) |
3.39 |
3.42 |
145633280 |
| termination-restricted-15/java_Sequence_true-termination_true-no-overflow.c |
unknown |
6.49 |
6.56 |
173891584 |
error (255) |
4.33 |
4.37 |
142626816 |
| termination-restricted-15/AlternKonv_false-termination_true-no-overflow.c |
unknown |
7.00 |
7.05 |
179953664 |
error (255) |
3.39 |
3.42 |
143511552 |
| termination-restricted-15/ComplInterv2_false-termination_true-no-overflow.c |
unknown |
5.07 |
5.12 |
175960064 |
error (255) |
4.48 |
4.69 |
144031744 |
| termination-restricted-15/ConvLower_false-termination_true-no-overflow.c |
unknown |
6.87 |
6.93 |
183427072 |
error (255) |
4.64 |
4.68 |
144371712 |
| termination-restricted-15/Ex02_false-termination_true-no-overflow.c |
unknown |
6.68 |
6.76 |
175230976 |
error (255) |
4.57 |
4.61 |
143200256 |
| termination-restricted-15/Ex03_false-termination_true-no-overflow.c |
unknown |
6.84 |
6.90 |
177934336 |
error (255) |
4.42 |
4.47 |
144031744 |
| termination-restricted-15/Ex05_false-termination_true-no-overflow.c |
unknown |
6.93 |
7.12 |
180588544 |
error (255) |
4.75 |
5.12 |
145575936 |
| termination-restricted-15/Ex06_false-termination_true-no-overflow.c |
unknown |
6.88 |
6.94 |
176660480 |
error (255) |
4.24 |
4.27 |
146759680 |
| termination-restricted-15/Ex07_false-termination_true-no-overflow.c |
unknown |
6.66 |
6.71 |
176484352 |
error (255) |
4.81 |
5.00 |
148918272 |
| termination-restricted-15/Ex08_false-termination_true-no-overflow.c |
unknown |
6.58 |
6.65 |
177561600 |
error (255) |
4.76 |
4.81 |
144347136 |
| termination-restricted-15/Flip2_false-termination_true-no-overflow.c |
unknown |
6.57 |
6.64 |
177016832 |
error (255) |
4.62 |
4.67 |
144613376 |
| termination-restricted-15/Flip_false-termination_true-no-overflow.c |
unknown |
6.96 |
7.02 |
180854784 |
error (255) |
4.62 |
4.66 |
146665472 |
| termination-restricted-15/GCD2_false-termination_true-no-overflow.c |
unknown |
7.05 |
7.27 |
182149120 |
error (255) |
4.35 |
4.40 |
144113664 |
| termination-restricted-15/GCD_false-termination_true-no-overflow.c |
unknown |
6.73 |
6.79 |
181702656 |
error (255) |
4.68 |
4.75 |
144953344 |
| termination-restricted-15/Loop_false-termination_true-no-overflow.c |
unknown |
6.85 |
7.05 |
180957184 |
error (255) |
4.45 |
4.49 |
144494592 |
| termination-restricted-15/MirrorIntervSim_false-termination_true-no-overflow.c |
unknown |
7.02 |
7.10 |
183394304 |
error (255) |
4.43 |
4.48 |
144551936 |
| termination-restricted-15/NO_00_false-termination_true-no-overflow.c |
unknown |
6.82 |
6.91 |
174784512 |
error (255) |
4.53 |
4.58 |
144158720 |
| termination-restricted-15/NO_01_false-termination_true-no-overflow.c |
unknown |
7.14 |
7.20 |
180310016 |
error (255) |
4.58 |
4.64 |
146444288 |
| termination-restricted-15/NO_02_false-termination_true-no-overflow.c |
unknown |
6.81 |
7.01 |
177422336 |
error (255) |
4.69 |
5.11 |
146661376 |
| termination-restricted-15/NO_03_false-termination_true-no-overflow.c |
unknown |
7.00 |
7.10 |
175427584 |
error (255) |
4.61 |
4.64 |
145461248 |
| termination-restricted-15/NO_04_false-termination_true-no-overflow.c |
unknown |
7.04 |
7.11 |
173801472 |
error (255) |
4.42 |
4.46 |
144244736 |
| termination-restricted-15/NO_13_false-termination_true-no-overflow.c |
unknown |
6.79 |
7.03 |
181395456 |
error (255) |
4.80 |
5.00 |
149647360 |
| termination-restricted-15/NO_21_false-termination_true-no-overflow.c |
unknown |
6.60 |
6.66 |
177844224 |
error (255) |
4.50 |
4.74 |
143941632 |
| termination-restricted-15/NO_22_false-termination_true-no-overflow.c |
unknown |
6.82 |
6.88 |
176877568 |
error (255) |
4.66 |
4.70 |
144805888 |
| termination-restricted-15/NO_23_false-termination_true-no-overflow.c |
unknown |
4.93 |
4.97 |
174714880 |
error (255) |
4.53 |
4.57 |
144306176 |
| termination-restricted-15/NO_24_false-termination_true-no-overflow.c |
unknown |
4.96 |
5.00 |
177328128 |
error (255) |
4.56 |
4.61 |
144232448 |
| termination-restricted-15/NarrowKonv_false-termination_true-no-overflow.c |
unknown |
6.93 |
7.00 |
182652928 |
error (255) |
4.51 |
4.57 |
142282752 |
| termination-restricted-15/Narrowing_false-termination_true-no-overflow.c |
unknown |
7.06 |
7.12 |
179777536 |
error (255) |
4.73 |
4.80 |
142716928 |
| termination-restricted-15/Sunset_false-termination_true-no-overflow.c |
unknown |
6.57 |
6.63 |
180961280 |
error (255) |
4.84 |
4.88 |
145731584 |
| termination-restricted-15/Swingers_false-termination_true-no-overflow.c |
unknown |
6.84 |
6.92 |
179245056 |
error (255) |
3.29 |
3.32 |
144142336 |
| termination-restricted-15/TwoFloatInterv_false-termination_true-no-overflow.c |
unknown |
6.67 |
6.74 |
176177152 |
error (255) |
3.37 |
3.40 |
143491072 |
| termination-restricted-15/UpAndDownIneq_false-termination_true-no-overflow.c |
unknown |
6.96 |
7.04 |
176525312 |
error (255) |
4.55 |
4.62 |
142589952 |
| termination-restricted-15/UpAndDown_false-termination_true-no-overflow.c |
unknown |
6.86 |
6.94 |
177070080 |
error (255) |
4.71 |
4.76 |
142319616 |
| termination-restricted-15/WhilePart_false-termination_true-no-overflow.c |
unknown |
6.80 |
6.89 |
184139776 |
error (255) |
4.37 |
4.40 |
142811136 |
| termination-restricted-15/WhileSingle_false-termination_true-no-overflow.c |
unknown |
6.61 |
6.69 |
176439296 |
error (255) |
4.58 |
4.63 |
144236544 |
| termination-libowfat/atoi_true-termination.c.i |
unknown |
7.33 |
7.39 |
202457088 |
error (255) |
4.52 |
4.55 |
146169856 |
| termination-libowfat/atol_true-termination.c.i |
unknown |
7.82 |
7.89 |
202301440 |
error (255) |
4.66 |
4.70 |
146505728 |
| termination-libowfat/atoll_true-termination.c.i |
unknown |
7.81 |
7.96 |
201117696 |
error (255) |
4.54 |
4.58 |
144097280 |
| termination-libowfat/basename_true-termination.c.i |
unknown |
7.46 |
7.72 |
197201920 |
error (255) |
4.59 |
4.83 |
149692416 |
| termination-libowfat/build_fullname_true-termination.c.i |
unknown |
7.76 |
7.84 |
203169792 |
error (255) |
4.76 |
4.79 |
146989056 |
| termination-libowfat/dirname_true-termination.c.i |
unknown |
7.69 |
7.91 |
202305536 |
error (255) |
4.81 |
5.00 |
147636224 |
| termination-libowfat/skip_to_true-termination.c.i |
unknown |
5.49 |
5.52 |
196014080 |
error (255) |
4.45 |
4.49 |
145985536 |
| termination-libowfat/stpcpy_true-termination.c.i |
unknown |
7.70 |
7.77 |
201379840 |
error (255) |
3.51 |
3.54 |
145108992 |
| termination-libowfat/strcasecmp_true-termination.c.i |
unknown |
7.72 |
7.80 |
197312512 |
error (255) |
4.57 |
4.76 |
144576512 |
| termination-libowfat/strcat_short_true-termination.c.i |
unknown |
5.59 |
5.63 |
198152192 |
error (255) |
4.37 |
4.41 |
142438400 |
| termination-libowfat/strcat_true-termination.c.i |
unknown |
7.81 |
7.90 |
202989568 |
error (255) |
4.53 |
4.57 |
144347136 |
| termination-libowfat/strchr_short_true-termination.c.i |
unknown |
7.52 |
7.59 |
201781248 |
error (255) |
4.62 |
4.66 |
142921728 |
| termination-libowfat/strchr_true-termination.c.i |
unknown |
7.54 |
7.61 |
199966720 |
error (255) |
4.64 |
4.69 |
142913536 |
| termination-libowfat/strcmp_short_true-termination.c.i |
unknown |
7.65 |
7.75 |
198782976 |
error (255) |
4.74 |
4.78 |
144490496 |
| termination-libowfat/strcpy_small_true-termination.c.i |
unknown |
7.73 |
7.78 |
205025280 |
error (255) |
4.48 |
4.52 |
144457728 |
| termination-libowfat/strcspn_true-termination.c.i |
unknown |
7.59 |
7.66 |
200118272 |
error (255) |
4.67 |
4.86 |
148586496 |
| termination-libowfat/strdup_true-termination.c.i |
unknown |
7.80 |
7.87 |
216023040 |
error (255) |
3.26 |
3.28 |
146493440 |
| termination-libowfat/strlcat_true-termination.c.i |
unknown |
7.63 |
7.69 |
201531392 |
error (255) |
4.31 |
4.35 |
144408576 |
| termination-libowfat/strlcpy_true-termination.c.i |
unknown |
7.58 |
7.66 |
196816896 |
error (255) |
4.35 |
4.39 |
146554880 |
| termination-libowfat/strlen_true-termination.c.i |
unknown |
7.53 |
7.60 |
198234112 |
error (255) |
4.66 |
4.69 |
144551936 |
| termination-libowfat/strpbrk_true-termination.c.i |
unknown |
7.54 |
7.61 |
199192576 |
error (255) |
4.46 |
4.50 |
144375808 |
| termination-libowfat/strrchr_short_true-termination.c.i |
unknown |
7.26 |
7.33 |
206381056 |
error (255) |
4.46 |
4.50 |
144261120 |
| termination-libowfat/strrchr_true-termination.c.i |
unknown |
7.56 |
7.64 |
200503296 |
error (255) |
4.53 |
4.59 |
144637952 |
| termination-libowfat/strspn_true-termination.c.i |
unknown |
7.32 |
7.39 |
197795840 |
error (255) |
4.56 |
4.74 |
146681856 |
| termination-libowfat/strstr_true-termination.c.i |
unknown |
7.69 |
7.76 |
205828096 |
error (255) |
4.48 |
4.51 |
146731008 |
| termination-libowfat/strtok_r_true-termination.c.i |
unknown |
7.84 |
7.91 |
203091968 |
error (255) |
4.67 |
4.71 |
143065088 |
| termination-libowfat/strtol_true-termination.c.i |
unknown |
7.77 |
7.83 |
208748544 |
error (255) |
4.45 |
4.51 |
144375808 |
| termination-libowfat/strtoul_true-termination.c.i |
unknown |
7.80 |
7.88 |
224690176 |
error (255) |
4.51 |
4.55 |
144773120 |
| termination-libowfat/strtoull_true-termination.c.i |
unknown |
7.70 |
7.78 |
197488640 |
error (255) |
4.40 |
4.43 |
144326656 |
| termination-libowfat/wcsrchr_true-termination.c.i |
unknown |
7.41 |
7.48 |
199974912 |
error (255) |
4.57 |
4.60 |
144416768 |
| termination-libowfat/wcsstr_true-termination.c.i |
unknown |
5.66 |
5.87 |
202964992 |
error (255) |
3.35 |
3.37 |
142311424 |
| termination-memory-alloca/Urban-2013WST-Fig1-alloca_false-termination.c.i |
unknown |
5.63 |
5.67 |
195006464 |
error (255) |
4.78 |
4.82 |
145088512 |
| termination-memory-alloca/Velroyen-alloca_false-termination.c.i |
unknown |
7.64 |
7.72 |
196648960 |
error (255) |
3.41 |
3.44 |
144736256 |
| termination-memory-alloca/Avery-2006FLOPS-Tabel1_true-alloca_true-termination.c.i |
unknown |
7.67 |
7.74 |
195481600 |
error (255) |
4.60 |
4.64 |
144424960 |
| termination-memory-alloca/Ben-Amram-2010LMCS-Ex2.3-alloca_true-termination.c.i |
unknown |
7.30 |
7.37 |
199155712 |
error (255) |
4.51 |
4.56 |
144142336 |
| termination-memory-alloca/BrockschmidtCookFuhs-2013CAV-Fig1-alloca_true-termination.c.i |
unknown |
7.70 |
7.76 |
196161536 |
error (255) |
4.36 |
4.41 |
144379904 |
| termination-memory-alloca/BrockschmidtCookFuhs-2013CAV-Introduction-alloca_true-termination.c.i |
unknown |
7.77 |
7.83 |
198426624 |
error (255) |
4.69 |
4.73 |
145055744 |
| termination-memory-alloca/ChenFlurMukhopadhyay-2012SAS-Fig1-alloca_true-termination.c.i |
unknown |
7.51 |
7.57 |
196116480 |
error (255) |
4.70 |
4.74 |
145977344 |
| termination-memory-alloca/CookSeeZuleger-2013TACAS-Fig3-alloca_true-termination.c.i |
unknown |
7.60 |
7.66 |
196165632 |
error (255) |
4.72 |
4.91 |
148971520 |
| termination-memory-alloca/CookSeeZuleger-2013TACAS-Fig7a-alloca_true-termination.c.i |
unknown |
7.57 |
7.65 |
191770624 |
error (255) |
4.63 |
4.69 |
144850944 |
| termination-memory-alloca/CookSeeZuleger-2013TACAS-Fig7b-alloca_true-termination.c.i |
unknown |
7.72 |
7.77 |
194093056 |
error (255) |
4.62 |
4.81 |
147361792 |
| termination-memory-alloca/GulwaniJainKoskinen-2009PLDI-Fig1-alloca_true-termination.c.i |
unknown |
7.66 |
7.74 |
194134016 |
error (255) |
4.57 |
4.62 |
144662528 |
| termination-memory-alloca/HarrisLalNoriRajamani-2010SAS-Fig1-alloca_true-termination.c.i |
unknown |
7.52 |
7.61 |
193777664 |
error (255) |
4.37 |
4.42 |
146444288 |
| termination-memory-alloca/HarrisLalNoriRajamani-2010SAS-Fig3-alloca_true-termination.c.i |
unknown |
7.75 |
7.82 |
195252224 |
error (255) |
4.57 |
4.62 |
144199680 |
| termination-memory-alloca/KroeningSharyginaTsitovichWintersteiger-2010CAV-Fig1-alloca_true-termination.c.i |
unknown |
7.56 |
7.63 |
192995328 |
error (255) |
4.69 |
4.74 |
144945152 |
| termination-memory-alloca/Masse-alloca_true-termination.c.i |
unknown |
7.59 |
7.68 |
198930432 |
error (255) |
4.68 |
4.72 |
142409728 |
| termination-memory-alloca/NoriSharma-2013FSE-Fig7-alloca_true-termination.c.i |
unknown |
7.70 |
7.94 |
197750784 |
error (255) |
4.68 |
4.75 |
142487552 |
| termination-memory-alloca/NoriSharma-2013FSE-Fig8-alloca_true-termination.c.i |
unknown |
7.54 |
7.61 |
197103616 |
error (255) |
4.72 |
4.78 |
145305600 |
| termination-memory-alloca/TelAviv-Amir-Minimum-alloca_true-termination.c.i |
unknown |
7.54 |
7.61 |
195735552 |
error (255) |
4.74 |
4.79 |
147005440 |
| termination-memory-alloca/Toulouse-BranchesToLoop-alloca_true-termination.c.i |
unknown |
7.37 |
7.43 |
198123520 |
error (255) |
4.67 |
4.73 |
146792448 |
| termination-memory-alloca/Toulouse-MultiBranchesToLoop-alloca_true-termination.c.i |
unknown |
7.52 |
7.59 |
199196672 |
error (255) |
4.61 |
4.67 |
144523264 |
| termination-memory-alloca/Urban-2013WST-Fig2-alloca_true-termination.c.i |
unknown |
7.43 |
7.50 |
195915776 |
error (255) |
4.61 |
4.65 |
144506880 |
| termination-memory-alloca/Urban-2013WST-Fig2-modified1000-alloca_true-termination.c.i |
unknown |
7.26 |
7.32 |
189784064 |
error (255) |
4.54 |
4.58 |
145113088 |
| termination-memory-alloca/Urban-alloca_true-termination.c.i |
unknown |
7.56 |
7.63 |
194330624 |
error (255) |
4.59 |
4.62 |
144277504 |
| termination-memory-alloca/a.01-alloca_true-termination_true-no-overflow.c.i |
unknown |
7.70 |
7.79 |
197492736 |
error (255) |
4.66 |
4.70 |
145551360 |
| termination-memory-alloca/a.04-alloca_true-termination_true-no-overflow.c.i |
unknown |
7.75 |
7.81 |
199094272 |
error (255) |
4.69 |
4.73 |
144977920 |
| termination-memory-alloca/a.05-alloca_true-termination_true-no-overflow.c.i |
unknown |
7.65 |
7.71 |
194179072 |
error (255) |
4.71 |
4.77 |
146706432 |
| termination-memory-alloca/a.06-alloca_true-termination_true-no-overflow.c.i |
unknown |
5.47 |
5.68 |
193388544 |
error (255) |
3.49 |
3.51 |
143204352 |
| termination-memory-alloca/a.07-alloca_true-termination_true-no-overflow.c.i |
unknown |
5.32 |
5.37 |
196063232 |
error (255) |
3.34 |
3.37 |
144375808 |
| termination-memory-alloca/a.08-alloca_true-termination_true-no-overflow.c.i |
unknown |
7.79 |
7.87 |
194084864 |
error (255) |
4.64 |
4.69 |
143867904 |
| termination-memory-alloca/a.09_assume-alloca_true-termination_true-no-overflow.c.i |
unknown |
7.80 |
7.86 |
194285568 |
error (255) |
4.34 |
4.39 |
144343040 |
| termination-memory-alloca/a.10-alloca_true-termination_true-no-overflow.c.i |
unknown |
7.55 |
7.62 |
198799360 |
error (255) |
4.51 |
4.55 |
142667776 |
| termination-memory-alloca/add_last-alloca_true-termination.c.i |
unknown |
7.86 |
7.93 |
195375104 |
error (255) |
4.65 |
4.68 |
145092608 |
| termination-memory-alloca/array01-alloca_true-termination.c.i |
unknown |
7.38 |
7.44 |
198037504 |
error (255) |
4.58 |
4.62 |
145154048 |
| termination-memory-alloca/array02-alloca_true-termination.c.i |
unknown |
7.55 |
7.61 |
199168000 |
error (255) |
4.63 |
4.82 |
146604032 |
| termination-memory-alloca/array03-alloca_true-termination.c.i |
unknown |
7.74 |
7.81 |
193843200 |
error (255) |
4.67 |
4.70 |
146767872 |
| termination-memory-alloca/aviad_true-alloca_true-termination.c.i |
unknown |
7.55 |
7.77 |
197591040 |
error (255) |
4.64 |
4.70 |
144846848 |
| termination-memory-alloca/b.01-alloca_true-termination_true-no-overflow.c.i |
unknown |
7.48 |
7.78 |
199815168 |
error (255) |
4.65 |
4.69 |
144363520 |
| termination-memory-alloca/b.02-alloca_true-termination_true-no-overflow.c.i |
unknown |
7.45 |
7.53 |
191430656 |
error (255) |
4.53 |
4.57 |
144314368 |
| termination-memory-alloca/b.03-no-inv_assume-alloca_true-termination_true-no-overflow.c.i |
unknown |
7.62 |
7.70 |
195850240 |
error (255) |
4.75 |
4.96 |
146485248 |
| termination-memory-alloca/b.03_assume-alloca_true-termination_true-no-overflow.c.i |
unknown |
7.67 |
7.74 |
195854336 |
error (255) |
4.59 |
4.64 |
144007168 |
| termination-memory-alloca/b.04-alloca_true-termination_true-no-overflow.c.i |
unknown |
7.68 |
7.74 |
195985408 |
error (255) |
4.52 |
4.57 |
144429056 |
| termination-memory-alloca/b.05-alloca_true-termination_true-no-overflow.c.i |
unknown |
7.51 |
7.73 |
195518464 |
error (255) |
4.66 |
4.69 |
142733312 |
| termination-memory-alloca/b.06-alloca_true-termination_true-no-overflow.c.i |
unknown |
7.64 |
7.70 |
196866048 |
error (255) |
4.53 |
4.57 |
142401536 |
| termination-memory-alloca/b.07-alloca_true-termination_true-no-overflow.c.i |
unknown |
7.50 |
7.59 |
199303168 |
error (255) |
4.65 |
4.70 |
144793600 |
| termination-memory-alloca/b.09-no-inv_assume-alloca_true-termination_true-no-overflow.c.i |
unknown |
7.54 |
7.75 |
198639616 |
error (255) |
4.78 |
4.83 |
144850944 |
| termination-memory-alloca/b.09_assume-alloca_true-termination_true-no-overflow.c.i |
unknown |
7.39 |
7.45 |
194306048 |
error (255) |
4.70 |
4.74 |
144412672 |
| termination-memory-alloca/b.10-alloca_true-termination_true-no-overflow.c.i |
unknown |
7.71 |
7.78 |
197722112 |
error (255) |
4.50 |
4.54 |
144367616 |
| termination-memory-alloca/b.11-alloca_true-termination_true-no-overflow.c.i |
unknown |
7.47 |
7.56 |
199249920 |
error (255) |
4.70 |
4.74 |
144367616 |
| termination-memory-alloca/b.12-alloca_true-termination_true-no-overflow.c.i |
unknown |
7.43 |
7.51 |
192516096 |
error (255) |
4.58 |
4.64 |
144207872 |
| termination-memory-alloca/b.13-alloca_true-termination_true-no-overflow.c.i |
unknown |
7.43 |
7.49 |
198340608 |
error (255) |
4.55 |
5.14 |
148676608 |
| termination-memory-alloca/b.14-alloca_true-termination_true-no-overflow.c.i |
unknown |
5.39 |
5.44 |
194846720 |
error (255) |
4.56 |
4.74 |
144490496 |
| termination-memory-alloca/b.15-alloca_true-termination_true-no-overflow.c.i |
unknown |
5.54 |
5.57 |
198021120 |
error (255) |
4.58 |
4.64 |
144117760 |
| termination-memory-alloca/b.16-alloca_true-termination_true-no-overflow.c.i |
unknown |
7.49 |
7.58 |
199569408 |
error (255) |
4.42 |
4.46 |
144273408 |
| termination-memory-alloca/b.17-alloca_true-termination_true-no-overflow.c.i |
unknown |
7.60 |
7.65 |
195084288 |
error (255) |
4.52 |
4.57 |
144396288 |
| termination-memory-alloca/b.18-alloca_true-termination_true-no-overflow.c.i |
unknown |
7.68 |
7.77 |
196005888 |
error (255) |
3.36 |
3.39 |
144928768 |
| termination-memory-alloca/bubblesort-alloca_true-termination.c.i |
unknown |
7.37 |
7.44 |
198021120 |
error (255) |
4.53 |
4.57 |
142848000 |
| termination-memory-alloca/c.01-no-inv-alloca_true-termination_true-no-overflow.c.i |
unknown |
6.77 |
6.86 |
191864832 |
error (255) |
3.42 |
3.46 |
146214912 |
| termination-memory-alloca/c.01_assume-alloca_true-termination_true-no-overflow.c.i |
unknown |
6.96 |
7.03 |
202969088 |
error (255) |
4.56 |
4.61 |
142983168 |
| termination-memory-alloca/c.02-alloca_true-termination_true-no-overflow.c.i |
unknown |
6.50 |
6.56 |
200507392 |
error (255) |
4.58 |
4.63 |
144531456 |
| termination-memory-alloca/c.03-alloca_true-termination_true-no-overflow.c.i |
unknown |
7.58 |
7.66 |
192344064 |
error (255) |
4.49 |
4.52 |
142979072 |
| termination-memory-alloca/c.07-alloca_true-termination_true-no-overflow.c.i |
unknown |
7.06 |
7.14 |
193556480 |
error (255) |
4.48 |
4.53 |
144445440 |
| termination-memory-alloca/c.08-alloca_true-termination_true-no-overflow.c.i |
unknown |
7.77 |
7.84 |
194486272 |
error (255) |
4.73 |
4.77 |
147025920 |
| termination-memory-alloca/count_down-alloca_true-termination.c.i |
unknown |
7.10 |
7.17 |
192122880 |
error (255) |
4.65 |
4.69 |
142995456 |
| termination-memory-alloca/cstrcat-alloca_true-termination.c.i |
unknown |
5.81 |
6.01 |
194084864 |
error (255) |
4.50 |
4.54 |
144003072 |
| termination-memory-alloca/cstrchr-alloca_true-termination.c.i |
unknown |
5.62 |
5.65 |
199823360 |
error (255) |
4.72 |
4.76 |
143421440 |
| termination-memory-alloca/cstrcmp-alloca_true-termination.c.i |
unknown |
6.97 |
7.02 |
194215936 |
error (255) |
4.68 |
4.73 |
144474112 |
| termination-memory-alloca/cstrcpy-alloca_true-termination.c.i |
unknown |
7.36 |
7.43 |
194998272 |
error (255) |
4.64 |
4.68 |
145068032 |
| termination-memory-alloca/cstrcspn-alloca_true-termination.c.i |
unknown |
7.31 |
7.37 |
211439616 |
error (255) |
3.38 |
3.42 |
144818176 |
| termination-memory-alloca/cstrlen-alloca_true-termination.c.i |
unknown |
6.77 |
6.84 |
194646016 |
error (255) |
4.55 |
4.60 |
144076800 |
| termination-memory-alloca/cstrncat-alloca_true-termination.c.i |
unknown |
7.48 |
7.57 |
192823296 |
error (255) |
4.75 |
4.80 |
144691200 |
| termination-memory-alloca/cstrncmp-alloca_true-termination.c.i |
unknown |
7.55 |
7.62 |
196173824 |
error (255) |
4.41 |
4.45 |
144289792 |
| termination-memory-alloca/cstrncpy-alloca_true-termination.c.i |
unknown |
7.73 |
7.81 |
198057984 |
error (255) |
4.49 |
4.53 |
144379904 |
| termination-memory-alloca/cstrpbrk-alloca_true-termination.c.i |
unknown |
7.55 |
7.65 |
196661248 |
error (255) |
3.34 |
3.77 |
144158720 |
| termination-memory-alloca/cstrspn-alloca_true-termination.c.i |
unknown |
7.77 |
7.84 |
207527936 |
error (255) |
4.40 |
4.45 |
144429056 |
| termination-memory-alloca/diff-alloca_true-termination.c.i |
unknown |
7.34 |
7.41 |
206807040 |
error (255) |
4.64 |
4.68 |
145014784 |
| termination-memory-alloca/easySum-alloca_true-termination.c.i |
unknown |
7.56 |
7.63 |
190636032 |
error (255) |
4.61 |
4.64 |
144424960 |
| termination-memory-alloca/ex1-alloca_true-termination.c.i |
unknown |
7.26 |
7.50 |
196767744 |
error (255) |
4.76 |
4.81 |
143691776 |
| termination-memory-alloca/ex2-alloca_true-termination.c.i |
unknown |
7.44 |
7.89 |
200691712 |
error (255) |
4.55 |
4.59 |
144158720 |
| termination-memory-alloca/ex3a-alloca_true-termination_true-no-overflow.c.i |
unknown |
7.40 |
7.48 |
197730304 |
error (255) |
4.53 |
4.92 |
146501632 |
| termination-memory-alloca/ex3b-alloca_true-termination.c.i |
unknown |
7.46 |
7.53 |
195928064 |
error (255) |
4.54 |
4.58 |
144400384 |
| termination-memory-alloca/fermat-alloca_true-termination.c.i |
unknown |
7.59 |
7.68 |
195092480 |
error (255) |
4.70 |
4.74 |
146591744 |
| termination-memory-alloca/flag-alloca_true-termination.c.i |
unknown |
7.67 |
7.75 |
192860160 |
error (255) |
4.45 |
4.49 |
144502784 |
| termination-memory-alloca/gcd1-alloca_true-termination.c.i |
unknown |
7.52 |
7.97 |
193552384 |
error (255) |
4.60 |
4.65 |
145018880 |
| termination-memory-alloca/genady-alloca_true-termination.c.i |
unknown |
7.77 |
8.20 |
193769472 |
error (255) |
4.61 |
4.66 |
143577088 |
| termination-memory-alloca/insertionsort-alloca_true-termination.c.i |
unknown |
7.60 |
7.69 |
196149248 |
error (255) |
4.76 |
4.80 |
146468864 |
| termination-memory-alloca/java_AG313-alloca_true-termination.c.i |
unknown |
7.69 |
7.77 |
194756608 |
error (255) |
4.52 |
4.57 |
144543744 |
| termination-memory-alloca/java_Break-alloca_true-termination.c.i |
unknown |
7.62 |
7.69 |
196395008 |
error (255) |
4.75 |
4.80 |
145272832 |
| termination-memory-alloca/java_BubbleSort-alloca_true-termination.c.i |
unknown |
7.67 |
7.73 |
200728576 |
error (255) |
4.60 |
4.64 |
142684160 |
| termination-memory-alloca/java_Continue1-alloca_true-termination.c.i |
unknown |
7.64 |
7.70 |
197677056 |
error (255) |
4.61 |
4.66 |
143331328 |
| termination-memory-alloca/java_LogBuiltIn-alloca_true-termination.c.i |
unknown |
7.28 |
7.36 |
190418944 |
error (255) |
4.36 |
4.40 |
144662528 |
| termination-memory-alloca/java_Nested-alloca_true-termination.c.i |
unknown |
7.60 |
7.67 |
193314816 |
error (255) |
4.61 |
4.66 |
144949248 |
| termination-memory-alloca/java_Sequence-alloca_true-termination.c.i |
unknown |
5.33 |
5.38 |
188882944 |
error (255) |
3.34 |
3.37 |
144498688 |
| termination-memory-alloca/lis-alloca_true-termination.c.i |
unknown |
5.69 |
5.76 |
190767104 |
error (255) |
4.56 |
4.75 |
142426112 |
| termination-memory-alloca/min_rf-alloca_true-termination.c.i |
unknown |
7.54 |
7.60 |
194904064 |
error (255) |
3.38 |
3.41 |
145227776 |
| termination-memory-alloca/mult_array-alloca_true-termination.c.i |
unknown |
7.37 |
7.43 |
196304896 |
error (255) |
4.73 |
4.77 |
144281600 |
| termination-memory-alloca/openbsd_cbzero-alloca_true-termination.c.i |
unknown |
7.83 |
7.91 |
197664768 |
error (255) |
4.53 |
4.56 |
143593472 |
| termination-memory-alloca/openbsd_cmemchr-alloca_true-termination.c.i |
unknown |
7.69 |
7.93 |
194387968 |
error (255) |
4.70 |
4.74 |
144871424 |
| termination-memory-alloca/openbsd_cmemrchr-alloca_true-termination.c.i |
unknown |
7.73 |
7.81 |
189370368 |
error (255) |
4.66 |
4.71 |
146919424 |
| termination-memory-alloca/openbsd_cmemset-alloca_true-termination.c.i |
unknown |
7.62 |
7.68 |
196722688 |
error (255) |
4.48 |
4.52 |
144355328 |
| termination-memory-alloca/openbsd_cstpcpy-alloca_true-termination.c.i |
unknown |
7.28 |
7.37 |
199860224 |
error (255) |
4.14 |
4.17 |
146325504 |
| termination-memory-alloca/openbsd_cstpncpy-alloca_true-termination.c.i |
unknown |
7.68 |
7.74 |
196927488 |
error (255) |
4.67 |
4.73 |
142790656 |
| termination-memory-alloca/openbsd_cstrcat-alloca_true-termination.c.i |
unknown |
7.22 |
7.28 |
196452352 |
error (255) |
4.58 |
4.62 |
144220160 |
| termination-memory-alloca/openbsd_cstrcmp-alloca_true-termination.c.i |
unknown |
7.38 |
7.62 |
201101312 |
error (255) |
4.59 |
4.62 |
144388096 |
| termination-memory-alloca/openbsd_cstrcpy-alloca_true-termination.c.i |
unknown |
7.43 |
7.50 |
199286784 |
error (255) |
4.70 |
4.74 |
145072128 |
| termination-memory-alloca/openbsd_cstrcspn-alloca_true-termination.c.i |
unknown |
7.27 |
7.33 |
193032192 |
error (255) |
4.65 |
4.82 |
146604032 |
| termination-memory-alloca/openbsd_cstrlcpy-alloca_true-termination.c.i |
unknown |
7.81 |
7.86 |
193380352 |
error (255) |
4.62 |
4.67 |
146497536 |
| termination-memory-alloca/openbsd_cstrlen-alloca_true-termination.c.i |
unknown |
7.25 |
7.33 |
195506176 |
error (255) |
4.85 |
4.89 |
147038208 |
| termination-memory-alloca/openbsd_cstrncat-alloca_true-termination.c.i |
unknown |
7.39 |
7.52 |
198512640 |
error (255) |
4.52 |
4.70 |
146862080 |
| termination-memory-alloca/openbsd_cstrncmp-alloca_true-termination.c.i |
unknown |
7.74 |
7.80 |
195448832 |
error (255) |
4.43 |
4.48 |
142471168 |
| termination-memory-alloca/openbsd_cstrncpy-alloca_true-termination.c.i |
unknown |
7.72 |
7.92 |
198291456 |
error (255) |
4.77 |
4.82 |
144572416 |
| termination-memory-alloca/openbsd_cstrnlen-alloca_true-termination.c.i |
unknown |
7.67 |
7.74 |
206659584 |
error (255) |
4.52 |
4.56 |
146194432 |
| termination-memory-alloca/openbsd_cstrpbrk-alloca_true-termination.c.i |
unknown |
7.67 |
7.75 |
195407872 |
error (255) |
4.49 |
4.54 |
142508032 |
| termination-memory-alloca/openbsd_cstrspn-alloca_true-termination.c.i |
unknown |
7.63 |
7.69 |
195252224 |
error (255) |
4.77 |
4.82 |
144953344 |
| termination-memory-alloca/openbsd_cstrstr-alloca_true-termination.c.i |
unknown |
7.74 |
7.80 |
196116480 |
error (255) |
4.52 |
4.76 |
145956864 |
| termination-memory-alloca/rec_strlen-alloca_true-termination.c.i |
unknown |
7.51 |
7.58 |
192983040 |
error (255) |
4.59 |
4.63 |
144519168 |
| termination-memory-alloca/selectionsort-alloca_true-termination.c.i |
unknown |
7.72 |
7.80 |
191078400 |
error (255) |
4.81 |
4.85 |
146706432 |
| termination-memory-alloca/stroeder1-alloca_true-termination.c.i |
unknown |
7.52 |
7.59 |
192737280 |
error (255) |
4.54 |
4.58 |
146354176 |
| termination-memory-alloca/stroeder2-alloca_true-termination.c.i |
unknown |
7.47 |
7.54 |
196194304 |
error (255) |
3.47 |
3.50 |
145252352 |
| termination-memory-alloca/strreplace-alloca_true-termination.c.i |
unknown |
5.58 |
5.79 |
191668224 |
error (255) |
4.44 |
4.47 |
144154624 |
| termination-memory-alloca/subseq-alloca_true-termination.c.i |
unknown |
7.48 |
7.54 |
199667712 |
error (255) |
4.62 |
4.65 |
145641472 |
| termination-memory-alloca/substring-alloca_true-termination.c.i |
unknown |
5.46 |
5.50 |
193015808 |
error (255) |
3.39 |
3.42 |
144449536 |
| termination-memory-alloca/twisted-alloca_true-termination.c.i |
unknown |
7.40 |
7.52 |
199815168 |
error (255) |
4.63 |
4.68 |
144928768 |
| termination-memory-linkedlists/cll_by_lseg-alloca_false-termination.c.i |
unknown |
7.30 |
7.38 |
199147520 |
error (255) |
4.74 |
4.79 |
143577088 |
| termination-memory-linkedlists/cll_by_lseg_traverse-alloca_false-termination.c.i |
unknown |
7.72 |
7.78 |
195633152 |
error (255) |
4.63 |
4.69 |
144642048 |
| termination-memory-linkedlists/cll_search-alloca_false-termination.c.i |
unknown |
7.51 |
7.59 |
197226496 |
error (255) |
4.56 |
4.61 |
144035840 |
| termination-memory-linkedlists/cll_traverse-alloca_false-termination.c.i |
unknown |
7.53 |
7.78 |
200081408 |
error (255) |
4.77 |
4.81 |
144719872 |
| termination-memory-linkedlists/ll_append-alloca_false-termination.c.i |
unknown |
7.66 |
7.72 |
196182016 |
error (255) |
4.46 |
4.51 |
146571264 |
| termination-memory-linkedlists/ll_append_rec-alloca_false-termination.c.i |
unknown |
7.45 |
7.51 |
195493888 |
error (255) |
4.55 |
4.58 |
142397440 |
| termination-memory-linkedlists/ll_create_rec-alloca_false-termination.c.i |
unknown |
7.54 |
7.60 |
193708032 |
error (255) |
4.64 |
4.68 |
144277504 |
| termination-memory-linkedlists/nondet_ll_search-alloca_false-termination.c.i |
unknown |
7.73 |
7.91 |
194506752 |
error (255) |
4.74 |
4.77 |
144400384 |
| termination-memory-linkedlists/nondet_ll_traverse-alloca_false-termination.c.i |
unknown |
7.72 |
7.78 |
196194304 |
error (255) |
4.57 |
4.61 |
145145856 |
| termination-memory-linkedlists/cll_by_lseg-alloca_true-termination.c.i |
unknown |
5.49 |
5.54 |
196108288 |
error (255) |
4.52 |
4.58 |
144404480 |
| termination-memory-linkedlists/cll_search-alloca_true-termination.c.i |
unknown |
5.46 |
5.49 |
192303104 |
error (255) |
4.69 |
4.73 |
144719872 |
| termination-memory-linkedlists/ll_append-alloca_true-termination.c.i |
unknown |
7.48 |
7.55 |
205746176 |
error (255) |
4.55 |
4.59 |
145072128 |
| termination-memory-linkedlists/ll_append_rec-alloca_true-termination.c.i |
unknown |
7.37 |
7.44 |
196055040 |
error (255) |
4.66 |
4.70 |
145108992 |
| termination-memory-linkedlists/ll_create_rec-alloca_true-termination.c.i |
unknown |
7.59 |
7.66 |
194813952 |
error (255) |
4.45 |
4.49 |
144457728 |
| termination-memory-linkedlists/ll_search-alloca_true-termination.c.i |
unknown |
7.50 |
7.70 |
198074368 |
error (255) |
4.71 |
4.75 |
144982016 |
| termination-memory-linkedlists/ll_search_not_found-alloca_true-termination.c.i |
unknown |
7.31 |
7.37 |
198811648 |
error (255) |
4.56 |
4.60 |
142794752 |
| termination-memory-linkedlists/ll_traverse-alloca_true-termination.c.i |
unknown |
7.88 |
7.97 |
194170880 |
error (255) |
4.53 |
4.57 |
144506880 |
| termination-memory-linkedlists/nondet_ll_search-alloca_true-termination.c.i |
unknown |
7.79 |
7.86 |
199651328 |
error (255) |
4.52 |
4.55 |
144498688 |
| termination-15/add_first_alloca_true-termination.c.i |
unknown |
7.81 |
7.88 |
198160384 |
error (255) |
4.56 |
4.59 |
142704640 |
| termination-15/array05_alloca_true-termination.c.i |
unknown |
7.51 |
7.58 |
203759616 |
error (255) |
4.64 |
4.69 |
143294464 |
| termination-15/array06_alloca_true-termination.c.i |
unknown |
7.72 |
7.79 |
197853184 |
error (255) |
4.62 |
4.66 |
143097856 |
| termination-15/array07_alloca_true-termination.c.i |
unknown |
7.42 |
7.53 |
196820992 |
error (255) |
4.52 |
4.57 |
142491648 |
| termination-15/array08_alloca_true-termination.c.i |
unknown |
7.57 |
7.65 |
199819264 |
error (255) |
4.46 |
4.50 |
146128896 |
| termination-15/array09_alloca_true-termination.c.i |
unknown |
7.58 |
7.80 |
199331840 |
error (255) |
4.68 |
4.87 |
148652032 |
| termination-15/array10_alloca_true-termination.c.i |
unknown |
7.35 |
7.60 |
204419072 |
error (255) |
4.52 |
4.57 |
144031744 |
| termination-15/array12_alloca_true-termination.c.i |
unknown |
7.54 |
7.61 |
198623232 |
error (255) |
3.29 |
3.31 |
144297984 |
| termination-15/array13_alloca_true-termination.c.i |
unknown |
7.65 |
7.71 |
198107136 |
error (255) |
3.53 |
3.55 |
146718720 |
| termination-15/array16_alloca_fixed_true-termination.c.i |
unknown |
7.45 |
7.65 |
200916992 |
error (255) |
4.47 |
4.51 |
144494592 |
| termination-15/array17_alloca_true-termination.c.i |
unknown |
7.76 |
7.83 |
202825728 |
error (255) |
4.37 |
4.40 |
142725120 |
| termination-15/array18_alloca_true-termination.c.i |
unknown |
7.60 |
7.67 |
203366400 |
error (255) |
4.67 |
4.72 |
145072128 |
| termination-15/count_up_alloca_true-termination.c.i |
unknown |
7.53 |
7.60 |
199794688 |
error (255) |
4.71 |
4.75 |
144924672 |
| termination-15/count_up_and_down_alloca_true-termination.c.i |
unknown |
7.71 |
7.79 |
201265152 |
error (255) |
4.66 |
4.84 |
146075648 |
| termination-15/cstrcat_diffterm_alloca_true-termination.c.i |
unknown |
7.58 |
7.65 |
195334144 |
error (255) |
4.48 |
4.51 |
144293888 |
| termination-15/cstrcat_malloc_true-termination.c.i |
unknown |
5.48 |
5.52 |
207929344 |
error (255) |
4.62 |
4.66 |
146124800 |
| termination-15/cstrcat_mixed_alloca_true-termination.c.i |
unknown |
5.63 |
5.67 |
203636736 |
error (255) |
4.66 |
4.70 |
142401536 |
| termination-15/cstrcat_reverse_alloca_true-termination.c.i |
unknown |
7.59 |
7.65 |
201904128 |
error (255) |
4.49 |
4.52 |
142426112 |
| termination-15/cstrchr_diffterm_alloca_true-termination.c.i |
unknown |
7.72 |
7.81 |
197980160 |
error (255) |
4.69 |
4.73 |
145727488 |
| termination-15/cstrchr_malloc_true-termination.c.i |
unknown |
7.77 |
8.00 |
205852672 |
error (255) |
4.69 |
4.74 |
143081472 |
| termination-15/cstrchr_reverse_alloca_true-termination.c.i |
unknown |
7.21 |
7.27 |
200331264 |
error (255) |
4.57 |
4.62 |
146313216 |
| termination-15/cstrcmp_diffterm_alloca_true-termination.c.i |
unknown |
7.66 |
7.74 |
198082560 |
error (255) |
4.61 |
4.68 |
145018880 |
| termination-15/cstrcmp_malloc_true-termination.c.i |
unknown |
7.29 |
7.36 |
202874880 |
error (255) |
4.71 |
4.76 |
143204352 |
| termination-15/cstrcmp_mixed_alloca_true-termination.c.i |
unknown |
7.71 |
7.77 |
200851456 |
error (255) |
4.55 |
4.59 |
142585856 |
| termination-15/cstrcmp_reverse_alloca_true-termination.c.i |
unknown |
7.83 |
7.88 |
201785344 |
error (255) |
4.64 |
4.68 |
142389248 |
| termination-15/cstrcpy_diffterm_alloca_true-termination.c.i |
unknown |
7.65 |
7.73 |
200253440 |
error (255) |
4.58 |
4.63 |
144375808 |
| termination-15/cstrcpy_malloc_true-termination.c.i |
unknown |
7.70 |
7.78 |
211202048 |
error (255) |
4.77 |
4.81 |
148819968 |
| termination-15/cstrcpy_mixed_alloca_true-termination.c.i |
unknown |
7.52 |
7.58 |
199331840 |
error (255) |
4.43 |
4.48 |
145489920 |
| termination-15/cstrcpy_reverse_alloca_true-termination.c.i |
unknown |
7.59 |
7.65 |
202227712 |
error (255) |
4.44 |
4.47 |
145125376 |
| termination-15/cstrcspn_diffterm_alloca_true-termination.c.i |
unknown |
7.63 |
7.72 |
207216640 |
error (255) |
4.72 |
4.77 |
143941632 |
| termination-15/cstrcspn_malloc_true-termination.c.i |
unknown |
7.96 |
8.21 |
203309056 |
error (255) |
4.80 |
4.83 |
146120704 |
| termination-15/cstrcspn_mixed_alloca_true-termination.c.i |
unknown |
7.83 |
8.04 |
200757248 |
error (255) |
4.61 |
4.83 |
146927616 |
| termination-15/cstrcspn_reverse_alloca_true-termination.c.i |
unknown |
7.63 |
7.69 |
198483968 |
error (255) |
4.40 |
4.50 |
144564224 |
| termination-15/cstrlen_diffterm_alloca_true-termination.c.i |
unknown |
7.64 |
7.72 |
201973760 |
error (255) |
4.68 |
4.75 |
144732160 |
| termination-15/cstrlen_malloc_true-termination.c.i |
unknown |
7.62 |
7.69 |
201256960 |
error (255) |
4.71 |
4.75 |
144277504 |
| termination-15/cstrlen_reverse_alloca_true-termination.c.i |
unknown |
7.67 |
7.76 |
200859648 |
error (255) |
3.42 |
3.67 |
144154624 |
| termination-15/cstrncat_diffterm_alloca_true-termination.c.i |
unknown |
7.81 |
7.88 |
204435456 |
error (255) |
4.82 |
4.89 |
146620416 |
| termination-15/cstrncat_malloc_true-termination.c.i |
unknown |
7.56 |
7.65 |
203104256 |
error (255) |
4.52 |
4.56 |
146542592 |
| termination-15/cstrncat_mixed_alloca_true-termination.c.i |
unknown |
7.81 |
7.88 |
210046976 |
error (255) |
3.39 |
3.43 |
145055744 |
| termination-15/cstrncat_reverse_alloca_true-termination.c.i |
unknown |
7.66 |
7.72 |
204279808 |
error (255) |
4.56 |
4.61 |
146333696 |
| termination-15/cstrncmp_diffterm_alloca_true-termination.c.i |
unknown |
7.80 |
7.86 |
201658368 |
error (255) |
4.70 |
4.74 |
144998400 |
| termination-15/cstrncmp_malloc_true-termination.c.i |
unknown |
7.37 |
7.46 |
205430784 |
error (255) |
4.31 |
4.38 |
142184448 |
| termination-15/cstrncmp_mixed_alloca_true-termination.c.i |
unknown |
7.92 |
8.01 |
202473472 |
error (255) |
4.68 |
4.72 |
142708736 |
| termination-15/cstrncmp_reverse_alloca_true-termination.c.i |
unknown |
5.57 |
5.62 |
205479936 |
error (255) |
4.50 |
4.55 |
144797696 |
| termination-15/cstrncpy_diffterm_alloca_true-termination.c.i |
unknown |
5.74 |
5.79 |
204070912 |
error (255) |
4.47 |
4.52 |
144093184 |
| termination-15/cstrncpy_malloc_true-termination.c.i |
unknown |
7.77 |
7.84 |
201940992 |
error (255) |
4.43 |
4.50 |
142188544 |
| termination-15/cstrncpy_mixed_alloca_true-termination.c.i |
unknown |
7.45 |
7.50 |
197656576 |
error (255) |
4.57 |
4.61 |
144551936 |
| termination-15/cstrncpy_reverse_alloca_true-termination.c.i |
unknown |
7.45 |
7.52 |
198119424 |
error (255) |
4.57 |
4.74 |
144564224 |
| termination-15/cstrpbrk_diffterm_alloca_true-termination.c.i |
unknown |
7.86 |
7.94 |
202612736 |
error (255) |
4.52 |
4.58 |
144375808 |
| termination-15/cstrpbrk_malloc_true-termination.c.i |
unknown |
7.57 |
7.63 |
211275776 |
error (255) |
4.60 |
4.64 |
143847424 |
| termination-15/cstrpbrk_mixed_alloca_true-termination.c.i |
unknown |
7.79 |
7.85 |
201646080 |
error (255) |
4.55 |
4.61 |
144564224 |
| termination-15/cstrpbrk_reverse_alloca_true-termination.c.i |
unknown |
7.58 |
7.65 |
200593408 |
error (255) |
4.66 |
4.72 |
142675968 |
| termination-15/cstrspn_diffterm_alloca_true-termination.c.i |
unknown |
7.82 |
7.89 |
201891840 |
error (255) |
4.34 |
4.40 |
147030016 |
| termination-15/cstrspn_malloc_true-termination.c.i |
unknown |
7.60 |
7.68 |
202747904 |
error (255) |
3.32 |
3.36 |
144252928 |
| termination-15/cstrspn_mixed_alloca_true-termination.c.i |
unknown |
7.65 |
7.71 |
200589312 |
error (255) |
3.24 |
3.28 |
144379904 |
| termination-15/cstrspn_reverse_alloca_true-termination.c.i |
unknown |
7.73 |
7.82 |
199266304 |
error (255) |
4.60 |
4.68 |
144019456 |
| termination-15/array04_alloca_false-termination.c.i |
unknown |
7.62 |
7.68 |
198651904 |
error (255) |
4.53 |
4.59 |
142688256 |
| termination-15/array14_alloca_false-termination.c.i |
unknown |
7.44 |
7.50 |
202178560 |
error (255) |
4.48 |
4.51 |
144637952 |
| termination-15/array15_alloca_false-termination.c.i |
unknown |
7.61 |
7.69 |
200634368 |
error (255) |
4.63 |
4.67 |
143855616 |
| termination-15/array16_alloca_original_false-termination.c.i |
error: exception |
4.41 |
4.46 |
169959424 |
error (255) |
4.52 |
4.57 |
144171008 |
| termination-15/array19_alloca_false-termination.c.i |
unknown |
7.75 |
7.83 |
197066752 |
error (255) |
4.80 |
4.83 |
145469440 |
| termination-15/array20_alloca_false-termination.c.i |
unknown |
7.79 |
7.87 |
204394496 |
error (255) |
4.63 |
4.67 |
142966784 |
| termination-recursive-malloc/chunk1_true-termination.c.i |
unknown |
6.92 |
6.98 |
178720768 |
error (255) |
4.57 |
4.63 |
143978496 |
| termination-recursive-malloc/chunk2_true-termination.c.i |
unknown |
7.02 |
7.10 |
176705536 |
error (255) |
4.76 |
4.80 |
144850944 |
| termination-recursive-malloc/chunk3_true-termination.c.i |
unknown |
6.83 |
6.91 |
178192384 |
error (255) |
4.73 |
4.78 |
145436672 |
| termination-recursive-malloc/insertionSort_recursive_true-termination.c.i |
unknown |
7.15 |
7.23 |
181071872 |
error (255) |
4.49 |
4.56 |
144465920 |
| termination-recursive-malloc/mergeSort_true-termination.c.i |
unknown |
6.92 |
6.99 |
185819136 |
error (255) |
4.58 |
4.62 |
142450688 |
| termination-recursive-malloc/mutual_simple2_true-termination.c.i |
unknown |
6.88 |
6.95 |
177397760 |
error (255) |
4.49 |
4.54 |
144388096 |
| termination-recursive-malloc/mutual_simple_true-termination.c.i |
unknown |
5.06 |
5.26 |
177905664 |
error (255) |
4.73 |
4.77 |
144879616 |
| termination-recursive-malloc/rec_malloc_ex10_true-termination.c.i |
unknown |
7.04 |
7.13 |
178180096 |
error (255) |
4.55 |
4.61 |
143052800 |
| termination-recursive-malloc/rec_malloc_ex11B_true-termination.c.i |
unknown |
7.06 |
7.27 |
179240960 |
error (255) |
4.50 |
4.57 |
144150528 |
| termination-recursive-malloc/rec_malloc_ex11C_true-termination.c.i |
unknown |
7.02 |
7.09 |
179798016 |
error (255) |
4.66 |
4.85 |
148770816 |
| termination-recursive-malloc/rec_malloc_ex11D_true-termination.c.i |
unknown |
6.99 |
7.06 |
181600256 |
error (255) |
3.43 |
3.63 |
144166912 |
| termination-recursive-malloc/rec_malloc_ex11_true-termination.c.i |
unknown |
6.92 |
6.99 |
178110464 |
error (255) |
3.29 |
3.32 |
145739776 |
| termination-recursive-malloc/rec_malloc_ex1_true-termination.c.i |
unknown |
6.85 |
6.93 |
180658176 |
error (255) |
4.66 |
4.69 |
144457728 |
| termination-recursive-malloc/rec_malloc_ex2_true-termination.c.i |
unknown |
6.87 |
6.93 |
178831360 |
error (255) |
4.53 |
4.56 |
142901248 |
| termination-recursive-malloc/rec_malloc_ex3_true-termination.c.i |
unknown |
6.79 |
6.86 |
175038464 |
error (255) |
4.55 |
4.60 |
144515072 |
| termination-recursive-malloc/rec_malloc_ex4_true-termination.c.i |
unknown |
6.56 |
6.63 |
182284288 |
error (255) |
4.64 |
4.72 |
144924672 |
| termination-recursive-malloc/rec_malloc_ex5B_true-termination.c.i |
unknown |
5.16 |
5.21 |
181182464 |
error (255) |
4.51 |
4.54 |
144625664 |
| termination-recursive-malloc/rec_malloc_ex5_true-termination.c.i |
unknown |
7.04 |
7.11 |
180568064 |
error (255) |
4.38 |
4.42 |
144265216 |
| termination-recursive-malloc/rec_malloc_ex6_true-termination.c.i |
unknown |
6.81 |
6.89 |
181358592 |
error (255) |
4.52 |
4.57 |
146489344 |
| termination-recursive-malloc/rec_malloc_ex7B_true-termination.c.i |
unknown |
6.88 |
6.94 |
180535296 |
error (255) |
4.76 |
4.79 |
144248832 |
| termination-recursive-malloc/rec_malloc_ex7_true-termination.c.i |
unknown |
6.94 |
7.00 |
179236864 |
error (255) |
4.55 |
4.74 |
144252928 |
| termination-recursive-malloc/rec_malloc_ex8_true-termination.c.i |
unknown |
7.09 |
7.16 |
178548736 |
error (255) |
4.69 |
4.81 |
144654336 |
| termination-recursive-malloc/rec_malloc_ex9_true-termination.c.i |
unknown |
4.96 |
5.01 |
175382528 |
error (255) |
4.46 |
4.51 |
144277504 |
| termination-recursive-malloc/rec_strcopy_malloc2_true-termination.c.i |
unknown |
7.10 |
7.16 |
179924992 |
error (255) |
4.40 |
4.46 |
144072704 |
| termination-recursive-malloc/rec_strcopy_malloc_true-termination.c.i |
unknown |
6.55 |
6.60 |
179097600 |
error (255) |
4.56 |
4.60 |
142622720 |
| termination-recursive-malloc/rec_strlen_malloc_true-termination.c.i |
unknown |
7.04 |
7.09 |
174637056 |
error (255) |
4.55 |
4.61 |
144535552 |
| termination-recursive-malloc/selectionSort_recursive_true-termination.c.i |
unknown |
6.56 |
6.63 |
190402560 |
error (255) |
4.67 |
4.75 |
142581760 |
| ssh-simplified/s3_clnt_3.cil_true-unreach-call_true-termination.c |
unknown |
7.38 |
7.44 |
189734912 |
error (255) |
4.65 |
4.69 |
146509824 |
| pthread-atomic/gcd_true-unreach-call_true-termination.i |
unknown |
6.90 |
6.96 |
184610816 |
error (255) |
4.45 |
4.48 |
143953920 |