Tool ULTIMATE Automizer 0.1.23-b67e0219
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-16 11:00:02 CET 2018-11-16 09:29:14 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 6.89 7.24 169443328 error: exception 6.98 7.10 167006208
array-crafted/zero_sum2_true-unreach-call.c unknown 7.36 7.63 174804992 error: exception 6.83 7.25 167137280
array-crafted/zero_sum3_true-unreach-call.c unknown 6.68 7.12 168267776 error: exception 7.12 7.38 168009728
array-crafted/zero_sum4_true-unreach-call.c unknown 7.19 7.66 169775104 error: exception 6.85 7.16 166961152
array-crafted/zero_sum5_true-unreach-call.c unknown 7.43 7.87 189603840 error: exception 7.04 7.62 172040192
array-crafted/zero_sum_m2_true-unreach-call.c unknown 6.92 7.61 168632320 error: exception 7.10 7.44 168497152
array-crafted/zero_sum_m3_true-unreach-call.c unknown 5.10 5.60 171151360 error: exception 7.06 7.30 186712064
array-crafted/zero_sum_m4_true-unreach-call.c unknown 5.27 5.59 174161920 error: exception 6.82 7.25 170483712
array-crafted/zero_sum_m5_true-unreach-call.c unknown 7.15 7.38 169754624 error: exception 6.67 7.18 166846464
ntdrivers/diskperf_false-unreach-call.i.cil.c unknown 13.7  14.2  395796480 error: type error 13.6  13.9  427433984
ntdrivers/parport_false-unreach-call.i.cil.c unknown 12.0  12.3  719736832 error: type error 18.1  18.7  747732992
ntdrivers/diskperf_true-unreach-call.i.cil.c unknown 9.82 10.4  441384960 error: type error 9.40 10.1  476233728
ntdrivers/parport_true-unreach-call.i.cil.c unknown 17.8  18.2  743383040 error: type error 17.9  18.2  748118016
eca-rers2012/Problem08_label13_false-unreach-call.c unknown 73.6  74.4  3218984960 timeout 121    121    3249270784
eca-rers2012/Problem09_label03_false-unreach-call.c unknown 113    113    3302686720 timeout 120    121    3366350848
eca-rers2012/Problem09_label38_false-unreach-call.c unknown 115    116    3229851648 timeout 120    121    3281272832
eca-rers2012/Problem09_label04_true-unreach-call.c timeout 121    121    3392610304 unknown 113    114    2876039168
eca-rers2012/Problem09_label05_true-unreach-call.c timeout 120    121    3345895424 unknown 117    118    3274010624
eca-rers2012/Problem09_label07_true-unreach-call.c unknown 116    117    3218530304 timeout 121    121    3371520000
eca-rers2012/Problem09_label12_true-unreach-call.c unknown 109    109    3314057216 timeout 120    121    3331047424
eca-rers2012/Problem09_label13_true-unreach-call.c unknown 114    115    3166052352 timeout 120    121    3261939712
eca-rers2012/Problem09_label16_true-unreach-call.c unknown 114    115    3239022592 timeout 121    121    3225055232
eca-rers2012/Problem09_label23_true-unreach-call.c unknown 114    114    3310571520 timeout 120    121    3308376064
eca-rers2012/Problem09_label37_true-unreach-call.c timeout 120    121    3341291520 unknown 116    116    3266215936
eca-programs/Problem103_label57_false-unreach-call.c unknown 116    116    3237318656 timeout 120    121    3303088128
eca-programs/Problem103_label48_true-unreach-call.c unknown 111    112    3313049600 timeout 120    121    3094700032
eca-programs/Problem103_label49_true-unreach-call.c unknown 109    110    3170807808 timeout 120    121    3027611648
floats-cbmc-regression/float-div1_true-unreach-call.i error: exception 5.36 5.74 170340352 unknown 8.82 9.59 300593152
floats-cbmc-regression/float-flags-simp1_true-unreach-call.i error: exception 5.28 5.65 170795008 unknown 9.32 9.84 312152064
floats-cbmc-regression/float-no-simp2_true-unreach-call.i error: exception 8.01 8.78 174186496 unknown 9.07 9.77 301400064
floats-cbmc-regression/float-no-simp4_true-unreach-call.i error: exception 5.77 6.01 177782784 unknown 6.65 7.22 298311680
floats-cbmc-regression/float-no-simp8_true-unreach-call.i error: exception 7.22 7.71 177156096 unknown 9.14 9.82 297832448
floats-cbmc-regression/float-to-double1_true-unreach-call.i error: exception 5.43 5.75 179474432 unknown 10.0  10.4  292859904
floats-cbmc-regression/float14_true-unreach-call.i error: exception 7.81 8.45 175472640 unknown 9.02 9.33 295219200
floats-cbmc-regression/float18_true-unreach-call.i error: exception 7.51 8.23 172326912 unknown 6.00 6.28 290820096
floats-cbmc-regression/float19_true-unreach-call.i error: exception 7.74 8.28 172556288 unknown 9.19 9.86 298590208
floats-cbmc-regression/float21_true-unreach-call.i error: exception 5.56 5.92 171745280 unknown 9.12 9.50 244789248
floats-cbmc-regression/float4_true-unreach-call.i error: exception 8.82 9.25 176246784 unknown 6.39 6.80 301649920
floats-cbmc-regression/float8_true-unreach-call.i error: exception 5.34 5.67 168943616 unknown 6.17 6.57 298242048
floats-cbmc-regression/float_lib1_true-unreach-call.i error: exception 5.66 5.99 185028608 unknown 10.8  11.5  297168896
floats-cbmc-regression/float_lib2_true-unreach-call.i error: exception 9.45 9.84 194850816 unknown 6.51 6.91 295002112
float-benchs/sin_interpolated_index_false-unreach-call_true-termination.c error: exception 7.39 7.77 174235648 unknown 5.66 5.75 209260544
float-benchs/filter2_alt_true-unreach-call.c error: exception 6.89 7.11 165920768 unknown 4.95 5.44 173015040
float-benchs/filter2_iterated_true-unreach-call.c error: exception 7.36 7.63 167649280 unknown 7.47 7.80 183857152
float-benchs/filter_iir_true-unreach-call.c error: exception 7.30 7.48 168103936 unknown 7.58 7.97 185901056
float-benchs/interpolation2_true-unreach-call.c.p+cfa-reducer.c error: exception 4.95 5.34 168718336 unknown 4.82 5.42 175665152
float-benchs/interpolation2_true-unreach-call.c.v+cfa-reducer.c error: exception 7.04 7.10 169201664 unknown 5.22 5.53 170393600
float-benchs/interpolation2_true-unreach-call.c.v+nlh-reducer.c error: exception 7.42 7.51 172879872 unknown 7.45 7.83 188637184
float-benchs/interpolation2_true-unreach-call_true-termination.c error: exception 7.21 7.45 169046016 unknown 5.32 5.55 184754176
float-benchs/interpolation_true-unreach-call.c.p+cfa-reducer.c error: exception 6.93 7.46 166436864 unknown 7.32 7.74 187265024
float-benchs/interpolation_true-unreach-call.c.v+cfa-reducer.c error: exception 6.84 7.24 166952960 unknown 7.44 7.72 171094016
float-benchs/interpolation_true-unreach-call.c.v+nlh-reducer.c error: exception 7.04 7.28 169115648 unknown 4.95 5.34 188129280
float-benchs/interpolation_true-unreach-call_true-termination.c error: exception 7.12 7.39 188014592 unknown 7.91 8.10 186216448
float-benchs/mea8000_true-unreach-call.c error: exception 5.48 6.02 193249280 unknown 12.5  13.1  479264768
float-benchs/sin_interpolated_bigrange_loose_true-unreach-call_true-termination.c error: exception 6.98 7.55 171413504 unknown 8.29 8.68 202305536
float-benchs/sin_interpolated_bigrange_tight_true-unreach-call_true-termination.c error: exception 7.22 7.64 172584960 unknown 8.51 8.66 211066880
float-benchs/sin_interpolated_index_true-unreach-call_true-termination.c error: exception 4.98 5.51 170881024 unknown 5.76 5.99 206823424
float-benchs/sin_interpolated_negation_true-unreach-call.c error: exception 7.33 7.51 174108672 unknown 8.31 8.59 203362304
float-benchs/sin_interpolated_smallrange_true-unreach-call.c error: exception 7.10 7.64 171163648 unknown 8.80 8.90 205082624
floats-esbmc-regression/ceil_nondet_true-unreach-call.i error: exception 7.76 8.47 177901568 unknown 8.21 8.80 178864128
floats-esbmc-regression/ceil_true-unreach-call.i error: exception 7.99 8.71 172490752 unknown 9.35 10.0  296853504
floats-esbmc-regression/copysign_true-unreach-call.i error: exception 7.81 8.49 174747648 unknown 9.36 9.98 295677952
floats-esbmc-regression/fabs_true-unreach-call.i error: exception 5.50 5.89 168333312 unknown 8.76 9.44 296460288
floats-esbmc-regression/fdim_true-unreach-call.i error: exception 8.09 8.81 180051968 unknown 9.27 9.91 295022592
floats-esbmc-regression/floor_nondet_true-unreach-call.i error: exception 7.75 8.50 171675648 unknown 8.03 8.68 175947776
floats-esbmc-regression/floor_true-unreach-call.i error: exception 5.69 6.00 174256128 unknown 9.47 10.1  290668544
floats-esbmc-regression/fmax_true-unreach-call.i error: exception 7.59 8.26 172277760 unknown 9.09 9.75 294223872
floats-esbmc-regression/fmin_true-unreach-call.i error: exception 7.68 8.51 172179456 unknown 9.24 9.96 290791424
floats-esbmc-regression/fmod2_true-unreach-call.i error: exception 8.18 9.02 169578496 unknown 8.78 9.43 291299328
floats-esbmc-regression/fmod3_true-unreach-call.i error: exception 7.97 8.27 181444608 unknown 6.91 7.26 296599552
floats-esbmc-regression/fmod_true-unreach-call.i error: exception 7.76 7.92 170872832 unknown 9.42 10.2  293466112
floats-esbmc-regression/isgreater_true-unreach-call.i error: exception 7.69 8.43 174272512 unknown 9.05 9.76 288002048
floats-esbmc-regression/isgreaterequal_true-unreach-call.i error: exception 5.48 5.76 174784512 unknown 6.22 6.60 292110336
floats-esbmc-regression/isless_true-unreach-call.i error: exception 7.65 8.35 175099904 unknown 8.75 9.51 289378304
floats-esbmc-regression/islessequal_true-unreach-call.i error: exception 7.98 8.67 171200512 unknown 9.14 9.53 291024896
floats-esbmc-regression/islessgreater_true-unreach-call.i error: exception 7.88 8.63 171114496 unknown 9.46 10.4  294957056
floats-esbmc-regression/isunordered_true-unreach-call.i error: exception 7.81 8.55 175153152 unknown 9.14 9.53 293298176
floats-esbmc-regression/nan_true-unreach-call.i error: exception 7.58 8.12 177307648 unknown 9.15 9.95 296820736
floats-esbmc-regression/remainder_true-unreach-call.i error: exception 8.28 8.71 177983488 unknown 9.14 9.29 304398336
floats-esbmc-regression/round_nondet_true-unreach-call.i error: exception 7.98 8.66 174555136 unknown 7.80 8.50 176320512
floats-esbmc-regression/round_true-unreach-call.i error: exception 7.93 8.73 171880448 unknown 6.71 7.06 299868160
floats-esbmc-regression/rounding_functions_true-unreach-call.i error: exception 7.57 8.13 170348544 unknown 9.23 9.95 293945344
floats-esbmc-regression/trunc_nondet_2_true-unreach-call.i error: exception 5.57 5.99 171794432 unknown 9.31 9.87 304779264
floats-esbmc-regression/trunc_nondet_true-unreach-call.i error: exception 7.52 8.37 175722496 unknown 7.78 8.52 174948352
floats-esbmc-regression/trunc_true-unreach-call.i error: exception 8.12 8.65 173801472 unknown 6.61 6.98 295108608
float-newlib/double_req_bl_0210_true-unreach-call.c error: exception 7.92 8.63 186200064 unknown 9.11 9.38 214110208
float-newlib/double_req_bl_0220a_true-unreach-call.c error: exception 7.28 7.64 184684544 unknown 8.60 9.00 211017728
float-newlib/double_req_bl_0220b_true-unreach-call.c error: exception 7.46 8.25 183402496 unknown 9.19 9.91 213581824
float-newlib/double_req_bl_0240a_true-unreach-call.c error: exception 5.49 5.93 199643136 unknown 9.01 9.38 214974464
float-newlib/double_req_bl_0240b_true-unreach-call.c error: exception 7.84 8.63 183259136 unknown 9.38 9.83 213245952
float-newlib/double_req_bl_0310_true-unreach-call.c error: exception 5.45 5.96 179716096 unknown 9.12 9.64 212492288
float-newlib/double_req_bl_0320_true-unreach-call.c error: exception 5.31 5.77 183828480 unknown 9.03 9.78 215445504
float-newlib/double_req_bl_0330a_true-unreach-call.c error: exception 7.33 8.09 182104064 unknown 9.15 9.39 212090880
float-newlib/double_req_bl_0330b_true-unreach-call.c error: exception 7.65 8.04 182427648 unknown 9.10 9.68 212291584
float-newlib/double_req_bl_0520_true-unreach-call.c error: exception 7.55 8.11 214790144 unknown 8.94 9.70 214110208
float-newlib/double_req_bl_0530a_true-unreach-call.c error: exception 7.56 7.94 181051392 unknown 9.01 9.51 217378816
float-newlib/double_req_bl_0530b_true-unreach-call.c error: exception 7.46 8.27 186171392 unknown 9.21 9.65 217038848
float-newlib/double_req_bl_0550a_true-unreach-call.c error: exception 7.46 7.88 193949696 unknown 8.96 9.52 215035904
float-newlib/double_req_bl_0550b_true-unreach-call.c error: exception 5.46 5.95 185663488 unknown 8.81 9.46 213200896
float-newlib/double_req_bl_0620a_true-unreach-call.c error: exception 6.98 7.35 170102784 unknown 7.59 8.18 188579840
float-newlib/double_req_bl_0620b_true-unreach-call.c error: exception 6.79 7.13 170852352 unknown 7.69 8.02 189743104
float-newlib/double_req_bl_0621a_true-unreach-call.c error: exception 6.94 7.51 168624128 unknown 7.70 8.35 188137472
float-newlib/double_req_bl_0621b_true-unreach-call.c error: exception 6.83 6.98 168452096 unknown 5.28 5.84 185851904
float-newlib/double_req_bl_0660a_true-unreach-call.c error: exception 4.85 5.42 169984000 unknown 7.85 8.39 196153344
float-newlib/double_req_bl_0660b_true-unreach-call.c error: exception 6.86 7.21 173256704 unknown 7.92 8.14 193916928
float-newlib/double_req_bl_0661a_true-unreach-call.c error: exception 5.21 5.72 170602496 unknown 7.72 8.08 198524928
float-newlib/double_req_bl_0661b_true-unreach-call.c error: exception 7.05 7.53 170688512 unknown 7.85 8.08 196370432
float-newlib/double_req_bl_0662a_true-unreach-call.c error: exception 7.09 7.54 168558592 unknown 8.05 8.48 193769472
float-newlib/double_req_bl_0662b_true-unreach-call.c error: exception 4.77 5.39 171925504 unknown 7.75 8.08 194400256
float-newlib/double_req_bl_0663a_true-unreach-call.c error: exception 7.06 7.62 169381888 unknown 5.48 6.06 193638400
float-newlib/double_req_bl_0663b_true-unreach-call.c error: exception 6.86 7.16 168792064 unknown 7.75 8.03 190078976
float-newlib/double_req_bl_0670_true-unreach-call.c error: exception 6.97 7.31 172007424 unknown 7.98 8.31 195493888
float-newlib/double_req_bl_0680a_true-unreach-call.c error: exception 6.89 7.30 167759872 unknown 7.86 7.92 195149824
float-newlib/double_req_bl_0680b_true-unreach-call.c error: exception 7.06 7.35 172974080 unknown 8.13 8.25 195743744
float-newlib/double_req_bl_0681a_true-unreach-call.c error: exception 6.84 7.29 170639360 unknown 8.17 8.31 195534848
float-newlib/double_req_bl_0681b_true-unreach-call.c error: exception 6.98 7.34 169693184 unknown 5.61 6.02 196648960
float-newlib/double_req_bl_0682a_true-unreach-call.c error: exception 6.88 7.32 166154240 unknown 5.63 6.05 196145152
float-newlib/double_req_bl_0682b_true-unreach-call.c error: exception 6.88 7.37 166608896 unknown 8.08 8.22 196599808
float-newlib/double_req_bl_0683a_true-unreach-call.c error: exception 6.84 7.55 174415872 unknown 7.97 8.19 197025792
float-newlib/double_req_bl_0683b_true-unreach-call.c error: exception 7.24 7.89 174809088 unknown 8.10 8.35 196149248
float-newlib/double_req_bl_0684a_true-unreach-call.c error: exception 7.15 7.32 173584384 unknown 7.62 7.87 195198976
float-newlib/double_req_bl_0684b_true-unreach-call.c error: exception 6.80 7.42 174731264 unknown 5.48 5.86 194355200
float-newlib/double_req_bl_0685a_true-unreach-call.c error: exception 4.99 5.58 173023232 unknown 7.93 8.14 191950848
float-newlib/double_req_bl_0685b_true-unreach-call.c error: exception 5.07 5.49 168165376 unknown 7.88 8.12 192745472
float-newlib/double_req_bl_0686a_true-unreach-call.c error: exception 7.15 7.51 171360256 unknown 7.88 8.18 197357568
float-newlib/double_req_bl_0686b_true-unreach-call.c error: exception 7.29 7.63 169443328 unknown 7.89 8.27 194207744
float-newlib/double_req_bl_0832_true-unreach-call.c error: exception 4.73 5.50 166064128 unknown 7.23 7.48 193781760
float-newlib/double_req_bl_0833_true-unreach-call.c error: exception 4.85 5.34 166600704 unknown 5.36 5.92 185450496
float-newlib/double_req_bl_0834_true-unreach-call.c error: exception 6.74 6.90 170598400 unknown 7.56 7.73 193957888
float-newlib/double_req_bl_0870b_true-unreach-call.c error: exception 6.95 7.76 174825472 unknown 8.72 9.24 210350080
float-newlib/double_req_bl_0872a_true-unreach-call.c error: exception 6.89 7.53 175063040 unknown 6.08 6.42 211341312
float-newlib/double_req_bl_0872b_true-unreach-call.c error: exception 7.36 8.20 174297088 unknown 8.40 9.19 212135936
float-newlib/double_req_bl_0873a_true-unreach-call.c error: exception 7.39 7.74 176226304 unknown 8.50 9.26 213528576
float-newlib/double_req_bl_0873b_true-unreach-call.c error: exception 7.37 7.63 175329280 unknown 8.48 8.88 211660800
float-newlib/double_req_bl_0874_true-unreach-call.c error: exception 7.11 7.39 173752320 unknown 8.78 8.94 213340160
float-newlib/double_req_bl_0876_true-unreach-call.c error: exception 7.37 8.21 172593152 unknown 8.30 8.45 211259392
float-newlib/double_req_bl_0882_true-unreach-call.c error: exception 7.34 8.18 171503616 unknown 8.84 9.41 211603456
float-newlib/double_req_bl_0883_true-unreach-call.c error: exception 7.06 7.90 173473792 unknown 8.60 8.75 211902464
float-newlib/double_req_bl_1121a_true-unreach-call.c error: exception 6.99 7.50 168595456 unknown 5.25 5.81 194506752
float-newlib/double_req_bl_1121b_true-unreach-call.c error: exception 6.97 7.31 173690880 unknown 5.27 5.78 191037440
float-newlib/double_req_bl_1122a_true-unreach-call.c error: exception 6.88 7.16 168919040 unknown 7.67 8.11 187547648
float-newlib/double_req_bl_1122b_true-unreach-call.c error: exception 6.91 7.26 168120320 unknown 5.45 6.01 191479808
float-newlib/double_req_bl_1130a_true-unreach-call.c error: exception 6.92 7.17 170622976 unknown 7.87 8.17 192458752
float-newlib/double_req_bl_1131a_true-unreach-call.c error: exception 6.86 7.19 167514112 unknown 7.48 7.82 189349888
float-newlib/double_req_bl_1131b_true-unreach-call.c error: exception 7.04 7.48 169332736 unknown 7.59 7.97 187248640
float-newlib/float_req_bl_0220a_true-unreach-call.c error: exception 7.82 8.75 185176064 unknown 9.28 9.74 217214976
float-newlib/float_req_bl_0220b_true-unreach-call.c error: exception 7.52 7.87 178925568 unknown 8.79 9.11 215306240
float-newlib/float_req_bl_0240a_true-unreach-call.c error: exception 7.24 7.60 214360064 unknown 9.24 9.80 220282880
float-newlib/float_req_bl_0240b_true-unreach-call.c error: exception 7.89 8.29 199979008 unknown 9.12 9.64 227487744
float-newlib/float_req_bl_0310_true-unreach-call.c error: exception 5.35 5.86 183750656 unknown 9.00 9.10 228757504
float-newlib/float_req_bl_0320a_true-unreach-call.c error: exception 7.57 8.33 184037376 unknown 8.95 9.03 213729280
float-newlib/float_req_bl_0320b_true-unreach-call.c error: exception 7.22 7.37 178614272 unknown 9.10 9.65 239538176
float-newlib/float_req_bl_0330a_true-unreach-call.c error: exception 7.60 8.42 186195968 unknown 9.35 9.83 216829952
float-newlib/float_req_bl_0330b_true-unreach-call.c error: exception 7.41 8.04 186224640 unknown 6.45 6.57 221986816
float-newlib/float_req_bl_0530a_true-unreach-call.c error: exception 7.61 8.19 180895744 unknown 9.27 9.50 218632192
float-newlib/float_req_bl_0530b_true-unreach-call.c error: exception 7.64 8.41 192532480 unknown 9.12 9.65 218152960
float-newlib/float_req_bl_0550a_true-unreach-call.c error: exception 5.48 5.85 186036224 unknown 8.91 9.34 218980352
float-newlib/float_req_bl_0550b_true-unreach-call.c error: exception 7.46 8.00 187375616 unknown 9.02 9.50 215351296
float-newlib/float_req_bl_0610_true-unreach-call.c error: exception 6.95 7.01 172199936 unknown 7.61 8.12 188026880
float-newlib/float_req_bl_0620a_true-unreach-call.c error: exception 4.88 5.33 168316928 unknown 7.33 7.48 190984192
float-newlib/float_req_bl_0620b_true-unreach-call.c error: exception 6.98 7.34 170905600 unknown 5.35 5.91 192200704
float-newlib/float_req_bl_0621a_true-unreach-call.c error: exception 6.97 7.04 168476672 unknown 7.81 8.19 185921536
float-newlib/float_req_bl_0621b_true-unreach-call.c error: exception 6.86 7.08 164261888 unknown 5.51 6.10 195399680
float-newlib/float_req_bl_0660a_true-unreach-call.c error: exception 6.69 7.15 171077632 unknown 7.97 8.37 188801024
float-newlib/float_req_bl_0660b_true-unreach-call.c error: exception 6.82 7.21 169046016 unknown 7.49 7.86 191598592
float-newlib/float_req_bl_0661a_true-unreach-call.c error: exception 4.97 5.51 169005056 unknown 7.38 7.72 193601536
float-newlib/float_req_bl_0661b_true-unreach-call.c error: exception 5.13 5.50 169500672 unknown 7.82 8.32 194936832
float-newlib/float_req_bl_0662a_true-unreach-call.c error: exception 6.77 7.12 170405888 unknown 7.58 7.84 197734400
float-newlib/float_req_bl_0662b_true-unreach-call.c error: exception 6.73 7.15 168583168 unknown 7.67 8.02 196411392
float-newlib/float_req_bl_0663a_true-unreach-call.c error: exception 6.80 7.28 168370176 unknown 5.54 5.78 193867776
float-newlib/float_req_bl_0663b_true-unreach-call.c error: exception 7.03 7.28 172986368 unknown 8.11 8.24 196186112
float-newlib/float_req_bl_0670_true-unreach-call.c error: exception 6.93 7.40 170635264 unknown 7.81 8.14 195670016
float-newlib/float_req_bl_0680a_true-unreach-call.c error: exception 7.21 7.57 169984000 unknown 7.71 8.05 193146880
float-newlib/float_req_bl_0680b_true-unreach-call.c error: exception 4.85 5.41 167067648 unknown 7.62 7.97 191545344
float-newlib/float_req_bl_0681a_true-unreach-call.c error: exception 7.04 7.35 170332160 unknown 7.76 8.11 201965568
float-newlib/float_req_bl_0681b_true-unreach-call.c error: exception 7.45 7.66 175030272 unknown 7.63 8.02 193245184
float-newlib/float_req_bl_0682a_true-unreach-call.c error: exception 5.09 5.59 168955904 unknown 5.54 6.07 196063232
float-newlib/float_req_bl_0682b_true-unreach-call.c error: exception 6.94 7.38 169160704 unknown 7.84 8.19 199643136
float-newlib/float_req_bl_0683a_true-unreach-call.c error: exception 7.22 7.66 174628864 unknown 7.87 8.12 198152192
float-newlib/float_req_bl_0683b_true-unreach-call.c error: exception 7.11 7.50 172515328 unknown 5.40 5.82 198574080
float-newlib/float_req_bl_0684a_true-unreach-call.c error: exception 6.94 7.47 168636416 unknown 7.70 8.16 189730816
float-newlib/float_req_bl_0684b_true-unreach-call.c error: exception 6.80 7.07 171679744 unknown 7.86 8.12 192090112
float-newlib/float_req_bl_0685a_true-unreach-call.c error: exception 6.98 7.28 167186432 unknown 7.83 8.18 189628416
float-newlib/float_req_bl_0685b_true-unreach-call.c error: exception 6.90 7.59 173830144 unknown 5.42 5.97 194535424
float-newlib/float_req_bl_0686a_true-unreach-call.c error: exception 6.76 6.96 166428672 unknown 8.00 8.26 193581056
float-newlib/float_req_bl_0686b_true-unreach-call.c error: exception 7.05 7.27 168718336 unknown 7.84 8.19 193028096
float-newlib/float_req_bl_0831_true-unreach-call.c error: exception 4.92 5.45 167251968 unknown 7.70 8.19 187273216
float-newlib/float_req_bl_0832a_true-unreach-call.c error: exception 6.85 7.09 166273024 unknown 7.50 7.94 189628416
float-newlib/float_req_bl_0832b_true-unreach-call.c error: exception 6.90 7.07 165273600 unknown 7.57 7.93 189337600
float-newlib/float_req_bl_0833_true-unreach-call.c error: exception 4.94 5.55 166780928 unknown 7.54 7.98 188203008
float-newlib/float_req_bl_0834_true-unreach-call.c error: exception 4.88 5.36 167772160 unknown 7.38 7.69 192638976
float-newlib/float_req_bl_0870b_true-unreach-call.c error: exception 7.33 7.95 177078272 unknown 8.62 8.89 212185088
float-newlib/float_req_bl_0872a_true-unreach-call.c error: exception 7.17 8.04 173760512 unknown 5.88 6.30 216326144
float-newlib/float_req_bl_0872b_true-unreach-call.c error: exception 7.33 8.16 172216320 unknown 8.33 8.47 209752064
float-newlib/float_req_bl_0873a_true-unreach-call.c error: exception 7.21 7.64 176857088 unknown 8.80 9.33 223657984
float-newlib/float_req_bl_0873b_true-unreach-call.c error: exception 7.25 8.06 171888640 unknown 8.82 9.09 214274048
float-newlib/float_req_bl_0874_true-unreach-call.c error: exception 7.27 7.65 176652288 unknown 8.71 9.23 211173376
float-newlib/float_req_bl_0875_true-unreach-call.c error: exception 7.21 8.00 171798528 unknown 8.56 9.20 223698944
float-newlib/float_req_bl_0876_true-unreach-call.c error: exception 7.09 7.59 172175360 unknown 5.98 6.40 214110208
float-newlib/float_req_bl_0877_true-unreach-call.c error: exception 7.37 8.18 173596672 unknown 8.80 9.03 210653184
float-newlib/float_req_bl_0880_true-unreach-call.c error: exception 7.38 7.97 175251456 unknown 6.38 6.54 217391104
float-newlib/float_req_bl_0881_true-unreach-call.c error: exception 7.19 7.55 168308736 unknown 8.59 9.06 217161728
float-newlib/float_req_bl_0883_true-unreach-call.c error: exception 7.33 8.15 173383680 unknown 8.92 9.18 219869184
float-newlib/float_req_bl_1121a_true-unreach-call.c error: exception 6.87 7.13 165666816 unknown 7.31 7.76 186118144
float-newlib/float_req_bl_1121b_true-unreach-call.c error: exception 6.93 7.02 166273024 unknown 7.24 7.55 186716160
float-newlib/float_req_bl_1122a_true-unreach-call.c error: exception 6.90 7.16 170094592 unknown 7.40 7.78 189861888
float-newlib/float_req_bl_1122b_true-unreach-call.c error: exception 6.62 6.97 165720064 unknown 5.45 5.98 187326464
float-newlib/float_req_bl_1130a_true-unreach-call.c error: exception 6.44 6.77 167063552 unknown 7.36 7.59 185368576
float-newlib/float_req_bl_1130b_true-unreach-call.c error: exception 6.48 6.75 171253760 unknown 7.53 8.09 187240448
float-newlib/float_req_bl_1131a_true-unreach-call.c error: exception 5.00 5.45 168591360 unknown 7.63 8.04 188092416
float-newlib/float_req_bl_1131b_true-unreach-call.c error: exception 4.84 5.38 168177664 unknown 5.40 5.88 193785856
float-newlib/double_req_bl_0870a_false-unreach-call.c error: exception 7.26 8.10 174252032 unknown 8.57 8.73 214118400
float-newlib/float_req_bl_0870a_false-unreach-call.c error: exception 6.97 7.75 173801472 unknown 6.17 6.36 214171648
loop-floats-scientific-comp/loop4_true-unreach-call.c.i error: exception 5.71 6.06 175075328 unknown 8.06 8.80 176488448
loop-floats-scientific-comp/loop5_true-unreach-call.c.i error: exception 5.42 5.85 173109248 unknown 7.92 8.52 173268992
loops/ludcmp_false-unreach-call.i error: exception 6.87 7.04 173334528 unknown 9.06 9.37 297504768
loops/lu.cmp_true-unreach-call.i error: exception 6.89 7.31 167428096 unknown 9.32 9.63 290643968
loops/heavy_true-unreach-call.c unknown 7.41 7.93 197890048 out of memory 78.6  97.6  3999997952
loops/heavy_false-unreach-call.c unknown 4.87 5.32 203796480 out of memory 51.7  66.2  3999997952
seq-mthreaded-reduced/pals_opt-floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c.v+nlh-reducer.c unknown 11.2  11.5  270336000 error: exception 11.0  11.1  288329728
seq-mthreaded-reduced/pals_opt-floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals.c.v+nlh-reducer.c error: exception 11.3  11.7  256696320 unknown 12.1  12.4  287780864
ldv-linux-3.0/module_get_put-drivers-isdn-gigaset-gigaset.ko_false-unreach-call.cil.out.i.pp.i error: type error 32.7  33.0  818249728 unknown 35.8  36.5  814891008
ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko_false-unreach-call.cil.out.i.pp.i error: type error 63.4  63.7  892112896 unknown 73.7  74.0  943951872
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--gpu--drm--vmwgfx--vmwgfx.ko-ldv_main3_sequence_infinite_withcheck_stateful.cil.out.c error: exception 72.3  72.9  968470528 unknown 83.3  83.6  1005068288
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--media--video--cpia2--cpia2.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error: exception 27.3  27.5  844718080 unknown 31.6  31.9  847937536
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--media--video--mem2mem_testdev.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error: exception 18.7  19.2  738140160 unknown 20.1  20.6  760205312
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--net--wireless--p54--p54usb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error: exception 20.2  20.8  752021504 unknown 23.2  23.6  763473920
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 33.8  34.4  846774272 unknown 37.3  37.7  846893056
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 30.5  30.8  830668800 unknown 28.5  29.0  821166080
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 32.7  33.4  818630656 error: type error 20.6  20.9  813608960
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.2  14.3  714874880 unknown 14.3  14.9  716718080
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 14.4  14.6  699785216 unknown 14.3  14.6  710103040
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-wacom.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error: exception 14.1  14.2  571645952 unknown 15.6  16.0  706424832
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hwmon--pmbus--max16064.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error: exception 9.19 9.64 260739072 unknown 9.96 10.2  276385792
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hwmon--pmbus--max8688.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error: exception 10.1  10.2  280453120 unknown 10.5  10.9  263831552
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 12.8  13.4  452018176 error: type error 8.58 8.98 511881216
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-dibusb-mb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error: type error 11.0  11.4  752156672 unknown 18.3  19.1  751656960
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-dibusb-mc.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error: type error 13.7  14.1  552812544 unknown 13.5  14.2  663556096
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-mxl111sf.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unknown 27.8  28.1  839598080 error: type error 31.2  31.5  826191872
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-rtl28xxu.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error: exception 17.4  17.8  743477248 unknown 12.7  13.0  762793984
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 18.3  18.4  766533632 error: type error 19.5  19.7  757993472
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--it913x-fe.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error: exception 12.5  13.0  779943936 unknown 20.6  21.1  838860800
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--rtl2830.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unknown 9.99 10.1  706768896 error: type error 9.37 9.90 713764864
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 15.5  15.8  723333120 error: type error 15.9  16.4  731189248
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--video--gspca--gspca_finepix.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error: exception 10.7  11.5  359006208 unknown 8.74 9.06 460468224
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--video--gspca--gspca_jl2005bcd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error: exception 11.8  12.2  394100736 unknown 13.1  13.6  574775296
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--video--gspca--gspca_pac207.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error: exception 12.6  13.1  653725696 unknown 14.5  15.1  717647872
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--video--gspca--gspca_sq905c.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error: exception 7.90 8.54 410374144 unknown 11.5  12.2  499306496
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.2  15.4  740044800 error: type error 15.9  16.2  719253504
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 15.6  15.9  720760832 error: type error 15.7  16.1  714272768
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 10.5  10.6  260268032 unknown 11.5  11.7  326332416
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--team--team_mode_activebackup.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error: exception 12.4  12.9  439128064 unknown 13.2  13.8  447062016
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--power--max8903_charger.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error: exception 10.5  11.0  284991488 unknown 10.8  11.2  259596288
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--power--test_power.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error: exception 9.49 9.65 239673344 unknown 10.3  10.7  252612608
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--power--wm831x_power.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error: exception 11.0  11.1  291930112 unknown 11.8  11.9  345690112
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--regulator--max1586.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error: exception 11.1  11.4  401039360 unknown 11.9  12.2  428466176
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--regulator--wm8400-regulator.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error: exception 7.61 7.99 433664000 unknown 8.27 8.78 566837248
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.7  13.1  525447168 unknown 12.5  12.7  717537280
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--staging--speakup--speakup_acntsa.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error: exception 7.97 8.43 208908288 unknown 9.02 9.62 215052288
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--staging--speakup--speakup_bns.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error: exception 8.15 8.89 195375104 unknown 9.06 9.81 210513920
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--staging--speakup--speakup_dummy.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error: exception 8.49 9.20 205418496 unknown 8.94 9.84 207183872
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--staging--speakup--speakup_ltlk.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error: exception 8.36 9.05 198656000 unknown 9.41 9.83 216616960
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--staging--speakup--speakup_soft.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error: exception 10.6  10.9  301576192 unknown 12.3  12.8  433127424
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--staging--speakup--speakup_spkout.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error: exception 5.58 5.79 196333568 unknown 9.64 10.1  218193920
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--staging--speakup--speakup_txprt.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error: exception 8.06 8.67 194969600 unknown 8.95 9.63 205942784
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--uwb--i1480--i1480-est.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error: exception 8.73 9.09 215060480 unknown 9.30 9.69 223793152
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 14.1  14.7  718319616 error: type error 14.6  15.1  718299136
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-mxl111sf.ko-ldv_main3_sequence_infinite_withcheck_stateful.cil.out.c unknown 27.6  28.3  834117632 error: type error 30.2  30.6  824438784
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 11.4  12.0  332283904 unknown 12.2  12.5  387231744
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--power--wm831x_backup.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error: exception 6.56 7.03 250490880 unknown 9.77 10.5  262610944
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_true-termination.4-32_1-drivers--input--misc--apanel.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error: exception 11.1  12.0  358105088 unknown 9.06 9.47 497614848
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.3  12.8  469131264 error: exception 10.9  11.6  392695808
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 13.2  13.4  556978176 unknown 12.6  13.2  568602624
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 12.8  12.9  543006720 unknown 12.7  12.8  547663872
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 12.7  13.0  586403840 unknown 15.0  15.9  717549568
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--hid--hid-wacom.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error: exception 13.1  13.6  510144512 unknown 13.1  13.7  467111936
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--hwmon--pmbus--max16064.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error: exception 8.64 9.19 232570880 unknown 9.47 10.0  263262208
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--hwmon--pmbus--max8688.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error: exception 8.75 9.05 245174272 unknown 9.27 9.73 274153472
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--input--misc--apanel_true-termination.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error: exception 8.37 8.69 414920704 unknown 13.2  13.3  442339328
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.2  12.0  349982720 error: type error 11.9  12.8  391598080
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 12.4  12.9  488861696 error: type error 8.76 9.05 498016256
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 15.4  15.9  730353664 error: type error 10.7  10.9  594161664
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--media--dvb--dvb-usb--dvb-usb-dibusb-mb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error: type error 17.8  18.5  758210560 unknown 18.0  18.3  746078208
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--media--dvb--dvb-usb--dvb-usb-dibusb-mc.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error: type error 12.8  13.3  426598400 unknown 13.3  14.0  434003968
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--media--dvb--dvb-usb--dvb-usb-mxl111sf.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unknown 26.7  27.3  828526592 error: type error 19.1  19.5  831254528
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--media--dvb--dvb-usb--dvb-usb-mxl111sf_false-termination.ko-ldv_main3_sequence_infinite_withcheck_stateful.cil.out.c unknown 19.1  19.5  832024576 error: type error 20.0  20.3  832839680
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--media--dvb--dvb-usb--dvb-usb-rtl28xxu.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error: exception 17.9  18.0  748740608 unknown 19.7  20.1  749817856
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 18.3  18.6  734347264 error: type error 18.0  18.5  731455488
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--media--dvb--frontends--rtl2830_false-termination.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unknown 14.2  14.4  663715840 error: type error 14.7  15.4  716414976
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.5  15.9  650801152 error: type error 16.1  16.3  721899520
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--media--video--gspca--gspca_finepix.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error: exception 11.0  11.7  376184832 unknown 12.3  12.6  445206528
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--media--video--gspca--gspca_jl2005bcd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error: exception 8.14 8.50 457850880 unknown 9.62 9.94 573063168
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--media--video--gspca--gspca_pac207.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error: exception 12.4  12.9  486453248 unknown 9.40 9.96 513085440
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--media--video--gspca--gspca_sq905c.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error: exception 11.0  11.0  381853696 unknown 13.0  13.2  388571136
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.9  12.5  342691840 unknown 8.63 8.95 354033664
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 11.2  11.4  750718976 error: type error 16.0  16.1  723615744
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.8  725934080 error: type error 15.8  16.1  728846336
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 6.79 7.29 270012416 unknown 11.5  12.0  302604288
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--power--max8903_charger_false-termination.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error: exception 9.84 10.1  264151040 unknown 10.6  10.9  277000192
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--power--test_power.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error: exception 8.95 9.27 211169280 unknown 9.56 10.3  226988032
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--power--wm831x_backup_false-termination.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error: exception 8.95 9.32 234827776 unknown 6.72 6.92 251355136
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--power--wm831x_power.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error: exception 10.4  10.5  293257216 unknown 11.5  11.6  313925632
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--regulator--max1586.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error: exception 7.82 8.20 414896128 unknown 7.91 8.55 418578432
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--regulator--wm8400-regulator.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error: exception 11.6  12.1  438734848 unknown 12.5  12.8  568385536
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.0  12.1  527876096 unknown 13.1  13.3  554688512
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--staging--speakup--speakup_acntsa.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error: exception 9.14 9.51 214700032 unknown 9.94 10.0  226422784
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--staging--speakup--speakup_dummy.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error: exception 8.96 9.23 217501696 unknown 9.93 10.3  222937088
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--staging--speakup--speakup_ltlk.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error: exception 6.18 6.65 222670848 unknown 6.92 7.57 235560960
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--staging--speakup--speakup_soft.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error: exception 11.0  11.1  322289664 unknown 7.92 8.43 363843584
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--staging--speakup--speakup_spkout.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error: exception 8.94 9.25 238063616 unknown 6.82 7.48 237838336
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--staging--speakup--speakup_txprt.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error: exception 6.03 6.82 211898368 unknown 6.55 6.63 251133952
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--uwb--i1480--i1480-est.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error: exception 8.68 9.19 230924288 unknown 9.82 9.96 236572672
ldv-linux-3.7.3/main0_false-unreach-call_drivers--media--dvb-frontends--stv090x-ko---32_7a--linux-3.7.3.c error: exception 28.8  28.9  811524096 error: type error 32.6  32.9  814383104
ldv-linux-3.7.3/main0_false-unreach-call_drivers-net-wireless-mwl8k-ko---32_7a--linux-3.7.3.c error: exception 26.7  27.3  791576576 unknown 31.8  32.1  817004544
ldv-linux-3.7.3/main11_false-unreach-call_drivers-usb-core-usbcore-ko--32_7a--linux-3.7.3.c error: type error 50.0  50.2  922759168 unknown 90.5  91.0  968916992
ldv-linux-3.7.3/main15_false-unreach-call_drivers-usb-core-usbcore-ko--32_7a--linux-3.7.3.c error: type error 83.4  84.0  923992064 unknown 89.4  89.7  978198528
ldv-linux-3.7.3/main17_false-unreach-call_drivers-gpu-drm-vmwgfx-vmwgfx-ko--32_7a--linux-3.5.c error: exception 41.3  41.9  799395840 unknown 70.5  70.9  891301888
ldv-linux-3.7.3/main1_false-unreach-call_drivers-usb-core-usbcore-ko--32_7a--linux-3.7.3.c error: type error 78.0  78.5  917618688 unknown 88.1  88.5  968101888
ldv-linux-3.7.3/main3_false-unreach-call_drivers-gpu-drm-vmwgfx-vmwgfx-ko--32_7a--linux-3.5.c error: exception 41.2  41.7  788811776 unknown 70.1  70.8  886931456
ldv-commit-tester/m0_false-unreach-call_drivers-scsi-gdth-ko--111_1a--5934df9-1.c error: exception 21.2  21.9  821665792 unknown 67.9  68.4  1916403712
ldv-commit-tester/m0_false-unreach-call_drivers-staging-comedi-drivers-ni_660x-ko--107_1a--adbbc36-1.c error: exception 13.3  13.4  550215680 unknown 14.5  15.1  548073472
ldv-commit-tester/m0_false-unreach-call_drivers-usb-gadget-g_printer-ko--106_1a--2b9ec6c-1.c error: type error 10.2  10.5  705904640 unknown 15.8  16.5  722915328
ldv-commit-tester/m0_false-unreach-call_drivers-usb-gadget-g_printer-ko--106_1a--2b9ec6c.c error: type error 9.88 10.5  707719168 unknown 15.9  16.4  710574080
ldv-commit-tester/main0_false-unreach-call_drivers-net-wireless-ath-carl9170-carl9170-ko--32_7a--8a9f335-1.c error: exception 48.7  49.2  959086592 unknown 41.4  41.7  1047986176
ldv-commit-tester/m0_true-unreach-call_drivers-media-video-cx88-cx8802-ko--32_7a--d47b389.c error: type error 15.9  16.4  722034688 unknown 12.2  12.6  725737472
ldv-commit-tester/m0_true-unreach-call_drivers-staging-comedi-drivers-ni_660x-ko--107_1a--adbbc36.c error: exception 13.8  14.4  415805440 unknown 14.7  14.9  659255296
ldv-commit-tester/m0_true-unreach-call_drivers-usb-gadget-g_printer-ko--106_1a--2b9ec6c.c error: type error 15.4  15.7  722870272 unknown 15.3  15.8  700190720
ldv-commit-tester/main0_true-unreach-call_drivers-net-wireless-ath-carl9170-carl9170-ko--32_7a--8a9f335.c error: exception 47.6  47.9  953507840 unknown 43.2  43.6  1050595328
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 41.2  42.0  793231360 unknown 79.4  79.8  913481728
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 error: exception 31.5  31.9  817623040 error: type error 35.4  35.8  858476544
ldv-consumption/32_7a_cilled_false-unreach-call_linux-3.8-rc1-32_7a-drivers--net--wireless--zd1211rw--zd1211rw.ko-ldv_main7_sequence_infinite_withcheck_stateful.cil.out.c error: exception 45.7  46.3  837574656 unknown 52.5  52.8  849592320
ldv-consumption/32_7a_cilled_false-unreach-call_linux-3.8-rc1-32_7a-drivers--usb--core--usbcore.ko-ldv_main1_sequence_infinite_withcheck_stateful.cil.out.c error: type error 77.8  78.1  911106048 unknown 87.4  87.8  979914752
ldv-consumption/32_7a_cilled_false-unreach-call_linux-3.8-rc1-drivers--gpu--drm--vmwgfx--vmwgfx.ko-main.cil.out.c error: exception 49.9  50.1  829247488 unknown 82.1  82.9  912150528
ldv-consumption/linux-3.8-rc1-32_7a-drivers--net--wireless--mwl8k.ko-ldv_main0_false-unreach-call.cil.out.c error: exception 28.9  29.1  800743424 unknown 33.4  33.5  801419264
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 16.3  16.9  720830464 error: type error 17.1  17.5  738627584
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 38.1  38.7  813481984 unknown 41.6  42.3  802959360
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 24.2  24.6  775802880 unknown 26.6  26.9  804843520
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-32_7a-drivers--net--ethernet--intel--e1000e--e1000e.ko-ldv_main1_sequence_infinite_withcheck_stateful.cil.out.c unknown 87.1  87.4  1229025280 timeout 121    121    1071992832
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-32_7a-drivers--net--ethernet--sfc--sfc.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error: exception 115    116    968712192 timeout 121    121    973983744
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-32_7a-drivers--net--ethernet--sfc--sfc.ko-ldv_main2_sequence_infinite_withcheck_stateful.cil.out.c error: exception 71.8  72.0  967380992 timeout 120    121    964145152
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-32_7a-drivers--net--ethernet--sfc--sfc.ko-ldv_main3_sequence_infinite_withcheck_stateful.cil.out.c error: exception 119    120    961540096 timeout 121    121    967507968
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-32_7a-drivers--net--wireless--ipw2x00--ipw2100.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c error: type error 60.0  60.2  889327616 unknown 62.5  62.8  918917120
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 76.6  77.1  953303040 unknown 55.1  55.3  1061908480
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: exception 28.8  29.2  776302592 unknown 31.2  31.7  783880192
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-32_7a-drivers--net--wireless--zd1211rw--zd1211rw.ko-ldv_main1_sequence_infinite_withcheck_stateful.cil.out.c error: exception 28.0  28.5  842969088 unknown 52.5  52.8  849379328
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 17.9  18.7  730447872 unknown 12.6  13.1  763564032
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.4  50.7  864989184 unknown 53.4  53.6  868323328
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: exception 29.2  29.9  796512256 unknown 20.9  21.0  807788544
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 20.0  20.5  746147840 unknown 21.1  21.2  739147776
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 18.3  18.7  744988672 unknown 19.4  19.7  745877504
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-32_7a-drivers--video--via--viafb.ko-ldv_main12_sequence_infinite_withcheck_stateful.cil.out.c error: exception 33.7  34.0  875425792 error: type error 45.6  46.0  878804992
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-32_7a-net--netfilter--ipvs--ip_vs.ko-ldv_main13_sequence_infinite_withcheck_stateful.cil.out.c error: exception 83.9  84.6  933724160 error: type error 60.6  60.8  939986944
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-32_7a-net--netfilter--ipvs--ip_vs.ko-ldv_main1_sequence_infinite_withcheck_stateful.cil.out.c error: exception 97.0  97.6  937394176 error: type error 107    107    945520640
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--ata--pata_legacy.ko-main.cil.out.c error: exception 16.6  16.9  716079104 unknown 20.0  20.6  747294720
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--block--cpqarray.ko-main.cil.out.c error: exception 16.9  17.0  652341248 unknown 24.0  24.2  801398784
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--gpu--drm--gma500--gma500_gfx.ko-main.cil.out.c error: exception 90.0  90.9  924020736 error: type error 110    110    1015992320
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--isdn--mISDN--l1oip.ko-main.cil.out.c unknown 19.3  19.8  734433280 error: type error 19.8  20.0  743505920
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--md--dm-snapshot.ko-main.cil.out.c error: type error 26.2  26.5  759451648 unknown 26.3  26.6  758976512
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 31.8  32.3  798691328 error: type error 33.1  33.5  791793664
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 26.9  27.0  774012928 unknown 26.7  26.9  804601856
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 78.3  78.6  969056256 unknown 87.6  88.0  1060958208
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--regulator--isl6271a-regulator.ko-main.cil.out.c error: exception 7.01 7.58 337993728 unknown 11.8  11.9  339083264
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--staging--comedi--drivers--ni_660x.ko-main.cil.out.c error: exception 19.6  19.7  709963776 unknown 16.6  17.2  716656640
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--staging--panel--panel.ko-main.cil.out.c error: type error 15.6  16.2  578646016 unknown 16.7  17.2  615952384
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--video--aty--radeonfb.ko-main.cil.out.c error: exception 31.3  31.9  804679680 unknown 32.9  33.5  803893248
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-drivers--video--udlfb.ko-main.cil.out.c error: type error 19.8  20.3  738066432 unknown 21.4  21.5  742862848
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 34.1  34.7  798633984 error: type error 35.0  35.4  794079232
ldv-consumption/linux-3.8-rc1-32_7a-drivers--usb--core--usbcore.ko-ldv_main13_true-unreach-call.cil.out.c error: type error 79.8  80.2  917057536 unknown 90.1  90.5  955695104
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 29.5  29.6  786083840 unknown 31.3  32.0  789626880
ldv-linux-3.12-rc1/linux-3.12-rc1.tar.xz-144_2a-drivers--media--usb--dvb-usb--dvb-usb-dib0700.ko-entry_point_false-unreach-call.cil.out.c error: exception 40.3  40.7  880779264 unknown 45.1  45.8  888451072
ldv-linux-3.12-rc1/linux-3.12-rc1.tar.xz-144_2a-drivers--net--wireless--p54--p54usb.ko-entry_point_false-unreach-call.cil.out.c error: exception 13.6  13.8  748388352 unknown 22.8  23.1  751480832
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.44 9.03 553480192 unknown 16.1  16.5  710893568
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: exception 34.3  35.2  779669504 unknown 23.8  24.0  803368960
ldv-linux-3.16-rc1/205_9a_array_unsafes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--wireless--at76c50x-usb.ko-entry_point_false-unreach-call.cil.out.c error: exception 24.7  24.8  782290944 error: type error 27.6  27.8  787873792
ldv-linux-3.16-rc1/205_9a_array_unsafes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--wireless--ath--wcn36xx--wcn36xx.ko-entry_point_false-unreach-call.cil.out.c error: exception 30.5  31.3  804438016 unknown 35.2  35.3  814010368
ldv-linux-3.16-rc1/205_9a_array_unsafes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--wireless--mwl8k.ko-entry_point_false-unreach-call.cil.out.c error: exception 31.9  32.1  812273664 unknown 24.7  25.2  822198272
ldv-linux-3.16-rc1/205_9a_array_unsafes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--wireless--prism54--prism54.ko-entry_point_false-unreach-call.cil.out.c error: exception 35.5  36.1  807665664 unknown 41.8  42.3  821342208
ldv-linux-3.16-rc1/205_9a_array_unsafes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--wireless--rtl818x--rtl8180--rtl818x_pci.ko-entry_point_false-unreach-call.cil.out.c error: exception 41.0  41.6  796565504 unknown 27.6  27.9  817676288
ldv-linux-3.16-rc1/205_9a_array_unsafes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--wireless--rtl818x--rtl8187--rtl8187.ko-entry_point_false-unreach-call.cil.out.c error: exception 33.4  34.3  786042880 unknown 34.8  35.4  793206784
ldv-linux-3.16-rc1/205_9a_array_unsafes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--wireless--zd1211rw--zd1211rw.ko-entry_point_false-unreach-call.cil.out.c error: exception 41.7  42.2  852307968 unknown 32.3  32.6  848314368
ldv-linux-3.16-rc1/205_9a_array_safes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--wireless--libertas_tf--libertas_tf.ko-entry_point_true-unreach-call.cil.out.c error: exception 20.6  20.8  761266176 unknown 22.9  23.1  762621952
ldv-linux-3.16-rc1/43_2a_bitvector_linux-3.16-rc1.tar.xz-43_2a-drivers--block--skd.ko-entry_point_true-unreach-call.cil.out.c error: exception 27.5  27.7  802754560 unknown 32.4  32.7  808943616
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 18.3  18.6  738615296 unknown 19.0  19.1  742981632
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--net--wireless--ipw2x00--ipw2100.ko-entry_point_true-unreach-call.cil.out.c error: type error 56.6  57.3  886685696 unknown 63.8  64.1  917663744
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--net--wireless--zd1211rw--zd1211rw.ko-entry_point_true-unreach-call.cil.out.c error: exception 49.1  49.5  855937024 unknown 52.9  53.1  852434944
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 27.6  28.3  769241088 error: type error 27.0  27.2  771366912
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 30.8  31.2  780120064 unknown 31.2  32.0  779689984
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: exception 30.5  30.9  803975168 unknown 21.6  22.1  804397056
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--video--fbdev--via--viafb.ko-entry_point_true-unreach-call.cil.out.c error: exception 28.8  29.2  855769088 error: type error 35.1  35.5  892014592
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-fs--dlm--dlm.ko-entry_point_true-unreach-call.cil.out.c error: type error 58.6  58.8  911048704 unknown 86.8  87.2  983314432
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-sound--pci--cs46xx--snd-cs46xx.ko-entry_point_true-unreach-call.cil.out.c error: exception 40.7  41.2  904560640 unknown 52.0  52.4  967524352
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  16.3  704258048 unknown 16.2  16.9  705798144
ldv-validator-v0.6/linux-stable-5934df9-1-111_1a-drivers--scsi--gdth.ko-entry_point_false-unreach-call.cil.out.c error: exception 18.4  18.8  820367360 unknown 63.0  63.6  1961005056
ldv-validator-v0.6/linux-stable-90a4845-1-110_1a-drivers--char--ipmi--ipmi_si.ko-entry_point_false-unreach-call.cil.out.c error: type error 21.3  21.7  754102272 unknown 23.3  23.8  761843712
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 16.6  17.3  706392064 unknown 16.9  17.4  722157568
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 17.3  17.5  724238336 unknown 18.1  18.3  725323776
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  19.0  818905088 unknown 41.2  41.4  2005442560
ldv-validator-v0.8/linux-stable-90a4845-1-110_1a-drivers--char--ipmi--ipmi_si.ko-entry_point_ldv-val-v0.8_false-unreach-call.cil.out.c error: type error 15.5  15.6  756645888 unknown 22.5  22.8  758005760
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 28.8  29.5  803020800 unknown 32.8  33.1  798973952
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: exception 33.2  33.6  789725184 unknown 25.5  26.2  812093440
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 24.5  24.7  795664384 unknown 25.7  25.9  800808960
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--watchdog--pc87413_wdt.ko-entry_point_false-unreach-call.cil.out.c error: type error 11.9  12.5  310603776 unknown 12.7  13.2  318902272
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 30.2  30.6  767406080 error: type error 29.2  29.8  768700416
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--net--wireless--mwl8k.ko-entry_point_false-unreach-call.cil.out.c error: exception 35.7  36.3  817221632 unknown 40.4  40.7  822571008
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 18.5  18.6  792813568 unknown 26.0  26.3  785543168
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 25.5  25.7  783175680 unknown 18.1  18.2  792985600
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.3  14.8  710893568 unknown 9.77 10.2  717414400
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--infiniband--hw--mlx5--mlx5_ib.ko-entry_point_true-unreach-call.cil.out.c error: exception 49.0  49.5  870981632 unknown 57.7  58.1  887791616
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--isdn--gigaset--gigaset.ko-entry_point_true-unreach-call.cil.out.c error: type error 27.6  28.2  832929792 unknown 45.1  45.3  827437056
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--net--ethernet--intel--i40e--i40e.ko-entry_point_true-unreach-call.cil.out.c unknown 85.3  85.6  1112788992 timeout 121    121    992866304
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--net--ethernet--intel--igb--igb.ko-entry_point_true-unreach-call.cil.out.c error: type error 96.4  96.8  967036928 unknown 105    105    1024987136
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 41.2  41.6  802840576 error: type error 55.6  55.8  926846976
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--net--wireless--ipw2x00--ipw2100.ko-entry_point_true-unreach-call.cil.out.c error: type error 54.5  54.7  892129280 unknown 68.6  68.8  908083200
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 82.0  82.3  968228864 unknown 90.1  90.4  1068363776
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--net--wireless--iwlwifi--dvm--iwldvm.ko-entry_point_true-unreach-call.cil.out.c error: exception 105    106    974053376 timeout 121    121    990076928
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--net--wireless--libertas--libertas.ko-entry_point_true-unreach-call.cil.out.c error: exception 30.6  31.0  874524672 unknown 59.3  59.5  883613696
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 63.3  63.6  893108224 unknown 74.2  74.8  887529472
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 10.0  10.6  392753152 unknown 10.5  11.0  516165632
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 21.4  21.8  782950400 unknown 43.8  44.5  1915580416
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 56.5  56.8  946397184 unknown 40.6  41.0  968417280
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 24.5  25.1  804032512 error: type error 60.8  61.2  933056512
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--infiniband--hw--mlx5--mlx5_ib.ko-entry_point_true-unreach-call.cil.out.c error: exception 51.8  52.1  871645184 unknown 63.6  64.1  929796096
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--input--mouse--cyapatp.ko-entry_point_true-unreach-call.cil.out.c error: type error 30.4  30.7  786800640 unknown 34.3  34.6  784625664
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--media--pci--saa7164--saa7164.ko-entry_point_true-unreach-call.cil.out.c error: exception 63.6  63.9  894672896 unknown 81.8  82.1  966201344
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 116    117    952623104 timeout 120    121    931270656
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 92.4  92.6  1100894208 timeout 120    121    977305600
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--net--ethernet--intel--igb--igb.ko-entry_point_true-unreach-call.cil.out.c error: type error 105    105    979615744 unknown 64.9  65.5  1001209856
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 48.9  49.8  811855872 error: type error 100    101    938213376
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--net--wireless--ipw2x00--ipw2100.ko-entry_point_true-unreach-call.cil.out.c error: type error 65.5  65.8  894005248 unknown 69.5  70.0  915443712
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 85.5  85.9  979480576 unknown 97.7  98.1  1062182912
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--net--wireless--iwlwifi--dvm--iwldvm.ko-entry_point_true-unreach-call.cil.out.c error: exception 120    120    985362432 timeout 121    121    986943488
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--net--wireless--libertas--libertas.ko-entry_point_true-unreach-call.cil.out.c error: exception 54.9  55.2  887128064 unknown 70.1  70.6  880394240
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--net--wireless--mediatek--mt7601u--mt7601u.ko-entry_point_true-unreach-call.cil.out.c error: exception 65.1  65.7  873529344 error: type error 80.5  80.8  902627328
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--net--wireless--p54--p54usb.ko-entry_point_true-unreach-call.cil.out.c error: exception 23.5  24.0  755384320 unknown 15.9  16.0  757583872
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--net--wireless--prism54--prism54.ko-entry_point_true-unreach-call.cil.out.c error: exception 26.3  27.0  824598528 unknown 32.0  32.5  847413248
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: exception 35.3  35.6  800694272 unknown 42.4  42.9  807882752
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--net--wireless--zd1211rw--zd1211rw.ko-entry_point_true-unreach-call.cil.out.c error: exception 34.4  34.7  855052288 unknown 38.5  38.6  859201536
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 65.5  65.9  886898688 unknown 74.0  74.6  904359936
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.3  20.5  797032448 unknown 66.0  66.8  1993293824
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 62.2  62.4  940314624 unknown 75.1  75.4  1006215168
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--target--target_core_mod.ko-entry_point_true-unreach-call.cil.out.c timeout 121    121    958464000 unknown 120    120    1151283200
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: exception 33.2  33.4  806412288 unknown 25.7  26.2  831221760
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 21.3  21.5  742498304 unknown 23.3  23.5  754294784
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--video--fbdev--via--viafb.ko-entry_point_true-unreach-call.cil.out.c error: exception 38.0  38.2  885813248 error: type error 28.7  29.1  895311872
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.3  802672640 unknown 35.0  35.6  797675520
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--input--mouse--psmouse.ko-entry_point_true-unreach-call.cil.out.c error: exception 51.6  52.2  895086592 unknown 67.6  67.8  948817920
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.2  32.7  792915968 unknown 33.8  33.9  796893184
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 30.9  31.1  766775296 error: type error 32.2  32.3  766316544
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 30.3  30.5  772329472 unknown 31.1  31.3  776093696
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--media--pci--saa7164--saa7164.ko-entry_point_true-unreach-call.cil.out.c error: exception 34.8  34.9  887693312 unknown 72.2  72.6  963411968
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--net--ethernet--intel--e1000e--e1000e.ko-entry_point_true-unreach-call.cil.out.c timeout 121    121    970461184 unknown 85.7  86.1  1032851456
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--net--ethernet--intel--igb--igb.ko-entry_point_true-unreach-call.cil.out.c error: type error 62.9  63.2  978665472 unknown 112    113    1032196096
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 47.9  48.4  805412864 error: type error 97.1  97.8  937332736
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--net--ethernet--qlogic--qla3xxx.ko-entry_point_true-unreach-call.cil.out.c error: exception 35.0  35.5  782721024 unknown 23.4  24.0  785858560
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--net--ethernet--realtek--r8169.ko-entry_point_true-unreach-call.cil.out.c error: exception 60.8  61.2  851185664 unknown 63.9  64.2  855437312
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--net--wireless--ipw2x00--ipw2100.ko-entry_point_true-unreach-call.cil.out.c error: type error 57.6  57.8  888291328 unknown 40.7  40.8  908288000
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 83.5  83.8  966397952 unknown 91.6  92.1  1062744064
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--net--wireless--libertas--libertas.ko-entry_point_true-unreach-call.cil.out.c error: exception 48.0  48.2  869933056 unknown 66.1  66.9  937332736
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--net--wireless--mediatek--mt7601u--mt7601u.ko-entry_point_true-unreach-call.cil.out.c error: exception 37.5  38.0  871235584 error: type error 69.7  70.0  889716736
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--net--wireless--mwl8k.ko-entry_point_true-unreach-call.cil.out.c error: exception 39.0  39.5  807677952 unknown 43.4  43.9  814739456
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--net--wireless--prism54--prism54.ko-entry_point_true-unreach-call.cil.out.c error: exception 25.3  26.0  819929088 unknown 45.9  46.4  832684032
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: exception 34.1  34.6  793411584 unknown 41.4  41.6  830640128
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--net--wireless--rtl818x--rtl8180--rtl818x_pci.ko-entry_point_true-unreach-call.cil.out.c error: exception 50.9  51.3  806821888 unknown 29.9  30.4  822870016
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--net--wireless--zd1211rw--zd1211rw.ko-entry_point_true-unreach-call.cil.out.c error: exception 55.6  55.9  856903680 unknown 59.2  59.4  860327936
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--regulator--lp8755.ko-entry_point_true-unreach-call.cil.out.c error: exception 18.2  18.2  782848000 unknown 23.1  23.3  865193984
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 69.7  70.3  894562304 unknown 65.3  65.9  896024576
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--scsi--esas2r--esas2r.ko-entry_point_true-unreach-call.cil.out.c error: exception 10.6  11.0  419917824 unknown 15.3  15.9  569511936
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 22.2  22.3  786481152 unknown 67.2  67.8  1906163712
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 61.7  62.0  946741248 unknown 42.3  42.5  972746752
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--staging--rts5208--rts5208.ko-entry_point_true-unreach-call.cil.out.c unknown 116    117    957235200 timeout 121    121    1007669248
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--staging--vt6656--vt6656_stage.ko-entry_point_true-unreach-call.cil.out.c error: exception 40.4  40.6  1040859136 unknown 110    110    1167794176
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 23.5  23.6  745132032 timeout 121    121    2039382016
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: exception 30.1  30.6  806416384 unknown 34.2  34.7  811524096
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--video--fbdev--via--viafb.ko-entry_point_true-unreach-call.cil.out.c error: exception 18.9  19.5  850538496 error: type error 40.1  40.3  884191232
ldv-challenges/linux-3.8-rc1-32_7a-drivers--usb--core--usbcore.ko-ldv_main11_sequence_infinite_withcheck_stateful_false-unreach-call.cil.out.c error: type error 81.5  81.9  920186880 unknown 94.6  94.9  962002944
ldv-challenges/linux-3.14__complex_emg__linux-alloc-spinlock__drivers-media-dvb-core-dvb-core_true-unreach-call.cil.c error: exception 21.8  22.2  733765632 unknown 61.2  61.5  946520064
ldv-challenges/linux-3.14__complex_emg__linux-alloc-spinlock__drivers-media-usb-dvb-usb-dvb-usb-dib0700_true-unreach-call.cil.c error: exception 70.7  71.0  932880384 unknown 85.2  85.8  954986496
ldv-challenges/linux-3.14__complex_emg__linux-alloc-spinlock__drivers-net-ethernet-chelsio-cxgb3-cxgb3_true-unreach-call.cil.c unknown 78.3  78.6  981053440 timeout 121    121    929796096
ldv-challenges/linux-3.14__complex_emg__linux-alloc-spinlock__drivers-net-ethernet-intel-igb-igb_true-unreach-call.cil.c error: type error 67.7  68.0  976404480 timeout 121    121    972541952
ldv-challenges/linux-3.14__complex_emg__linux-alloc-spinlock__drivers-net-ethernet-via-via-velocity_true-unreach-call.cil.c error: exception 40.8  41.4  805150720 unknown 43.7  44.2  813535232
ldv-challenges/linux-3.14__complex_emg__linux-alloc-spinlock__drivers-net-wireless-libertas-libertas_true-unreach-call.cil.c error: exception 58.5  59.2  895504384 unknown 75.0  75.4  943239168
ldv-challenges/linux-3.14__complex_emg__linux-alloc-spinlock__drivers-net-wireless-rndis_wlan_true-unreach-call.cil.c error: exception 36.4  37.1  807424000 unknown 39.7  40.3  806461440
ldv-challenges/linux-3.14__complex_emg__linux-alloc-spinlock__drivers-net-wireless-rtl818x-rtl8180-rtl8180_true-unreach-call.cil.c error: exception 37.6  37.9  798728192 unknown 48.0  48.3  804237312
ldv-challenges/linux-3.14__complex_emg__linux-drivers-clk1__drivers-net-ethernet-intel-igb-igb_true-unreach-call.cil.c error: type error 105    106    971870208 unknown 67.5  67.7  1026613248
ldv-challenges/linux-3.14__complex_emg__linux-kernel-locking-mutex__drivers-media-radio-radio-si476x_true-unreach-call.cil.c error: exception 24.6  24.7  768991232 unknown 30.6  31.2  781299712
ldv-challenges/linux-3.14__complex_emg__linux-kernel-locking-mutex__drivers-media-usb-dvb-usb-dvb-usb-dib0700_true-unreach-call.cil.c error: exception 74.4  75.0  927064064 unknown 48.6  48.9  923672576
ldv-challenges/linux-3.14__complex_emg__linux-kernel-locking-mutex__drivers-net-ethernet-intel-e1000e-e1000e_true-unreach-call.cil.c unknown 98.7  99.1  1081339904 timeout 121    121    922992640
ldv-challenges/linux-3.14__complex_emg__linux-kernel-locking-mutex__drivers-net-ethernet-intel-igb-igb_true-unreach-call.cil.c error: type error 110    110    975704064 unknown 68.7  69.0  1035513856
ldv-challenges/linux-3.14__complex_emg__linux-kernel-locking-mutex__drivers-net-ethernet-realtek-r8169_true-unreach-call.cil.c error: exception 59.4  59.9  829423616 unknown 69.4  70.2  852348928
ldv-challenges/linux-3.14__complex_emg__linux-kernel-locking-mutex__drivers-net-wireless-rndis_wlan_true-unreach-call.cil.c error: exception 35.6  36.2  801185792 unknown 39.9  40.5  804597760
ldv-challenges/linux-3.14__complex_emg__linux-kernel-locking-spinlock__drivers-net-ethernet-broadcom-tg3_true-unreach-call.cil.c unknown 113    114    945078272 timeout 121    121    943886336
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 112    112    974479360 timeout 121    121    970403840
ldv-challenges/linux-3.14__complex_emg__linux-kernel-locking-spinlock__drivers-net-ethernet-via-via-velocity_true-unreach-call.cil.c error: exception 32.6  33.2  802070528 unknown 43.2  43.7  823943168
ldv-challenges/linux-3.14__complex_emg__linux-kernel-locking-spinlock__drivers-net-wireless-libertas-libertas_true-unreach-call.cil.c error: exception 61.7  62.2  886796288 unknown 41.9  42.2  902901760
ldv-challenges/linux-3.14__complex_emg__linux-kernel-locking-spinlock__drivers-net-wireless-rndis_wlan_true-unreach-call.cil.c error: exception 23.3  23.8  804499456 unknown 42.6  43.2  813457408
ldv-challenges/linux-3.14__complex_emg__linux-kernel-locking-spinlock__drivers-net-wireless-rtl818x-rtl8180-rtl8180_true-unreach-call.cil.c error: exception 41.1  41.6  793927680 unknown 41.8  42.1  795201536
ldv-challenges/linux-3.14__complex_emg__linux-usb-dev__drivers-media-usb-em28xx-em28xx_true-unreach-call.cil.c error: exception 16.8  17.6  840814592 unknown 43.2  43.5  901214208
ldv-challenges/linux-3.14__complex_emg__linux-usb-dev__drivers-net-ethernet-intel-e1000e-e1000e_true-unreach-call.cil.c timeout 121    121    924151808 unknown 98.9  99.1  1060667392
ldv-challenges/linux-3.14__complex_emg__linux-usb-dev__drivers-net-ethernet-intel-igb-igb_true-unreach-call.cil.c error: type error 109    110    971984896 unknown 114    114    1010569216
ldv-challenges/linux-3.14__linux-alloc-spinlock__drivers-net-ethernet-via-via-velocity_true-unreach-call.cil.c error: exception 37.5  37.7  796704768 unknown 44.2  44.5  810954752
ldv-challenges/linux-3.14__linux-kernel-locking-spinlock__drivers-net-ethernet-via-via-velocity_true-unreach-call.cil.c error: exception 36.9  37.5  802119680 unknown 39.4  39.8  809144320
ldv-challenges/linux-3.14__linux-usb-dev__drivers-media-usb-em28xx-em28xx_true-unreach-call.cil.c error: exception 23.8  24.2  823721984 unknown 40.2  40.6  902516736
ldv-challenges/linux-3.8-rc1-32_7a-drivers--md--md-mod.ko-ldv_main0_sequence_infinite_withcheck_stateful_true-unreach-call.cil.out.c error: type error 36.5  36.9  883286016 unknown 53.5  53.8  891207680
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 error: exception 32.0  32.7  812781568 error: type error 36.7  37.3  826638336
ldv-challenges/linux-3.8-rc1-32_7a-drivers--usb--core--usbcore.ko-ldv_main0_sequence_infinite_withcheck_stateful_true-unreach-call.cil.out.c error: type error 88.9  89.2  926167040 unknown 95.5  96.0  964919296
ldv-challenges/linux-3.8-rc1-32_7a-drivers--usb--core--usbcore.ko-ldv_main1_sequence_infinite_withcheck_stateful_true-unreach-call.cil.out.c error: type error 84.7  85.1  932622336 unknown 86.9  87.3  951234560
ldv-linux-3.14/linux-3.14__complex_emg__linux-alloc-spinlock__drivers-media-pci-saa7164-saa7164_true-unreach-call.cil.c error: exception 34.3  34.6  878231552 unknown 70.4  70.8  948252672
ldv-linux-3.14/linux-3.14__complex_emg__linux-alloc-spinlock__drivers-net-team-team_true-unreach-call.cil.c error: exception 39.7  40.3  789655552 unknown 42.8  43.4  798593024
ldv-linux-3.14/linux-3.14__complex_emg__linux-alloc-spinlock__drivers-net-wireless-ipw2x00-ipw2100_true-unreach-call.cil.c error: type error 62.9  63.1  895057920 unknown 43.6  43.8  931622912
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 79.5  79.8  964804608 unknown 86.9  87.4  1009430528
ldv-linux-3.14/linux-3.14__complex_emg__linux-drivers-clk1__drivers-media-pci-saa7164-saa7164_true-unreach-call.cil.c error: exception 52.3  52.8  874135552 unknown 70.8  71.2  948224000
ldv-linux-3.14/linux-3.14__complex_emg__linux-drivers-clk1__drivers-net-ethernet-broadcom-tg3_true-unreach-call.cil.c unknown 112    113    970219520 timeout 121    121    929869824
ldv-linux-3.14/linux-3.14__complex_emg__linux-drivers-clk1__drivers-net-wireless-ipw2x00-ipw2100_true-unreach-call.cil.c error: type error 39.4  39.7  893636608 unknown 65.8  66.4  895811584
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 78.8  79.4  956772352 unknown 83.2  83.5  1055756288
ldv-linux-3.14/linux-3.14__complex_emg__linux-drivers-clk1__drivers-net-wireless-libertas-libertas_true-unreach-call.cil.c error: exception 35.2  35.4  890781696 unknown 43.9  44.0  912048128
ldv-linux-3.14/linux-3.14__complex_emg__linux-kernel-locking-mutex__drivers-media-pci-saa7164-saa7164_true-unreach-call.cil.c error: exception 54.5  54.7  880295936 unknown 42.5  42.8  944308224
ldv-linux-3.14/linux-3.14__complex_emg__linux-kernel-locking-mutex__drivers-media-usb-em28xx-em28xx_true-unreach-call.cil.c error: exception 16.2  16.8  825204736 unknown 38.3  38.7  889585664
ldv-linux-3.14/linux-3.14__complex_emg__linux-kernel-locking-mutex__drivers-net-wireless-ipw2x00-ipw2100_true-unreach-call.cil.c error: type error 40.0  40.2  896712704 unknown 67.2  67.5  952799232
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 76.6  76.9  960118784 unknown 85.3  85.8  1018003456
ldv-linux-3.14/linux-3.14__complex_emg__linux-kernel-locking-mutex__drivers-net-wireless-libertas-libertas_true-unreach-call.cil.c error: exception 62.1  62.4  885501952 unknown 70.3  70.6  937078784
ldv-linux-3.14/linux-3.14__complex_emg__linux-kernel-locking-mutex__drivers-net-wireless-prism54-prism54_true-unreach-call.cil.c error: exception 41.7  42.3  814075904 unknown 47.1  47.3  816488448
ldv-linux-3.14/linux-3.14__complex_emg__linux-kernel-locking-mutex__fs-binfmt_misc_true-unreach-call.cil.c error: type error 18.8  19.3  720830464 unknown 12.5  12.7  722124800
ldv-linux-3.14/linux-3.14__complex_emg__linux-kernel-locking-spinlock__drivers-media-dvb-core-dvb-core_true-unreach-call.cil.c error: exception 25.0  25.2  738865152 unknown 62.1  62.8  950919168
ldv-linux-3.14/linux-3.14__complex_emg__linux-kernel-locking-spinlock__drivers-media-pci-saa7164-saa7164_true-unreach-call.cil.c error: exception 35.9  36.1  880246784 unknown 69.4  69.6  959344640
ldv-linux-3.14/linux-3.14__complex_emg__linux-kernel-locking-spinlock__drivers-net-ethernet-qlogic-qla3xxx_true-unreach-call.cil.c error: exception 35.3  35.6  779935744 unknown 40.4  41.0  791375872
ldv-linux-3.14/linux-3.14__complex_emg__linux-kernel-locking-spinlock__drivers-net-wireless-adm8211_true-unreach-call.cil.c error: exception 28.3  29.0  781172736 unknown 32.0  32.6  786169856
ldv-linux-3.14/linux-3.14__complex_emg__linux-kernel-locking-spinlock__drivers-net-wireless-ipw2x00-ipw2100_true-unreach-call.cil.c error: type error 62.5  62.8  896208896 unknown 65.8  66.1  945446912
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 71.8  72.1  964808704 unknown 52.8  53.1  1040584704
ldv-linux-3.14/linux-3.14__complex_emg__linux-kernel-locking-spinlock__drivers-net-wireless-prism54-prism54_true-unreach-call.cil.c error: exception 39.8  40.4  815910912 unknown 41.8  42.2  848887808
ldv-linux-3.14/linux-3.14__complex_emg__linux-usb-dev__drivers-media-pci-saa7164-saa7164_true-unreach-call.cil.c error: exception 49.5  49.7  888668160 unknown 68.5  68.7  948051968
ldv-linux-3.14/linux-3.14__complex_emg__linux-usb-dev__drivers-media-usb-dvb-usb-dvb-usb-dib0700_true-unreach-call.cil.c error: exception 64.5  64.9  922021888 unknown 79.3  79.9  931352576
ldv-linux-3.14/linux-3.14__complex_emg__linux-usb-dev__drivers-net-ethernet-realtek-r8169_true-unreach-call.cil.c error: exception 34.4  34.7  819392512 unknown 68.2  68.4  849039360
ldv-linux-3.14/linux-3.14__complex_emg__linux-usb-dev__drivers-net-ethernet-via-via-velocity_true-unreach-call.cil.c error: exception 34.7  35.1  799981568 unknown 44.6  45.0  807866368
ldv-linux-3.14/linux-3.14__complex_emg__linux-usb-dev__drivers-net-wireless-ipw2x00-ipw2100_true-unreach-call.cil.c error: type error 60.2  60.5  893718528 unknown 66.0  66.3  923553792
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 78.1  78.7  966156288 unknown 83.8  84.3  1059287040
ldv-linux-3.14/linux-3.14__complex_emg__linux-usb-dev__drivers-net-wireless-libertas-libertas_true-unreach-call.cil.c error: exception 57.9  58.2  887193600 unknown 41.1  41.6  936173568
ldv-linux-3.14/linux-3.14__complex_emg__linux-usb-dev__drivers-net-wireless-rndis_wlan_true-unreach-call.cil.c error: exception 21.3  22.1  791658496 unknown 43.4  43.7  815427584
ldv-linux-3.14/linux-3.14__linux-alloc-spinlock__drivers-media-pci-saa7164-saa7164_true-unreach-call.cil.c error: exception 51.5  51.8  890580992 unknown 65.0  65.2  952418304
ldv-linux-3.14/linux-3.14__linux-alloc-spinlock__drivers-net-ethernet-intel-i40e-i40e_true-unreach-call.cil.c unknown 109    110    979169280 timeout 120    121    966328320
ldv-linux-3.14/linux-3.14__linux-drivers-clk1__drivers-media-pci-saa7164-saa7164_true-unreach-call.cil.c error: exception 52.4  52.8  875810816 unknown 64.7  65.2  931536896
ldv-linux-3.14/linux-3.14__linux-drivers-clk1__drivers-net-wireless-ipw2x00-ipw2100_true-unreach-call.cil.c error: type error 61.4  61.6  892551168 unknown 65.3  65.9  902131712
ldv-linux-3.14/linux-3.14__linux-kernel-locking-mutex__drivers-media-pci-saa7164-saa7164_true-unreach-call.cil.c error: exception 55.4  56.1  878305280 unknown 70.3  70.6  942223360
ldv-linux-3.14/linux-3.14__linux-kernel-locking-mutex__drivers-media-usb-em28xx-em28xx_true-unreach-call.cil.c error: exception 27.1  27.4  826576896 unknown 43.7  43.9  926400512
ldv-linux-3.14/linux-3.14__linux-kernel-locking-mutex__drivers-net-wireless-ipw2x00-ipw2100_true-unreach-call.cil.c error: type error 60.3  61.0  889274368 unknown 67.5  68.0  899792896
ldv-linux-3.14/linux-3.14__linux-kernel-locking-mutex__drivers-net-wireless-libertas-libertas_true-unreach-call.cil.c error: exception 54.6  55.5  879132672 unknown 68.8  69.2  904060928
ldv-linux-3.14/linux-3.14__linux-kernel-locking-spinlock__drivers-media-pci-saa7164-saa7164_true-unreach-call.cil.c error: exception 51.4  51.9  886468608 unknown 42.5  42.9  947933184
ldv-linux-3.14/linux-3.14__linux-kernel-locking-spinlock__drivers-net-wireless-ipw2x00-ipw2100_true-unreach-call.cil.c error: type error 64.1  64.3  890937344 unknown 65.5  65.8  938225664
ldv-linux-3.14/linux-3.14__linux-kernel-locking-spinlock__drivers-net-wireless-ipw2x00-ipw2200_true-unreach-call.cil.c error: type error 78.9  79.2  966811648 unknown 85.5  86.1  1004638208
ldv-linux-3.14/linux-3.14__linux-usb-dev__drivers-media-pci-saa7164-saa7164_true-unreach-call.cil.c error: exception 50.9  51.6  872988672 unknown 69.3  70.0  938340352
ldv-linux-3.14/linux-3.14__linux-usb-dev__drivers-net-ethernet-chelsio-cxgb3-cxgb3_true-unreach-call.cil.c unknown 117    118    923611136 timeout 121    121    941277184
ldv-linux-3.14/linux-3.14__linux-usb-dev__drivers-net-ethernet-intel-ixgbe-ixgbe_true-unreach-call.cil.c error: type error 117    118    1086021632 timeout 121    121    1057128448
ldv-linux-3.14/linux-3.14__linux-usb-dev__drivers-net-ethernet-via-via-velocity_true-unreach-call.cil.c error: exception 33.1  33.4  799019008 unknown 42.1  42.6  810700800
ldv-linux-3.14/linux-3.14__linux-usb-dev__drivers-net-wireless-ipw2x00-ipw2100_true-unreach-call.cil.c error: type error 55.9  56.4  886226944 unknown 62.5  62.8  909799424
ldv-linux-3.14/linux-3.14__linux-usb-dev__drivers-net-wireless-ipw2x00-ipw2200_true-unreach-call.cil.c error: type error 77.8  78.1  957616128 unknown 83.2  83.9  1059995648
ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--block--skd.ko_false-unreach-call.cil.c error: exception 38.3  38.8  813621248 unknown 43.4  43.9  839344128
ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--hid--hid-wiimote.ko_false-unreach-call.cil.c error: exception 62.3  62.6  836427776 unknown 72.1  72.6  856936448
ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--media--dvb-core--dvb-core.ko_false-unreach-call.cil.c error: exception 28.1  28.2  742649856 unknown 73.7  74.3  928342016
ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--net--ethernet--broadcom--tg3.ko_false-unreach-call.cil.c timeout 121    121    963018752 unknown 79.3  80.0  1012047872
ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--net--team--team.ko_false-unreach-call.cil.c error: exception 40.6  41.3  801509376 unknown 52.6  53.3  813965312
ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--net--wireless--ath--ar5523--ar5523.ko_false-unreach-call.cil.c error: exception 23.0  23.6  797155328 unknown 39.1  39.6  807632896
ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--be2iscsi--be2iscsi.ko_false-unreach-call.cil.c error: type error 75.5  75.8  906911744 unknown 76.4  76.7  941297664
ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--scsi--esas2r--esas2r.ko_false-unreach-call.cil.c error: exception 11.3  11.5  448905216 unknown 17.6  17.9  536555520
ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--video--fbdev--udlfb.ko_false-unreach-call.cil.c error: type error 30.3  30.7  777310208 unknown 29.9  30.1  773570560
ldv-linux-4.0-rc1-mav/linux-4.0-rc1---sound--pci--ice1712--snd-ice1724.ko_false-unreach-call.cil.c error: exception 51.1  51.6  1289728000 unknown 72.5  72.9  1661464576
ldv-linux-4.0-rc1-mav/linux-4.0-rc1---drivers--net--wireless--rtl818x--rtl8180--rtl818x_pci.ko_true-unreach-call.cil.c error: exception 50.3  50.8  816697344 unknown 57.5  57.7  844427264
recursive/Addition02WithOverflowBug_false-no-overflow.c unknown 6.78 7.15 168083456 -
recursive/Addition03_false-no-overflow.c unknown 6.92 7.23 166789120 -
recursive/EvenOdd03WithOverflowBug_false-no-overflow.c unknown 6.59 7.00 166690816 -
recursive-simple/id_b3_o2_false-no-overflow.c unknown 6.65 7.02 167661568 -
recursive-simple/id_b3_o5_false-no-overflow.c unknown 7.11 7.19 169705472 -
recursive-simple/id_b5_o10_false-no-overflow.c unknown 6.76 7.00 164904960 -
recursive-simple/sum_non_eq_false-no-overflow.c unknown 6.92 7.12 169410560 -
recursive-simple/sum_non_false-no-overflow.c unknown 6.93 7.13 170283008 -
bitvector/byte_add_1_false-no-overflow.i unknown 7.31 7.74 183320576 -
bitvector/byte_add_2_false-no-overflow.i unknown 7.21 7.53 189071360 -
bitvector/byte_add_false-no-overflow.i unknown 7.44 7.97 182259712 -
bitvector/jain_1_false-no-overflow.i unknown 6.74 7.05 168505344 -
bitvector/jain_2_false-no-overflow.i unknown 6.90 7.19 168681472 -
bitvector/jain_4_false-no-overflow.i unknown 4.78 5.27 167612416 -
bitvector/jain_5_false-no-overflow.i unknown 7.08 7.39 166440960 -
bitvector/jain_6_false-no-overflow.i unknown 5.01 5.43 169660416 -
bitvector/jain_7_false-no-overflow.i unknown 6.78 7.29 171290624 -
bitvector/modulus_false-no-overflow.i unknown 7.12 7.51 169664512 -
psyco/psyco_abp_1_false-no-overflow.c unknown 5.91 6.01 204840960 -
signedintegeroverflow-regression/AdditionIntMax_false-no-overflow.c.i unknown 7.78 8.46 197246976 -
signedintegeroverflow-regression/AdditionIntMin_false-no-overflow.c.i unknown 7.76 8.42 193654784 -
signedintegeroverflow-regression/Division_false-no-overflow.c.i unknown 5.65 6.07 195399680 -
signedintegeroverflow-regression/Multiplication_false-no-overflow.c.i unknown 7.73 8.10 195735552 -
signedintegeroverflow-regression/NoConversion_false-no-overflow.c.i unknown 5.37 5.92 195108864 -
signedintegeroverflow-regression/PostfixDecrement_false-no-overflow.c.i unknown 7.93 8.73 194211840 -
signedintegeroverflow-regression/PostfixIncrement_false-no-overflow.c.i unknown 7.55 8.41 194166784 -
signedintegeroverflow-regression/PrefixDecrement_false-no-overflow.c.i unknown 7.86 8.21 194355200 -
signedintegeroverflow-regression/PrefixIncrement_false-no-overflow.c.i unknown 7.61 7.97 190971904 -
signedintegeroverflow-regression/UnaryMinus_false-no-overflow.c.i unknown 7.48 7.96 197193728 -
signedintegeroverflow-regression/ConversionToSignedInt_true-no-overflow_true-termination.c.i unknown 7.53 7.91 194830336 -
signedintegeroverflow-regression/IntegerPromotion_true-no-overflow_true-termination.c.i unknown 7.92 8.40 198979584 -
signedintegeroverflow-regression/Multiplication_true-no-overflow_true-termination.c.i unknown 7.67 8.18 193060864 -
signedintegeroverflow-regression/NoNegativeIntegerConstant_true-no-overflow_true-termination.c.i unknown 7.64 8.01 194433024 -
signedintegeroverflow-regression/UsualArithmeticConversions_true-no-overflow_true-termination.c.i unknown 7.45 7.77 194936832 -
termination-crafted/2Nested_false-no-overflow.c unknown 7.05 7.22 168034304 -
termination-crafted/4NestedWith3Variables_false-no-overflow.c unknown 6.88 7.15 167043072 -
termination-crafted/Ackermann_false-no-overflow.c unknown 6.78 7.28 166424576 -
termination-crafted/Bangalore_false-no-overflow.c unknown 6.91 7.12 169357312 -
termination-crafted/Bangalore_v3_false-no-overflow.c unknown 6.70 7.06 169062400 -
termination-crafted/Benghazi_nondet_false-no-overflow.c unknown 6.83 7.04 166903808 -
termination-crafted/Binary_Search_false-no-overflow.c unknown 6.81 7.26 167137280 -
termination-crafted/Cairo_nondet_false-no-overflow.c unknown 6.65 7.17 167370752 -
termination-crafted/Cairo_step2_false-no-overflow.c unknown 4.86 5.36 164511744 -
termination-crafted/Collatz_unknown-termination_false-no-overflow.c unknown 6.68 6.99 167784448 -
termination-crafted/Copenhagen_disj_false-no-overflow.c unknown 7.01 7.35 169668608 -
termination-crafted/Gothenburg_false-no-overflow.c unknown 4.67 5.20 164401152 -
termination-crafted/Gothenburg_v2_false-no-overflow.c unknown 6.80 7.07 172851200 -
termination-crafted/Hanoi_2vars_false-no-overflow.c unknown 4.63 5.28 169705472 -
termination-crafted/Hanoi_3vars_false-no-overflow.c unknown 4.80 5.37 163926016 -
termination-crafted/Hanoi_plus_false-no-overflow.c unknown 6.84 7.17 166313984 -
termination-crafted/Lobnya-Boolean-Reordered_false-no-overflow.c unknown 6.72 7.30 167170048 -
termination-crafted/Mysore_false-no-overflow.c unknown 6.73 7.04 166498304 -
termination-crafted/NestedRecursion_1a_false-no-overflow.c unknown 6.94 7.26 167960576 -
termination-crafted/NestedRecursion_2a_false-no-overflow.c unknown 6.68 7.12 168493056 -
termination-crafted/NonTermination1_false-no-overflow.c unknown 6.73 7.17 170872832 -
termination-crafted/NonTermination2_false-no-overflow.c unknown 6.87 7.15 167645184 -
termination-crafted/NonTermination4_false-no-overflow.c unknown 6.81 7.10 170065920 -
termination-crafted/NonTerminationSimple2_false-no-overflow.c unknown 6.78 7.16 165449728 -
termination-crafted/NonTerminationSimple3_false-no-overflow.c unknown 6.82 7.26 164315136 -
termination-crafted/NonTerminationSimple4_false-no-overflow.c unknown 6.64 7.11 167604224 -
termination-crafted/NonTerminationSimple5_false-no-overflow.c unknown 4.76 5.30 168353792 -
termination-crafted/NonTerminationSimple6_false-no-overflow.c unknown 7.05 7.45 170835968 -
termination-crafted/NonTerminationSimple8_false-no-overflow.c unknown 6.88 7.14 173531136 -
termination-crafted/NonTerminationSimple9_false-no-overflow.c unknown 7.05 7.35 171311104 -
termination-crafted/Pure2Phase_false-no-overflow.c unknown 6.31 6.86 170438656 -
termination-crafted/Pure3Phase_false-no-overflow.c unknown 6.27 6.86 164536320 -
termination-crafted/RecursiveMultiplication_false-no-overflow.c unknown 6.87 7.32 166871040 -
termination-crafted/RecursiveNonterminating_false-no-overflow.c unknown 6.52 7.05 169889792 -
termination-crafted/Rotation180_false-no-overflow.c unknown 6.96 7.37 172752896 -
termination-crafted/Singapore_false-no-overflow.c unknown 5.04 5.61 167538688 -
termination-crafted/Singapore_plus_false-no-overflow.c unknown 6.67 7.02 169033728 -
termination-crafted/Singapore_v1_false-no-overflow.c unknown 6.78 7.06 171085824 -
termination-crafted/Singapore_v2_false-no-overflow.c unknown 4.77 5.39 167755776 -
termination-crafted/Stockholm_false-no-overflow.c unknown 4.63 5.23 167063552 -
termination-crafted/Thun_false-no-overflow.c unknown 6.52 7.11 170356736 -
termination-crafted/Toulouse-BranchesToLoop_false-no-overflow.c unknown 6.73 7.11 169480192 -
termination-crafted/Toulouse-MultiBranchesToLoop_false-no-overflow.c unknown 7.00 7.29 172965888 -
termination-crafted/aaron2_false-no-overflow.c unknown 6.79 7.14 165896192 -
termination-crafted/aaron3_false-no-overflow.c unknown 5.01 5.49 170000384 -
termination-crafted/easy2_false-no-overflow.c unknown 6.62 6.87 168538112 -
termination-crafted/Arrays02-EquivalentConstantIndices_true-no-overflow_false-termination.c unknown 6.69 6.95 172093440 -
termination-crafted/LexIndexValue-Pointer_true-no-overflow.c unknown 6.81 7.16 173547520 -
termination-crafted/NonTermination3_true-no-overflow_false-termination.c unknown 5.00 5.33 170942464 -
termination-crafted/SyntaxSupportPointer01_true-no-overflow_true-termination.c unknown 6.84 7.15 171503616 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig2a_false-no-overflow.c unknown 6.73 6.99 170115072 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig2b_false-no-overflow.c unknown 7.18 7.54 173039616 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-aaron2_false-no-overflow.c unknown 7.02 7.27 172060672 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-aaron3_false-no-overflow.c unknown 6.77 7.24 166703104 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-complex_false-no-overflow.c unknown 6.69 7.15 165531648 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-counterex1a_false-no-overflow.c unknown 7.00 7.25 169725952 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-counterex1b_false-no-overflow.c unknown 6.71 7.04 167636992 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy2_false-no-overflow.c unknown 7.03 7.39 168148992 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-exmini_false-no-overflow.c unknown 6.69 7.06 175620096 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-ndecr_false-no-overflow.c unknown 6.95 7.27 177500160 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-nestedLoop_false-no-overflow.c unknown 6.80 7.08 171425792 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random1d_false-no-overflow.c unknown 6.87 7.24 172802048 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-rsd_false-no-overflow.c unknown 6.91 7.19 167137280 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedFails4_false-no-overflow.c unknown 6.93 7.29 167747584 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-terminate_false-no-overflow.c unknown 7.11 7.35 169324544 -
termination-crafted-lit/Ben-Amram-LMCS2010-Ex2.3_false-no-overflow.c unknown 4.90 5.49 171266048 -
termination-crafted-lit/BradleyMannaSipma-ICALP2005-Fig1_false-no-overflow.c unknown 4.99 5.53 169459712 -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron12_false-no-overflow.c unknown 5.23 5.72 166596608 -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron1_false-no-overflow.c unknown 4.78 5.39 170577920 -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron2_false-no-overflow.c unknown 7.18 7.41 165478400 -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron3_false-no-overflow.c unknown 6.87 6.93 168259584 -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron4_false-no-overflow.c unknown 6.91 7.06 172535808 -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron6_false-no-overflow.c unknown 6.87 7.17 168538112 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.01_false-no-overflow.c unknown 6.80 7.13 167403520 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.02_false-no-overflow.c unknown 7.11 7.54 167325696 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.03_false-no-overflow.c unknown 6.99 7.27 169005056 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.04_false-no-overflow.c unknown 6.98 7.23 173813760 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.05_false-no-overflow.c unknown 6.77 7.10 166584320 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.01_false-no-overflow.c unknown 6.82 7.24 166977536 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.02_false-no-overflow.c unknown 6.72 7.07 172916736 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.03_false-no-overflow.c unknown 6.98 7.34 170831872 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.04_false-no-overflow.c unknown 6.82 7.34 167866368 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.05_false-no-overflow.c unknown 6.60 7.15 161169408 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.06_false-no-overflow.c unknown 6.71 7.17 168718336 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.07_false-no-overflow.c unknown 6.79 7.30 169029632 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.08_false-no-overflow.c unknown 6.91 7.02 172830720 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.09_false-no-overflow.c unknown 7.12 7.17 172175360 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.10_false-no-overflow.c unknown 6.85 7.06 167014400 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.11_false-no-overflow.c unknown 6.98 7.23 168222720 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.12_false-no-overflow.c unknown 6.97 7.31 168488960 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.13_false-no-overflow.c unknown 6.72 6.98 169295872 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.14_false-no-overflow.c unknown 5.09 5.49 168157184 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.15_false-no-overflow.c unknown 4.68 5.27 168497152 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.16_false-no-overflow.c unknown 5.21 5.48 170086400 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.17_false-no-overflow.c unknown 4.76 5.28 166584320 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.18_false-no-overflow.c unknown 6.88 7.13 170586112 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.19_false-no-overflow.c unknown 7.13 7.19 169508864 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.21_false-no-overflow.c unknown 6.82 7.03 171155456 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.22_false-no-overflow.c unknown 6.76 6.88 168001536 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.02_false-no-overflow.c unknown 6.82 7.17 169902080 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.03_false-no-overflow.c unknown 6.98 7.06 171085824 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.04_false-no-overflow.c unknown 6.85 7.13 170315776 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.05_false-no-overflow.c unknown 4.63 5.13 165781504 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.06_false-no-overflow.c unknown 6.57 6.92 167469056 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.07_false-no-overflow.c unknown 4.76 5.35 164868096 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.08_false-no-overflow.c unknown 6.96 7.27 170565632 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.09_false-no-overflow.c unknown 7.08 7.29 171696128 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.10_false-no-overflow.c unknown 6.70 7.01 166445056 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex4.01_false-no-overflow.c unknown 7.03 7.48 166617088 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Fig1_false-no-overflow.c unknown 7.06 7.33 167960576 -
termination-crafted-lit/ColonSipma-TACAS2001-Fig1_false-no-overflow.c unknown 6.76 7.27 171667456 -
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1a_false-no-overflow.c unknown 6.90 7.39 179200000 -
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1b_false-no-overflow.c unknown 7.01 7.41 171520000 -
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1c_false-no-overflow.c unknown 4.93 5.41 169639936 -
termination-crafted-lit/GulwaniJainKoskinen-PLDI2009-Fig1_false-no-overflow.c unknown 6.65 7.14 163913728 -
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig2_false-no-overflow.c unknown 7.00 7.27 170360832 -
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig2_false-no-overflow.c unknown 4.57 5.22 164675584 -
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig7_false-no-overflow.c unknown 6.63 7.08 169193472 -
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig8_false-no-overflow.c unknown 6.72 7.16 164970496 -
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig9_false-no-overflow.c unknown 6.91 7.20 166789120 -
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex1_false-no-overflow.c unknown 6.96 7.19 167313408 -
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex2_false-no-overflow.c unknown 6.81 7.04 171577344 -
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex3_false-no-overflow.c unknown 7.01 7.37 175460352 -
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex6_false-no-overflow.c unknown 6.90 7.17 168751104 -
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex7_false-no-overflow.c unknown 6.99 7.07 166703104 -
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex8_false-no-overflow.c unknown 4.87 5.46 167821312 -
termination-crafted-lit/LeikeHeizmann-TACAS2014-Fig1_false-no-overflow.c unknown 4.89 5.33 170835968 -
termination-crafted-lit/LeikeHeizmann-WST2014-Ex5_false-no-overflow.c unknown 4.93 5.43 165126144 -
termination-crafted-lit/LeikeHeizmann-WST2014-Ex6_false-no-overflow.c unknown 4.95 5.48 169275392 -
termination-crafted-lit/Masse-VMCAI2014-Ex6_false-no-overflow.c unknown 6.97 7.39 167329792 -
termination-crafted-lit/Masse-VMCAI2014-Fig1a_false-no-overflow.c unknown 6.85 7.05 167084032 -
termination-crafted-lit/Masse-VMCAI2014-Fig1b_false-no-overflow.c unknown 7.06 7.33 168271872 -
termination-crafted-lit/NoriSharma-FSE2013-Fig7_false-no-overflow.c unknown 6.71 7.12 169381888 -
termination-crafted-lit/NoriSharma-FSE2013-Fig8_false-no-overflow.c unknown 6.75 6.93 170975232 -
termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig2-TACAS2011-Fig3_false-no-overflow.c unknown 6.84 7.07 167415808 -
termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig2_false-no-overflow.c unknown 6.66 7.00 168210432 -
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig3_false-no-overflow.c unknown 6.97 7.24 166318080 -
termination-crafted-lit/PodelskiRybalchenko-VMCAI2004-Ex1_false-no-overflow.c unknown 7.03 7.32 171933696 -
termination-crafted-lit/PodelskiRybalchenko-VMCAI2004-Ex2_false-no-overflow.c unknown 7.26 7.51 172093440 -
termination-crafted-lit/cstrncmp_false-no-overflow.c unknown 7.49 7.72 171298816 -
termination-crafted-lit/gcd1_false-no-overflow.c unknown 6.78 7.14 166875136 -
termination-crafted-lit/joey_false-no-overflow.c unknown 6.70 7.20 169816064 -
termination-crafted-lit/min_rf_false-no-overflow.c unknown 6.75 7.25 165650432 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig1_true-termination_true-no-overflow.c unknown 7.09 7.29 172658688 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-cousot9_true-termination_true-no-overflow.c unknown 7.10 7.47 168337408 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy1_true-termination_true-no-overflow.c unknown 6.69 7.05 172969984 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy2_true-termination_true-no-overflow.c unknown 6.96 7.28 172707840 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-loops_true-termination_true-no-overflow.c unknown 7.04 7.24 168693760 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-nestedLoop_true-termination_true-no-overflow.c unknown 6.90 7.42 169721856 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random1d_true-termination_true-no-overflow.c unknown 7.38 7.49 168910848 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random2d_true-termination_true-no-overflow.c unknown 6.78 7.07 169103360 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi2_true-termination_true-no-overflow.c unknown 6.90 7.36 168062976 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi3_true-termination_true-no-overflow.c unknown 6.99 7.04 170700800 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi4_true-termination_true-no-overflow.c unknown 5.02 5.52 180531200 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-wcet2_true-termination_true-no-overflow.c unknown 4.91 5.51 166666240 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-while2_true-termination_true-no-overflow.c unknown 4.86 5.45 169144320 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-wise_true-termination_true-no-overflow.c unknown 4.88 5.38 166854656 -
termination-crafted-lit/Avery-FLOPS2006-Table1_true-termination_true-no-overflow.c unknown 6.75 7.05 170778624 -
termination-crafted-lit/BradleyMannaSipma-CAV2005-Fig1-modified_false-termination_true-no-overflow.c unknown 6.84 7.21 164728832 -
termination-crafted-lit/BradleyMannaSipma-CAV2005-Fig1_true-termination_true-no-overflow.c unknown 6.77 7.04 180502528 -
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Fig1_true-termination_true-no-overflow.c unknown 6.85 7.10 168075264 -
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Fig9a_true-termination_true-no-overflow.c unknown 6.69 7.18 166334464 -
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Introduction_true-termination_true-no-overflow.c unknown 6.85 7.10 167305216 -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-easy1_true-termination_true-no-overflow.c unknown 6.57 7.36 174669824 -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-easy2_true-termination_true-no-overflow.c unknown 7.00 7.20 169050112 -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-random1d_true-termination_true-no-overflow.c unknown 6.62 7.02 168292352 -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-random2d_true-termination_true-no-overflow.c unknown 6.86 7.17 174161920 -
termination-crafted-lit/ChenCookFuhsNimkarOHearn-TACAS2014-Introduction_false-termination_true-no-overflow.c unknown 6.80 7.09 167272448 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.20_true-termination_true-no-overflow.c unknown 6.67 7.02 163786752 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.01_true-termination_true-no-overflow.c unknown 6.65 7.21 167145472 -
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig1_true-termination_true-no-overflow.c unknown 7.12 7.36 173989888 -
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig7a_true-termination_true-no-overflow.c unknown 6.82 7.18 175063040 -
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig7b_true-termination_true-no-overflow.c unknown 6.73 7.19 167407616 -
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8a-modified_true-termination_true-no-overflow.c unknown 6.94 7.15 167206912 -
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8a_true-termination_true-no-overflow.c unknown 7.04 7.38 175357952 -
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8b_true-termination_true-no-overflow.c unknown 6.86 7.15 169295872 -
termination-crafted-lit/GopanReps-CAV2006-Fig1a_true-termination_true-no-overflow.c.c unknown 6.91 7.04 172224512 -
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig1_true-termination_true-no-overflow.c unknown 6.91 7.23 165568512 -
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig3_true-termination_true-no-overflow.c unknown 6.98 7.25 170024960 -
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig1_true-termination_true-no-overflow.c unknown 4.62 5.23 164462592 -
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig4_true-termination_true-no-overflow.c unknown 4.95 5.53 165994496 -
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig5_true-termination_true-no-overflow.c unknown 4.87 5.35 168587264 -
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig6_true-termination_true-no-overflow.c unknown 4.91 5.36 168271872 -
termination-crafted-lit/HenzingerJhalaMajumdarSutre-POPL2002-LockingExample_false-termination_true-no-overflow.c unknown 7.03 7.34 172347392 -
termination-crafted-lit/KroeningSharyginaTsitovichWintersteiger-CAV2010-Ex_true-termination_true-no-overflow.c unknown 7.03 7.12 168497152 -
termination-crafted-lit/KroeningSharyginaTsitovichWintersteiger-CAV2010-Fig1_true-termination_true-no-overflow.c unknown 6.52 6.95 170999808 -
termination-crafted-lit/LarrazOliverasRodriguez-CarbonellRubio-FMCAD2013-Fig1_true-termination_true-no-overflow.c unknown 6.97 7.09 168456192 -
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex4_true-termination_true-no-overflow.c unknown 6.84 6.99 173072384 -
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex5_true-termination_true-no-overflow.c unknown 6.82 7.14 168648704 -
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex1_true-termination_true-no-overflow.c unknown 6.88 7.32 168636416 -
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex9_true-termination_true-no-overflow.c unknown 6.74 7.02 168267776 -
termination-crafted-lit/LeikeHeizmann-WST2014-Ex9_true-termination_true-no-overflow.c unknown 4.72 5.35 166158336 -
termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig1_true-termination_true-no-overflow.c unknown 6.64 6.80 166768640 -
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig1_true-termination_true-no-overflow.c unknown 6.64 6.97 164192256 -
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig2_true-termination_true-no-overflow.c unknown 6.76 7.29 167968768 -
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig4_true-termination_true-no-overflow.c unknown 4.95 5.56 169394176 -
termination-crafted-lit/Urban-WST2013-Fig1_false-termination_true-no-overflow.c unknown 6.84 7.36 166711296 -
termination-crafted-lit/Urban-WST2013-Fig2-modified1000_true-termination_true-no-overflow.c unknown 6.72 7.17 166432768 -
termination-crafted-lit/Urban-WST2013-Fig2_true-termination_true-no-overflow.c unknown 7.08 7.26 174288896 -
termination-crafted-lit/UrbanMine-ESOP2014-Fig3_true-termination_true-no-overflow.c unknown 4.65 5.46 168722432 -
termination-crafted-lit/Velroyen_false-termination_true-no-overflow.c unknown 6.96 7.24 168398848 -
termination-crafted-lit/aviad_true-termination_true-no-overflow.c unknown 5.00 5.60 166715392 -
termination-crafted-lit/cstrcmp_true-termination_true-no-overflow.c unknown 7.02 7.75 169033728 -
termination-crafted-lit/cstrcspn_true-termination_true-no-overflow.c unknown 7.16 7.64 171376640 -
termination-crafted-lit/cstrlen_true-termination_true-no-overflow.c unknown 6.89 6.99 167956480 -
termination-crafted-lit/cstrpbrk_true-termination_true-no-overflow.c unknown 6.84 7.30 168390656 -
termination-crafted-lit/cstrspn_true-termination_true-no-overflow.c unknown 6.95 7.65 166633472 -
termination-crafted-lit/genady_true-termination_true-no-overflow.c unknown 7.05 7.27 173207552 -
termination-crafted-lit/strchr_true-no-overflow_true-termination.c unknown 6.59 6.99 164388864 -
termination-numeric/Addition01_false-no-overflow.c unknown 7.03 7.28 168230912 -
termination-numeric/Avg_true_false-no-overflow.c unknown 6.72 6.95 170713088 -
termination-numeric/Binomial_true-termination_false-no-overflow.c unknown 6.91 7.26 170893312 -
termination-numeric/Et1_true_false-no-overflow.c unknown 6.88 7.40 171466752 -
termination-numeric/Et2_true_false-no-overflow.c unknown 4.84 5.44 165138432 -
termination-numeric/Et3_true_false-no-overflow.c unknown 7.03 7.29 167321600 -
termination-numeric/Et4_true_false-no-overflow.c unknown 4.76 5.38 168939520 -
termination-numeric/MultCommutative_false-no-overflow.c unknown 4.87 5.47 169136128 -
termination-numeric/TerminatorRec02_true-termination_false-no-overflow.c unknown 7.01 7.19 168558592 -
termination-numeric/Ackermann01_true-termination_true-no-overflow.c unknown 6.73 7.18 173084672 -
termination-numeric/EvenOdd01_true-termination_true-no-overflow.c unknown 5.16 5.67 165715968 -
termination-numeric/Fibonacci01_true-termination_true-no-overflow.c unknown 6.82 7.14 166248448 -
termination-numeric/LeUserDefRec_true-termination_true-no-overflow.c unknown 6.71 7.01 172118016 -
termination-numeric/LogRecursive_true-termination_true-no-overflow.c unknown 7.04 7.43 165539840 -
termination-numeric/Parts_true-termination_true-no-overflow.c unknown 6.70 6.89 169975808 -
termination-numeric/TwoWay_true-termination_true-no-overflow.c unknown 6.83 7.07 169345024 -
termination-numeric/gcd01_true-termination_true-no-overflow.c unknown 6.54 7.12 169529344 -
termination-numeric/java_LogBuiltIn_true-termination_true-no-overflow.c unknown 6.99 7.50 169631744 -
termination-numeric/recHanoi02_true-termination_true-no-overflow.c unknown 6.79 7.03 169889792 -
termination-numeric/rec_counter1_true-termination_true-no-overflow.c unknown 6.93 7.24 171524096 -
termination-numeric/rec_counter3_true-termination_true-no-overflow.c unknown 6.97 7.21 168620032 -
termination-numeric/twisted_true-termination_true-no-overflow.c unknown 6.79 7.21 167739392 -
busybox-1.22.0/chgrp-incomplete_false-no-overflow.i unknown 10.8  11.2  207065088 -
busybox-1.22.0/chroot-incomplete_false-no-overflow.i unknown 10.7  11.1  206983168 -
busybox-1.22.0/cut_false-no-overflow.i unknown 10.6  11.2  218656768 -
busybox-1.22.0/date_false-no-overflow.i unknown 11.4  11.5  237289472 -
busybox-1.22.0/du_false-no-overflow.i unknown 11.7  12.5  226050048 -
busybox-1.22.0/echo_false-no-overflow.i unknown 10.6  11.0  210849792 -
busybox-1.22.0/expand_false-no-overflow.i unknown 10.9  11.1  223100928 -
busybox-1.22.0/fold_false-no-overflow.i unknown 10.9  11.3  217505792 -
busybox-1.22.0/head_false-no-overflow.i unknown 10.5  10.9  217145344 -
busybox-1.22.0/logname_false-no-overflow.i unknown 10.2  10.6  205373440 -
busybox-1.22.0/ls-incomplete_false-no-overflow.i error: exception 8.94 9.20 244895744 -
busybox-1.22.0/mkdir_false-no-overflow.i unknown 7.76 8.42 223543296 -
busybox-1.22.0/mkfifo-incomplete_false-no-overflow.i unknown 6.69 7.45 189816832 -
busybox-1.22.0/od_false-no-overflow.i unknown 8.22 8.57 239046656 -
busybox-1.22.0/printf_false-no-overflow.i unknown 11.4  11.9  227307520 -
busybox-1.22.0/readlink_false-no-overflow.i unknown 10.8  11.1  218152960 -
busybox-1.22.0/realpath_false-no-overflow.i unknown 9.63 10.0  206843904 -
busybox-1.22.0/rm_false-no-overflow.i unknown 11.6  12.2  222670848 -
busybox-1.22.0/seq_false-no-overflow.i unknown 11.3  11.8  224206848 -
busybox-1.22.0/sleep_false-no-overflow.i unknown 10.2  10.6  213233664 -
busybox-1.22.0/stty_false-no-overflow.i unknown 13.1  13.3  295587840 -
busybox-1.22.0/sync_false-no-overflow.i unknown 9.77 10.2  202747904 -
busybox-1.22.0/tac_false-no-overflow.i unknown 10.6  11.2  212959232 -
busybox-1.22.0/tee_false-no-overflow.i unknown 10.5  10.8  215592960 -
busybox-1.22.0/test-incomplete_false-no-overflow.i unknown 11.5  12.0  224149504 -
busybox-1.22.0/touch_false-no-overflow.i unknown 11.7  12.0  221233152 -
busybox-1.22.0/uname_false-no-overflow.i unknown 9.96 10.7  209547264 -
busybox-1.22.0/uniq_false-no-overflow.i unknown 11.1  11.5  217497600 -
busybox-1.22.0/usleep_false-no-overflow.i unknown 7.11 7.83 213626880 -
busybox-1.22.0/uudecode_false-no-overflow.i unknown 11.3  12.0  224100352 -
busybox-1.22.0/wc_false-no-overflow.i unknown 10.4  11.1  209096704 -
busybox-1.22.0/who_false-no-overflow.i unknown 11.0  11.4  218591232 -
busybox-1.22.0/whoami-incomplete_false-no-overflow.i unknown 7.21 7.92 213561344 -
busybox-1.22.0/yes_false-no-overflow.i unknown 10.1  10.6  203763712 -
termination-restricted-15/DivMinus2_true-termination_true-no-overflow.c unknown 6.94 7.19 170672128 -
termination-restricted-15/DivMinus_true-termination_true-no-overflow.c unknown 6.60 6.86 169418752 -
termination-restricted-15/GCD3_true-termination_true-no-overflow.c unknown 6.90 7.04 169947136 -
termination-restricted-15/GCD4_true-termination_true-no-overflow.c unknown 6.82 7.25 169373696 -
termination-restricted-15/IntPath_true-termination_true-no-overflow.c unknown 6.45 6.84 166547456 -
termination-restricted-15/LogAG_true-termination_true-no-overflow.c unknown 6.89 7.04 167886848 -
termination-restricted-15/Log_true-termination_true-no-overflow.c unknown 6.64 7.03 171192320 -
termination-restricted-15/McCarthyIterative_true-termination_true-no-overflow.c unknown 6.82 7.04 169054208 -
termination-restricted-15/MinusBuiltIn_true-termination_true-no-overflow.c unknown 6.93 7.46 172789760 -
termination-restricted-15/MinusUserDefined_true-termination_true-no-overflow.c unknown 6.89 7.00 164737024 -
termination-restricted-15/Nested_true-termination_true-no-overflow.c unknown 6.72 7.25 169930752 -
termination-restricted-15/PastaA10_true-termination_true-no-overflow.c unknown 4.67 5.31 164917248 -
termination-restricted-15/PastaA1_true-termination_true-no-overflow.c unknown 4.77 5.36 166117376 -
termination-restricted-15/PastaA4_true-termination_true-no-overflow.c unknown 6.76 7.12 169562112 -
termination-restricted-15/PastaA7_true-termination_true-no-overflow.c unknown 6.73 7.07 166346752 -
termination-restricted-15/PastaB14_true-termination_true-no-overflow.c unknown 4.98 5.52 170180608 -
termination-restricted-15/PastaB15_true-termination_true-no-overflow.c unknown 6.40 6.81 167743488 -
termination-restricted-15/PastaB16_true-termination_true-no-overflow.c unknown 4.87 5.61 165539840 -
termination-restricted-15/PastaB17_true-termination_true-no-overflow.c unknown 6.22 6.59 168243200 -
termination-restricted-15/PastaB1_true-termination_true-no-overflow.c unknown 6.49 6.75 168464384 -
termination-restricted-15/PastaB2_true-termination_true-no-overflow.c unknown 6.01 6.34 170647552 -
termination-restricted-15/PastaB4_true-termination_true-no-overflow.c unknown 6.38 6.86 168927232 -
termination-restricted-15/PastaB6_true-termination_true-no-overflow.c unknown 6.45 6.86 167051264 -
termination-restricted-15/PastaB7_true-termination_true-no-overflow.c unknown 6.78 7.12 168804352 -
termination-restricted-15/PastaC3_true-termination_true-no-overflow.c unknown 6.41 6.77 166514688 -
termination-restricted-15/PastaC7_true-termination_true-no-overflow.c unknown 6.59 6.71 168243200 -
termination-restricted-15/PastaC9_true-termination_true-no-overflow.c unknown 6.71 7.07 167600128 -
termination-restricted-15/Sequence_true-termination_true-no-overflow.c unknown 6.46 6.60 171671552 -
termination-restricted-15/WhileDecr_true-termination_true-no-overflow.c unknown 6.79 7.16 169533440 -
termination-restricted-15/a.01_true-termination_true-no-overflow.c unknown 6.82 7.13 169857024 -
termination-restricted-15/a.04_true-termination_true-no-overflow.c unknown 4.73 5.35 167387136 -
termination-restricted-15/a.05_true-termination_true-no-overflow.c unknown 4.85 5.25 172060672 -
termination-restricted-15/a.06_true-termination_true-no-overflow.c unknown 6.82 7.10 167165952 -
termination-restricted-15/a.07_true-termination_true-no-overflow.c unknown 6.84 7.62 165961728 -
termination-restricted-15/a.08_true-termination_true-no-overflow.c unknown 6.76 7.33 171819008 -
termination-restricted-15/a.09_assume_true-termination_true-no-overflow.c unknown 6.98 7.59 167825408 -
termination-restricted-15/a.10_true-termination.c unknown 5.00 5.62 166957056 -
termination-restricted-15/b.01_true-termination_true-no-overflow.c unknown 6.25 7.03 166830080 -
termination-restricted-15/b.02_true-termination_true-no-overflow.c unknown 6.56 6.80 172654592 -
termination-restricted-15/b.03-no-inv_assume_true-termination_true-no-overflow.c unknown 6.76 6.95 163835904 -
termination-restricted-15/b.03_assume_true-termination_true-no-overflow.c unknown 6.86 7.36 169529344 -
termination-restricted-15/b.04_true-termination_true-no-overflow.c unknown 4.82 5.44 168554496 -
termination-restricted-15/b.05_true-termination_true-no-overflow.c unknown 6.72 7.19 166182912 -
termination-restricted-15/b.06_true-termination_true-no-overflow.c unknown 6.88 7.06 166371328 -
termination-restricted-15/b.07_true-termination_true-no-overflow.c unknown 6.95 7.19 168681472 -
termination-restricted-15/b.09-no-inv_assume_true-termination_true-no-overflow.c unknown 6.89 7.27 170893312 -
termination-restricted-15/b.09_assume_true-termination_true-no-overflow.c unknown 6.65 7.04 169385984 -
termination-restricted-15/b.10_true-termination_true-no-overflow.c unknown 6.96 7.04 169234432 -
termination-restricted-15/b.11_true-termination_true-no-overflow.c unknown 6.93 7.12 164859904 -
termination-restricted-15/b.12_true-termination_true-no-overflow.c unknown 6.97 7.08 171778048 -
termination-restricted-15/b.13_true-termination_true-no-overflow.c unknown 6.67 7.04 165838848 -
termination-restricted-15/b.14_true-termination_true-no-overflow.c unknown 6.76 7.20 167350272 -
termination-restricted-15/b.15_true-termination_true-no-overflow.c unknown 6.87 7.10 166440960 -
termination-restricted-15/b.16_true-termination_true-no-overflow.c unknown 6.50 7.08 167084032 -
termination-restricted-15/b.17_true-termination_true-no-overflow.c unknown 6.77 7.01 168333312 -
termination-restricted-15/b.18_true-termination_true-no-overflow.c unknown 6.62 7.17 165576704 -
termination-restricted-15/c.01-no-inv_true-termination_true-no-overflow.c unknown 4.67 5.27 168845312 -
termination-restricted-15/c.01_assume_true-termination_true-no-overflow.c unknown 4.62 5.24 170160128 -
termination-restricted-15/c.02_true-termination_true-no-overflow.c unknown 4.96 5.39 182788096 -
termination-restricted-15/c.03_true-termination_true-no-overflow.c unknown 4.85 5.44 166858752 -
termination-restricted-15/c.07_true-termination_true-no-overflow.c unknown 6.41 6.85 167030784 -
termination-restricted-15/c.08_true-termination_true-no-overflow.c unknown 6.85 7.04 165953536 -
termination-restricted-15/ex3a_true-termination_true-no-overflow.c unknown 6.69 7.17 185806848 -
termination-restricted-15/ex3b_true-termination_true-no-overflow.c unknown 7.00 7.31 171978752 -
termination-restricted-15/java_AG313_true-termination_true-no-overflow.c unknown 6.95 7.31 168538112 -
termination-restricted-15/java_Break_true-termination_true-no-overflow.c unknown 6.76 7.25 167297024 -
termination-restricted-15/java_Continue1_true-termination_true-no-overflow.c unknown 6.62 7.01 165650432 -
termination-restricted-15/java_Nested_true-termination_true-no-overflow.c unknown 7.08 7.50 170926080 -
termination-restricted-15/java_Sequence_true-termination_true-no-overflow.c unknown 7.00 7.40 168329216 -
termination-restricted-15/AlternKonv_false-termination_true-no-overflow.c unknown 6.89 7.23 167018496 -
termination-restricted-15/ComplInterv2_false-termination_true-no-overflow.c unknown 6.94 7.20 166047744 -
termination-restricted-15/ConvLower_false-termination_true-no-overflow.c unknown 6.84 7.12 167219200 -
termination-restricted-15/Ex02_false-termination_true-no-overflow.c unknown 6.74 7.13 166301696 -
termination-restricted-15/Ex03_false-termination_true-no-overflow.c unknown 7.05 7.10 167460864 -
termination-restricted-15/Ex05_false-termination_true-no-overflow.c unknown 6.65 7.00 166957056 -
termination-restricted-15/Ex06_false-termination_true-no-overflow.c unknown 6.73 7.11 166236160 -
termination-restricted-15/Ex07_false-termination_true-no-overflow.c unknown 6.41 6.79 167358464 -
termination-restricted-15/Ex08_false-termination_true-no-overflow.c unknown 6.68 7.14 165920768 -
termination-restricted-15/Flip2_false-termination_true-no-overflow.c unknown 6.95 7.11 169197568 -
termination-restricted-15/Flip_false-termination_true-no-overflow.c unknown 4.63 5.25 168468480 -
termination-restricted-15/GCD2_false-termination_true-no-overflow.c unknown 4.85 5.36 168718336 -
termination-restricted-15/GCD_false-termination_true-no-overflow.c unknown 4.81 5.39 169263104 -
termination-restricted-15/Loop_false-termination_true-no-overflow.c unknown 6.94 7.16 170967040 -
termination-restricted-15/MirrorIntervSim_false-termination_true-no-overflow.c unknown 5.25 5.68 169390080 -
termination-restricted-15/NO_00_false-termination_true-no-overflow.c unknown 6.45 6.73 165629952 -
termination-restricted-15/NO_01_false-termination_true-no-overflow.c unknown 6.96 7.18 166518784 -
termination-restricted-15/NO_02_false-termination_true-no-overflow.c unknown 6.78 7.15 165093376 -
termination-restricted-15/NO_03_false-termination_true-no-overflow.c unknown 6.85 7.20 169238528 -
termination-restricted-15/NO_04_false-termination_true-no-overflow.c unknown 6.77 7.14 167518208 -
termination-restricted-15/NO_13_false-termination_true-no-overflow.c unknown 6.72 7.17 164802560 -
termination-restricted-15/NO_21_false-termination_true-no-overflow.c unknown 6.70 7.05 164388864 -
termination-restricted-15/NO_22_false-termination_true-no-overflow.c unknown 6.90 7.12 171532288 -
termination-restricted-15/NO_23_false-termination_true-no-overflow.c unknown 6.91 7.36 171040768 -
termination-restricted-15/NO_24_false-termination_true-no-overflow.c unknown 6.72 7.08 165601280 -
termination-restricted-15/NarrowKonv_false-termination_true-no-overflow.c unknown 6.71 7.06 168857600 -
termination-restricted-15/Narrowing_false-termination_true-no-overflow.c unknown 6.71 7.05 167596032 -
termination-restricted-15/Sunset_false-termination_true-no-overflow.c unknown 6.36 6.71 170860544 -
termination-restricted-15/Swingers_false-termination_true-no-overflow.c unknown 7.13 7.40 168566784 -
termination-restricted-15/TwoFloatInterv_false-termination_true-no-overflow.c unknown 6.83 7.53 167366656 -
termination-restricted-15/UpAndDownIneq_false-termination_true-no-overflow.c unknown 6.86 7.33 165863424 -
termination-restricted-15/UpAndDown_false-termination_true-no-overflow.c unknown 6.88 7.39 165433344 -
termination-restricted-15/WhilePart_false-termination_true-no-overflow.c unknown 6.35 6.83 165163008 -
termination-restricted-15/WhileSingle_false-termination_true-no-overflow.c unknown 5.04 5.41 167960576 -
termination-libowfat/atoi_true-termination.c.i unknown 5.66 6.10 196149248 -
termination-libowfat/atol_true-termination.c.i unknown 8.07 8.79 202420224 -
termination-libowfat/atoll_true-termination.c.i unknown 5.58 5.98 197079040 -
termination-libowfat/basename_true-termination.c.i unknown 8.13 8.82 198975488 -
termination-libowfat/build_fullname_true-termination.c.i unknown 8.16 8.88 201125888 -
termination-libowfat/dirname_true-termination.c.i unknown 5.56 6.03 198811648 -
termination-libowfat/skip_to_true-termination.c.i unknown 7.34 7.73 196395008 -
termination-libowfat/stpcpy_true-termination.c.i unknown 7.86 8.59 196427776 -
termination-libowfat/strcasecmp_true-termination.c.i unknown 7.94 8.45 198193152 -
termination-libowfat/strcat_short_true-termination.c.i unknown 7.79 8.55 197939200 -
termination-libowfat/strcat_true-termination.c.i unknown 7.61 7.98 194883584 -
termination-libowfat/strchr_short_true-termination.c.i unknown 8.18 8.99 200200192 -
termination-libowfat/strchr_true-termination.c.i unknown 7.56 8.34 196071424 -
termination-libowfat/strcmp_short_true-termination.c.i unknown 7.69 8.15 198115328 -
termination-libowfat/strcpy_small_true-termination.c.i unknown 5.60 6.28 198594560 -
termination-libowfat/strcspn_true-termination.c.i unknown 7.53 8.01 195334144 -
termination-libowfat/strdup_true-termination.c.i unknown 7.84 8.55 197828608 -
termination-libowfat/strlcat_true-termination.c.i unknown 7.74 8.21 198615040 -
termination-libowfat/strlcpy_true-termination.c.i unknown 7.81 8.06 200093696 -
termination-libowfat/strlen_true-termination.c.i unknown 7.93 8.28 199385088 -
termination-libowfat/strpbrk_true-termination.c.i unknown 7.81 8.26 194035712 -
termination-libowfat/strrchr_short_true-termination.c.i unknown 8.13 8.93 197398528 -
termination-libowfat/strrchr_true-termination.c.i unknown 7.83 8.12 197447680 -
termination-libowfat/strspn_true-termination.c.i unknown 7.90 8.40 199163904 -
termination-libowfat/strstr_true-termination.c.i unknown 5.76 6.13 198234112 -
termination-libowfat/strtok_r_true-termination.c.i unknown 7.85 8.61 200908800 -
termination-libowfat/strtol_true-termination.c.i unknown 8.07 8.82 199294976 -
termination-libowfat/strtoul_true-termination.c.i unknown 8.29 9.03 199503872 -
termination-libowfat/strtoull_true-termination.c.i unknown 8.26 8.84 190246912 -
termination-libowfat/wcsrchr_true-termination.c.i unknown 5.56 5.91 200196096 -
termination-libowfat/wcsstr_true-termination.c.i unknown 5.44 5.90 197451776 -
termination-memory-alloca/Urban-2013WST-Fig1-alloca_false-termination.c.i unknown 7.69 8.53 217001984 -
termination-memory-alloca/Velroyen-alloca_false-termination.c.i unknown 7.70 8.42 197316608 -
termination-memory-alloca/Avery-2006FLOPS-Tabel1_true-alloca_true-termination.c.i unknown 8.09 8.81 198520832 -
termination-memory-alloca/Ben-Amram-2010LMCS-Ex2.3-alloca_true-termination.c.i unknown 7.72 7.96 195239936 -
termination-memory-alloca/BrockschmidtCookFuhs-2013CAV-Fig1-alloca_true-termination.c.i unknown 7.90 8.11 190115840 -
termination-memory-alloca/BrockschmidtCookFuhs-2013CAV-Introduction-alloca_true-termination.c.i unknown 7.57 8.41 195411968 -
termination-memory-alloca/ChenFlurMukhopadhyay-2012SAS-Fig1-alloca_true-termination.c.i unknown 7.71 8.66 197894144 -
termination-memory-alloca/CookSeeZuleger-2013TACAS-Fig3-alloca_true-termination.c.i unknown 7.61 8.04 193957888 -
termination-memory-alloca/CookSeeZuleger-2013TACAS-Fig7a-alloca_true-termination.c.i unknown 5.48 5.98 195190784 -
termination-memory-alloca/CookSeeZuleger-2013TACAS-Fig7b-alloca_true-termination.c.i unknown 7.62 8.04 202850304 -
termination-memory-alloca/GulwaniJainKoskinen-2009PLDI-Fig1-alloca_true-termination.c.i unknown 8.16 8.89 198119424 -
termination-memory-alloca/HarrisLalNoriRajamani-2010SAS-Fig1-alloca_true-termination.c.i unknown 5.64 6.07 199446528 -
termination-memory-alloca/HarrisLalNoriRajamani-2010SAS-Fig3-alloca_true-termination.c.i unknown 5.44 5.99 195166208 -
termination-memory-alloca/KroeningSharyginaTsitovichWintersteiger-2010CAV-Fig1-alloca_true-termination.c.i unknown 5.40 5.90 195428352 -
termination-memory-alloca/Masse-alloca_true-termination.c.i unknown 7.60 8.29 199577600 -
termination-memory-alloca/NoriSharma-2013FSE-Fig7-alloca_true-termination.c.i unknown 8.00 8.70 195846144 -
termination-memory-alloca/NoriSharma-2013FSE-Fig8-alloca_true-termination.c.i unknown 7.95 8.59 197775360 -
termination-memory-alloca/TelAviv-Amir-Minimum-alloca_true-termination.c.i unknown 7.80 8.60 194519040 -
termination-memory-alloca/Toulouse-BranchesToLoop-alloca_true-termination.c.i unknown 7.48 8.40 196907008 -
termination-memory-alloca/Toulouse-MultiBranchesToLoop-alloca_true-termination.c.i unknown 7.65 7.88 199913472 -
termination-memory-alloca/Urban-2013WST-Fig2-alloca_true-termination.c.i unknown 7.52 7.79 193507328 -
termination-memory-alloca/Urban-2013WST-Fig2-modified1000-alloca_true-termination.c.i unknown 7.77 8.04 195358720 -
termination-memory-alloca/Urban-alloca_true-termination.c.i unknown 7.96 8.83 193576960 -
termination-memory-alloca/a.01-alloca_true-termination_true-no-overflow.c.i unknown 7.88 8.27 196644864 -
termination-memory-alloca/a.04-alloca_true-termination_true-no-overflow.c.i unknown 7.82 8.52 195788800 -
termination-memory-alloca/a.05-alloca_true-termination_true-no-overflow.c.i unknown 8.11 8.76 198496256 -
termination-memory-alloca/a.06-alloca_true-termination_true-no-overflow.c.i unknown 8.26 9.03 198766592 -
termination-memory-alloca/a.07-alloca_true-termination_true-no-overflow.c.i unknown 8.17 8.92 196685824 -
termination-memory-alloca/a.08-alloca_true-termination_true-no-overflow.c.i unknown 5.25 5.77 191758336 -
termination-memory-alloca/a.09_assume-alloca_true-termination_true-no-overflow.c.i unknown 7.59 7.95 192692224 -
termination-memory-alloca/a.10-alloca_true-termination_true-no-overflow.c.i unknown 7.68 8.38 200499200 -
termination-memory-alloca/add_last-alloca_true-termination.c.i unknown 7.71 8.41 195137536 -
termination-memory-alloca/array01-alloca_true-termination.c.i unknown 7.70 8.34 199512064 -
termination-memory-alloca/array02-alloca_true-termination.c.i unknown 7.69 7.97 194011136 -
termination-memory-alloca/array03-alloca_true-termination.c.i unknown 5.55 6.03 197943296 -
termination-memory-alloca/aviad_true-alloca_true-termination.c.i unknown 5.67 6.11 197955584 -
termination-memory-alloca/b.01-alloca_true-termination_true-no-overflow.c.i unknown 5.58 6.02 194334720 -
termination-memory-alloca/b.02-alloca_true-termination_true-no-overflow.c.i unknown 7.73 8.34 195678208 -
termination-memory-alloca/b.03-no-inv_assume-alloca_true-termination_true-no-overflow.c.i unknown 7.82 8.08 193851392 -
termination-memory-alloca/b.03_assume-alloca_true-termination_true-no-overflow.c.i unknown 7.65 8.46 195715072 -
termination-memory-alloca/b.04-alloca_true-termination_true-no-overflow.c.i unknown 7.75 8.23 188383232 -
termination-memory-alloca/b.05-alloca_true-termination_true-no-overflow.c.i unknown 7.62 8.41 193945600 -
termination-memory-alloca/b.06-alloca_true-termination_true-no-overflow.c.i unknown 7.79 8.06 195407872 -
termination-memory-alloca/b.07-alloca_true-termination_true-no-overflow.c.i unknown 7.97 8.64 190410752 -
termination-memory-alloca/b.09-no-inv_assume-alloca_true-termination_true-no-overflow.c.i unknown 7.97 8.25 195874816 -
termination-memory-alloca/b.09_assume-alloca_true-termination_true-no-overflow.c.i unknown 7.49 7.89 196354048 -
termination-memory-alloca/b.10-alloca_true-termination_true-no-overflow.c.i unknown 8.03 8.64 200216576 -
termination-memory-alloca/b.11-alloca_true-termination_true-no-overflow.c.i unknown 8.23 8.75 208781312 -
termination-memory-alloca/b.12-alloca_true-termination_true-no-overflow.c.i unknown 7.62 8.57 196456448 -
termination-memory-alloca/b.13-alloca_true-termination_true-no-overflow.c.i unknown 7.85 8.55 196419584 -
termination-memory-alloca/b.14-alloca_true-termination_true-no-overflow.c.i unknown 8.22 8.46 190935040 -
termination-memory-alloca/b.15-alloca_true-termination_true-no-overflow.c.i unknown 8.12 8.32 194834432 -
termination-memory-alloca/b.16-alloca_true-termination_true-no-overflow.c.i unknown 5.55 6.01 199557120 -
termination-memory-alloca/b.17-alloca_true-termination_true-no-overflow.c.i unknown 7.73 8.03 196984832 -
termination-memory-alloca/b.18-alloca_true-termination_true-no-overflow.c.i unknown 7.92 8.63 194977792 -
termination-memory-alloca/bubblesort-alloca_true-termination.c.i unknown 7.80 8.50 195137536 -
termination-memory-alloca/c.01-no-inv-alloca_true-termination_true-no-overflow.c.i unknown 7.93 8.24 196784128 -
termination-memory-alloca/c.01_assume-alloca_true-termination_true-no-overflow.c.i unknown 5.47 6.28 199602176 -
termination-memory-alloca/c.02-alloca_true-termination_true-no-overflow.c.i unknown 5.58 6.09 194969600 -
termination-memory-alloca/c.03-alloca_true-termination_true-no-overflow.c.i unknown 5.45 5.91 196435968 -
termination-memory-alloca/c.07-alloca_true-termination_true-no-overflow.c.i unknown 7.83 8.26 196575232 -
termination-memory-alloca/c.08-alloca_true-termination_true-no-overflow.c.i unknown 7.70 8.43 191406080 -
termination-memory-alloca/count_down-alloca_true-termination.c.i unknown 7.82 8.05 196149248 -
termination-memory-alloca/cstrcat-alloca_true-termination.c.i unknown 7.85 8.56 195284992 -
termination-memory-alloca/cstrchr-alloca_true-termination.c.i unknown 7.79 8.46 201531392 -
termination-memory-alloca/cstrcmp-alloca_true-termination.c.i unknown 7.54 8.23 198332416 -
termination-memory-alloca/cstrcpy-alloca_true-termination.c.i unknown 7.67 8.39 199917568 -
termination-memory-alloca/cstrcspn-alloca_true-termination.c.i unknown 7.92 8.49 200265728 -
termination-memory-alloca/cstrlen-alloca_true-termination.c.i unknown 7.83 8.65 195534848 -
termination-memory-alloca/cstrncat-alloca_true-termination.c.i unknown 8.03 8.28 194236416 -
termination-memory-alloca/cstrncmp-alloca_true-termination.c.i unknown 5.70 6.05 199942144 -
termination-memory-alloca/cstrncpy-alloca_true-termination.c.i unknown 7.95 8.50 197058560 -
termination-memory-alloca/cstrpbrk-alloca_true-termination.c.i unknown 7.54 8.22 197611520 -
termination-memory-alloca/cstrspn-alloca_true-termination.c.i unknown 7.66 8.39 199045120 -
termination-memory-alloca/diff-alloca_true-termination.c.i unknown 8.04 8.62 199729152 -
termination-memory-alloca/easySum-alloca_true-termination.c.i unknown 8.04 8.84 195874816 -
termination-memory-alloca/ex1-alloca_true-termination.c.i unknown 5.24 5.64 197513216 -
termination-memory-alloca/ex2-alloca_true-termination.c.i unknown 5.67 6.11 198475776 -
termination-memory-alloca/ex3a-alloca_true-termination_true-no-overflow.c.i unknown 5.61 6.09 196034560 -
termination-memory-alloca/ex3b-alloca_true-termination.c.i unknown 7.70 8.43 200835072 -
termination-memory-alloca/fermat-alloca_true-termination.c.i unknown 7.62 7.85 197730304 -
termination-memory-alloca/flag-alloca_true-termination.c.i unknown 7.79 7.98 193826816 -
termination-memory-alloca/gcd1-alloca_true-termination.c.i unknown 7.96 8.68 202485760 -
termination-memory-alloca/genady-alloca_true-termination.c.i unknown 7.93 8.33 198500352 -
termination-memory-alloca/insertionsort-alloca_true-termination.c.i unknown 7.88 8.49 196100096 -
termination-memory-alloca/java_AG313-alloca_true-termination.c.i unknown 7.87 8.30 190869504 -
termination-memory-alloca/java_Break-alloca_true-termination.c.i unknown 8.13 9.05 196673536 -
termination-memory-alloca/java_BubbleSort-alloca_true-termination.c.i unknown 7.96 8.51 199188480 -
termination-memory-alloca/java_Continue1-alloca_true-termination.c.i unknown 7.90 8.20 192987136 -
termination-memory-alloca/java_LogBuiltIn-alloca_true-termination.c.i unknown 7.65 8.29 196657152 -
termination-memory-alloca/java_Nested-alloca_true-termination.c.i unknown 7.70 8.36 204001280 -
termination-memory-alloca/java_Sequence-alloca_true-termination.c.i unknown 7.84 8.68 198635520 -
termination-memory-alloca/lis-alloca_true-termination.c.i unknown 7.85 8.58 203354112 -
termination-memory-alloca/min_rf-alloca_true-termination.c.i unknown 7.74 8.45 196001792 -
termination-memory-alloca/mult_array-alloca_true-termination.c.i unknown 5.56 5.94 200994816 -
termination-memory-alloca/openbsd_cbzero-alloca_true-termination.c.i unknown 8.01 8.68 194695168 -
termination-memory-alloca/openbsd_cmemchr-alloca_true-termination.c.i unknown 7.86 8.58 198545408 -
termination-memory-alloca/openbsd_cmemrchr-alloca_true-termination.c.i unknown 5.59 5.92 199081984 -
termination-memory-alloca/openbsd_cmemset-alloca_true-termination.c.i unknown 7.90 8.12 195514368 -
termination-memory-alloca/openbsd_cstpcpy-alloca_true-termination.c.i unknown 5.54 6.00 193941504 -
termination-memory-alloca/openbsd_cstpncpy-alloca_true-termination.c.i unknown 5.51 5.91 198529024 -
termination-memory-alloca/openbsd_cstrcat-alloca_true-termination.c.i unknown 7.92 8.25 194363392 -
termination-memory-alloca/openbsd_cstrcmp-alloca_true-termination.c.i unknown 7.69 8.35 200740864 -
termination-memory-alloca/openbsd_cstrcpy-alloca_true-termination.c.i unknown 7.06 7.56 195010560 -
termination-memory-alloca/openbsd_cstrcspn-alloca_true-termination.c.i unknown 7.06 7.20 185745408 -
termination-memory-alloca/openbsd_cstrlcpy-alloca_true-termination.c.i unknown 7.62 8.13 198606848 -
termination-memory-alloca/openbsd_cstrlen-alloca_true-termination.c.i unknown 7.99 8.72 197349376 -
termination-memory-alloca/openbsd_cstrncat-alloca_true-termination.c.i unknown 7.04 7.51 199032832 -
termination-memory-alloca/openbsd_cstrncmp-alloca_true-termination.c.i unknown 7.65 8.50 197644288 -
termination-memory-alloca/openbsd_cstrncpy-alloca_true-termination.c.i unknown 7.90 8.27 196665344 -
termination-memory-alloca/openbsd_cstrnlen-alloca_true-termination.c.i unknown 7.91 8.28 192880640 -
termination-memory-alloca/openbsd_cstrpbrk-alloca_true-termination.c.i unknown 7.81 8.63 201015296 -
termination-memory-alloca/openbsd_cstrspn-alloca_true-termination.c.i unknown 8.09 8.90 191037440 -
termination-memory-alloca/openbsd_cstrstr-alloca_true-termination.c.i unknown 7.89 8.69 195280896 -
termination-memory-alloca/rec_strlen-alloca_true-termination.c.i unknown 7.98 8.78 193368064 -
termination-memory-alloca/selectionsort-alloca_true-termination.c.i unknown 5.55 5.98 196976640 -
termination-memory-alloca/stroeder1-alloca_true-termination.c.i unknown 7.90 8.26 200433664 -
termination-memory-alloca/stroeder2-alloca_true-termination.c.i unknown 7.69 8.37 201490432 -
termination-memory-alloca/strreplace-alloca_true-termination.c.i unknown 5.61 6.07 198217728 -
termination-memory-alloca/subseq-alloca_true-termination.c.i unknown 7.88 8.57 202477568 -
termination-memory-alloca/substring-alloca_true-termination.c.i unknown 7.67 8.40 194654208 -
termination-memory-alloca/twisted-alloca_true-termination.c.i unknown 5.73 6.08 197885952 -
termination-memory-linkedlists/cll_by_lseg-alloca_false-termination.c.i unknown 5.63 5.97 202661888 -
termination-memory-linkedlists/cll_by_lseg_traverse-alloca_false-termination.c.i unknown 7.47 8.33 197857280 -
termination-memory-linkedlists/cll_search-alloca_false-termination.c.i unknown 7.68 8.09 199909376 -
termination-memory-linkedlists/cll_traverse-alloca_false-termination.c.i unknown 7.86 8.57 203771904 -
termination-memory-linkedlists/ll_append-alloca_false-termination.c.i unknown 7.79 8.57 194007040 -
termination-memory-linkedlists/ll_append_rec-alloca_false-termination.c.i unknown 8.08 8.70 197869568 -
termination-memory-linkedlists/ll_create_rec-alloca_false-termination.c.i unknown 7.96 8.88 196444160 -
termination-memory-linkedlists/nondet_ll_search-alloca_false-termination.c.i unknown 8.01 8.54 197115904 -
termination-memory-linkedlists/nondet_ll_traverse-alloca_false-termination.c.i unknown 7.69 8.51 196317184 -
termination-memory-linkedlists/cll_by_lseg-alloca_true-termination.c.i unknown 7.96 8.67 198746112 -
termination-memory-linkedlists/cll_search-alloca_true-termination.c.i unknown 7.87 8.58 199733248 -
termination-memory-linkedlists/ll_append-alloca_true-termination.c.i unknown 7.49 8.25 197971968 -
termination-memory-linkedlists/ll_append_rec-alloca_true-termination.c.i unknown 7.86 8.47 197279744 -
termination-memory-linkedlists/ll_create_rec-alloca_true-termination.c.i unknown 5.58 6.01 201064448 -
termination-memory-linkedlists/ll_search-alloca_true-termination.c.i unknown 7.80 8.43 198000640 -
termination-memory-linkedlists/ll_search_not_found-alloca_true-termination.c.i unknown 7.86 8.17 196648960 -
termination-memory-linkedlists/ll_traverse-alloca_true-termination.c.i unknown 7.63 8.50 199802880 -
termination-memory-linkedlists/nondet_ll_search-alloca_true-termination.c.i unknown 7.97 8.64 196526080 -
termination-15/add_first_alloca_true-termination.c.i unknown 5.68 6.09 198488064 -
termination-15/array05_alloca_true-termination.c.i unknown 7.80 8.42 204816384 -
termination-15/array06_alloca_true-termination.c.i unknown 7.88 8.57 203014144 -
termination-15/array07_alloca_true-termination.c.i unknown 7.84 8.22 198467584 -
termination-15/array08_alloca_true-termination.c.i unknown 8.21 8.77 206409728 -
termination-15/array09_alloca_true-termination.c.i unknown 8.12 8.21 200597504 -
termination-15/array10_alloca_true-termination.c.i unknown 7.91 8.76 201342976 -
termination-15/array12_alloca_true-termination.c.i unknown 5.86 6.07 201715712 -
termination-15/array13_alloca_true-termination.c.i unknown 5.52 5.91 201310208 -
termination-15/array16_alloca_fixed_true-termination.c.i unknown 7.89 8.56 204414976 -
termination-15/array17_alloca_true-termination.c.i unknown 7.77 8.40 200822784 -
termination-15/array18_alloca_true-termination.c.i unknown 7.89 8.62 201527296 -
termination-15/count_up_alloca_true-termination.c.i unknown 8.03 8.46 205795328 -
termination-15/count_up_and_down_alloca_true-termination.c.i unknown 7.69 7.98 202637312 -
termination-15/cstrcat_diffterm_alloca_true-termination.c.i unknown 7.96 8.70 203313152 -
termination-15/cstrcat_malloc_true-termination.c.i unknown 5.43 5.71 202301440 -
termination-15/cstrcat_mixed_alloca_true-termination.c.i unknown 8.27 9.04 206938112 -
termination-15/cstrcat_reverse_alloca_true-termination.c.i unknown 8.06 8.44 208785408 -
termination-15/cstrchr_diffterm_alloca_true-termination.c.i unknown 7.89 8.43 200261632 -
termination-15/cstrchr_malloc_true-termination.c.i unknown 8.04 8.69 198938624 -
termination-15/cstrchr_reverse_alloca_true-termination.c.i unknown 7.78 8.17 202559488 -
termination-15/cstrcmp_diffterm_alloca_true-termination.c.i unknown 5.77 6.06 205570048 -
termination-15/cstrcmp_malloc_true-termination.c.i unknown 7.88 8.14 200761344 -
termination-15/cstrcmp_mixed_alloca_true-termination.c.i unknown 7.72 7.89 200626176 -
termination-15/cstrcmp_reverse_alloca_true-termination.c.i unknown 7.98 8.65 202383360 -
termination-15/cstrcpy_diffterm_alloca_true-termination.c.i unknown 7.92 8.07 210518016 -
termination-15/cstrcpy_malloc_true-termination.c.i unknown 7.86 8.07 191029248 -
termination-15/cstrcpy_mixed_alloca_true-termination.c.i unknown 7.87 8.42 202891264 -
termination-15/cstrcpy_reverse_alloca_true-termination.c.i unknown 7.96 8.56 203927552 -
termination-15/cstrcspn_diffterm_alloca_true-termination.c.i unknown 5.53 5.90 204255232 -
termination-15/cstrcspn_malloc_true-termination.c.i unknown 5.98 6.17 205758464 -
termination-15/cstrcspn_mixed_alloca_true-termination.c.i unknown 7.90 8.37 201543680 -
termination-15/cstrcspn_reverse_alloca_true-termination.c.i unknown 8.23 8.71 206168064 -
termination-15/cstrlen_diffterm_alloca_true-termination.c.i unknown 8.07 8.33 189702144 -
termination-15/cstrlen_malloc_true-termination.c.i unknown 8.20 8.83 190001152 -
termination-15/cstrlen_reverse_alloca_true-termination.c.i unknown 8.18 8.28 204058624 -
termination-15/cstrncat_diffterm_alloca_true-termination.c.i unknown 7.96 8.56 202809344 -
termination-15/cstrncat_malloc_true-termination.c.i unknown 5.69 6.00 204992512 -
termination-15/cstrncat_mixed_alloca_true-termination.c.i unknown 8.05 8.86 204881920 -
termination-15/cstrncat_reverse_alloca_true-termination.c.i unknown 8.06 8.62 200687616 -
termination-15/cstrncmp_diffterm_alloca_true-termination.c.i unknown 5.72 5.90 203235328 -
termination-15/cstrncmp_malloc_true-termination.c.i unknown 7.90 8.59 203874304 -
termination-15/cstrncmp_mixed_alloca_true-termination.c.i unknown 7.97 8.71 190308352 -
termination-15/cstrncmp_reverse_alloca_true-termination.c.i unknown 8.11 8.51 210989056 -
termination-15/cstrncpy_diffterm_alloca_true-termination.c.i unknown 7.92 8.31 203984896 -
termination-15/cstrncpy_malloc_true-termination.c.i unknown 7.81 8.44 203034624 -
termination-15/cstrncpy_mixed_alloca_true-termination.c.i unknown 8.14 8.95 201924608 -
termination-15/cstrncpy_reverse_alloca_true-termination.c.i unknown 7.85 8.63 205328384 -
termination-15/cstrpbrk_diffterm_alloca_true-termination.c.i unknown 7.95 8.89 205746176 -
termination-15/cstrpbrk_malloc_true-termination.c.i unknown 7.72 8.44 208289792 -
termination-15/cstrpbrk_mixed_alloca_true-termination.c.i unknown 5.76 6.08 204562432 -
termination-15/cstrpbrk_reverse_alloca_true-termination.c.i unknown 7.86 8.55 201158656 -
termination-15/cstrspn_diffterm_alloca_true-termination.c.i unknown 7.97 8.25 200900608 -
termination-15/cstrspn_malloc_true-termination.c.i unknown 5.79 6.09 203517952 -
termination-15/cstrspn_mixed_alloca_true-termination.c.i unknown 7.92 8.41 191205376 -
termination-15/cstrspn_reverse_alloca_true-termination.c.i unknown 8.01 8.27 202973184 -
termination-15/array04_alloca_false-termination.c.i unknown 7.95 8.10 201117696 -
termination-15/array14_alloca_false-termination.c.i unknown 7.59 8.30 200507392 -
termination-15/array15_alloca_false-termination.c.i unknown 8.08 8.25 199380992 -
termination-15/array16_alloca_original_false-termination.c.i unknown 5.59 5.85 198795264 -
termination-15/array19_alloca_false-termination.c.i unknown 7.99 8.61 205279232 -
termination-15/array20_alloca_false-termination.c.i unknown 8.08 8.37 201768960 -
termination-recursive-malloc/chunk1_true-termination.c.i unknown 7.02 7.28 177434624 -
termination-recursive-malloc/chunk2_true-termination.c.i unknown 5.05 5.60 172036096 -
termination-recursive-malloc/chunk3_true-termination.c.i unknown 7.10 7.62 170991616 -
termination-recursive-malloc/insertionSort_recursive_true-termination.c.i unknown 6.65 7.18 169553920 -
termination-recursive-malloc/mergeSort_true-termination.c.i unknown 6.82 7.36 171339776 -
termination-recursive-malloc/mutual_simple2_true-termination.c.i unknown 6.68 7.13 167612416 -
termination-recursive-malloc/mutual_simple_true-termination.c.i unknown 6.68 6.91 168488960 -
termination-recursive-malloc/rec_malloc_ex10_true-termination.c.i unknown 4.77 5.46 168755200 -
termination-recursive-malloc/rec_malloc_ex11B_true-termination.c.i unknown 4.96 5.42 171970560 -
termination-recursive-malloc/rec_malloc_ex11C_true-termination.c.i unknown 6.70 7.25 169324544 -
termination-recursive-malloc/rec_malloc_ex11D_true-termination.c.i unknown 6.91 7.45 172269568 -
termination-recursive-malloc/rec_malloc_ex11_true-termination.c.i unknown 7.03 7.42 172371968 -
termination-recursive-malloc/rec_malloc_ex1_true-termination.c.i unknown 6.51 7.06 167874560 -
termination-recursive-malloc/rec_malloc_ex2_true-termination.c.i unknown 6.60 7.15 168484864 -
termination-recursive-malloc/rec_malloc_ex3_true-termination.c.i unknown 6.84 7.26 167747584 -
termination-recursive-malloc/rec_malloc_ex4_true-termination.c.i unknown 4.82 5.40 169324544 -
termination-recursive-malloc/rec_malloc_ex5B_true-termination.c.i unknown 7.16 7.66 170504192 -
termination-recursive-malloc/rec_malloc_ex5_true-termination.c.i unknown 6.97 7.41 170053632 -
termination-recursive-malloc/rec_malloc_ex6_true-termination.c.i unknown 7.14 7.65 171085824 -
termination-recursive-malloc/rec_malloc_ex7B_true-termination.c.i unknown 6.67 7.14 170504192 -
termination-recursive-malloc/rec_malloc_ex7_true-termination.c.i unknown 6.97 7.23 167907328 -
termination-recursive-malloc/rec_malloc_ex8_true-termination.c.i unknown 5.02 5.58 168529920 -
termination-recursive-malloc/rec_malloc_ex9_true-termination.c.i unknown 7.27 7.69 171171840 -
termination-recursive-malloc/rec_strcopy_malloc2_true-termination.c.i unknown 7.18 7.45 173826048 -
termination-recursive-malloc/rec_strcopy_malloc_true-termination.c.i unknown 6.60 7.17 166846464 -
termination-recursive-malloc/rec_strlen_malloc_true-termination.c.i unknown 6.81 7.26 168505344 -
termination-recursive-malloc/selectionSort_recursive_true-termination.c.i unknown 6.96 7.22 173060096 -
ssh-simplified/s3_clnt_3.cil_true-unreach-call_true-termination.c unknown 5.18 5.48 190398464 -
../../../trunk/examples/svcomp/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
total 1228 21100 21700 462902149120 565 19000 19300 376392781824
    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