Tool CPAchecker 1.7-svn 27742
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 2
OS Linux 4.4.0-119-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33553 MB
Run set kInduction-df-boxes kInduction-df-boxes+eq kInduction-df-boxes+eq+mod2 kInduction-kipdr
Options -noout -heap 10000M -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -kInduction -setprop cpa.invariants.conditionAdjusterFactory=STATIC -setprop cpa.invariants.interestingVariableLimit=0 -setprop cpa.invariants.maximumFormulaDepth=0 -setprop cpa.invariants.abstractionStateFactory=ENTERING_EDGES -noout -heap 10000M -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -kInduction -setprop cpa.invariants.conditionAdjusterFactory=STATIC -setprop cpa.invariants.interestingVariableLimit=0 -setprop cpa.invariants.maximumFormulaDepth=1 -setprop cpa.invariants.abstractionStateFactory=ENTERING_EDGES -setprop cpa.invariants.useMod2Template=false -noout -heap 10000M -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -kInduction -setprop cpa.invariants.conditionAdjusterFactory=STATIC -setprop cpa.invariants.interestingVariableLimit=0 -setprop cpa.invariants.maximumFormulaDepth=1 -setprop cpa.invariants.abstractionStateFactory=ENTERING_EDGES -setprop cpa.invariants.useMod2Template=true -noout -heap 10000M -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -kInduction-kipdrInvariants
../programs/benchmarks/ status cputime (s) walltime (s) memUsage host status cputime (s) walltime (s) memUsage host status cputime (s) walltime (s) memUsage host status cputime (s) walltime (s) memUsage host
ssh-simplified/s3_srvr_1_true-unreach-call_false-termination.cil.c timeout 905    888    5224652800 apollon084 timeout 904    889    5035122688 apollon165 timeout 905    889    5208551424 apollon023 true 121    61.1  1503879168 apollon106
ssh-simplified/s3_srvr_2_true-unreach-call_false-termination.cil.c timeout 904    888    4792516608 apollon080 timeout 904    889    4873601024 apollon133 timeout 904    888    4921798656 apollon098 true 507    257    3113091072 apollon150
ssh-simplified/s3_srvr_8_true-unreach-call_false-termination.cil.c timeout 904    888    4859953152 apollon098 timeout 904    889    5063081984 apollon066 timeout 904    888    4985180160 apollon039 true 172    86.3  1726627840 apollon093
loops/n.c11_true-unreach-call_false-termination.i timeout 908    891    9454489600 apollon048 true 3.49 1.92 259354624 apollon010 true 3.60 2.00 259313664 apollon030 true 3.85 2.12 279986176 apollon082
loop-acceleration/functions_true-unreach-call1_true-termination.i timeout 914    898    11845390336 apollon061 timeout 914    899    11961180160 apollon151 timeout 915    901    11832688640 apollon067 true 8.49 4.47 339509248 apollon096
loop-acceleration/multivar_true-unreach-call1_true-termination.i out of native memory 811    799    13298610176 apollon083 true 3.18 1.78 252014592 apollon062 true 3.40 1.86 251699200 apollon021 true 4.08 2.26 287436800 apollon004
loop-acceleration/overflow_true-unreach-call1.i timeout (exception) 911    897    10593386496 apollon063 timeout 911    897    10816462848 apollon133 true 3.56 1.98 259723264 apollon002 true 6.77 3.64 300359680 apollon162
loop-acceleration/phases_true-unreach-call1.i timeout 903    892    4969406464 apollon039 timeout 903    890    3489873920 apollon015 timeout 903    891    3419746304 apollon030 true 6.96 3.73 302518272 apollon152
loop-acceleration/simple_true-unreach-call1.i timeout 913    897    10088427520 apollon123 timeout 912    898    11074023424 apollon031 true 3.39 1.90 261820416 apollon038 true 4.17 2.29 283545600 apollon109
loop-acceleration/simple_true-unreach-call3_true-termination.i timeout 909    894    9484083200 apollon127 timeout 908    894    9575006208 apollon020 true 3.61 1.99 259932160 apollon124 true 5.58 3.01 301076480 apollon160
loop-lit/ddlm2013_true-unreach-call.i out of memory 862    848    14999998464 apollon140 out of memory 843    830    14999998464 apollon121 out of memory 860    844    14999998464 apollon086 true 4.73 2.59 296656896 apollon050
ldv-linux-3.0/module_get_put-drivers-net-pppox_false-termination.ko_true-unreach-call.cil.out.i.pp.i timeout 905    894    5571129344 apollon096 timeout 908    897    7007723520 apollon060 timeout 905    894    7050555392 apollon116 true 9.78 5.12 443330560 apollon003
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--acpi--container.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.62 3.00 287399936 apollon060 true 7.25 3.82 279212032 apollon141 true 6.01 3.18 275050496 apollon142 true 9.11 4.78 430415872 apollon130
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--acpi--fan.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.00 3.70 337235968 apollon044 true 7.11 3.78 366555136 apollon110 true 7.23 3.83 389009408 apollon069 true 20.0  10.4  838684672 apollon069
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 true 6.82 3.59 272302080 apollon046 true 6.48 3.44 272494592 apollon015 true 5.67 3.01 272408576 apollon134 true 11.1  5.81 449953792 apollon158
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--auxdisplay--cfag12864bfb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.40 2.87 283262976 apollon161 true 5.48 2.92 270708736 apollon023 true 5.50 2.91 271704064 apollon121 true 10.3  5.37 493207552 apollon041
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--auxdisplay--ks0108.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.52 2.43 262197248 apollon101 true 4.31 2.35 263622656 apollon167 true 4.42 2.40 263184384 apollon167 true 6.10 3.23 328929280 apollon030
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--char--ramoops.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.99 2.68 272850944 apollon098 true 4.69 2.53 266862592 apollon014 true 5.15 2.76 275894272 apollon130 true 6.42 3.43 349282304 apollon079
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--char--uv_mmtimer.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 8.70 4.57 531935232 apollon140 true 8.11 4.22 456978432 apollon115 true 8.52 4.47 511856640 apollon146 true 27.1  14.5  908255232 apollon036
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--clocksource--cs5535-clockevt.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.73 3.07 328126464 apollon018 true 6.12 3.20 332656640 apollon034 true 5.85 3.12 328572928 apollon058 true 8.96 4.70 474574848 apollon110
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--cpufreq--cpufreq_powersave.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.27 2.34 262246400 apollon127 true 4.31 2.34 260751360 apollon076 true 5.29 2.85 260489216 apollon163 true 5.79 3.15 322408448 apollon096
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--cpufreq--pcc-cpufreq.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 8.77 4.57 460652544 apollon029 true 9.84 5.14 524697600 apollon062 true 10.1  5.24 509214720 apollon136 true 113    69.0  2366992384 apollon144
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--gpio--gpio-74x164.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 8.51 4.50 353071104 apollon002 true 6.40 3.38 333717504 apollon094 true 8.01 4.26 330235904 apollon166 true 22.1  11.6  885596160 apollon075
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--gpio--gpio-max7301.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.13 2.74 267292672 apollon011 true 4.96 2.65 266067968 apollon013 true 4.93 2.65 265494528 apollon093 true 10.7  5.66 403836928 apollon157
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--gpio--gpio-mc33880.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.65 3.54 365932544 apollon130 true 6.81 3.61 391491584 apollon108 true 6.91 3.70 427909120 apollon105 true 23.3  12.1  945762304 apollon138
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--gpio--gpio-tps65912.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.93 2.64 263249920 apollon042 true 5.01 2.72 264691712 apollon099 true 5.85 3.14 267898880 apollon050 true 15.9  8.52 668803072 apollon162
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--gpu--drm--tdfx--tdfx.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.09 2.73 269348864 apollon140 true 4.84 2.58 271069184 apollon140 true 4.74 2.52 287010816 apollon128 true 5.83 3.10 296161280 apollon127
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--gpu--stub--poulsbo.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.87 2.61 266174464 apollon028 true 4.80 2.58 265375744 apollon029 true 4.91 2.63 265654272 apollon071 true 6.82 3.64 299941888 apollon076
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-cherry.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.28 2.82 269340672 apollon050 true 5.22 2.79 265019392 apollon134 true 5.20 2.77 269557760 apollon154 true 13.0  6.79 604180480 apollon118
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-chicony.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.85 4.15 360333312 apollon131 true 6.81 3.59 377507840 apollon070 true 8.55 4.47 388313088 apollon075 true 15.0  7.90 593104896 apollon003
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-elecom.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.36 2.34 261636096 apollon151 true 4.58 2.46 262631424 apollon056 true 4.58 2.49 264613888 apollon149 true 8.68 4.61 329265152 apollon118
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-ezkey.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.16 2.76 267345920 apollon099 true 6.07 3.27 265916416 apollon135 true 6.77 3.60 268775424 apollon101 true 12.5  6.53 565018624 apollon032
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-gyration.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.47 3.42 305172480 apollon023 true 6.71 3.54 320421888 apollon003 true 8.28 4.38 339947520 apollon163 true 15.2  7.80 638181376 apollon030
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-kensington.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.79 2.57 263835648 apollon153 true 5.68 3.05 266498048 apollon102 true 5.02 2.69 297504768 apollon129 true 9.54 4.98 447283200 apollon147
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-keytouch.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.67 2.52 265572352 apollon151 true 4.51 2.43 262385664 apollon070 true 4.85 2.60 266002432 apollon040 true 6.02 3.21 321335296 apollon087
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-lcpower.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.66 3.00 268967936 apollon019 true 5.87 3.11 270741504 apollon029 true 5.76 3.06 267165696 apollon052 true 12.8  6.69 547323904 apollon154
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-monterey.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.43 2.90 264613888 apollon061 true 5.74 3.04 268955648 apollon016 true 5.36 2.89 269221888 apollon086 true 12.2  6.38 581091328 apollon142
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-ortek.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.98 2.65 286892032 apollon130 true 4.58 2.47 265039872 apollon045 true 4.77 2.58 265035776 apollon146 true 7.65 4.01 374808576 apollon072
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-saitek.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.82 3.10 262254592 apollon008 true 4.98 2.68 262717440 apollon011 true 4.88 2.60 269668352 apollon052 true 8.34 4.38 389623808 apollon119
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-samsung.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.22 3.80 400498688 apollon168 true 7.99 4.18 428269568 apollon067 true 8.33 4.37 408657920 apollon080 true 30.7  15.9  1129730048 apollon100
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-speedlink.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.75 2.55 265617408 apollon093 true 6.18 3.30 268046336 apollon091 true 4.85 2.62 265637888 apollon085 true 6.68 3.56 305819648 apollon024
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-sunplus.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.14 2.74 265482240 apollon048 true 6.50 3.44 267038720 apollon076 true 5.09 2.70 269197312 apollon056 true 12.4  6.59 572338176 apollon165
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-tivo.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.20 2.77 265109504 apollon066 true 5.48 2.92 266698752 apollon110 true 6.93 3.70 270598144 apollon154 true 13.7  7.11 575488000 apollon065
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-topseed.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.82 3.58 366161920 apollon142 true 7.05 3.69 399065088 apollon109 true 7.02 3.72 395186176 apollon058 true 15.8  8.36 649695232 apollon083
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-twinhan.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 8.10 4.23 397807616 apollon168 true 8.32 4.36 398647296 apollon148 true 8.20 4.28 401616896 apollon106 true 20.2  10.6  761397248 apollon043
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-uclogic.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.30 2.83 277368832 apollon011 true 5.25 2.81 269246464 apollon122 true 5.37 2.86 278401024 apollon026 true 6.79 3.62 328347648 apollon067
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hwmon--ads7871.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.73 4.06 305082368 apollon111 true 6.98 3.70 373633024 apollon004 true 7.01 3.69 345096192 apollon051 true 25.1  13.8  1013702656 apollon052
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hwmon--emc1403.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.18 3.30 314056704 apollon078 true 6.47 3.43 292782080 apollon138 true 6.82 3.62 335618048 apollon050 true 14.4  7.57 671531008 apollon008
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hwmon--max1111.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.57 2.98 277336064 apollon021 true 5.86 3.10 284315648 apollon019 true 5.61 2.98 269598720 apollon100 true 17.0  9.06 782041088 apollon064
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hwmon--pcf8591.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.96 3.71 325033984 apollon024 true 8.44 4.46 361414656 apollon063 true 9.28 4.84 373362688 apollon153 true 20.7  10.6  796020736 apollon155
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 true 4.76 2.55 263708672 apollon118 true 4.81 2.55 265469952 apollon056 true 5.41 2.91 263376896 apollon001 true 6.62 3.56 321671168 apollon008
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 true 6.28 3.35 266698752 apollon018 true 5.36 2.84 266772480 apollon011 true 6.17 3.29 268226560 apollon117 true 8.83 4.64 427417600 apollon045
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--i2c--i2c-smbus.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.36 3.37 318124032 apollon166 true 6.58 3.49 328654848 apollon051 true 6.48 3.44 340971520 apollon114 true 14.0  7.44 666873856 apollon040
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--joystick--spaceball.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 12.4  6.43 553193472 apollon104 true 12.8  6.63 602628096 apollon088 true 15.1  7.82 596709376 apollon034 true 62.4  32.1  1648848896 apollon155
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--joystick--stinger.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 8.14 4.31 320061440 apollon063 true 7.33 3.86 394162176 apollon138 true 6.99 3.69 367976448 apollon102 true 24.6  13.0  946987008 apollon089
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--joystick--warrior.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 8.69 4.60 490323968 apollon155 true 9.20 4.81 508411904 apollon094 true 9.64 5.07 496566272 apollon072 true 35.4  19.5  1131585536 apollon103
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--joystick--zhenhua.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.19 3.29 299692032 apollon116 true 6.19 3.28 294195200 apollon005 true 6.85 3.63 340852736 apollon162 true 22.7  12.0  884375552 apollon025
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--misc--atlas_btns.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 9.25 4.85 420212736 apollon116 true 8.17 4.28 453234688 apollon138 true 8.02 4.20 476741632 apollon059 true 15.5  8.22 627322880 apollon150
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--misc--cma3000_d0x_i2c.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.86 3.12 268992512 apollon083 true 5.69 3.03 272265216 apollon092 true 5.99 3.16 272400384 apollon006 true 14.8  7.71 582922240 apollon081
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--misc--xen-kbdfront.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.93 3.16 270864384 apollon049 true 7.29 3.85 342372352 apollon140 true 9.01 4.72 329363456 apollon108 true 34.0  18.3  936951808 apollon048
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--dynapro.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.02 3.73 362086400 apollon161 true 7.03 3.77 405413888 apollon091 true 7.31 3.87 404279296 apollon037 true 20.2  10.6  911720448 apollon007
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--fujitsu_ts.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.47 3.42 306860032 apollon048 true 7.59 4.00 325537792 apollon084 true 6.48 3.40 303222784 apollon046 true 18.9  10.1  867086336 apollon055
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--gunze.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.75 4.08 323674112 apollon153 true 7.03 3.73 369410048 apollon144 true 6.88 3.62 361603072 apollon097 true 23.8  12.6  973451264 apollon154
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--hampshire.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 8.43 4.45 351465472 apollon091 true 7.02 3.71 372060160 apollon107 true 8.89 4.68 387133440 apollon037 true 23.4  12.3  917278720 apollon036
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--inexio.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.46 3.41 321323008 apollon140 true 6.41 3.40 321523712 apollon064 true 6.72 3.57 343351296 apollon151 true 17.4  9.08 826167296 apollon071
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--mtouch.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.47 3.95 306417664 apollon088 true 7.40 3.92 360808448 apollon033 true 6.52 3.46 332922880 apollon113 true 20.8  10.6  960188416 apollon066
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--touchit213.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.91 3.64 360054784 apollon155 true 7.23 3.84 389636096 apollon146 true 7.74 4.13 391585792 apollon097 true 20.4  10.8  940572672 apollon083
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--touchright.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.57 3.47 313851904 apollon133 true 7.05 3.72 330080256 apollon166 true 6.34 3.38 325255168 apollon090 true 23.3  12.4  874590208 apollon018
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--touchwin.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.03 3.21 271335424 apollon161 true 6.58 3.49 352436224 apollon093 true 6.83 3.60 337645568 apollon157 true 22.9  12.3  997662720 apollon084
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--tsc40.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.41 3.89 385028096 apollon075 true 8.02 4.22 413995008 apollon140 true 7.88 4.18 450347008 apollon132 true 20.1  10.7  912138240 apollon038
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--isdn--hardware--avm--avm_cs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.73 3.55 336121856 apollon124 true 7.87 4.13 421269504 apollon017 true 7.62 4.03 404520960 apollon121 true 15.6  8.22 674512896 apollon042
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--isdn--hardware--avm--b1pcmcia.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.74 2.53 265818112 apollon006 true 5.10 2.72 265105408 apollon144 true 6.00 3.20 268316672 apollon049 true 5.90 3.16 313843712 apollon006
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--isdn--hisax--avma1_cs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.00 3.17 291995648 apollon020 true 8.08 4.26 364605440 apollon130 true 6.84 3.61 360497152 apollon070 true 16.6  8.75 760651776 apollon073
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--isdn--hisax--elsa_cs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 8.44 4.49 337960960 apollon098 true 7.22 3.83 391557120 apollon088 true 7.20 3.79 388038656 apollon064 true 24.9  13.2  878317568 apollon050
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--isdn--hisax--sedlbauer_cs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.66 3.51 317132800 apollon130 true 7.10 3.75 358989824 apollon018 true 6.95 3.70 366297088 apollon128 true 20.1  10.5  870440960 apollon052
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--isdn--hisax--teles_cs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 8.81 4.65 341983232 apollon125 true 8.76 4.61 391720960 apollon166 true 7.79 4.12 405049344 apollon023 true 22.0  11.7  896401408 apollon100
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--leds--ledtrig-backlight.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.52 2.95 271863808 apollon028 true 6.59 3.49 268972032 apollon121 true 5.47 2.92 271069184 apollon164 true 10.6  5.63 482848768 apollon072
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--leds--ledtrig-default-on.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.77 2.09 258002944 apollon089 true 4.21 2.26 259215360 apollon016 true 4.38 2.35 268308480 apollon150 true 7.80 4.24 352333824 apollon147
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--leds--ledtrig-gpio.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.91 3.12 284704768 apollon048 true 5.93 3.16 285048832 apollon012 true 5.91 3.12 287236096 apollon055 true 14.4  7.60 560132096 apollon032
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--macintosh--mac_hid.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.26 3.33 293732352 apollon086 true 6.71 3.56 290480128 apollon093 true 7.22 3.80 293281792 apollon161 true 12.0  6.25 503463936 apollon044
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--md--dm-zero.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.21 3.30 269504512 apollon029 true 4.92 2.63 264609792 apollon039 true 5.04 2.71 269160448 apollon120 true 7.22 3.80 348979200 apollon108
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--common--tuners--mc44s803.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 8.12 4.27 444526592 apollon163 true 10.1  5.27 557633536 apollon086 true 9.57 5.04 496533504 apollon114 true 142    74.9  1931718656 apollon109
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-a800.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.63 4.01 294690816 apollon027 true 6.81 3.57 312406016 apollon046 true 8.43 4.41 301449216 apollon012 true 13.1  6.92 605913088 apollon139
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-au6610.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.85 3.62 329244672 apollon082 true 8.51 4.52 326336512 apollon014 true 6.94 3.65 325591040 apollon103 true 21.9  11.6  837529600 apollon025
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-ce6230.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.01 3.67 341975040 apollon077 true 7.66 4.02 395558912 apollon131 true 7.78 4.04 368902144 apollon144 true 20.0  10.4  811245568 apollon015
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-cinergyT2.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 9.26 4.81 463482880 apollon108 true 9.53 4.98 476315648 apollon048 true 9.99 5.21 483495936 apollon141 true 43.1  23.9  1156366336 apollon070
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 true 10.2  5.29 526319616 apollon013 true 10.4  5.36 491425792 apollon075 true 10.3  5.37 530808832 apollon151 true 48.0  25.9  1445679104 apollon064
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 true 6.89 3.63 271863808 apollon126 true 6.96 3.69 271540224 apollon105 true 6.39 3.40 274120704 apollon084 true 7.88 4.14 366948352 apollon066
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-dtt200u.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 12.4  6.41 490749952 apollon168 true 12.1  6.26 484880384 apollon124 true 11.9  6.14 479313920 apollon056 true 28.3  15.2  925900800 apollon014
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-gl861.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.04 3.71 309080064 apollon052 true 8.92 4.69 309964800 apollon070 true 7.11 3.74 312672256 apollon024 true 18.5  9.66 852332544 apollon035
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-ttusb2.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 27.9  14.2  893059072 apollon059 true 31.5  16.1  1318785024 apollon032 true 22.8  11.6  975441920 apollon107 true 164    85.0  2275848192 apollon053
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-umt-010.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.37 3.33 271892480 apollon080 true 6.54 3.43 274829312 apollon070 true 6.61 3.48 278757376 apollon023 true 14.2  7.52 626085888 apollon092
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--stb6000.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.88 4.12 300564480 apollon049 true 6.62 3.51 292106240 apollon116 true 7.04 3.69 301875200 apollon080 true 30.0  15.5  1239912448 apollon104
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--tda826x.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.58 4.02 273133568 apollon078 true 6.41 3.41 273981440 apollon109 true 6.31 3.36 292618240 apollon093 true 21.2  10.9  990265344 apollon026
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--tua6100.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.59 3.46 278757376 apollon079 true 6.54 3.48 278573056 apollon047 true 7.05 3.74 285237248 apollon107 true 30.8  15.7  1297121280 apollon065
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--ttpci--budget.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 23.2  11.9  1257259008 apollon071 true 28.1  14.5  1445810176 apollon077 true 28.6  14.5  1461862400 apollon067 true 620    342    5248299008 apollon059
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-adstech-dvb-t-pci.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.55 1.95 254193664 apollon066 true 3.61 1.98 253853696 apollon070 true 3.80 2.07 260968448 apollon084 true 5.77 3.12 306208768 apollon028
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-alink-dtu-m.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.41 2.46 254668800 apollon124 true 3.51 1.95 255709184 apollon091 true 3.40 1.89 248639488 apollon043 true 4.69 2.53 306155520 apollon083
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-anysee.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.82 2.10 256000000 apollon126 true 3.61 2.00 268959744 apollon002 true 3.73 2.05 251891712 apollon086 true 4.17 2.26 279109632 apollon153
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-apac-viewcomp.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.78 2.10 253779968 apollon096 true 4.47 2.46 256344064 apollon033 true 3.69 2.03 253857792 apollon051 true 4.53 2.42 301445120 apollon117
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-asus-pc39.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.74 2.03 256208896 apollon119 true 3.48 1.94 256241664 apollon101 true 3.63 2.00 257167360 apollon083 true 4.32 2.36 278675456 apollon052
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-ati-tv-wonder-hd-600.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.67 2.01 257871872 apollon048 true 3.47 1.90 248213504 apollon108 true 3.60 1.97 255246336 apollon132 true 4.04 2.22 277999616 apollon068
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-ati-x10.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.70 2.04 257712128 apollon011 true 4.36 2.42 252239872 apollon042 true 4.14 2.27 256045056 apollon015 true 4.21 2.32 281509888 apollon034
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-avermedia-a16d.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.84 2.61 282181632 apollon063 true 3.66 2.01 255815680 apollon136 true 3.69 2.03 257966080 apollon136 true 4.23 2.33 276312064 apollon077
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-avermedia-cardbus.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.69 2.04 256204800 apollon017 true 3.61 1.99 255234048 apollon017 true 4.23 2.32 257953792 apollon159 true 4.54 2.47 306864128 apollon055
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-avermedia-dvbt.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.77 2.07 252895232 apollon054 true 4.32 2.35 256790528 apollon157 true 3.63 2.02 269574144 apollon009 true 4.22 2.31 279859200 apollon140
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-avermedia-m135a.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.74 2.62 254119936 apollon126 true 4.26 2.32 268140544 apollon019 true 4.36 2.42 254320640 apollon009 true 4.41 2.42 290230272 apollon073
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-avermedia-m733a-rm-k6.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.46 1.92 250511360 apollon068 true 3.61 1.98 257499136 apollon048 true 3.61 1.99 252866560 apollon006 true 4.51 2.42 305659904 apollon064
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-avermedia-rm-ks.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.97 2.19 257462272 apollon026 true 3.45 1.94 249765888 apollon042 true 3.68 2.04 252915712 apollon163 true 4.70 2.51 299057152 apollon082
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-avermedia.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.77 2.08 260325376 apollon049 true 3.64 1.99 256704512 apollon156 true 3.70 2.02 255078400 apollon069 true 4.25 2.32 282746880 apollon143
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-avertv-303.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.52 1.92 255234048 apollon080 true 3.48 1.93 255356928 apollon036 true 3.65 2.00 258158592 apollon086 true 4.28 2.32 281542656 apollon010
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-azurewave-ad-tu700.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.64 1.99 256921600 apollon122 true 3.60 1.97 258609152 apollon016 true 3.70 2.02 255463424 apollon092 true 4.44 2.42 279306240 apollon111
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-behold-columbus.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.45 2.46 258183168 apollon097 true 3.66 2.01 255143936 apollon141 true 3.63 2.00 254058496 apollon014 true 4.32 2.38 286380032 apollon120
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-behold.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.85 2.12 256561152 apollon080 true 3.51 1.93 253841408 apollon100 true 3.46 1.94 252162048 apollon040 true 5.34 2.94 280834048 apollon074
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-budget-ci-old.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.60 1.97 257732608 apollon160 true 3.41 1.88 249425920 apollon040 true 3.55 1.97 257798144 apollon144 true 4.19 2.30 278822912 apollon061
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-cinergy-1400.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.61 2.52 251908096 apollon032 true 3.37 1.87 253116416 apollon044 true 3.54 1.95 252854272 apollon066 true 4.57 2.53 280489984 apollon113
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-cinergy.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.81 2.08 255094784 apollon061 true 3.60 1.97 253898752 apollon119 true 4.15 2.28 249835520 apollon116 true 4.30 2.33 287809536 apollon013
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-dib0700-nec.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.48 1.93 253681664 apollon156 true 4.15 2.31 255193088 apollon082 true 3.80 2.09 256012288 apollon083 true 5.39 2.95 277757952 apollon037
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-dib0700-rc5.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.70 2.05 254701568 apollon117 true 4.64 2.54 252309504 apollon160 true 4.15 2.24 283443200 apollon062 true 4.69 2.56 283996160 apollon087
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-digitalnow-tinytwin.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.57 1.97 254345216 apollon122 true 3.69 2.01 256671744 apollon132 true 3.54 1.97 255291392 apollon126 true 4.24 2.31 282152960 apollon076
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-digittrade.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.49 1.92 251789312 apollon050 true 3.61 1.97 255541248 apollon150 true 4.08 2.23 255774720 apollon113 true 4.24 2.36 277643264 apollon013
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-dm1105-nec.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.47 1.90 250535936 apollon117 true 3.38 1.87 257540096 apollon117 true 3.61 2.01 268431360 apollon011 true 4.81 2.58 304582656 apollon088
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-dntv-live-dvb-t.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.56 1.99 257490944 apollon014 true 3.55 1.95 256598016 apollon046 true 3.60 1.98 250396672 apollon051 true 4.13 2.31 282947584 apollon086
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-dntv-live-dvbt-pro.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.43 1.93 254234624 apollon064 true 3.95 2.12 284401664 apollon159 true 3.53 1.92 253521920 apollon099 true 4.60 2.46 305266688 apollon024
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-em-terratec.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.59 1.98 252239872 apollon165 true 3.66 2.00 255365120 apollon101 true 3.65 2.04 256376832 apollon128 true 4.49 2.49 280268800 apollon016
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-encore-enltv-fm53.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.89 2.13 250601472 apollon043 true 3.49 1.94 251199488 apollon028 true 3.69 2.01 252985344 apollon076 true 4.14 2.30 278462464 apollon096
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-encore-enltv.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.53 1.92 254279680 apollon044 true 3.69 2.02 257957888 apollon099 true 4.29 2.35 254849024 apollon138 true 4.22 2.33 278835200 apollon092
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-encore-enltv2.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.54 1.95 255512576 apollon122 true 3.53 1.94 257396736 apollon106 true 3.55 1.94 253894656 apollon103 true 4.40 2.40 281395200 apollon105
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-evga-indtube.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.59 1.97 253779968 apollon140 true 3.57 2.00 252977152 apollon001 true 3.44 1.90 270401536 apollon039 true 4.32 2.36 279957504 apollon094
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-eztv.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.93 2.16 255606784 apollon133 true 4.02 2.21 255467520 apollon084 true 3.76 2.09 253235200 apollon163 true 4.32 2.37 282165248 apollon077
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-flydvb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.67 2.00 256348160 apollon058 true 4.50 2.46 255533056 apollon023 true 4.09 2.19 278851584 apollon118 true 4.17 2.30 279863296 apollon087
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-flyvideo.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.06 2.24 255094784 apollon145 true 4.29 2.35 255397888 apollon082 true 4.53 2.50 253411328 apollon032 true 4.16 2.31 281993216 apollon129
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-fusionhdtv-mce.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.37 2.41 254541824 apollon113 true 3.56 1.95 254287872 apollon017 true 3.55 1.97 253202432 apollon160 true 4.24 2.35 280883200 apollon009
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-gadmei-rm008z.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.42 1.92 251568128 apollon134 true 3.76 2.05 275484672 apollon103 true 3.46 1.91 256229376 apollon134 true 4.41 2.40 284831744 apollon028
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-genius-tvgo-a11mce.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.68 2.04 257835008 apollon080 true 3.54 1.92 252137472 apollon163 true 3.54 1.96 253677568 apollon109 true 4.53 2.47 282955776 apollon006
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-gotview7135.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.71 2.02 256434176 apollon030 true 3.57 1.96 257523712 apollon030 true 3.70 2.03 256909312 apollon087 true 4.17 2.31 283586560 apollon007
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-hauppauge.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.67 2.03 253992960 apollon070 true 4.17 2.24 281399296 apollon006 true 3.75 2.06 258453504 apollon122 true 4.62 2.51 296669184 apollon130
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-imon-mce.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.53 1.94 252125184 apollon142 true 3.54 1.95 251392000 apollon100 true 3.61 2.00 254328832 apollon065 true 4.30 2.35 278872064 apollon088
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-imon-pad.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.65 1.98 254517248 apollon096 true 3.56 1.96 254431232 apollon080 true 5.04 2.72 280842240 apollon027 true 4.95 2.74 280141824 apollon030
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-iodata-bctv7e.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.71 2.02 252502016 apollon034 true 3.58 1.96 268566528 apollon022 true 3.67 2.03 256385024 apollon152 true 4.65 2.54 281698304 apollon045
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-it913x-v1.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.78 2.09 253517824 apollon017 true 3.69 2.04 258093056 apollon031 true 3.55 1.97 257015808 apollon048 true 4.17 2.28 278552576 apollon034
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-it913x-v2.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.53 1.94 252321792 apollon055 true 3.61 1.99 257626112 apollon150 true 4.40 2.44 259608576 apollon136 true 4.97 2.69 306679808 apollon092
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-kaiomy.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.83 2.12 253489152 apollon013 true 3.52 1.93 255488000 apollon109 true 3.48 1.94 251658240 apollon042 true 4.18 2.27 277876736 apollon135
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-kworld-315u.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.48 1.90 253689856 apollon063 true 3.57 1.94 254005248 apollon139 true 4.48 2.46 255574016 apollon074 true 4.40 2.39 278900736 apollon102
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-kworld-pc150u.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.70 2.02 257966080 apollon038 true 3.49 1.93 254865408 apollon096 true 3.53 1.97 258351104 apollon103 true 4.15 2.31 283533312 apollon113
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-kworld-plus-tv-analog.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.03 2.21 271130624 apollon156 true 3.65 2.04 256811008 apollon064 true 3.71 2.02 266076160 apollon165 true 4.28 2.34 299565056 apollon137
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-leadtek-y04g0051.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.67 2.01 255406080 apollon115 true 3.88 2.16 255528960 apollon072 true 3.64 2.01 257667072 apollon030 true 4.49 2.42 306618368 apollon030
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-lirc.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.56 1.95 253431808 apollon033 true 4.12 2.25 252555264 apollon017 true 3.81 2.07 254963712 apollon145 true 4.80 2.65 280047616 apollon105
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-lme2510.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.64 2.01 256106496 apollon131 true 4.61 2.54 258121728 apollon102 true 3.73 2.04 254427136 apollon089 true 4.35 2.37 287207424 apollon103
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-manli.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.14 2.26 257880064 apollon145 true 3.51 1.95 251310080 apollon167 true 4.10 2.26 253505536 apollon153 true 4.32 2.33 303808512 apollon064
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-medion-x10.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.53 1.93 255946752 apollon106 true 4.71 2.57 269709312 apollon004 true 3.67 2.00 257884160 apollon140 true 4.35 2.38 295288832 apollon155
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-msi-digivox-ii.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.73 2.06 255557632 apollon006 true 3.48 1.93 260927488 apollon148 true 3.46 1.91 251916288 apollon013 true 4.06 2.23 277762048 apollon053
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-msi-digivox-iii.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.67 2.02 255909888 apollon162 true 3.47 1.92 255836160 apollon114 true 3.55 1.94 256565248 apollon158 true 5.04 2.73 305602560 apollon039
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-msi-tvanywhere-plus.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.65 1.99 254910464 apollon142 true 3.78 2.08 254078976 apollon103 true 4.44 2.45 255356928 apollon104 true 4.30 2.36 280313856 apollon141
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-msi-tvanywhere.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.93 2.65 275234816 apollon007 true 3.43 1.88 253833216 apollon083 true 3.57 1.97 256741376 apollon080 true 4.04 2.21 282873856 apollon085
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-nebula.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.83 2.07 260452352 apollon133 true 4.41 2.44 247881728 apollon116 true 3.58 1.95 256815104 apollon041 true 4.21 2.32 283611136 apollon158
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-nec-terratec-cinergy-xs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.73 2.06 256880640 apollon002 true 3.80 2.07 272056320 apollon052 true 3.55 1.95 256954368 apollon039 true 4.39 2.39 287481856 apollon147
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-norwood.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.54 1.99 254709760 apollon091 true 3.44 1.93 250298368 apollon135 true 3.56 1.98 252678144 apollon010 true 4.52 2.44 292880384 apollon003
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-npgtech.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.55 2.53 256966656 apollon093 true 3.53 1.94 256692224 apollon109 true 3.69 2.03 270192640 apollon063 true 4.34 2.37 279445504 apollon056
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-pctv-sedna.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.43 1.90 252301312 apollon132 true 3.55 1.95 255315968 apollon066 true 4.25 2.33 255008768 apollon080 true 4.26 2.34 279547904 apollon058
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-pinnacle-color.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.63 1.99 254570496 apollon135 true 4.35 2.39 258748416 apollon099 true 3.56 1.97 257019904 apollon146 true 4.26 2.31 281751552 apollon091
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-pinnacle-grey.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.70 2.03 249888768 apollon163 true 4.53 2.45 258121728 apollon119 true 3.73 2.05 257323008 apollon054 true 4.21 2.30 278683648 apollon102
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-pinnacle-pctv-hd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.47 1.90 254443520 apollon133 true 3.90 2.12 254111744 apollon153 true 3.59 1.97 253919232 apollon020 true 5.00 2.70 301944832 apollon167
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-pixelview-002t.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.50 1.94 258408448 apollon145 true 3.63 2.00 258084864 apollon083 true 4.01 2.22 254877696 apollon056 true 4.23 2.31 279896064 apollon083
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-pixelview-mk12.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.55 1.95 253788160 apollon041 true 3.47 1.91 267669504 apollon083 true 3.72 2.05 255221760 apollon099 true 4.24 2.35 275324928 apollon070
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-pixelview-new.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.49 2.46 257892352 apollon036 true 3.67 2.03 251404288 apollon043 true 3.58 1.98 253747200 apollon085 true 4.52 2.44 306020352 apollon162
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-pixelview.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.56 1.95 253562880 apollon155 true 3.67 2.00 252862464 apollon141 true 3.65 2.01 258822144 apollon077 true 4.29 2.36 280952832 apollon166
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-powercolor-real-angel.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.79 2.61 256036864 apollon002 true 3.54 1.97 253100032 apollon085 true 4.50 2.47 255696896 apollon091 true 4.65 2.47 306593792 apollon011
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-proteus-2309.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.44 2.43 255651840 apollon096 true 3.49 1.91 255705088 apollon160 true 3.64 1.98 268443648 apollon034 true 5.01 2.72 283955200 apollon011
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-purpletv.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.62 1.99 253014016 apollon130 true 3.51 1.97 259010560 apollon041 true 3.44 1.90 254971904 apollon038 true 4.10 2.26 280629248 apollon141
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-pv951.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.68 2.03 256319488 apollon149 true 3.61 1.97 255287296 apollon034 true 3.83 2.06 275243008 apollon051 true 4.71 2.60 278339584 apollon116
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-rc6-mce.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.40 1.88 254279680 apollon028 true 4.03 2.22 257658880 apollon126 true 3.46 1.92 250396672 apollon108 true 4.36 2.36 282939392 apollon083
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-real-audio-220-32-keys.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.56 1.94 256983040 apollon140 true 4.01 2.18 256204800 apollon158 true 3.62 2.00 249704448 apollon042 true 4.37 2.38 284291072 apollon011
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-snapstream-firefly.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.67 2.02 257601536 apollon101 true 3.67 2.01 249556992 apollon051 true 3.46 1.90 255643648 apollon115 true 4.18 2.31 280559616 apollon156
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-streamzap.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.93 2.16 254726144 apollon108 true 3.48 1.91 250843136 apollon135 true 3.66 2.00 255746048 apollon064 true 4.51 2.48 278179840 apollon038
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-tbs-nec.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.66 2.00 252145664 apollon091 true 3.87 2.12 257654784 apollon111 true 3.90 2.15 258105344 apollon117 true 5.74 3.08 305303552 apollon137
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-technisat-usb2.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.60 1.99 255614976 apollon068 true 3.64 2.01 255188992 apollon131 true 4.51 2.48 252092416 apollon025 true 4.27 2.38 282013696 apollon152
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-terratec-cinergy-xs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.46 1.90 253644800 apollon065 true 3.92 2.12 259166208 apollon157 true 3.60 1.96 253706240 apollon107 true 5.16 2.74 300638208 apollon138
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-terratec-slim-2.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.36 2.36 260820992 apollon002 true 3.68 2.03 259641344 apollon109 true 3.56 1.97 252985344 apollon080 true 4.23 2.33 283676672 apollon108
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-terratec-slim.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.50 1.92 258703360 apollon126 true 4.07 2.21 258486272 apollon049 true 3.42 1.90 253337600 apollon006 true 4.10 2.27 282021888 apollon149
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-tevii-nec.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.67 2.01 254177280 apollon018 true 4.11 2.25 266526720 apollon094 true 3.66 2.00 255901696 apollon007 true 5.25 2.87 282124288 apollon154
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-tivo.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.41 2.43 256012288 apollon074 true 3.57 1.98 254963712 apollon088 true 4.13 2.26 256069632 apollon126 true 3.97 2.20 275046400 apollon093
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-total-media-in-hand.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.70 2.04 264581120 apollon061 true 3.52 1.96 254894080 apollon129 true 3.73 2.04 255012864 apollon152 true 5.39 2.95 277909504 apollon146
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-trekstor.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.13 2.30 253190144 apollon155 true 4.30 2.38 254627840 apollon085 true 3.56 1.98 256962560 apollon093 true 4.53 2.46 300703744 apollon167
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-tt-1500.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.49 1.91 252694528 apollon123 true 3.53 1.95 250699776 apollon103 true 3.80 2.08 250064896 apollon051 true 4.25 2.33 280850432 apollon109
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-twinhan1027.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.97 2.15 257470464 apollon101 true 3.58 1.97 270446592 apollon033 true 4.48 2.45 255238144 apollon141 true 4.84 2.64 289304576 apollon006
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-videomate-m1f.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.53 1.96 253755392 apollon167 true 3.83 2.08 259780608 apollon089 true 3.50 1.93 253693952 apollon099 true 4.19 2.31 279650304 apollon094
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-videomate-s350.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.50 1.94 268390400 apollon156 true 3.67 2.01 257667072 apollon026 true 3.53 1.93 255905792 apollon072 true 4.22 2.33 279359488 apollon161
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-videomate-tv-pvr.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.65 1.99 255844352 apollon119 true 3.62 2.00 254390272 apollon059 true 3.74 2.03 254517248 apollon082 true 4.14 2.30 280174592 apollon153
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-winfast-usbii-deluxe.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.64 2.00 257404928 apollon127 true 3.80 2.09 254619648 apollon024 true 3.43 1.90 253018112 apollon130 true 4.16 2.31 279330816 apollon138
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-winfast.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.74 2.03 258957312 apollon136 true 3.37 1.87 254525440 apollon158 true 3.58 1.98 268283904 apollon115 true 4.21 2.30 277884928 apollon146
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--video--cx231xx--cx231xx-dvb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 17.2  8.86 845025280 apollon146 true 26.9  13.6  1038446592 apollon038 true 25.4  12.9  1033613312 apollon117 true 125    65.3  2693005312 apollon143
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 true 7.94 4.20 420745216 apollon152 true 7.83 4.10 419803136 apollon139 true 9.59 5.03 457297920 apollon127 true 21.8  11.7  823582720 apollon056
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 true 8.97 4.72 416038912 apollon114 true 7.72 4.05 413532160 apollon024 true 8.22 4.31 447164416 apollon012 true 22.8  12.3  893210624 apollon111
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--video--gspca--gspca_stv0680.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 15.2  7.81 778797056 apollon168 true 20.6  10.5  1041100800 apollon163 true 20.1  10.3  1036976128 apollon070 true 410    220    3667304448 apollon099
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--video--zoran--zr36016.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 51.8  26.2  1589620736 apollon055 true 57.7  29.2  2279976960 apollon021 true 55.8  28.3  2282504192 apollon060 true 289    161    3472850944 apollon137
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--message--i2o--i2o_bus.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.26 2.80 295092224 apollon136 true 5.16 2.75 265519104 apollon132 true 4.80 2.59 264904704 apollon089 true 6.43 3.42 312782848 apollon082
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--mfd--rdc321x-southbridge.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.59 2.98 290480128 apollon124 true 5.75 3.09 261906432 apollon137 true 4.74 2.57 264310784 apollon056 true 7.68 4.08 388853760 apollon118
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--mfd--tps6507x.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.42 3.41 285753344 apollon163 true 6.01 3.20 312561664 apollon084 true 5.95 3.16 306823168 apollon082 true 11.8  6.23 494575616 apollon048
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--mfd--ucb1400_core.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.15 3.26 305926144 apollon126 true 11.8  6.11 543956992 apollon161 true 11.4  5.92 523816960 apollon135 true 15.2  8.01 695943168 apollon049
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--mfd--wl1273-core.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 9.42 4.96 424652800 apollon098 true 9.12 4.76 492638208 apollon107 true 9.21 4.81 492683264 apollon098 true 27.7  14.3  1007910912 apollon046
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--misc--bmp085.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.33 3.33 310513664 apollon020 true 6.72 3.53 343601152 apollon145 true 6.72 3.54 338706432 apollon144 true 28.2  15.9  1031229440 apollon139
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--misc--c2port--c2port-duramar2150.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.31 2.86 268955648 apollon003 true 4.76 2.57 263610368 apollon081 true 5.18 2.81 269475840 apollon093 true 6.84 3.62 376700928 apollon059
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--misc--eeprom--eeprom_93xx46.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.49 3.42 295780352 apollon129 true 6.91 3.64 350711808 apollon064 true 8.70 4.57 333639680 apollon146 true 16.6  8.70 808075264 apollon133
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--misc--isl29020.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.47 3.45 293142528 apollon103 true 6.20 3.30 290209792 apollon094 true 6.39 3.37 291590144 apollon099 true 10.5  5.51 520212480 apollon023
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--misc--sgi-xp--xp.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.86 3.14 284934144 apollon119 true 5.88 3.10 302309376 apollon056 true 6.61 3.51 287670272 apollon144 true 7.82 4.11 377982976 apollon029
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--misc--ti_dac7512.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.74 2.58 264069120 apollon112 true 5.92 3.20 263446528 apollon118 true 4.98 2.67 263073792 apollon053 true 7.18 3.82 373469184 apollon097
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--mtd--devices--docprobe.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 11.7  6.12 441425920 apollon126 true 13.4  6.92 542666752 apollon012 true 12.5  6.45 633192448 apollon103 true 412    209    2877071360 apollon157
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--mtd--devices--mtdram.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.82 2.59 280743936 apollon148 true 5.09 2.71 263847936 apollon022 true 6.19 3.30 266616832 apollon038 true 8.23 4.38 345837568 apollon032
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--mtd--mtdblock_ro.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.87 2.61 264609792 apollon073 true 4.79 2.59 264380416 apollon008 true 4.65 2.51 262258688 apollon160 true 12.8  7.20 527659008 apollon003
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--mtd--onenand--onenand_sim.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.07 3.26 286253056 apollon137 true 6.60 3.47 308461568 apollon116 true 6.54 3.49 305766400 apollon064 true 7.38 3.93 353120256 apollon128
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--irda--act200l-sir.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.97 3.69 331128832 apollon118 true 6.70 3.53 334512128 apollon135 true 6.76 3.54 308219904 apollon010 true 16.9  9.07 731549696 apollon133
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--irda--ma600-sir.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.74 3.55 327680000 apollon011 true 7.45 3.92 343904256 apollon030 true 7.77 4.08 377294848 apollon020 true 11.1  5.83 545533952 apollon135
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--irda--tekram-sir.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.28 3.31 281960448 apollon022 true 7.19 3.82 298577920 apollon122 true 8.14 4.34 343138304 apollon162 true 12.8  6.66 586412032 apollon127
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--phy--amd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.19 2.76 275079168 apollon149 true 5.38 2.90 268730368 apollon080 true 5.25 2.81 269279232 apollon133 true 9.33 4.93 393621504 apollon166
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--phy--broadcom.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 42.6  21.6  1916014592 apollon024 true 60.1  30.4  2062790656 apollon023 true 54.7  27.8  2144530432 apollon075 true 361    192    4443316224 apollon045
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--phy--cicada.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.93 2.65 269877248 apollon034 true 4.94 2.64 269901824 apollon149 true 5.10 2.73 271081472 apollon140 true 6.29 3.35 299200512 apollon152
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--phy--davicom.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.51 3.95 274350080 apollon157 true 7.10 3.74 271597568 apollon059 true 5.92 3.16 273489920 apollon040 true 18.1  9.60 658718720 apollon144
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--phy--et1011c.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.26 3.36 269033472 apollon058 true 5.69 3.03 276033536 apollon058 true 5.82 3.07 272961536 apollon055 true 9.95 5.17 464367616 apollon017
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--phy--icplus.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.39 2.86 273805312 apollon034 true 5.38 2.85 273219584 apollon094 true 5.58 2.98 273399808 apollon097 true 7.75 4.09 359149568 apollon138
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--phy--lxt.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.73 3.60 270503936 apollon047 true 6.31 3.34 273084416 apollon089 true 6.10 3.22 269418496 apollon142 true 14.2  7.33 610639872 apollon102
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--phy--micrel.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.34 3.36 294932480 apollon050 true 6.53 3.46 298336256 apollon116 true 7.11 3.73 304697344 apollon121 true 15.3  8.12 632324096 apollon031
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--phy--national.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.02 3.20 269971456 apollon130 true 6.99 3.72 295043072 apollon085 true 6.96 3.67 277413888 apollon040 true 35.3  20.5  901677056 apollon019
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--phy--qsemi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.47 2.92 270913536 apollon030 true 5.72 3.01 274157568 apollon142 true 5.43 2.91 281829376 apollon013 true 12.4  6.50 469217280 apollon131
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--phy--realtek.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.60 2.98 267067392 apollon094 true 4.87 2.59 264548352 apollon146 true 4.89 2.64 267063296 apollon096 true 5.79 3.09 293847040 apollon090
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--phy--smsc.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.04 3.72 307134464 apollon057 true 7.20 3.78 334761984 apollon113 true 8.80 4.61 343187456 apollon055 true 15.6  8.28 623742976 apollon130
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--phy--spi_ks8995.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 8.92 4.67 511303680 apollon055 true 12.9  6.65 576679936 apollon133 true 15.3  7.88 641900544 apollon053 true 53.6  28.1  1362239488 apollon133
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--phy--vitesse.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.84 2.60 267558912 apollon142 true 4.96 2.66 269131776 apollon101 true 4.82 2.59 268722176 apollon091 true 5.93 3.18 295342080 apollon108
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 true 6.89 3.64 337530880 apollon037 true 7.65 4.03 346869760 apollon055 true 8.37 4.41 359260160 apollon034 true 12.3  6.36 559837184 apollon142
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--wireless--airo_cs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.32 3.90 398761984 apollon001 true 7.66 4.03 415354880 apollon139 true 7.55 3.98 400568320 apollon061 true 18.0  9.49 785096704 apollon072
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--wireless--ath--ath6kl--ath6kl_usb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 10.2  5.32 504348672 apollon057 true 10.8  5.60 520249344 apollon049 true 10.4  5.36 523165696 apollon075 true 46.9  25.9  1411358720 apollon012
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--wireless--orinoco--orinoco_nortel.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 8.11 4.24 437657600 apollon133 true 9.81 5.15 445358080 apollon159 true 9.12 4.79 448815104 apollon099 true 24.2  12.6  823799808 apollon017
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--wireless--orinoco--orinoco_tmd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 8.46 4.48 344043520 apollon141 true 7.55 3.96 386781184 apollon138 true 6.63 3.50 342773760 apollon107 true 19.0  9.80 690311168 apollon151
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--wireless--wl1251--wl1251_spi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 9.12 4.77 507301888 apollon112 true 10.2  5.33 485953536 apollon084 true 9.27 4.86 506880000 apollon148 true 43.4  23.2  1387376640 apollon150
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--parport--parport_cs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.05 3.71 344117248 apollon114 true 7.94 4.16 452911104 apollon052 true 7.86 4.11 407158784 apollon051 true 26.3  14.2  929361920 apollon026
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--pci--ioapic.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.81 3.09 271171584 apollon084 true 6.84 3.63 268963840 apollon115 true 5.77 3.08 288681984 apollon117 true 13.2  6.96 567791616 apollon153
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--platform--x86--asus-nb-wmi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.65 2.50 266563584 apollon087 true 4.96 2.66 266571776 apollon064 true 4.98 2.67 265961472 apollon050 true 7.48 3.98 349581312 apollon025
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--platform--x86--topstar-laptop.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 8.28 4.33 447127552 apollon119 true 10.2  5.33 447156224 apollon074 true 8.56 4.48 476385280 apollon088 true 15.7  8.19 765452288 apollon085
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--platform--x86--toshiba_bluetooth.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.62 2.98 269074432 apollon044 true 5.62 2.99 271785984 apollon071 true 5.81 3.10 279412736 apollon098 true 11.4  5.97 542318592 apollon136
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--platform--x86--xo15-ebook.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.63 3.50 327639040 apollon142 true 6.58 3.52 340185088 apollon013 true 7.20 3.82 334032896 apollon129 true 15.9  8.33 721702912 apollon156
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 true 24.7  12.6  849526784 apollon101 true 44.0  22.3  1399115776 apollon099 true 43.7  22.3  1464893440 apollon013 true 66.2  35.3  1587367936 apollon140
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--regulator--max8649.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 10.0  5.22 519499776 apollon059 true 9.91 5.16 521445376 apollon001 true 10.9  5.67 530096128 apollon166 true 51.5  26.1  1223696384 apollon157
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--regulator--userspace-consumer.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.61 2.98 300871680 apollon111 true 5.56 2.97 290930688 apollon070 true 6.75 3.58 299970560 apollon100 true 15.4  8.21 669458432 apollon115
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--regulator--virtual.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.43 3.41 279121920 apollon167 true 5.70 3.04 283406336 apollon136 true 5.69 3.03 284499968 apollon101 true 12.7  6.66 635113472 apollon080
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--regulator--wm831x-ldo.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 14.7  7.53 759558144 apollon080 true 17.2  8.85 768442368 apollon006 true 16.0  8.23 896102400 apollon119 true 165    82.9  2970419200 apollon084
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 true 8.55 4.51 478826496 apollon135 true 8.85 4.62 491028480 apollon161 true 9.81 5.12 471470080 apollon153 true 38.5  20.3  1247170560 apollon116
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--rtc--rtc-da9052.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.89 4.16 423227392 apollon079 true 8.78 4.62 455688192 apollon116 true 9.48 5.00 438181888 apollon009 true 61.6  31.3  1616998400 apollon092
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--rtc--rtc-ds1390.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.41 3.39 317956096 apollon116 true 7.29 3.86 408793088 apollon107 true 8.56 4.51 378900480 apollon166 true 55.6  33.5  1407852544 apollon001
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--rtc--rtc-ds3232.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 9.82 5.12 463257600 apollon046 timeout 903    453    4312408064 apollon155 timeout 902    452    5183844352 apollon088 true 116    62.0  2377121792 apollon058
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--rtc--rtc-ds3234.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.79 4.10 429940736 apollon120 true 7.92 4.15 472010752 apollon052 true 7.96 4.16 435040256 apollon103 true 43.0  22.5  1328627712 apollon031
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--rtc--rtc-m41t93.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 12.2  6.34 624934912 apollon071 true 14.5  7.49 890179584 apollon041 true 13.9  7.18 695287808 apollon055 true 108    56.0  1776185344 apollon066
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--rtc--rtc-m41t94.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 10.1  5.28 542085120 apollon059 true 10.9  5.61 565170176 apollon062 true 10.7  5.52 564355072 apollon134 true 72.4  45.0  1633763328 apollon128
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--rtc--rtc-m48t86.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.51 3.47 274100224 apollon122 true 5.97 3.17 270675968 apollon018 true 7.37 3.89 270233600 apollon158 true 35.5  18.3  1144758272 apollon045
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--rtc--rtc-max6902.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.22 3.81 393969664 apollon072 true 7.77 4.08 458825728 apollon046 true 10.2  5.31 459550720 apollon078 true 78.8  48.0  1585754112 apollon102
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--rtc--rtc-mc13xxx.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 16.9  8.68 761008128 apollon042 true 24.7  12.6  1267122176 apollon150 true 25.4  12.9  900706304 apollon040 true 115    58.7  1828429824 apollon023
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--rtc--rtc-pcap.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.73 3.57 346349568 apollon003 true 7.64 4.02 351989760 apollon143 true 7.05 3.70 359804928 apollon115 true 8.51 4.46 460361728 apollon077
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--rtc--rtc-rs5c348.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.95 4.17 421388288 apollon011 true 8.58 4.49 486203392 apollon033 true 8.67 4.51 481120256 apollon057 true 97.9  56.2  1768173568 apollon079
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--rtc--rtc-test.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.46 2.90 271872000 apollon102 true 5.32 2.80 265969664 apollon051 true 5.79 3.09 283779072 apollon122 true 9.70 5.11 479506432 apollon093
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--staging--android--switch--switch_gpio.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.49 2.91 270290944 apollon024 true 6.33 3.37 301191168 apollon097 true 5.70 3.06 271200256 apollon040 true 19.5  10.7  786358272 apollon055
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--staging--iio--dds--ad5930.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.07 2.71 265580544 apollon148 true 5.10 2.72 282267648 apollon100 true 5.91 3.14 268718080 apollon167 true 10.4  5.43 499642368 apollon039
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--staging--iio--dds--ad9832.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 12.2  6.32 753111040 apollon068 true 18.4  9.52 1400242176 apollon031 true 16.7  8.63 1068896256 apollon033 true 287    158    3581681664 apollon073
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--staging--iio--dds--ad9850.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.87 3.11 268042240 apollon111 true 5.31 2.82 266166272 apollon027 true 5.05 2.71 264527872 apollon042 true 10.3  5.46 487047168 apollon087
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--staging--iio--dds--ad9852.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.19 3.29 289648640 apollon145 true 6.15 3.25 289755136 apollon156 true 5.87 3.13 298622976 apollon011 true 13.6  7.28 654098432 apollon015
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--staging--iio--dds--ad9910.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.57 3.99 432975872 apollon150 true 8.38 4.40 496271360 apollon012 true 8.91 4.64 499974144 apollon033 true 23.3  12.3  946450432 apollon009
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--staging--iio--dds--ad9951.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.26 3.34 306221056 apollon037 true 7.68 4.08 344252416 apollon059 true 6.60 3.51 380895232 apollon013 true 19.2  10.0  782520320 apollon032
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--staging--iio--resolver--ad2s90.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.35 2.88 277446656 apollon151 true 5.48 2.91 271040512 apollon064 true 5.49 2.90 273076224 apollon014 true 11.2  5.97 569655296 apollon037
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 true 5.55 2.94 273653760 apollon147 true 5.67 3.03 270585856 apollon036 true 5.83 3.10 271626240 apollon118 true 11.7  6.09 531496960 apollon014
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 true 5.25 2.83 262778880 apollon136 true 4.15 2.26 261111808 apollon167 true 4.42 2.38 260517888 apollon150 true 7.63 4.07 360493056 apollon123
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 true 4.09 2.23 260669440 apollon003 true 4.82 2.62 258633728 apollon031 true 4.07 2.22 258342912 apollon107 true 4.96 2.67 296370176 apollon106
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 true 4.16 2.28 260198400 apollon034 true 4.66 2.53 257269760 apollon120 true 4.00 2.17 256126976 apollon003 true 4.81 2.63 297164800 apollon032
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 true 5.79 3.11 262934528 apollon050 true 4.87 2.61 267345920 apollon031 true 4.95 2.65 268627968 apollon094 true 52.9  28.2  1423728640 apollon077
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 true 18.8  9.64 919867392 apollon097 true 20.4  10.4  713474048 apollon007 true 20.9  10.7  739090432 apollon054 true 132    66.7  4085678080 apollon087
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 true 4.81 2.60 267956224 apollon040 true 5.15 2.76 274874368 apollon107 true 5.06 2.74 270602240 apollon098 true 8.44 4.47 401027072 apollon127
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 true 3.85 2.15 254693376 apollon065 true 4.79 2.61 279367680 apollon054 true 5.00 2.74 271020032 apollon076 true 5.49 2.92 319721472 apollon055
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--staging--vme--boards--vme_vmivme7805.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.42 2.90 275820544 apollon106 true 5.43 2.92 270962688 apollon149 true 6.71 3.55 270008320 apollon096 true 8.09 4.25 405704704 apollon009
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--uio--uio_aec.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.89 3.11 269914112 apollon126 true 6.29 3.33 297066496 apollon045 true 6.00 3.19 297467904 apollon014 true 29.2  16.6  1063788544 apollon059
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--uio--uio_pci_generic.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.73 3.58 269811712 apollon075 true 5.31 2.84 268603392 apollon058 true 5.32 2.84 268824576 apollon105 true 12.8  6.94 529829888 apollon047
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--usb--misc--cypress_cy7c63.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.91 3.61 335138816 apollon148 true 6.75 3.60 347922432 apollon098 true 7.94 4.17 342650880 apollon097 true 12.4  6.50 568537088 apollon165
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--usb--misc--cytherm.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 8.03 4.25 373465088 apollon085 true 9.27 4.91 416632832 apollon110 true 8.76 4.63 399347712 apollon015 true 16.2  8.37 679428096 apollon019
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--usb--otg--ab8500-usb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 9.14 4.79 519897088 apollon116 true 11.5  5.95 636936192 apollon079 true 12.4  6.39 665026560 apollon083 true 58.7  33.4  1654013952 apollon119
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--usb--otg--nop-usb-xceiv.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.17 2.77 274358272 apollon103 true 5.02 2.68 262725632 apollon024 true 6.23 3.31 268169216 apollon041 true 19.5  10.5  758370304 apollon139
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--usb--storage--ums-alauda.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 8.56 4.48 281735168 apollon143 true 7.36 3.84 317100032 apollon099 true 6.98 3.65 300777472 apollon061 true 16.5  8.58 726188032 apollon115
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--usb--storage--ums-cypress.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.74 3.03 271761408 apollon119 true 5.85 3.10 271130624 apollon005 true 5.71 3.02 271015936 apollon057 true 12.9  6.85 598175744 apollon017
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--usb--storage--ums-datafab.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.46 3.42 274374656 apollon129 true 6.29 3.31 276332544 apollon083 true 6.11 3.21 273219584 apollon050 true 14.1  7.36 628629504 apollon084
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--usb--storage--ums-freecom.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.91 3.15 272207872 apollon126 true 7.39 3.89 278249472 apollon063 true 5.79 3.06 273543168 apollon034 true 13.9  7.34 626307072 apollon019
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--usb--storage--ums-jumpshot.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.66 3.55 271781888 apollon048 true 6.25 3.30 277090304 apollon043 true 6.28 3.32 275075072 apollon100 true 17.3  8.98 622133248 apollon074
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--usb--storage--ums-sddr09.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.42 3.86 308772864 apollon081 true 6.88 3.61 291184640 apollon001 true 8.79 4.63 310489088 apollon050 true 19.7  10.1  862896128 apollon158
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--usb--storage--ums-sddr55.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.97 4.22 275288064 apollon060 true 6.55 3.44 278310912 apollon052 true 6.39 3.37 275075072 apollon104 true 15.8  8.16 630566912 apollon101
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--usb--storage--ums-usbat.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.40 3.39 278851584 apollon047 true 8.05 4.20 293097472 apollon077 true 6.97 3.68 304947200 apollon031 true 14.1  7.26 647966720 apollon015
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 true 4.86 2.63 264773632 apollon047 true 4.68 2.49 266088448 apollon085 true 5.02 2.67 267407360 apollon132 true 6.82 3.66 298917888 apollon001
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--video--backlight--vgg2432a4.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 8.76 4.60 360443904 apollon110 true 7.93 4.17 427130880 apollon106 true 9.65 5.06 428167168 apollon104 true 18.2  9.54 719286272 apollon042
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--w1--masters--matrox_w1.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.63 2.98 271794176 apollon085 true 5.92 3.15 275390464 apollon105 true 5.99 3.18 325292032 apollon160 true 19.3  10.5  866906112 apollon037
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--w1--masters--w1-gpio.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.62 2.52 261468160 apollon164 true 4.61 2.48 264454144 apollon034 true 4.74 2.56 267591680 apollon066 true 7.08 3.82 355631104 apollon036
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--w1--slaves--w1_bq27000.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.87 2.62 261627904 apollon071 true 5.68 3.05 263970816 apollon095 true 5.01 2.68 267763712 apollon094 true 7.66 4.07 337829888 apollon083
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--w1--slaves--w1_ds2423.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.64 2.51 261136384 apollon143 true 4.97 2.65 265879552 apollon168 true 4.89 2.64 264855552 apollon033 true 4.89 2.67 288989184 apollon005
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--w1--slaves--w1_ds2760.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.00 3.14 288821248 apollon119 true 9.75 5.08 488353792 apollon165 true 9.67 5.02 496857088 apollon105 true 12.9  6.87 589717504 apollon058
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--w1--slaves--w1_ds2780.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.71 3.57 292933632 apollon006 true 8.48 4.43 466509824 apollon087 true 9.07 4.73 473010176 apollon116 true 15.8  8.38 605851648 apollon018
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--w1--slaves--w1_ds2781.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.94 3.16 296665088 apollon084 true 8.20 4.32 487071744 apollon034 true 8.18 4.30 463527936 apollon066 true 13.2  7.10 606412800 apollon071
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--w1--slaves--w1_smem.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.57 2.52 259764224 apollon138 true 4.26 2.29 258433024 apollon008 true 4.00 2.19 258494464 apollon132 true 5.23 2.79 310448128 apollon107
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--watchdog--sbc_epx_c3.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.46 3.96 396120064 apollon140 true 9.04 4.76 380956672 apollon093 true 7.82 4.11 399159296 apollon041 true 13.7  7.34 636678144 apollon089
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--gpu--drm--drm_usb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.17 2.74 272035840 apollon073 true 5.35 2.83 287162368 apollon038 true 5.83 3.13 272818176 apollon037 true 6.13 3.26 300662784 apollon134
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--input--misc--ab8500-ponkey.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.48 2.90 268406784 apollon158 true 6.54 3.46 271269888 apollon114 true 5.60 2.99 278941696 apollon168 true 17.7  9.48 673611776 apollon104
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--input--misc--ad714x-i2c.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.13 2.77 270712832 apollon071 true 5.10 2.74 268394496 apollon005 true 5.14 2.74 267460608 apollon167 true 8.43 4.41 407953408 apollon061
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--input--misc--ad714x-spi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.07 3.75 273174528 apollon007 true 5.30 2.81 270995456 apollon145 true 5.54 2.96 282419200 apollon051 true 8.87 4.72 424464384 apollon040
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--input--misc--adxl34x-spi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.26 3.83 385740800 apollon068 true 7.43 3.93 413024256 apollon069 true 8.11 4.29 412803072 apollon109 true 20.0  10.6  802295808 apollon107
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--input--misc--mma8450.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.31 2.82 268517376 apollon034 true 6.12 3.28 273108992 apollon058 true 5.41 2.88 272273408 apollon056 true 12.3  6.45 550125568 apollon069
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--input--misc--mpu3050.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 8.07 4.22 388173824 apollon101 true 8.07 4.25 458567680 apollon030 true 8.25 4.34 461090816 apollon096 true 24.2  12.4  984629248 apollon030
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--input--misc--pcap_keys.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.83 3.11 269701120 apollon126 true 6.44 3.41 327610368 apollon014 true 6.55 3.45 315191296 apollon107 true 14.6  7.68 693968896 apollon114
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--input--misc--pcf50633-input.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.25 2.80 268595200 apollon073 true 5.22 2.77 270196736 apollon154 true 5.40 2.89 268611584 apollon138 true 15.5  7.96 548958208 apollon049
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--input--misc--pcspkr.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.93 3.16 308482048 apollon133 true 6.40 3.36 302854144 apollon109 true 6.67 3.52 318013440 apollon124 true 13.1  6.92 632475648 apollon022
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--input--misc--rotary_encoder.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 8.84 4.65 522973184 apollon044 true 12.8  6.65 530432000 apollon091 true 10.0  5.20 526249984 apollon006 true 50.6  25.9  1303552000 apollon043
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--input--misc--wm831x-on.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.40 3.41 267689984 apollon166 true 6.15 3.24 294866944 apollon132 true 6.04 3.18 276762624 apollon149 true 18.7  9.84 803639296 apollon014
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--input--touchscreen--eeti_ts.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.55 3.44 309526528 apollon113 true 7.04 3.70 377667584 apollon088 true 7.23 3.82 361721856 apollon093 true 19.7  10.1  905080832 apollon034
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--input--touchscreen--max11801_ts.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.89 3.64 296325120 apollon046 true 6.83 3.62 339922944 apollon035 true 7.26 3.82 356446208 apollon049 true 23.0  11.9  810868736 apollon103
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--input--touchscreen--stmpe-ts.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.54 3.46 296640512 apollon135 true 7.14 3.77 382386176 apollon033 true 7.14 3.76 337055744 apollon100 true 34.1  18.0  1251786752 apollon077
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--leds--leds-regulator.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.92 4.22 346132480 apollon069 true 8.21 4.34 472764416 apollon050 true 7.97 4.20 481800192 apollon135 true 28.7  15.7  1107759104 apollon129
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-cinergyT2.ko-ldv_main1_sequence_infinite_withcheck_stateful.cil.out.c true 8.72 4.53 460853248 apollon044 true 11.1  5.75 490840064 apollon131 true 9.11 4.74 475353088 apollon027 true 44.0  23.0  1295720448 apollon103
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 true 6.40 3.38 300154880 apollon072 true 6.35 3.33 276099072 apollon110 true 6.52 3.45 290283520 apollon129 true 7.58 4.00 342892544 apollon060
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 true 12.3  6.35 479514624 apollon139 true 11.9  6.08 479936512 apollon048 true 10.8  5.64 468172800 apollon110 true 14.3  7.39 491487232 apollon112
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--media--dvb--frontends--isl6405.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.76 2.52 268120064 apollon009 true 4.87 2.58 267870208 apollon053 true 5.36 2.89 268382208 apollon161 true 5.82 3.10 292048896 apollon105
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--media--dvb--frontends--isl6421.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.72 2.55 268795904 apollon168 true 4.74 2.54 266244096 apollon044 true 4.75 2.54 267489280 apollon167 true 5.53 2.96 300265472 apollon084
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--media--dvb--frontends--lnbp21.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.71 2.54 268447744 apollon001 true 4.91 2.62 271130624 apollon039 true 4.81 2.61 269099008 apollon108 true 5.56 3.02 293699584 apollon077
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--media--dvb--frontends--lnbp22.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.06 3.25 268918784 apollon137 true 4.74 2.55 266842112 apollon069 true 4.84 2.61 266395648 apollon153 true 5.75 3.09 292970496 apollon075
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--media--video--cx88--cx88-vp3054-i2c.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.19 3.78 270180352 apollon070 true 6.02 3.18 280817664 apollon073 true 6.84 3.64 273743872 apollon071 true 14.9  7.83 663244800 apollon060
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--mtd--ar7part.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.19 3.83 282718208 apollon098 true 7.40 3.90 416088064 apollon125 true 7.41 3.91 417796096 apollon048 true 366    259    5330526208 apollon139
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--net--irda--esi-sir.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.62 3.50 270888960 apollon128 true 7.55 4.02 272220160 apollon137 true 7.44 3.93 273522688 apollon014 true 11.2  5.81 445976576 apollon124
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--net--irda--girbil-sir.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.25 3.34 284057600 apollon021 true 6.75 3.57 291659776 apollon073 true 6.55 3.44 308293632 apollon030 true 16.3  8.63 682557440 apollon035
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--net--irda--mcp2120-sir.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.54 3.49 341102592 apollon089 true 7.41 3.93 306565120 apollon032 true 6.42 3.40 311644160 apollon109 true 15.1  7.83 673943552 apollon068
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--net--irda--old_belkin-sir.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.13 3.77 273866752 apollon158 true 6.00 3.18 283107328 apollon114 true 6.04 3.16 274386944 apollon011 true 9.55 5.02 463577088 apollon115
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--net--usb--cdc_subset.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.15 2.78 272441344 apollon012 true 6.33 3.34 275173376 apollon146 true 5.37 2.85 269508608 apollon091 true 6.50 3.44 303599616 apollon040
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--net--usb--plusb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.76 3.05 274006016 apollon138 true 5.61 2.97 275578880 apollon111 true 5.59 2.98 274993152 apollon030 true 10.4  5.54 464216064 apollon163
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--platform--x86--mxm-wmi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.44 2.40 260530176 apollon131 true 4.89 2.62 263372800 apollon155 true 4.64 2.51 261853184 apollon055 true 5.22 2.83 290807808 apollon056
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 true 6.36 3.34 317292544 apollon017 true 6.05 3.20 302288896 apollon019 true 6.16 3.27 290967552 apollon154 true 16.3  8.70 781180928 apollon082
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--scsi--scsi_wait_scan.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.45 1.89 254562304 apollon127 true 3.74 2.06 253485056 apollon153 true 4.44 2.45 257839104 apollon037 true 4.17 2.29 280539136 apollon009
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--staging--android--switch--switch_class.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.93 2.65 263753728 apollon048 true 4.75 2.55 267124736 apollon119 true 6.08 3.25 268017664 apollon103 true 5.93 3.20 309071872 apollon130
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--staging--comedi--drivers--unioxx5.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 10.6  5.46 444841984 apollon048 true 12.3  6.39 537116672 apollon153 true 12.3  6.35 506507264 apollon103 true 403    259    7866630144 apollon085
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--staging--iio--kfifo_buf.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.15 2.26 262139904 apollon125 true 4.38 2.38 261652480 apollon151 true 4.37 2.36 262307840 apollon005 true 5.93 3.19 312537088 apollon065
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--staging--iio--meter--ade7854-i2c.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.63 3.00 273813504 apollon157 true 5.96 3.16 281804800 apollon077 true 5.76 3.07 270278656 apollon161 true 13.6  7.24 597721088 apollon114
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--staging--iio--ring_sw.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.96 3.18 271896576 apollon077 true 4.94 2.65 268738560 apollon066 true 6.06 3.24 269836288 apollon123 true 6.09 3.24 296652800 apollon024
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--staging--zram--zram.ko-ldv_main1_sequence_infinite_withcheck_stateful.cil.out.c true 7.01 3.68 311656448 apollon130 true 7.03 3.70 320598016 apollon035 true 7.19 3.77 317702144 apollon051 true 7.49 3.93 326373376 apollon087
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--usb--dwc3--dwc3-pci.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.35 2.86 274939904 apollon099 true 5.68 3.03 264671232 apollon080 true 5.82 3.08 271736832 apollon056 true 15.4  7.93 785448960 apollon132
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--usb--misc--trancevibrator.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.92 3.65 286089216 apollon049 true 5.96 3.16 292929536 apollon067 true 5.96 3.17 277786624 apollon004 true 11.9  6.29 517136384 apollon006
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--usb--serial--empeg.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.54 2.97 271740928 apollon011 true 5.04 2.70 267689984 apollon115 true 5.97 3.16 271044608 apollon146 true 9.85 5.25 461996032 apollon085
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--usb--serial--funsoft.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.40 2.36 266678272 apollon023 true 5.49 2.93 269340672 apollon034 true 6.00 3.20 267264000 apollon102 true 5.97 3.20 297111552 apollon006
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--usb--serial--hp4x.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.70 2.51 268869632 apollon055 true 4.62 2.49 269287424 apollon067 true 4.57 2.46 268263424 apollon051 true 6.24 3.33 294207488 apollon157
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--usb--serial--ipw.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 9.32 4.90 468316160 apollon003 true 9.20 4.79 495591424 apollon119 true 12.1  6.33 480063488 apollon075 true 27.5  15.2  937009152 apollon126
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--usb--serial--moto_modem.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.62 2.49 265908224 apollon098 true 4.76 2.54 266272768 apollon140 true 4.65 2.50 280920064 apollon102 true 6.93 3.76 294203392 apollon042
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--usb--serial--qcaux.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.43 2.38 266334208 apollon078 true 5.21 2.79 267296768 apollon077 true 4.85 2.60 268251136 apollon168 true 5.66 3.03 291524608 apollon109
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--usb--serial--siemens_mpi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.69 2.51 267825152 apollon077 true 4.55 2.43 267689984 apollon019 true 5.86 3.16 268386304 apollon012 true 5.62 3.03 293789696 apollon099
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--usb--serial--usb_debug.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.76 3.07 281391104 apollon109 true 6.62 3.49 283967488 apollon128 true 5.53 2.93 269197312 apollon024 true 8.49 4.43 361951232 apollon067
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--usb--serial--vivopay-serial.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.17 2.74 265412608 apollon032 true 4.65 2.49 268075008 apollon093 true 4.56 2.44 266047488 apollon119 true 5.83 3.10 301436928 apollon023
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--usb--serial--zio.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.61 2.49 268353536 apollon149 true 4.48 2.41 265957376 apollon092 true 4.67 2.48 264818688 apollon127 true 6.42 3.40 316342272 apollon027
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--video--backlight--lcd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.55 3.50 270901248 apollon060 true 5.41 2.88 271540224 apollon164 true 5.42 2.88 272265216 apollon145 true 5.98 3.22 301121536 apollon091
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--video--matrox--i2c-matroxfb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 9.07 4.76 522698752 apollon139 true 10.3  5.35 550461440 apollon130 true 8.92 4.66 499527680 apollon160 true 62.4  34.5  1518989312 apollon089
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--watchdog--iTCO_vendor_support.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.96 2.15 260972544 apollon001 true 4.98 2.70 260104192 apollon124 true 4.02 2.23 259416064 apollon120 true 4.76 2.56 288149504 apollon129
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--xen--xenfs--xenfs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.27 2.84 269217792 apollon105 true 6.24 3.34 272314368 apollon053 true 5.46 2.90 283508736 apollon032 true 9.93 5.25 385925120 apollon037
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_false-termination.4-32_1-drivers--xen--xenfs--xenfs.ko-ldv_main1_sequence_infinite_withcheck_stateful.cil.out.c true 6.99 3.66 339849216 apollon070 true 6.86 3.63 329854976 apollon048 true 7.86 4.13 345640960 apollon096 true 16.1  8.30 640204800 apollon135
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_true-termination.4-32_1-drivers--acpi--bgrt.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.90 3.66 270974976 apollon141 true 5.62 2.98 271441920 apollon061 true 5.69 3.04 271720448 apollon042 true 9.05 4.75 426889216 apollon100
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_true-termination.4-32_1-drivers--firmware--google--gsmi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 66.8  33.9  2364694528 apollon043 true 79.2  40.1  2564149248 apollon030 true 89.9  45.5  2602164224 apollon108 true 234    129    3399225344 apollon150
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_true-termination.4-32_1-drivers--hwmon--smsc47b397.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.46 3.95 337276928 apollon129 true 7.47 3.99 368070656 apollon001 true 7.19 3.80 350674944 apollon071 true 14.4  7.57 685645824 apollon168
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_true-termination.4-32_1-drivers--input--serio--ct82c710.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.71 3.04 281645056 apollon159 true 5.77 3.09 295620608 apollon010 true 5.67 3.01 266452992 apollon029 true 10.4  5.42 483414016 apollon069
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_true-termination.4-32_1-drivers--input--serio--parkbd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.62 2.99 268460032 apollon166 true 5.35 2.86 277024768 apollon103 true 5.61 2.97 280604672 apollon142 true 6.76 3.58 328159232 apollon140
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_true-termination.4-32_1-drivers--input--touchscreen--mk712.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.83 3.09 275849216 apollon156 true 5.92 3.12 275759104 apollon154 true 5.98 3.17 269234176 apollon056 true 8.57 4.51 393908224 apollon069
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_true-termination.4-32_1-drivers--mtd--maps--netsc520.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.22 2.30 258703360 apollon114 true 4.46 2.41 260386816 apollon068 true 4.36 2.38 262594560 apollon025 true 5.71 3.01 318640128 apollon005
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_true-termination.4-32_1-drivers--mtd--maps--nettel.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.85 2.59 265224192 apollon111 true 5.02 2.68 264454144 apollon071 true 4.90 2.62 267063296 apollon118 true 6.33 3.37 326119424 apollon126
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_true-termination.4-32_1-drivers--mtd--maps--ts5500_flash.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.38 2.37 257556480 apollon037 true 4.39 2.38 260308992 apollon115 true 4.46 2.42 260866048 apollon033 true 5.36 2.92 296554496 apollon081
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_true-termination.4-32_1-drivers--net--arcnet--rfc1051.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.26 3.82 304906240 apollon162 true 6.72 3.54 333889536 apollon097 true 8.19 4.31 317083648 apollon097 true 32.3  17.0  1144033280 apollon077
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_true-termination.4-32_1-drivers--net--arcnet--rfc1201.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 11.5  5.92 555282432 apollon033 true 22.9  11.7  870010880 apollon019 true 19.6  10.0  881045504 apollon132 true 210    107    3184214016 apollon031
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_true-termination.4-32_1-drivers--platform--x86--dell-wmi-aio.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.34 2.85 268013568 apollon160 true 5.58 2.96 270397440 apollon002 true 5.85 3.11 293244928 apollon005 true 12.2  6.32 536834048 apollon051
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_true-termination.4-32_1-drivers--pps--clients--pps-ktimer.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.10 2.23 256360448 apollon080 true 4.20 2.27 257204224 apollon158 true 5.28 2.87 257437696 apollon126 true 4.91 2.68 291885056 apollon117
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_true-termination.4-32_1-drivers--pps--clients--pps-ldisc.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.90 2.63 267149312 apollon090 true 4.96 2.64 267370496 apollon116 true 5.09 2.74 267780096 apollon094 true 6.30 3.34 321302528 apollon066
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_true-termination.4-32_1-drivers--watchdog--cpu5wdt.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 9.45 4.92 460197888 apollon125 true 9.79 5.10 505352192 apollon010 true 9.91 5.17 490565632 apollon070 true 20.0  11.3  727261184 apollon108
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3_true-termination.4-32_1-drivers--watchdog--softdog.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.83 2.59 264302592 apollon098 true 6.01 3.21 265191424 apollon167 true 5.77 3.08 293621760 apollon128 true 6.33 3.39 327544832 apollon028
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--acpi--container.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.57 2.96 270864384 apollon118 true 5.34 2.86 268222464 apollon008 true 6.11 3.24 268972032 apollon165 true 9.03 4.76 429494272 apollon012
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--gpio--gpio-74x164.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.12 3.25 303345664 apollon023 true 6.57 3.49 292106240 apollon008 true 6.47 3.38 309985280 apollon140 true 18.9  9.74 873656320 apollon129
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--gpio--gpio-max7301.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.76 3.09 263868416 apollon032 true 4.81 2.57 261591040 apollon073 true 6.28 3.35 267526144 apollon152 true 10.4  5.54 415182848 apollon101
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--gpio--gpio-mc33880.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.68 3.57 342155264 apollon163 true 6.62 3.51 371138560 apollon074 true 6.86 3.63 425058304 apollon080 true 25.9  13.9  949030912 apollon046
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--gpio--gpio-tps65912.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.17 2.76 264957952 apollon031 true 5.22 2.77 263565312 apollon075 true 5.16 2.78 265289728 apollon037 true 11.8  6.12 594386944 apollon068
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--hwmon--emc1403.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.16 3.25 294621184 apollon120 true 7.88 4.17 323383296 apollon104 true 6.35 3.35 298172416 apollon116 true 11.5  5.97 579895296 apollon007
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--hwmon--max1111.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.07 2.72 265555968 apollon037 true 6.60 3.50 267247616 apollon035 true 5.59 2.98 268234752 apollon112 true 14.4  7.39 665481216 apollon150
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--hwmon--pcf8591.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.06 3.71 300589056 apollon119 true 6.73 3.56 331505664 apollon116 true 6.28 3.32 311525376 apollon072 true 16.5  8.65 677400576 apollon160
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--hwmon--smsc47b397_true-termination.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.07 3.73 363724800 apollon019 true 7.16 3.79 364060672 apollon023 true 7.52 3.99 367886336 apollon065 true 15.9  8.47 654098432 apollon041
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--i2c--i2c-smbus.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.16 3.25 284016640 apollon159 true 6.36 3.36 310665216 apollon029 true 7.03 3.76 299802624 apollon129 true 15.7  8.10 626499584 apollon017
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--input--joystick--warrior.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 8.16 4.33 495697920 apollon067 true 11.7  6.10 498933760 apollon141 true 8.91 4.66 497127424 apollon084 true 27.1  14.3  977666048 apollon011
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--input--joystick--zhenhua.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.20 3.29 291823616 apollon153 true 6.50 3.45 330551296 apollon142 true 7.60 4.01 346144768 apollon030 true 17.2  8.83 832876544 apollon061
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--input--misc--ab8500-ponkey_false-termination.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.90 2.65 264155136 apollon109 true 5.03 2.69 265629696 apollon013 true 5.33 2.84 268001280 apollon065 true 13.4  7.01 610111488 apollon079
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--input--misc--mma8450_false-termination.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.23 2.79 266989568 apollon091 true 5.08 2.73 266629120 apollon153 true 5.27 2.82 269004800 apollon052 true 11.5  6.02 519380992 apollon075
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--input--misc--mpu3050_false-termination.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.84 3.61 324763648 apollon115 true 7.10 3.73 389623808 apollon068 true 7.22 3.80 362004480 apollon045 true 25.2  13.6  941887488 apollon048
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--input--misc--pcap_keys_false-termination.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.43 2.87 269541376 apollon028 true 6.68 3.61 273104896 apollon078 true 6.83 3.61 270036992 apollon055 true 7.90 4.20 386564096 apollon119
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--input--misc--pcf50633-input_false-termination.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.88 2.63 266924032 apollon102 true 5.05 2.69 269549568 apollon141 true 5.19 2.78 272207872 apollon109 true 9.78 5.13 470388736 apollon093
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--input--misc--wm831x-on_false-termination.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.52 2.95 281329664 apollon135 true 5.59 2.97 269103104 apollon168 true 5.75 3.04 273543168 apollon079 true 14.9  7.77 743002112 apollon023
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--input--serio--ct82c710_true-termination.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.47 2.94 281890816 apollon122 true 5.78 3.09 280141824 apollon080 true 5.88 3.12 306434048 apollon057 true 9.49 4.98 449634304 apollon119
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--input--touchscreen--dynapro.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.89 3.65 361734144 apollon016 true 8.62 4.55 380362752 apollon025 true 8.02 4.26 360030208 apollon008 true 19.9  10.4  884527104 apollon136
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--input--touchscreen--eeti_ts_false-termination.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.19 3.30 298422272 apollon051 true 6.62 3.51 333393920 apollon040 true 6.44 3.39 328212480 apollon144 true 18.8  10.1  821399552 apollon059
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--input--touchscreen--fujitsu_ts.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.26 3.84 303259648 apollon115 true 6.41 3.40 319451136 apollon106 true 7.10 3.76 313606144 apollon039 true 20.5  11.0  899928064 apollon161
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--input--touchscreen--gunze.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.34 3.36 311980032 apollon164 true 7.04 3.71 298291200 apollon111 true 6.55 3.43 322428928 apollon073 true 22.5  11.6  933658624 apollon042
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--input--touchscreen--hampshire.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.20 3.80 371871744 apollon094 true 7.79 4.11 469291008 apollon060 true 7.90 4.21 467251200 apollon134 true 23.9  12.3  900460544 apollon168
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--input--touchscreen--inexio.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.74 3.57 299098112 apollon055 true 6.65 3.52 375881728 apollon094 true 6.53 3.46 342822912 apollon103 true 20.0  10.4  822575104 apollon108
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--input--touchscreen--max11801_ts_false-termination.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 8.35 4.38 376406016 apollon137 true 7.99 4.20 438915072 apollon004 true 8.44 4.40 429015040 apollon018 true 25.9  14.0  895918080 apollon027
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--input--touchscreen--mtouch.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.64 3.51 325906432 apollon062 true 6.55 3.45 350261248 apollon061 true 6.62 3.51 333717504 apollon023 true 20.7  10.8  948224000 apollon110
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--input--touchscreen--stmpe-ts_false-termination.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.55 3.97 404082688 apollon041 true 7.76 4.08 425172992 apollon060 true 8.38 4.42 485625856 apollon127 true 36.5  19.0  1098637312 apollon082
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--input--touchscreen--touchit213.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 8.49 4.51 341745664 apollon138 true 7.15 3.81 400588800 apollon135 true 7.31 3.88 413933568 apollon153 true 21.0  10.8  923787264 apollon043
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--input--touchscreen--touchright.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.83 4.18 316411904 apollon084 true 6.41 3.40 343719936 apollon148 true 7.06 3.73 355229696 apollon104 true 17.0  8.77 825581568 apollon071
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--input--touchscreen--touchwin.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.86 3.64 299237376 apollon162 true 8.20 4.34 334168064 apollon034 true 6.47 3.45 331870208 apollon090 true 22.0  11.4  947441664 apollon125
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--input--touchscreen--tsc40.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 8.72 4.60 352468992 apollon164 true 7.58 4.03 426418176 apollon101 true 7.52 3.94 387735552 apollon127 true 26.3  14.2  926027776 apollon021
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--input--touchscreen--wacom_w8001.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 29.3  14.9  1090125824 apollon045 true 51.6  26.2  2051235840 apollon035 true 42.9  21.8  1543045120 apollon047 true 389    197    3845292032 apollon144
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--isdn--hisax--elsa_cs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.67 3.51 336748544 apollon069 true 7.60 4.00 413384704 apollon118 true 8.79 4.65 413655040 apollon167 true 27.1  14.8  918151168 apollon051
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--isdn--hisax--sedlbauer_cs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.68 3.53 329846784 apollon069 true 7.27 3.84 399839232 apollon123 true 8.12 4.26 389103616 apollon124 true 22.5  12.2  895782912 apollon063
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--isdn--hisax--teles_cs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.93 3.67 348020736 apollon007 true 7.67 4.05 409952256 apollon164 true 7.35 3.89 396431360 apollon119 true 22.5  12.0  918499328 apollon067
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--leds--leds-regulator_false-termination.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.20 3.28 321880064 apollon074 true 7.97 4.19 474480640 apollon136 true 8.26 4.34 458440704 apollon019 true 27.0  14.3  1117458432 apollon076
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--leds--ledtrig-backlight.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.68 3.02 282955776 apollon130 true 5.74 3.05 271069184 apollon010 true 5.59 2.98 272175104 apollon068 true 10.5  5.57 514969600 apollon118
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--leds--ledtrig-gpio.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.03 3.23 277250048 apollon114 true 6.75 3.59 280821760 apollon131 true 5.96 3.15 294928384 apollon096 true 11.8  6.24 544600064 apollon156
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--macintosh--mac_hid.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.56 2.96 266506240 apollon084 true 5.71 3.03 269484032 apollon056 true 6.06 3.20 293699584 apollon128 true 11.9  6.36 470204416 apollon051
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--media--dvb--dvb-usb--dvb-usb-a800.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.04 3.19 271581184 apollon028 true 5.83 3.10 269619200 apollon164 true 6.19 3.30 291045376 apollon006 true 10.6  5.56 492064768 apollon130
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--media--dvb--dvb-usb--dvb-usb-dtt200u.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 9.33 4.89 453844992 apollon087 true 10.2  5.29 479162368 apollon022 true 9.86 5.13 463400960 apollon081 true 21.4  10.9  752226304 apollon027
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--media--dvb--dvb-usb--dvb-usb-ttusb2.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 19.0  9.71 758693888 apollon030 true 22.2  11.3  954515456 apollon020 true 20.3  10.4  940228608 apollon087 true 135    76.9  2558926848 apollon157
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--media--dvb--ttpci--budget.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 8.30 4.38 428896256 apollon013 true 8.36 4.36 401186816 apollon117 true 8.40 4.38 414138368 apollon077 true 14.9  7.73 577081344 apollon082
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--mfd--tps6507x.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.83 3.12 289005568 apollon138 true 5.35 2.88 277803008 apollon027 true 6.78 3.61 270393344 apollon002 true 10.9  5.72 444014592 apollon009
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--mfd--ucb1400_core.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.08 3.24 272924672 apollon057 true 6.10 3.22 285773824 apollon012 true 6.17 3.26 292929536 apollon052 true 14.5  7.63 679194624 apollon129
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--mfd--wl1273-core.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.76 4.10 356851712 apollon081 true 7.65 4.02 437379072 apollon111 true 9.49 5.00 424828928 apollon005 true 31.0  16.7  1130303488 apollon157
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--misc--bmp085.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 8.40 4.45 434794496 apollon043 true 8.20 4.31 465764352 apollon037 true 7.58 4.01 468234240 apollon107 true 28.5  16.0  1000140800 apollon113
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--mtd--mtdblock_ro.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.46 2.43 261521408 apollon098 true 4.60 2.48 275689472 apollon120 true 4.39 2.38 260329472 apollon144 true 10.3  5.55 492064768 apollon132
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--net--phy--spi_ks8995.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 10.1  5.26 519856128 apollon024 true 10.1  5.27 518352896 apollon089 true 9.79 5.11 512323584 apollon166 true 43.1  23.8  1217200128 apollon081
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--net--wireless--airo_cs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 8.89 4.68 360349696 apollon073 true 8.83 4.64 446709760 apollon054 true 7.89 4.16 440848384 apollon129 true 23.4  12.0  929640448 apollon076
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--net--wireless--ath--ath6kl--ath6kl_usb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 8.77 4.61 454574080 apollon074 true 8.85 4.65 486789120 apollon118 true 8.99 4.74 459182080 apollon140 true 35.0  18.3  1234432000 apollon117
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--net--wireless--wl1251--wl1251_spi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 9.30 4.86 520572928 apollon070 true 11.2  5.80 518479872 apollon050 true 9.19 4.83 516620288 apollon030 true 52.5  27.8  1318842368 apollon028
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--parport--parport_cs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.40 3.89 363651072 apollon162 true 7.87 4.15 434683904 apollon011 true 7.68 4.03 404082688 apollon106 true 26.3  14.7  978874368 apollon071
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--platform--x86--topstar-laptop.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.81 3.60 321486848 apollon006 true 7.01 3.70 353521664 apollon126 true 6.77 3.60 345968640 apollon151 true 14.0  7.24 702599168 apollon052
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--platform--x86--xo15-ebook.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.01 3.19 274849792 apollon069 true 6.77 3.60 329564160 apollon109 true 6.86 3.61 337461248 apollon060 true 13.8  7.16 689000448 apollon155
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 true 16.3  8.36 691949568 apollon049 true 36.2  18.4  1273626624 apollon004 true 32.5  16.5  1266716672 apollon154 true 90.7  48.6  1729937408 apollon019
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 true 5.30 2.82 263626752 apollon034 true 5.34 2.83 265461760 apollon039 true 6.18 3.31 266276864 apollon091 true 15.5  8.49 707039232 apollon123
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--regulator--max8649.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 9.44 4.97 519417856 apollon104 true 11.2  5.79 534405120 apollon085 true 11.1  5.75 532246528 apollon165 true 37.0  21.1  1136115712 apollon001
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--regulator--virtual.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.11 2.75 267661312 apollon161 true 6.20 3.29 268959744 apollon018 true 5.17 2.77 267714560 apollon117 true 12.7  6.68 509988864 apollon008
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--rtc--rtc-ds1390.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.45 3.38 307949568 apollon071 true 7.12 3.73 359026688 apollon075 true 6.53 3.45 358596608 apollon043 true 56.6  32.7  1364865024 apollon023
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--rtc--rtc-ds3232.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 9.88 5.12 545206272 apollon017 true 10.9  5.70 592650240 apollon035 true 11.8  6.08 644980736 apollon118 true 98.2  54.1  2080927744 apollon099
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--rtc--rtc-rs5c348.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 8.50 4.47 504692736 apollon070 true 9.66 5.08 550354944 apollon098 true 9.21 4.82 537366528 apollon057 true 88.3  54.9  1633509376 apollon108
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--staging--android--switch--switch_gpio.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.19 2.80 265322496 apollon043 true 5.95 3.16 303411200 apollon017 true 6.17 3.29 285995008 apollon072 true 19.7  10.4  780550144 apollon043
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--uio--uio_aec.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.34 3.35 298311680 apollon167 true 5.94 3.20 305987584 apollon021 true 6.22 3.30 300752896 apollon158 true 23.5  12.0  1034182656 apollon056
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--uio--uio_pci_generic.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.31 2.85 268652544 apollon039 true 5.36 2.84 277065728 apollon085 true 5.60 3.00 268009472 apollon060 true 12.0  6.21 533286912 apollon119
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--uio--uio_sercos3.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.67 4.00 393822208 apollon153 true 8.24 4.29 403701760 apollon066 true 8.53 4.45 488067072 apollon064 true 321    180    4833243136 apollon103
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--usb--misc--cypress_cy7c63.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.30 3.31 288165888 apollon020 true 6.37 3.36 301584384 apollon117 true 6.46 3.40 289091584 apollon153 true 10.1  5.42 507400192 apollon027
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--usb--misc--cytherm.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.86 3.62 323080192 apollon135 true 7.13 3.78 382083072 apollon141 true 7.23 3.82 374132736 apollon105 true 12.5  6.59 605110272 apollon114
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--usb--misc--trancevibrator.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.81 3.11 285388800 apollon037 true 5.76 3.06 289595392 apollon034 true 7.51 3.98 283725824 apollon076 true 9.79 5.14 432586752 apollon126
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--usb--otg--ab8500-usb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 10.5  5.49 569778176 apollon019 true 13.0  6.76 680235008 apollon014 true 12.9  6.67 648966144 apollon121 true 59.4  33.5  1524219904 apollon124
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--usb--otg--nop-usb-xceiv.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.25 3.37 279900160 apollon141 true 4.96 2.66 265674752 apollon094 true 4.86 2.62 261922816 apollon048 true 18.0  9.31 677617664 apollon106
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--usb--serial--ipw_false-termination.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 8.17 4.35 462483456 apollon081 true 8.88 4.63 457203712 apollon106 true 8.65 4.55 464732160 apollon140 true 26.7  14.6  868114432 apollon032
ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--video--matrox--i2c-matroxfb_false-termination.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.41 3.90 426921984 apollon142 true 11.9  6.17 560451584 apollon032 true 11.6  5.98 542330880 apollon160 true 49.6  28.0  1448460288 apollon047
ldv-consumption/linux-3_false-termination.8-rc1-32_7a-drivers--md--persistent-data--dm-persistent-data.ko-ldv_main3_true-unreach-call.cil.out.c true 11.2  5.79 508563456 apollon130 true 11.9  6.13 522838016 apollon071 true 11.8  6.11 510656512 apollon122 true 38.7  19.9  908738560 apollon115
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--mtd--maps--l440gx.ko-entry_point_true-unreach-call.cil.out.c true 7.11 3.74 317300736 apollon133 true 7.42 3.91 346828800 apollon126 true 7.68 4.06 356515840 apollon081 true 10.1  5.32 407269376 apollon138
../programs/benchmarks/ status cputime (s) walltime (s) memUsage host status cputime (s) walltime (s) memUsage host status cputime (s) walltime (s) memUsage host status cputime (s) walltime (s) memUsage host
total 449 13700 12100 251316555776 449 13100 11000 246793555968 449 10400 8320 215776055296 449 12900 7020 337481805824
local summary 109000 109000 109000 109000
    correct results 437 2910 1540 146134511616 438 3160 1660 158585073664 441 3170 1670 158173691904 449 12900 7020 337481805824
        correct true 437 2910 1540 146134511616 438 3160 1660 158585073664 441 3170 1670 158173691904 449 12900 7020 337481805824
        correct false 0 0 0 0
    incorrect results 0 0 0 0
        incorrect true 0 0 0 0
        incorrect false 0 0 0 0
score (449 tasks, max score: 898) 874 876 882 898
Run set kInduction-df-boxes kInduction-df-boxes+eq kInduction-df-boxes+eq+mod2 kInduction-kipdr