Tool ULTIMATE Automizer 0.1.23-3d9d3210
Limits timelimit: 120 s, memlimit: 4000 MB, CPU core limit: 1
Host struebli
OS Linux-4.16.18-gentoo-x86_64-AMD_EPYC_7351P_16-Core_Processor-with-gentoo-2.4.1
System CPU: AMD EPYC 7351P 16-Core Processor, cores: 32, frequency: 2400 MHz; RAM: 135158 MB
Date of execution 2018-11-26 19:24:10 CET 2018-11-26 18:31:44 CET
Run set svcomp-translation-default.Default svcomp-translation-bitvector.Bitvector
Options -tc ../../../trunk/examples/toolchains/C-BPP.xml -ea -tc ../../../trunk/examples/toolchains/C-BPP.xml -ea
../../../trunk/examples/svcomp/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
ntdrivers/diskperf_false-unreach-call.i.cil.c unknown 12.8  13.3  354353152 error: type error 8.81 9.11 374956032
ntdrivers/parport_false-unreach-call.i.cil.c unknown 10.8  11.0  545697792 error: type error 16.5  16.6  610398208
ntdrivers/diskperf_true-unreach-call.i.cil.c unknown 8.96 9.27 388300800 error: type error 8.62 9.15 418553856
ntdrivers/parport_true-unreach-call.i.cil.c unknown 16.0  16.3  548712448 error: type error 11.6  11.9  595480576
floats-cbmc-regression/float-div1_true-unreach-call.i error: exception 8.37 8.59 173887488 unknown 9.36 9.90 254636032
floats-cbmc-regression/float-flags-simp1_true-unreach-call.i error: exception 7.83 8.12 180531200 unknown 6.83 7.12 264450048
floats-cbmc-regression/float-no-simp2_true-unreach-call.i error: exception 7.61 8.04 174460928 unknown 9.15 9.61 291217408
floats-cbmc-regression/float-no-simp4_true-unreach-call.i error: exception 7.86 8.23 174747648 unknown 9.06 9.53 295370752
floats-cbmc-regression/float-no-simp8_true-unreach-call.i error: exception 5.62 5.66 174710784 unknown 9.09 9.50 296968192
floats-cbmc-regression/float-rounding1_true-unreach-call.i error: exception 7.50 7.99 176214016 unknown 6.60 6.72 301260800
floats-cbmc-regression/float-to-double1_true-unreach-call.i error: exception 7.64 8.07 171171840 unknown 9.27 9.69 300851200
floats-cbmc-regression/float14_true-unreach-call.i error: exception 7.66 7.94 178675712 unknown 9.17 9.32 294129664
floats-cbmc-regression/float18_true-unreach-call.i error: exception 8.18 8.60 175341568 unknown 9.13 9.61 293486592
floats-cbmc-regression/float19_true-unreach-call.i error: exception 8.18 8.64 174071808 unknown 9.66 9.77 297385984
floats-cbmc-regression/float21_true-unreach-call.i error: exception 8.40 8.48 174174208 unknown 9.71 9.82 291823616
floats-cbmc-regression/float4_true-unreach-call.i error: exception 7.85 8.28 178327552 unknown 6.66 6.75 301707264
floats-cbmc-regression/float8_true-unreach-call.i error: exception 7.83 8.23 194940928 unknown 9.36 9.82 312881152
floats-cbmc-regression/float_lib1_true-unreach-call.i error: exception 5.64 5.75 174215168 unknown 9.43 9.88 310370304
floats-cbmc-regression/float_lib2_true-unreach-call.i error: exception 8.06 8.52 177397760 unknown 9.79 9.88 292208640
floats-esbmc-regression/ceil_nondet_true-unreach-call.i error: exception 8.42 8.55 175714304 unknown 5.70 5.79 177766400
floats-esbmc-regression/ceil_true-unreach-call.i error: exception 7.97 8.47 172560384 unknown 9.30 9.75 296603648
floats-esbmc-regression/copysign_true-unreach-call.i error: exception 5.30 5.49 172421120 unknown 9.45 9.64 292401152
floats-esbmc-regression/fabs_true-unreach-call.i error: exception 8.03 8.51 172068864 unknown 9.25 9.67 295370752
floats-esbmc-regression/fdim_true-unreach-call.i error: exception 8.23 8.61 170598400 unknown 6.28 6.44 293142528
floats-esbmc-regression/floor_nondet_true-unreach-call.i error: exception 5.77 5.86 176349184 unknown 8.08 8.48 175968256
floats-esbmc-regression/floor_true-unreach-call.i error: exception 7.90 8.39 171749376 unknown 9.30 9.37 294952960
floats-esbmc-regression/fmax_true-unreach-call.i error: exception 8.14 8.27 178114560 unknown 8.97 9.44 297848832
floats-esbmc-regression/fmin_true-unreach-call.i error: exception 7.58 7.72 173088768 unknown 9.25 9.80 287506432
floats-esbmc-regression/fmod2_true-unreach-call.i error: exception 8.21 8.35 173572096 unknown 9.69 10.2  243695616
floats-esbmc-regression/fmod3_true-unreach-call.i error: exception 8.19 8.40 179245056 unknown 9.35 9.80 295260160
floats-esbmc-regression/fmod_true-unreach-call.i error: exception 5.42 5.58 177262592 unknown 9.36 9.89 293548032
floats-esbmc-regression/isgreater_true-unreach-call.i error: exception 7.73 8.22 176259072 unknown 9.01 9.67 289005568
floats-esbmc-regression/isgreaterequal_true-unreach-call.i error: exception 8.29 8.84 175513600 unknown 9.26 9.66 292544512
floats-esbmc-regression/isless_true-unreach-call.i error: exception 8.17 8.24 175132672 unknown 9.36 9.54 291602432
floats-esbmc-regression/islessequal_true-unreach-call.i error: exception 8.06 8.12 181071872 unknown 6.34 6.55 294322176
floats-esbmc-regression/islessgreater_true-unreach-call.i error: exception 7.95 8.44 172990464 unknown 9.50 10.0  291414016
floats-esbmc-regression/isunordered_true-unreach-call.i error: exception 7.63 8.05 177311744 unknown 9.34 9.87 292519936
floats-esbmc-regression/lrint_true-unreach-call.i error: exception 7.88 8.48 177332224 unknown 5.51 5.56 174813184
floats-esbmc-regression/nan_true-unreach-call.i error: exception 7.84 7.90 176103424 unknown 9.55 9.64 297291776
floats-esbmc-regression/nearbyint2_true-unreach-call.i error: exception 7.97 8.38 176279552 unknown 7.67 8.02 180072448
floats-esbmc-regression/remainder_true-unreach-call.i error: exception 8.20 8.27 177676288 unknown 9.46 9.89 296681472
floats-esbmc-regression/rint2_true-unreach-call.i error: exception 5.68 5.74 177176576 unknown 7.64 7.70 177238016
floats-esbmc-regression/round_nondet_true-unreach-call.i error: exception 5.44 5.55 174039040 unknown 5.48 5.55 171782144
floats-esbmc-regression/round_true-unreach-call.i error: exception 8.01 8.17 173494272 unknown 9.29 9.66 301039616
floats-esbmc-regression/rounding_functions_true-unreach-call.i error: exception 5.52 5.64 173436928 unknown 9.25 9.73 294289408
floats-esbmc-regression/trunc_nondet_2_true-unreach-call.i error: exception 7.43 7.87 179322880 unknown 6.55 6.65 302211072
floats-esbmc-regression/trunc_nondet_true-unreach-call.i error: exception 8.12 8.17 176570368 unknown 8.40 8.46 175886336
floats-esbmc-regression/trunc_true-unreach-call.i error: exception 8.00 8.49 208510976 unknown 9.94 10.3  291500032
float-newlib/double_req_bl_0870b_true-unreach-call.c error: exception 7.65 7.88 170979328 unknown 8.38 8.55 213106688
float-newlib/double_req_bl_0872a_true-unreach-call.c error: exception 7.58 8.04 193511424 unknown 8.87 9.14 209866752
float-newlib/double_req_bl_0872b_true-unreach-call.c error: exception 7.50 7.75 175824896 unknown 8.77 9.09 215941120
float-newlib/double_req_bl_0873a_true-unreach-call.c error: exception 7.28 7.80 174030848 unknown 8.83 8.97 207327232
float-newlib/double_req_bl_0873b_true-unreach-call.c error: exception 7.53 8.06 177500160 unknown 8.81 9.35 212434944
float-newlib/double_req_bl_0874_true-unreach-call.c error: exception 7.15 7.66 177057792 unknown 9.01 9.08 232357888
float-newlib/double_req_bl_0876_true-unreach-call.c error: exception 7.16 7.23 172752896 unknown 8.88 9.06 212426752
float-newlib/double_req_bl_0882_true-unreach-call.c error: exception 5.20 5.24 175775744 unknown 8.58 8.64 231665664
float-newlib/double_req_bl_0883_true-unreach-call.c error: exception 5.14 5.27 173629440 unknown 8.91 8.97 211345408
float-newlib/float_req_bl_0870b_true-unreach-call.c error: exception 7.13 7.19 173084672 unknown 6.14 6.35 216850432
float-newlib/float_req_bl_0872a_true-unreach-call.c error: exception 7.37 7.73 177790976 unknown 9.12 9.20 208519168
float-newlib/float_req_bl_0872b_true-unreach-call.c error: exception 7.57 8.08 172568576 unknown 8.57 9.06 212156416
float-newlib/float_req_bl_0873a_true-unreach-call.c error: exception 7.32 7.84 172744704 unknown 8.77 9.31 209866752
float-newlib/float_req_bl_0873b_true-unreach-call.c error: exception 7.23 7.31 195141632 unknown 8.79 9.12 210391040
float-newlib/float_req_bl_0874_true-unreach-call.c error: exception 7.46 7.63 175509504 unknown 8.80 8.92 211783680
float-newlib/float_req_bl_0875_true-unreach-call.c error: exception 5.05 5.21 187904000 unknown 9.12 9.31 219648000
float-newlib/float_req_bl_0876_true-unreach-call.c error: exception 7.72 7.93 172322816 unknown 8.64 8.93 213250048
float-newlib/float_req_bl_0877_true-unreach-call.c error: exception 7.35 7.88 174043136 unknown 9.02 9.13 211398656
float-newlib/float_req_bl_0880_true-unreach-call.c error: exception 7.30 7.98 174694400 unknown 9.10 9.16 210731008
float-newlib/float_req_bl_0881_true-unreach-call.c error: exception 4.97 5.19 169783296 unknown 8.79 9.33 214061056
float-newlib/float_req_bl_0883_true-unreach-call.c error: exception 7.28 7.33 173502464 unknown 9.11 9.29 229191680
float-newlib/double_req_bl_0870a_false-unreach-call.c error: exception 7.67 7.79 174141440 unknown 8.69 9.04 211177472
float-newlib/float_req_bl_0870a_false-unreach-call.c error: exception 7.37 7.43 176087040 unknown 6.03 6.25 222359552
loop-floats-scientific-comp/loop5_true-unreach-call.c.i error: exception 5.57 5.69 182259712 unknown 8.09 8.45 177790976
loop-floats-scientific-comp/loop4_false-unreach-call.c.i error: exception 8.18 8.34 175890432 unknown 8.25 8.45 181051392
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--common--tuners--tda18218.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unknown 7.45 7.74 261439488 error: type error 7.56 7.88 268197888
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--cxd2820r.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unknown 10.0  10.1  468135936 error: type error 15.6  15.8  501145600
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--rtl2830.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unknown 12.0  12.4  332222464 error: type error 12.3  12.8  344121344
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--tda18271c2dd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unknown 13.3  13.5  373596160 error: type error 14.1  14.3  409952256
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--media--common--tuners--tda18212_false-termination.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unknown 10.4  10.5  280207360 error: type error 10.5  10.7  268320768
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--media--common--tuners--tda18218_false-termination.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unknown 7.79 8.09 294768640 error: type error 11.1  11.5  283013120
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--media--dvb--frontends--cxd2820r.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unknown 14.2  14.4  442609664 error: type error 10.3  10.4  440094720
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--media--dvb--frontends--rtl2830_false-termination.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unknown 12.1  12.6  318758912 error: type error 12.7  13.2  343101440
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--media--dvb--frontends--tda18271c2dd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unknown 13.2  13.4  376344576 error: type error 13.3  13.4  433549312
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--net--ppp--ppp_mppe.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error: exception 10.1  10.2  230887424 unknown 7.62 7.97 270741504
ldv-memsafety/memleaks_test23_2_false-valid-deref.i error: exception 8.09 8.47 192573440 unknown 9.09 9.34 209772544
ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i error: exception 5.72 5.76 193568768 unknown 6.38 6.45 212262912
recursive/Addition02WithOverflowBug_false-no-overflow.c unknown 7.15 7.29 168632320 -
recursive/Addition03_false-no-overflow.c unknown 6.75 7.03 167337984 -
recursive/EvenOdd03WithOverflowBug_false-no-overflow.c unknown 7.17 7.33 170078208 -
recursive-simple/id_b3_o2_false-no-overflow.c unknown 6.95 7.12 169021440 -
recursive-simple/id_b3_o5_false-no-overflow.c unknown 7.03 7.29 168603648 -
recursive-simple/id_b5_o10_false-no-overflow.c unknown 6.91 7.04 167985152 -
recursive-simple/sum_non_eq_false-no-overflow.c unknown 6.92 7.20 167051264 -
recursive-simple/sum_non_false-no-overflow.c unknown 6.99 7.41 188981248 -
bitvector/byte_add_1_false-no-overflow.i unknown 7.23 7.29 187891712 -
bitvector/byte_add_2_false-no-overflow.i unknown 6.57 6.73 186683392 -
bitvector/byte_add_false-no-overflow.i unknown 7.37 7.43 186470400 -
bitvector/jain_1_false-no-overflow.i unknown 4.60 4.92 167493632 -
bitvector/jain_2_false-no-overflow.i unknown 7.19 7.25 171397120 -
bitvector/jain_4_false-no-overflow.i unknown 6.76 7.21 171528192 -
bitvector/jain_5_false-no-overflow.i unknown 4.77 5.10 169041920 -
bitvector/jain_6_false-no-overflow.i unknown 6.83 7.16 187305984 -
bitvector/jain_7_false-no-overflow.i unknown 7.01 7.24 169943040 -
bitvector/modulus_false-no-overflow.i unknown 7.14 7.33 174825472 -
psyco/psyco_abp_1_false-no-overflow.c unknown 5.56 5.73 201109504 -
signedintegeroverflow-regression/AdditionIntMax_false-no-overflow.c.i unknown 5.41 5.62 196194304 -
signedintegeroverflow-regression/AdditionIntMin_false-no-overflow.c.i unknown 8.10 8.40 197058560 -
signedintegeroverflow-regression/Division_false-no-overflow.c.i unknown 5.77 5.82 191291392 -
signedintegeroverflow-regression/Multiplication_false-no-overflow.c.i unknown 5.74 5.78 193961984 -
signedintegeroverflow-regression/NoConversion_false-no-overflow.c.i unknown 7.83 7.91 196059136 -
signedintegeroverflow-regression/PostfixDecrement_false-no-overflow.c.i unknown 7.60 8.06 196313088 -
signedintegeroverflow-regression/PostfixIncrement_false-no-overflow.c.i unknown 7.83 8.03 191434752 -
signedintegeroverflow-regression/PrefixDecrement_false-no-overflow.c.i unknown 7.91 8.48 193933312 -
signedintegeroverflow-regression/PrefixIncrement_false-no-overflow.c.i unknown 7.69 8.22 193327104 -
signedintegeroverflow-regression/UnaryMinus_false-no-overflow.c.i unknown 8.12 8.53 196841472 -
signedintegeroverflow-regression/ConversionToSignedInt_true-no-overflow_true-termination.c.i unknown 7.81 8.00 192172032 -
signedintegeroverflow-regression/IntegerPromotion_true-no-overflow_true-termination.c.i unknown 7.86 8.07 194846720 -
signedintegeroverflow-regression/Multiplication_true-no-overflow_true-termination.c.i unknown 7.81 7.94 190382080 -
signedintegeroverflow-regression/NoNegativeIntegerConstant_true-no-overflow_true-termination.c.i unknown 7.93 8.43 195801088 -
signedintegeroverflow-regression/UsualArithmeticConversions_true-no-overflow_true-termination.c.i unknown 8.02 8.55 184229888 -
termination-crafted/2Nested_false-no-overflow.c unknown 6.97 7.05 187260928 -
termination-crafted/4NestedWith3Variables_false-no-overflow.c unknown 6.88 6.97 167686144 -
termination-crafted/Ackermann_false-no-overflow.c unknown 6.77 6.84 169967616 -
termination-crafted/Bangalore_false-no-overflow.c unknown 7.02 7.32 169553920 -
termination-crafted/Bangalore_v3_false-no-overflow.c unknown 6.83 7.07 187977728 -
termination-crafted/Benghazi_nondet_false-no-overflow.c unknown 7.06 7.14 173383680 -
termination-crafted/Binary_Search_false-no-overflow.c unknown 6.76 7.07 168304640 -
termination-crafted/Cairo_nondet_false-no-overflow.c unknown 6.97 7.04 168456192 -
termination-crafted/Cairo_step2_false-no-overflow.c unknown 6.95 7.11 169115648 -
termination-crafted/Collatz_unknown-termination_false-no-overflow.c unknown 7.13 7.34 170323968 -
termination-crafted/Copenhagen_disj_false-no-overflow.c unknown 6.69 6.90 168738816 -
termination-crafted/Gothenburg_false-no-overflow.c unknown 4.89 5.15 170278912 -
termination-crafted/Gothenburg_v2_false-no-overflow.c unknown 4.92 5.27 167202816 -
termination-crafted/Hanoi_2vars_false-no-overflow.c unknown 6.82 7.06 168665088 -
termination-crafted/Hanoi_3vars_false-no-overflow.c unknown 4.89 5.18 166793216 -
termination-crafted/Hanoi_plus_false-no-overflow.c unknown 4.77 5.29 168878080 -
termination-crafted/Lobnya-Boolean-Reordered_false-no-overflow.c unknown 6.96 7.25 169975808 -
termination-crafted/Mysore_false-no-overflow.c unknown 6.87 7.11 169107456 -
termination-crafted/NestedRecursion_1a_false-no-overflow.c unknown 7.05 7.32 172863488 -
termination-crafted/NestedRecursion_2a_false-no-overflow.c unknown 6.81 6.88 187838464 -
termination-crafted/NonTermination1_false-no-overflow.c unknown 6.95 7.11 168669184 -
termination-crafted/NonTermination2_false-no-overflow.c unknown 6.72 6.93 168267776 -
termination-crafted/NonTermination4_false-no-overflow.c unknown 6.56 6.71 168214528 -
termination-crafted/NonTerminationSimple2_false-no-overflow.c unknown 6.80 7.26 170942464 -
termination-crafted/NonTerminationSimple3_false-no-overflow.c unknown 6.82 7.01 190164992 -
termination-crafted/NonTerminationSimple4_false-no-overflow.c unknown 6.95 7.53 172761088 -
termination-crafted/NonTerminationSimple5_false-no-overflow.c unknown 7.15 7.20 164548608 -
termination-crafted/NonTerminationSimple6_false-no-overflow.c unknown 6.76 6.91 168075264 -
termination-crafted/NonTerminationSimple8_false-no-overflow.c unknown 7.02 7.21 169803776 -
termination-crafted/NonTerminationSimple9_false-no-overflow.c unknown 6.82 7.09 167284736 -
termination-crafted/Pure2Phase_false-no-overflow.c unknown 6.88 7.05 172564480 -
termination-crafted/Pure3Phase_false-no-overflow.c unknown 7.05 7.26 172408832 -
termination-crafted/RecursiveMultiplication_false-no-overflow.c unknown 7.20 7.46 167170048 -
termination-crafted/RecursiveNonterminating_false-no-overflow.c unknown 4.90 5.18 169816064 -
termination-crafted/Rotation180_false-no-overflow.c unknown 6.78 7.04 166084608 -
termination-crafted/Singapore_false-no-overflow.c unknown 6.97 7.22 170995712 -
termination-crafted/Singapore_plus_false-no-overflow.c unknown 6.59 7.00 169451520 -
termination-crafted/Singapore_v1_false-no-overflow.c unknown 4.94 5.03 167731200 -
termination-crafted/Singapore_v2_false-no-overflow.c unknown 7.34 7.39 172695552 -
termination-crafted/Stockholm_false-no-overflow.c unknown 4.72 5.05 170102784 -
termination-crafted/Thun_false-no-overflow.c unknown 4.75 5.05 168673280 -
termination-crafted/Toulouse-BranchesToLoop_false-no-overflow.c unknown 7.13 7.36 170848256 -
termination-crafted/Toulouse-MultiBranchesToLoop_false-no-overflow.c unknown 6.90 7.13 171503616 -
termination-crafted/aaron2_false-no-overflow.c unknown 6.96 7.09 171036672 -
termination-crafted/aaron3_false-no-overflow.c unknown 4.92 5.21 167727104 -
termination-crafted/easy2_false-no-overflow.c unknown 6.98 7.20 171597824 -
termination-crafted/LexIndexValue-Pointer_true-no-overflow.c unknown 7.06 7.13 172589056 -
termination-crafted/NonTermination3_true-no-overflow_false-termination.c unknown 5.09 5.39 169066496 -
termination-crafted/SyntaxSupportPointer01_true-no-overflow_true-termination.c unknown 7.36 7.45 174710784 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig2a_false-no-overflow.c unknown 7.05 7.11 166572032 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig2b_false-no-overflow.c unknown 6.83 7.04 170688512 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-aaron2_false-no-overflow.c unknown 7.16 7.39 169259008 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-aaron3_false-no-overflow.c unknown 6.86 7.07 171642880 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-complex_false-no-overflow.c unknown 7.03 7.22 169496576 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-counterex1a_false-no-overflow.c unknown 6.99 7.22 167596032 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-counterex1b_false-no-overflow.c unknown 6.83 7.02 170016768 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy2_false-no-overflow.c unknown 7.40 7.47 167727104 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-exmini_false-no-overflow.c unknown 7.10 7.17 168751104 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-ndecr_false-no-overflow.c unknown 6.72 7.17 165261312 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-nestedLoop_false-no-overflow.c unknown 6.96 7.17 167038976 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random1d_false-no-overflow.c unknown 7.14 7.21 173584384 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-rsd_false-no-overflow.c unknown 6.96 7.21 168882176 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedFails4_false-no-overflow.c unknown 6.80 7.03 174727168 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-terminate_false-no-overflow.c unknown 4.63 4.99 168136704 -
termination-crafted-lit/Ben-Amram-LMCS2010-Ex2.3_false-no-overflow.c unknown 4.75 5.07 170467328 -
termination-crafted-lit/BradleyMannaSipma-ICALP2005-Fig1_false-no-overflow.c unknown 7.05 7.27 169533440 -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron12_false-no-overflow.c unknown 4.89 5.34 169734144 -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron1_false-no-overflow.c unknown 4.90 5.23 166776832 -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron2_false-no-overflow.c unknown 6.90 6.97 191463424 -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron3_false-no-overflow.c unknown 6.93 7.06 169979904 -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron4_false-no-overflow.c unknown 7.00 7.21 179097600 -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron6_false-no-overflow.c unknown 6.87 7.04 174186496 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.01_false-no-overflow.c unknown 6.71 6.95 167985152 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.02_false-no-overflow.c unknown 6.74 7.01 165007360 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.03_false-no-overflow.c unknown 7.03 7.09 171102208 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.04_false-no-overflow.c unknown 7.19 7.46 184213504 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.05_false-no-overflow.c unknown 6.96 7.38 169283584 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.01_false-no-overflow.c unknown 7.36 7.42 170102784 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.02_false-no-overflow.c unknown 4.85 5.01 190447616 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.03_false-no-overflow.c unknown 6.96 7.03 168390656 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.04_false-no-overflow.c unknown 6.81 6.99 169406464 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.05_false-no-overflow.c unknown 5.01 5.30 170872832 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.06_false-no-overflow.c unknown 6.87 6.93 173756416 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.07_false-no-overflow.c unknown 7.05 7.29 170762240 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.08_false-no-overflow.c unknown 6.79 7.45 171474944 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.09_false-no-overflow.c unknown 7.14 7.29 168378368 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.10_false-no-overflow.c unknown 7.13 7.39 169652224 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.11_false-no-overflow.c unknown 6.99 7.23 168923136 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.12_false-no-overflow.c unknown 6.59 6.64 169066496 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.13_false-no-overflow.c unknown 7.21 7.34 171069440 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.14_false-no-overflow.c unknown 4.77 5.26 185524224 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.15_false-no-overflow.c unknown 7.20 7.65 169254912 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.16_false-no-overflow.c unknown 4.85 5.17 167571456 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.17_false-no-overflow.c unknown 7.24 7.31 167841792 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.18_false-no-overflow.c unknown 6.94 7.15 168341504 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.19_false-no-overflow.c unknown 7.05 7.22 165236736 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.21_false-no-overflow.c unknown 6.77 6.84 172113920 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.22_false-no-overflow.c unknown 4.87 5.22 166121472 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.02_false-no-overflow.c unknown 4.81 5.12 168591360 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.03_false-no-overflow.c unknown 6.91 7.32 171024384 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.04_false-no-overflow.c unknown 4.89 5.25 166518784 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.05_false-no-overflow.c unknown 6.94 7.13 168030208 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.06_false-no-overflow.c unknown 7.08 7.23 168538112 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.07_false-no-overflow.c unknown 4.94 5.25 167428096 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.08_false-no-overflow.c unknown 6.90 7.11 169443328 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.09_false-no-overflow.c unknown 6.81 7.01 180850688 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.10_false-no-overflow.c unknown 6.88 7.16 168284160 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex4.01_false-no-overflow.c unknown 6.87 6.95 168034304 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Fig1_false-no-overflow.c unknown 6.87 6.91 174428160 -
termination-crafted-lit/ColonSipma-TACAS2001-Fig1_false-no-overflow.c unknown 7.12 7.39 167886848 -
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1a_false-no-overflow.c unknown 6.84 7.05 168386560 -
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1b_false-no-overflow.c unknown 6.96 7.19 169324544 -
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1c_false-no-overflow.c unknown 7.01 7.09 175439872 -
termination-crafted-lit/GulwaniJainKoskinen-PLDI2009-Fig1_false-no-overflow.c unknown 7.16 7.25 174088192 -
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig2_false-no-overflow.c unknown 6.80 6.96 171151360 -
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig2_false-no-overflow.c unknown 6.82 7.07 169930752 -
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig7_false-no-overflow.c unknown 6.90 6.96 186097664 -
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig8_false-no-overflow.c unknown 7.07 7.33 174034944 -
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig9_false-no-overflow.c unknown 7.04 7.23 171065344 -
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex1_false-no-overflow.c unknown 7.00 7.22 172167168 -
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex2_false-no-overflow.c unknown 7.14 7.20 177274880 -
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex3_false-no-overflow.c unknown 6.92 7.25 170221568 -
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex6_false-no-overflow.c unknown 6.99 7.23 174526464 -
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex7_false-no-overflow.c unknown 6.95 7.51 170831872 -
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex8_false-no-overflow.c unknown 7.03 7.24 178225152 -
termination-crafted-lit/LeikeHeizmann-TACAS2014-Fig1_false-no-overflow.c unknown 4.86 5.19 168886272 -
termination-crafted-lit/LeikeHeizmann-WST2014-Ex5_false-no-overflow.c unknown 4.84 5.14 170450944 -
termination-crafted-lit/LeikeHeizmann-WST2014-Ex6_false-no-overflow.c unknown 5.02 5.31 177909760 -
termination-crafted-lit/Masse-VMCAI2014-Ex6_false-no-overflow.c unknown 4.82 5.17 167657472 -
termination-crafted-lit/Masse-VMCAI2014-Fig1a_false-no-overflow.c unknown 6.90 7.12 168607744 -
termination-crafted-lit/Masse-VMCAI2014-Fig1b_false-no-overflow.c unknown 6.74 6.95 168407040 -
termination-crafted-lit/NoriSharma-FSE2013-Fig7_false-no-overflow.c unknown 6.87 6.93 167702528 -
termination-crafted-lit/NoriSharma-FSE2013-Fig8_false-no-overflow.c unknown 7.08 7.14 173412352 -
termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig2-TACAS2011-Fig3_false-no-overflow.c unknown 7.04 7.09 167297024 -
termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig2_false-no-overflow.c unknown 6.71 6.91 167677952 -
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig3_false-no-overflow.c unknown 6.83 7.04 187527168 -
termination-crafted-lit/PodelskiRybalchenko-VMCAI2004-Ex1_false-no-overflow.c unknown 6.86 7.00 170455040 -
termination-crafted-lit/PodelskiRybalchenko-VMCAI2004-Ex2_false-no-overflow.c unknown 6.95 7.00 169406464 -
termination-crafted-lit/cstrncmp_false-no-overflow.c unknown 7.13 7.35 170840064 -
termination-crafted-lit/gcd1_false-no-overflow.c unknown 6.80 7.02 168767488 -
termination-crafted-lit/joey_false-no-overflow.c unknown 7.02 7.24 165466112 -
termination-crafted-lit/min_rf_false-no-overflow.c unknown 6.75 6.92 166305792 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig1_true-termination_true-no-overflow.c unknown 6.94 7.00 173645824 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-cousot9_true-termination_true-no-overflow.c unknown 7.09 7.16 168144896 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy1_true-termination_true-no-overflow.c unknown 6.84 7.11 169148416 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy2_true-termination_true-no-overflow.c unknown 7.06 7.27 167723008 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-loops_true-termination_true-no-overflow.c unknown 6.90 7.00 171622400 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-nestedLoop_true-termination_true-no-overflow.c unknown 6.83 7.13 168140800 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random1d_true-termination_true-no-overflow.c unknown 4.91 5.25 168603648 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random2d_true-termination_true-no-overflow.c unknown 7.01 7.13 193261568 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi2_true-termination_true-no-overflow.c unknown 4.59 4.92 187736064 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi3_true-termination_true-no-overflow.c unknown 6.79 6.93 172273664 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi4_true-termination_true-no-overflow.c unknown 6.60 6.97 167587840 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-wcet2_true-termination_true-no-overflow.c unknown 4.95 5.22 169172992 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-while2_true-termination_true-no-overflow.c unknown 4.58 4.89 166768640 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-wise_true-termination_true-no-overflow.c unknown 6.58 6.87 163586048 -
termination-crafted-lit/Avery-FLOPS2006-Table1_true-termination_true-no-overflow.c unknown 7.01 7.39 172007424 -
termination-crafted-lit/BradleyMannaSipma-CAV2005-Fig1-modified_false-termination_true-no-overflow.c unknown 6.88 7.13 170565632 -
termination-crafted-lit/BradleyMannaSipma-CAV2005-Fig1_true-termination_true-no-overflow.c unknown 6.03 6.30 170184704 -
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Fig1_true-termination_true-no-overflow.c unknown 6.62 6.91 168013824 -
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Fig9a_true-termination_true-no-overflow.c unknown 6.86 6.96 170704896 -
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Introduction_true-termination_true-no-overflow.c unknown 6.69 6.76 173240320 -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-easy1_true-termination_true-no-overflow.c unknown 4.72 5.03 168534016 -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-easy2_true-termination_true-no-overflow.c unknown 4.83 5.17 169807872 -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-random1d_true-termination_true-no-overflow.c unknown 6.09 6.31 169967616 -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-random2d_true-termination_true-no-overflow.c unknown 5.92 5.99 169107456 -
termination-crafted-lit/ChenCookFuhsNimkarOHearn-TACAS2014-Introduction_false-termination_true-no-overflow.c unknown 6.72 7.12 166752256 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.20_true-termination_true-no-overflow.c unknown 6.13 6.27 182120448 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.01_true-termination_true-no-overflow.c unknown 6.56 6.77 172056576 -
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig1_true-termination_true-no-overflow.c unknown 7.02 7.30 168849408 -
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig7a_true-termination_true-no-overflow.c unknown 6.74 7.11 167960576 -
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig7b_true-termination_true-no-overflow.c unknown 4.97 5.24 168648704 -
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8a-modified_true-termination_true-no-overflow.c unknown 6.55 6.84 172048384 -
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8a_true-termination_true-no-overflow.c unknown 7.09 7.34 169308160 -
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8b_true-termination_true-no-overflow.c unknown 6.84 7.04 170090496 -
termination-crafted-lit/GopanReps-CAV2006-Fig1a_true-termination_true-no-overflow.c.c unknown 6.88 6.99 169132032 -
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig1_true-termination_true-no-overflow.c unknown 4.97 5.33 166629376 -
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig3_true-termination_true-no-overflow.c unknown 6.68 6.85 170340352 -
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig1_true-termination_true-no-overflow.c unknown 7.03 7.29 169447424 -
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig4_true-termination_true-no-overflow.c unknown 7.13 7.57 172089344 -
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig5_true-termination_true-no-overflow.c unknown 7.12 7.26 171036672 -
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig6_true-termination_true-no-overflow.c unknown 7.18 7.27 170831872 -
termination-crafted-lit/HenzingerJhalaMajumdarSutre-POPL2002-LockingExample_false-termination_true-no-overflow.c unknown 6.75 6.92 168013824 -
termination-crafted-lit/KroeningSharyginaTsitovichWintersteiger-CAV2010-Ex_true-termination_true-no-overflow.c unknown 7.03 7.21 169152512 -
termination-crafted-lit/KroeningSharyginaTsitovichWintersteiger-CAV2010-Fig1_true-termination_true-no-overflow.c unknown 6.93 6.99 171491328 -
termination-crafted-lit/LarrazOliverasRodriguez-CarbonellRubio-FMCAD2013-Fig1_true-termination_true-no-overflow.c unknown 4.78 5.02 169533440 -
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex4_true-termination_true-no-overflow.c unknown 4.81 5.10 167976960 -
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex5_true-termination_true-no-overflow.c unknown 6.95 7.17 167890944 -
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex1_true-termination_true-no-overflow.c unknown 6.81 7.06 167526400 -
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex9_true-termination_true-no-overflow.c unknown 4.74 5.06 168685568 -
termination-crafted-lit/LeikeHeizmann-WST2014-Ex9_true-termination_true-no-overflow.c unknown 6.78 7.08 166658048 -
termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig1_true-termination_true-no-overflow.c unknown 6.95 7.25 169816064 -
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig1_true-termination_true-no-overflow.c unknown 7.00 7.32 168345600 -
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig2_true-termination_true-no-overflow.c unknown 7.06 7.12 174452736 -
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig4_true-termination_true-no-overflow.c unknown 6.76 6.94 169521152 -
termination-crafted-lit/Urban-WST2013-Fig1_false-termination_true-no-overflow.c unknown 6.88 6.97 174092288 -
termination-crafted-lit/Urban-WST2013-Fig2-modified1000_true-termination_true-no-overflow.c unknown 6.85 6.91 169562112 -
termination-crafted-lit/Urban-WST2013-Fig2_true-termination_true-no-overflow.c unknown 6.54 6.83 167890944 -
termination-crafted-lit/UrbanMine-ESOP2014-Fig3_true-termination_true-no-overflow.c unknown 7.03 7.33 171544576 -
termination-crafted-lit/Velroyen_false-termination_true-no-overflow.c unknown 7.08 7.21 169426944 -
termination-crafted-lit/aviad_true-termination_true-no-overflow.c unknown 7.43 7.49 172974080 -
termination-crafted-lit/cstrcmp_true-termination_true-no-overflow.c unknown 5.17 5.24 174018560 -
termination-crafted-lit/cstrcspn_true-termination_true-no-overflow.c unknown 7.07 7.17 170995712 -
termination-crafted-lit/cstrlen_true-termination_true-no-overflow.c unknown 6.84 6.98 171618304 -
termination-crafted-lit/cstrpbrk_true-termination_true-no-overflow.c unknown 7.12 7.38 169177088 -
termination-crafted-lit/cstrspn_true-termination_true-no-overflow.c unknown 5.26 5.58 184229888 -
termination-crafted-lit/genady_true-termination_true-no-overflow.c unknown 6.97 7.20 186556416 -
termination-crafted-lit/strchr_true-no-overflow_true-termination.c unknown 7.18 7.24 174071808 -
termination-numeric/Addition01_false-no-overflow.c unknown 4.87 5.36 166658048 -
termination-numeric/Avg_true_false-no-overflow.c unknown 6.99 7.30 166428672 -
termination-numeric/Binomial_true-termination_false-no-overflow.c unknown 7.22 7.49 171405312 -
termination-numeric/Et1_true_false-no-overflow.c unknown 7.08 7.28 170147840 -
termination-numeric/Et2_true_false-no-overflow.c unknown 6.97 7.11 171159552 -
termination-numeric/Et3_true_false-no-overflow.c unknown 7.00 7.18 167854080 -
termination-numeric/Et4_true_false-no-overflow.c unknown 7.23 7.30 173522944 -
termination-numeric/MultCommutative_false-no-overflow.c unknown 4.88 4.98 169263104 -
termination-numeric/TerminatorRec02_true-termination_false-no-overflow.c unknown 7.08 7.15 168472576 -
termination-numeric/Ackermann01_true-termination_true-no-overflow.c unknown 6.94 7.21 167964672 -
termination-numeric/EvenOdd01_true-termination_true-no-overflow.c unknown 6.99 7.22 169177088 -
termination-numeric/Fibonacci01_true-termination_true-no-overflow.c unknown 7.09 7.36 169922560 -
termination-numeric/LeUserDefRec_true-termination_true-no-overflow.c unknown 5.07 5.17 168644608 -
termination-numeric/LogRecursive_true-termination_true-no-overflow.c unknown 7.07 7.26 170573824 -
termination-numeric/Parts_true-termination_true-no-overflow.c unknown 6.82 7.02 166629376 -
termination-numeric/TwoWay_true-termination_true-no-overflow.c unknown 6.78 6.84 171757568 -
termination-numeric/gcd01_true-termination_true-no-overflow.c unknown 6.91 6.97 176205824 -
termination-numeric/java_LogBuiltIn_true-termination_true-no-overflow.c unknown 7.06 7.22 168538112 -
termination-numeric/recHanoi02_true-termination_true-no-overflow.c unknown 6.89 7.09 166375424 -
termination-numeric/rec_counter1_true-termination_true-no-overflow.c unknown 6.69 6.77 169144320 -
termination-numeric/rec_counter3_true-termination_true-no-overflow.c unknown 6.92 7.18 168656896 -
termination-numeric/twisted_true-termination_true-no-overflow.c unknown 6.81 6.86 171032576 -
busybox-1.22.0/chgrp-incomplete_false-no-overflow.i unknown 6.93 7.31 207650816 -
busybox-1.22.0/chroot-incomplete_false-no-overflow.i unknown 7.35 7.76 213217280 -
busybox-1.22.0/cut_false-no-overflow.i unknown 7.73 8.09 227201024 -
busybox-1.22.0/date_false-no-overflow.i unknown 11.2  11.7  222441472 -
busybox-1.22.0/du_false-no-overflow.i unknown 11.6  12.2  222089216 -
busybox-1.22.0/echo_false-no-overflow.i unknown 10.7  10.8  211382272 -
busybox-1.22.0/expand_false-no-overflow.i unknown 10.8  10.9  219062272 -
busybox-1.22.0/fold_false-no-overflow.i unknown 11.6  12.1  225431552 -
busybox-1.22.0/head_false-no-overflow.i unknown 11.1  11.7  210747392 -
busybox-1.22.0/logname_false-no-overflow.i unknown 10.2  10.3  210558976 -
busybox-1.22.0/ls-incomplete_false-no-overflow.i error: exception 12.9  13.4  231407616 -
busybox-1.22.0/mkdir_false-no-overflow.i unknown 11.5  11.6  221057024 -
busybox-1.22.0/mkfifo-incomplete_false-no-overflow.i unknown 10.6  10.8  199778304 -
busybox-1.22.0/od_false-no-overflow.i unknown 12.5  13.0  239149056 -
busybox-1.22.0/printf_false-no-overflow.i unknown 7.18 7.53 219328512 -
busybox-1.22.0/readlink_false-no-overflow.i unknown 9.94 10.0  214937600 -
busybox-1.22.0/realpath_false-no-overflow.i unknown 10.8  10.9  208982016 -
busybox-1.22.0/rm_false-no-overflow.i unknown 12.0  12.5  224702464 -
busybox-1.22.0/seq_false-no-overflow.i unknown 10.4  10.6  212774912 -
busybox-1.22.0/sleep_false-no-overflow.i unknown 11.1  11.2  212557824 -
busybox-1.22.0/stty_false-no-overflow.i unknown 12.6  12.9  294301696 -
busybox-1.22.0/sync_false-no-overflow.i unknown 10.0  10.1  204300288 -
busybox-1.22.0/tac_false-no-overflow.i unknown 10.8  10.9  212856832 -
busybox-1.22.0/tee_false-no-overflow.i unknown 10.8  11.2  217190400 -
busybox-1.22.0/test-incomplete_false-no-overflow.i unknown 11.6  12.1  221929472 -
busybox-1.22.0/touch_false-no-overflow.i unknown 11.6  11.8  223010816 -
busybox-1.22.0/uname_false-no-overflow.i unknown 10.7  10.8  231931904 -
busybox-1.22.0/uniq_false-no-overflow.i unknown 10.7  11.2  226852864 -
busybox-1.22.0/usleep_false-no-overflow.i unknown 7.04 7.33 212131840 -
busybox-1.22.0/uudecode_false-no-overflow.i unknown 7.68 7.99 227999744 -
busybox-1.22.0/wc_false-no-overflow.i unknown 7.49 7.74 215371776 -
busybox-1.22.0/who_false-no-overflow.i unknown 7.51 7.72 218607616 -
busybox-1.22.0/whoami-incomplete_false-no-overflow.i unknown 9.94 10.1  203747328 -
busybox-1.22.0/yes_false-no-overflow.i unknown 10.2  10.3  233472000 -
termination-restricted-15/DivMinus2_true-termination_true-no-overflow.c unknown 6.99 7.14 169246720 -
termination-restricted-15/DivMinus_true-termination_true-no-overflow.c unknown 6.99 7.36 170102784 -
termination-restricted-15/GCD3_true-termination_true-no-overflow.c unknown 6.84 6.91 168919040 -
termination-restricted-15/GCD4_true-termination_true-no-overflow.c unknown 7.15 7.22 167723008 -
termination-restricted-15/IntPath_true-termination_true-no-overflow.c unknown 6.52 6.81 165482496 -
termination-restricted-15/LogAG_true-termination_true-no-overflow.c unknown 7.37 7.86 170893312 -
termination-restricted-15/Log_true-termination_true-no-overflow.c unknown 6.58 6.82 168210432 -
termination-restricted-15/McCarthyIterative_true-termination_true-no-overflow.c unknown 6.82 7.07 165609472 -
termination-restricted-15/MinusBuiltIn_true-termination_true-no-overflow.c unknown 7.04 7.26 168939520 -
termination-restricted-15/MinusUserDefined_true-termination_true-no-overflow.c unknown 6.72 7.04 168775680 -
termination-restricted-15/Nested_true-termination_true-no-overflow.c unknown 7.23 7.29 168726528 -
termination-restricted-15/PastaA10_true-termination_true-no-overflow.c unknown 6.90 7.25 173068288 -
termination-restricted-15/PastaA1_true-termination_true-no-overflow.c unknown 4.73 5.04 166813696 -
termination-restricted-15/PastaA4_true-termination_true-no-overflow.c unknown 7.05 7.27 171638784 -
termination-restricted-15/PastaA7_true-termination_true-no-overflow.c unknown 4.92 5.23 170397696 -
termination-restricted-15/PastaB14_true-termination_true-no-overflow.c unknown 4.95 5.29 166834176 -
termination-restricted-15/PastaB15_true-termination_true-no-overflow.c unknown 7.30 7.35 182816768 -
termination-restricted-15/PastaB16_true-termination_true-no-overflow.c unknown 6.86 7.11 171634688 -
termination-restricted-15/PastaB17_true-termination_true-no-overflow.c unknown 4.68 5.02 166408192 -
termination-restricted-15/PastaB1_true-termination_true-no-overflow.c unknown 7.20 7.29 166887424 -
termination-restricted-15/PastaB2_true-termination_true-no-overflow.c unknown 4.83 5.00 169558016 -
termination-restricted-15/PastaB4_true-termination_true-no-overflow.c unknown 4.80 4.94 170364928 -
termination-restricted-15/PastaB6_true-termination_true-no-overflow.c unknown 7.14 7.22 168476672 -
termination-restricted-15/PastaB7_true-termination_true-no-overflow.c unknown 4.85 5.17 170835968 -
termination-restricted-15/PastaC3_true-termination_true-no-overflow.c unknown 6.68 6.73 168648704 -
termination-restricted-15/PastaC7_true-termination_true-no-overflow.c unknown 6.95 7.02 182542336 -
termination-restricted-15/PastaC9_true-termination_true-no-overflow.c unknown 6.67 6.85 168914944 -
termination-restricted-15/Sequence_true-termination_true-no-overflow.c unknown 7.13 7.25 174653440 -
termination-restricted-15/WhileDecr_true-termination_true-no-overflow.c unknown 6.49 6.79 165879808 -
termination-restricted-15/a.01_true-termination_true-no-overflow.c unknown 6.66 6.73 171499520 -
termination-restricted-15/a.04_true-termination_true-no-overflow.c unknown 6.73 6.81 168865792 -
termination-restricted-15/a.05_true-termination_true-no-overflow.c unknown 6.89 7.44 170844160 -
termination-restricted-15/a.06_true-termination_true-no-overflow.c unknown 7.30 7.38 168235008 -
termination-restricted-15/a.07_true-termination_true-no-overflow.c unknown 6.75 7.06 167202816 -
termination-restricted-15/a.08_true-termination_true-no-overflow.c unknown 6.98 7.22 166572032 -
termination-restricted-15/a.09_assume_true-termination_true-no-overflow.c unknown 7.34 7.52 171896832 -
termination-restricted-15/a.10_true-termination.c unknown 7.08 7.33 172601344 -
termination-restricted-15/b.01_true-termination_true-no-overflow.c unknown 4.82 5.14 168366080 -
termination-restricted-15/b.02_true-termination_true-no-overflow.c unknown 6.84 7.14 170983424 -
termination-restricted-15/b.03-no-inv_assume_true-termination_true-no-overflow.c unknown 6.68 6.94 166830080 -
termination-restricted-15/b.03_assume_true-termination_true-no-overflow.c unknown 7.16 7.24 174997504 -
termination-restricted-15/b.04_true-termination_true-no-overflow.c unknown 6.81 7.07 168620032 -
termination-restricted-15/b.05_true-termination_true-no-overflow.c unknown 6.87 6.93 168267776 -
termination-restricted-15/b.06_true-termination_true-no-overflow.c unknown 6.83 6.96 171667456 -
termination-restricted-15/b.07_true-termination_true-no-overflow.c unknown 7.18 7.38 168669184 -
termination-restricted-15/b.09-no-inv_assume_true-termination_true-no-overflow.c unknown 6.93 7.15 175972352 -
termination-restricted-15/b.09_assume_true-termination_true-no-overflow.c unknown 6.84 6.89 172290048 -
termination-restricted-15/b.10_true-termination_true-no-overflow.c unknown 6.93 7.17 169553920 -
termination-restricted-15/b.11_true-termination_true-no-overflow.c unknown 4.95 5.23 170295296 -
termination-restricted-15/b.12_true-termination_true-no-overflow.c unknown 4.79 5.02 170684416 -
termination-restricted-15/b.13_true-termination_true-no-overflow.c unknown 5.00 5.30 167698432 -
termination-restricted-15/b.14_true-termination_true-no-overflow.c unknown 4.79 5.11 168800256 -
termination-restricted-15/b.15_true-termination_true-no-overflow.c unknown 7.18 7.24 169095168 -
termination-restricted-15/b.16_true-termination_true-no-overflow.c unknown 6.69 6.75 168583168 -
termination-restricted-15/b.17_true-termination_true-no-overflow.c unknown 6.83 7.08 168013824 -
termination-restricted-15/b.18_true-termination_true-no-overflow.c unknown 6.88 7.10 167952384 -
termination-restricted-15/c.01-no-inv_true-termination_true-no-overflow.c unknown 6.75 6.94 167211008 -
termination-restricted-15/c.01_assume_true-termination_true-no-overflow.c unknown 6.90 7.17 169967616 -
termination-restricted-15/c.02_true-termination_true-no-overflow.c unknown 6.93 7.23 166649856 -
termination-restricted-15/c.03_true-termination_true-no-overflow.c unknown 7.01 7.23 170319872 -
termination-restricted-15/c.07_true-termination_true-no-overflow.c unknown 6.97 7.17 172662784 -
termination-restricted-15/c.08_true-termination_true-no-overflow.c unknown 7.07 7.52 174522368 -
termination-restricted-15/ex3a_true-termination_true-no-overflow.c unknown 6.82 7.08 173637632 -
termination-restricted-15/ex3b_true-termination_true-no-overflow.c unknown 6.77 7.20 187887616 -
termination-restricted-15/java_AG313_true-termination_true-no-overflow.c unknown 6.87 7.03 170446848 -
termination-restricted-15/java_Break_true-termination_true-no-overflow.c unknown 7.09 7.42 170311680 -
termination-restricted-15/java_Continue1_true-termination_true-no-overflow.c unknown 6.47 6.64 168669184 -
termination-restricted-15/java_Nested_true-termination_true-no-overflow.c unknown 7.05 7.37 172089344 -
termination-restricted-15/java_Sequence_true-termination_true-no-overflow.c unknown 7.22 7.43 172851200 -
termination-restricted-15/AlternKonv_false-termination_true-no-overflow.c unknown 6.77 7.03 165994496 -
termination-restricted-15/ComplInterv2_false-termination_true-no-overflow.c unknown 6.66 6.98 167747584 -
termination-restricted-15/ConvLower_false-termination_true-no-overflow.c unknown 6.87 7.23 166780928 -
termination-restricted-15/Ex02_false-termination_true-no-overflow.c unknown 6.71 7.03 168742912 -
termination-restricted-15/Ex03_false-termination_true-no-overflow.c unknown 7.05 7.36 172101632 -
termination-restricted-15/Ex05_false-termination_true-no-overflow.c unknown 7.03 7.22 167342080 -
termination-restricted-15/Ex06_false-termination_true-no-overflow.c unknown 4.88 5.12 170065920 -
termination-restricted-15/Ex07_false-termination_true-no-overflow.c unknown 4.98 5.20 169922560 -
termination-restricted-15/Ex08_false-termination_true-no-overflow.c unknown 4.73 5.05 168374272 -
termination-restricted-15/Flip2_false-termination_true-no-overflow.c unknown 6.85 7.00 168742912 -
termination-restricted-15/Flip_false-termination_true-no-overflow.c unknown 4.86 5.14 169074688 -
termination-restricted-15/GCD2_false-termination_true-no-overflow.c unknown 6.86 7.11 167170048 -
termination-restricted-15/GCD_false-termination_true-no-overflow.c unknown 6.86 6.92 169943040 -
termination-restricted-15/Loop_false-termination_true-no-overflow.c unknown 6.85 7.08 170512384 -
termination-restricted-15/MirrorIntervSim_false-termination_true-no-overflow.c unknown 6.82 6.87 171716608 -
termination-restricted-15/NO_00_false-termination_true-no-overflow.c unknown 6.61 6.78 169476096 -
termination-restricted-15/NO_01_false-termination_true-no-overflow.c unknown 7.00 7.26 190275584 -
termination-restricted-15/NO_02_false-termination_true-no-overflow.c unknown 7.09 7.15 166375424 -
termination-restricted-15/NO_03_false-termination_true-no-overflow.c unknown 6.92 6.97 169959424 -
termination-restricted-15/NO_04_false-termination_true-no-overflow.c unknown 7.12 7.52 189997056 -
termination-restricted-15/NO_13_false-termination_true-no-overflow.c unknown 4.94 5.24 168448000 -
termination-restricted-15/NO_21_false-termination_true-no-overflow.c unknown 6.79 7.00 167170048 -
termination-restricted-15/NO_22_false-termination_true-no-overflow.c unknown 4.83 5.15 167084032 -
termination-restricted-15/NO_23_false-termination_true-no-overflow.c unknown 6.57 6.63 170627072 -
termination-restricted-15/NO_24_false-termination_true-no-overflow.c unknown 6.92 7.16 170901504 -
termination-restricted-15/NarrowKonv_false-termination_true-no-overflow.c unknown 7.07 7.24 171282432 -
termination-restricted-15/Narrowing_false-termination_true-no-overflow.c unknown 4.63 5.00 168349696 -
termination-restricted-15/Sunset_false-termination_true-no-overflow.c unknown 6.90 7.22 167723008 -
termination-restricted-15/Swingers_false-termination_true-no-overflow.c unknown 6.70 6.90 170401792 -
termination-restricted-15/TwoFloatInterv_false-termination_true-no-overflow.c unknown 7.07 7.29 169934848 -
termination-restricted-15/UpAndDownIneq_false-termination_true-no-overflow.c unknown 6.83 7.06 169689088 -
termination-restricted-15/UpAndDown_false-termination_true-no-overflow.c unknown 7.25 7.48 176799744 -
termination-restricted-15/WhilePart_false-termination_true-no-overflow.c unknown 6.98 7.38 172244992 -
termination-restricted-15/WhileSingle_false-termination_true-no-overflow.c unknown 7.06 7.13 190128128 -
termination-libowfat/atoi_true-termination.c.i unknown 8.32 8.62 214208512 -
termination-libowfat/atol_true-termination.c.i unknown 8.62 8.76 202498048 -
termination-libowfat/atoll_true-termination.c.i unknown 5.79 5.83 217939968 -
termination-libowfat/basename_true-termination.c.i unknown 8.77 8.99 199520256 -
termination-libowfat/build_fullname_true-termination.c.i unknown 7.92 8.30 190164992 -
termination-libowfat/dirname_true-termination.c.i unknown 5.51 5.72 198377472 -
termination-libowfat/skip_to_true-termination.c.i unknown 5.74 5.79 197623808 -
termination-libowfat/stpcpy_true-termination.c.i unknown 5.45 5.66 197742592 -
termination-libowfat/strcasecmp_true-termination.c.i unknown 8.03 8.53 199286784 -
termination-libowfat/strcat_short_true-termination.c.i unknown 7.82 8.26 195739648 -
termination-libowfat/strcat_true-termination.c.i unknown 7.88 7.96 189943808 -
termination-libowfat/strchr_short_true-termination.c.i unknown 7.76 7.97 196542464 -
termination-libowfat/strchr_true-termination.c.i unknown 8.35 8.48 198365184 -
termination-libowfat/strcmp_short_true-termination.c.i unknown 8.08 8.58 197279744 -
termination-libowfat/strcpy_small_true-termination.c.i unknown 8.52 8.75 190304256 -
termination-libowfat/strcspn_true-termination.c.i unknown 7.66 8.28 197136384 -
termination-libowfat/strdup_true-termination.c.i unknown 8.13 8.23 191049728 -
termination-libowfat/strlcat_true-termination.c.i unknown 8.17 8.51 220139520 -
termination-libowfat/strlcpy_true-termination.c.i unknown 5.86 5.91 207040512 -
termination-libowfat/strlen_true-termination.c.i unknown 8.03 8.39 201441280 -
termination-libowfat/strpbrk_true-termination.c.i unknown 8.02 8.54 197718016 -
termination-libowfat/strrchr_short_true-termination.c.i unknown 7.94 8.09 192745472 -
termination-libowfat/strrchr_true-termination.c.i unknown 8.06 8.60 199634944 -
termination-libowfat/strspn_true-termination.c.i unknown 8.27 8.70 208719872 -
termination-libowfat/strstr_true-termination.c.i unknown 7.97 8.41 201351168 -
termination-libowfat/strtok_r_true-termination.c.i unknown 8.04 8.13 195342336 -
termination-libowfat/strtol_true-termination.c.i unknown 8.38 8.81 217796608 -
termination-libowfat/strtoul_true-termination.c.i unknown 8.09 8.61 194600960 -
termination-libowfat/strtoull_true-termination.c.i unknown 8.18 8.67 192122880 -
termination-libowfat/wcsrchr_true-termination.c.i unknown 8.12 8.63 197488640 -
termination-libowfat/wcsstr_true-termination.c.i unknown 8.14 8.24 184369152 -
termination-memory-alloca/Urban-2013WST-Fig1-alloca_false-termination.c.i unknown 8.54 8.75 199323648 -
termination-memory-alloca/Velroyen-alloca_false-termination.c.i unknown 5.54 5.59 196530176 -
termination-memory-alloca/Avery-2006FLOPS-Tabel1_true-alloca_true-termination.c.i unknown 5.89 5.94 199294976 -
termination-memory-alloca/Ben-Amram-2010LMCS-Ex2.3-alloca_true-termination.c.i unknown 5.87 5.91 194375680 -
termination-memory-alloca/BrockschmidtCookFuhs-2013CAV-Fig1-alloca_true-termination.c.i unknown 7.89 7.96 189464576 -
termination-memory-alloca/BrockschmidtCookFuhs-2013CAV-Introduction-alloca_true-termination.c.i unknown 5.59 5.73 198279168 -
termination-memory-alloca/ChenFlurMukhopadhyay-2012SAS-Fig1-alloca_true-termination.c.i unknown 8.43 8.78 197894144 -
termination-memory-alloca/CookSeeZuleger-2013TACAS-Fig3-alloca_true-termination.c.i unknown 8.36 8.53 200523776 -
termination-memory-alloca/CookSeeZuleger-2013TACAS-Fig7a-alloca_true-termination.c.i unknown 8.18 8.72 189337600 -
termination-memory-alloca/CookSeeZuleger-2013TACAS-Fig7b-alloca_true-termination.c.i unknown 8.16 8.66 194428928 -
termination-memory-alloca/GulwaniJainKoskinen-2009PLDI-Fig1-alloca_true-termination.c.i unknown 7.73 7.79 192864256 -
termination-memory-alloca/HarrisLalNoriRajamani-2010SAS-Fig1-alloca_true-termination.c.i unknown 7.74 7.93 196349952 -
termination-memory-alloca/HarrisLalNoriRajamani-2010SAS-Fig3-alloca_true-termination.c.i unknown 8.05 8.61 196931584 -
termination-memory-alloca/KroeningSharyginaTsitovichWintersteiger-2010CAV-Fig1-alloca_true-termination.c.i unknown 8.09 8.25 194035712 -
termination-memory-alloca/Masse-alloca_true-termination.c.i unknown 8.16 8.35 195424256 -
termination-memory-alloca/NoriSharma-2013FSE-Fig7-alloca_true-termination.c.i unknown 8.24 8.41 188985344 -
termination-memory-alloca/NoriSharma-2013FSE-Fig8-alloca_true-termination.c.i unknown 8.14 8.35 195948544 -
termination-memory-alloca/TelAviv-Amir-Minimum-alloca_true-termination.c.i unknown 7.84 7.98 196775936 -
termination-memory-alloca/Toulouse-BranchesToLoop-alloca_true-termination.c.i unknown 8.21 8.42 200097792 -
termination-memory-alloca/Toulouse-MultiBranchesToLoop-alloca_true-termination.c.i unknown 7.94 8.03 197758976 -
termination-memory-alloca/Urban-2013WST-Fig2-alloca_true-termination.c.i unknown 7.95 8.16 198160384 -
termination-memory-alloca/Urban-2013WST-Fig2-modified1000-alloca_true-termination.c.i unknown 7.57 8.15 196718592 -
termination-memory-alloca/Urban-alloca_true-termination.c.i unknown 8.17 8.26 197357568 -
termination-memory-alloca/a.01-alloca_true-termination_true-no-overflow.c.i unknown 5.73 5.89 195252224 -
termination-memory-alloca/a.04-alloca_true-termination_true-no-overflow.c.i unknown 7.95 8.52 189214720 -
termination-memory-alloca/a.05-alloca_true-termination_true-no-overflow.c.i unknown 7.86 8.41 190672896 -
termination-memory-alloca/a.06-alloca_true-termination_true-no-overflow.c.i unknown 5.37 5.55 193806336 -
termination-memory-alloca/a.07-alloca_true-termination_true-no-overflow.c.i unknown 8.35 8.49 197406720 -
termination-memory-alloca/a.08-alloca_true-termination_true-no-overflow.c.i unknown 5.58 5.72 196374528 -
termination-memory-alloca/a.09_assume-alloca_true-termination_true-no-overflow.c.i unknown 7.42 7.48 193912832 -
termination-memory-alloca/a.10-alloca_true-termination_true-no-overflow.c.i unknown 7.74 8.30 197373952 -
termination-memory-alloca/add_last-alloca_true-termination.c.i unknown 5.23 5.47 195534848 -
termination-memory-alloca/array01-alloca_true-termination.c.i unknown 8.14 8.48 200118272 -
termination-memory-alloca/array02-alloca_true-termination.c.i unknown 7.81 7.87 188239872 -
termination-memory-alloca/array03-alloca_true-termination.c.i unknown 7.68 7.77 199139328 -
termination-memory-alloca/aviad_true-alloca_true-termination.c.i unknown 5.69 5.73 200507392 -
termination-memory-alloca/b.01-alloca_true-termination_true-no-overflow.c.i unknown 7.67 7.74 208891904 -
termination-memory-alloca/b.02-alloca_true-termination_true-no-overflow.c.i unknown 5.50 5.55 198877184 -
termination-memory-alloca/b.03-no-inv_assume-alloca_true-termination_true-no-overflow.c.i unknown 7.96 8.46 199340032 -
termination-memory-alloca/b.03_assume-alloca_true-termination_true-no-overflow.c.i unknown 7.85 8.00 193675264 -
termination-memory-alloca/b.04-alloca_true-termination_true-no-overflow.c.i unknown 7.91 8.23 230113280 -
termination-memory-alloca/b.05-alloca_true-termination_true-no-overflow.c.i unknown 5.82 5.86 199663616 -
termination-memory-alloca/b.06-alloca_true-termination_true-no-overflow.c.i unknown 7.93 8.02 187146240 -
termination-memory-alloca/b.07-alloca_true-termination_true-no-overflow.c.i unknown 8.47 8.65 191184896 -
termination-memory-alloca/b.09-no-inv_assume-alloca_true-termination_true-no-overflow.c.i unknown 8.02 8.25 194695168 -
termination-memory-alloca/b.09_assume-alloca_true-termination_true-no-overflow.c.i unknown 8.31 8.40 188944384 -
termination-memory-alloca/b.10-alloca_true-termination_true-no-overflow.c.i unknown 7.90 8.00 186703872 -
termination-memory-alloca/b.11-alloca_true-termination_true-no-overflow.c.i unknown 8.15 8.41 195538944 -
termination-memory-alloca/b.12-alloca_true-termination_true-no-overflow.c.i unknown 7.94 8.38 199442432 -
termination-memory-alloca/b.13-alloca_true-termination_true-no-overflow.c.i unknown 7.99 8.09 191963136 -
termination-memory-alloca/b.14-alloca_true-termination_true-no-overflow.c.i unknown 8.38 8.73 199192576 -
termination-memory-alloca/b.15-alloca_true-termination_true-no-overflow.c.i unknown 7.99 8.07 194850816 -
termination-memory-alloca/b.16-alloca_true-termination_true-no-overflow.c.i unknown 7.94 8.48 196820992 -
termination-memory-alloca/b.17-alloca_true-termination_true-no-overflow.c.i unknown 5.45 5.98 198795264 -
termination-memory-alloca/b.18-alloca_true-termination_true-no-overflow.c.i unknown 7.98 8.50 201687040 -
termination-memory-alloca/bubblesort-alloca_true-termination.c.i unknown 7.93 8.36 197705728 -
termination-memory-alloca/c.01-no-inv-alloca_true-termination_true-no-overflow.c.i unknown 8.11 8.20 187375616 -
termination-memory-alloca/c.01_assume-alloca_true-termination_true-no-overflow.c.i unknown 8.36 8.57 197300224 -
termination-memory-alloca/c.02-alloca_true-termination_true-no-overflow.c.i unknown 8.00 8.06 199204864 -
termination-memory-alloca/c.03-alloca_true-termination_true-no-overflow.c.i unknown 7.91 8.02 192454656 -
termination-memory-alloca/c.07-alloca_true-termination_true-no-overflow.c.i unknown 8.26 8.61 204713984 -
termination-memory-alloca/c.08-alloca_true-termination_true-no-overflow.c.i unknown 8.26 8.48 201216000 -
termination-memory-alloca/count_down-alloca_true-termination.c.i unknown 5.79 5.97 196403200 -
termination-memory-alloca/cstrcat-alloca_true-termination.c.i unknown 5.79 5.83 195317760 -
termination-memory-alloca/cstrchr-alloca_true-termination.c.i unknown 8.23 8.50 197615616 -
termination-memory-alloca/cstrcmp-alloca_true-termination.c.i unknown 5.66 5.79 191291392 -
termination-memory-alloca/cstrcpy-alloca_true-termination.c.i unknown 5.71 5.89 197427200 -
termination-memory-alloca/cstrcspn-alloca_true-termination.c.i unknown 8.16 8.37 193277952 -
termination-memory-alloca/cstrlen-alloca_true-termination.c.i unknown 8.12 8.53 202215424 -
termination-memory-alloca/cstrncat-alloca_true-termination.c.i unknown 8.19 8.45 198942720 -
termination-memory-alloca/cstrncmp-alloca_true-termination.c.i unknown 7.97 8.19 197636096 -
termination-memory-alloca/cstrncpy-alloca_true-termination.c.i unknown 8.02 8.48 192634880 -
termination-memory-alloca/cstrpbrk-alloca_true-termination.c.i unknown 8.11 8.54 193810432 -
termination-memory-alloca/cstrspn-alloca_true-termination.c.i unknown 8.35 8.68 199331840 -
termination-memory-alloca/diff-alloca_true-termination.c.i unknown 8.16 8.61 195571712 -
termination-memory-alloca/easySum-alloca_true-termination.c.i unknown 7.90 8.41 198189056 -
termination-memory-alloca/ex1-alloca_true-termination.c.i unknown 8.28 8.35 187355136 -
termination-memory-alloca/ex2-alloca_true-termination.c.i unknown 7.83 8.02 189972480 -
termination-memory-alloca/ex3a-alloca_true-termination_true-no-overflow.c.i unknown 7.85 8.34 199569408 -
termination-memory-alloca/ex3b-alloca_true-termination.c.i unknown 8.32 8.47 196714496 -
termination-memory-alloca/fermat-alloca_true-termination.c.i unknown 7.97 8.03 199688192 -
termination-memory-alloca/flag-alloca_true-termination.c.i unknown 8.19 8.68 194686976 -
termination-memory-alloca/gcd1-alloca_true-termination.c.i unknown 8.05 8.13 192331776 -
termination-memory-alloca/genady-alloca_true-termination.c.i unknown 7.89 7.97 189231104 -
termination-memory-alloca/insertionsort-alloca_true-termination.c.i unknown 8.52 8.71 190779392 -
termination-memory-alloca/java_AG313-alloca_true-termination.c.i unknown 8.57 8.75 196128768 -
termination-memory-alloca/java_Break-alloca_true-termination.c.i unknown 8.03 8.11 189599744 -
termination-memory-alloca/java_BubbleSort-alloca_true-termination.c.i unknown 5.54 5.58 193011712 -
termination-memory-alloca/java_Continue1-alloca_true-termination.c.i unknown 8.08 8.43 198500352 -
termination-memory-alloca/java_LogBuiltIn-alloca_true-termination.c.i unknown 8.26 8.53 202739712 -
termination-memory-alloca/java_Nested-alloca_true-termination.c.i unknown 5.70 5.75 211812352 -
termination-memory-alloca/java_Sequence-alloca_true-termination.c.i unknown 8.31 8.57 197971968 -
termination-memory-alloca/lis-alloca_true-termination.c.i unknown 5.63 5.68 208629760 -
termination-memory-alloca/min_rf-alloca_true-termination.c.i unknown 5.92 5.97 195530752 -
termination-memory-alloca/mult_array-alloca_true-termination.c.i unknown 8.14 8.21 199192576 -
termination-memory-alloca/openbsd_cbzero-alloca_true-termination.c.i unknown 5.67 5.72 196374528 -
termination-memory-alloca/openbsd_cmemchr-alloca_true-termination.c.i unknown 8.48 8.69 195870720 -
termination-memory-alloca/openbsd_cmemrchr-alloca_true-termination.c.i unknown 7.97 8.21 191582208 -
termination-memory-alloca/openbsd_cmemset-alloca_true-termination.c.i unknown 8.06 8.37 202772480 -
termination-memory-alloca/openbsd_cstpcpy-alloca_true-termination.c.i unknown 8.33 8.48 196710400 -
termination-memory-alloca/openbsd_cstpncpy-alloca_true-termination.c.i unknown 7.98 8.49 197505024 -
termination-memory-alloca/openbsd_cstrcat-alloca_true-termination.c.i unknown 7.89 8.40 228216832 -
termination-memory-alloca/openbsd_cstrcmp-alloca_true-termination.c.i unknown 8.28 8.58 198291456 -
termination-memory-alloca/openbsd_cstrcpy-alloca_true-termination.c.i unknown 7.90 8.15 188542976 -
termination-memory-alloca/openbsd_cstrcspn-alloca_true-termination.c.i unknown 7.95 8.14 191123456 -
termination-memory-alloca/openbsd_cstrlcpy-alloca_true-termination.c.i unknown 8.02 8.59 189976576 -
termination-memory-alloca/openbsd_cstrlen-alloca_true-termination.c.i unknown 7.77 7.99 189440000 -
termination-memory-alloca/openbsd_cstrncat-alloca_true-termination.c.i unknown 8.48 8.64 209813504 -
termination-memory-alloca/openbsd_cstrncmp-alloca_true-termination.c.i unknown 8.04 8.61 196046848 -
termination-memory-alloca/openbsd_cstrncpy-alloca_true-termination.c.i unknown 8.53 8.72 197099520 -
termination-memory-alloca/openbsd_cstrnlen-alloca_true-termination.c.i unknown 8.25 8.50 190021632 -
termination-memory-alloca/openbsd_cstrpbrk-alloca_true-termination.c.i unknown 5.76 5.81 196435968 -
termination-memory-alloca/openbsd_cstrspn-alloca_true-termination.c.i unknown 8.34 8.85 198369280 -
termination-memory-alloca/openbsd_cstrstr-alloca_true-termination.c.i unknown 8.45 8.73 208125952 -
termination-memory-alloca/rec_strlen-alloca_true-termination.c.i unknown 5.71 5.86 198483968 -
termination-memory-alloca/selectionsort-alloca_true-termination.c.i unknown 8.31 8.48 201764864 -
termination-memory-alloca/stroeder1-alloca_true-termination.c.i unknown 7.88 7.97 192999424 -
termination-memory-alloca/stroeder2-alloca_true-termination.c.i unknown 8.21 8.54 188817408 -
termination-memory-alloca/strreplace-alloca_true-termination.c.i unknown 5.45 5.49 199897088 -
termination-memory-alloca/subseq-alloca_true-termination.c.i unknown 8.27 8.73 198217728 -
termination-memory-alloca/substring-alloca_true-termination.c.i unknown 8.54 8.79 195776512 -
termination-memory-alloca/twisted-alloca_true-termination.c.i unknown 8.07 8.13 188551168 -
termination-memory-linkedlists/cll_by_lseg-alloca_false-termination.c.i unknown 5.45 5.61 199483392 -
termination-memory-linkedlists/cll_by_lseg_traverse-alloca_false-termination.c.i unknown 7.86 8.31 216903680 -
termination-memory-linkedlists/cll_search-alloca_false-termination.c.i unknown 5.85 5.88 189214720 -
termination-memory-linkedlists/cll_traverse-alloca_false-termination.c.i unknown 5.46 5.58 200867840 -
termination-memory-linkedlists/ll_append-alloca_false-termination.c.i unknown 5.55 5.68 196509696 -
termination-memory-linkedlists/ll_append_rec-alloca_false-termination.c.i unknown 8.00 8.18 202260480 -
termination-memory-linkedlists/ll_create_rec-alloca_false-termination.c.i unknown 7.94 8.49 195207168 -
termination-memory-linkedlists/nondet_ll_search-alloca_false-termination.c.i unknown 8.25 8.74 196558848 -
termination-memory-linkedlists/nondet_ll_traverse-alloca_false-termination.c.i unknown 8.23 8.77 192856064 -
termination-memory-linkedlists/cll_by_lseg-alloca_true-termination.c.i unknown 8.03 8.64 199036928 -
termination-memory-linkedlists/cll_search-alloca_true-termination.c.i unknown 8.14 8.34 195096576 -
termination-memory-linkedlists/ll_append-alloca_true-termination.c.i unknown 8.21 8.35 196968448 -
termination-memory-linkedlists/ll_append_rec-alloca_true-termination.c.i unknown 7.78 7.85 212967424 -
termination-memory-linkedlists/ll_create_rec-alloca_true-termination.c.i unknown 7.96 8.04 190566400 -
termination-memory-linkedlists/ll_search-alloca_true-termination.c.i unknown 7.94 8.49 193904640 -
termination-memory-linkedlists/ll_search_not_found-alloca_true-termination.c.i unknown 7.99 8.47 226865152 -
termination-memory-linkedlists/ll_traverse-alloca_true-termination.c.i unknown 7.86 8.93 188825600 -
termination-memory-linkedlists/nondet_ll_search-alloca_true-termination.c.i unknown 8.17 8.46 201650176 -
termination-15/add_first_alloca_true-termination.c.i unknown 8.13 8.22 201768960 -
termination-15/array05_alloca_true-termination.c.i unknown 8.29 8.87 192634880 -
termination-15/array06_alloca_true-termination.c.i unknown 8.35 8.91 196120576 -
termination-15/array07_alloca_true-termination.c.i unknown 7.99 8.05 195661824 -
termination-15/array08_alloca_true-termination.c.i unknown 8.07 8.55 202670080 -
termination-15/array09_alloca_true-termination.c.i unknown 8.33 8.39 203083776 -
termination-15/array10_alloca_true-termination.c.i unknown 8.22 8.73 198737920 -
termination-15/array12_alloca_true-termination.c.i unknown 5.50 5.73 205930496 -
termination-15/array13_alloca_true-termination.c.i unknown 8.40 8.60 203694080 -
termination-15/array16_alloca_fixed_true-termination.c.i unknown 8.26 8.38 197607424 -
termination-15/array17_alloca_true-termination.c.i unknown 8.43 8.68 206012416 -
termination-15/array18_alloca_true-termination.c.i unknown 5.93 6.10 205189120 -
termination-15/count_up_alloca_true-termination.c.i unknown 5.74 5.78 198483968 -
termination-15/count_up_and_down_alloca_true-termination.c.i unknown 5.68 5.72 199770112 -
termination-15/cstrcat_diffterm_alloca_true-termination.c.i unknown 8.13 8.20 207769600 -
termination-15/cstrcat_malloc_true-termination.c.i unknown 5.55 5.69 198955008 -
termination-15/cstrcat_mixed_alloca_true-termination.c.i unknown 8.07 8.56 203988992 -
termination-15/cstrcat_reverse_alloca_true-termination.c.i unknown 8.02 8.09 203714560 -
termination-15/cstrchr_diffterm_alloca_true-termination.c.i unknown 7.93 8.44 200200192 -
termination-15/cstrchr_malloc_true-termination.c.i unknown 8.33 8.66 205225984 -
termination-15/cstrchr_reverse_alloca_true-termination.c.i unknown 8.21 8.74 206004224 -
termination-15/cstrcmp_diffterm_alloca_true-termination.c.i unknown 7.91 7.97 199131136 -
termination-15/cstrcmp_malloc_true-termination.c.i unknown 8.47 8.58 202706944 -
termination-15/cstrcmp_mixed_alloca_true-termination.c.i unknown 8.77 9.04 192569344 -
termination-15/cstrcmp_reverse_alloca_true-termination.c.i unknown 8.69 8.87 196292608 -
termination-15/cstrcpy_diffterm_alloca_true-termination.c.i unknown 8.42 8.57 202711040 -
termination-15/cstrcpy_malloc_true-termination.c.i unknown 8.20 8.56 224415744 -
termination-15/cstrcpy_mixed_alloca_true-termination.c.i unknown 8.58 8.83 198619136 -
termination-15/cstrcpy_reverse_alloca_true-termination.c.i unknown 8.20 8.65 200904704 -
termination-15/cstrcspn_diffterm_alloca_true-termination.c.i unknown 8.30 8.37 197500928 -
termination-15/cstrcspn_malloc_true-termination.c.i unknown 8.29 8.43 204361728 -
termination-15/cstrcspn_mixed_alloca_true-termination.c.i unknown 8.61 8.85 208515072 -
termination-15/cstrcspn_reverse_alloca_true-termination.c.i unknown 8.97 9.22 216326144 -
termination-15/cstrlen_diffterm_alloca_true-termination.c.i unknown 8.10 8.18 198103040 -
termination-15/cstrlen_malloc_true-termination.c.i unknown 8.29 8.94 198209536 -
termination-15/cstrlen_reverse_alloca_true-termination.c.i unknown 5.68 5.73 202592256 -
termination-15/cstrncat_diffterm_alloca_true-termination.c.i unknown 5.78 5.90 206237696 -
termination-15/cstrncat_malloc_true-termination.c.i unknown 8.55 8.73 203399168 -
termination-15/cstrncat_mixed_alloca_true-termination.c.i unknown 5.64 5.82 197795840 -
termination-15/cstrncat_reverse_alloca_true-termination.c.i unknown 8.53 8.71 209784832 -
termination-15/cstrncmp_diffterm_alloca_true-termination.c.i unknown 8.11 8.52 222146560 -
termination-15/cstrncmp_malloc_true-termination.c.i unknown 7.85 8.01 193662976 -
termination-15/cstrncmp_mixed_alloca_true-termination.c.i unknown 6.01 6.05 203833344 -
termination-15/cstrncmp_reverse_alloca_true-termination.c.i unknown 8.58 8.72 204521472 -
termination-15/cstrncpy_diffterm_alloca_true-termination.c.i unknown 5.94 5.99 205168640 -
termination-15/cstrncpy_malloc_true-termination.c.i unknown 5.72 5.90 203317248 -
termination-15/cstrncpy_mixed_alloca_true-termination.c.i unknown 7.95 8.02 199958528 -
termination-15/cstrncpy_reverse_alloca_true-termination.c.i unknown 5.73 5.92 200257536 -
termination-15/cstrpbrk_diffterm_alloca_true-termination.c.i unknown 8.43 8.67 201646080 -
termination-15/cstrpbrk_malloc_true-termination.c.i unknown 8.42 8.49 206766080 -
termination-15/cstrpbrk_mixed_alloca_true-termination.c.i unknown 8.61 8.81 197713920 -
termination-15/cstrpbrk_reverse_alloca_true-termination.c.i unknown 8.27 8.62 206270464 -
termination-15/cstrspn_diffterm_alloca_true-termination.c.i unknown 8.29 8.48 201273344 -
termination-15/cstrspn_malloc_true-termination.c.i unknown 8.47 8.61 207278080 -
termination-15/cstrspn_mixed_alloca_true-termination.c.i unknown 8.13 8.63 208216064 -
termination-15/cstrspn_reverse_alloca_true-termination.c.i unknown 8.07 8.59 207163392 -
termination-15/array04_alloca_false-termination.c.i unknown 7.84 7.92 203214848 -
termination-15/array14_alloca_false-termination.c.i unknown 8.21 8.28 193400832 -
termination-15/array15_alloca_false-termination.c.i unknown 8.31 9.01 204005376 -
termination-15/array16_alloca_original_false-termination.c.i unknown 8.49 8.74 204795904 -
termination-15/array19_alloca_false-termination.c.i unknown 8.25 8.72 205582336 -
termination-15/array20_alloca_false-termination.c.i unknown 8.22 8.59 202944512 -
termination-recursive-malloc/chunk1_true-termination.c.i unknown 7.14 7.38 175026176 -
termination-recursive-malloc/chunk2_true-termination.c.i unknown 7.63 7.71 184705024 -
termination-recursive-malloc/chunk3_true-termination.c.i unknown 7.60 7.68 186707968 -
termination-recursive-malloc/insertionSort_recursive_true-termination.c.i unknown 7.34 7.53 170975232 -
termination-recursive-malloc/mergeSort_true-termination.c.i unknown 7.35 7.42 174002176 -
termination-recursive-malloc/mutual_simple2_true-termination.c.i unknown 4.86 5.15 169963520 -
termination-recursive-malloc/mutual_simple_true-termination.c.i unknown 7.32 7.38 173334528 -
termination-recursive-malloc/rec_malloc_ex10_true-termination.c.i unknown 7.10 7.16 174215168 -
termination-recursive-malloc/rec_malloc_ex11B_true-termination.c.i unknown 6.98 7.14 171794432 -
termination-recursive-malloc/rec_malloc_ex11C_true-termination.c.i unknown 4.87 5.15 171405312 -
termination-recursive-malloc/rec_malloc_ex11D_true-termination.c.i unknown 4.91 5.06 171438080 -
termination-recursive-malloc/rec_malloc_ex11_true-termination.c.i unknown 5.16 5.44 166793216 -
termination-recursive-malloc/rec_malloc_ex1_true-termination.c.i unknown 6.87 6.94 172670976 -
termination-recursive-malloc/rec_malloc_ex2_true-termination.c.i unknown 7.00 7.18 170856448 -
termination-recursive-malloc/rec_malloc_ex3_true-termination.c.i unknown 4.91 5.18 172535808 -
termination-recursive-malloc/rec_malloc_ex4_true-termination.c.i unknown 6.96 7.02 173740032 -
termination-recursive-malloc/rec_malloc_ex5B_true-termination.c.i unknown 6.99 7.17 171163648 -
termination-recursive-malloc/rec_malloc_ex5_true-termination.c.i unknown 6.91 6.95 181108736 -
termination-recursive-malloc/rec_malloc_ex6_true-termination.c.i unknown 7.04 7.26 168886272 -
termination-recursive-malloc/rec_malloc_ex7B_true-termination.c.i unknown 7.15 7.31 180879360 -
termination-recursive-malloc/rec_malloc_ex7_true-termination.c.i unknown 6.89 6.95 173645824 -
termination-recursive-malloc/rec_malloc_ex8_true-termination.c.i unknown 7.13 7.20 168923136 -
termination-recursive-malloc/rec_malloc_ex9_true-termination.c.i unknown 7.05 7.31 169816064 -
termination-recursive-malloc/rec_strcopy_malloc2_true-termination.c.i unknown 7.21 7.29 183214080 -
termination-recursive-malloc/rec_strcopy_malloc_true-termination.c.i unknown 7.09 7.15 188235776 -
termination-recursive-malloc/rec_strlen_malloc_true-termination.c.i unknown 7.25 7.32 180310016 -
termination-recursive-malloc/selectionSort_recursive_true-termination.c.i unknown 7.11 7.56 171474944 -
ssh-simplified/s3_clnt_3.cil_true-unreach-call_true-termination.c unknown 7.66 7.75 191348736 -
../../../trunk/examples/svcomp/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
total 747 5420 5600 139698515968 85 768 792 23347388416
    correct results 0 0
        correct true 0 0
        correct false 0 0
    incorrect results 0 0
        incorrect true 0 0
        incorrect false 0 0
Run set svcomp-translation-default.Default svcomp-translation-bitvector.Bitvector