Tool ULTIMATE Automizer 0.1.23-3204b741
Limits timelimit: 60 s, memlimit: 2000 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-09-13 15:51:36 CEST 2018-09-13 15:08:02 CEST
Run set svcomp-translation-bitvector.Bitvector svcomp-translation-default.Default
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
array-examples/standard_copy5_false-unreach-call_ground.i unknown 5.73 5.94 171687936 error (13) 4.19 4.42 141635584
array-examples/standard_init4_false-unreach-call_ground.i error (13) 4.69 4.73 143843328 unknown 5.90 6.08 173461504
array-examples/standard_init7_false-unreach-call_ground.i unknown 5.66 5.74 170459136 error (13) 4.37 4.45 141516800
array-examples/standard_partition_false-unreach-call_ground.i error (13) 4.54 4.59 143847424 unknown 5.80 6.17 173223936
array-examples/standard_running_false-unreach-call.i unknown 6.02 6.07 171413504 error (13) 4.35 4.45 142172160
array-examples/standard_copy7_true-unreach-call_ground.i error (13) 4.29 4.32 141651968 unknown 5.97 6.02 170336256
array-examples/standard_copy9_true-unreach-call_ground.i error (13) 4.62 4.67 141901824 unknown 5.95 6.01 174665728
array-industry-pattern/array_shadowinit_true-unreach-call_true-termination.i unknown 5.75 5.80 169799680 error (13) 4.59 4.78 143597568
reducercommutativity/avg20_true-unreach-call.i unknown 5.94 6.12 176181248 error (13) 4.57 4.62 142368768
reducercommutativity/sep20_true-unreach-call.i error (13) 4.70 4.74 143867904 unknown 5.88 5.92 173428736
array-tiling/revcpyswp2_true-unreach-call.i unknown 6.20 6.25 175751168 error (13) 4.59 4.63 142655488
bitvector/soft_float_1_true-unreach-call_true-no-overflow_true-termination.c.cil.c unknown 6.29 6.35 177369088 error (13) 4.28 4.31 141840384
bitvector-regression/signextension2_false-unreach-call_true-termination.c unknown 5.77 5.82 173948928 error (13) 4.62 4.66 143441920
bitvector-loops/verisec_sendmail__tTflag_arr_one_loop_false-unreach-call_true-termination.i unknown 5.89 5.94 170749952 error (13) 4.46 4.49 141664256
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 4.73 4.76 186753024 error (13) 4.34 4.39 141651968
ssh-simplified/s3_clnt_3_true-unreach-call_true-termination.cil.c error (13) 4.80 4.85 146137088 unknown 6.57 6.62 180527104
ssh/s3_srvr.blast.10_false-unreach-call.i.cil.c error (13) 4.63 4.83 146882560 unknown 7.24 7.28 189698048
eca-rers2012/Problem04_label36_false-unreach-call_false-termination.c unknown 9.08 9.14 399892480 error (13) 4.16 4.21 145629184
eca-rers2012/Problem09_label02_false-unreach-call.c out of memory 35.2  50.5  1999998976 unknown 45.0  45.1  1999290368
eca-rers2012/Problem09_label03_false-unreach-call.c out of memory 39.0  60.7  1999998976 unknown 45.0  45.1  1994129408
eca-rers2012/Problem09_label06_false-unreach-call.c out of memory 30.8  45.2  1999998976 unknown 44.4  44.5  1995358208
eca-rers2012/Problem09_label10_false-unreach-call.c out of memory 23.8  35.7  1999998976 unknown 40.0  40.1  1993961472
eca-rers2012/Problem09_label15_false-unreach-call.c out of memory 26.6  56.2  1999998976 unknown 37.5  37.6  1989959680
eca-rers2012/Problem09_label19_false-unreach-call.c out of memory 25.2  45.9  1999998976 unknown 31.5  31.5  1993957376
eca-rers2012/Problem09_label20_false-unreach-call.c out of memory 25.0  51.1  1999998976 unknown 50.6  50.7  1990684672
eca-rers2012/Problem09_label32_false-unreach-call.c out of memory 30.9  51.0  1999998976 unknown 32.9  33.0  1992617984
eca-rers2012/Problem09_label35_false-unreach-call.c out of memory 23.8  46.0  1999998976 unknown 43.8  43.9  1997369344
eca-rers2012/Problem09_label36_false-unreach-call.c out of memory 25.2  45.6  1999998976 unknown 41.3  41.5  1984495616
eca-rers2012/Problem09_label38_false-unreach-call.c out of memory 32.4  55.9  1999998976 unknown 47.0  47.1  1995034624
eca-rers2012/Problem09_label41_false-unreach-call.c out of memory 33.1  55.9  1999998976 unknown 48.7  48.9  1986207744
eca-rers2012/Problem09_label44_false-unreach-call.c out of memory 32.0  55.9  1999998976 unknown 53.9  54.1  1987575808
eca-rers2012/Problem09_label46_false-unreach-call.c out of memory 28.7  51.1  1999998976 unknown 46.9  47.1  1991585792
eca-rers2012/Problem09_label47_false-unreach-call.c out of memory 30.9  51.1  1999998976 unknown 51.7  51.8  1995812864
eca-rers2012/Problem09_label51_false-unreach-call.c out of memory 37.2  66.4  1999998976 unknown 51.1  51.4  1989435392
eca-rers2012/Problem09_label53_false-unreach-call.c out of memory 32.1  56.2  1999998976 unknown 50.7  50.9  1992503296
eca-rers2012/Problem09_label54_false-unreach-call.c out of memory 37.4  61.4  1999998976 unknown 54.0  54.5  1989554176
eca-rers2012/Problem09_label56_false-unreach-call.c out of memory 34.8  61.3  1999998976 unknown 53.7  54.1  1994547200
eca-rers2012/Problem09_label57_false-unreach-call.c out of memory 36.4  61.3  1999998976 unknown 32.3  32.3  1998864384
eca-rers2012/Problem09_label59_false-unreach-call.c out of memory 35.4  56.1  1999998976 error (13) 4.89 5.12 147435520
eca-rers2012/Problem14_label54_false-unreach-call_false-termination.c unknown 6.78 6.84 188747776 error (13) 4.44 4.48 143425536
eca-rers2012/Problem16_label00_false-unreach-call.c unknown 5.23 5.44 231243776 error (13) 4.44 4.49 145678336
eca-rers2012/Problem16_label01_false-unreach-call.c unknown 7.52 7.57 233906176 error (13) 4.65 4.69 144248832
eca-rers2012/Problem17_label25_false-unreach-call.c unknown 8.45 8.50 312422400 error (13) 4.53 4.57 143785984
eca-rers2012/Problem18_label36_false-unreach-call.c error (13) 4.48 4.52 143024128 unknown 8.78 8.83 325173248
eca-rers2012/Problem18_label38_false-unreach-call.c error (13) 4.46 4.51 141647872 unknown 5.72 5.75 329191424
eca-rers2012/Problem02_label57_true-unreach-call_false-termination.c unknown 7.06 7.12 185151488 error (13) 4.76 4.79 144105472
eca-rers2012/Problem03_label11_true-unreach-call.c unknown 8.01 8.07 236707840 error (13) 4.33 4.36 142270464
eca-rers2012/Problem05_label09_true-unreach-call.c unknown 11.5  11.6  693432320 error (13) 4.58 4.62 141574144
eca-rers2012/Problem06_label35_true-unreach-call.c error (13) 4.72 4.76 146087936 unknown 7.04 7.08 610115584
eca-rers2012/Problem07_label24_true-unreach-call.c error (13) 4.72 4.76 146989056 unknown 32.4  32.6  1468243968
eca-rers2012/Problem08_label57_true-unreach-call.c unknown 46.0  46.1  1984675840 out of memory 30.2  51.1  1999998976
eca-rers2012/Problem09_label00_true-unreach-call.c out of memory 42.0  61.2  1999998976 unknown 48.7  49.0  1989042176
eca-rers2012/Problem09_label01_true-unreach-call.c out of memory 31.9  51.1  1999998976 unknown 45.1  45.2  1994629120
eca-rers2012/Problem09_label04_true-unreach-call.c out of memory 39.0  66.5  1999998976 unknown 52.6  52.8  1991966720
eca-rers2012/Problem09_label05_true-unreach-call.c out of memory 34.8  51.1  1999998976 unknown 52.7  53.1  1992646656
eca-rers2012/Problem09_label07_true-unreach-call.c out of memory 42.2  66.5  1999998976 unknown 48.3  48.4  1999212544
eca-rers2012/Problem09_label09_true-unreach-call.c out of memory 42.8  66.5  1999998976 unknown 53.4  53.8  1995694080
eca-rers2012/Problem09_label12_true-unreach-call.c out of memory 42.4  61.4  1999998976 unknown 54.7  54.9  1993383936
eca-rers2012/Problem09_label13_true-unreach-call.c out of memory 37.7  61.3  1999998976 unknown 49.0  49.1  1994166272
eca-rers2012/Problem09_label14_true-unreach-call.c out of memory 34.3  56.0  1999998976 unknown 46.9  47.0  1994620928
eca-rers2012/Problem09_label16_true-unreach-call.c out of memory 38.0  61.2  1999998976 unknown 52.9  53.1  1994194944
eca-rers2012/Problem09_label17_true-unreach-call.c out of memory 39.5  61.2  1999998976 unknown 53.6  54.0  1991630848
eca-rers2012/Problem09_label18_true-unreach-call.c out of memory 36.4  61.2  1999998976 unknown 49.8  49.9  1992585216
eca-rers2012/Problem09_label21_true-unreach-call.c out of memory 40.5  61.1  1999998976 unknown 52.6  52.8  1990041600
eca-rers2012/Problem09_label22_true-unreach-call.c out of memory 41.0  66.2  1999998976 unknown 54.2  54.5  1991720960
eca-rers2012/Problem09_label23_true-unreach-call.c out of memory 33.4  61.1  1999998976 unknown 53.8  54.0  1989623808
eca-rers2012/Problem09_label24_true-unreach-call.c out of memory 38.2  76.5  1999998976 unknown 30.5  30.5  1990303744
eca-rers2012/Problem09_label25_true-unreach-call.c out of memory 26.4  51.1  1999998976 unknown 42.9  43.1  1992175616
eca-rers2012/Problem09_label26_true-unreach-call.c out of memory 36.9  61.4  1999998976 unknown 54.8  55.0  1998110720
eca-rers2012/Problem09_label27_true-unreach-call.c out of memory 26.8  51.1  1999998976 unknown 50.9  51.2  1992757248
eca-rers2012/Problem09_label28_true-unreach-call.c out of memory 34.1  61.3  1999998976 unknown 44.4  44.7  1994108928
eca-rers2012/Problem09_label29_true-unreach-call.c out of memory 24.2  46.0  1999998976 unknown 54.5  55.0  1986408448
eca-rers2012/Problem09_label30_true-unreach-call.c out of memory 32.6  71.5  1999998976 unknown 29.7  29.8  1996087296
eca-rers2012/Problem09_label31_true-unreach-call.c out of memory 33.8  56.2  1999998976 unknown 33.0  33.1  1992679424
eca-rers2012/Problem09_label33_true-unreach-call.c out of memory 25.1  45.6  1999998976 unknown 33.0  33.1  1988771840
eca-rers2012/Problem09_label37_true-unreach-call.c out of memory 29.8  51.1  1999998976 unknown 31.9  31.9  1994203136
eca-rers2012/Problem09_label39_true-unreach-call.c out of memory 31.2  66.3  1999998976 unknown 51.9  52.2  1998094336
eca-rers2012/Problem09_label40_true-unreach-call.c out of memory 25.7  46.0  1999998976 unknown 51.9  52.1  1990905856
eca-rers2012/Problem09_label42_true-unreach-call.c out of memory 39.9  66.5  1999998976 unknown 53.9  54.1  1998479360
eca-rers2012/Problem09_label43_true-unreach-call.c out of memory 39.1  61.3  1999998976 unknown 51.6  51.8  1995374592
eca-rers2012/Problem09_label45_true-unreach-call.c out of memory 39.6  61.3  1999998976 unknown 53.1  53.3  1985957888
eca-rers2012/Problem09_label48_true-unreach-call.c out of memory 37.3  61.4  1999998976 unknown 48.8  49.0  1994629120
eca-rers2012/Problem09_label49_true-unreach-call.c out of memory 22.7  46.0  1999998976 unknown 33.1  33.2  1989795840
eca-rers2012/Problem09_label52_true-unreach-call.c out of memory 24.4  45.9  1999998976 unknown 51.1  51.3  1990782976
eca-rers2012/Problem09_label55_true-unreach-call.c out of memory 35.1  51.1  1999998976 unknown 51.1  51.3  1989632000
eca-rers2012/Problem09_label58_true-unreach-call.c out of memory 31.4  56.2  1999998976 unknown 52.3  52.5  1990610944
eca-rers2012/Problem11_label44_true-unreach-call.c error (13) 4.09 4.14 144412672 unknown 5.22 5.25 207200256
eca-rers2012/Problem13_label55_true-unreach-call.c error (13) 3.07 3.10 143687680 unknown 7.11 7.15 501145600
eca-rers2012/Problem14_label16_true-unreach-call_false-termination.c unknown 7.01 7.06 189878272 error (13) 4.94 4.98 146862080
eca-rers2012/Problem14_label35_true-unreach-call_false-termination.c unknown 6.97 7.02 188895232 error (13) 4.44 4.48 145530880
eca-rers2012/Problem16_label25_true-unreach-call.c unknown 7.93 7.99 231809024 error (13) 4.52 4.56 143728640
eca-rers2012/Problem18_label16_true-unreach-call.c unknown 8.54 8.60 320049152 error (13) 4.47 4.52 145793024
floats-cdfpl/newton_2_7_false-unreach-call_true-termination.i error (13) 4.51 4.56 142102528 unknown 4.23 4.26 172519424
floats-cbmc-regression/float-div1_true-unreach-call.i unknown 6.17 6.22 182292480 error: exception 6.02 6.06 169426944
floats-cbmc-regression/float-flags-simp1_true-unreach-call.i unknown 4.61 4.64 188932096 error: exception 6.22 6.27 178073600
floats-cbmc-regression/float-no-simp2_true-unreach-call.i unknown 6.81 6.88 182444032 error: exception 6.10 6.15 176381952
floats-cbmc-regression/float-no-simp4_true-unreach-call.i unknown 6.54 6.71 184000512 error: exception 6.40 6.45 176574464
floats-cbmc-regression/float-no-simp8_true-unreach-call.i unknown 6.22 6.27 182132736 error: exception 6.21 6.26 173064192
floats-cbmc-regression/float-to-double1_true-unreach-call.i unknown 6.36 6.55 180158464 error: exception 6.29 6.44 175443968
floats-cbmc-regression/float14_true-unreach-call.i unknown 6.08 6.15 175718400 error: exception 5.85 5.89 172896256
floats-cbmc-regression/float19_true-unreach-call.i unknown 6.88 6.92 184033280 error: exception 6.03 6.08 174444544
floats-cbmc-regression/float21_true-unreach-call.i unknown 6.76 6.81 182124544 error: exception 6.22 6.31 175779840
floats-cbmc-regression/float4_true-unreach-call.i unknown 6.16 6.22 179773440 error: exception 6.11 6.16 177704960
floats-cbmc-regression/float8_true-unreach-call.i unknown 6.28 6.33 174436352 error: exception 5.82 5.87 172711936
floats-cbmc-regression/float_lib1_true-unreach-call.i unknown 4.83 4.87 176476160 error: exception 5.98 6.03 173883392
floats-cbmc-regression/float_lib2_true-unreach-call.i unknown 6.22 6.40 180436992 error: exception 4.29 4.49 172806144
floats-esbmc-regression/ceil_nondet_true-unreach-call.i unknown 6.07 6.12 173998080 error: exception 6.04 6.09 176197632
floats-esbmc-regression/fabs_true-unreach-call.i unknown 6.64 6.69 178728960 error (13) 2.94 3.17 143835136
floats-esbmc-regression/floor_nondet_true-unreach-call.i unknown 5.98 6.03 179142656 error: exception 5.91 5.94 187199488
floats-esbmc-regression/floor_true-unreach-call.i error (13) 4.62 4.66 141524992 unknown 6.16 6.33 172711936
floats-esbmc-regression/fmax_true-unreach-call.i unknown 6.53 6.60 179662848 error: exception 5.93 5.97 172826624
floats-esbmc-regression/fmin_true-unreach-call.i unknown 6.68 6.74 179994624 error: exception 5.93 5.97 171388928
floats-esbmc-regression/fmod2_true-unreach-call.i unknown 4.21 4.25 172322816 error: exception 6.11 6.15 171433984
floats-esbmc-regression/fmod3_true-unreach-call.i unknown 6.04 6.10 188440576 error: exception 3.94 3.97 170622976
floats-esbmc-regression/isgreater_true-unreach-call.i unknown 6.06 6.12 177807360 error: exception 6.07 6.11 167591936
floats-esbmc-regression/isgreaterequal_true-unreach-call.i unknown 4.12 4.15 179748864 error: exception 4.55 4.57 171073536
floats-esbmc-regression/isless_true-unreach-call.i unknown 6.06 6.10 180842496 error: exception 6.31 6.36 176054272
floats-esbmc-regression/islessequal_true-unreach-call.i unknown 6.06 6.10 177672192 error: exception 3.94 3.97 174927872
floats-esbmc-regression/islessgreater_true-unreach-call.i unknown 4.18 4.38 177041408 error: exception 5.82 5.85 173142016
floats-esbmc-regression/isunordered_true-unreach-call.i unknown 6.32 6.37 179642368 error: exception 5.87 5.92 171462656
floats-esbmc-regression/nan_true-unreach-call.i unknown 4.74 4.79 181088256 error: exception 5.93 5.97 174301184
floats-esbmc-regression/round_nondet_true-unreach-call.i unknown 4.07 4.10 175493120 error: exception 6.01 6.06 171692032
floats-esbmc-regression/trunc_nondet_2_true-unreach-call.i unknown 6.28 6.32 175431680 error: exception 5.95 6.00 173813760
floats-esbmc-regression/trunc_nondet_true-unreach-call.i unknown 4.18 4.21 175800320 error: exception 5.77 5.81 174153728
list-properties/list_false-unreach-call_false-valid-memcleanup.i unknown 6.34 6.39 182165504 error (13) 3.10 3.13 142274560
ldv-regression/test_malloc-2_true-unreach-call_true-termination.i error (13) 4.45 4.49 143360000 unknown 6.02 6.07 172171264
ldv-regression/test_union_cast_true-termination.c_true-unreach-call.i error (13) 3.18 3.21 141946880 unknown 5.74 5.79 170602496
forester-heap/dll-token_false-unreach-call_false-valid-memcleanup.i error (13) 4.55 4.60 143839232 unknown 6.13 6.18 176349184
forester-heap/sll-rb-sentinel_false-unreach-call_false-valid-memcleanup.i unknown 4.28 4.32 180289536 error (13) 3.14 3.16 141832192
loops/n.c24_false-unreach-call.i error (13) 4.53 4.59 141586432 unknown 6.07 6.12 175357952
loops/trex04_true-unreach-call_false-termination.i error (13) 4.39 4.59 141533184 unknown 6.07 6.12 169426944
loops/while_infinite_loop_1_true-unreach-call_false-termination.i error (13) 4.60 4.64 144658432 unknown 5.78 5.98 174891008
loop-acceleration/array_false-unreach-call2_true-termination.i unknown 5.91 5.96 173703168 error (13) 4.50 4.55 143605760
loop-lit/cggmp2005_true-unreach-call_true-termination.c.i unknown 5.78 5.84 169287680 error (13) 4.51 4.56 141971456
loop-lit/gj2007_true-unreach-call_true-termination.c.i unknown 4.11 4.15 172810240 error (13) 4.46 4.50 141918208
loops/heavy_true-unreach-call.c error: exception 5.68 5.72 169775104 out of memory 23.2  44.0  1999998976
loops/compact_false-unreach-call.c error: exception 5.70 5.74 168521728 unknown 12.6  12.7  939298816
loops/heavy_false-unreach-call.c error: exception 5.90 5.94 171282432 out of memory 15.8  18.3  1999998976
product-lines/elevator_spec3_product03_false-unreach-call_true-termination.cil.c error (13) 4.51 4.56 141885440 unknown 7.14 7.19 187514880
product-lines/elevator_spec14_product19_true-unreach-call_true-termination.cil.c unknown 6.96 7.02 189071360 error (13) 4.60 4.64 142188544
product-lines/elevator_spec9_product29_true-unreach-call_true-termination.cil.c error (13) 4.59 4.64 142508032 unknown 6.93 6.98 189374464
product-lines/email_spec4_product19_false-unreach-call_true-termination.cil.c unknown 5.12 5.15 192401408 error (13) 4.74 4.78 146206720
product-lines/email_spec6_product34_false-unreach-call_true-termination.cil.c unknown 5.24 5.27 191918080 error (13) 4.51 4.55 144580608
product-lines/email_spec0_product11_true-unreach-call_true-termination.cil.c error (13) 4.53 4.58 143527936 unknown 6.96 7.15 189882368
product-lines/minepump_spec3_product16_false-unreach-call_false-termination.cil.c error (13) 4.47 4.51 142831616 unknown 6.33 6.37 179036160
product-lines/minepump_spec3_product27_false-unreach-call_false-termination.cil.c error (13) 3.21 3.24 141647872 unknown 6.25 6.43 180559872
product-lines/minepump_spec3_product35_false-unreach-call_false-termination.cil.c unknown 4.54 4.58 176914432 error (13) 4.57 4.61 144474112
product-lines/minepump_spec1_product03_true-unreach-call_false-termination.cil.c error (13) 4.56 4.60 142901248 unknown 6.27 6.32 183672832
product-lines/minepump_spec2_product02_true-unreach-call_false-termination.cil.c unknown 6.17 6.23 181895168 error (13) 4.69 4.74 146882560
product-lines/minepump_spec5_product27_true-unreach-call_false-termination.cil.c error (13) 4.47 4.72 141471744 unknown 6.18 6.22 183037952
product-lines/minepump_spec5_product53_true-unreach-call_false-termination.cil.c error (13) 4.66 4.89 144302080 unknown 6.31 6.36 175816704
recursive/Ackermann02_false-unreach-call_true-no-overflow_true-termination.c unknown 5.83 5.88 172277760 error (13) 4.67 4.71 146501632
systemc/transmitter.10_false-unreach-call_false-termination.cil.c unknown 6.67 6.72 185462784 error (13) 4.66 4.69 143900672
systemc/token_ring.05_true-unreach-call_false-termination.cil.c error (13) 4.50 4.54 142544896 unknown 6.62 6.85 181051392
systemc/token_ring.13_true-unreach-call_false-termination.cil.c error (13) 3.26 3.30 144871424 unknown 6.73 6.78 189374464
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c unknown 6.38 6.43 176975872 error (13) 3.12 3.15 144011264
seq-mthreaded/pals_lcr.8_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c unknown 6.77 6.83 188694528 error (13) 4.49 4.54 142921728
seq-mthreaded/pals_opt-floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c error (13) 4.38 4.42 141885440 unknown 6.92 6.97 190230528
seq-pthread/cs_fib_false-unreach-call.i error: exception 4.15 4.18 174845952 unknown 6.97 7.03 191696896
seq-pthread/cs_fib_longer_false-unreach-call.i error: exception 4.25 4.27 177233920 unknown 4.70 4.73 184971264
seq-pthread/cs_lazy_false-unreach-call_true-termination.i error: exception 6.23 6.30 175751168 unknown 4.72 4.76 179101696
seq-pthread/cs_queue_false-unreach-call.i error: exception 6.53 6.58 176402432 unknown 7.14 7.19 188235776
seq-pthread/cs_read_write_lock_false-unreach-call.i error: exception 6.46 6.51 180469760 unknown 6.77 6.83 179847168
seq-pthread/cs_stack_false-unreach-call.i error: exception 4.48 4.51 179257344 error: type error 6.86 6.91 194203648
seq-pthread/cs_stateful_false-unreach-call_true-termination.i error: exception 6.18 6.23 177491968 unknown 6.49 6.53 183287808
seq-pthread/cs_dekker_true-unreach-call.i error: exception 6.18 6.36 173932544 unknown 4.69 4.73 185147392
seq-pthread/cs_fib_longer_true-unreach-call.i error: exception 4.25 4.28 177127424 unknown 6.56 6.60 191086592
seq-pthread/cs_fib_true-unreach-call.i error: exception 4.42 4.45 178462720 unknown 6.65 6.69 188850176
seq-pthread/cs_lamport_true-unreach-call.i error: exception 6.20 6.24 179290112 unknown 6.83 7.08 189177856
seq-pthread/cs_peterson_true-unreach-call.i error: exception 6.40 6.45 177881088 unknown 6.59 6.63 188436480
seq-pthread/cs_queue_true-unreach-call.i error: exception 6.38 6.43 174424064 unknown 6.83 6.88 190263296
seq-pthread/cs_read_write_lock_true-unreach-call.i error: exception 6.52 6.72 180445184 unknown 6.19 6.23 187813888
seq-pthread/cs_stack_true-unreach-call.i error: exception 6.44 6.49 176361472 error: type error 6.89 6.94 194600960
seq-pthread/cs_stateful_true-unreach-call.i error: exception 6.14 6.19 175808512 unknown 6.51 6.57 183398400
seq-pthread/cs_sync_true-unreach-call.i error: exception 6.24 6.30 177041408 unknown 6.75 6.79 190435328
seq-pthread/cs_szymanski_true-unreach-call.i error: exception 6.23 6.27 176041984 unknown 4.71 4.73 186724352
seq-pthread/cs_time_var_mutex_true-unreach-call.i error: exception 6.33 6.60 180297728 unknown 6.65 6.69 181215232
ldv-linux-3.0/usb_urb-drivers-hid-usbhid-usbmouse.ko_false-unreach-call.cil.out.i.pp.i error: exception 6.93 6.99 188071936 unknown 7.94 7.99 213258240
ldv-linux-3.0/usb_urb-drivers-input-misc-keyspan_remote.ko_false-unreach-call.cil.out.i.pp.i error: exception 7.44 7.51 191721472 unknown 5.65 5.68 232370176
ldv-linux-3.0/usb_urb-drivers-media-dvb-ttusb-dec-ttusb_dec.ko_false-unreach-call.cil.out.i.pp.i error: exception 6.00 6.05 252002304 unknown 10.1  10.3  360288256
ldv-linux-3.0/usb_urb-drivers-net-can-usb-ems_usb.ko_false-unreach-call.cil.out.i.pp.i error: exception 5.27 5.31 230653952 unknown 8.78 8.85 298573824
ldv-linux-3.0/usb_urb-drivers-net-usb-catc.ko_false-unreach-call.cil.out.i.pp.i error: exception 5.33 5.37 234401792 unknown 9.05 9.10 316329984
ldv-linux-3.0/usb_urb-drivers-staging-lirc-lirc_imon.ko_false-unreach-call.cil.out.i.pp.i error: exception 7.37 7.42 198901760 unknown 8.24 8.28 235520000
ldv-linux-3.0/usb_urb-drivers-usb-misc-iowarrior.ko_false-unreach-call.cil.out.i.pp.i error: exception 7.67 7.72 205873152 unknown 8.69 8.74 268419072
ldv-linux-3.0/usb_urb-drivers-input-tablet-kbtab.ko_true-unreach-call.cil.out.i.pp.i error: exception 5.11 5.14 187068416 unknown 8.15 8.21 213544960
ldv-linux-3.0/usb_urb-drivers-misc-c2port-core.ko_true-unreach-call.cil.out.i.pp.i error: exception 7.51 7.56 191844352 unknown 8.69 8.74 246173696
ldv-linux-3.0/usb_urb-drivers-usb-serial-ir-usb.ko_true-unreach-call.cil.out.i.pp.i error: exception 7.37 7.42 190271488 unknown 8.19 8.24 227225600
ldv-linux-3.0/usb_urb-drivers-usb-serial-whiteheat.ko_true-unreach-call.cil.out.i.pp.i error: exception 7.99 8.05 225595392 unknown 9.65 9.72 314863616
ldv-linux-3.0/usb_urb-drivers-uwb-i1480-dfu-i1480-dfu-usb.ko_true-unreach-call.cil.out.i.pp.i error: exception 7.53 7.59 198471680 unknown 8.61 8.67 247652352
ldv-linux-3.0/usb_urb-drivers-video-arkfb.ko_true-unreach-call.cil.out.i.pp.i error: exception 7.97 8.14 219197440 unknown 9.31 9.37 293765120
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hwmon--emc1403.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error (13) 3.35 3.38 143790080 unknown 7.84 7.89 210976768
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--i2c--i2c-smbus.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error (13) 4.43 4.66 143609856 unknown 7.26 7.32 192376832
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 7.48 7.52 196472832 error (13) 4.50 4.55 142577664
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-cinergy-1400.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error (13) 3.24 3.27 143613952 unknown 5.99 6.03 178339840
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--misc--tifm_core.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unknown 8.46 8.52 229466112 error (13) 4.78 4.82 144408576
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--ppp--ppp_mppe.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unknown 8.26 8.33 248311808 error: type error 8.34 8.41 249462784
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--scsi--qlogicfas408.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error (13) 4.55 4.60 144019456 unknown 8.57 8.63 255012864
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--usb--otg--nop-usb-xceiv.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unknown 7.00 7.05 179855360 error (13) 4.63 4.66 144433152
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 error (13) 4.43 4.47 141594624 unknown 7.92 7.97 202530816
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--usb--serial--ssu100.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unknown 8.83 8.89 284000256 error (13) 4.49 4.53 142950400
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_true-termination.4-32_1-drivers--firmware--google--memconsole.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unknown 4.97 5.00 190849024 error (13) 4.46 4.51 141877248
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_true-termination.4-32_1-drivers--misc--vmw_balloon.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error: exception 7.45 7.50 199622656 unknown 5.67 5.71 248455168
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--ata--pata_netcell.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unknown 5.51 5.55 226992128 error (13) 4.72 4.77 144482304
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 5.33 5.36 196083712 error (13) 4.56 4.61 142020608
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--gpu--drm--drm_usb_false-termination.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unknown 7.20 7.25 209260544 error (13) 4.59 4.62 141529088
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--media--dvb--ttpci--budget-patch.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error (13) 4.67 4.72 144515072 unknown 9.81 9.87 322310144
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--media--dvb--ttpci--budget.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error (13) 4.65 4.68 142487552 unknown 10.7  10.7  401612800
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--media--rc--keymaps--rc-videomate-m1f.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unknown 4.68 4.71 177659904 error (13) 3.04 3.06 143761408
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--media--rc--keymaps--rc-videomate-s350.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error (13) 4.67 4.72 145690624 unknown 6.22 6.26 178872320
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--media--video--gspca--gspca_finepix.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unknown 8.16 8.22 223928320 error (13) 4.62 4.65 143589376
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--mtd--nftl.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error (13) 4.33 4.38 143626240 unknown 9.72 9.79 358334464
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--net--phy--amd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error (13) 4.48 4.52 143691776 unknown 6.97 7.03 188801024
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 unknown 5.81 5.85 240488448 error: type error 8.34 8.40 241324032
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--platform--x86--toshiba_bluetooth.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error (13) 4.49 4.53 142204928 unknown 7.15 7.20 197156864
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--video--backlight--ili9320_false-termination.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error (13) 4.41 4.46 143720448 unknown 7.73 7.77 205615104
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--video--backlight--l4f00242t03.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error (13) 4.47 4.52 143499264 unknown 7.96 8.02 215105536
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--watchdog--geodewdt_true-termination.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error (13) 4.60 4.65 144003072 unknown 7.60 7.65 199680000
ldv-linux-3.7.3/main0_false-unreach-call_drivers--media--dvb-frontends--stv090x-ko---32_7a--linux-3.7.3.c error: type error 12.5  12.6  608673792 unknown 8.75 8.82 618893312
ldv-commit-tester/m0_true-unreach-call_drivers-hwmon-ibmpex-ko--130_7a--d631323.c unknown 7.68 7.74 199999488 error (13) 3.11 3.13 143745024
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-32_7a-drivers--media--v4l2-core--videobuf-dma-contig.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error (13) 4.74 4.79 143835136 unknown 8.68 8.74 234459136
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-32_7a-kernel--rcutorture.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unknown 12.2  12.3  698781696 error (13) 4.64 4.69 144093184
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--net--ethernet--qlogic--qlge--qlge.ko-main.cil.out.c unknown 14.2  14.3  669659136 error (13) 3.31 3.34 142405632
ldv-linux-3.16-rc1/205_9a_array_unsafes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--ethernet--micrel--ks8842.ko-entry_point_false-unreach-call.cil.out.c unknown 9.99 10.1  385961984 error (13) 4.63 4.67 144162816
ldv-linux-3.16-rc1/205_9a_array_safes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--usb--r8152.ko-entry_point_true-unreach-call.cil.out.c unknown 11.3  11.4  552157184 error (13) 4.79 4.83 144543744
ldv-linux-3.16-rc1/205_9a_array_unsafes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--ethernet--marvell--sky2.ko-entry_point_true-unreach-call.cil.out.c error (13) 4.43 4.47 143855616 unknown 8.76 8.80 666107904
ldv-linux-3.16-rc1/43_2a_bitvector_linux-3.16-rc1.tar.xz-43_2a-drivers--net--xen-netfront.ko-entry_point_true-unreach-call.cil.out.c unknown 10.7  10.8  490782720 error (13) 4.50 4.53 143331328
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--bluetooth--btmrvl_sdio.ko-entry_point_true-unreach-call.cil.out.c unknown 6.57 6.61 319225856 error (13) 4.49 4.53 144818176
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--scsi--bnx2fc--bnx2fc.ko-entry_point_false-unreach-call.cil.out.c error (13) 4.63 4.67 145805312 unknown 15.4  15.5  677830656
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--net--ethernet--mellanox--mlx5--core--mlx5_core.ko-entry_point_true-unreach-call.cil.out.c unknown 18.4  18.6  801202176 error: exception 7.87 7.91 617189376
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--gpu--drm--amd--amdkfd--amdkfd.ko-entry_point_true-unreach-call.cil.out.c unknown 15.9  16.0  679292928 error: type error 16.1  16.2  686395392
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--net--ethernet--mellanox--mlx5--core--mlx5_core.ko-entry_point_true-unreach-call.cil.out.c unknown 18.4  18.5  781836288 error: exception 12.7  12.8  687312896
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--vfio--pci--vfio-pci.ko-entry_point_true-unreach-call.cil.out.c out of memory 42.8  62.6  1999998976 unknown 45.8  46.0  1975394304
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--crypto--qat--qat_common--intel_qat.ko-entry_point_true-unreach-call.cil.out.c error (13) 4.65 4.69 144699392 unknown 13.2  13.3  683700224
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--net--ethernet--mellanox--mlx5--core--mlx5_core.ko-entry_point_true-unreach-call.cil.out.c unknown 18.4  18.5  786857984 error: exception 12.1  12.2  688365568
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--scsi--gdth.ko-entry_point_true-unreach-call.cil.out.c error (13) 4.86 4.91 144596992 unknown 13.4  13.6  1005023232
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--vfio--pci--vfio-pci.ko-entry_point_true-unreach-call.cil.out.c out of memory 26.2  26.6  1999998976 unknown 27.2  27.3  1974648832
ldv-challenges/linux-3.10-rc1-43_1a-bitvector-drivers--net--ethernet--broadcom--b44.ko--ldv_main0_true-unreach-call.cil.out.c error (13) 4.58 4.64 143777792 unknown 10.8  10.9  480641024
ldv-linux-3.14/linux-3.14__complex_emg__linux-alloc-spinlock__drivers-net-ethernet-hp-hp100_true-unreach-call.cil.c error: exception 8.82 8.87 288604160 error (13) 4.87 4.91 148430848
ldv-linux-3.14/linux-3.14__complex_emg__linux-kernel-locking-mutex__drivers-media-pci-saa7164-saa7164_true-unreach-call.cil.c error (13) 4.80 4.85 146309120 error: exception 9.89 9.95 385384448
ldv-linux-3.14/linux-3.14__complex_emg__linux-kernel-locking-spinlock__drivers-net-irda-via-ircc_true-unreach-call.cil.c error (13) 4.49 4.54 144519168 error: exception 8.18 8.23 277401600
ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--net--wireless--rtlwifi--rtl8192de--rtl8192de.ko_false-unreach-call.cil.c error: exception 12.0  12.1  698900480 error (13) 3.16 3.19 143872000
ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--usb--host--u132-hcd.ko_true-unreach-call.cil.c unknown 11.4  11.5  522051584 error (13) 4.63 4.66 141668352
array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i error (13) 4.55 4.60 143519744 unknown 4.44 4.47 172290048
array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i unknown 4.32 4.34 175636480 error (13) 4.42 4.60 143327232
memsafety/test-0237_true-valid-memsafety.i error (13) 4.53 4.57 143732736 unknown 4.28 4.31 180695040
memsafety-ext/skiplist_3lvl_true-valid-memsafety.i unknown 6.27 6.31 178085888 error (13) 4.60 4.64 141533184
memsafety-ext2/split_list_test05_true-valid-memsafety.i unknown 4.62 4.65 181395456 error (13) 4.37 4.41 141664256
ldv-memsafety/StructInitialization1_true-valid-memsafety.c error (13) 4.58 4.63 144367616 error: type error 5.86 5.90 179486720
ldv-memsafety/memset3_true-valid-memsafety_true-termination.c unknown 5.88 5.92 171495424 error (13) 3.04 3.28 142548992
ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i error (13) 4.60 4.65 143466496 unknown 4.33 4.36 172187648
ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i unknown 6.39 6.46 182145024 error (13) 4.49 4.53 141672448
busybox-1.22.0/chroot-incomplete_true-no-overflow_true-valid-memsafety.i unknown 5.01 5.04 188911616 error (13) 4.51 4.55 144494592
busybox-1.22.0/fold_true-no-overflow_true-valid-memsafety.i error: exception 7.12 7.17 188125184 error (13) 4.51 4.56 145780736
busybox-1.22.0/printf_false-unreach-call_true-no-overflow_true-valid-memsafety.i error: exception 7.03 7.08 188317696 unknown 5.32 5.35 205094912
busybox-1.22.0/sleep_true-no-overflow_true-valid-memsafety.i unknown 7.36 7.42 192122880 error (13) 4.58 4.62 142778368
recursive/Addition02WithOverflowBug_false-no-overflow.c - unknown 5.88 5.93 171114496
recursive/Addition03_false-no-overflow.c - unknown 5.71 5.76 168849408
recursive/EvenOdd03WithOverflowBug_false-no-overflow.c - unknown 5.83 5.87 170995712
recursive-simple/id_b3_o2_false-no-overflow.c - unknown 5.73 5.95 168263680
recursive-simple/id_b3_o5_false-no-overflow.c - unknown 5.73 5.77 172195840
recursive-simple/id_b5_o10_false-no-overflow.c - unknown 5.57 5.62 171495424
recursive-simple/sum_non_eq_false-no-overflow.c - unknown 5.87 6.07 169930752
recursive-simple/sum_non_false-no-overflow.c - unknown 5.85 5.90 163692544
bitvector/byte_add_1_false-no-overflow.i - unknown 4.33 4.36 174604288
bitvector/byte_add_2_false-no-overflow.i - unknown 6.06 6.11 175947776
bitvector/byte_add_false-no-overflow.i - unknown 6.28 6.36 179945472
bitvector/jain_1_false-no-overflow.i - unknown 5.76 5.80 166334464
bitvector/jain_2_false-no-overflow.i - unknown 5.87 5.91 165429248
bitvector/jain_4_false-no-overflow.i - unknown 5.84 5.90 181895168
bitvector/jain_5_false-no-overflow.i - unknown 6.05 6.10 171532288
bitvector/jain_6_false-no-overflow.i - unknown 5.94 5.98 169697280
bitvector/jain_7_false-no-overflow.i - unknown 5.91 6.10 175673344
bitvector/modulus_false-no-overflow.i - unknown 5.76 5.81 171143168
psyco/psyco_abp_1_false-no-overflow.c - unknown 6.51 6.55 189558784
signedintegeroverflow-regression/AdditionIntMax_false-no-overflow.c.i - unknown 4.04 4.25 173690880
signedintegeroverflow-regression/AdditionIntMin_false-no-overflow.c.i - error (13) 3.27 3.31 144375808
signedintegeroverflow-regression/Division_false-no-overflow.c.i - unknown 4.33 4.37 182280192
signedintegeroverflow-regression/Multiplication_false-no-overflow.c.i - unknown 5.92 5.96 175439872
signedintegeroverflow-regression/NoConversion_false-no-overflow.c.i - unknown 5.93 5.97 175919104
signedintegeroverflow-regression/PostfixDecrement_false-no-overflow.c.i - unknown 5.98 6.03 174694400
signedintegeroverflow-regression/PostfixIncrement_false-no-overflow.c.i - unknown 6.00 6.04 177856512
signedintegeroverflow-regression/PrefixDecrement_false-no-overflow.c.i - unknown 6.06 6.10 176304128
signedintegeroverflow-regression/PrefixIncrement_false-no-overflow.c.i - unknown 5.87 5.91 178192384
signedintegeroverflow-regression/UnaryMinus_false-no-overflow.c.i - unknown 5.87 5.91 170242048
signedintegeroverflow-regression/ConversionToSignedInt_true-no-overflow_true-termination.c.i - unknown 5.95 6.00 176508928
signedintegeroverflow-regression/IntegerPromotion_true-no-overflow_true-termination.c.i - unknown 5.77 5.81 176386048
signedintegeroverflow-regression/Multiplication_true-no-overflow_true-termination.c.i - error (13) 4.51 4.88 147001344
signedintegeroverflow-regression/NoNegativeIntegerConstant_true-no-overflow_true-termination.c.i - unknown 4.00 4.03 173920256
signedintegeroverflow-regression/UsualArithmeticConversions_true-no-overflow_true-termination.c.i - unknown 6.04 6.09 176091136
termination-crafted/2Nested_false-no-overflow.c - unknown 5.65 5.70 169033728
termination-crafted/4NestedWith3Variables_false-no-overflow.c - unknown 5.92 5.97 169472000
termination-crafted/Ackermann_false-no-overflow.c - unknown 6.08 6.13 172294144
termination-crafted/Bangalore_false-no-overflow.c - unknown 5.91 5.95 175431680
termination-crafted/Bangalore_v3_false-no-overflow.c - unknown 5.71 5.74 168214528
termination-crafted/Benghazi_nondet_false-no-overflow.c - unknown 5.75 5.78 172044288
termination-crafted/Binary_Search_false-no-overflow.c - unknown 5.97 6.01 171765760
termination-crafted/Cairo_nondet_false-no-overflow.c - unknown 4.10 4.13 171130880
termination-crafted/Cairo_step2_false-no-overflow.c - unknown 6.03 6.08 174366720
termination-crafted/Collatz_unknown-termination_false-no-overflow.c - unknown 6.01 6.06 171671552
termination-crafted/Copenhagen_disj_false-no-overflow.c - unknown 5.70 5.75 169840640
termination-crafted/Gothenburg_false-no-overflow.c - unknown 3.98 4.01 171270144
termination-crafted/Gothenburg_v2_false-no-overflow.c - unknown 4.07 4.09 170270720
termination-crafted/Hanoi_2vars_false-no-overflow.c - unknown 5.81 5.85 170893312
termination-crafted/Hanoi_3vars_false-no-overflow.c - unknown 6.07 6.12 173858816
termination-crafted/Hanoi_plus_false-no-overflow.c - unknown 4.05 4.08 171642880
termination-crafted/Lobnya-Boolean-Reordered_false-no-overflow.c - unknown 5.92 5.96 169177088
termination-crafted/Mysore_false-no-overflow.c - unknown 5.88 6.08 170721280
termination-crafted/NestedRecursion_1a_false-no-overflow.c - unknown 5.71 5.75 169799680
termination-crafted/NestedRecursion_2a_false-no-overflow.c - unknown 6.21 6.39 171778048
termination-crafted/NonTermination1_false-no-overflow.c - unknown 5.93 5.97 169160704
termination-crafted/NonTermination2_false-no-overflow.c - unknown 5.76 5.81 169766912
termination-crafted/NonTermination4_false-no-overflow.c - unknown 5.60 5.64 170422272
termination-crafted/NonTerminationSimple2_false-no-overflow.c - unknown 5.62 5.66 163917824
termination-crafted/NonTerminationSimple3_false-no-overflow.c - unknown 5.78 5.83 169504768
termination-crafted/NonTerminationSimple4_false-no-overflow.c - unknown 5.99 6.04 171642880
termination-crafted/NonTerminationSimple5_false-no-overflow.c - unknown 5.74 5.79 170000384
termination-crafted/NonTerminationSimple6_false-no-overflow.c - unknown 5.97 6.01 173412352
termination-crafted/NonTerminationSimple8_false-no-overflow.c - unknown 3.84 3.88 168599552
termination-crafted/NonTerminationSimple9_false-no-overflow.c - unknown 5.71 5.75 169943040
termination-crafted/Pure2Phase_false-no-overflow.c - unknown 5.83 5.88 171372544
termination-crafted/Pure3Phase_false-no-overflow.c - unknown 5.70 5.73 167657472
termination-crafted/RecursiveMultiplication_false-no-overflow.c - unknown 5.88 5.93 172019712
termination-crafted/RecursiveNonterminating_false-no-overflow.c - unknown 5.75 5.93 172507136
termination-crafted/Rotation180_false-no-overflow.c - unknown 5.86 5.90 166227968
termination-crafted/Singapore_false-no-overflow.c - unknown 5.80 5.84 172544000
termination-crafted/Singapore_plus_false-no-overflow.c - unknown 4.13 4.35 170729472
termination-crafted/Singapore_v1_false-no-overflow.c - error (13) 3.21 3.40 142155776
termination-crafted/Singapore_v2_false-no-overflow.c - unknown 5.92 5.97 167874560
termination-crafted/Stockholm_false-no-overflow.c - unknown 5.65 5.70 171110400
termination-crafted/Thun_false-no-overflow.c - unknown 4.13 4.15 168796160
termination-crafted/Toulouse-BranchesToLoop_false-no-overflow.c - unknown 5.62 5.68 170631168
termination-crafted/Toulouse-MultiBranchesToLoop_false-no-overflow.c - unknown 5.83 5.88 171237376
termination-crafted/aaron2_false-no-overflow.c - unknown 5.81 5.86 172072960
termination-crafted/aaron3_false-no-overflow.c - unknown 3.99 4.02 168439808
termination-crafted/easy2_false-no-overflow.c - unknown 3.97 4.00 168243200
termination-crafted/4BitCounterPointer_true-no-overflow_true-termination_true-valid-memsafety.c - unknown 5.77 5.80 175181824
termination-crafted/Arrays01-EquivalentConstantIndices_true-no-overflow_true-termination_true-valid-memsafety.c - unknown 5.70 5.75 168501248
termination-crafted/Arrays02-EquivalentConstantIndices_true-no-overflow_false-termination.c - unknown 5.55 5.60 171810816
termination-crafted/Arrays03-ValueRestictsIndex_true-no-overflow_true-termination_true-valid-memsafety.c - unknown 5.74 5.78 171024384
termination-crafted/Bangalore_true-no-overflow_true-termination_true-valid-memsafety.c - unknown 5.92 5.97 168882176
termination-crafted/Bangalore_v2_true-no-overflow_false-termination_true-valid-memsafety.c - unknown 5.78 5.84 168923136
termination-crafted/Bangalore_v4_true-no-overflow_true-termination_true-valid-memsafety.c - unknown 4.32 4.35 170455040
termination-crafted/Benghazi_true-no-overflow_true-termination_true-valid-memsafety.c - unknown 5.67 5.71 173060096
termination-crafted/Cairo_step2_true-no-overflow_false-termination_true-valid-memsafety.c - unknown 5.81 5.85 168349696
termination-crafted/Cairo_step2_true-no-overflow_true-termination_true-valid-memsafety.c - unknown 5.81 5.86 170381312
termination-crafted/Cairo_true-no-overflow_true-termination_true-valid-memsafety.c - unknown 5.71 5.76 168095744
termination-crafted/Copenhagen_true-no-overflow_true-termination_true-valid-memsafety.c - unknown 5.69 5.73 171851776
termination-crafted/Division_true-no-overflow_false-termination_true-valid-memsafety.c - unknown 5.98 6.03 174612480
termination-crafted/LexIndexValue-Array_true-no-overflow_true-termination_true-valid-memsafety.c - unknown 5.93 5.98 174460928
termination-crafted/LexIndexValue-Pointer_true-no-overflow.c - unknown 5.89 5.93 171130880
termination-crafted/Madrid_true-no-overflow_false-termination_true-valid-memsafety.c - error (13) 4.38 4.43 143552512
termination-crafted/McCarthy91_Iteration_true-no-overflow_true-termination_true-valid-memsafety.c - unknown 5.86 5.91 169132032
termination-crafted/McCarthy91_Recursion_true-no-overflow_true-termination_true-valid-memsafety.c - unknown 5.92 5.97 174399488
termination-crafted/MenloPark_true-no-overflow_true-termination_true-valid-memsafety.c - error (13) 4.81 4.84 146239488
termination-crafted/MutualRecursion_1a_true-no-overflow_false-termination_true-valid-memsafety.c - unknown 4.08 4.11 167755776
termination-crafted/MutualRecursion_1b_true-no-overflow_true-termination_true-valid-memsafety.c - unknown 5.83 5.88 173420544
termination-crafted/NestedRecursion_1b_true-no-overflow_true-termination_true-valid-memsafety.c - unknown 4.19 4.23 171962368
termination-crafted/NestedRecursion_1c_true-no-overflow_true-termination_true-valid-memsafety.c - unknown 5.85 5.91 167428096
termination-crafted/NestedRecursion_1d_true-no-overflow_true-termination_true-valid-memsafety.c - unknown 5.73 5.78 167387136
termination-crafted/NestedRecursion_2b_true-no-overflow_false-termination_true-valid-memsafety.c - unknown 5.64 5.69 169656320
termination-crafted/NestedRecursion_2c_true-no-overflow_true-termination_true-valid-memsafety.c - unknown 3.98 4.02 171073536
termination-crafted/NonTermination3_true-no-overflow_false-termination.c - unknown 5.50 5.54 168095744
termination-crafted/NonTerminationSimple7_true-no-overflow_false-termination_true-valid-memsafety.c - unknown 5.78 5.82 172933120
termination-crafted/Nyala-2lex_true-no-overflow_true-termination_true-valid-memsafety.c - unknown 4.14 4.17 170573824
termination-crafted/Parallel_true-no-overflow_true-termination_true-valid-memsafety.c - unknown 5.81 5.85 171122688
termination-crafted/Piecewise_true-no-overflow_true-termination_true-valid-memsafety.c - unknown 6.05 6.10 173559808
termination-crafted/SyntaxSupportPointer01_true-no-overflow_true-termination.c - unknown 5.86 6.06 171151360
termination-crafted/TelAviv-Amir-Minimum_true-no-overflow_true-termination_true-valid-memsafety.c - unknown 6.01 6.11 172175360
termination-crafted/Waldkirch_true-no-overflow_true-termination_true-valid-memsafety.c - unknown 4.10 4.14 168255488
termination-crafted/WhileFalse_true-no-overflow_true-termination_true-valid-memsafety.c - unknown 5.76 5.81 169582592
termination-crafted/WhileTrue_true-no-overflow_false-termination_true-valid-memsafety.c - unknown 5.82 5.87 168071168
termination-crafted/easy1_true-no-overflow_true-termination_true-valid-memsafety.c - unknown 5.75 5.81 173072384
termination-crafted/easy2_true-no-overflow_true-termination_true-valid-memsafety.c - unknown 5.82 5.87 169545728
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig2a_false-no-overflow.c - unknown 5.69 5.74 162791424
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig2b_false-no-overflow.c - unknown 5.80 6.03 170328064
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-aaron2_false-no-overflow.c - unknown 5.88 5.92 167833600
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-aaron3_false-no-overflow.c - unknown 5.90 6.16 169099264
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-complex_false-no-overflow.c - unknown 5.99 6.02 173223936
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-counterex1a_false-no-overflow.c - unknown 5.74 5.79 166576128
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-counterex1b_false-no-overflow.c - unknown 5.81 5.87 171020288
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy2_false-no-overflow.c - unknown 5.68 5.92 169394176
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-exmini_false-no-overflow.c - unknown 5.77 5.80 168886272
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-ndecr_false-no-overflow.c - unknown 5.69 5.74 168816640
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-nestedLoop_false-no-overflow.c - unknown 4.01 4.04 171520000
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random1d_false-no-overflow.c - unknown 6.01 6.04 173117440
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-rsd_false-no-overflow.c - unknown 3.85 3.88 172421120
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedFails4_false-no-overflow.c - unknown 4.10 4.13 167043072
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-terminate_false-no-overflow.c - unknown 5.96 6.00 170278912
termination-crafted-lit/Ben-Amram-LMCS2010-Ex2.3_false-no-overflow.c - unknown 5.84 5.88 170381312
termination-crafted-lit/BradleyMannaSipma-ICALP2005-Fig1_false-no-overflow.c - unknown 5.92 5.97 172290048
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron12_false-no-overflow.c - unknown 5.67 5.71 173666304
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron1_false-no-overflow.c - unknown 4.24 4.27 172425216
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron2_false-no-overflow.c - unknown 5.83 5.87 170115072
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron3_false-no-overflow.c - unknown 5.99 6.18 169222144
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron4_false-no-overflow.c - unknown 3.98 4.01 171810816
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron6_false-no-overflow.c - unknown 4.00 4.03 170598400
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.01_false-no-overflow.c - unknown 5.60 5.65 169439232
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.02_false-no-overflow.c - unknown 5.73 5.77 169029632
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.03_false-no-overflow.c - unknown 5.83 5.88 170082304
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.04_false-no-overflow.c - unknown 5.87 5.92 172732416
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.05_false-no-overflow.c - unknown 5.73 5.77 169439232
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.01_false-no-overflow.c - error (13) 4.53 4.58 141713408
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.02_false-no-overflow.c - unknown 5.78 5.84 169029632
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.03_false-no-overflow.c - unknown 5.92 5.96 171757568
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.04_false-no-overflow.c - unknown 5.71 5.75 173088768
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.05_false-no-overflow.c - unknown 5.70 5.74 167714816
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.06_false-no-overflow.c - unknown 5.46 5.51 171761664
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.07_false-no-overflow.c - unknown 5.75 5.81 169443328
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.08_false-no-overflow.c - unknown 5.77 5.81 170561536
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.09_false-no-overflow.c - unknown 5.85 5.89 171167744
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.10_false-no-overflow.c - unknown 5.68 5.74 171057152
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.11_false-no-overflow.c - unknown 4.16 4.19 173547520
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.12_false-no-overflow.c - unknown 5.72 5.77 171487232
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.13_false-no-overflow.c - unknown 5.94 5.98 172019712
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.14_false-no-overflow.c - unknown 5.75 5.79 170033152
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.15_false-no-overflow.c - unknown 4.11 4.14 167198720
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.16_false-no-overflow.c - unknown 5.80 5.85 168726528
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.17_false-no-overflow.c - unknown 5.78 6.02 170070016
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.18_false-no-overflow.c - unknown 5.44 5.48 169009152
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.19_false-no-overflow.c - unknown 5.67 5.72 169164800
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.21_false-no-overflow.c - unknown 3.91 3.94 169213952
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.22_false-no-overflow.c - unknown 3.86 3.89 169185280
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.02_false-no-overflow.c - unknown 5.72 5.77 169418752
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.03_false-no-overflow.c - unknown 5.64 5.68 172142592
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.04_false-no-overflow.c - unknown 4.01 4.05 172371968
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.05_false-no-overflow.c - unknown 5.88 5.93 172535808
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.06_false-no-overflow.c - unknown 5.88 5.93 172208128
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.07_false-no-overflow.c - unknown 5.80 5.97 169000960
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.08_false-no-overflow.c - unknown 5.96 6.01 171122688
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.09_false-no-overflow.c - unknown 5.91 5.96 168079360
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.10_false-no-overflow.c - error (13) 4.43 4.48 145829888
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex4.01_false-no-overflow.c - unknown 5.90 5.94 169869312
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Fig1_false-no-overflow.c - unknown 5.91 5.95 174809088
termination-crafted-lit/ColonSipma-TACAS2001-Fig1_false-no-overflow.c - unknown 5.73 5.77 167202816
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1a_false-no-overflow.c - unknown 5.76 5.81 170897408
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1b_false-no-overflow.c - unknown 5.69 5.74 168382464
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1c_false-no-overflow.c - unknown 3.87 3.91 170422272
termination-crafted-lit/GulwaniJainKoskinen-PLDI2009-Fig1_false-no-overflow.c - unknown 5.81 5.87 170098688
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig2_false-no-overflow.c - unknown 5.78 5.83 171016192
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig2_false-no-overflow.c - unknown 5.85 5.88 171409408
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig7_false-no-overflow.c - unknown 5.62 5.67 168906752
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig8_false-no-overflow.c - unknown 5.79 5.83 168624128
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig9_false-no-overflow.c - unknown 6.04 6.08 174874624
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex1_false-no-overflow.c - unknown 5.91 5.96 170364928
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex2_false-no-overflow.c - unknown 4.11 4.16 171991040
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex3_false-no-overflow.c - unknown 3.94 3.97 170553344
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex6_false-no-overflow.c - unknown 5.88 5.92 174403584
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex7_false-no-overflow.c - unknown 5.96 6.01 169410560
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex8_false-no-overflow.c - unknown 5.72 5.77 166817792
termination-crafted-lit/LeikeHeizmann-TACAS2014-Fig1_false-no-overflow.c - unknown 5.71 5.75 165699584
termination-crafted-lit/LeikeHeizmann-WST2014-Ex5_false-no-overflow.c - unknown 4.00 4.21 170991616
termination-crafted-lit/LeikeHeizmann-WST2014-Ex6_false-no-overflow.c - unknown 6.04 6.10 177135616
termination-crafted-lit/Masse-VMCAI2014-Ex6_false-no-overflow.c - unknown 5.63 5.69 170893312
termination-crafted-lit/Masse-VMCAI2014-Fig1a_false-no-overflow.c - unknown 5.85 5.90 169787392
termination-crafted-lit/Masse-VMCAI2014-Fig1b_false-no-overflow.c - unknown 3.95 3.98 168165376
termination-crafted-lit/NoriSharma-FSE2013-Fig7_false-no-overflow.c - unknown 5.67 5.72 170737664
termination-crafted-lit/NoriSharma-FSE2013-Fig8_false-no-overflow.c - unknown 6.03 6.08 172466176
termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig2-TACAS2011-Fig3_false-no-overflow.c - unknown 5.75 5.78 168755200
termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig2_false-no-overflow.c - unknown 5.81 5.85 168738816
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig3_false-no-overflow.c - unknown 5.77 5.81 171266048
termination-crafted-lit/PodelskiRybalchenko-VMCAI2004-Ex1_false-no-overflow.c - unknown 5.57 5.61 170225664
termination-crafted-lit/PodelskiRybalchenko-VMCAI2004-Ex2_false-no-overflow.c - unknown 5.85 5.90 168476672
termination-crafted-lit/cstrncmp_false-no-overflow.c - unknown 5.99 6.05 176308224
termination-crafted-lit/gcd1_false-no-overflow.c - unknown 5.82 5.87 171786240
termination-crafted-lit/joey_false-no-overflow.c - unknown 6.00 6.05 172789760
termination-crafted-lit/min_rf_false-no-overflow.c - unknown 5.68 5.73 168472576
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig1_true-termination_true-no-overflow.c - unknown 5.68 5.85 169635840
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-cousot9_true-termination_true-no-overflow.c - unknown 5.75 5.80 174047232
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy1_true-termination_true-no-overflow.c - unknown 5.65 5.70 171814912
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy2_true-termination_true-no-overflow.c - unknown 3.96 3.99 166522880
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-loops_true-termination_true-no-overflow.c - unknown 5.83 5.86 169328640
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-nestedLoop_true-termination_true-no-overflow.c - error (13) 3.25 3.28 143634432
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random1d_true-termination_true-no-overflow.c - unknown 5.74 5.78 172195840
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random2d_true-termination_true-no-overflow.c - unknown 4.14 4.17 170622976
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi2_true-termination_true-no-overflow.c - unknown 3.86 3.90 166797312
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi3_true-termination_true-no-overflow.c - unknown 5.94 5.99 171819008
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi4_true-termination_true-no-overflow.c - unknown 5.95 6.00 170999808
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-wcet2_true-termination_true-no-overflow.c - unknown 5.73 5.78 169787392
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-while2_true-termination_true-no-overflow.c - unknown 5.79 5.84 169410560
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-wise_true-termination_true-no-overflow.c - unknown 5.87 5.99 173748224
termination-crafted-lit/Avery-FLOPS2006-Table1_true-termination_true-no-overflow.c - unknown 5.35 5.39 171274240
termination-crafted-lit/BradleyMannaSipma-CAV2005-Fig1-modified_false-termination_true-no-overflow.c - unknown 4.22 4.36 171134976
termination-crafted-lit/BradleyMannaSipma-CAV2005-Fig1_true-termination_true-no-overflow.c - unknown 5.47 5.53 171483136
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Fig1_true-termination_true-no-overflow.c - unknown 5.85 5.90 171880448
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Fig9a_true-termination_true-no-overflow.c - unknown 3.99 4.02 172179456
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Introduction_true-termination_true-no-overflow.c - unknown 5.62 5.67 171573248
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-easy1_true-termination_true-no-overflow.c - error (13) 4.54 4.78 146030592
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-easy2_true-termination_true-no-overflow.c - unknown 5.82 5.86 172548096
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-random1d_true-termination_true-no-overflow.c - unknown 5.98 6.02 173338624
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-random2d_true-termination_true-no-overflow.c - unknown 5.77 5.82 171790336
termination-crafted-lit/ChenCookFuhsNimkarOHearn-TACAS2014-Introduction_false-termination_true-no-overflow.c - unknown 5.82 5.86 172019712
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.20_true-termination_true-no-overflow.c - unknown 5.78 5.83 167489536
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.01_true-termination_true-no-overflow.c - unknown 4.15 4.18 169480192
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig1_true-termination_true-no-overflow.c - unknown 5.84 5.88 169193472
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig7a_true-termination_true-no-overflow.c - unknown 5.71 5.75 172617728
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig7b_true-termination_true-no-overflow.c - unknown 5.90 5.96 169537536
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8a-modified_true-termination_true-no-overflow.c - unknown 5.85 6.07 171937792
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8a_true-termination_true-no-overflow.c - unknown 5.52 5.57 170995712
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8b_true-termination_true-no-overflow.c - unknown 5.79 5.85 171659264
termination-crafted-lit/GopanReps-CAV2006-Fig1a_true-termination_true-no-overflow.c.c - unknown 5.65 5.69 166633472
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig1_true-termination_true-no-overflow.c - unknown 3.91 3.94 167845888
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig3_true-termination_true-no-overflow.c - unknown 5.80 5.85 170504192
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig1_true-termination_true-no-overflow.c - unknown 5.85 5.90 171909120
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig4_true-termination_true-no-overflow.c - unknown 5.70 5.94 169050112
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig5_true-termination_true-no-overflow.c - unknown 4.07 4.09 169967616
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig6_true-termination_true-no-overflow.c - unknown 5.77 5.81 167096320
termination-crafted-lit/HenzingerJhalaMajumdarSutre-POPL2002-LockingExample_false-termination_true-no-overflow.c - unknown 5.90 5.96 169144320
termination-crafted-lit/KroeningSharyginaTsitovichWintersteiger-CAV2010-Ex_true-termination_true-no-overflow.c - unknown 5.81 5.86 169132032
termination-crafted-lit/KroeningSharyginaTsitovichWintersteiger-CAV2010-Fig1_true-termination_true-no-overflow.c - unknown 4.06 4.26 171880448
termination-crafted-lit/LarrazOliverasRodriguez-CarbonellRubio-FMCAD2013-Fig1_true-termination_true-no-overflow.c - unknown 5.84 5.89 171053056
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex4_true-termination_true-no-overflow.c - unknown 5.71 5.75 172244992
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex5_true-termination_true-no-overflow.c - unknown 5.66 5.71 172118016
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex1_true-termination_true-no-overflow.c - unknown 5.77 5.82 169951232
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex9_true-termination_true-no-overflow.c - unknown 4.07 4.10 169377792
termination-crafted-lit/LeikeHeizmann-WST2014-Ex9_true-termination_true-no-overflow.c - unknown 5.82 5.87 169058304
termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig1_true-termination_true-no-overflow.c - unknown 3.85 3.89 170893312
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig1_true-termination_true-no-overflow.c - unknown 5.53 5.57 172142592
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig2_true-termination_true-no-overflow.c - unknown 5.80 5.86 167395328
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig4_true-termination_true-no-overflow.c - unknown 5.85 5.90 169435136
termination-crafted-lit/Urban-WST2013-Fig1_false-termination_true-no-overflow.c - unknown 5.82 5.87 170303488
termination-crafted-lit/Urban-WST2013-Fig2-modified1000_true-termination_true-no-overflow.c - unknown 5.66 5.71 169132032
termination-crafted-lit/Urban-WST2013-Fig2_true-termination_true-no-overflow.c - unknown 5.97 6.02 169140224
termination-crafted-lit/UrbanMine-ESOP2014-Fig3_true-termination_true-no-overflow.c - unknown 5.92 6.12 175230976
termination-crafted-lit/Velroyen_false-termination_true-no-overflow.c - unknown 5.72 5.91 168861696
termination-crafted-lit/aviad_true-termination_true-no-overflow.c - unknown 5.95 5.99 173797376
termination-crafted-lit/cstrcmp_true-termination_true-no-overflow.c - unknown 6.02 6.06 171675648
termination-crafted-lit/cstrcspn_true-termination_true-no-overflow.c - unknown 5.72 5.76 173232128
termination-crafted-lit/cstrlen_true-termination_true-no-overflow.c - unknown 5.83 6.05 176844800
termination-crafted-lit/cstrpbrk_true-termination_true-no-overflow.c - unknown 5.79 5.83 173752320
termination-crafted-lit/cstrspn_true-termination_true-no-overflow.c - unknown 5.99 6.04 175550464
termination-crafted-lit/genady_true-termination_true-no-overflow.c - unknown 4.04 4.09 172175360
termination-crafted-lit/strchr_true-no-overflow_true-termination.c - unknown 5.86 5.92 171896832
termination-numeric/Addition01_false-no-overflow.c - unknown 4.22 4.24 170098688
termination-numeric/Avg_true_false-no-overflow.c - unknown 4.11 4.13 166924288
termination-numeric/Binomial_true-termination_false-no-overflow.c - unknown 4.14 4.18 173682688
termination-numeric/Et1_true_false-no-overflow.c - unknown 5.81 5.86 166531072
termination-numeric/Et2_true_false-no-overflow.c - error (13) 4.40 4.45 141500416
termination-numeric/Et3_true_false-no-overflow.c - unknown 5.96 6.01 169402368
termination-numeric/Et4_true_false-no-overflow.c - unknown 5.77 5.81 168120320
termination-numeric/MultCommutative_false-no-overflow.c - unknown 5.76 5.80 169402368
termination-numeric/TerminatorRec02_true-termination_false-no-overflow.c - unknown 5.81 5.86 171634688
termination-numeric/Ackermann01_true-termination_true-no-overflow.c - unknown 5.69 5.73 171282432
termination-numeric/EvenOdd01_true-termination_true-no-overflow.c - unknown 5.89 5.94 169754624
termination-numeric/Fibonacci01_true-termination_true-no-overflow.c - unknown 5.81 5.86 172769280
termination-numeric/LeUserDefRec_true-termination_true-no-overflow.c - unknown 5.82 5.87 170729472
termination-numeric/LogRecursive_true-termination_true-no-overflow.c - unknown 4.25 4.28 170500096
termination-numeric/Parts_true-termination_true-no-overflow.c - unknown 6.00 6.18 171773952
termination-numeric/TwoWay_true-termination_true-no-overflow.c - unknown 5.95 5.99 172724224
termination-numeric/gcd01_true-termination_true-no-overflow.c - unknown 5.70 5.74 168353792
termination-numeric/java_LogBuiltIn_true-termination_true-no-overflow.c - unknown 5.65 5.70 169664512
termination-numeric/recHanoi02_true-termination_true-no-overflow.c - unknown 4.10 4.14 171589632
termination-numeric/rec_counter1_true-termination_true-no-overflow.c - unknown 5.81 5.85 171798528
termination-numeric/rec_counter3_true-termination_true-no-overflow.c - unknown 5.89 5.95 169934848
termination-numeric/twisted_true-termination_true-no-overflow.c - unknown 5.99 6.03 169205760
busybox-1.22.0/chgrp-incomplete_false-no-overflow.i - unknown 7.07 7.48 194367488
busybox-1.22.0/chroot-incomplete_false-no-overflow.i - unknown 7.55 7.60 196841472
busybox-1.22.0/cut_false-no-overflow.i - error: exception 6.87 6.93 189652992
busybox-1.22.0/date_false-no-overflow.i - error: exception 6.91 6.96 186830848
busybox-1.22.0/du_false-no-overflow.i - error: exception 6.83 6.88 187166720
busybox-1.22.0/echo_false-no-overflow.i - unknown 5.16 5.20 192126976
busybox-1.22.0/expand_false-no-overflow.i - error: exception 7.24 7.29 192741376
busybox-1.22.0/fold_false-no-overflow.i - error: exception 4.93 4.97 186183680
busybox-1.22.0/head_false-no-overflow.i - error: exception 6.74 6.78 181379072
busybox-1.22.0/logname_false-no-overflow.i - unknown 6.91 6.96 192258048
busybox-1.22.0/ls-incomplete_false-no-overflow.i - error: exception 7.10 7.15 190988288
busybox-1.22.0/mkdir_false-no-overflow.i - error: exception 7.14 7.20 190144512
busybox-1.22.0/mkfifo-incomplete_false-no-overflow.i - unknown 6.98 7.02 189083648
busybox-1.22.0/od_false-no-overflow.i - error: exception 7.05 7.10 180305920
busybox-1.22.0/printf_false-no-overflow.i - unknown 7.75 7.80 206118912
busybox-1.22.0/readlink_false-no-overflow.i - error: exception 4.77 4.79 188727296
busybox-1.22.0/realpath_false-no-overflow.i - unknown 6.99 7.04 189063168
busybox-1.22.0/rm_false-no-overflow.i - error: exception 4.72 4.75 188723200
busybox-1.22.0/seq_false-no-overflow.i - error: exception 6.68 6.73 188452864
busybox-1.22.0/sleep_false-no-overflow.i - unknown 7.32 7.36 192417792
busybox-1.22.0/stty_false-no-overflow.i - error: exception 7.22 7.27 232574976
busybox-1.22.0/sync_false-no-overflow.i - unknown 6.88 6.95 187777024
busybox-1.22.0/tac_false-no-overflow.i - error: exception 7.03 7.08 186609664
busybox-1.22.0/tee_false-no-overflow.i - error: exception 6.94 6.99 190148608
busybox-1.22.0/test-incomplete_false-no-overflow.i - error: exception 7.02 7.41 178958336
busybox-1.22.0/touch_false-no-overflow.i - error: exception 7.33 7.37 189661184
busybox-1.22.0/uname_false-no-overflow.i - error: exception 4.93 5.13 184565760
busybox-1.22.0/uniq_false-no-overflow.i - error: exception 4.97 4.99 188063744
busybox-1.22.0/usleep_false-no-overflow.i - unknown 7.16 7.21 193368064
busybox-1.22.0/uudecode_false-no-overflow.i - error: exception 6.79 6.83 177704960
busybox-1.22.0/wc_false-no-overflow.i - error: exception 6.83 6.88 191700992
busybox-1.22.0/who_false-no-overflow.i - error: exception 6.78 6.82 190009344
busybox-1.22.0/whoami-incomplete_false-no-overflow.i - unknown 7.31 7.36 194605056
busybox-1.22.0/yes_false-no-overflow.i - unknown 6.93 6.98 188850176
termination-crafted/Arrays02-EquivalentConstantIndices_false-termination_true-valid-memsafety.c - unknown 5.69 5.74 169656320
termination-crafted/Binary_Search_false-termination_true-valid-memsafety.c - unknown 5.77 5.81 170102784
termination-crafted/Mysore_false-termination_true-valid-memsafety.c - unknown 5.75 5.80 173211648
termination-crafted/NestedRecursion_1a_false-termination_true-valid-memsafety.c - unknown 5.82 5.87 172806144
termination-crafted/NonTermination3_false-termination_false-valid-deref.c - unknown 5.96 6.00 172322816
termination-crafted/RecursiveNonterminating_false-termination_true-valid-memsafety.c - error (13) 4.44 4.67 144523264
termination-crafted/Rotation180_false-termination_true-valid-memsafety.c - unknown 5.78 5.83 173449216
termination-crafted/2Nested_true-termination_true-valid-memsafety.c - unknown 5.89 5.94 171925504
termination-crafted/4NestedWith3Variables_true-termination_true-valid-memsafety.c - unknown 4.05 4.08 174157824
termination-crafted/Ackermann_true-termination_true-valid-memsafety.c - unknown 5.80 5.85 170803200
termination-crafted/Benghazi_nondet_true-termination_true-valid-memsafety.c - unknown 5.76 5.81 169922560
termination-crafted/Copenhagen_disj_true-termination_true-valid-memsafety.c - unknown 5.72 5.78 170569728
termination-crafted/Gothenburg_true-termination_true-valid-memsafety.c - unknown 5.93 5.97 171245568
termination-crafted/Gothenburg_v2_true-termination_true-valid-memsafety.c - unknown 5.84 5.89 169979904
termination-crafted/LexIndexValue-Pointer_true-termination_true-valid-memsafety.c - unknown 6.12 6.16 175702016
termination-crafted/Lobnya-Boolean-Reordered_true-termination_true-valid-memsafety.c - error (13) 4.58 4.62 144527360
termination-crafted/Mysore_true-termination_true-valid-memsafety.c - unknown 5.88 5.93 168230912
termination-crafted/Pure2Phase_true-termination_true-valid-memsafety.c - unknown 5.61 5.65 166449152
termination-crafted/Pure3Phase_true-termination_true-valid-memsafety.c - unknown 5.77 5.82 170643456
termination-crafted/RecursiveMultiplication_true-termination_true-valid-memsafety.c - unknown 5.87 5.91 167948288
termination-crafted/Singapore_true-termination_true-valid-memsafety.c - unknown 5.72 5.76 173277184
termination-crafted/Stockholm_true-termination_true-valid-memsafety.c - unknown 5.97 6.02 169566208
termination-crafted/SyntaxSupportPointer01_true-termination_true-valid-memsafety.c - unknown 5.97 6.01 176209920
termination-crafted/SyntaxSupportPointer01_true-valid-memsafety_true-termination.c - unknown 5.82 5.87 170545152
termination-crafted/Thun_true-termination_true-valid-memsafety.c - unknown 5.81 5.84 171151360
termination-crafted/Toulouse-BranchesToLoop_true-termination_true-valid-memsafety.c - unknown 4.02 4.06 171790336
termination-crafted/Toulouse-MultiBranchesToLoop_true-termination_true-valid-memsafety.c - unknown 5.99 6.04 169820160
termination-crafted/aaron2_true-termination_true-valid-memsafety.c - unknown 5.67 5.85 167030784
termination-crafted/aaron3_true-termination_true-valid-memsafety.c - unknown 5.65 5.69 170184704
termination-restricted-15/DivMinus2_true-termination_true-no-overflow.c - unknown 6.01 6.05 172806144
termination-restricted-15/DivMinus_true-termination_true-no-overflow.c - unknown 5.77 5.82 174436352
termination-restricted-15/GCD3_true-termination_true-no-overflow.c - unknown 5.56 5.61 170463232
termination-restricted-15/GCD4_true-termination_true-no-overflow.c - unknown 5.93 5.97 172503040
termination-restricted-15/IntPath_true-termination_true-no-overflow.c - unknown 5.69 5.73 171499520
termination-restricted-15/LogAG_true-termination_true-no-overflow.c - unknown 4.00 4.04 171892736
termination-restricted-15/Log_true-termination_true-no-overflow.c - unknown 4.18 4.21 170561536
termination-restricted-15/McCarthyIterative_true-termination_true-no-overflow.c - unknown 4.06 4.10 171757568
termination-restricted-15/MinusBuiltIn_true-termination_true-no-overflow.c - unknown 5.99 6.03 172244992
termination-restricted-15/MinusUserDefined_true-termination_true-no-overflow.c - unknown 5.71 5.75 168050688
termination-restricted-15/Nested_true-termination_true-no-overflow.c - unknown 5.82 5.85 171511808
termination-restricted-15/PastaA10_true-termination_true-no-overflow.c - unknown 5.66 5.71 169238528
termination-restricted-15/PastaA1_true-termination_true-no-overflow.c - unknown 5.83 5.87 172097536
termination-restricted-15/PastaA4_true-termination_true-no-overflow.c - unknown 5.74 5.79 169402368
termination-restricted-15/PastaA7_true-termination_true-no-overflow.c - unknown 5.85 5.88 172969984
termination-restricted-15/PastaB14_true-termination_true-no-overflow.c - unknown 4.14 4.17 171651072
termination-restricted-15/PastaB15_true-termination_true-no-overflow.c - unknown 5.63 5.67 170856448
termination-restricted-15/PastaB16_true-termination_true-no-overflow.c - unknown 5.84 5.88 167333888
termination-restricted-15/PastaB17_true-termination_true-no-overflow.c - unknown 5.82 5.87 171380736
termination-restricted-15/PastaB1_true-termination_true-no-overflow.c - unknown 5.72 5.89 170037248
termination-restricted-15/PastaB2_true-termination_true-no-overflow.c - unknown 5.70 5.74 169947136
termination-restricted-15/PastaB4_true-termination_true-no-overflow.c - unknown 5.84 5.87 172728320
termination-restricted-15/PastaB6_true-termination_true-no-overflow.c - unknown 5.80 5.83 169816064
termination-restricted-15/PastaB7_true-termination_true-no-overflow.c - unknown 5.75 5.92 169074688
termination-restricted-15/PastaC3_true-termination_true-no-overflow.c - unknown 5.76 5.81 171081728
termination-restricted-15/PastaC7_true-termination_true-no-overflow.c - unknown 5.79 5.84 172322816
termination-restricted-15/PastaC9_true-termination_true-no-overflow.c - unknown 3.99 4.02 172011520
termination-restricted-15/Sequence_true-termination_true-no-overflow.c - unknown 5.81 5.85 169017344
termination-restricted-15/WhileDecr_true-termination_true-no-overflow.c - unknown 3.97 4.00 171020288
termination-restricted-15/a.01_true-termination_true-no-overflow.c - unknown 5.82 5.87 167477248
termination-restricted-15/a.04_true-termination_true-no-overflow.c - unknown 5.85 5.90 171081728
termination-restricted-15/a.05_true-termination_true-no-overflow.c - unknown 4.21 4.25 171646976
termination-restricted-15/a.06_true-termination_true-no-overflow.c - unknown 5.89 5.94 170876928
termination-restricted-15/a.07_true-termination_true-no-overflow.c - unknown 5.68 5.72 168767488
termination-restricted-15/a.08_true-termination_true-no-overflow.c - unknown 5.65 5.69 172720128
termination-restricted-15/a.09_assume_true-termination_true-no-overflow.c - unknown 5.73 5.77 168755200
termination-restricted-15/a.10_true-termination.c - unknown 4.01 4.04 171573248
termination-restricted-15/b.01_true-termination_true-no-overflow.c - unknown 5.80 5.84 171806720
termination-restricted-15/b.02_true-termination_true-no-overflow.c - unknown 5.79 5.83 171655168
termination-restricted-15/b.03-no-inv_assume_true-termination_true-no-overflow.c - unknown 5.90 5.94 172679168
termination-restricted-15/b.03_assume_true-termination_true-no-overflow.c - unknown 5.94 5.98 169062400
termination-restricted-15/b.04_true-termination_true-no-overflow.c - unknown 5.88 5.92 171425792
termination-restricted-15/b.05_true-termination_true-no-overflow.c - unknown 5.81 5.85 168738816
termination-restricted-15/b.06_true-termination_true-no-overflow.c - unknown 5.77 5.82 171954176
termination-restricted-15/b.07_true-termination_true-no-overflow.c - unknown 5.89 5.95 172339200
termination-restricted-15/b.09-no-inv_assume_true-termination_true-no-overflow.c - unknown 3.99 4.03 170876928
termination-restricted-15/b.09_assume_true-termination_true-no-overflow.c - unknown 4.10 4.13 168845312
termination-restricted-15/b.10_true-termination_true-no-overflow.c - unknown 4.19 4.21 170233856
termination-restricted-15/b.11_true-termination_true-no-overflow.c - unknown 5.73 5.78 169447424
termination-restricted-15/b.12_true-termination_true-no-overflow.c - unknown 5.68 5.73 168681472
termination-restricted-15/b.13_true-termination_true-no-overflow.c - unknown 5.52 5.56 170590208
termination-restricted-15/b.14_true-termination_true-no-overflow.c - unknown 6.00 6.04 171966464
termination-restricted-15/b.15_true-termination_true-no-overflow.c - unknown 5.86 5.91 169992192
termination-restricted-15/b.16_true-termination_true-no-overflow.c - unknown 5.90 5.95 173527040
termination-restricted-15/b.17_true-termination_true-no-overflow.c - error (13) 4.50 4.71 142036992
termination-restricted-15/b.18_true-termination_true-no-overflow.c - unknown 5.61 5.66 165097472
termination-restricted-15/c.01-no-inv_true-termination_true-no-overflow.c - unknown 5.80 5.85 167706624
termination-restricted-15/c.01_assume_true-termination_true-no-overflow.c - unknown 5.80 5.84 172933120
termination-restricted-15/c.02_true-termination_true-no-overflow.c - unknown 3.99 4.19 169840640
termination-restricted-15/c.03_true-termination_true-no-overflow.c - unknown 5.83 5.87 172171264
termination-restricted-15/c.07_true-termination_true-no-overflow.c - unknown 5.81 5.85 173064192
termination-restricted-15/c.08_true-termination_true-no-overflow.c - unknown 5.96 6.01 170065920
termination-restricted-15/ex3a_true-termination_true-no-overflow.c - unknown 5.55 5.60 171356160
termination-restricted-15/ex3b_true-termination_true-no-overflow.c - unknown 5.74 5.78 170778624
termination-restricted-15/java_AG313_true-termination_true-no-overflow.c - unknown 5.71 5.76 170635264
termination-restricted-15/java_Break_true-termination_true-no-overflow.c - unknown 4.16 4.26 169205760
termination-restricted-15/java_Continue1_true-termination_true-no-overflow.c - unknown 6.06 6.11 172044288
termination-restricted-15/java_Nested_true-termination_true-no-overflow.c - unknown 5.81 6.00 172494848
termination-restricted-15/java_Sequence_true-termination_true-no-overflow.c - unknown 5.70 5.75 170029056
termination-restricted-15/AlternKonv_false-termination_true-no-overflow.c - unknown 3.92 3.95 172273664
termination-restricted-15/ComplInterv2_false-termination_true-no-overflow.c - unknown 5.83 5.88 171425792
termination-restricted-15/ConvLower_false-termination_true-no-overflow.c - unknown 5.74 5.90 168796160
termination-restricted-15/Ex02_false-termination_true-no-overflow.c - unknown 4.03 4.07 170647552
termination-restricted-15/Ex03_false-termination_true-no-overflow.c - unknown 5.60 5.65 170250240
termination-restricted-15/Ex05_false-termination_true-no-overflow.c - unknown 5.71 5.76 169873408
termination-restricted-15/Ex06_false-termination_true-no-overflow.c - unknown 5.88 5.93 169705472
termination-restricted-15/Ex07_false-termination_true-no-overflow.c - unknown 3.99 4.02 166547456
termination-restricted-15/Ex08_false-termination_true-no-overflow.c - unknown 5.74 5.80 171589632
termination-restricted-15/Flip2_false-termination_true-no-overflow.c - unknown 5.99 6.02 172290048
termination-restricted-15/Flip_false-termination_true-no-overflow.c - unknown 5.76 5.81 169054208
termination-restricted-15/GCD2_false-termination_true-no-overflow.c - unknown 5.63 5.67 168280064
termination-restricted-15/GCD_false-termination_true-no-overflow.c - unknown 5.69 5.74 170815488
termination-restricted-15/Loop_false-termination_true-no-overflow.c - unknown 5.73 5.78 167563264
termination-restricted-15/MirrorIntervSim_false-termination_true-no-overflow.c - unknown 5.90 5.94 172691456
termination-restricted-15/NO_00_false-termination_true-no-overflow.c - unknown 5.87 5.92 171208704
termination-restricted-15/NO_01_false-termination_true-no-overflow.c - unknown 5.81 5.86 173494272
termination-restricted-15/NO_02_false-termination_true-no-overflow.c - unknown 5.62 5.67 168079360
termination-restricted-15/NO_03_false-termination_true-no-overflow.c - unknown 5.73 5.78 170635264
termination-restricted-15/NO_04_false-termination_true-no-overflow.c - unknown 5.91 5.97 172535808
termination-restricted-15/NO_13_false-termination_true-no-overflow.c - unknown 5.82 6.20 170033152
termination-restricted-15/NO_21_false-termination_true-no-overflow.c - unknown 5.89 5.94 169533440
termination-restricted-15/NO_22_false-termination_true-no-overflow.c - unknown 4.02 4.06 171266048
termination-restricted-15/NO_23_false-termination_true-no-overflow.c - unknown 5.69 5.72 167202816
termination-restricted-15/NO_24_false-termination_true-no-overflow.c - unknown 4.17 4.20 170610688
termination-restricted-15/NarrowKonv_false-termination_true-no-overflow.c - unknown 5.71 5.76 167088128
termination-restricted-15/Narrowing_false-termination_true-no-overflow.c - unknown 4.19 4.22 165404672
termination-restricted-15/Sunset_false-termination_true-no-overflow.c - unknown 5.69 5.86 169832448
termination-restricted-15/Swingers_false-termination_true-no-overflow.c - unknown 5.93 5.96 169058304
termination-restricted-15/TwoFloatInterv_false-termination_true-no-overflow.c - unknown 3.96 3.99 172027904
termination-restricted-15/UpAndDownIneq_false-termination_true-no-overflow.c - unknown 5.74 5.79 171307008
termination-restricted-15/UpAndDown_false-termination_true-no-overflow.c - unknown 5.77 5.81 167747584
termination-restricted-15/WhilePart_false-termination_true-no-overflow.c - unknown 5.75 5.80 168488960
termination-restricted-15/WhileSingle_false-termination_true-no-overflow.c - unknown 5.81 5.86 172048384
termination-libowfat/atoi_true-termination.c.i - unknown 6.15 6.19 179232768
termination-libowfat/atol_true-termination.c.i - unknown 6.18 6.23 180572160
termination-libowfat/atoll_true-termination.c.i - unknown 6.03 6.08 177025024
termination-libowfat/basename_true-termination.c.i - unknown 4.37 4.41 179007488
termination-libowfat/build_fullname_true-termination.c.i - unknown 6.18 6.22 177569792
termination-libowfat/dirname_true-termination.c.i - unknown 4.36 4.39 180432896
termination-libowfat/skip_to_true-termination.c.i - unknown 6.20 6.25 171704320
termination-libowfat/stpcpy_true-termination.c.i - unknown 6.09 6.13 178159616
termination-libowfat/strcasecmp_true-termination.c.i - unknown 6.20 6.26 184360960
termination-libowfat/strcat_short_true-termination.c.i - unknown 6.21 6.26 177508352
termination-libowfat/strcat_true-termination.c.i - unknown 4.24 4.27 185229312
termination-libowfat/strchr_short_true-termination.c.i - unknown 6.15 6.20 182226944
termination-libowfat/strchr_true-termination.c.i - unknown 6.04 6.09 180961280
termination-libowfat/strcmp_short_true-termination.c.i - unknown 6.25 6.42 178958336
termination-libowfat/strcpy_small_true-termination.c.i - unknown 6.12 6.17 172941312
termination-libowfat/strcspn_true-termination.c.i - unknown 6.49 6.54 181198848
termination-libowfat/strdup_true-termination.c.i - unknown 6.25 6.30 178311168
termination-libowfat/strlcat_true-termination.c.i - unknown 6.10 6.14 180809728
termination-libowfat/strlcpy_true-termination.c.i - unknown 6.47 6.66 182906880
termination-libowfat/strlen_true-termination.c.i - unknown 6.05 6.09 175312896
termination-libowfat/strpbrk_true-termination.c.i - unknown 4.22 4.25 174669824
termination-libowfat/strrchr_short_true-termination.c.i - unknown 6.14 6.19 179286016
termination-libowfat/strrchr_true-termination.c.i - unknown 6.32 6.52 176824320
termination-libowfat/strspn_true-termination.c.i - unknown 6.03 6.07 177524736
termination-libowfat/strstr_true-termination.c.i - unknown 6.11 6.15 180396032
termination-libowfat/strtok_r_true-termination.c.i - unknown 6.39 6.57 180019200
termination-libowfat/strtol_true-termination.c.i - unknown 6.30 6.53 179359744
termination-libowfat/strtoul_true-termination.c.i - unknown 6.22 6.28 177799168
termination-libowfat/strtoull_true-termination.c.i - unknown 4.60 4.81 182112256
termination-libowfat/wcsrchr_true-termination.c.i - unknown 6.09 6.13 176328704
termination-libowfat/wcsstr_true-termination.c.i - unknown 4.33 4.36 174989312
termination-memory-alloca/Urban-2013WST-Fig1-alloca_false-termination.c.i - unknown 4.26 4.29 176455680
termination-memory-alloca/Velroyen-alloca_false-termination.c.i - unknown 5.96 6.01 178741248
termination-memory-alloca/Avery-2006FLOPS-Tabel1_true-alloca_true-termination.c.i - unknown 6.21 6.26 182181888
termination-memory-alloca/Ben-Amram-2010LMCS-Ex2.3-alloca_true-termination.c.i - unknown 4.32 4.34 176918528
termination-memory-alloca/BrockschmidtCookFuhs-2013CAV-Fig1-alloca_true-termination.c.i - unknown 5.93 5.97 175951872
termination-memory-alloca/BrockschmidtCookFuhs-2013CAV-Introduction-alloca_true-termination.c.i - unknown 6.21 6.25 176963584
termination-memory-alloca/ChenFlurMukhopadhyay-2012SAS-Fig1-alloca_true-termination.c.i - unknown 6.10 6.28 175038464
termination-memory-alloca/CookSeeZuleger-2013TACAS-Fig3-alloca_true-termination.c.i - unknown 6.15 6.21 181506048
termination-memory-alloca/CookSeeZuleger-2013TACAS-Fig7a-alloca_true-termination.c.i - unknown 6.35 6.52 177233920
termination-memory-alloca/CookSeeZuleger-2013TACAS-Fig7b-alloca_true-termination.c.i - unknown 6.24 6.29 175579136
termination-memory-alloca/GulwaniJainKoskinen-2009PLDI-Fig1-alloca_true-termination.c.i - unknown 6.15 6.37 182644736
termination-memory-alloca/HarrisLalNoriRajamani-2010SAS-Fig1-alloca_true-termination.c.i - unknown 6.19 6.24 176504832
termination-memory-alloca/HarrisLalNoriRajamani-2010SAS-Fig3-alloca_true-termination.c.i - unknown 5.86 5.91 175349760
termination-memory-alloca/KroeningSharyginaTsitovichWintersteiger-2010CAV-Fig1-alloca_true-termination.c.i - unknown 6.03 6.08 175849472
termination-memory-alloca/Masse-alloca_true-termination.c.i - unknown 6.31 6.35 177217536
termination-memory-alloca/NoriSharma-2013FSE-Fig7-alloca_true-termination.c.i - unknown 6.24 6.31 180629504
termination-memory-alloca/NoriSharma-2013FSE-Fig8-alloca_true-termination.c.i - unknown 6.16 6.20 177045504
termination-memory-alloca/TelAviv-Amir-Minimum-alloca_true-termination.c.i - unknown 6.35 6.40 179642368
termination-memory-alloca/Toulouse-BranchesToLoop-alloca_true-termination.c.i - unknown 6.41 6.45 176508928
termination-memory-alloca/Toulouse-MultiBranchesToLoop-alloca_true-termination.c.i - unknown 4.27 4.31 181264384
termination-memory-alloca/Urban-2013WST-Fig2-alloca_true-termination.c.i - unknown 4.33 4.36 178180096
termination-memory-alloca/Urban-2013WST-Fig2-modified1000-alloca_true-termination.c.i - unknown 4.42 4.46 177012736
termination-memory-alloca/Urban-alloca_true-termination.c.i - unknown 6.24 6.40 175804416
termination-memory-alloca/a.01-alloca_true-termination_true-no-overflow.c.i - unknown 6.31 6.35 178720768
termination-memory-alloca/a.04-alloca_true-termination_true-no-overflow.c.i - unknown 6.40 6.46 173203456
termination-memory-alloca/a.05-alloca_true-termination_true-no-overflow.c.i - unknown 6.15 6.19 178216960
termination-memory-alloca/a.06-alloca_true-termination_true-no-overflow.c.i - unknown 6.43 6.47 180469760
termination-memory-alloca/a.07-alloca_true-termination_true-no-overflow.c.i - unknown 4.30 4.52 180715520
termination-memory-alloca/a.08-alloca_true-termination_true-no-overflow.c.i - unknown 6.12 6.17 177762304
termination-memory-alloca/a.09_assume-alloca_true-termination_true-no-overflow.c.i - unknown 6.22 6.26 175333376
termination-memory-alloca/a.10-alloca_true-termination_true-no-overflow.c.i - unknown 6.03 6.07 177786880
termination-memory-alloca/add_last-alloca_true-termination.c.i - unknown 6.24 6.30 174120960
termination-memory-alloca/array01-alloca_true-termination.c.i - unknown 6.18 6.23 181510144
termination-memory-alloca/array02-alloca_true-termination.c.i - unknown 6.13 6.18 178323456
termination-memory-alloca/array03-alloca_true-termination.c.i - unknown 6.09 6.13 179277824
termination-memory-alloca/aviad_true-alloca_true-termination.c.i - unknown 6.39 6.44 177459200
termination-memory-alloca/b.01-alloca_true-termination_true-no-overflow.c.i - unknown 6.07 6.11 173133824
termination-memory-alloca/b.02-alloca_true-termination_true-no-overflow.c.i - unknown 6.31 6.36 175177728
termination-memory-alloca/b.03-no-inv_assume-alloca_true-termination_true-no-overflow.c.i - unknown 6.19 6.24 177348608
termination-memory-alloca/b.03_assume-alloca_true-termination_true-no-overflow.c.i - unknown 6.26 6.31 174903296
termination-memory-alloca/b.04-alloca_true-termination_true-no-overflow.c.i - unknown 6.10 6.14 179429376
termination-memory-alloca/b.05-alloca_true-termination_true-no-overflow.c.i - unknown 4.16 4.19 178610176
termination-memory-alloca/b.06-alloca_true-termination_true-no-overflow.c.i - unknown 4.32 4.35 178565120
termination-memory-alloca/b.07-alloca_true-termination_true-no-overflow.c.i - unknown 4.07 4.09 176979968
termination-memory-alloca/b.09-no-inv_assume-alloca_true-termination_true-no-overflow.c.i - unknown 6.30 6.34 178704384
termination-memory-alloca/b.09_assume-alloca_true-termination_true-no-overflow.c.i - unknown 6.13 6.18 180801536
termination-memory-alloca/b.10-alloca_true-termination_true-no-overflow.c.i - unknown 6.12 6.19 176050176
termination-memory-alloca/b.11-alloca_true-termination_true-no-overflow.c.i - unknown 6.24 6.28 180502528
termination-memory-alloca/b.12-alloca_true-termination_true-no-overflow.c.i - unknown 6.12 6.17 174567424
termination-memory-alloca/b.13-alloca_true-termination_true-no-overflow.c.i - unknown 6.30 6.34 177487872
termination-memory-alloca/b.14-alloca_true-termination_true-no-overflow.c.i - unknown 4.22 4.42 174383104
termination-memory-alloca/b.15-alloca_true-termination_true-no-overflow.c.i - unknown 6.12 6.17 178475008
termination-memory-alloca/b.16-alloca_true-termination_true-no-overflow.c.i - unknown 6.26 6.30 182665216
termination-memory-alloca/b.17-alloca_true-termination_true-no-overflow.c.i - unknown 6.41 6.46 182370304
termination-memory-alloca/b.18-alloca_true-termination_true-no-overflow.c.i - unknown 6.47 6.52 177135616
termination-memory-alloca/bubblesort-alloca_true-termination.c.i - unknown 6.21 6.25 179572736
termination-memory-alloca/c.01-no-inv-alloca_true-termination_true-no-overflow.c.i - unknown 6.20 6.24 178630656
termination-memory-alloca/c.01_assume-alloca_true-termination_true-no-overflow.c.i - unknown 5.93 5.97 174493696
termination-memory-alloca/c.02-alloca_true-termination_true-no-overflow.c.i - unknown 6.16 6.21 178618368
termination-memory-alloca/c.03-alloca_true-termination_true-no-overflow.c.i - unknown 4.27 4.29 176492544
termination-memory-alloca/c.07-alloca_true-termination_true-no-overflow.c.i - error (13) 3.22 3.25 143855616
termination-memory-alloca/c.08-alloca_true-termination_true-no-overflow.c.i - unknown 4.30 4.34 175439872
termination-memory-alloca/count_down-alloca_true-termination.c.i - unknown 6.01 6.06 168812544
termination-memory-alloca/cstrcat-alloca_true-termination.c.i - unknown 6.15 6.19 181891072
termination-memory-alloca/cstrchr-alloca_true-termination.c.i - unknown 6.15 6.19 177471488
termination-memory-alloca/cstrcmp-alloca_true-termination.c.i - unknown 6.24 6.43 182964224
termination-memory-alloca/cstrcpy-alloca_true-termination.c.i - unknown 6.30 6.34 176402432
termination-memory-alloca/cstrcspn-alloca_true-termination.c.i - unknown 6.25 6.49 180826112
termination-memory-alloca/cstrlen-alloca_true-termination.c.i - unknown 4.24 4.28 179331072
termination-memory-alloca/cstrncat-alloca_true-termination.c.i - unknown 5.93 5.97 176082944
termination-memory-alloca/cstrncmp-alloca_true-termination.c.i - unknown 6.32 6.36 179154944
termination-memory-alloca/cstrncpy-alloca_true-termination.c.i - unknown 6.13 6.18 177815552
termination-memory-alloca/cstrpbrk-alloca_true-termination.c.i - unknown 6.09 6.14 178368512
termination-memory-alloca/cstrspn-alloca_true-termination.c.i - unknown 6.14 6.18 180924416
termination-memory-alloca/diff-alloca_true-termination.c.i - unknown 6.30 6.35 176529408
termination-memory-alloca/easySum-alloca_true-termination.c.i - unknown 6.19 6.24 178102272
termination-memory-alloca/ex1-alloca_true-termination.c.i - unknown 6.21 6.26 181780480
termination-memory-alloca/ex2-alloca_true-termination.c.i - unknown 6.09 6.15 176697344
termination-memory-alloca/ex3a-alloca_true-termination_true-no-overflow.c.i - unknown 5.99 6.04 174034944
termination-memory-alloca/ex3b-alloca_true-termination.c.i - unknown 4.10 4.13 175661056
termination-memory-alloca/fermat-alloca_true-termination.c.i - unknown 4.12 4.14 175546368
termination-memory-alloca/flag-alloca_true-termination.c.i - unknown 6.44 6.48 180576256
termination-memory-alloca/gcd1-alloca_true-termination.c.i - unknown 4.48 4.52 181002240
termination-memory-alloca/genady-alloca_true-termination.c.i - unknown 6.41 6.48 178708480
termination-memory-alloca/insertionsort-alloca_true-termination.c.i - unknown 6.07 6.11 181403648
termination-memory-alloca/java_AG313-alloca_true-termination.c.i - unknown 6.41 6.47 181600256
termination-memory-alloca/java_Break-alloca_true-termination.c.i - unknown 6.43 6.48 180391936
termination-memory-alloca/java_BubbleSort-alloca_true-termination.c.i - unknown 6.14 6.20 176603136
termination-memory-alloca/java_Continue1-alloca_true-termination.c.i - unknown 5.94 5.99 176001024
termination-memory-alloca/java_LogBuiltIn-alloca_true-termination.c.i - unknown 5.95 5.99 176381952
termination-memory-alloca/java_Nested-alloca_true-termination.c.i - unknown 4.32 4.36 178302976
termination-memory-alloca/java_Sequence-alloca_true-termination.c.i - unknown 6.11 6.14 178946048
termination-memory-alloca/lis-alloca_true-termination.c.i - unknown 6.26 6.32 178094080
termination-memory-alloca/min_rf-alloca_true-termination.c.i - unknown 6.18 6.37 179138560
termination-memory-alloca/mult_array-alloca_true-termination.c.i - unknown 6.07 6.11 176074752
termination-memory-alloca/openbsd_cbzero-alloca_true-termination.c.i - unknown 4.21 4.24 173547520
termination-memory-alloca/openbsd_cmemchr-alloca_true-termination.c.i - unknown 5.95 5.99 177053696
termination-memory-alloca/openbsd_cmemrchr-alloca_true-termination.c.i - unknown 6.17 6.22 176885760
termination-memory-alloca/openbsd_cmemset-alloca_true-termination.c.i - error (13) 4.48 4.65 141103104
termination-memory-alloca/openbsd_cstpcpy-alloca_true-termination.c.i - unknown 6.11 6.15 179470336
termination-memory-alloca/openbsd_cstpncpy-alloca_true-termination.c.i - unknown 6.42 6.46 179920896
termination-memory-alloca/openbsd_cstrcat-alloca_true-termination.c.i - unknown 6.18 6.37 184422400
termination-memory-alloca/openbsd_cstrcmp-alloca_true-termination.c.i - unknown 4.14 4.16 175984640
termination-memory-alloca/openbsd_cstrcpy-alloca_true-termination.c.i - unknown 6.11 6.15 181653504
termination-memory-alloca/openbsd_cstrcspn-alloca_true-termination.c.i - unknown 6.38 6.44 179261440
termination-memory-alloca/openbsd_cstrlcpy-alloca_true-termination.c.i - unknown 6.11 6.17 175288320
termination-memory-alloca/openbsd_cstrlen-alloca_true-termination.c.i - unknown 6.10 6.14 178356224
termination-memory-alloca/openbsd_cstrncat-alloca_true-termination.c.i - unknown 6.19 6.24 176259072
termination-memory-alloca/openbsd_cstrncmp-alloca_true-termination.c.i - unknown 4.24 4.44 178413568
termination-memory-alloca/openbsd_cstrncpy-alloca_true-termination.c.i - unknown 6.26 6.31 179302400
termination-memory-alloca/openbsd_cstrnlen-alloca_true-termination.c.i - unknown 4.36 4.39 177938432
termination-memory-alloca/openbsd_cstrpbrk-alloca_true-termination.c.i - unknown 6.15 6.20 179855360
termination-memory-alloca/openbsd_cstrspn-alloca_true-termination.c.i - unknown 6.27 6.32 179892224
termination-memory-alloca/openbsd_cstrstr-alloca_true-termination.c.i - unknown 5.82 5.86 181891072
termination-memory-alloca/rec_strlen-alloca_true-termination.c.i - unknown 6.16 6.21 176865280
termination-memory-alloca/selectionsort-alloca_true-termination.c.i - unknown 6.03 6.07 180068352
termination-memory-alloca/stroeder1-alloca_true-termination.c.i - unknown 5.68 5.76 173985792
termination-memory-alloca/stroeder2-alloca_true-termination.c.i - unknown 5.28 5.34 172920832
termination-memory-alloca/strreplace-alloca_true-termination.c.i - unknown 6.20 6.25 178585600
termination-memory-alloca/subseq-alloca_true-termination.c.i - unknown 4.17 4.36 175845376
termination-memory-alloca/substring-alloca_true-termination.c.i - unknown 4.47 4.52 180064256
termination-memory-alloca/twisted-alloca_true-termination.c.i - unknown 5.92 5.95 178282496
termination-memory-linkedlists/cll_by_lseg-alloca_false-termination.c.i - unknown 6.15 6.21 171360256
termination-memory-linkedlists/cll_by_lseg_traverse-alloca_false-termination.c.i - unknown 6.04 6.09 181989376
termination-memory-linkedlists/cll_search-alloca_false-termination.c.i - unknown 6.22 6.55 181993472
termination-memory-linkedlists/cll_traverse-alloca_false-termination.c.i - unknown 6.05 6.21 176570368
termination-memory-linkedlists/ll_append-alloca_false-termination.c.i - unknown 4.33 4.37 178028544
termination-memory-linkedlists/ll_append_rec-alloca_false-termination.c.i - unknown 6.25 6.71 183341056
termination-memory-linkedlists/ll_create_rec-alloca_false-termination.c.i - unknown 6.22 6.28 174108672
termination-memory-linkedlists/nondet_ll_search-alloca_false-termination.c.i - unknown 6.10 6.50 180408320
termination-memory-linkedlists/nondet_ll_traverse-alloca_false-termination.c.i - unknown 6.18 6.22 180301824
termination-memory-linkedlists/cll_by_lseg-alloca_true-termination.c.i - error (13) 4.49 4.54 142024704
termination-memory-linkedlists/cll_search-alloca_true-termination.c.i - error (13) 4.32 4.35 143433728
termination-memory-linkedlists/ll_append-alloca_true-termination.c.i - unknown 4.39 4.41 176386048
termination-memory-linkedlists/ll_append_rec-alloca_true-termination.c.i - unknown 6.35 6.40 181321728
termination-memory-linkedlists/ll_create_rec-alloca_true-termination.c.i - unknown 5.94 5.98 176607232
termination-memory-linkedlists/ll_search-alloca_true-termination.c.i - unknown 6.18 6.23 178970624
termination-memory-linkedlists/ll_search_not_found-alloca_true-termination.c.i - unknown 6.36 6.54 187359232
termination-memory-linkedlists/ll_traverse-alloca_true-termination.c.i - unknown 6.13 6.18 181882880
termination-memory-linkedlists/nondet_ll_search-alloca_true-termination.c.i - unknown 4.24 4.28 179236864
termination-15/add_first_alloca_true-termination.c.i - unknown 6.02 6.42 177254400
termination-15/array05_alloca_true-termination.c.i - unknown 6.17 6.21 179073024
termination-15/array06_alloca_true-termination.c.i - unknown 6.09 6.14 174538752
termination-15/array07_alloca_true-termination.c.i - unknown 6.22 6.27 175120384
termination-15/array08_alloca_true-termination.c.i - unknown 6.07 6.11 177311744
termination-15/array09_alloca_true-termination.c.i - unknown 6.38 6.43 181055488
termination-15/array10_alloca_true-termination.c.i - unknown 6.14 6.19 174387200
termination-15/array12_alloca_true-termination.c.i - unknown 5.98 6.04 174944256
termination-15/array13_alloca_true-termination.c.i - unknown 4.39 4.42 176533504
termination-15/array16_alloca_fixed_true-termination.c.i - unknown 4.31 4.33 176558080
termination-15/array17_alloca_true-termination.c.i - unknown 6.21 6.26 180490240
termination-15/array18_alloca_true-termination.c.i - unknown 6.00 6.04 179224576
termination-15/count_up_alloca_true-termination.c.i - unknown 4.53 4.56 176906240
termination-15/count_up_and_down_alloca_true-termination.c.i - unknown 6.14 6.19 175742976
termination-15/cstrcat_diffterm_alloca_true-termination.c.i - unknown 5.99 6.03 175378432
termination-15/cstrcat_malloc_true-termination.c.i - unknown 6.22 6.27 176070656
termination-15/cstrcat_mixed_alloca_true-termination.c.i - unknown 6.30 6.36 178155520
termination-15/cstrcat_reverse_alloca_true-termination.c.i - unknown 4.26 4.29 175194112
termination-15/cstrchr_diffterm_alloca_true-termination.c.i - unknown 6.24 6.29 181776384
termination-15/cstrchr_malloc_true-termination.c.i - unknown 6.19 6.24 181858304
termination-15/cstrchr_reverse_alloca_true-termination.c.i - unknown 6.14 6.19 176795648
termination-15/cstrcmp_diffterm_alloca_true-termination.c.i - unknown 6.13 6.34 174804992
termination-15/cstrcmp_malloc_true-termination.c.i - unknown 6.34 6.38 176816128
termination-15/cstrcmp_mixed_alloca_true-termination.c.i - unknown 6.02 6.07 178704384
termination-15/cstrcmp_reverse_alloca_true-termination.c.i - unknown 6.05 6.10 176803840
termination-15/cstrcpy_diffterm_alloca_true-termination.c.i - unknown 6.20 6.24 176480256
termination-15/cstrcpy_malloc_true-termination.c.i - unknown 6.09 6.14 175718400
termination-15/cstrcpy_mixed_alloca_true-termination.c.i - unknown 6.00 6.04 176734208
termination-15/cstrcpy_reverse_alloca_true-termination.c.i - unknown 4.51 4.55 176680960
termination-15/cstrcspn_diffterm_alloca_true-termination.c.i - unknown 4.20 4.23 178085888
termination-15/cstrcspn_malloc_true-termination.c.i - unknown 6.33 6.37 180256768
termination-15/cstrcspn_mixed_alloca_true-termination.c.i - unknown 6.15 6.19 175738880
termination-15/cstrcspn_reverse_alloca_true-termination.c.i - unknown 6.21 6.25 177778688
termination-15/cstrlen_diffterm_alloca_true-termination.c.i - unknown 6.23 6.28 176640000
termination-15/cstrlen_malloc_true-termination.c.i - unknown 6.02 6.07 176005120
termination-15/cstrlen_reverse_alloca_true-termination.c.i - unknown 6.12 6.17 178634752
termination-15/cstrncat_diffterm_alloca_true-termination.c.i - unknown 4.37 4.41 179519488
termination-15/cstrncat_malloc_true-termination.c.i - unknown 6.07 6.12 178364416
termination-15/cstrncat_mixed_alloca_true-termination.c.i - unknown 6.20 6.26 176484352
termination-15/cstrncat_reverse_alloca_true-termination.c.i - unknown 4.15 4.18 174518272
termination-15/cstrncmp_diffterm_alloca_true-termination.c.i - unknown 5.99 6.04 180293632
termination-15/cstrncmp_malloc_true-termination.c.i - unknown 6.25 6.30 180912128
termination-15/cstrncmp_mixed_alloca_true-termination.c.i - unknown 6.17 6.21 176431104
termination-15/cstrncmp_reverse_alloca_true-termination.c.i - unknown 6.09 6.14 175190016
termination-15/cstrncpy_diffterm_alloca_true-termination.c.i - unknown 6.01 6.06 177831936
termination-15/cstrncpy_malloc_true-termination.c.i - unknown 6.16 6.21 180711424
termination-15/cstrncpy_mixed_alloca_true-termination.c.i - unknown 6.15 6.20 178282496
termination-15/cstrncpy_reverse_alloca_true-termination.c.i - unknown 6.21 6.26 183697408
termination-15/cstrpbrk_diffterm_alloca_true-termination.c.i - unknown 6.34 6.53 177664000
termination-15/cstrpbrk_malloc_true-termination.c.i - unknown 6.06 6.46 178561024
termination-15/cstrpbrk_mixed_alloca_true-termination.c.i - unknown 5.87 5.93 177418240
termination-15/cstrpbrk_reverse_alloca_true-termination.c.i - error (13) 4.49 4.52 141828096
termination-15/cstrspn_diffterm_alloca_true-termination.c.i - unknown 6.08 6.14 174288896
termination-15/cstrspn_malloc_true-termination.c.i - unknown 4.37 4.39 178470912
termination-15/cstrspn_mixed_alloca_true-termination.c.i - unknown 6.28 6.33 177639424
termination-15/cstrspn_reverse_alloca_true-termination.c.i - unknown 4.45 4.47 177504256
termination-15/array04_alloca_false-termination.c.i - unknown 6.25 6.29 176082944
termination-15/array14_alloca_false-termination.c.i - unknown 6.21 6.58 176209920
termination-15/array15_alloca_false-termination.c.i - unknown 4.23 4.25 173752320
termination-15/array16_alloca_original_false-termination.c.i - unknown 4.32 4.36 174936064
termination-15/array19_alloca_false-termination.c.i - unknown 5.92 5.98 177180672
termination-15/array20_alloca_false-termination.c.i - unknown 6.01 6.06 178446336
termination-recursive-malloc/chunk1_true-termination.c.i - unknown 6.03 6.10 173195264
termination-recursive-malloc/chunk2_true-termination.c.i - error (13) 4.64 4.68 144769024
termination-recursive-malloc/chunk3_true-termination.c.i - unknown 6.07 6.11 175616000
termination-recursive-malloc/insertionSort_recursive_true-termination.c.i - unknown 6.10 6.16 171794432
termination-recursive-malloc/mergeSort_true-termination.c.i - unknown 5.79 5.85 170627072
termination-recursive-malloc/mutual_simple2_true-termination.c.i - unknown 5.83 5.88 174125056
termination-recursive-malloc/mutual_simple_true-termination.c.i - unknown 5.82 6.07 175898624
termination-recursive-malloc/rec_malloc_ex10_true-termination.c.i - unknown 6.01 6.05 172150784
termination-recursive-malloc/rec_malloc_ex11B_true-termination.c.i - unknown 4.23 4.26 172064768
termination-recursive-malloc/rec_malloc_ex11C_true-termination.c.i - unknown 5.97 6.03 173334528
termination-recursive-malloc/rec_malloc_ex11D_true-termination.c.i - unknown 4.09 4.29 175403008
termination-recursive-malloc/rec_malloc_ex11_true-termination.c.i - unknown 5.96 6.01 174125056
termination-recursive-malloc/rec_malloc_ex1_true-termination.c.i - unknown 4.08 4.11 170508288
termination-recursive-malloc/rec_malloc_ex2_true-termination.c.i - unknown 5.67 5.73 173752320
termination-recursive-malloc/rec_malloc_ex3_true-termination.c.i - unknown 5.88 5.92 171945984
termination-recursive-malloc/rec_malloc_ex4_true-termination.c.i - unknown 5.78 5.82 173330432
termination-recursive-malloc/rec_malloc_ex5B_true-termination.c.i - unknown 6.10 6.14 174714880
termination-recursive-malloc/rec_malloc_ex5_true-termination.c.i - unknown 5.98 6.02 173182976
termination-recursive-malloc/rec_malloc_ex6_true-termination.c.i - unknown 5.82 5.87 169193472
termination-recursive-malloc/rec_malloc_ex7B_true-termination.c.i - unknown 5.90 5.94 176427008
termination-recursive-malloc/rec_malloc_ex7_true-termination.c.i - unknown 4.02 4.05 171819008
termination-recursive-malloc/rec_malloc_ex8_true-termination.c.i - unknown 5.91 6.11 170962944
termination-recursive-malloc/rec_malloc_ex9_true-termination.c.i - unknown 5.86 5.91 172322816
termination-recursive-malloc/rec_strcopy_malloc2_true-termination.c.i - unknown 5.93 5.97 170491904
termination-recursive-malloc/rec_strcopy_malloc_true-termination.c.i - unknown 5.81 5.86 171851776
termination-recursive-malloc/rec_strlen_malloc_true-termination.c.i - unknown 5.83 5.88 171630592
termination-recursive-malloc/selectionSort_recursive_true-termination.c.i - unknown 5.94 5.98 173723648
ssh-simplified/s3_clnt_3.cil_true-unreach-call_true-termination.c - unknown 6.31 6.36 177205248
pthread-atomic/gcd_true-unreach-call_true-termination.i - unknown 4.98 5.02 171638784
../../../trunk/examples/svcomp/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
total 255 3190 4530 158913449984 982 8030 8150 288853405696
    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-bitvector.Bitvector svcomp-translation-default.Default