Tool ULTIMATE Automizer 0.1.23-a9a874ae
Limits timelimit: 120 s, memlimit: 4000 MB, CPU core limit: 1
Host struebli
OS Linux-4.16.18-gentoo-x86_64-AMD_EPYC_7351P_16-Core_Processor-with-gentoo-2.4.1
System CPU: AMD EPYC 7351P 16-Core Processor, cores: 32, frequency: 2400 MHz; RAM: 135158 MB
Date of execution 2018-11-08 12:55:08 CET 2018-11-08 11:26:08 CET
Run set svcomp-translation-default.Default svcomp-translation-bitvector.Bitvector
Options -tc ../../../trunk/examples/toolchains/C-BPP.xml -ea -tc ../../../trunk/examples/toolchains/C-BPP.xml -ea
../../../trunk/examples/svcomp/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
array-crafted/zero_sum1_true-unreach-call.c unknown 7.19 7.24 174772224 error: exception 4.76 4.96 167489536
array-crafted/zero_sum2_true-unreach-call.c unknown 7.12 7.17 174706688 error: exception 7.19 7.26 170090496
array-crafted/zero_sum3_true-unreach-call.c unknown 5.02 5.07 167202816 error: exception 6.72 6.92 169132032
array-crafted/zero_sum4_true-unreach-call.c unknown 7.18 7.23 168603648 error: exception 6.94 7.01 168996864
array-crafted/zero_sum5_true-unreach-call.c unknown 7.30 7.38 171606016 error: exception 6.93 6.98 167358464
array-crafted/zero_sum_m2_true-unreach-call.c unknown 7.12 7.18 174276608 error: exception 4.83 4.87 165740544
array-crafted/zero_sum_m3_true-unreach-call.c unknown 6.96 7.02 173838336 error: exception 7.07 7.13 172417024
array-crafted/zero_sum_m4_true-unreach-call.c unknown 7.24 7.31 169431040 error: exception 6.58 6.63 167636992
array-crafted/zero_sum_m5_true-unreach-call.c unknown 7.08 7.14 172544000 error: exception 4.69 4.73 169070592
ntdrivers/diskperf_false-unreach-call.i.cil.c unknown 13.5  13.5  396926976 error: type error 13.1  13.2  439840768
ntdrivers/parport_false-unreach-call.i.cil.c unknown 12.4  12.5  737234944 error: type error 18.3  18.4  747593728
ntdrivers/diskperf_true-unreach-call.i.cil.c unknown 13.9  14.0  439566336 error: type error 13.8  13.9  496013312
ntdrivers/parport_true-unreach-call.i.cil.c unknown 17.3  17.4  742907904 error: type error 18.0  18.1  745889792
eca-rers2012/Problem08_label50_false-unreach-call.c unknown 104    104    3044757504 timeout 121    121    3371913216
eca-rers2012/Problem09_label03_false-unreach-call.c unknown 107    107    3329196032 timeout 121    121    3281944576
eca-rers2012/Problem09_label08_false-unreach-call.c unknown 111    112    3323965440 timeout 121    121    3285696512
eca-rers2012/Problem08_label32_true-unreach-call.c unknown 104    104    3046100992 timeout 121    121    3354173440
eca-rers2012/Problem09_label18_true-unreach-call.c unknown 114    114    3319857152 timeout 120    121    3277836288
eca-rers2012/Problem09_label22_true-unreach-call.c unknown 114    114    3203727360 timeout 121    121    3285651456
eca-rers2012/Problem09_label39_true-unreach-call.c unknown 110    111    3124678656 timeout 121    121    3289141248
eca-rers2012/Problem09_label42_true-unreach-call.c unknown 111    111    3308273664 timeout 120    121    3270664192
eca-rers2012/Problem09_label50_true-unreach-call.c unknown 72.6  72.8  3165163520 timeout 121    121    3278811136
eca-programs/Problem102_label29_false-unreach-call.c unknown 109    110    3042729984 timeout 121    121    3340115968
eca-programs/Problem103_label57_false-unreach-call.c unknown 112    113    3316441088 timeout 121    121    3283804160
eca-programs/Problem103_label59_false-unreach-call.c unknown 116    116    3187113984 timeout 121    121    3265650688
eca-programs/Problem102_label08_true-unreach-call.c unknown 110    110    3283230720 timeout 121    121    3353583616
eca-programs/Problem102_label31_true-unreach-call.c unknown 114    114    3228717056 timeout 121    121    3123683328
eca-programs/Problem103_label43_true-unreach-call.c unknown 116    117    3332472832 timeout 121    121    3308355584
eca-programs/Problem103_label45_true-unreach-call.c unknown 111    112    3333554176 timeout 121    121    3274952704
eca-programs/Problem103_label55_true-unreach-call.c unknown 116    116    3170869248 timeout 121    121    3265814528
eca-programs/Problem103_label58_true-unreach-call.c unknown 114    115    3167186944 timeout 121    121    3301842944
floats-cbmc-regression/float-div1_true-unreach-call.i error: exception 7.11 7.16 172367872 unknown 6.57 6.60 298496000
floats-cbmc-regression/float-flags-simp1_true-unreach-call.i error: exception 5.74 5.78 180154368 unknown 6.97 7.01 314257408
floats-cbmc-regression/float-no-simp2_true-unreach-call.i error: exception 7.81 7.88 180322304 unknown 9.62 9.68 297091072
floats-cbmc-regression/float-no-simp4_true-unreach-call.i error: exception 5.50 5.54 175820800 unknown 6.71 6.74 302583808
floats-cbmc-regression/float-no-simp8_true-unreach-call.i error: exception 7.75 7.80 171212800 unknown 8.73 8.77 291004416
floats-cbmc-regression/float-to-double1_true-unreach-call.i error: exception 5.46 5.50 173248512 unknown 6.48 6.52 296136704
floats-cbmc-regression/float14_true-unreach-call.i error: exception 7.54 7.60 174751744 unknown 9.17 9.24 293408768
floats-cbmc-regression/float18_true-unreach-call.i error: exception 7.25 7.29 175484928 unknown 8.52 8.73 294199296
floats-cbmc-regression/float19_true-unreach-call.i error: exception 5.33 5.38 171204608 unknown 6.15 6.18 295776256
floats-cbmc-regression/float21_true-unreach-call.i error: exception 8.99 9.04 177926144 unknown 10.7  10.8  295653376
floats-cbmc-regression/float4_true-unreach-call.i error: exception 8.55 8.61 179896320 unknown 6.65 6.68 301035520
floats-cbmc-regression/float8_true-unreach-call.i error: exception 5.28 5.50 192737280 unknown 6.24 6.27 296198144
floats-cbmc-regression/float_lib1_true-unreach-call.i error: exception 5.22 5.26 170627072 unknown 6.32 6.36 297136128
floats-cbmc-regression/float_lib2_true-unreach-call.i error: exception 9.18 9.25 177565696 unknown 10.7  10.7  293113856
floats-esbmc-regression/ceil_nondet_true-unreach-call.i error: exception 7.77 7.82 170307584 unknown 7.85 7.89 169754624
floats-esbmc-regression/ceil_true-unreach-call.i error: exception 7.88 7.94 177041408 unknown 9.37 9.45 292827136
floats-esbmc-regression/copysign_true-unreach-call.i error: exception 5.78 5.81 173117440 unknown 6.57 6.60 291176448
floats-esbmc-regression/fabs_true-unreach-call.i error: exception 8.06 8.13 173060096 unknown 9.44 9.49 291942400
floats-esbmc-regression/fdim_true-unreach-call.i error: exception 7.92 7.97 175996928 unknown 9.39 9.61 292802560
floats-esbmc-regression/floor_nondet_true-unreach-call.i error: exception 7.86 7.94 177082368 unknown 7.77 7.81 177799168
floats-esbmc-regression/floor_true-unreach-call.i error: exception 7.39 7.45 173547520 unknown 9.64 9.71 289505280
floats-esbmc-regression/fmax_true-unreach-call.i error: exception 5.17 5.21 171216896 unknown 6.18 6.21 292765696
floats-esbmc-regression/fmin_true-unreach-call.i error: exception 7.52 7.80 176631808 unknown 9.74 9.82 293457920
floats-esbmc-regression/fmod2_true-unreach-call.i error: exception 7.92 7.98 172912640 unknown 9.66 9.74 297078784
floats-esbmc-regression/fmod3_true-unreach-call.i error: exception 7.92 7.97 170491904 unknown 6.58 6.60 298999808
floats-esbmc-regression/fmod_true-unreach-call.i error: exception 8.01 8.07 176283648 unknown 9.38 9.61 300249088
floats-esbmc-regression/isgreater_true-unreach-call.i error: exception 8.35 8.41 183443456 unknown 9.37 9.63 287727616
floats-esbmc-regression/isgreaterequal_true-unreach-call.i error: exception 8.08 8.15 179646464 unknown 6.44 6.49 293556224
floats-esbmc-regression/isless_true-unreach-call.i error: exception 7.87 7.93 175325184 unknown 9.69 9.75 292843520
floats-esbmc-regression/islessequal_true-unreach-call.i error: exception 8.20 8.26 174256128 unknown 8.98 9.04 295227392
floats-esbmc-regression/islessgreater_true-unreach-call.i error: exception 8.11 8.17 194899968 unknown 9.22 9.28 290115584
floats-esbmc-regression/isunordered_true-unreach-call.i error: exception 5.50 5.53 173932544 unknown 8.93 8.99 295751680
floats-esbmc-regression/nan_true-unreach-call.i error: exception 7.57 7.62 172453888 unknown 9.05 9.12 296116224
floats-esbmc-regression/remainder_true-unreach-call.i error: exception 8.03 8.09 172036096 unknown 6.50 6.53 294285312
floats-esbmc-regression/round_nondet_true-unreach-call.i error: exception 8.30 8.36 174522368 unknown 7.87 7.93 173256704
floats-esbmc-regression/round_true-unreach-call.i error: exception 8.42 8.50 176029696 unknown 9.59 9.64 296964096
floats-esbmc-regression/rounding_functions_true-unreach-call.i error: exception 5.49 5.53 172437504 unknown 9.68 9.74 294952960
floats-esbmc-regression/trunc_nondet_2_true-unreach-call.i error: exception 7.96 8.02 177074176 unknown 6.50 6.53 297324544
floats-esbmc-regression/trunc_nondet_true-unreach-call.i error: exception 7.94 8.02 180056064 unknown 7.67 7.74 173895680
floats-esbmc-regression/trunc_true-unreach-call.i error: exception 8.25 8.32 173715456 unknown 9.23 9.31 295227392
float-newlib/double_req_bl_0870b_true-unreach-call.c error: exception 7.31 7.37 173572096 unknown 8.68 8.73 214073344
float-newlib/double_req_bl_0872a_true-unreach-call.c error: exception 7.28 7.50 177553408 unknown 8.91 8.97 225984512
float-newlib/double_req_bl_0872b_true-unreach-call.c error: exception 7.47 7.55 171454464 unknown 8.63 8.69 208019456
float-newlib/double_req_bl_0873a_true-unreach-call.c error: exception 7.31 7.39 172560384 unknown 8.61 8.67 220086272
float-newlib/double_req_bl_0873b_true-unreach-call.c error: exception 5.15 5.20 173563904 unknown 8.82 9.01 213487616
float-newlib/double_req_bl_0874_true-unreach-call.c error: exception 7.47 7.54 171769856 unknown 8.79 8.85 224739328
float-newlib/double_req_bl_0876_true-unreach-call.c error: exception 4.97 5.00 172920832 unknown 9.00 9.04 225873920
float-newlib/double_req_bl_0882_true-unreach-call.c error: exception 6.90 6.98 169365504 unknown 8.46 8.67 221048832
float-newlib/double_req_bl_0883_true-unreach-call.c error: exception 7.24 7.33 176791552 unknown 8.63 8.68 209305600
float-newlib/float_req_bl_0870b_true-unreach-call.c error: exception 7.49 7.54 174219264 unknown 8.69 8.75 223928320
float-newlib/float_req_bl_0872a_true-unreach-call.c error: exception 7.21 7.27 175570944 unknown 8.68 8.73 203366400
float-newlib/float_req_bl_0872b_true-unreach-call.c error: exception 7.00 7.07 169357312 unknown 8.62 8.67 211472384
float-newlib/float_req_bl_0873a_true-unreach-call.c error: exception 5.27 5.31 185503744 unknown 6.13 6.17 214405120
float-newlib/float_req_bl_0873b_true-unreach-call.c error: exception 5.16 5.21 175005696 unknown 8.76 8.84 208703488
float-newlib/float_req_bl_0874_true-unreach-call.c error: exception 5.13 5.17 180326400 unknown 8.79 8.87 224227328
float-newlib/float_req_bl_0875_true-unreach-call.c error: exception 5.07 5.11 172621824 unknown 8.78 8.85 214376448
float-newlib/float_req_bl_0876_true-unreach-call.c error: exception 7.34 7.41 173981696 unknown 8.69 8.75 216477696
float-newlib/float_req_bl_0877_true-unreach-call.c error: exception 7.21 7.27 173383680 unknown 8.74 8.80 222601216
float-newlib/float_req_bl_0880_true-unreach-call.c error: exception 7.10 7.17 172806144 unknown 8.70 8.77 223518720
float-newlib/float_req_bl_0881_true-unreach-call.c error: exception 7.26 7.32 171212800 unknown 8.69 8.76 214073344
float-newlib/float_req_bl_0883_true-unreach-call.c error: exception 7.37 7.45 167993344 unknown 5.87 5.90 207892480
float-newlib/double_req_bl_0870a_false-unreach-call.c error: exception 7.42 7.49 175116288 unknown 8.49 8.57 208822272
float-newlib/float_req_bl_0870a_false-unreach-call.c error: exception 7.17 7.24 187629568 unknown 8.42 8.62 208928768
loop-floats-scientific-comp/loop4_true-unreach-call.c.i error: exception 8.06 8.12 177176576 unknown 8.39 8.46 176353280
loop-floats-scientific-comp/loop5_true-unreach-call.c.i error: exception 8.41 8.62 178753536 unknown 8.20 8.26 177664000
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c error: exception 11.7  11.8  275357696 unknown 14.1  14.2  317931520
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c error: exception 10.6  10.7  246673408 unknown 11.7  11.8  291020800
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c.v+lhb-reducer.c unknown 8.77 8.82 288432128 error: exception 12.9  12.9  299663360
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--usb--storage--usb-storage.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error: type error 34.1  34.2  828633088 unknown 34.6  34.8  831234048
ldv-linux-3.4-simple/43_1a_cilled_false-unreach-call_ok_linux-43_1a-drivers--misc--sgi-xp--xpc.ko-ldv_main3_sequence_infinite_withcheck_stateful.cil.out.c error: type error 28.4  28.6  825663488 unknown 28.9  29.0  818393088
ldv-linux-3.4-simple/43_1a_cilled_false-unreach-call_ok_linux-43_1a-drivers--scsi--dpt_i2o.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unknown 30.9  31.1  816418816 error: type error 32.7  32.9  812212224
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--ata--pata_marvell.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error: type error 14.5  14.6  550346752 unknown 14.2  14.3  700063744
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--ata--pata_netcell.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error: type error 13.6  13.7  522772480 unknown 14.8  14.8  704360448
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--common--tuners--tda18218.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unknown 13.2  13.2  460423168 error: type error 12.4  12.5  510603264
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--cxd2820r.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unknown 17.9  18.0  757059584 error: type error 18.6  18.7  757800960
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--tda18271c2dd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unknown 10.2  10.3  731021312 error: type error 16.3  16.4  732573696
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--mtd--inftl.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unknown 15.8  15.9  742174720 error: type error 15.4  15.5  730943488
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--mtd--nftl.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unknown 10.5  10.5  732774400 error: type error 17.0  17.1  725635072
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 error: exception 6.86 6.91 260562944 unknown 12.1  12.2  296566784
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--staging--phison--phison.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error: type error 12.6  12.7  522915840 unknown 13.0  13.0  711675904
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-dibusb-common.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unknown 15.3  15.4  717938688 error: type error 14.7  14.8  723902464
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--mtd--devices--doc2001plus.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error: type error 12.4  12.5  358973440 unknown 12.3  12.4  389632000
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 unknown 12.4  12.5  501047296 error: exception 10.7  10.7  290742272
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--ata--pata_marvell.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error: type error 8.60 8.65 547123200 unknown 13.3  13.5  704602112
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 error: type error 8.84 8.89 527388672 unknown 13.1  13.4  547553280
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--ata--pata_opti.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error: type error 13.1  13.2  709832704 unknown 14.2  14.3  590901248
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--media--common--tuners--tda18212_false-termination.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unknown 11.9  11.9  384499712 error: type error 11.4  11.5  376020992
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--media--common--tuners--tda18218_false-termination.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unknown 8.14 8.18 436015104 error: type error 12.5  12.6  498331648
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--media--dvb--dvb-usb--dvb-usb-dibusb-common_false-termination.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unknown 10.4  10.4  588566528 error: type error 16.0  16.1  725491712
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--media--dvb--frontends--cxd2820r.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unknown 11.6  11.6  736976896 error: type error 11.9  12.0  736808960
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--media--dvb--frontends--tda18271c2dd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unknown 15.9  16.0  728715264 error: type error 16.1  16.2  730312704
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--mtd--devices--doc2001plus_false-termination.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error: type error 11.7  11.8  329703424 unknown 12.3  12.3  385556480
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--mtd--inftl.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unknown 15.1  15.2  729387008 error: type error 15.6  15.7  727527424
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 unknown 15.1  15.2  723988480 error: type error 16.0  16.1  730923008
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--net--ppp--ppp_mppe.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error: exception 10.0  10.1  256356352 unknown 11.4  11.5  294801408
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--staging--phison--phison.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error: type error 12.1  12.2  529866752 unknown 13.1  13.2  543145984
ldv-linux-3.7.3/main0_false-unreach-call_drivers--media--dvb-frontends--stv090x-ko---32_7a--linux-3.7.3.c unknown 34.0  34.1  824029184 error: type error 34.8  35.0  816734208
ldv-linux-3.7.3/main17_false-unreach-call_drivers-gpu-drm-vmwgfx-vmwgfx-ko--32_7a--linux-3.5.c error: exception 39.1  39.3  795529216 error: type error 70.5  70.8  885616640
ldv-linux-3.7.3/main3_false-unreach-call_drivers-gpu-drm-vmwgfx-vmwgfx-ko--32_7a--linux-3.5.c error: exception 45.3  45.5  794312704 error: type error 72.4  72.7  877305856
ldv-commit-tester/m0_false-unreach-call_drivers-scsi-gdth-ko--111_1a--5934df9-1.c error: exception 18.3  18.4  807723008 unknown 62.9  63.2  1912549376
ldv-commit-tester/m0_false-unreach-call_drivers-usb-gadget-g_printer-ko--106_1a--2b9ec6c-1.c error: type error 15.1  15.2  725307392 unknown 16.5  16.6  720420864
ldv-commit-tester/m0_false-unreach-call_drivers-usb-gadget-g_printer-ko--106_1a--2b9ec6c.c error: type error 15.8  15.9  710021120 unknown 15.9  16.0  724127744
ldv-commit-tester/m0_true-unreach-call_drivers-media-video-cx88-cx8802-ko--32_7a--d47b389.c error: type error 15.9  16.1  717180928 unknown 16.5  16.6  706314240
ldv-commit-tester/m0_true-unreach-call_drivers-usb-gadget-g_printer-ko--106_1a--2b9ec6c.c error: type error 15.0  15.1  725819392 unknown 16.5  16.6  716144640
ldv-consumption/32_7a_cilled_false-unreach-call_linux-3.8-rc1-32_7a-drivers--gpu--drm--vmwgfx--vmwgfx.ko-ldv_main2_sequence_infinite_withcheck_stateful.cil.out.c error: exception 53.2  53.4  808222720 error: type error 74.8  75.1  912261120
ldv-consumption/32_7a_cilled_false-unreach-call_linux-3.8-rc1-32_7a-drivers--media--dvb-frontends--stv090x.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unknown 32.5  32.7  833212416 error: type error 21.2  21.2  856096768
ldv-consumption/32_7a_cilled_false-unreach-call_linux-3.8-rc1-32_7a-fs--ubifs--ubifs.ko-ldv_main3_sequence_infinite_withcheck_stateful.cil.out.c error: type error 77.2  77.4  1049841664 timeout 121    121    1017970688
ldv-consumption/32_7a_cilled_false-unreach-call_linux-3.8-rc1-drivers--gpu--drm--vmwgfx--vmwgfx.ko-main.cil.out.c error: exception 46.7  47.0  812367872 error: type error 51.6  51.8  958726144
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-32_7a-drivers--media--tuners--tuner-xc2028.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unknown 10.7  10.8  719425536 error: type error 18.3  18.5  725434368
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-32_7a-drivers--message--fusion--mptsas.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error: type error 42.3  42.4  812609536 unknown 41.7  41.9  817758208
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-32_7a-drivers--misc--sgi-xp--xpc.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error: type error 22.7  23.0  778326016 unknown 29.1  29.2  802344960
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-32_7a-drivers--net--wireless--ipw2x00--ipw2200.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error: type error 78.4  78.8  938848256 unknown 52.2  52.4  1053847552
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-32_7a-drivers--net--wireless--rndis_wlan.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error: type error 19.6  19.7  783675392 unknown 19.6  19.6  789544960
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-32_7a-drivers--platform--x86--samsung-laptop.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error: type error 19.5  19.6  731471872 unknown 20.2  20.3  755691520
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-32_7a-drivers--scsi--be2iscsi--be2iscsi.ko-ldv_main1_sequence_infinite_withcheck_stateful.cil.out.c error: type error 50.6  50.8  867979264 unknown 32.4  32.5  861646848
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-32_7a-drivers--video--aty--radeonfb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error: type error 31.4  31.5  805564416 unknown 34.1  34.2  799391744
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-32_7a-drivers--video--smscufx.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error: type error 11.8  11.8  744001536 unknown 21.4  21.5  740102144
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-32_7a-drivers--video--udlfb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error: type error 19.4  19.5  741974016 unknown 21.3  21.4  741965824
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--ata--pata_legacy.ko-main.cil.out.c error: type error 18.2  18.3  752177152 unknown 18.3  18.3  748453888
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--md--dm-snapshot.ko-main.cil.out.c error: type error 16.9  17.0  755146752 unknown 27.2  27.3  759832576
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko-main.cil.out.c unknown 33.1  33.2  790077440 error: type error 20.4  20.5  791928832
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--misc--sgi-xp--xpc.ko-main.cil.out.c error: type error 24.8  24.9  776286208 unknown 19.4  19.5  801951744
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--net--wireless--ipw2x00--ipw2200.ko-main.cil.out.c error: type error 45.0  45.1  947384320 unknown 90.4  90.8  1056747520
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--staging--panel--panel.ko-main.cil.out.c error: type error 16.2  16.3  574033920 unknown 16.9  17.0  602193920
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--video--aty--radeonfb.ko-main.cil.out.c error: type error 33.9  34.1  806711296 unknown 34.8  35.0  807780352
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--video--udlfb.ko-main.cil.out.c error: type error 19.2  19.3  743161856 unknown 21.6  21.7  743231488
ldv-consumption/32_7a_newdeg_true-unreach-call_linux-3.8-rc1-drivers--media--usb--dvb-usb-v2--dvb-usb-mxl111sf.ko-main.cil.out.c unknown 33.5  33.7  791994368 error: type error 35.2  35.4  792485888
ldv-consumption/linux-3.8-rc1-32_7a-drivers--net--ethernet--intel--e1000e--e1000e.ko-ldv_main1_true-unreach-call.cil.out.c error: exception 27.0  27.1  868605952 unknown 82.3  82.5  1236025344
ldv-linux-3.12-rc1/linux-3.12-rc1.tar.xz-144_2a-drivers--isdn--gigaset--bas_gigaset.ko-entry_point_false-unreach-call.cil.out.c error: type error 28.5  28.6  785575936 unknown 30.9  31.0  789872640
ldv-linux-3.12-rc1/linux-3.12-rc1.tar.xz-144_2a-drivers--usb--wusbcore--wusb-cbaf.ko-entry_point_false-unreach-call.cil.out.c error: exception 8.01 8.06 502362112 unknown 15.7  15.8  719392768
ldv-linux-3.16-rc1/205_9a_array_unsafes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--team--team.ko-entry_point_false-unreach-call.cil.out.c error: type error 23.1  23.2  781864960 unknown 35.3  35.6  784158720
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--ata--sata_sx4.ko-entry_point_true-unreach-call.cil.out.c error: type error 11.8  11.9  738852864 unknown 19.5  19.6  741822464
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--scsi--dpt_i2o.ko-entry_point_true-unreach-call.cil.out.c unknown 28.9  29.1  772997120 error: type error 26.9  27.1  769576960
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--target--sbp--sbp_target.ko-entry_point_true-unreach-call.cil.out.c error: type error 29.9  30.1  782528512 unknown 31.9  32.1  781279232
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--video--fbdev--aty--radeonfb.ko-entry_point_true-unreach-call.cil.out.c error: type error 32.8  33.0  806612992 unknown 20.0  20.1  802598912
ldv-validator-v0.6/linux-stable-2b9ec6c-1-106_1a-drivers--usb--gadget--g_printer.ko-entry_point_false-unreach-call.cil.out.c error: type error 15.8  15.9  716775424 unknown 16.5  16.6  710230016
ldv-validator-v0.6/linux-stable-5934df9-1-111_1a-drivers--scsi--gdth.ko-entry_point_false-unreach-call.cil.out.c error: exception 14.1  14.2  850345984 unknown 67.4  67.8  1989013504
ldv-validator-v0.8/linux-stable-2b9ec6c-1-106_1a-drivers--usb--gadget--g_printer.ko-entry_point_ldv-val-v0.8_false-unreach-call.cil.out.c error: type error 15.9  16.0  725876736 unknown 16.4  16.5  715780096
ldv-validator-v0.8/linux-stable-47dffc7-1-144_2a-drivers--net--usb--cdc-phonet.ko-entry_point_ldv-val-v0.8_false-unreach-call.cil.out.c error: type error 12.0  12.1  721186816 unknown 18.6  18.7  734081024
ldv-validator-v0.8/linux-stable-5934df9-1-111_1a-drivers--scsi--gdth.ko-entry_point_ldv-val-v0.8_false-unreach-call.cil.out.c error: exception 18.3  18.4  813740032 unknown 42.2  42.3  1967026176
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--media--dvb-core--dvb-core.ko-entry_point_false-unreach-call.cil.out.c error: exception 20.6  20.7  722309120 unknown 55.5  55.8  939798528
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--mtd--mtd.ko-entry_point_false-unreach-call.cil.out.c error: type error 20.2  20.3  806588416 unknown 32.1  32.3  804749312
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--net--team--team.ko-entry_point_false-unreach-call.cil.out.c error: type error 37.3  37.5  789893120 unknown 38.7  38.9  798887936
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--video--console--fbcon.ko-entry_point_false-unreach-call.cil.out.c error: type error 15.2  15.3  784130048 unknown 27.1  27.2  787136512
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--md--dm-crypt.ko-entry_point_false-unreach-call.cil.out.c unknown 28.2  28.3  768729088 error: type error 19.3  19.4  774721536
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--video--console--fbcon.ko-entry_point_false-unreach-call.cil.out.c error: type error 27.2  27.3  785563648 unknown 27.6  27.7  789766144
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--misc--sgi-xp--xpc.ko-entry_point_false-unreach-call.cil.out.c error: type error 14.7  14.8  789323776 unknown 26.2  26.4  806801408
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--char--agp--amd64-agp.ko-entry_point_true-unreach-call.cil.out.c error: type error 14.8  14.9  711589888 unknown 15.4  15.5  713400320
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--net--ethernet--broadcom--bnx2x--bnx2x.ko-entry_point_true-unreach-call.cil.out.c unknown 94.8  95.0  1104289792 timeout 121    121    1004175360
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 error: exception 43.9  44.1  801107968 error: type error 85.7  86.0  920375296
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--net--wireless--ipw2x00--ipw2200.ko-entry_point_true-unreach-call.cil.out.c error: type error 75.2  75.5  953331712 unknown 88.3  88.7  1063063552
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--scsi--be2iscsi--be2iscsi.ko-entry_point_true-unreach-call.cil.out.c error: type error 67.1  67.4  884072448 unknown 71.8  72.1  894484480
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--scsi--esas2r--esas2r.ko-entry_point_true-unreach-call.cil.out.c error: exception 14.3  14.3  370503680 unknown 16.9  17.0  561442816
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--scsi--gdth.ko-entry_point_true-unreach-call.cil.out.c error: exception 13.0  13.1  812773376 unknown 66.3  66.5  1909497856
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--staging--lustre--lnet--lnet--lnet.ko-entry_point_true-unreach-call.cil.out.c error: type error 55.1  55.3  941035520 unknown 59.8  60.1  964575232
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 error: exception 38.5  38.7  793440256 error: type error 57.5  57.7  935874560
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--net--ethernet--chelsio--cxgb3--cxgb3.ko-entry_point_true-unreach-call.cil.out.c unknown 119    119    950075392 timeout 120    121    930574336
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--net--ethernet--intel--i40e--i40e.ko-entry_point_true-unreach-call.cil.out.c unknown 85.6  85.9  1099517952 timeout 121    121    974147584
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--net--ethernet--intel--ixgbe--ixgbe.ko-entry_point_true-unreach-call.cil.out.c timeout 121    121    926109696 error: type error 119    120    1150619648
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 error: exception 31.8  31.9  805974016 error: type error 105    106    946057216
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--net--wireless--ipw2x00--ipw2200.ko-entry_point_true-unreach-call.cil.out.c error: type error 91.3  91.7  968851456 unknown 107    107    1067356160
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--net--wireless--rndis_wlan.ko-entry_point_true-unreach-call.cil.out.c error: type error 37.5  37.6  800677888 unknown 38.3  38.6  801062912
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--scsi--be2iscsi--be2iscsi.ko-entry_point_true-unreach-call.cil.out.c error: type error 38.8  38.9  884232192 unknown 71.4  71.7  931491840
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--scsi--bfa--bfa.ko-entry_point_true-unreach-call.cil.out.c error: type error 111    111    1344462848 timeout 121    121    1039204352
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--scsi--esas2r--esas2r.ko-entry_point_true-unreach-call.cil.out.c error: exception 16.6  16.7  372826112 unknown 10.3  10.6  573796352
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--scsi--gdth.ko-entry_point_true-unreach-call.cil.out.c error: exception 20.4  20.5  799686656 unknown 44.8  44.9  2043461632
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--staging--lustre--lnet--lnet--lnet.ko-entry_point_true-unreach-call.cil.out.c error: type error 63.8  64.1  932990976 unknown 70.8  71.1  1000325120
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--video--fbdev--aty--radeonfb.ko-entry_point_true-unreach-call.cil.out.c error: type error 38.3  38.5  814690304 unknown 21.8  21.9  826486784
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--video--fbdev--udlfb.ko-entry_point_true-unreach-call.cil.out.c error: type error 22.3  22.5  744325120 unknown 23.7  23.9  759840768
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--atm--solos-pci.ko-entry_point_true-unreach-call.cil.out.c error: type error 35.0  35.2  792440832 unknown 35.6  35.7  792293376
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--isdn--gigaset--bas_gigaset.ko-entry_point_true-unreach-call.cil.out.c error: type error 32.3  32.4  792731648 unknown 34.1  34.3  793477120
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--md--dm-crypt.ko-entry_point_true-unreach-call.cil.out.c unknown 29.2  29.3  770347008 error: type error 29.6  29.7  765554688
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--md--dm-snapshot.ko-entry_point_true-unreach-call.cil.out.c error: type error 19.7  19.8  771854336 unknown 31.3  31.4  778592256
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 error: exception 28.6  28.7  805040128 error: type error 88.7  89.0  934400000
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--net--wireless--ipw2x00--ipw2200.ko-entry_point_true-unreach-call.cil.out.c error: type error 46.5  46.6  957153280 unknown 86.8  87.2  1065340928
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--net--wireless--rndis_wlan.ko-entry_point_true-unreach-call.cil.out.c error: type error 38.8  38.9  794644480 unknown 23.1  23.1  800243712
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--scsi--be2iscsi--be2iscsi.ko-entry_point_true-unreach-call.cil.out.c error: type error 64.7  65.0  888856576 unknown 68.4  68.6  891138048
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: exception 20.5  20.6  796069888 unknown 63.6  63.9  1906122752
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--staging--lustre--lnet--lnet--lnet.ko-entry_point_true-unreach-call.cil.out.c error: type error 60.1  60.3  943718400 unknown 68.7  69.0  1006178304
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--staging--wlan-ng--prism2_usb.ko-entry_point_true-unreach-call.cil.out.c error: exception 18.5  18.7  534040576 timeout 121    121    1984700416
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--target--target_core_mod.ko-entry_point_true-unreach-call.cil.out.c timeout 121    121    964317184 error: type error 109    109    1051848704
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--video--fbdev--aty--radeonfb.ko-entry_point_true-unreach-call.cil.out.c error: type error 35.9  36.1  809381888 unknown 22.1  22.2  824930304
ldv-challenges/linux-3.14__complex_emg__linux-alloc-spinlock__drivers-media-dvb-core-dvb-core_true-unreach-call.cil.c error: exception 25.0  25.2  737120256 unknown 38.4  38.5  951525376
ldv-challenges/linux-3.14__complex_emg__linux-alloc-spinlock__drivers-net-ethernet-chelsio-cxgb3-cxgb3_true-unreach-call.cil.c unknown 76.8  77.0  966631424 timeout 121    121    908402688
ldv-challenges/linux-3.14__complex_emg__linux-alloc-spinlock__drivers-net-ethernet-intel-i40e-i40e_true-unreach-call.cil.c timeout 121    121    978747392 unknown 117    118    1023066112
ldv-challenges/linux-3.14__complex_emg__linux-alloc-spinlock__drivers-net-wireless-rndis_wlan_true-unreach-call.cil.c error: type error 42.2  42.4  807739392 unknown 44.2  44.4  830705664
ldv-challenges/linux-3.14__complex_emg__linux-drivers-clk1__drivers-net-ethernet-intel-e1000e-e1000e_true-unreach-call.cil.c unknown 97.6  97.8  1024651264 timeout 121    121    902221824
ldv-challenges/linux-3.14__complex_emg__linux-kernel-locking-mutex__drivers-net-ethernet-chelsio-cxgb3-cxgb3_true-unreach-call.cil.c timeout 121    121    928608256 unknown 72.6  72.8  968208384
ldv-challenges/linux-3.14__complex_emg__linux-kernel-locking-mutex__drivers-net-wireless-rndis_wlan_true-unreach-call.cil.c error: type error 42.0  42.1  806178816 unknown 42.3  42.5  807792640
ldv-challenges/linux-3.14__complex_emg__linux-kernel-locking-spinlock__drivers-net-ethernet-intel-i40e-i40e_true-unreach-call.cil.c unknown 114    114    997941248 timeout 121    121    1009893376
ldv-challenges/linux-3.14__complex_emg__linux-kernel-locking-spinlock__drivers-net-ethernet-intel-igb-igb_true-unreach-call.cil.c error: type error 110    110    965980160 timeout 121    121    986050560
ldv-challenges/linux-3.14__complex_emg__linux-kernel-locking-spinlock__drivers-net-wireless-rndis_wlan_true-unreach-call.cil.c error: type error 41.3  41.5  813199360 unknown 42.5  42.7  803610624
ldv-challenges/linux-3.14__linux-kernel-locking-spinlock__drivers-net-ethernet-broadcom-tg3_true-unreach-call.cil.c unknown 68.5  68.7  946864128 timeout 120    120    957739008
ldv-challenges/linux-3.8-rc1-32_7a-drivers--media--dvb-frontends--stv090x.ko-ldv_main0_sequence_infinite_withcheck_stateful_true-unreach-call.cil.out.c unknown 33.6  33.8  835436544 error: type error 37.4  37.5  846188544
ldv-challenges/linux-3.8-rc1-32_7a-drivers--net--ethernet--broadcom--bnx2x--bnx2x.ko-ldv_main0_sequence_infinite_withcheck_stateful_true-unreach-call.cil.out.c timeout 121    121    1007693824 unknown 82.3  82.5  1061548032
ldv-linux-3.14/linux-3.14__complex_emg__linux-alloc-spinlock__drivers-net-team-team_true-unreach-call.cil.c error: type error 44.4  44.5  798736384 unknown 44.6  44.8  800874496
ldv-linux-3.14/linux-3.14__complex_emg__linux-alloc-spinlock__drivers-net-wireless-ipw2x00-ipw2200_true-unreach-call.cil.c error: type error 48.7  48.8  948101120 unknown 85.1  85.4  1003917312
ldv-linux-3.14/linux-3.14__complex_emg__linux-drivers-clk1__drivers-net-wireless-ipw2x00-ipw2200_true-unreach-call.cil.c error: type error 45.2  45.3  950181888 unknown 86.6  86.9  1053573120
ldv-linux-3.14/linux-3.14__complex_emg__linux-kernel-locking-mutex__drivers-net-wireless-ipw2x00-ipw2200_true-unreach-call.cil.c error: type error 47.3  47.4  952557568 unknown 89.8  90.2  1007558656
ldv-linux-3.14/linux-3.14__complex_emg__linux-kernel-locking-mutex__fs-binfmt_misc_true-unreach-call.cil.c error: type error 11.5  11.6  725065728 unknown 19.4  19.7  736288768
ldv-linux-3.14/linux-3.14__complex_emg__linux-kernel-locking-spinlock__drivers-net-wireless-ipw2x00-ipw2200_true-unreach-call.cil.c error: type error 80.7  81.0  946274304 unknown 87.9  88.3  1008979968
ldv-linux-3.14/linux-3.14__complex_emg__linux-usb-dev__drivers-net-wireless-ipw2x00-ipw2200_true-unreach-call.cil.c error: type error 75.6  75.9  946761728 unknown 84.4  84.7  1051652096
ldv-linux-3.14/linux-3.14__complex_emg__linux-usb-dev__drivers-net-wireless-rndis_wlan_true-unreach-call.cil.c error: type error 25.6  25.7  804282368 unknown 24.9  25.0  810496000
ldv-linux-3.14/linux-3.14__linux-kernel-locking-mutex__drivers-net-ethernet-chelsio-cxgb3-cxgb3_true-unreach-call.cil.c timeout 121    121    925691904 unknown 72.1  72.2  958259200
ldv-linux-3.14/linux-3.14__linux-kernel-locking-spinlock__drivers-net-wireless-ipw2x00-ipw2200_true-unreach-call.cil.c error: type error 76.0  76.3  946958336 unknown 87.8  88.3  1006338048
ldv-linux-3.14/linux-3.14__linux-usb-dev__drivers-net-ethernet-chelsio-cxgb3-cxgb3_true-unreach-call.cil.c unknown 120    120    957431808 timeout 121    121    917241856
ldv-linux-3.14/linux-3.14__linux-usb-dev__drivers-net-wireless-ipw2x00-ipw2200_true-unreach-call.cil.c error: type error 43.6  43.8  946458624 unknown 82.2  82.5  1053753344
ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--dvb-core--dvb-core.ko_false-unreach-call.cil.c error: exception 29.2  29.4  742281216 unknown 52.4  52.6  936144896
ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--net--team--team.ko_false-unreach-call.cil.c error: type error 51.2  51.4  816791552 unknown 47.9  48.2  808476672
ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--be2iscsi--be2iscsi.ko_false-unreach-call.cil.c error: type error 76.3  76.6  906694656 unknown 80.6  80.9  904314880
ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--esas2r--esas2r.ko_false-unreach-call.cil.c error: exception 16.7  16.8  423280640 unknown 17.9  18.0  529248256
ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--qla4xxx--qla4xxx.ko_false-unreach-call.cil.c timeout 121    121    961081344 timeout (error: type error) 120    120    1123401728
ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--udlfb.ko_false-unreach-call.cil.c error: type error 29.8  29.9  774807552 unknown 32.3  32.6  770846720
recursive/Addition02WithOverflowBug_false-no-overflow.c unknown 4.97 5.01 166559744 -
recursive/Addition03_false-no-overflow.c unknown 6.59 6.65 188694528 -
recursive/EvenOdd03WithOverflowBug_false-no-overflow.c unknown 7.06 7.13 167579648 -
recursive-simple/id_b3_o2_false-no-overflow.c unknown 6.88 6.93 167317504 -
recursive-simple/id_b3_o5_false-no-overflow.c unknown 6.55 6.60 167182336 -
recursive-simple/id_b5_o10_false-no-overflow.c unknown 6.69 6.75 169234432 -
recursive-simple/sum_non_eq_false-no-overflow.c unknown 6.98 7.03 165109760 -
recursive-simple/sum_non_false-no-overflow.c unknown 7.07 7.14 169541632 -
bitvector/byte_add_1_false-no-overflow.i unknown 5.20 5.23 189825024 -
bitvector/byte_add_2_false-no-overflow.i unknown 7.39 7.46 184131584 -
bitvector/byte_add_false-no-overflow.i unknown 5.16 5.20 185901056 -
bitvector/jain_1_false-no-overflow.i unknown 4.74 4.77 167047168 -
bitvector/jain_2_false-no-overflow.i unknown 6.91 7.12 168890368 -
bitvector/jain_4_false-no-overflow.i unknown 5.15 5.19 169209856 -
bitvector/jain_5_false-no-overflow.i unknown 6.80 6.87 167448576 -
bitvector/jain_6_false-no-overflow.i unknown 7.05 7.14 173424640 -
bitvector/jain_7_false-no-overflow.i unknown 6.91 7.00 167305216 -
bitvector/modulus_false-no-overflow.i unknown 6.80 7.08 170438656 -
psyco/psyco_abp_1_false-no-overflow.c unknown 7.73 7.78 198725632 -
signedintegeroverflow-regression/AdditionIntMax_false-no-overflow.c.i unknown 5.34 5.39 193044480 -
signedintegeroverflow-regression/AdditionIntMin_false-no-overflow.c.i unknown 7.17 7.24 195661824 -
signedintegeroverflow-regression/Division_false-no-overflow.c.i unknown 6.68 6.76 190111744 -
signedintegeroverflow-regression/Multiplication_false-no-overflow.c.i unknown 7.68 7.73 189411328 -
signedintegeroverflow-regression/NoConversion_false-no-overflow.c.i unknown 5.60 5.65 190504960 -
signedintegeroverflow-regression/PostfixDecrement_false-no-overflow.c.i unknown 8.01 8.09 193830912 -
signedintegeroverflow-regression/PostfixIncrement_false-no-overflow.c.i unknown 7.87 7.98 194420736 -
signedintegeroverflow-regression/PrefixDecrement_false-no-overflow.c.i unknown 5.57 5.81 195923968 -
signedintegeroverflow-regression/PrefixIncrement_false-no-overflow.c.i unknown 5.58 5.63 192786432 -
signedintegeroverflow-regression/UnaryMinus_false-no-overflow.c.i unknown 7.86 8.08 193855488 -
signedintegeroverflow-regression/ConversionToSignedInt_true-no-overflow_true-termination.c.i unknown 7.66 7.71 193527808 -
signedintegeroverflow-regression/IntegerPromotion_true-no-overflow_true-termination.c.i unknown 7.70 7.77 192741376 -
signedintegeroverflow-regression/Multiplication_true-no-overflow_true-termination.c.i unknown 8.06 8.16 191930368 -
signedintegeroverflow-regression/NoNegativeIntegerConstant_true-no-overflow_true-termination.c.i unknown 7.75 7.83 195272704 -
signedintegeroverflow-regression/UsualArithmeticConversions_true-no-overflow_true-termination.c.i unknown 7.77 8.00 192131072 -
termination-crafted/2Nested_false-no-overflow.c unknown 6.63 6.69 164814848 -
termination-crafted/4NestedWith3Variables_false-no-overflow.c unknown 7.07 7.13 166395904 -
termination-crafted/Ackermann_false-no-overflow.c unknown 7.05 7.12 165650432 -
termination-crafted/Bangalore_false-no-overflow.c unknown 4.74 4.79 164700160 -
termination-crafted/Bangalore_v3_false-no-overflow.c unknown 6.70 6.77 167002112 -
termination-crafted/Benghazi_nondet_false-no-overflow.c unknown 7.08 7.48 169689088 -
termination-crafted/Binary_Search_false-no-overflow.c unknown 6.95 7.01 167411712 -
termination-crafted/Cairo_nondet_false-no-overflow.c unknown 7.02 7.23 168742912 -
termination-crafted/Cairo_step2_false-no-overflow.c unknown 7.04 7.24 173658112 -
termination-crafted/Collatz_unknown-termination_false-no-overflow.c unknown 7.01 7.06 168390656 -
termination-crafted/Copenhagen_disj_false-no-overflow.c unknown 7.02 7.24 172404736 -
termination-crafted/Gothenburg_false-no-overflow.c unknown 7.11 7.19 169123840 -
termination-crafted/Gothenburg_v2_false-no-overflow.c unknown 7.04 7.11 166916096 -
termination-crafted/Hanoi_2vars_false-no-overflow.c unknown 7.13 7.19 171565056 -
termination-crafted/Hanoi_3vars_false-no-overflow.c unknown 6.91 6.97 171802624 -
termination-crafted/Hanoi_plus_false-no-overflow.c unknown 6.96 7.02 172892160 -
termination-crafted/Lobnya-Boolean-Reordered_false-no-overflow.c unknown 4.69 4.73 167907328 -
termination-crafted/Mysore_false-no-overflow.c unknown 4.92 4.96 166559744 -
termination-crafted/NestedRecursion_1a_false-no-overflow.c unknown 6.60 6.66 167862272 -
termination-crafted/NestedRecursion_2a_false-no-overflow.c unknown 5.10 5.14 170233856 -
termination-crafted/NonTermination1_false-no-overflow.c unknown 4.66 4.70 166895616 -
termination-crafted/NonTermination2_false-no-overflow.c unknown 6.81 6.86 170029056 -
termination-crafted/NonTermination4_false-no-overflow.c unknown 6.83 6.90 164941824 -
termination-crafted/NonTerminationSimple2_false-no-overflow.c unknown 7.03 7.12 167821312 -
termination-crafted/NonTerminationSimple3_false-no-overflow.c unknown 6.52 6.60 163254272 -
termination-crafted/NonTerminationSimple4_false-no-overflow.c unknown 6.88 7.08 167604224 -
termination-crafted/NonTerminationSimple5_false-no-overflow.c unknown 6.97 7.02 168714240 -
termination-crafted/NonTerminationSimple6_false-no-overflow.c unknown 6.95 7.01 171212800 -
termination-crafted/NonTerminationSimple8_false-no-overflow.c unknown 6.90 7.10 170700800 -
termination-crafted/NonTerminationSimple9_false-no-overflow.c unknown 6.61 6.67 167976960 -
termination-crafted/Pure2Phase_false-no-overflow.c unknown 7.07 7.14 173215744 -
termination-crafted/Pure3Phase_false-no-overflow.c unknown 6.76 6.96 166817792 -
termination-crafted/RecursiveMultiplication_false-no-overflow.c unknown 6.88 6.95 169115648 -
termination-crafted/RecursiveNonterminating_false-no-overflow.c unknown 6.72 6.80 167448576 -
termination-crafted/Rotation180_false-no-overflow.c unknown 6.91 6.98 166875136 -
termination-crafted/Singapore_false-no-overflow.c unknown 7.12 7.32 171499520 -
termination-crafted/Singapore_plus_false-no-overflow.c unknown 7.05 7.10 166260736 -
termination-crafted/Singapore_v1_false-no-overflow.c unknown 7.01 7.07 166932480 -
termination-crafted/Singapore_v2_false-no-overflow.c unknown 6.95 7.22 170483712 -
termination-crafted/Stockholm_false-no-overflow.c unknown 6.64 6.87 166273024 -
termination-crafted/Thun_false-no-overflow.c unknown 6.99 7.05 168337408 -
termination-crafted/Toulouse-BranchesToLoop_false-no-overflow.c unknown 4.97 5.01 169680896 -
termination-crafted/Toulouse-MultiBranchesToLoop_false-no-overflow.c unknown 6.67 6.72 168656896 -
termination-crafted/aaron2_false-no-overflow.c unknown 7.00 7.05 170229760 -
termination-crafted/aaron3_false-no-overflow.c unknown 6.84 6.90 172658688 -
termination-crafted/easy2_false-no-overflow.c unknown 4.96 5.01 172249088 -
termination-crafted/Arrays02-EquivalentConstantIndices_true-no-overflow_false-termination.c unknown 7.08 7.20 171765760 -
termination-crafted/LexIndexValue-Pointer_true-no-overflow.c unknown 7.03 7.09 167383040 -
termination-crafted/NonTermination3_true-no-overflow_false-termination.c unknown 4.77 4.81 171397120 -
termination-crafted/SyntaxSupportPointer01_true-no-overflow_true-termination.c unknown 6.93 6.99 168402944 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig2a_false-no-overflow.c unknown 6.95 7.02 167305216 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig2b_false-no-overflow.c unknown 6.72 6.77 170643456 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-aaron2_false-no-overflow.c unknown 6.74 6.83 172888064 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-aaron3_false-no-overflow.c unknown 7.13 7.19 170315776 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-complex_false-no-overflow.c unknown 7.20 7.43 171507712 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-counterex1a_false-no-overflow.c unknown 6.89 7.08 164843520 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-counterex1b_false-no-overflow.c unknown 6.91 6.96 164700160 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy2_false-no-overflow.c unknown 6.90 6.97 165994496 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-exmini_false-no-overflow.c unknown 6.98 7.05 170754048 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-ndecr_false-no-overflow.c unknown 6.87 6.94 167923712 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-nestedLoop_false-no-overflow.c unknown 7.19 7.24 167206912 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random1d_false-no-overflow.c unknown 6.89 6.98 167608320 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-rsd_false-no-overflow.c unknown 6.86 6.94 167243776 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedFails4_false-no-overflow.c unknown 7.11 7.16 170557440 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-terminate_false-no-overflow.c unknown 6.84 6.90 168218624 -
termination-crafted-lit/Ben-Amram-LMCS2010-Ex2.3_false-no-overflow.c unknown 7.06 7.11 173568000 -
termination-crafted-lit/BradleyMannaSipma-ICALP2005-Fig1_false-no-overflow.c unknown 6.74 6.81 166244352 -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron12_false-no-overflow.c unknown 6.92 6.97 167276544 -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron1_false-no-overflow.c unknown 4.73 4.77 166154240 -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron2_false-no-overflow.c unknown 7.07 7.15 168144896 -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron3_false-no-overflow.c unknown 6.59 6.65 165761024 -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron4_false-no-overflow.c unknown 5.12 5.15 167215104 -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron6_false-no-overflow.c unknown 4.98 5.02 164868096 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.01_false-no-overflow.c unknown 5.00 5.04 169385984 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.02_false-no-overflow.c unknown 6.86 6.92 168095744 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.03_false-no-overflow.c unknown 6.76 6.82 165801984 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.04_false-no-overflow.c unknown 6.80 6.85 170721280 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.05_false-no-overflow.c unknown 6.88 6.94 165625856 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.01_false-no-overflow.c unknown 5.09 5.12 165867520 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.02_false-no-overflow.c unknown 6.84 6.89 168361984 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.03_false-no-overflow.c unknown 6.83 6.90 164716544 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.04_false-no-overflow.c unknown 6.92 7.18 167313408 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.05_false-no-overflow.c unknown 6.82 6.88 165961728 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.06_false-no-overflow.c unknown 7.02 7.08 166014976 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.07_false-no-overflow.c unknown 6.60 6.65 167030784 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.08_false-no-overflow.c unknown 7.00 7.27 169492480 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.09_false-no-overflow.c unknown 7.00 7.06 169709568 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.10_false-no-overflow.c unknown 7.01 7.08 170754048 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.11_false-no-overflow.c unknown 6.82 6.88 168992768 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.12_false-no-overflow.c unknown 7.12 7.20 170627072 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.13_false-no-overflow.c unknown 6.95 7.02 164298752 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.14_false-no-overflow.c unknown 6.85 7.03 165920768 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.15_false-no-overflow.c unknown 6.74 6.80 168833024 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.16_false-no-overflow.c unknown 6.93 6.99 171417600 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.17_false-no-overflow.c unknown 6.99 7.04 166084608 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.18_false-no-overflow.c unknown 7.05 7.11 170491904 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.19_false-no-overflow.c unknown 6.86 7.11 171798528 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.21_false-no-overflow.c unknown 4.99 5.03 165756928 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.22_false-no-overflow.c unknown 5.03 5.07 168005632 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.02_false-no-overflow.c unknown 6.95 7.01 169275392 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.03_false-no-overflow.c unknown 4.82 4.87 167227392 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.04_false-no-overflow.c unknown 6.50 6.58 164700160 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.05_false-no-overflow.c unknown 4.79 4.83 168075264 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.06_false-no-overflow.c unknown 6.82 6.87 166178816 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.07_false-no-overflow.c unknown 6.74 6.79 168484864 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.08_false-no-overflow.c unknown 6.81 6.87 169721856 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.09_false-no-overflow.c unknown 6.83 6.88 164552704 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.10_false-no-overflow.c unknown 6.89 7.15 173727744 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex4.01_false-no-overflow.c unknown 7.10 7.17 167510016 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Fig1_false-no-overflow.c unknown 4.83 5.03 169021440 -
termination-crafted-lit/ColonSipma-TACAS2001-Fig1_false-no-overflow.c unknown 7.16 7.21 172298240 -
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1a_false-no-overflow.c unknown 4.99 5.02 167952384 -
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1b_false-no-overflow.c unknown 7.16 7.22 169594880 -
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1c_false-no-overflow.c unknown 4.68 4.72 168894464 -
termination-crafted-lit/GulwaniJainKoskinen-PLDI2009-Fig1_false-no-overflow.c unknown 6.81 6.88 169943040 -
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig2_false-no-overflow.c unknown 6.89 6.95 168398848 -
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig2_false-no-overflow.c unknown 7.01 7.07 170909696 -
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig7_false-no-overflow.c unknown 7.05 7.11 168386560 -
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig8_false-no-overflow.c unknown 6.85 6.93 167968768 -
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig9_false-no-overflow.c unknown 6.98 7.07 168620032 -
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex1_false-no-overflow.c unknown 6.84 6.90 167452672 -
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex2_false-no-overflow.c unknown 7.12 7.21 170061824 -
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex3_false-no-overflow.c unknown 7.10 7.32 169009152 -
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex6_false-no-overflow.c unknown 6.74 6.80 165584896 -
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex7_false-no-overflow.c unknown 7.03 7.12 171524096 -
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex8_false-no-overflow.c unknown 6.94 6.99 168534016 -
termination-crafted-lit/LeikeHeizmann-TACAS2014-Fig1_false-no-overflow.c unknown 6.87 6.92 172810240 -
termination-crafted-lit/LeikeHeizmann-WST2014-Ex5_false-no-overflow.c unknown 7.00 7.07 166473728 -
termination-crafted-lit/LeikeHeizmann-WST2014-Ex6_false-no-overflow.c unknown 6.92 6.99 167325696 -
termination-crafted-lit/Masse-VMCAI2014-Ex6_false-no-overflow.c unknown 6.91 6.97 168366080 -
termination-crafted-lit/Masse-VMCAI2014-Fig1a_false-no-overflow.c unknown 5.03 5.08 180727808 -
termination-crafted-lit/Masse-VMCAI2014-Fig1b_false-no-overflow.c unknown 6.90 6.97 170332160 -
termination-crafted-lit/NoriSharma-FSE2013-Fig7_false-no-overflow.c unknown 5.07 5.12 165531648 -
termination-crafted-lit/NoriSharma-FSE2013-Fig8_false-no-overflow.c unknown 5.10 5.32 165593088 -
termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig2-TACAS2011-Fig3_false-no-overflow.c unknown 4.77 4.81 171433984 -
termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig2_false-no-overflow.c unknown 6.78 6.87 168132608 -
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig3_false-no-overflow.c unknown 7.03 7.09 168947712 -
termination-crafted-lit/PodelskiRybalchenko-VMCAI2004-Ex1_false-no-overflow.c unknown 6.93 6.98 178946048 -
termination-crafted-lit/PodelskiRybalchenko-VMCAI2004-Ex2_false-no-overflow.c unknown 7.00 7.07 165863424 -
termination-crafted-lit/cstrncmp_false-no-overflow.c unknown 6.85 6.92 170516480 -
termination-crafted-lit/gcd1_false-no-overflow.c unknown 6.78 6.86 172720128 -
termination-crafted-lit/joey_false-no-overflow.c unknown 7.03 7.08 166453248 -
termination-crafted-lit/min_rf_false-no-overflow.c unknown 7.05 7.11 166645760 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig1_true-termination_true-no-overflow.c unknown 6.70 6.75 166060032 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-cousot9_true-termination_true-no-overflow.c unknown 7.01 7.08 169172992 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy1_true-termination_true-no-overflow.c unknown 6.64 6.72 167243776 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy2_true-termination_true-no-overflow.c unknown 7.02 7.08 171905024 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-loops_true-termination_true-no-overflow.c unknown 6.94 7.00 169394176 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-nestedLoop_true-termination_true-no-overflow.c unknown 6.85 7.09 168517632 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random1d_true-termination_true-no-overflow.c unknown 7.05 7.12 170074112 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random2d_true-termination_true-no-overflow.c unknown 4.86 4.90 171536384 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi2_true-termination_true-no-overflow.c unknown 7.09 7.14 168435712 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi3_true-termination_true-no-overflow.c unknown 7.01 7.08 174551040 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi4_true-termination_true-no-overflow.c unknown 6.94 6.99 166510592 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-wcet2_true-termination_true-no-overflow.c unknown 7.10 7.16 171819008 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-while2_true-termination_true-no-overflow.c unknown 6.97 7.05 169971712 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-wise_true-termination_true-no-overflow.c unknown 6.96 7.01 170586112 -
termination-crafted-lit/Avery-FLOPS2006-Table1_true-termination_true-no-overflow.c unknown 6.85 6.91 167546880 -
termination-crafted-lit/BradleyMannaSipma-CAV2005-Fig1-modified_false-termination_true-no-overflow.c unknown 6.55 6.61 168628224 -
termination-crafted-lit/BradleyMannaSipma-CAV2005-Fig1_true-termination_true-no-overflow.c unknown 4.97 5.02 165920768 -
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Fig1_true-termination_true-no-overflow.c unknown 4.65 4.69 170196992 -
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Fig9a_true-termination_true-no-overflow.c unknown 4.94 4.98 169414656 -
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Introduction_true-termination_true-no-overflow.c unknown 6.69 6.76 167485440 -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-easy1_true-termination_true-no-overflow.c unknown 6.83 6.90 171266048 -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-easy2_true-termination_true-no-overflow.c unknown 4.71 4.74 168751104 -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-random1d_true-termination_true-no-overflow.c unknown 6.94 7.00 171728896 -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-random2d_true-termination_true-no-overflow.c unknown 6.99 7.05 170045440 -
termination-crafted-lit/ChenCookFuhsNimkarOHearn-TACAS2014-Introduction_false-termination_true-no-overflow.c unknown 6.86 6.92 165609472 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.20_true-termination_true-no-overflow.c unknown 7.13 7.19 167591936 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.01_true-termination_true-no-overflow.c unknown 6.80 6.86 170254336 -
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig1_true-termination_true-no-overflow.c unknown 7.01 7.05 169750528 -
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig7a_true-termination_true-no-overflow.c unknown 6.86 6.92 167706624 -
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig7b_true-termination_true-no-overflow.c unknown 7.00 7.06 178851840 -
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8a-modified_true-termination_true-no-overflow.c unknown 6.97 7.04 166547456 -
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8a_true-termination_true-no-overflow.c unknown 7.10 7.17 174538752 -
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8b_true-termination_true-no-overflow.c unknown 6.62 6.69 169979904 -
termination-crafted-lit/GopanReps-CAV2006-Fig1a_true-termination_true-no-overflow.c.c unknown 7.05 7.11 166174720 -
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig1_true-termination_true-no-overflow.c unknown 4.87 4.91 167243776 -
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig3_true-termination_true-no-overflow.c unknown 6.80 6.98 168656896 -
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig1_true-termination_true-no-overflow.c unknown 6.75 6.82 171323392 -
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig4_true-termination_true-no-overflow.c unknown 4.81 4.86 186949632 -
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig5_true-termination_true-no-overflow.c unknown 6.80 6.86 166817792 -
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig6_true-termination_true-no-overflow.c unknown 6.97 7.02 168574976 -
termination-crafted-lit/HenzingerJhalaMajumdarSutre-POPL2002-LockingExample_false-termination_true-no-overflow.c unknown 6.99 7.06 171991040 -
termination-crafted-lit/KroeningSharyginaTsitovichWintersteiger-CAV2010-Ex_true-termination_true-no-overflow.c unknown 6.90 6.96 170078208 -
termination-crafted-lit/KroeningSharyginaTsitovichWintersteiger-CAV2010-Fig1_true-termination_true-no-overflow.c unknown 4.90 4.94 168644608 -
termination-crafted-lit/LarrazOliverasRodriguez-CarbonellRubio-FMCAD2013-Fig1_true-termination_true-no-overflow.c unknown 6.93 7.00 167870464 -
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex4_true-termination_true-no-overflow.c unknown 7.07 7.15 168738816 -
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex5_true-termination_true-no-overflow.c unknown 6.76 6.81 166666240 -
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex1_true-termination_true-no-overflow.c unknown 6.73 6.78 170102784 -
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex9_true-termination_true-no-overflow.c unknown 4.93 4.98 167600128 -
termination-crafted-lit/LeikeHeizmann-WST2014-Ex9_true-termination_true-no-overflow.c unknown 6.87 6.92 168009728 -
termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig1_true-termination_true-no-overflow.c unknown 6.72 6.96 168566784 -
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig1_true-termination_true-no-overflow.c unknown 4.99 5.03 168730624 -
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig2_true-termination_true-no-overflow.c unknown 4.73 4.77 165814272 -
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig4_true-termination_true-no-overflow.c unknown 4.87 4.91 166633472 -
termination-crafted-lit/Urban-WST2013-Fig1_false-termination_true-no-overflow.c unknown 7.02 7.09 168771584 -
termination-crafted-lit/Urban-WST2013-Fig2-modified1000_true-termination_true-no-overflow.c unknown 6.93 6.99 169041920 -
termination-crafted-lit/Urban-WST2013-Fig2_true-termination_true-no-overflow.c unknown 6.99 7.09 170528768 -
termination-crafted-lit/UrbanMine-ESOP2014-Fig3_true-termination_true-no-overflow.c unknown 7.02 7.09 166612992 -
termination-crafted-lit/Velroyen_false-termination_true-no-overflow.c unknown 6.97 7.06 168783872 -
termination-crafted-lit/aviad_true-termination_true-no-overflow.c unknown 7.10 7.33 171044864 -
termination-crafted-lit/cstrcmp_true-termination_true-no-overflow.c unknown 7.26 7.34 172990464 -
termination-crafted-lit/cstrcspn_true-termination_true-no-overflow.c unknown 7.27 7.33 173461504 -
termination-crafted-lit/cstrlen_true-termination_true-no-overflow.c unknown 6.97 7.07 172167168 -
termination-crafted-lit/cstrpbrk_true-termination_true-no-overflow.c unknown 7.12 7.18 174407680 -
termination-crafted-lit/cstrspn_true-termination_true-no-overflow.c unknown 7.19 7.25 169177088 -
termination-crafted-lit/genady_true-termination_true-no-overflow.c unknown 6.63 6.71 162455552 -
termination-crafted-lit/strchr_true-no-overflow_true-termination.c unknown 7.16 7.24 169455616 -
termination-numeric/Addition01_false-no-overflow.c unknown 6.93 7.01 171364352 -
termination-numeric/Avg_true_false-no-overflow.c unknown 6.89 6.96 165711872 -
termination-numeric/Binomial_true-termination_false-no-overflow.c unknown 7.08 7.16 165900288 -
termination-numeric/Et1_true_false-no-overflow.c unknown 6.86 6.95 170307584 -
termination-numeric/Et2_true_false-no-overflow.c unknown 6.74 6.82 169451520 -
termination-numeric/Et3_true_false-no-overflow.c unknown 6.80 6.88 168316928 -
termination-numeric/Et4_true_false-no-overflow.c unknown 6.86 6.93 170139648 -
termination-numeric/MultCommutative_false-no-overflow.c unknown 4.59 4.64 170393600 -
termination-numeric/TerminatorRec02_true-termination_false-no-overflow.c unknown 7.10 7.18 167477248 -
termination-numeric/Ackermann01_true-termination_true-no-overflow.c unknown 7.03 7.09 172396544 -
termination-numeric/EvenOdd01_true-termination_true-no-overflow.c unknown 5.08 5.12 169324544 -
termination-numeric/Fibonacci01_true-termination_true-no-overflow.c unknown 4.94 5.14 167862272 -
termination-numeric/LeUserDefRec_true-termination_true-no-overflow.c unknown 7.00 7.07 171274240 -
termination-numeric/LogRecursive_true-termination_true-no-overflow.c unknown 6.84 6.94 169713664 -
termination-numeric/Parts_true-termination_true-no-overflow.c unknown 5.08 5.12 165855232 -
termination-numeric/TwoWay_true-termination_true-no-overflow.c unknown 4.72 4.75 165785600 -
termination-numeric/gcd01_true-termination_true-no-overflow.c unknown 6.85 6.91 170102784 -
termination-numeric/java_LogBuiltIn_true-termination_true-no-overflow.c unknown 6.93 6.99 165097472 -
termination-numeric/recHanoi02_true-termination_true-no-overflow.c unknown 6.88 6.94 169660416 -
termination-numeric/rec_counter1_true-termination_true-no-overflow.c unknown 6.78 6.84 166584320 -
termination-numeric/rec_counter3_true-termination_true-no-overflow.c unknown 7.19 7.26 178417664 -
termination-numeric/twisted_true-termination_true-no-overflow.c unknown 6.89 7.10 169320448 -
busybox-1.22.0/chgrp-incomplete_false-no-overflow.i error: exception 7.45 7.53 179404800 -
busybox-1.22.0/chroot-incomplete_false-no-overflow.i error: exception 7.43 7.49 179105792 -
busybox-1.22.0/cut_false-no-overflow.i unknown 11.1  11.2  223670272 -
busybox-1.22.0/date_false-no-overflow.i unknown 11.9  12.0  225280000 -
busybox-1.22.0/du_false-no-overflow.i unknown 12.0  12.1  226779136 -
busybox-1.22.0/echo_false-no-overflow.i error: exception 7.36 7.44 174604288 -
busybox-1.22.0/expand_false-no-overflow.i unknown 11.0  11.1  223698944 -
busybox-1.22.0/fold_false-no-overflow.i unknown 11.1  11.2  212205568 -
busybox-1.22.0/head_false-no-overflow.i unknown 10.4  10.5  213692416 -
busybox-1.22.0/logname_false-no-overflow.i error: exception 7.48 7.69 180764672 -
busybox-1.22.0/ls-incomplete_false-no-overflow.i error: exception 13.1  13.2  243568640 -
busybox-1.22.0/mkdir_false-no-overflow.i unknown 11.4  11.5  225591296 -
busybox-1.22.0/mkfifo-incomplete_false-no-overflow.i error: exception 7.39 7.46 173457408 -
busybox-1.22.0/od_false-no-overflow.i unknown 12.3  12.4  231600128 -
busybox-1.22.0/printf_false-no-overflow.i error: exception 7.41 7.50 188850176 -
busybox-1.22.0/readlink_false-no-overflow.i unknown 10.8  10.9  212037632 -
busybox-1.22.0/realpath_false-no-overflow.i error: exception 5.35 5.39 179175424 -
busybox-1.22.0/rm_false-no-overflow.i unknown 7.50 7.71 223191040 -
busybox-1.22.0/seq_false-no-overflow.i unknown 7.01 7.06 217690112 -
busybox-1.22.0/sleep_false-no-overflow.i error: exception 5.29 5.33 178700288 -
busybox-1.22.0/stty_false-no-overflow.i error: exception 7.90 7.96 242933760 -
busybox-1.22.0/sync_false-no-overflow.i error: exception 7.43 7.50 174751744 -
busybox-1.22.0/tac_false-no-overflow.i unknown 11.1  11.1  220594176 -
busybox-1.22.0/tee_false-no-overflow.i unknown 10.6  10.7  215687168 -
busybox-1.22.0/test-incomplete_false-no-overflow.i error: exception 7.84 7.91 190406656 -
busybox-1.22.0/touch_false-no-overflow.i unknown 12.4  12.5  227233792 -
busybox-1.22.0/uname_false-no-overflow.i unknown 11.0  11.1  215699456 -
busybox-1.22.0/uniq_false-no-overflow.i unknown 11.5  11.6  218017792 -
busybox-1.22.0/usleep_false-no-overflow.i error: exception 7.60 7.69 179032064 -
busybox-1.22.0/uudecode_false-no-overflow.i unknown 11.4  11.5  226062336 -
busybox-1.22.0/wc_false-no-overflow.i unknown 10.9  11.0  212922368 -
busybox-1.22.0/who_false-no-overflow.i unknown 10.9  11.0  218849280 -
busybox-1.22.0/whoami-incomplete_false-no-overflow.i error: exception 7.45 7.51 184238080 -
busybox-1.22.0/yes_false-no-overflow.i error: exception 7.39 7.47 173817856 -
termination-restricted-15/DivMinus2_true-termination_true-no-overflow.c unknown 6.89 7.16 163590144 -
termination-restricted-15/DivMinus_true-termination_true-no-overflow.c unknown 6.96 7.02 168886272 -
termination-restricted-15/GCD3_true-termination_true-no-overflow.c unknown 4.83 4.88 170029056 -
termination-restricted-15/GCD4_true-termination_true-no-overflow.c unknown 6.88 7.13 172978176 -
termination-restricted-15/IntPath_true-termination_true-no-overflow.c unknown 7.01 7.09 174317568 -
termination-restricted-15/LogAG_true-termination_true-no-overflow.c unknown 6.84 6.93 167821312 -
termination-restricted-15/Log_true-termination_true-no-overflow.c unknown 7.09 7.70 168611840 -
termination-restricted-15/McCarthyIterative_true-termination_true-no-overflow.c unknown 6.83 6.90 166563840 -
termination-restricted-15/MinusBuiltIn_true-termination_true-no-overflow.c unknown 4.76 4.80 169254912 -
termination-restricted-15/MinusUserDefined_true-termination_true-no-overflow.c unknown 7.02 7.10 169136128 -
termination-restricted-15/Nested_true-termination_true-no-overflow.c unknown 6.77 6.83 171982848 -
termination-restricted-15/PastaA10_true-termination_true-no-overflow.c unknown 6.71 6.76 164167680 -
termination-restricted-15/PastaA1_true-termination_true-no-overflow.c unknown 6.84 6.90 165371904 -
termination-restricted-15/PastaA4_true-termination_true-no-overflow.c unknown 7.10 7.25 166387712 -
termination-restricted-15/PastaA7_true-termination_true-no-overflow.c unknown 4.74 4.78 172318720 -
termination-restricted-15/PastaB14_true-termination_true-no-overflow.c unknown 7.03 7.08 169721856 -
termination-restricted-15/PastaB15_true-termination_true-no-overflow.c unknown 6.81 6.87 170475520 -
termination-restricted-15/PastaB16_true-termination_true-no-overflow.c unknown 7.01 7.07 168804352 -
termination-restricted-15/PastaB17_true-termination_true-no-overflow.c unknown 7.00 7.05 166055936 -
termination-restricted-15/PastaB1_true-termination_true-no-overflow.c unknown 6.90 6.97 170864640 -
termination-restricted-15/PastaB2_true-termination_true-no-overflow.c unknown 6.78 6.83 169172992 -
termination-restricted-15/PastaB4_true-termination_true-no-overflow.c unknown 6.85 6.90 166305792 -
termination-restricted-15/PastaB6_true-termination_true-no-overflow.c unknown 7.02 7.07 169275392 -
termination-restricted-15/PastaB7_true-termination_true-no-overflow.c unknown 4.92 4.96 168050688 -
termination-restricted-15/PastaC3_true-termination_true-no-overflow.c unknown 4.78 4.83 165502976 -
termination-restricted-15/PastaC7_true-termination_true-no-overflow.c unknown 4.98 5.03 164704256 -
termination-restricted-15/PastaC9_true-termination_true-no-overflow.c unknown 4.83 4.87 165965824 -
termination-restricted-15/Sequence_true-termination_true-no-overflow.c unknown 6.85 6.93 166621184 -
termination-restricted-15/WhileDecr_true-termination_true-no-overflow.c unknown 6.88 6.94 167809024 -
termination-restricted-15/a.01_true-termination_true-no-overflow.c unknown 6.90 6.96 167038976 -
termination-restricted-15/a.04_true-termination_true-no-overflow.c unknown 6.68 6.75 170442752 -
termination-restricted-15/a.05_true-termination_true-no-overflow.c unknown 6.83 6.89 167014400 -
termination-restricted-15/a.06_true-termination_true-no-overflow.c unknown 7.05 7.46 174120960 -
termination-restricted-15/a.07_true-termination_true-no-overflow.c unknown 7.02 7.08 167526400 -
termination-restricted-15/a.08_true-termination_true-no-overflow.c unknown 6.99 7.04 168153088 -
termination-restricted-15/a.09_assume_true-termination_true-no-overflow.c unknown 6.72 6.79 171646976 -
termination-restricted-15/a.10_true-termination.c unknown 6.67 6.73 163708928 -
termination-restricted-15/b.01_true-termination_true-no-overflow.c unknown 6.79 7.01 166518784 -
termination-restricted-15/b.02_true-termination_true-no-overflow.c unknown 6.91 6.98 168222720 -
termination-restricted-15/b.03-no-inv_assume_true-termination_true-no-overflow.c unknown 6.95 7.02 165785600 -
termination-restricted-15/b.03_assume_true-termination_true-no-overflow.c unknown 6.90 6.98 168353792 -
termination-restricted-15/b.04_true-termination_true-no-overflow.c unknown 6.84 6.90 167108608 -
termination-restricted-15/b.05_true-termination_true-no-overflow.c unknown 6.85 6.92 167702528 -
termination-restricted-15/b.06_true-termination_true-no-overflow.c unknown 6.89 6.96 170950656 -
termination-restricted-15/b.07_true-termination_true-no-overflow.c unknown 6.89 6.96 173297664 -
termination-restricted-15/b.09-no-inv_assume_true-termination_true-no-overflow.c unknown 6.82 6.88 165216256 -
termination-restricted-15/b.09_assume_true-termination_true-no-overflow.c unknown 6.69 6.87 168808448 -
termination-restricted-15/b.10_true-termination_true-no-overflow.c unknown 6.89 6.96 170274816 -
termination-restricted-15/b.11_true-termination_true-no-overflow.c unknown 4.84 4.87 170618880 -
termination-restricted-15/b.12_true-termination_true-no-overflow.c unknown 4.65 4.68 167436288 -
termination-restricted-15/b.13_true-termination_true-no-overflow.c unknown 4.99 5.02 170401792 -
termination-restricted-15/b.14_true-termination_true-no-overflow.c unknown 6.76 6.81 169283584 -
termination-restricted-15/b.15_true-termination_true-no-overflow.c unknown 4.92 4.96 174907392 -
termination-restricted-15/b.16_true-termination_true-no-overflow.c unknown 6.90 6.95 163110912 -
termination-restricted-15/b.17_true-termination_true-no-overflow.c unknown 6.75 6.80 168316928 -
termination-restricted-15/b.18_true-termination_true-no-overflow.c unknown 7.05 7.14 167772160 -
termination-restricted-15/c.01-no-inv_true-termination_true-no-overflow.c unknown 6.92 6.99 164823040 -
termination-restricted-15/c.01_assume_true-termination_true-no-overflow.c unknown 6.98 7.04 172072960 -
termination-restricted-15/c.02_true-termination_true-no-overflow.c unknown 6.70 6.90 170602496 -
termination-restricted-15/c.03_true-termination_true-no-overflow.c unknown 7.13 7.34 172503040 -
termination-restricted-15/c.07_true-termination_true-no-overflow.c unknown 7.02 7.09 179204096 -
termination-restricted-15/c.08_true-termination_true-no-overflow.c unknown 6.84 6.91 180752384 -
termination-restricted-15/ex3a_true-termination_true-no-overflow.c unknown 7.01 7.08 169975808 -
termination-restricted-15/ex3b_true-termination_true-no-overflow.c unknown 7.06 7.13 166825984 -
termination-restricted-15/java_AG313_true-termination_true-no-overflow.c unknown 6.94 7.02 167280640 -
termination-restricted-15/java_Break_true-termination_true-no-overflow.c unknown 7.09 7.29 173629440 -
termination-restricted-15/java_Continue1_true-termination_true-no-overflow.c unknown 6.69 6.95 169181184 -
termination-restricted-15/java_Nested_true-termination_true-no-overflow.c unknown 6.98 7.06 168386560 -
termination-restricted-15/java_Sequence_true-termination_true-no-overflow.c unknown 7.16 7.37 170893312 -
termination-restricted-15/AlternKonv_false-termination_true-no-overflow.c unknown 6.95 7.02 171118592 -
termination-restricted-15/ComplInterv2_false-termination_true-no-overflow.c unknown 4.56 4.59 163508224 -
termination-restricted-15/ConvLower_false-termination_true-no-overflow.c unknown 6.81 7.02 166764544 -
termination-restricted-15/Ex02_false-termination_true-no-overflow.c unknown 4.91 4.96 170102784 -
termination-restricted-15/Ex03_false-termination_true-no-overflow.c unknown 4.64 4.69 169013248 -
termination-restricted-15/Ex05_false-termination_true-no-overflow.c unknown 5.07 5.11 164986880 -
termination-restricted-15/Ex06_false-termination_true-no-overflow.c unknown 6.88 6.94 173580288 -
termination-restricted-15/Ex07_false-termination_true-no-overflow.c unknown 7.00 7.19 171597824 -
termination-restricted-15/Ex08_false-termination_true-no-overflow.c unknown 7.06 7.12 170627072 -
termination-restricted-15/Flip2_false-termination_true-no-overflow.c unknown 7.06 7.11 168812544 -
termination-restricted-15/Flip_false-termination_true-no-overflow.c unknown 6.90 6.96 164167680 -
termination-restricted-15/GCD2_false-termination_true-no-overflow.c unknown 6.75 6.80 165908480 -
termination-restricted-15/GCD_false-termination_true-no-overflow.c unknown 6.72 6.77 166690816 -
termination-restricted-15/Loop_false-termination_true-no-overflow.c unknown 6.93 7.00 168488960 -
termination-restricted-15/MirrorIntervSim_false-termination_true-no-overflow.c unknown 5.07 5.11 167174144 -
termination-restricted-15/NO_00_false-termination_true-no-overflow.c unknown 4.87 4.91 169644032 -
termination-restricted-15/NO_01_false-termination_true-no-overflow.c unknown 4.83 4.87 169971712 -
termination-restricted-15/NO_02_false-termination_true-no-overflow.c unknown 4.90 4.94 167145472 -
termination-restricted-15/NO_03_false-termination_true-no-overflow.c unknown 7.05 7.11 166858752 -
termination-restricted-15/NO_04_false-termination_true-no-overflow.c unknown 6.77 6.98 173105152 -
termination-restricted-15/NO_13_false-termination_true-no-overflow.c unknown 7.14 7.21 168230912 -
termination-restricted-15/NO_21_false-termination_true-no-overflow.c unknown 6.65 6.84 170201088 -
termination-restricted-15/NO_22_false-termination_true-no-overflow.c unknown 6.90 6.96 166699008 -
termination-restricted-15/NO_23_false-termination_true-no-overflow.c unknown 6.97 7.03 170459136 -
termination-restricted-15/NO_24_false-termination_true-no-overflow.c unknown 7.00 7.06 169103360 -
termination-restricted-15/NarrowKonv_false-termination_true-no-overflow.c unknown 6.89 6.96 171024384 -
termination-restricted-15/Narrowing_false-termination_true-no-overflow.c unknown 6.82 6.88 166449152 -
termination-restricted-15/Sunset_false-termination_true-no-overflow.c unknown 7.11 7.16 174600192 -
termination-restricted-15/Swingers_false-termination_true-no-overflow.c unknown 6.78 6.98 166281216 -
termination-restricted-15/TwoFloatInterv_false-termination_true-no-overflow.c unknown 7.00 7.06 166531072 -
termination-restricted-15/UpAndDownIneq_false-termination_true-no-overflow.c unknown 6.97 7.02 168542208 -
termination-restricted-15/UpAndDown_false-termination_true-no-overflow.c unknown 6.87 7.26 171851776 -
termination-restricted-15/WhilePart_false-termination_true-no-overflow.c unknown 6.76 6.83 166928384 -
termination-restricted-15/WhileSingle_false-termination_true-no-overflow.c unknown 6.89 6.95 167452672 -
termination-libowfat/atoi_true-termination.c.i unknown 8.08 8.14 197881856 -
termination-libowfat/atol_true-termination.c.i unknown 7.75 7.81 196591616 -
termination-libowfat/atoll_true-termination.c.i unknown 8.31 8.55 202563584 -
termination-libowfat/basename_true-termination.c.i unknown 8.25 8.32 201248768 -
termination-libowfat/build_fullname_true-termination.c.i unknown 8.29 8.35 200499200 -
termination-libowfat/dirname_true-termination.c.i unknown 8.32 8.38 192335872 -
termination-libowfat/skip_to_true-termination.c.i unknown 5.66 5.70 194740224 -
termination-libowfat/stpcpy_true-termination.c.i unknown 7.99 8.05 197873664 -
termination-libowfat/strcasecmp_true-termination.c.i unknown 5.53 5.58 197222400 -
termination-libowfat/strcat_short_true-termination.c.i unknown 5.81 5.85 201490432 -
termination-libowfat/strcat_true-termination.c.i unknown 8.27 8.34 194097152 -
termination-libowfat/strchr_short_true-termination.c.i unknown 5.58 5.62 192811008 -
termination-libowfat/strchr_true-termination.c.i unknown 8.15 8.21 198635520 -
termination-libowfat/strcmp_short_true-termination.c.i unknown 8.00 8.09 200069120 -
termination-libowfat/strcpy_small_true-termination.c.i unknown 8.01 8.07 195448832 -
termination-libowfat/strcspn_true-termination.c.i unknown 7.70 7.76 193953792 -
termination-libowfat/strdup_true-termination.c.i unknown 8.31 8.41 197701632 -
termination-libowfat/strlcat_true-termination.c.i unknown 8.02 8.10 196190208 -
termination-libowfat/strlcpy_true-termination.c.i unknown 7.99 8.08 190050304 -
termination-libowfat/strlen_true-termination.c.i unknown 8.07 8.48 191692800 -
termination-libowfat/strpbrk_true-termination.c.i unknown 7.89 8.60 196751360 -
termination-libowfat/strrchr_short_true-termination.c.i unknown 7.89 8.18 195530752 -
termination-libowfat/strrchr_true-termination.c.i unknown 8.06 8.13 198893568 -
termination-libowfat/strspn_true-termination.c.i unknown 8.13 8.23 196554752 -
termination-libowfat/strstr_true-termination.c.i unknown 8.32 8.42 199467008 -
termination-libowfat/strtok_r_true-termination.c.i unknown 8.27 8.33 197304320 -
termination-libowfat/strtol_true-termination.c.i unknown 8.32 8.38 191037440 -
termination-libowfat/strtoul_true-termination.c.i unknown 8.19 8.28 198107136 -
termination-libowfat/strtoull_true-termination.c.i unknown 5.84 5.88 191209472 -
termination-libowfat/wcsrchr_true-termination.c.i unknown 5.62 5.66 197742592 -
termination-libowfat/wcsstr_true-termination.c.i unknown 5.69 5.74 199204864 -
termination-memory-alloca/Urban-2013WST-Fig1-alloca_false-termination.c.i unknown 7.91 7.97 193421312 -
termination-memory-alloca/Velroyen-alloca_false-termination.c.i unknown 7.96 8.01 196018176 -
termination-memory-alloca/Avery-2006FLOPS-Tabel1_true-alloca_true-termination.c.i unknown 6.44 6.58 202842112 -
termination-memory-alloca/Ben-Amram-2010LMCS-Ex2.3-alloca_true-termination.c.i unknown 8.15 8.23 199430144 -
termination-memory-alloca/BrockschmidtCookFuhs-2013CAV-Fig1-alloca_true-termination.c.i unknown 7.77 7.84 209985536 -
termination-memory-alloca/BrockschmidtCookFuhs-2013CAV-Introduction-alloca_true-termination.c.i unknown 8.02 8.08 197464064 -
termination-memory-alloca/ChenFlurMukhopadhyay-2012SAS-Fig1-alloca_true-termination.c.i unknown 8.06 8.13 194584576 -
termination-memory-alloca/CookSeeZuleger-2013TACAS-Fig3-alloca_true-termination.c.i unknown 7.94 8.00 195579904 -
termination-memory-alloca/CookSeeZuleger-2013TACAS-Fig7a-alloca_true-termination.c.i unknown 7.77 7.83 200060928 -
termination-memory-alloca/CookSeeZuleger-2013TACAS-Fig7b-alloca_true-termination.c.i unknown 7.71 7.77 198463488 -
termination-memory-alloca/GulwaniJainKoskinen-2009PLDI-Fig1-alloca_true-termination.c.i unknown 8.07 8.32 194961408 -
termination-memory-alloca/HarrisLalNoriRajamani-2010SAS-Fig1-alloca_true-termination.c.i unknown 7.91 8.03 198803456 -
termination-memory-alloca/HarrisLalNoriRajamani-2010SAS-Fig3-alloca_true-termination.c.i unknown 5.93 6.02 199360512 -
termination-memory-alloca/KroeningSharyginaTsitovichWintersteiger-2010CAV-Fig1-alloca_true-termination.c.i unknown 7.83 8.20 194891776 -
termination-memory-alloca/Masse-alloca_true-termination.c.i unknown 5.92 6.01 195760128 -
termination-memory-alloca/NoriSharma-2013FSE-Fig7-alloca_true-termination.c.i unknown 7.90 7.97 191459328 -
termination-memory-alloca/NoriSharma-2013FSE-Fig8-alloca_true-termination.c.i unknown 8.19 8.26 191299584 -
termination-memory-alloca/TelAviv-Amir-Minimum-alloca_true-termination.c.i unknown 5.89 5.98 189808640 -
termination-memory-alloca/Toulouse-BranchesToLoop-alloca_true-termination.c.i unknown 8.07 8.16 199262208 -
termination-memory-alloca/Toulouse-MultiBranchesToLoop-alloca_true-termination.c.i unknown 8.13 8.21 196177920 -
termination-memory-alloca/Urban-2013WST-Fig2-alloca_true-termination.c.i unknown 8.03 8.23 194985984 -
termination-memory-alloca/Urban-2013WST-Fig2-modified1000-alloca_true-termination.c.i unknown 8.03 8.12 195964928 -
termination-memory-alloca/Urban-alloca_true-termination.c.i unknown 7.81 8.02 197885952 -
termination-memory-alloca/a.01-alloca_true-termination_true-no-overflow.c.i unknown 7.97 8.03 199315456 -
termination-memory-alloca/a.04-alloca_true-termination_true-no-overflow.c.i unknown 7.98 8.17 196792320 -
termination-memory-alloca/a.05-alloca_true-termination_true-no-overflow.c.i unknown 8.07 8.16 195624960 -
termination-memory-alloca/a.06-alloca_true-termination_true-no-overflow.c.i unknown 7.94 8.81 201932800 -
termination-memory-alloca/a.07-alloca_true-termination_true-no-overflow.c.i unknown 7.98 8.06 193257472 -
termination-memory-alloca/a.08-alloca_true-termination_true-no-overflow.c.i unknown 6.87 7.02 196546560 -
termination-memory-alloca/a.09_assume-alloca_true-termination_true-no-overflow.c.i unknown 7.85 7.91 198377472 -
termination-memory-alloca/a.10-alloca_true-termination_true-no-overflow.c.i unknown 7.97 8.05 193523712 -
termination-memory-alloca/add_last-alloca_true-termination.c.i unknown 7.94 8.86 193814528 -
termination-memory-alloca/array01-alloca_true-termination.c.i unknown 8.14 8.22 193798144 -
termination-memory-alloca/array02-alloca_true-termination.c.i unknown 8.05 8.44 189325312 -
termination-memory-alloca/array03-alloca_true-termination.c.i unknown 8.14 8.22 189378560 -
termination-memory-alloca/aviad_true-alloca_true-termination.c.i unknown 7.65 7.71 191279104 -
termination-memory-alloca/b.01-alloca_true-termination_true-no-overflow.c.i unknown 7.75 8.02 197369856 -
termination-memory-alloca/b.02-alloca_true-termination_true-no-overflow.c.i unknown 5.81 5.89 196313088 -
termination-memory-alloca/b.03-no-inv_assume-alloca_true-termination_true-no-overflow.c.i unknown 5.59 5.66 195321856 -
termination-memory-alloca/b.03_assume-alloca_true-termination_true-no-overflow.c.i unknown 7.53 7.79 196079616 -
termination-memory-alloca/b.04-alloca_true-termination_true-no-overflow.c.i unknown 8.25 8.94 196050944 -
termination-memory-alloca/b.05-alloca_true-termination_true-no-overflow.c.i unknown 8.10 8.20 191963136 -
termination-memory-alloca/b.06-alloca_true-termination_true-no-overflow.c.i unknown 7.73 8.18 199073792 -
termination-memory-alloca/b.07-alloca_true-termination_true-no-overflow.c.i unknown 8.24 8.48 199278592 -
termination-memory-alloca/b.09-no-inv_assume-alloca_true-termination_true-no-overflow.c.i unknown 7.96 8.09 195530752 -
termination-memory-alloca/b.09_assume-alloca_true-termination_true-no-overflow.c.i unknown 8.10 8.23 193699840 -
termination-memory-alloca/b.10-alloca_true-termination_true-no-overflow.c.i unknown 8.01 8.47 185303040 -
termination-memory-alloca/b.11-alloca_true-termination_true-no-overflow.c.i unknown 7.99 8.07 200491008 -
termination-memory-alloca/b.12-alloca_true-termination_true-no-overflow.c.i unknown 8.03 8.33 185434112 -
termination-memory-alloca/b.13-alloca_true-termination_true-no-overflow.c.i unknown 8.26 8.64 197046272 -
termination-memory-alloca/b.14-alloca_true-termination_true-no-overflow.c.i unknown 8.10 8.20 196579328 -
termination-memory-alloca/b.15-alloca_true-termination_true-no-overflow.c.i unknown 7.97 8.62 199094272 -
termination-memory-alloca/b.16-alloca_true-termination_true-no-overflow.c.i unknown 7.29 7.53 191533056 -
termination-memory-alloca/b.17-alloca_true-termination_true-no-overflow.c.i unknown 7.91 9.63 198156288 -
termination-memory-alloca/b.18-alloca_true-termination_true-no-overflow.c.i unknown 8.27 8.34 197156864 -
termination-memory-alloca/bubblesort-alloca_true-termination.c.i unknown 8.14 8.21 191680512 -
termination-memory-alloca/c.01-no-inv-alloca_true-termination_true-no-overflow.c.i unknown 8.17 8.30 196767744 -
termination-memory-alloca/c.01_assume-alloca_true-termination_true-no-overflow.c.i unknown 8.06 8.13 198418432 -
termination-memory-alloca/c.02-alloca_true-termination_true-no-overflow.c.i unknown 8.04 8.14 197640192 -
termination-memory-alloca/c.03-alloca_true-termination_true-no-overflow.c.i unknown 5.76 5.82 201949184 -
termination-memory-alloca/c.07-alloca_true-termination_true-no-overflow.c.i unknown 5.83 5.89 197525504 -
termination-memory-alloca/c.08-alloca_true-termination_true-no-overflow.c.i unknown 8.26 8.36 197951488 -
termination-memory-alloca/count_down-alloca_true-termination.c.i unknown 7.95 8.04 187785216 -
termination-memory-alloca/cstrcat-alloca_true-termination.c.i unknown 8.08 8.16 190377984 -
termination-memory-alloca/cstrchr-alloca_true-termination.c.i unknown 8.12 8.18 197976064 -
termination-memory-alloca/cstrcmp-alloca_true-termination.c.i unknown 7.93 8.04 196657152 -
termination-memory-alloca/cstrcpy-alloca_true-termination.c.i unknown 8.12 8.19 197165056 -
termination-memory-alloca/cstrcspn-alloca_true-termination.c.i unknown 6.67 7.01 199860224 -
termination-memory-alloca/cstrlen-alloca_true-termination.c.i unknown 8.02 8.13 192897024 -
termination-memory-alloca/cstrncat-alloca_true-termination.c.i unknown 8.10 8.18 189050880 -
termination-memory-alloca/cstrncmp-alloca_true-termination.c.i unknown 8.13 8.22 201773056 -
termination-memory-alloca/cstrncpy-alloca_true-termination.c.i unknown 8.07 8.34 198397952 -
termination-memory-alloca/cstrpbrk-alloca_true-termination.c.i unknown 6.53 6.69 203472896 -
termination-memory-alloca/cstrspn-alloca_true-termination.c.i unknown 8.11 8.21 196071424 -
termination-memory-alloca/diff-alloca_true-termination.c.i unknown 7.85 7.94 189493248 -
termination-memory-alloca/easySum-alloca_true-termination.c.i unknown 8.02 8.10 194306048 -
termination-memory-alloca/ex1-alloca_true-termination.c.i unknown 8.06 8.15 198901760 -
termination-memory-alloca/ex2-alloca_true-termination.c.i unknown 7.95 8.21 193241088 -
termination-memory-alloca/ex3a-alloca_true-termination_true-no-overflow.c.i unknown 7.92 8.02 194744320 -
termination-memory-alloca/ex3b-alloca_true-termination.c.i unknown 7.68 7.75 191705088 -
termination-memory-alloca/fermat-alloca_true-termination.c.i unknown 8.03 8.12 198180864 -
termination-memory-alloca/flag-alloca_true-termination.c.i unknown 7.77 8.00 190681088 -
termination-memory-alloca/gcd1-alloca_true-termination.c.i unknown 8.02 8.13 196227072 -
termination-memory-alloca/genady-alloca_true-termination.c.i unknown 5.97 6.07 194625536 -
termination-memory-alloca/insertionsort-alloca_true-termination.c.i unknown 5.93 6.01 191000576 -
termination-memory-alloca/java_AG313-alloca_true-termination.c.i unknown 7.86 7.94 192348160 -
termination-memory-alloca/java_Break-alloca_true-termination.c.i unknown 7.86 7.95 195371008 -
termination-memory-alloca/java_BubbleSort-alloca_true-termination.c.i unknown 7.80 8.36 194752512 -
termination-memory-alloca/java_Continue1-alloca_true-termination.c.i unknown 7.87 7.94 187002880 -
termination-memory-alloca/java_LogBuiltIn-alloca_true-termination.c.i unknown 7.80 7.87 198418432 -
termination-memory-alloca/java_Nested-alloca_true-termination.c.i unknown 7.66 7.73 197242880 -
termination-memory-alloca/java_Sequence-alloca_true-termination.c.i unknown 7.46 7.56 199065600 -
termination-memory-alloca/lis-alloca_true-termination.c.i unknown 8.01 8.19 192901120 -
termination-memory-alloca/min_rf-alloca_true-termination.c.i unknown 8.01 8.10 198422528 -
termination-memory-alloca/mult_array-alloca_true-termination.c.i unknown 5.73 5.77 196792320 -
termination-memory-alloca/openbsd_cbzero-alloca_true-termination.c.i unknown 7.47 7.55 190775296 -
termination-memory-alloca/openbsd_cmemchr-alloca_true-termination.c.i unknown 5.62 5.67 196431872 -
termination-memory-alloca/openbsd_cmemrchr-alloca_true-termination.c.i unknown 5.80 5.84 196657152 -
termination-memory-alloca/openbsd_cmemset-alloca_true-termination.c.i unknown 5.42 5.46 198529024 -
termination-memory-alloca/openbsd_cstpcpy-alloca_true-termination.c.i unknown 8.27 8.33 192049152 -
termination-memory-alloca/openbsd_cstpncpy-alloca_true-termination.c.i unknown 8.21 8.26 191750144 -
termination-memory-alloca/openbsd_cstrcat-alloca_true-termination.c.i unknown 8.19 8.25 199561216 -
termination-memory-alloca/openbsd_cstrcmp-alloca_true-termination.c.i unknown 7.83 7.89 195661824 -
termination-memory-alloca/openbsd_cstrcpy-alloca_true-termination.c.i unknown 8.04 8.24 188747776 -
termination-memory-alloca/openbsd_cstrcspn-alloca_true-termination.c.i unknown 7.83 7.90 187387904 -
termination-memory-alloca/openbsd_cstrlcpy-alloca_true-termination.c.i unknown 8.30 8.37 190550016 -
termination-memory-alloca/openbsd_cstrlen-alloca_true-termination.c.i unknown 7.97 8.04 189566976 -
termination-memory-alloca/openbsd_cstrncat-alloca_true-termination.c.i unknown 7.73 7.80 183943168 -
termination-memory-alloca/openbsd_cstrncmp-alloca_true-termination.c.i unknown 7.98 8.04 190271488 -
termination-memory-alloca/openbsd_cstrncpy-alloca_true-termination.c.i unknown 8.00 8.21 197750784 -
termination-memory-alloca/openbsd_cstrnlen-alloca_true-termination.c.i unknown 8.20 8.54 193007616 -
termination-memory-alloca/openbsd_cstrpbrk-alloca_true-termination.c.i unknown 8.08 8.16 192405504 -
termination-memory-alloca/openbsd_cstrspn-alloca_true-termination.c.i unknown 8.11 8.59 189571072 -
termination-memory-alloca/openbsd_cstrstr-alloca_true-termination.c.i unknown 8.07 8.14 186712064 -
termination-memory-alloca/rec_strlen-alloca_true-termination.c.i unknown 7.75 7.81 195883008 -
termination-memory-alloca/selectionsort-alloca_true-termination.c.i unknown 8.04 8.11 189317120 -
termination-memory-alloca/stroeder1-alloca_true-termination.c.i unknown 5.39 5.42 198090752 -
termination-memory-alloca/stroeder2-alloca_true-termination.c.i unknown 7.59 7.68 194965504 -
termination-memory-alloca/strreplace-alloca_true-termination.c.i unknown 7.82 7.88 189898752 -
termination-memory-alloca/subseq-alloca_true-termination.c.i unknown 8.09 8.17 189227008 -
termination-memory-alloca/substring-alloca_true-termination.c.i unknown 7.98 8.04 200167424 -
termination-memory-alloca/twisted-alloca_true-termination.c.i unknown 8.05 8.11 192962560 -
termination-memory-linkedlists/cll_by_lseg-alloca_false-termination.c.i unknown 7.82 7.89 217419776 -
termination-memory-linkedlists/cll_by_lseg_traverse-alloca_false-termination.c.i unknown 8.03 8.23 195485696 -
termination-memory-linkedlists/cll_search-alloca_false-termination.c.i unknown 5.56 5.59 198922240 -
termination-memory-linkedlists/cll_traverse-alloca_false-termination.c.i unknown 5.59 5.63 193699840 -
termination-memory-linkedlists/ll_append-alloca_false-termination.c.i unknown 5.89 5.92 199757824 -
termination-memory-linkedlists/ll_append_rec-alloca_false-termination.c.i unknown 5.43 5.47 195239936 -
termination-memory-linkedlists/ll_create_rec-alloca_false-termination.c.i unknown 7.96 8.02 195461120 -
termination-memory-linkedlists/nondet_ll_search-alloca_false-termination.c.i unknown 8.03 8.22 191217664 -
termination-memory-linkedlists/nondet_ll_traverse-alloca_false-termination.c.i unknown 8.15 8.22 186355712 -
termination-memory-linkedlists/cll_by_lseg-alloca_true-termination.c.i unknown 7.82 7.89 200323072 -
termination-memory-linkedlists/cll_search-alloca_true-termination.c.i unknown 8.18 8.40 186396672 -
termination-memory-linkedlists/ll_append-alloca_true-termination.c.i unknown 8.02 8.08 195379200 -
termination-memory-linkedlists/ll_append_rec-alloca_true-termination.c.i unknown 8.28 8.34 201256960 -
termination-memory-linkedlists/ll_create_rec-alloca_true-termination.c.i unknown 7.99 8.48 198623232 -
termination-memory-linkedlists/ll_search-alloca_true-termination.c.i unknown 8.05 8.12 190816256 -
termination-memory-linkedlists/ll_search_not_found-alloca_true-termination.c.i unknown 7.84 7.93 189861888 -
termination-memory-linkedlists/ll_traverse-alloca_true-termination.c.i unknown 8.15 8.23 190251008 -
termination-memory-linkedlists/nondet_ll_search-alloca_true-termination.c.i unknown 7.99 8.06 201871360 -
termination-15/add_first_alloca_true-termination.c.i unknown 8.17 8.23 202846208 -
termination-15/array05_alloca_true-termination.c.i unknown 8.25 8.32 207904768 -
termination-15/array06_alloca_true-termination.c.i unknown 7.76 7.82 201007104 -
termination-15/array07_alloca_true-termination.c.i unknown 8.10 8.15 200499200 -
termination-15/array08_alloca_true-termination.c.i unknown 8.20 8.27 196816896 -
termination-15/array09_alloca_true-termination.c.i unknown 8.26 8.33 204996608 -
termination-15/array10_alloca_true-termination.c.i unknown 7.97 8.21 206143488 -
termination-15/array12_alloca_true-termination.c.i unknown 8.18 8.24 201793536 -
termination-15/array13_alloca_true-termination.c.i unknown 5.71 5.75 202842112 -
termination-15/array16_alloca_fixed_true-termination.c.i unknown 8.17 8.24 199774208 -
termination-15/array17_alloca_true-termination.c.i unknown 5.67 5.87 204410880 -
termination-15/array18_alloca_true-termination.c.i unknown 8.12 8.20 201363456 -
termination-15/count_up_alloca_true-termination.c.i unknown 8.13 8.20 197857280 -
termination-15/count_up_and_down_alloca_true-termination.c.i unknown 5.75 5.79 204124160 -
termination-15/cstrcat_diffterm_alloca_true-termination.c.i unknown 8.30 8.38 205737984 -
termination-15/cstrcat_malloc_true-termination.c.i unknown 5.37 5.41 205283328 -
termination-15/cstrcat_mixed_alloca_true-termination.c.i unknown 8.08 8.15 197115904 -
termination-15/cstrcat_reverse_alloca_true-termination.c.i unknown 7.76 7.82 205561856 -
termination-15/cstrchr_diffterm_alloca_true-termination.c.i unknown 8.20 8.25 206794752 -
termination-15/cstrchr_malloc_true-termination.c.i unknown 7.74 7.81 205451264 -
termination-15/cstrchr_reverse_alloca_true-termination.c.i unknown 8.20 8.28 200974336 -
termination-15/cstrcmp_diffterm_alloca_true-termination.c.i unknown 8.13 8.21 202354688 -
termination-15/cstrcmp_malloc_true-termination.c.i unknown 8.19 8.28 190668800 -
termination-15/cstrcmp_mixed_alloca_true-termination.c.i unknown 8.16 8.40 206163968 -
termination-15/cstrcmp_reverse_alloca_true-termination.c.i unknown 8.21 8.46 205123584 -
termination-15/cstrcpy_diffterm_alloca_true-termination.c.i unknown 8.12 8.30 202977280 -
termination-15/cstrcpy_malloc_true-termination.c.i unknown 8.11 8.19 190443520 -
termination-15/cstrcpy_mixed_alloca_true-termination.c.i unknown 8.21 8.27 201641984 -
termination-15/cstrcpy_reverse_alloca_true-termination.c.i unknown 5.71 5.76 204242944 -
termination-15/cstrcspn_diffterm_alloca_true-termination.c.i unknown 8.18 8.23 202199040 -
termination-15/cstrcspn_malloc_true-termination.c.i unknown 8.26 8.33 201428992 -
termination-15/cstrcspn_mixed_alloca_true-termination.c.i unknown 5.72 5.77 204943360 -
termination-15/cstrcspn_reverse_alloca_true-termination.c.i unknown 8.36 8.43 190337024 -
termination-15/cstrlen_diffterm_alloca_true-termination.c.i unknown 8.14 8.21 202821632 -
termination-15/cstrlen_malloc_true-termination.c.i unknown 5.58 5.79 202055680 -
termination-15/cstrlen_reverse_alloca_true-termination.c.i unknown 8.30 8.38 203108352 -
termination-15/cstrncat_diffterm_alloca_true-termination.c.i unknown 8.15 8.23 203505664 -
termination-15/cstrncat_malloc_true-termination.c.i unknown 5.65 5.69 206155776 -
termination-15/cstrncat_mixed_alloca_true-termination.c.i unknown 8.01 8.08 202383360 -
termination-15/cstrncat_reverse_alloca_true-termination.c.i unknown 8.20 8.26 199225344 -
termination-15/cstrncmp_diffterm_alloca_true-termination.c.i unknown 8.30 8.38 189976576 -
termination-15/cstrncmp_malloc_true-termination.c.i unknown 8.14 8.21 186867712 -
termination-15/cstrncmp_mixed_alloca_true-termination.c.i unknown 8.27 8.34 200220672 -
termination-15/cstrncmp_reverse_alloca_true-termination.c.i unknown 7.96 8.21 200712192 -
termination-15/cstrncpy_diffterm_alloca_true-termination.c.i unknown 5.79 5.83 205926400 -
termination-15/cstrncpy_malloc_true-termination.c.i unknown 5.83 5.86 206487552 -
termination-15/cstrncpy_mixed_alloca_true-termination.c.i unknown 5.93 5.97 199688192 -
termination-15/cstrncpy_reverse_alloca_true-termination.c.i unknown 5.74 5.79 204660736 -
termination-15/cstrpbrk_diffterm_alloca_true-termination.c.i unknown 8.30 8.37 200773632 -
termination-15/cstrpbrk_malloc_true-termination.c.i unknown 8.23 8.29 189321216 -
termination-15/cstrpbrk_mixed_alloca_true-termination.c.i unknown 8.01 8.07 207839232 -
termination-15/cstrpbrk_reverse_alloca_true-termination.c.i unknown 8.39 8.45 206368768 -
termination-15/cstrspn_diffterm_alloca_true-termination.c.i unknown 8.25 8.31 206139392 -
termination-15/cstrspn_malloc_true-termination.c.i unknown 8.27 8.34 200343552 -
termination-15/cstrspn_mixed_alloca_true-termination.c.i unknown 8.23 8.30 202567680 -
termination-15/cstrspn_reverse_alloca_true-termination.c.i unknown 8.17 8.46 204054528 -
termination-15/array04_alloca_false-termination.c.i unknown 7.98 8.04 201277440 -
termination-15/array14_alloca_false-termination.c.i unknown 7.83 7.90 203722752 -
termination-15/array15_alloca_false-termination.c.i unknown 8.16 8.55 200753152 -
termination-15/array16_alloca_original_false-termination.c.i unknown 8.16 8.23 197189632 -
termination-15/array19_alloca_false-termination.c.i unknown 8.00 8.06 201134080 -
termination-15/array20_alloca_false-termination.c.i unknown 8.10 8.15 201125888 -
termination-recursive-malloc/chunk1_true-termination.c.i unknown 7.27 7.33 169410560 -
termination-recursive-malloc/chunk2_true-termination.c.i unknown 7.42 7.50 171450368 -
termination-recursive-malloc/chunk3_true-termination.c.i unknown 7.23 7.29 174534656 -
termination-recursive-malloc/insertionSort_recursive_true-termination.c.i unknown 7.08 7.14 174653440 -
termination-recursive-malloc/mergeSort_true-termination.c.i unknown 7.29 7.36 172380160 -
termination-recursive-malloc/mutual_simple2_true-termination.c.i unknown 7.09 7.14 171233280 -
termination-recursive-malloc/mutual_simple_true-termination.c.i unknown 7.04 7.37 171495424 -
termination-recursive-malloc/rec_malloc_ex10_true-termination.c.i unknown 6.91 6.98 172060672 -
termination-recursive-malloc/rec_malloc_ex11B_true-termination.c.i unknown 7.29 7.35 170590208 -
termination-recursive-malloc/rec_malloc_ex11C_true-termination.c.i unknown 7.09 7.15 193118208 -
termination-recursive-malloc/rec_malloc_ex11D_true-termination.c.i unknown 4.77 4.81 166039552 -
termination-recursive-malloc/rec_malloc_ex11_true-termination.c.i unknown 5.04 5.08 170356736 -
termination-recursive-malloc/rec_malloc_ex1_true-termination.c.i unknown 5.09 5.14 174682112 -
termination-recursive-malloc/rec_malloc_ex2_true-termination.c.i unknown 4.74 4.78 168218624 -
termination-recursive-malloc/rec_malloc_ex3_true-termination.c.i unknown 6.96 7.03 171704320 -
termination-recursive-malloc/rec_malloc_ex4_true-termination.c.i unknown 7.05 7.11 165273600 -
termination-recursive-malloc/rec_malloc_ex5B_true-termination.c.i unknown 7.05 7.31 172126208 -
termination-recursive-malloc/rec_malloc_ex5_true-termination.c.i unknown 7.22 7.30 173211648 -
termination-recursive-malloc/rec_malloc_ex6_true-termination.c.i unknown 7.08 7.14 166326272 -
termination-recursive-malloc/rec_malloc_ex7B_true-termination.c.i unknown 7.19 7.26 172650496 -
termination-recursive-malloc/rec_malloc_ex7_true-termination.c.i unknown 7.06 7.12 172818432 -
termination-recursive-malloc/rec_malloc_ex8_true-termination.c.i unknown 7.18 7.42 166035456 -
termination-recursive-malloc/rec_malloc_ex9_true-termination.c.i unknown 6.93 7.01 170332160 -
termination-recursive-malloc/rec_strcopy_malloc2_true-termination.c.i unknown 6.99 7.07 174022656 -
termination-recursive-malloc/rec_strcopy_malloc_true-termination.c.i unknown 7.15 7.24 168456192 -
termination-recursive-malloc/rec_strlen_malloc_true-termination.c.i unknown 7.13 7.20 165396480 -
termination-recursive-malloc/selectionSort_recursive_true-termination.c.i unknown 7.23 7.29 169222144 -
ssh-simplified/s3_clnt_3.cil_true-unreach-call_true-termination.c unknown 7.82 7.88 188936192 -
../../../trunk/examples/svcomp/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
total 907 12900 13000 307439222784 244 9770 9810 206932738048
    correct results 0 0
        correct true 0 0
        correct false 0 0
    incorrect results 0 0
        incorrect true 0 0
        incorrect false 0 0
Run set svcomp-translation-default.Default svcomp-translation-bitvector.Bitvector