Tool ULTIMATE Automizer 0.1.24-584d7b92 ULTIMATE Automizer 0.1.24-a2187f89
Limits timelimit: 900 s, memlimit: 8000 MB, CPU core limit: 2
Host struebli
OS Linux-5.1.5-gentoo-x86_64-AMD_EPYC_7351P_16-Core_Processor-with-gentoo-2.6
System CPU: AMD EPYC 7351P 16-Core Processor, cores: 32, frequency: 2400 MHz, Turbo Boost: enabled; RAM: 135154 MB
Date of execution 2019-08-29 22:09:19 CEST 2019-09-02 14:16:29 CEST 2019-09-02 15:15:09 CEST
Run set student-sifa-svcomp-reachsafety.Sifa student-sifa-svcomp-reachsafety-ok.Sifa student-sifa-svcomp-reachsafety-ok.Sifa
Options --force-no-wrapper -tc ../../../trunk/examples/toolchains/SifaC.xml --force-no-wrapper -tc ../../../trunk/examples/toolchains/SifaC.xml --force-no-wrapper -tc ../../../trunk/examples/toolchains/SifaC.xml --sifa.simplification.technique SIMPLIFY_DDA
../../../../trunk/examples/svcomp/ status cputime (s) walltime (s) memory (MB) status cputime (s) walltime (s) memory (MB) status cputime (s) walltime (s) memory (MB)
bitvector/jain_4-2.yml true 6.86 4.12 185 true 6.77 4.22 181 true 7.38 4.47 190
bitvector/jain_6-1.yml true 6.88 4.18 179 true 6.90 4.25 181 true 7.65 4.73 191
bitvector/jain_7-2.yml true 6.55 3.74 174 true 6.89 4.26 173 true 7.68 4.51 187
bitvector-regression/implicitunsignedconversion-2.yml true 6.25 3.92 177 true 6.63 4.31 173 true 6.57 4.08 187
bitvector-regression/signextension-2.yml true 6.45 3.98 176 true 6.59 4.10 179 true 6.91 4.20 186
bitvector-regression/signextension2-1.yml true 6.49 3.87 181 true 6.60 4.27 176 true 7.24 4.42 189
locks/test_locks_5.yml true 65.7  45.9  1130 true 52.4  38.3  1230 timeout 901    781    703
locks/test_locks_6.yml true 29.0  17.7  662 true 37.4  25.7  810 true 790    691    527
locks/test_locks_7.yml true 31.2  21.4  788 true 36.3  26.7  835 true 355    307    533
float-benchs/cast_float_union.yml true 6.37 3.97 187 true 6.88 4.18 181 true 6.79 4.19 181
ldv-regression/alias_of_return.c_1.yml true 6.73 4.19 185 true 6.81 4.14 189 true 6.83 4.33 188
ldv-regression/alias_of_return.yml true 7.20 4.49 195 true 7.25 4.65 187 true 7.86 4.70 207
ldv-regression/alias_of_return_2.c_1.yml true 7.11 4.31 186 true 7.22 4.37 185 true 7.06 4.67 186
ldv-regression/alias_of_return_2.yml true 7.73 4.68 195 true 7.61 4.48 192 true 8.74 5.19 235
ldv-regression/just_assert.yml true 7.02 4.31 175 true 6.63 4.15 178 true 6.32 4.01 171
ldv-regression/mutex_lock_int.c_1.yml true 8.92 5.41 237 true 7.39 4.53 192 true 8.63 5.20 236
ldv-regression/mutex_lock_struct.c_1.yml true 8.93 5.33 238 true 7.06 4.35 188 true 8.72 5.13 237
ldv-regression/nested_structure-1.yml true 7.73 4.61 191 true 7.40 4.65 192 true 7.28 4.51 186
ldv-regression/nested_structure-2.yml true 11.1  6.29 265 timeout 900    884    2210 timeout 900    884    2060
ldv-regression/nested_structure_noptr-1.yml true 8.07 4.85 205 true 7.58 4.56 189 true 7.39 4.80 190
ldv-regression/nested_structure_noptr-2.yml true 7.20 4.50 184 true 6.88 4.25 184 true 7.05 4.38 185
ldv-regression/nested_structure_ptr-1.yml true 7.69 4.65 188 true 7.15 4.34 187 true 7.86 4.73 191
ldv-regression/nested_structure_ptr-2.yml true 12.3  7.40 288 timeout 900    882    1730 timeout 900    879    1610
ldv-regression/oomInt.c_1.yml true 6.76 4.20 172 true 7.14 4.25 178 true 7.02 4.37 188
ldv-regression/oomInt.yml true 6.91 4.26 183 true 6.67 4.17 187 true 7.56 4.53 191
ldv-regression/rule60_list.yml true 15.8  9.31 325 error: exception 9.06 5.23 249 error: exception 12.2  6.80 293
ldv-regression/sizeofparameters_test.yml true 7.99 4.71 200 true 8.27 4.72 203 true 7.94 4.61 203
ldv-regression/structure_assignment.yml true 7.35 4.51 189 true 6.69 4.18 191 true 7.24 4.34 187
ldv-regression/test01.yml true 6.88 4.37 186 true 6.98 4.26 180 true 6.94 4.25 188
ldv-regression/test03.yml true 8.38 5.04 208 true 7.88 4.71 189 true 8.38 4.95 242
ldv-regression/test04.yml true 8.06 4.83 205 true 7.76 4.66 187 true 8.45 5.11 234
ldv-regression/test11.yml true 10.1  5.94 262 true 8.59 5.21 246 true 10.3  6.13 250
ldv-regression/test13.yml true 7.78 4.63 201 true 6.80 4.20 187 true 8.37 4.97 220
ldv-regression/test14.yml true 9.11 5.38 245 true 8.05 4.87 208 true 9.63 5.63 248
ldv-regression/test15.yml true 8.35 4.88 216 true 6.89 4.25 192 true 8.56 5.04 236
ldv-regression/test16.yml true 8.65 5.17 225 true 7.29 4.43 187 true 7.92 4.77 230
ldv-regression/test17.yml true 7.46 4.57 185 true 6.63 4.14 186 true 7.72 4.58 197
ldv-regression/test20.yml true 7.68 4.74 192 true 7.38 4.46 189 true 8.47 4.94 210
ldv-regression/test21-1.yml true 9.71 5.78 251 unknown 10.3  5.98 242 unknown 15.8  9.45 346
ldv-regression/test22-1.yml true 21.5  11.5  447 unknown 9.92 5.82 245 unknown 15.2  9.44 329
ldv-regression/test23-2.yml true 24.5  14.4  671 error: exception 7.93 4.76 193 error: exception 7.86 4.73 213
ldv-regression/test25-2.yml true 31.3  22.8  402 true 13.6  7.64 364 unknown 44.8  33.8  581
ldv-regression/test26-1.yml true 7.13 4.34 186 true 7.58 4.45 193 true 8.63 5.14 244
ldv-regression/test28-2.yml true 7.13 4.37 186 true 7.34 4.41 186 true 12.5  7.63 314
ldv-regression/test29-2.yml true 7.47 4.52 192 true 7.22 4.32 193 true 11.7  7.23 303
ldv-regression/test_address.yml true 8.52 5.03 222 true 7.84 4.66 208 true 8.51 5.00 213
ldv-regression/test_cut_trace.yml true 6.56 4.10 172 true 6.54 4.07 175 true 6.75 4.26 173
ldv-regression/test_overflow.yml true 8.89 5.24 238 true 8.84 5.17 252 true 10.2  5.80 268
ldv-regression/test_union.c_1.yml true 7.09 4.37 185 true 6.64 4.12 186 true 7.03 4.32 186
ldv-regression/test_union.yml true 7.02 4.35 185 true 6.93 4.24 187 true 7.23 4.36 187
ldv-regression/test_union_cast-1.yml true 7.74 4.71 214 true 7.77 4.70 191 true 8.08 4.69 191
ldv-regression/test_union_cast-2.yml true 8.17 4.88 212 true 7.36 4.43 189 true 8.12 4.82 193
ldv-regression/test_union_cast.c_1.yml true 7.43 4.73 186 true 6.87 4.23 185 true 7.41 4.50 185
ldv-regression/test_union_cast.yml true 7.31 4.48 185 true 6.70 4.18 188 true 7.42 4.47 192
ldv-regression/volatile_alias.c_1.yml true 6.56 4.09 187 true 6.96 4.32 192 true 7.49 4.53 190
ldv-regression/volatile_alias.yml true 6.84 4.28 184 true 6.61 4.05 182 true 7.00 4.25 187
loops/bubble_sort-1.yml true 7.33 4.49 186 true 7.19 4.44 188 true 6.98 4.28 185
loops/n.c40.yml true 8.42 5.12 210 true 7.33 4.52 187 true 9.43 5.59 265
loops/nec40.yml true 8.13 4.78 210 true 7.38 4.54 187 true 9.54 5.48 260
loops/terminator_03-2.yml true 6.75 4.13 174 true 6.94 4.34 190 true 7.73 4.62 203
loops/trex03-2.yml true 7.12 4.22 187 true 7.09 4.26 188 true 8.24 4.93 227
loops/while_infinite_loop_1.yml true 7.03 4.41 177 true 6.45 3.65 178 true 7.33 4.49 186
loops/while_infinite_loop_2.yml true 6.36 3.99 173 true 7.01 4.28 178 true 6.69 4.21 188
loops/while_infinite_loop_3.yml true 6.77 4.17 185 true 6.48 4.05 188 true 7.85 4.98 207
loop-acceleration/multivar_1-1.yml true 6.82 4.14 173 true 6.62 4.08 172 true 6.63 4.13 189
loop-acceleration/phases_2-2.yml true 7.67 4.52 192 true 7.26 4.42 187 true 8.65 5.10 204
loop-acceleration/simple_2-1.yml true 6.48 4.02 174 true 6.70 4.10 179 true 7.06 4.28 184
loop-acceleration/simple_4-2.yml true 6.63 4.13 178 true 6.53 4.07 177 true 7.50 4.54 185
loop-invgen/large_const.yml true 8.80 5.08 225 true 8.31 4.90 218 timeout 900    762    590
loop-industry-pattern/mod3.yml true 10.6  7.23 223 true 14.7  11.1  212 true 31.7  27.8  263
loop-invariants/const.yml true 6.96 4.44 185 true 7.11 4.42 189 true 8.17 4.87 201
loop-invariants/eq1.yml true 6.85 4.28 186 true 6.97 4.12 184 true 7.61 4.56 189
product-lines/minepump_spec1_product02.cil.yml true 489    468    2110 timeout 900    885    1160 timeout 901    806    648
product-lines/minepump_spec1_product09.cil.yml true 92.0  78.1  942 timeout 900    889    943 timeout 901    806    550
product-lines/minepump_spec1_product10.cil.yml true 578    556    1660 timeout 900    884    1320 timeout 901    809    534
product-lines/minepump_spec1_product11.cil.yml true 425    402    1330 timeout 900    879    2030 timeout 901    805    674
product-lines/minepump_spec2_product10.cil.yml true 141    123    1270 timeout 900    880    1860 timeout 900    808    700
product-lines/minepump_spec4_product09.cil.yml true 69.3  54.2  811 timeout 902    496    7980 timeout 900    809    620
product-lines/minepump_spec5_product01.cil.yml true 859    840    936 timeout 900    888    1420 timeout 900    810    600
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--auxdisplay--ks0108.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 311    281    650 true 26.2  14.2  538 timeout 901    798    555
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--cpufreq--cpufreq_powersave.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 27.7  18.6  429 true 13.2  7.28 328 true 273    237    632
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--gpu--drm--drm_usb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 54.6  43.3  700 true 18.6  11.5  382 true 341    300    801
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--gpu--drm--tdfx--tdfx.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 96.1  79.2  862 true 14.7  8.33 360 true 742    659    790
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--gpu--stub--poulsbo.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 33.2  22.8  483 true 14.3  7.64 309 true 517    455    703
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--hid--hid-elecom.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 401    362    658 error: exception 19.5  11.2  324 error: exception 260    230    677
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--hid--hid-saitek.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 660    602    637 true 51.4  36.4  657 true 311    270    695
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--hid--hid-speedlink.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 19.4  11.4  372 true 12.5  6.77 315 true 268    232    681
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--hwmon--pmbus--max16064.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 508    484    1460 true 108    89.3  1190 timeout 901    799    649
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--input--misc--ad714x-i2c.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 65.9  52.8  684 timeout 900    876    1470 true 498    446    694
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--leds--ledtrig-default-on.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 450    423    471 timeout 900    861    3060 true 205    175    752
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--md--dm-zero.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 298    258    742 unknown 71.6  50.2  699 timeout 901    861    645
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--isl6405.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 24.2  15.9  387 true 13.6  7.70 308 true 57.7  45.5  701
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--isl6421.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 25.8  16.9  424 true 14.6  8.64 307 true 52.9  41.8  668
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--lnbp21.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 28.0  18.5  486 true 13.4  7.45 355 true 66.2  52.8  928
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--lnbp22.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 54.2  42.6  570 true 19.5  11.8  364 true 134    113    747
ldv-linux-3.4-simple/32_1_cilled_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.yml true 25.4  17.6  436 true 9.91 5.73 255 true 152    133    513
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-alink-dtu-m.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 20.1  12.6  372 true 9.03 5.26 250 true 78.0  65.6  638
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-anysee.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 24.1  16.7  425 true 9.59 5.53 253 true 135    117    590
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-apac-viewcomp.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 27.4  18.9  405 true 9.72 5.51 253 true 114    98.5  580
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-asus-pc39.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 24.1  16.0  447 true 9.78 5.58 252 true 140    121    574
ldv-linux-3.4-simple/32_1_cilled_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.yml true 20.5  13.3  407 true 9.63 5.44 260 true 127    109    628
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-ati-x10.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 25.3  17.2  476 true 9.34 5.38 257 true 146    126    651
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-avermedia-a16d.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 27.6  19.7  407 true 9.79 5.62 262 true 123    106    635
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-avermedia-cardbus.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 28.4  20.1  454 true 10.4  5.82 275 true 183    159    581
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-avermedia-dvbt.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 27.4  19.5  396 true 9.92 5.48 260 true 124    107    658
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-avermedia-m135a.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 37.6  28.2  496 true 10.9  6.12 284 true 298    263    630
ldv-linux-3.4-simple/32_1_cilled_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.yml true 30.4  22.6  443 true 10.1  5.71 264 true 149    129    617
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-avermedia-rm-ks.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 20.7  14.3  381 true 9.60 5.38 265 true 119    102    614
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-avermedia.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 25.4  17.6  451 true 10.7  6.03 269 true 145    126    717
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-avertv-303.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 25.5  18.2  420 true 10.2  5.61 257 true 141    122    625
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-azurewave-ad-tu700.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 25.1  17.9  457 true 9.57 5.48 251 true 162    141    624
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-behold-columbus.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 19.2  12.4  401 true 10.7  5.82 267 true 102    87.2  637
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-behold.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 20.5  14.0  416 true 9.78 5.54 251 true 124    106    562
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-budget-ci-old.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 27.7  20.0  441 true 9.89 5.54 256 true 146    125    614
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-cinergy-1400.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 28.4  20.3  416 true 10.8  6.11 261 true 133    115    608
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-cinergy.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 27.2  19.6  440 true 10.0  5.65 253 true 127    110    634
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-dib0700-nec.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 33.1  25.0  532 true 9.86 5.64 278 true 268    238    688
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-dib0700-rc5.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 89.7  75.9  519 true 12.2  6.69 340 true 857    771    599
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-digitalnow-tinytwin.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 27.0  18.0  465 true 9.60 5.57 254 true 192    167    596
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-digittrade.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 21.0  14.3  404 true 9.05 5.31 256 true 95.9  81.2  712
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-dm1105-nec.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 24.2  16.4  406 true 9.83 5.54 258 true 113    96.6  632
ldv-linux-3.4-simple/32_1_cilled_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.yml true 24.3  17.6  418 true 9.55 5.48 252 true 131    113    649
ldv-linux-3.4-simple/32_1_cilled_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.yml true 28.1  19.9  464 true 10.9  6.04 264 true 205    180    630
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-em-terratec.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 21.2  13.6  396 true 9.51 5.46 242 true 104    87.7  611
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-encore-enltv-fm53.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 22.0  15.3  387 true 9.63 5.50 255 true 111    95.4  627
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-encore-enltv.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 26.9  19.2  464 true 10.9  6.21 266 true 178    155    613
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-encore-enltv2.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 26.6  18.9  431 true 9.98 5.55 254 true 143    124    587
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-evga-indtube.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 18.3  12.4  357 true 9.05 5.20 258 true 81.8  68.1  650
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-eztv.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 30.1  22.1  391 true 10.3  5.81 266 true 139    119    646
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-flydvb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 23.2  16.1  405 true 9.78 5.46 259 true 116    99.7  644
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-flyvideo.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 24.4  17.2  374 true 9.73 5.50 249 true 108    92.0  732
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-fusionhdtv-mce.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 24.6  17.2  428 true 10.2  5.77 256 true 147    128    615
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-gadmei-rm008z.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 22.7  16.0  431 true 9.98 5.50 265 true 116    99.4  754
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-genius-tvgo-a11mce.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 27.0  19.5  396 true 9.65 5.49 258 true 125    106    685
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-gotview7135.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 26.7  19.0  411 true 10.3  5.79 255 true 112    95.1  652
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-hauppauge.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 107    93.6  548 true 11.1  6.29 299 true 854    773    617
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-imon-mce.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 33.0  24.8  470 true 9.80 5.62 277 true 254    224    693
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-imon-pad.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 40.4  31.0  551 true 10.7  6.08 280 true 296    263    566
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-iodata-bctv7e.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 26.0  18.0  413 true 9.59 5.42 265 true 138    119    714
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-it913x-v1.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 30.4  22.7  416 true 9.92 5.58 260 true 164    143    558
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-it913x-v2.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 27.0  19.7  426 true 10.2  5.82 258 true 160    140    626
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-kaiomy.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 24.5  17.6  399 true 9.72 5.45 254 true 121    103    657
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-kworld-315u.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 26.1  18.8  392 true 10.1  5.58 265 true 133    115    588
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-kworld-pc150u.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 29.4  21.5  421 true 10.3  5.92 255 true 156    135    579
ldv-linux-3.4-simple/32_1_cilled_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.yml true 25.7  18.1  397 true 9.78 5.60 254 true 107    90.8  657
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-leadtek-y04g0051.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 24.6  17.0  426 true 9.86 5.58 251 true 156    136    604
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-lme2510.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 34.0  25.3  474 true 10.5  5.86 266 true 208    181    686
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-manli.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 21.2  13.6  426 true 9.58 5.43 257 true 107    90.5  637
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-medion-x10.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 29.5  21.4  436 true 9.70 5.55 255 true 168    148    598
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-msi-digivox-ii.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 17.6  11.7  367 true 9.70 5.47 253 true 79.6  66.7  682
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-msi-digivox-iii.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 19.3  12.8  412 true 9.57 5.41 264 true 102    87.3  612
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-msi-tvanywhere-plus.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 22.5  14.8  422 true 9.68 5.46 257 true 137    117    654
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-msi-tvanywhere.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 19.8  12.8  411 true 10.0  5.69 256 true 125    107    590
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-nebula.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 34.4  26.0  421 true 9.90 5.68 283 true 193    169    615
ldv-linux-3.4-simple/32_1_cilled_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.yml true 44.5  35.0  560 true 9.99 5.67 279 true 323    286    603
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-norwood.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 24.9  18.0  380 true 10.2  5.71 261 true 127    110    697
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-npgtech.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 27.0  19.2  388 true 10.0  5.70 264 true 123    106    599
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-pctv-sedna.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 26.4  18.6  402 true 9.74 5.54 264 true 132    114    593
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-pinnacle-color.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 28.6  20.9  421 true 10.7  6.06 263 true 149    128    683
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-pinnacle-grey.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 23.5  16.4  419 true 9.74 5.56 254 true 145    125    638
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-pinnacle-pctv-hd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 25.7  17.5  379 true 9.40 5.41 254 true 105    88.9  602
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-pixelview-002t.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 22.7  15.6  381 true 10.5  5.85 269 true 116    98.8  610
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-pixelview-mk12.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 26.1  18.4  384 true 9.48 5.50 253 true 121    104    595
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-pixelview-new.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 24.5  17.7  404 true 9.61 5.54 252 true 120    102    613
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-pixelview.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 25.8  18.8  382 true 9.86 5.78 257 true 131    113    608
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-powercolor-real-angel.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 24.7  17.6  415 true 9.83 5.62 259 true 168    146    622
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-proteus-2309.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 18.9  12.3  383 true 9.59 5.47 265 true 123    105    644
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-purpletv.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 25.2  17.8  404 true 10.3  5.81 253 true 127    108    610
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-pv951.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 26.6  18.5  357 true 9.79 5.45 251 true 117    101    598
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-rc6-mce.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 29.7  21.7  470 true 9.82 5.61 259 true 225    199    590
ldv-linux-3.4-simple/32_1_cilled_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.yml true 24.0  16.8  407 true 9.37 5.36 252 true 114    97.2  604
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-snapstream-firefly.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 25.8  17.8  452 true 10.6  5.88 264 true 186    162    690
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-streamzap.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 24.8  17.5  409 true 9.27 5.33 253 true 124    106    550
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-tbs-nec.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 27.1  19.2  400 true 9.67 5.50 257 true 137    119    655
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-technisat-usb2.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 25.0  17.5  407 true 9.70 5.48 261 true 130    113    650
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-terratec-cinergy-xs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 31.5  23.0  442 true 10.1  5.74 261 true 177    155    679
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-terratec-slim-2.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 19.2  12.1  323 true 8.52 5.02 251 true 80.0  66.5  618
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-terratec-slim.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 20.7  14.2  407 true 9.22 5.23 249 true 97.8  83.1  609
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-tevii-nec.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 29.2  21.3  475 true 10.1  5.76 264 true 178    155    678
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-tivo.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 22.9  16.1  418 true 9.65 5.41 254 true 138    120    660
ldv-linux-3.4-simple/32_1_cilled_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.yml true 20.4  13.9  411 true 9.76 5.39 261 true 118    102    640
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-trekstor.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 21.0  14.5  404 true 10.1  5.79 254 true 111    94.1  593
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-tt-1500.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 28.3  20.4  406 true 9.89 5.61 290 true 152    132    635
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-twinhan1027.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 27.1  20.0  451 true 9.75 5.61 248 true 169    147    716
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-videomate-m1f.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 26.6  19.3  442 true 10.4  5.81 269 true 172    150    603
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-videomate-s350.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 27.7  19.7  419 true 9.90 5.51 261 true 153    133    649
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-videomate-tv-pvr.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 26.8  19.3  387 true 9.90 5.52 257 true 144    125    646
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-winfast-usbii-deluxe.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 24.4  17.1  412 true 10.5  5.87 257 true 112    95.5  638
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-winfast.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 29.1  20.8  486 true 9.74 5.55 276 true 182    158    619
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--message--i2o--i2o_bus.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 56.0  44.5  539 true 19.5  10.6  424 timeout 901    808    693
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--misc--c2port--c2port-duramar2150.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 129    105    1190 timeout 900    882    948 timeout 901    791    788
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--mtd--devices--doc2001plus.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 155    136    764 true 42.7  31.1  505 true 305    273    659
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--mtd--maps--nettel.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 308    279    588 timeout 900    821    7380 timeout 901    800    4970
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--net--phy--cicada.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 39.5  29.7  617 true 13.0  6.93 344 true 291    256    758
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--net--phy--davicom.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 69.5  52.5  848 unknown 334    311    917 timeout 901    813    769
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--net--phy--national.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 31.2  21.0  560 unknown 27.8  14.5  512 true 646    567    893
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--net--phy--qsemi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 27.5  18.6  556 unknown 18.9  9.93 445 true 410    356    866
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--net--phy--realtek.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 23.4  16.1  472 true 12.1  6.46 282 true 96.7  81.3  675
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--net--phy--vitesse.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 43.0  31.8  580 true 14.1  7.60 341 true 307    269    682
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--net--usb--cdc_subset.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 288    256    855 true 47.0  30.1  841 timeout 901    809    811
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--net--usb--plusb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 60.9  48.6  769 true 20.6  11.0  465 true 304    271    868
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--platform--x86--mxm-wmi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 46.5  36.7  522 true 14.7  7.94 342 true 177    154    666
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--scsi--scsi_wait_scan.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 11.6  6.61 275 true 8.71 5.12 224 true 21.3  14.8  471
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--staging--android--switch--switch_class.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 191    166    665 true 28.0  16.0  482 true 749    668    711
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--staging--iio--kfifo_buf.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 24.4  17.0  435 true 13.1  7.20 290 true 94.8  79.4  741
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--staging--iio--ring_sw.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 43.6  33.0  756 true 21.1  13.2  387 true 120    102    1000
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--usb--serial--funsoft.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 53.5  41.5  614 true 12.2  6.53 298 true 189    163    727
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--usb--serial--hp4x.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 50.7  38.2  632 true 12.7  6.78 301 true 183    160    695
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--usb--serial--moto_modem.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 38.6  28.3  591 true 11.6  6.29 295 true 175    150    685
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--usb--serial--qcaux.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 68.9  55.3  818 true 12.7  6.91 304 true 403    361    690
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--usb--serial--siemens_mpi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 79.0  65.3  642 true 13.1  7.10 321 true 282    250    588
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--usb--serial--usb_debug.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 36.1  26.2  606 true 17.4  9.36 379 true 447    397    691
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--usb--serial--vivopay-serial.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 79.4  65.5  639 true 13.1  7.09 333 true 313    277    577
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--usb--serial--zio.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 31.3  22.0  550 true 11.2  6.07 284 true 118    99.8  724
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--uwb--i1480--i1480-est.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 68.6  54.2  620 true 17.3  9.26 388 true 488    430    685
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--video--backlight--lcd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 491    470    616 true 62.9  52.7  530 true 743    690    617
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--video--n411.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 892    858    635 true 26.6  15.5  582 true 546    501    816
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--video--vfb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 103    85.2  1210 true 46.5  33.8  790 true 206    180    945
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--w1--slaves--w1_ds2423.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 31.9  21.7  505 timeout 901    780    981 true 195    167    728
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--w1--slaves--w1_smem.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 22.6  14.6  429 true 12.4  6.70 297 true 161    138    654
ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--watchdog--iTCO_vendor_support.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 174    153    585 true 20.9  11.2  538 timeout 901    851    468
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--acpi--apei--einj.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 17.6  9.77 384 true 17.5  9.98 390 true 16.5  9.10 394
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--acpi--bgrt.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 12.3  6.72 267 true 12.5  6.77 274 true 10.5  5.73 266
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--acpi--ec_sys.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 11.6  6.35 265 true 10.9  6.04 262 true 10.0  5.62 265
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--acpi--fan.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 30.3  21.6  906 true 29.8  21.1  887 true 29.2  21.3  883
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--ata--pata_marvell.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 13.5  8.31 304 true 14.3  9.01 304 true 15.8  8.75 309
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--ata--pata_netcell.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 14.6  8.78 310 true 12.5  7.26 259 true 13.2  7.51 276
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--ata--pata_opti.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 20.2  13.0  365 true 19.6  13.5  364 true 20.2  13.1  377
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--atm--adummy.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 30.0  20.7  475 true 16.6  9.29 376 true 55.1  43.7  699
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--auxdisplay--cfag12864b.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 127    108    716 out of memory 246    152    8000 out of memory 325    193    8000
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--auxdisplay--cfag12864bfb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 23.9  16.1  881 true 23.3  15.4  855 true 23.6  15.8  842
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--auxdisplay--ks0108.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 8.58 5.00 212 true 8.56 5.03 212 true 8.87 4.96 208
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--char--hw_random--virtio-rng.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 9.60 5.45 249 true 10.3  5.67 254 true 10.7  5.95 261
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--char--ramoops.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 42.5  31.9  541 true 20.3  13.1  346 true 69.9  57.6  632
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--char--tpm--tpm_nsc.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 27.9  19.1  403 true 27.3  19.5  395 true 26.8  18.6  397
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--char--uv_mmtimer.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 10.9  6.07 259 true 11.3  6.14 274 true 10.8  6.02 257
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--clocksource--cs5535-clockevt.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 9.38 5.39 220 true 8.62 4.99 224 true 9.13 5.16 223
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--cpufreq--cpufreq_powersave.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 8.73 5.21 206 true 9.03 5.27 205 true 8.11 5.01 205
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--cpufreq--pcc-cpufreq.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 31.5  24.0  375 true 29.0  21.4  385 true 30.0  22.6  403
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--edac--mce_amd_inj.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 10.1  5.70 258 true 9.85 5.51 261 true 10.4  5.87 259
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--firmware--edd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 10.3  5.62 247 true 10.0  5.47 238 true 9.19 5.12 235
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--firmware--google--memconsole.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 11.4  6.49 251 true 11.5  6.52 259 true 11.6  6.70 252
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--gpu--drm--drm_usb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 14.4  8.80 303 true 13.9  8.68 292 true 13.6  8.46 299
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--gpu--drm--tdfx--tdfx.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 10.7  5.84 254 true 10.6  5.77 261 true 10.9  5.85 282
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--gpu--stub--poulsbo.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 9.76 5.51 225 true 9.09 5.06 227 true 9.16 5.15 221
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--hid--hid-cherry.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 10.5  5.80 249 true 10.3  5.69 248 true 9.86 5.60 247
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--hid--hid-chicony.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 11.0  6.01 253 true 10.4  5.80 253 true 10.2  5.63 250
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--hid--hid-elecom.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 9.27 5.30 214 true 9.18 5.09 210 true 9.62 5.41 211
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--hid--hid-ezkey.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 10.6  5.82 242 true 9.95 5.61 242 true 9.71 5.47 236
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--hid--hid-gyration.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 10.8  6.00 249 true 10.7  5.93 266 true 10.7  5.96 268
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--hid--hid-kensington.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 11.0  5.96 232 true 10.4  5.68 225 true 9.82 5.47 221
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--hid--hid-keytouch.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 10.5  5.71 214 true 9.87 5.57 226 true 9.60 5.38 220
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--hid--hid-lcpower.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 10.3  5.70 245 true 9.45 5.28 224 true 10.1  5.69 238
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--hid--hid-monterey.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 10.6  5.95 250 true 10.6  5.86 241 true 10.6  5.73 240
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--hid--hid-ortek.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 9.93 5.44 221 true 9.34 5.18 218 true 9.25 5.18 227
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--hid--hid-petalynx.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 11.6  6.44 268 true 10.9  6.07 263 true 10.9  6.02 262
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--hid--hid-primax.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 9.82 5.50 258 true 10.6  5.87 257 true 9.36 5.35 251
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--hid--hid-saitek.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 9.93 5.51 227 true 10.1  5.52 220 true 9.63 5.39 224
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--hid--hid-samsung.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 12.9  6.99 270 true 12.5  6.77 298 true 12.4  6.74 300
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--hid--hid-speedlink.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 9.69 5.43 233 true 10.4  5.67 235 true 10.9  5.92 238
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--hid--hid-sunplus.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 10.8  5.89 247 true 10.3  5.75 254 true 9.75 5.48 239
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--hid--hid-tivo.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 9.63 5.42 244 true 9.36 5.18 236 true 9.37 5.26 237
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--hid--hid-topseed.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 11.2  6.23 252 true 11.2  6.07 261 true 10.5  5.86 262
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--hid--hid-twinhan.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 11.0  5.98 259 true 10.6  5.95 260 true 10.5  5.93 264
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--hid--hid-uclogic.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 10.1  5.63 257 true 11.1  6.16 258 true 11.2  6.11 261
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--hwmon--pmbus--max16064.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 8.88 5.12 212 true 9.75 5.39 225 true 9.76 5.34 211
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--hwmon--pmbus--max8688.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 9.64 5.50 227 true 10.5  5.78 232 true 9.37 5.25 231
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--i2c--algos--i2c-algo-pca.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 19.0  11.6  321 true 16.8  10.8  357 true 17.7  11.2  351
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--ide--ide-pnp.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 12.6  6.77 296 true 11.5  6.17 297 true 11.3  6.12 303
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--input--misc--ad714x-i2c.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 9.60 5.34 244 true 11.2  5.98 260 true 10.4  5.70 260
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--input--misc--ad714x-spi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 12.8  7.94 262 true 13.8  8.36 279 true 13.6  8.32 275
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--input--misc--adxl34x-spi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 13.1  8.12 265 true 13.4  8.25 271 true 13.8  8.47 272
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--input--misc--apanel.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 21.3  15.1  313 true 21.5  15.4  313 true 22.7  15.8  312
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--input--misc--atlas_btns.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 16.3  10.0  350 true 16.0  9.72 342 true 16.5  10.1  351
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--input--misc--cma3000_d0x_i2c.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 10.6  5.84 254 true 10.2  5.65 255 true 10.7  5.87 256
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--input--misc--pcap_keys.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 59.9  45.2  672 timeout 900    878    2070 unknown 121    95.2  1170
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--input--misc--pcspkr.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 12.7  7.98 266 true 12.6  7.76 259 true 12.2  7.60 257
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--input--misc--xen-kbdfront.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 13.9  7.65 365 true 14.0  7.72 349 true 13.6  7.55 346
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--input--mouse--gpio_mouse.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 16.1  11.0  267 true 17.4  12.2  268 true 14.2  8.89 264
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--input--serio--parkbd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 16.6  9.04 322 true 12.9  6.98 295 true 99.7  83.8  736
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--input--touchscreen--cyttsp_spi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 17.9  11.9  279 true 18.9  12.2  279 true 17.5  11.5  280
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--input--touchscreen--mk712.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 13.1  8.15 264 true 12.9  8.08 266 true 13.0  8.10 267
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--isdn--hardware--avm--avm_cs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 12.6  6.89 267 true 11.1  6.16 298 true 11.5  6.25 293
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--isdn--hardware--avm--b1pci.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 30.7  20.0  608 true 33.4  21.8  619 true 30.9  21.9  652
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--isdn--hardware--avm--b1pcmcia.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 16.6  10.1  316 true 16.1  10.4  321 true 16.8  11.3  315
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--isdn--hardware--avm--t1pci.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 20.7  13.2  356 true 18.7  12.3  345 true 22.7  15.2  353
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--isdn--hisax--avma1_cs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 24.3  18.0  288 true 17.9  12.4  277 true 20.1  14.0  276
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--leds--dell-led.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 11.0  6.61 266 true 10.9  6.58 266 true 11.8  7.08 276
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--leds--leds-ot200.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 10.6  5.97 258 true 11.3  6.25 261 true 11.5  6.34 264
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--leds--ledtrig-default-on.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 9.07 5.21 204 true 8.12 4.74 195 true 8.45 4.89 202
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--md--dm-zero.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 9.35 5.26 249 true 9.90 5.52 246 true 9.73 5.35 250
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--common--tuners--max2165.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 23.9  16.2  443 true 23.7  15.7  472 true 25.3  16.8  484
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--common--tuners--mc44s803.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 16.1  9.85 392 true 15.9  9.54 386 true 15.8  9.55 389
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--common--tuners--mt2060.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 22.6  15.2  515 true 21.2  13.9  489 true 23.8  15.3  478
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--common--tuners--mt20xx.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 21.2  12.6  432 true 20.4  10.8  421 true 20.2  11.6  421
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--common--tuners--mt2131.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 24.3  16.6  563 true 26.4  17.7  588 true 28.2  18.0  639
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--common--tuners--mt2266.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 22.7  14.2  607 true 22.8  14.2  560 true 23.7  14.2  582
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--common--tuners--mxl5007t.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 37.4  24.9  958 true 35.3  24.7  1030 true 33.9  22.7  965
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--common--tuners--qt1010.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 91.2  81.1  1990 true 94.7  82.2  1720 true 95.5  83.8  2090
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--common--tuners--tda18212.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 24.9  17.3  487 true 24.1  16.5  454 true 23.1  15.9  471
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--common--tuners--tda18218.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 30.8  20.9  761 true 29.7  20.3  741 true 31.2  21.8  716
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--common--tuners--tda8290.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 44.6  31.5  658 true 42.1  30.4  682 true 49.7  36.0  681
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--common--tuners--tda9887.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 40.7  26.3  923 true 36.3  24.8  869 true 40.4  26.8  845
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--dvb--dvb-usb--dvb-usb-au6610.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 16.9  10.5  366 true 18.9  11.5  370 true 16.9  10.5  374
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--dvb--dvb-usb--dvb-usb-ce6230.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 21.6  13.9  400 true 22.6  14.4  407 true 22.5  14.0  400
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--dvb--dvb-usb--dvb-usb-cinergyT2.ko-ldv_main1_sequence_infinite_withcheck_stateful.cil.out.yml true 18.4  10.4  392 true 17.0  9.36 382 true 16.8  9.10 416
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--dvb--dvb-usb--dvb-usb-dibusb-common.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 19.7  11.7  378 true 17.3  10.6  380 true 18.9  12.4  373
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--dvb--dvb-usb--dvb-usb-dibusb-mb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 25.0  14.3  547 true 24.4  14.1  561 true 23.8  13.9  523
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--dvb--dvb-usb--dvb-usb-dibusb-mc.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 14.0  7.42 350 true 12.7  7.28 348 true 14.0  7.41 352
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--dvb--dvb-usb--dvb-usb-digitv.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 22.2  13.2  490 true 23.9  14.9  484 true 22.2  14.3  494
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--dvb--dvb-usb--dvb-usb-dtt200u.ko-ldv_main1_sequence_infinite_withcheck_stateful.cil.out.yml true 26.6  14.9  641 true 25.2  14.2  606 true 27.1  15.3  607
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--dvb--dvb-usb--dvb-usb-dtv5100.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 15.1  8.05 373 true 15.3  8.57 366 true 15.1  8.44 361
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--dvb--dvb-usb--dvb-usb-gl861.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 17.6  10.8  378 true 17.2  10.2  362 true 17.2  10.0  368
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--dvb--dvb-usb--dvb-usb-mxl111sf.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 120    95.8  2110 true 117    95.8  2050 true 116    91.4  2190
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--dvb--dvb-usb--dvb-usb-mxl111sf.ko-ldv_main3_sequence_infinite_withcheck_stateful.cil.out.yml true 113    90.1  2200 true 114    87.8  2150 true 110    90.4  2160
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--dvb--dvb-usb--dvb-usb-nova-t-usb2.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 14.4  8.08 358 true 14.0  7.80 362 true 13.4  7.16 377
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--dvb--dvb-usb--dvb-usb-pctv452e.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 31.3  18.8  595 true 31.2  18.7  626 true 29.3  17.8  579
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--dvb--dvb-usb--dvb-usb-umt-010.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 18.6  11.2  465 true 17.6  10.1  472 true 18.9  11.0  471
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--dvb--dvb-usb--dvb-usb-vp7045.ko-ldv_main1_sequence_infinite_withcheck_stateful.cil.out.yml true 20.0  12.0  466 true 19.8  11.8  415 true 19.1  11.4  408
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--dvb--dvb-usb--mxl111sf-demod.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 21.4  11.9  463 true 20.1  11.3  465 true 21.9  12.5  488
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--dvb--frontends--cxd2820r.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 72.9  57.0  1920 true 71.8  56.6  1970 true 71.2  56.4  1860
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--dvb--frontends--dib3000mb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 35.8  22.3  923 true 36.9  22.5  1000 true 35.4  22.6  973
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--dvb--frontends--dib3000mc.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 42.8  31.1  603 true 36.0  27.1  585 true 41.3  28.8  590
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--dvb--frontends--dvb_dummy_fe.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 12.8  6.97 331 true 14.0  7.84 341 true 13.7  7.31 354
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--dvb--frontends--ec100.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 14.6  8.92 304 true 15.8  9.53 332 true 16.4  9.83 309
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--dvb--frontends--isl6405.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 12.5  7.34 260 true 11.8  6.87 264 true 11.8  6.97 263
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--dvb--frontends--isl6421.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 10.5  5.97 258 true 11.6  6.40 273 true 11.0  6.18 267
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--dvb--frontends--lnbp21.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 12.3  6.90 259 true 11.8  6.75 274 true 11.7  6.66 292
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--dvb--frontends--lnbp22.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 11.7  6.55 265 true 11.1  6.59 261 true 12.5  7.29 268
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--dvb--frontends--rtl2830.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 77.2  64.9  1880 true 77.1  65.5  1780 true 76.9  64.7  1890
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--dvb--frontends--stb6000.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 20.7  14.1  374 true 21.2  14.1  380 true 24.3  17.2  400
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--dvb--frontends--tda18271c2dd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 95.9  81.0  1660 true 94.0  80.8  1830 true 93.4  81.5  1690
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--dvb--frontends--tda826x.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 20.2  13.6  345 true 21.1  13.5  359 true 20.8  13.9  364
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--dvb--frontends--tua6100.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 22.3  15.6  372 true 22.1  15.1  385 true 20.8  14.1  364
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--rc--keymaps--rc-adstech-dvb-t-pci.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 7.99 4.67 191 true 7.52 4.50 194 true 7.91 4.65 191
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--rc--keymaps--rc-alink-dtu-m.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 7.68 4.65 192 true 8.08 4.73 193 true 7.66 4.52 192
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--rc--keymaps--rc-anysee.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 7.86 4.54 190 true 7.69 4.58 194 true 7.67 4.78 190
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--rc--keymaps--rc-apac-viewcomp.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 7.73 4.58 190 true 7.76 4.52 193 true 7.54 4.50 192
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--rc--keymaps--rc-asus-pc39.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 7.76 4.63 191 true 8.26 4.70 194 true 7.94 4.74 191
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--rc--keymaps--rc-ati-tv-wonder-hd-600.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 7.26 4.39 189 true 7.97 4.57 190 true 7.41 4.51 189
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--rc--keymaps--rc-ati-x10.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 8.29 4.89 192 true 7.65 4.47 191 true 7.70 4.55 193
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--rc--keymaps--rc-avermedia-a16d.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 7.79 4.65 192 true 7.88 4.67 191 true 7.60 4.51 191
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--rc--keymaps--rc-avermedia-cardbus.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 8.01 4.72 192 true 8.51 4.84 195 true 7.73 4.54 195
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--rc--keymaps--rc-avermedia-dvbt.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 8.01 4.76 196 true 7.71 4.59 193 true 8.06 4.84 193
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--rc--keymaps--rc-avermedia-m135a.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 7.81 4.65 197 true 7.97 4.71 200 true 7.69 4.47 198
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--rc--keymaps--rc-avermedia-m733a-rm-k6.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 7.75 4.65 190 true 7.83 4.69 194 true 7.49 4.52 196
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--rc--keymaps--rc-avermedia-rm-ks.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 8.02 4.78 193 true 7.78 4.56 193 true 7.50 4.51 191
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--rc--keymaps--rc-avermedia.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 7.74 4.61 193 true 7.86 4.65 192 true 8.28 4.78 193
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--rc--keymaps--rc-avertv-303.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 7.54 4.59 192 true 7.83 4.63 191 true 7.42 4.46 188
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--rc--keymaps--rc-azurewave-ad-tu700.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 8.30 4.89 193 true 7.34 4.42 192 true 7.75 4.67 194
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--rc--keymaps--rc-behold-columbus.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 7.70 4.57 192 true 7.74 4.58 191 true 7.99 4.72 191
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--rc--keymaps--rc-behold.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 7.75 4.55 189 true 7.51 4.50 189 true 7.79 4.48 195
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--rc--keymaps--rc-budget-ci-old.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 7.99 4.73 185 true 7.59 4.60 192 true 7.89 4.68 192
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--rc--keymaps--rc-cinergy-1400.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 7.90 4.60 190 true 7.63 4.57 190 true 7.71 4.59 193
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--rc--keymaps--rc-cinergy.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 7.54 4.59 184 true 7.51 4.42 194 true 7.72 4.61 189
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--rc--keymaps--rc-dib0700-nec.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 8.05 4.76 194 true 7.86 4.65 196 true 7.56 4.49 197
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--rc--keymaps--rc-dib0700-rc5.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 8.75 5.03 214 true 8.17 4.81 213 true 9.44 5.34 216
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--rc--keymaps--rc-digitalnow-tinytwin.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 7.68 4.61 193 true 7.94 4.71 194 true 9.07 5.13 195
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--rc--keymaps--rc-digittrade.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 8.00 4.72 196 true 8.18 4.80 194 true 8.24 4.71 197
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--rc--keymaps--rc-dm1105-nec.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 7.51 4.44 188 true 8.04 4.66 190 true 7.66 4.62 191
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--rc--keymaps--rc-dntv-live-dvb-t.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 7.48 4.55 192 true 7.29 4.40 193 true 8.79 5.06 194
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--rc--keymaps--rc-dntv-live-dvbt-pro.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 8.41 4.90 192 true 7.61 4.63 193 true 7.81 4.64 192
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--rc--keymaps--rc-em-terratec.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 8.06 4.74 194 true 7.72 4.60 195 true 7.55 4.50 194
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--rc--keymaps--rc-encore-enltv-fm53.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 7.77 4.65 190 true 7.51 4.51 193 true 8.22 4.82 192
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--rc--keymaps--rc-encore-enltv.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 7.63 4.59 192 true 7.88 4.64 195 true 7.86 4.75 194
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--rc--keymaps--rc-encore-enltv2.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 8.18 4.82 192 true 7.35 4.36 194 true 8.01 4.74 194
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--rc--keymaps--rc-evga-indtube.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 7.93 4.70 192 true 7.87 4.69 190 true 8.26 4.83 190
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--rc--keymaps--rc-eztv.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 7.99 4.78 194 true 8.19 4.81 192 true 7.64 4.51 188
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--rc--keymaps--rc-flydvb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 7.65 4.60 189 true 7.57 4.56 192 true 7.46 4.48 194
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--rc--keymaps--rc-flyvideo.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 8.21 4.92 193 true 8.23 4.69 194 true 7.59 4.59 194
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--rc--keymaps--rc-fusionhdtv-mce.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 7.94 4.75 193 true 7.46 4.44 193 true 8.18 4.83 194
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--rc--keymaps--rc-gadmei-rm008z.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 7.74 4.66 190 true 7.74 4.60 190 true 8.14 4.71 192
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--rc--keymaps--rc-genius-tvgo-a11mce.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 8.19 4.72 193 true 7.79 4.64 192 true 8.27 4.80 193
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--rc--keymaps--rc-gotview7135.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 8.05 4.81 192 true 8.54 4.98 191 true 7.93 4.67 193
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--rc--keymaps--rc-hauppauge.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 8.65 5.01 216 true 8.56 4.90 204 true 8.43 4.92 210
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--rc--keymaps--rc-imon-mce.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 8.13 4.83 196 true 8.05 4.82 197 true 7.84 4.67 197
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--rc--keymaps--rc-imon-pad.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 7.73 4.61 195 true 7.88 4.64 200 true 8.27 4.90 200
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--rc--keymaps--rc-iodata-bctv7e.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 8.10 4.78 191 true 7.70 4.52 191 true 8.36 4.81 196
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--rc--keymaps--rc-it913x-v1.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 8.16 4.87 192 true 7.88 4.87 195 true 7.62 4.48 194
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--rc--keymaps--rc-it913x-v2.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 7.81 4.70 192 true 8.32 4.76 192 true 7.89 4.64 196
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--rc--keymaps--rc-kaiomy.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 7.82 4.72 189 true 7.55 4.56 193 true 8.11 4.76 194
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--rc--keymaps--rc-kworld-315u.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 8.03 4.70 190 true 7.68 4.64 190 true 7.56 4.55 191
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--rc--keymaps--rc-kworld-pc150u.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 7.99 4.75 191 true 7.36 4.49 193 true 7.48 4.44 192
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--rc--keymaps--rc-kworld-plus-tv-analog.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 8.16 4.81 192 true 7.75 4.71 192 true 8.00 4.62 192
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--rc--keymaps--rc-leadtek-y04g0051.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 8.36 4.80 195 true 7.95 4.60 196 true 8.24 4.86 194
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--rc--keymaps--rc-lirc.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 8.88 5.01 201 true 9.06 5.11 207 true 9.19 5.19 208
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--rc--keymaps--rc-lme2510.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 8.17 4.84 197 true 8.28 4.83 194 true 7.93 4.69 196
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--rc--keymaps--rc-manli.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 8.07 4.64 192 true 7.52 4.44 192 true 8.18 4.75 191
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--rc--keymaps--rc-medion-x10.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 8.18 4.86 193 true 7.82 4.66 192 true 8.11 4.63 191
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--rc--keymaps--rc-msi-digivox-ii.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 8.07 4.68 192 true 7.53 4.49 194 true 7.49 4.46 190
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--rc--keymaps--rc-msi-digivox-iii.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 7.75 4.69 189 true 7.67 4.58 190 true 7.96 4.68 193
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--rc--keymaps--rc-msi-tvanywhere-plus.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 7.71 4.55 192 true 8.15 4.72 192 true 8.27 4.84 195
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--rc--keymaps--rc-msi-tvanywhere.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 7.64 4.59 194 true 7.78 4.69 193 true 7.67 4.67 192
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--rc--keymaps--rc-nebula.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 8.71 5.04 197 true 7.58 4.58 193 true 7.96 4.78 191
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--rc--keymaps--rc-nec-terratec-cinergy-xs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 8.68 4.96 199 true 8.03 4.76 203 true 8.12 4.82 198
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--rc--keymaps--rc-norwood.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 7.97 4.61 194 true 7.92 4.70 193 true 7.73 4.58 192
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--rc--keymaps--rc-npgtech.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 7.83 4.70 190 true 7.34 4.42 194 true 7.69 4.59 195
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--rc--keymaps--rc-pctv-sedna.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 7.89 4.73 193 true 7.67 4.51 193 true 7.66 4.58 194
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--rc--keymaps--rc-pinnacle-color.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 8.13 4.80 190 true 7.91 4.70 197 true 8.16 4.70 190
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--rc--keymaps--rc-pinnacle-grey.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 7.87 4.69 194 true 7.73 4.61 193 true 8.14 4.84 191
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--rc--keymaps--rc-pinnacle-pctv-hd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 7.78 4.60 190 true 8.01 4.75 190 true 7.97 4.71 190
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--rc--keymaps--rc-pixelview-002t.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 7.77 4.63 189 true 7.99 4.64 192 true 7.72 4.63 193
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--rc--keymaps--rc-pixelview-mk12.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 8.17 4.82 190 true 7.99 4.63 188 true 8.01 4.72 191
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--rc--keymaps--rc-pixelview-new.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 8.49 4.80 190 true 7.43 4.40 188 true 8.01 4.72 191
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--rc--keymaps--rc-pixelview.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 7.73 4.59 187 true 7.67 4.50 191 true 7.99 4.66 192
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--rc--keymaps--rc-powercolor-real-angel.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 8.26 4.86 195 true 7.29 4.39 189 true 7.86 4.68 193
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--rc--keymaps--rc-proteus-2309.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 7.90 4.74 184 true 7.46 4.45 193 true 8.02 4.71 191
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--rc--keymaps--rc-purpletv.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 7.80 4.56 189 true 8.08 4.80 194 true 7.40 4.47 189
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--rc--keymaps--rc-pv951.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 8.32 4.89 193 true 8.20 4.74 191 true 7.71 4.62 191
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--rc--keymaps--rc-rc6-mce.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 7.87 4.60 194 true 8.44 4.84 195 true 8.17 4.80 195
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--rc--keymaps--rc-real-audio-220-32-keys.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 7.72 4.59 188 true 8.18 4.73 193 true 7.77 4.60 194
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--rc--keymaps--rc-snapstream-firefly.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 8.14 4.90 192 true 7.79 4.68 194 true 8.44 4.80 197
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--rc--keymaps--rc-streamzap.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 8.09 4.69 192 true 7.66 4.57 190 true 8.16 4.82 203
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--rc--keymaps--rc-tbs-nec.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 8.37 5.10 193 true 8.27 4.82 190 true 8.00 4.68 194
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--rc--keymaps--rc-technisat-usb2.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 7.61 4.50 193 true 7.40 4.37 193 true 7.68 4.63 193
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--rc--keymaps--rc-terratec-cinergy-xs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 7.69 4.58 192 true 7.81 4.65 191 true 7.88 4.69 191
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--rc--keymaps--rc-terratec-slim-2.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 7.60 4.55 185 true 7.65 4.56 191 true 7.84 4.73 191
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--rc--keymaps--rc-terratec-slim.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 7.72 4.63 192 true 7.55 4.54 192 true 7.34 4.42 193
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--rc--keymaps--rc-tevii-nec.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 7.79 4.81 190 true 8.33 4.74 191 true 7.98 4.68 192
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--rc--keymaps--rc-tivo.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 7.91 4.93 190 true 7.97 4.79 194 true 7.88 4.77 193
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--rc--keymaps--rc-total-media-in-hand.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 7.67 4.57 183 true 7.55 4.50 193 true 8.45 4.94 193
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--rc--keymaps--rc-trekstor.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 8.08 4.78 189 true 7.65 4.46 191 true 7.46 4.46 188
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--rc--keymaps--rc-tt-1500.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 7.85 4.63 189 true 7.61 4.50 192 true 7.93 4.70 195
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--rc--keymaps--rc-twinhan1027.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 8.18 4.78 191 true 8.01 4.71 192 true 8.09 4.73 190
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--rc--keymaps--rc-videomate-m1f.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 8.57 4.98 194 true 8.05 4.76 194 true 8.28 4.90 193
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--rc--keymaps--rc-videomate-s350.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 7.84 4.71 191 true 8.16 4.70 192 true 8.10 4.79 194
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--rc--keymaps--rc-videomate-tv-pvr.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 8.10 4.84 190 true 7.69 4.57 190 true 7.85 4.71 193
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--rc--keymaps--rc-winfast-usbii-deluxe.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 8.21 4.73 193 true 7.74 4.59 190 true 8.20 4.82 196
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--rc--keymaps--rc-winfast.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 7.95 4.71 192 true 8.00 4.79 197 true 7.66 4.59 193
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--video--cx88--cx88-vp3054-i2c.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 12.6  7.26 303 true 13.6  7.72 307 true 13.0  7.38 302
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--video--gspca--gspca_finepix.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 18.5  11.1  370 true 17.0  10.5  400 true 16.4  10.1  400
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--video--gspca--gspca_jl2005bcd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 27.3  17.9  373 true 23.3  16.1  397 true 27.3  19.1  393
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--video--gspca--gspca_pac207.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 21.7  13.1  818 true 23.3  13.9  793 true 22.7  13.6  828
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--media--video--gspca--gspca_sq905c.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 12.3  7.18 267 true 13.3  7.20 298 true 12.7  6.97 292
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--message--i2o--i2o_bus.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 10.0  5.63 249 true 11.0  6.09 260 true 10.6  5.83 252
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--message--i2o--i2o_scsi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 18.8  10.7  381 true 19.1  10.9  391 true 19.6  11.0  410
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--mfd--rdc321x-southbridge.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 9.82 5.58 232 true 9.83 5.45 228 true 10.0  5.70 238
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--mfd--tps6105x.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 215    181    731 unknown 45.6  30.7  661 unknown 289    250    649
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--mfd--tps65217.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 12.7  7.19 270 true 11.4  6.31 263 true 11.8  6.33 263
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--mfd--wm8400-core.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 15.1  9.02 311 true 15.6  9.36 307 true 15.1  9.00 304
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--misc--c2port--c2port-duramar2150.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 8.88 5.15 210 true 8.51 5.03 209 true 8.62 5.09 212
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--misc--isl29020.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 11.0  6.06 262 true 10.8  5.96 264 true 11.1  6.09 261
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--misc--sgi-xp--xp.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 18.7  12.4  290 true 17.6  11.8  279 true 19.2  13.3  283
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--misc--ti_dac7512.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 12.5  7.85 263 true 12.8  7.72 270 true 12.9  7.92 267
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--misc--tifm_core.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 18.9  12.2  312 true 17.2  11.2  308 true 18.6  11.8  309
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--misc--vmw_balloon.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 29.5  20.4  422 true 34.0  25.2  433 true 30.8  22.4  417
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--mmc--host--sdricoh_cs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 43.1  33.8  444 true 41.5  33.3  450 true 38.5  29.8  439
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--mtd--devices--block2mtd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 10.1  5.62 246 true 10.1  5.64 251 true 10.8  5.82 231
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--mtd--devices--doc2001plus.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 21.0  13.9  373 true 21.4  13.3  380 true 27.4  19.1  371
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--mtd--devices--mtdram.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 13.1  8.25 272 true 12.9  8.13 264 true 22.1  14.2  409
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--mtd--maps--netsc520.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 9.00 5.08 215 true 9.03 5.27 220 true 10.3  5.66 226
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--mtd--maps--nettel.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 9.49 5.34 243 true 9.51 5.32 235 true 10.8  5.82 240
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--mtd--maps--sbc_gxx.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 10.1  5.69 254 true 9.25 5.26 255 true 9.83 5.53 256
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--mtd--maps--ts5500_flash.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 8.57 4.97 211 true 9.44 5.23 212 true 9.07 5.08 215
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--net--arcnet--arc-rimi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 15.4  9.55 304 true 17.3  10.8  305 true 15.4  9.26 310
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--net--arcnet--com20020.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 16.5  9.69 356 true 17.4  10.5  378 true 18.4  10.9  368
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--net--arcnet--com90io.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 15.8  9.77 307 true 15.5  9.18 309 true 16.1  9.57 304
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--net--irda--act200l-sir.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 13.6  8.29 295 true 13.5  8.21 286 true 13.7  8.81 300
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--net--irda--esi-sir.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 11.0  5.98 296 true 10.7  5.84 303 true 10.8  5.91 303
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--net--irda--girbil-sir.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 13.0  7.00 295 true 11.7  6.33 292 true 11.6  6.28 295
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--net--irda--litelink-sir.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 10.7  5.85 286 true 10.6  6.29 296 true 11.4  6.19 283
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--net--irda--ma600-sir.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 13.0  7.10 302 true 11.6  6.24 300 true 10.7  6.10 294
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--net--irda--mcp2120-sir.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 11.6  6.32 291 true 11.4  6.16 291 true 11.6  6.25 295
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--net--irda--old_belkin-sir.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 11.9  6.77 295 true 11.4  6.35 293 true 10.9  6.04 294
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--net--irda--tekram-sir.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 12.0  6.52 296 true 12.3  6.80 300 true 12.9  7.23 301
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--net--phy--amd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 9.76 5.45 256 true 10.4  5.73 253 true 10.4  5.73 258
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--net--phy--broadcom.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 15.5  8.94 359 true 14.7  8.15 356 true 15.3  8.27 369
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--net--phy--cicada.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 11.3  6.19 298 true 10.6  5.88 289 true 10.2  5.55 293
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--net--phy--davicom.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 12.8  6.90 294 true 11.0  6.42 288 true 12.6  7.10 297
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--net--phy--et1011c.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 11.1  6.05 294 true 11.1  5.99 287 true 10.8  5.84 278
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--net--phy--icplus.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 13.0  7.14 296 true 11.6  6.39 287 true 11.5  6.32 293
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--net--phy--lxt.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 12.0  6.52 296 true 11.7  6.30 297 true 11.9  6.50 289
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--net--phy--marvell.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 15.1  8.02 326 true 14.4  8.12 331 true 13.8  7.77 334
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--net--phy--micrel.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 11.7  6.41 265 true 11.9  6.46 272 true 11.5  6.33 269
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--net--phy--national.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 12.7  6.88 298 true 10.1  5.61 282 true 12.0  6.47 296
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--net--phy--qsemi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 10.8  5.93 282 true 11.2  6.04 288 true 11.2  6.10 280
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--net--phy--realtek.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 10.8  5.96 252 true 10.3  5.68 255 true 11.0  5.99 264
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--net--phy--smsc.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 11.9  6.40 285 true 11.8  6.33 293 true 12.0  6.54 297
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--net--phy--ste10Xp.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 12.4  7.19 302 true 10.9  5.97 290 true 11.3  6.45 302
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--net--phy--vitesse.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 11.5  6.57 255 true 9.97 5.54 258 true 11.6  6.36 265
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--net--team--team_mode_roundrobin.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 12.3  6.56 296 true 12.4  6.73 308 true 11.8  6.42 295
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--net--tokenring--abyss.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 22.2  13.4  466 true 19.7  12.4  436 true 21.1  13.3  482
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--net--usb--cdc_subset.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 11.2  6.08 257 true 10.2  5.58 249 true 9.84 5.35 249
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--net--usb--plusb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 12.9  7.51 283 true 12.1  7.10 282 true 12.3  7.66 282
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--net--wireless--orinoco--orinoco_nortel.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 14.2  8.09 320 true 13.0  7.57 301 true 13.7  7.35 301
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--net--wireless--orinoco--orinoco_pci.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 14.0  7.83 306 true 13.6  7.69 303 true 13.0  7.00 306
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--net--wireless--orinoco--orinoco_plx.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 16.6  10.3  333 true 15.5  9.62 333 true 16.3  9.65 332
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--net--wireless--orinoco--orinoco_tmd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 13.2  7.00 294 true 13.1  7.14 300 true 13.9  7.45 303
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--pci--hotplug--cpcihp_generic.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 12.7  7.29 273 true 13.3  7.18 294 true 12.1  6.63 269
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--pci--pci-stub.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 10.6  5.80 230 true 9.96 5.65 236 true 9.88 5.54 232
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--platform--x86--asus-nb-wmi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 10.5  5.79 239 true 9.42 5.26 237 true 10.8  5.85 249
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--platform--x86--dell-wmi-aio.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 11.9  6.53 265 true 10.3  5.93 261 true 10.2  5.65 267
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--platform--x86--intel_menlow.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 17.5  10.9  362 true 16.5  9.92 368 true 15.5  9.28 371
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--platform--x86--mxm-wmi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 10.9  6.06 234 true 9.77 5.50 227 true 10.8  5.90 240
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--platform--x86--toshiba_bluetooth.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 15.1  9.11 352 true 14.5  8.74 363 true 14.6  8.82 358
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--power--test_power.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 12.4  6.92 313 true 12.6  6.82 305 true 12.2  6.78 306
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--pps--clients--pps-ktimer.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 9.54 5.68 226 true 9.81 5.80 230 true 9.97 5.69 234
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--pps--clients--pps-ldisc.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 14.8  9.73 269 true 16.1  10.7  273 true 16.7  11.9  271
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--regulator--wm831x-isink.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 16.4  10.8  267 true 15.3  10.2  259 true 15.5  10.2  266
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--regulator--wm831x-ldo.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 33.4  24.0  406 true 35.0  25.3  414 true 34.8  25.5  409
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--regulator--wm8400-regulator.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 18.0  11.4  304 true 19.5  13.3  292 true 15.6  9.59 287
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--rtc--rtc-da9052.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 19.7  14.3  313 true 19.3  13.4  317 true 19.8  13.6  308
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--rtc--rtc-ds1553.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 15.5  9.31 306 true 15.2  9.08 315 true 15.4  9.36 310
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--rtc--rtc-ds1672.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 17.6  12.7  265 true 20.1  15.2  267 true 17.0  11.9  273
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--rtc--rtc-ds3234.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 11.4  6.24 265 true 11.0  6.44 267 true 10.9  5.92 260
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--rtc--rtc-em3027.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 12.4  7.85 257 true 13.1  8.12 271 true 12.3  7.59 262
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--rtc--rtc-m41t93.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 21.9  15.8  325 true 20.7  14.7  316 true 22.2  16.4  306
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--rtc--rtc-m41t94.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 21.2  15.5  280 true 18.2  12.6  283 true 17.8  11.9  304
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--rtc--rtc-m48t86.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 12.2  6.55 262 true 12.0  6.54 261 true 11.2  6.04 270
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--rtc--rtc-max6902.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 11.3  6.11 255 true 10.9  6.02 291 true 10.5  5.76 263
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--rtc--rtc-mc13xxx.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 20.3  13.3  313 true 22.3  15.3  312 true 19.9  13.6  316
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--rtc--rtc-pcap.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 12.7  6.87 266 true 11.2  6.10 266 true 12.0  6.54 266
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--rtc--rtc-r9701.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 14.8  9.38 301 true 14.0  8.76 283 true 16.7  11.0  276
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--rtc--rtc-stk17ta8.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 14.9  9.16 309 true 15.5  9.27 311 true 15.7  9.94 308
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--rtc--rtc-test.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 11.1  6.13 260 true 11.2  6.10 263 true 11.2  6.23 261
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--rtc--rtc-wm831x.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 11.8  6.75 267 true 12.6  7.13 283 true 12.7  7.50 283
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--scsi--iscsi_boot_sysfs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 14.4  8.23 360 true 16.0  8.90 370 true 15.6  8.59 364
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--scsi--qlogicfas408.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 13.5  7.67 302 true 13.7  7.41 312 true 13.7  7.77 300
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--scsi--scsi_wait_scan.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 7.97 4.69 187 true 7.15 4.34 188 true 7.30 4.26 191
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--staging--android--switch--switch_class.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 11.4  6.35 264 true 10.2  5.66 262 true 10.8  5.94 264
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--staging--iio--addac--adt7316-spi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 15.0  9.85 263 true 14.7  9.90 267 true 13.8  8.87 271
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--staging--iio--dds--ad5930.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 12.8  8.05 258 true 14.7  9.24 259 true 13.2  8.00 263
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--staging--iio--dds--ad9850.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 9.62 5.45 253 true 10.6  5.89 267 true 10.2  5.64 256
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--staging--iio--dds--ad9852.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 13.8  8.14 266 true 13.4  8.05 272 true 13.1  7.89 263
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--staging--iio--dds--ad9910.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 13.2  7.68 265 true 13.8  7.93 264 true 14.1  8.00 280
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--staging--iio--dds--ad9951.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 12.6  7.20 267 true 12.8  7.41 269 true 12.6  7.27 268
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--staging--iio--iio_dummy_evgen.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 405    367    514 unknown 55.2  43.8  526 unknown 559    517    592
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--staging--iio--kfifo_buf.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 10.5  5.92 258 true 9.42 5.37 262 true 9.63 5.47 255
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--staging--iio--meter--ade7854-i2c.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 19.7  13.3  282 true 18.0  12.5  276 true 19.4  14.0  279
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--staging--iio--ring_sw.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 15.4  9.41 298 true 17.0  11.2  309 true 15.4  9.42 300
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--staging--media--cxd2099--cxd2099.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 22.4  15.0  362 true 24.0  16.2  364 true 23.5  15.6  352
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--staging--phison--phison.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 16.5  11.4  289 true 18.2  12.8  294 true 17.4  12.1  281
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--staging--speakup--speakup_acntsa.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 10.9  6.09 270 true 10.6  5.94 260 true 11.0  6.12 270
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--staging--speakup--speakup_dummy.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 10.5  5.89 258 true 10.0  5.63 259 true 10.3  5.76 265
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--staging--speakup--speakup_ltlk.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 11.6  6.44 301 true 12.0  6.47 302 true 12.1  6.72 306
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--staging--speakup--speakup_soft.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 14.9  8.16 389 true 13.8  8.03 383 true 15.3  8.30 379
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--staging--speakup--speakup_spkout.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 11.5  6.28 271 true 11.2  6.36 263 true 11.1  6.18 266
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--staging--speakup--speakup_txprt.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 10.2  5.69 260 true 10.9  6.06 269 true 10.3  5.77 265
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--staging--vme--boards--vme_vmivme7805.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 11.0  5.96 230 true 10.0  5.57 241 true 9.73 5.34 234
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--staging--zram--zram.ko-ldv_main1_sequence_infinite_withcheck_stateful.cil.out.yml true 26.3  16.9  522 true 31.9  20.8  555 true 27.7  18.6  543
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--tty--serial--altera_jtaguart.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 14.2  8.62 296 true 14.7  8.72 321 true 14.9  8.95 366
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--tty--serial--altera_uart.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 14.1  7.83 360 true 15.0  8.49 372 true 14.6  8.51 369
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--tty--serial--uartlite.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 23.4  15.6  387 true 20.5  13.3  373 true 22.7  15.3  374
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--tty--serial--xilinx_uartps.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 20.2  12.8  358 true 20.8  13.0  370 true 22.2  14.9  364
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--usb--atm--xusbatm.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 16.4  10.2  353 true 16.4  9.75 380 true 16.8  10.2  372
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--usb--dwc3--dwc3-pci.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 14.3  9.24 266 true 12.7  8.07 267 true 13.8  9.68 257
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--usb--serial--empeg.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 11.1  6.04 265 true 10.4  5.83 262 true 11.0  6.05 264
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--usb--serial--funsoft.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 8.89 4.94 215 true 8.54 4.85 205 true 9.50 5.32 211
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--usb--serial--ipaq.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 21.5  12.3  685 true 23.4  13.2  735 true 22.0  12.8  681
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--usb--serial--moto_modem.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 8.80 4.86 212 true 8.66 4.93 207 true 9.74 5.32 213
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--usb--serial--siemens_mpi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 8.76 4.82 211 true 8.99 5.01 211 true 8.71 4.91 213
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--usb--serial--usb_debug.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 10.1  5.55 225 true 9.58 5.26 226 true 9.32 5.15 230
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--usb--serial--vivopay-serial.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 9.80 5.43 208 true 9.15 5.04 211 true 9.37 5.24 208
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--usb--serial--zio.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 9.40 5.19 204 true 8.83 5.00 208 true 9.62 5.28 211
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--usb--storage--ums-alauda.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 50.0  36.9  577 true 51.8  38.1  624 true 55.6  40.6  607
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--usb--storage--ums-cypress.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 21.9  13.8  372 true 21.2  13.5  379 true 19.4  12.7  373
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--usb--storage--ums-datafab.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 30.9  19.7  538 true 28.8  18.4  595 true 29.1  18.7  565
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--usb--storage--ums-freecom.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 15.2  8.45 355 true 14.5  8.04 344 true 13.8  7.70 354
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--usb--storage--ums-jumpshot.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 26.5  15.4  527 true 24.1  14.7  542 true 23.0  14.7  600
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--usb--storage--ums-sddr09.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 33.5  21.2  577 true 28.3  17.9  589 true 29.3  18.7  579
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--usb--storage--ums-sddr55.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 32.0  21.6  483 true 36.3  24.8  484 true 28.8  19.5  475
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--usb--storage--ums-usbat.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 32.8  21.8  490 true 35.2  23.9  497 true 33.5  21.9  492
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--uwb--i1480--i1480-est.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 10.2  5.62 220 true 9.26 5.23 208 true 10.1  5.59 213
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--video--backlight--ili9320.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 23.6  16.7  304 true 20.3  14.1  301 true 20.9  14.9  316
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--video--backlight--lcd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 11.3  6.24 259 true 10.9  6.15 290 true 12.2  6.69 269
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--video--backlight--vgg2432a4.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 10.9  6.02 261 true 10.8  5.94 261 true 10.9  5.94 272
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--video--n411.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 11.1  6.15 263 true 10.4  5.71 261 true 10.6  5.80 251
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--video--vfb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 60.5  45.6  888 true 46.6  34.5  752 true 106    86.8  1040
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--w1--masters--w1-gpio.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 10.1  5.69 251 true 9.42 5.37 245 true 9.28 5.37 252
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--w1--slaves--w1_bq27000.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 8.93 5.09 218 true 9.36 5.40 223 true 8.55 4.85 215
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--w1--slaves--w1_ds2408.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 29.8  21.5  353 true 30.8  22.3  365 true 26.0  17.4  368
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--w1--slaves--w1_ds2423.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 9.68 5.65 236 true 8.85 5.08 236 true 9.60 5.47 223
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--w1--slaves--w1_ds2431.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 10.5  5.93 250 true 10.6  5.95 260 true 10.2  5.78 259
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--w1--slaves--w1_ds2760.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 10.6  5.98 250 true 9.84 5.62 257 true 10.4  5.77 257
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--w1--slaves--w1_ds2780.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 9.98 5.61 247 true 10.0  5.68 257 true 10.1  5.56 257
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--w1--slaves--w1_ds2781.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 9.80 5.51 246 true 10.5  5.76 255 true 10.6  5.95 260
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--w1--slaves--w1_smem.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 8.19 4.78 195 true 8.29 4.82 195 true 8.03 4.68 197
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--watchdog--acquirewdt.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 17.2  10.8  279 true 15.9  10.5  287 true 17.0  11.3  290
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--watchdog--advantechwdt.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 14.8  9.37 303 true 16.5  10.8  303 true 16.7  10.6  310
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--watchdog--cpu5wdt.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 19.2  13.6  306 true 18.2  12.2  306 true 16.9  11.3  291
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--watchdog--f71808e_wdt.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 16.9  10.0  310 true 15.8  9.44 319 true 16.7  10.4  312
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--watchdog--geodewdt.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 18.2  11.7  424 true 19.1  12.3  428 true 18.4  11.6  408
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--watchdog--iTCO_vendor_support.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 8.61 5.04 210 true 8.22 4.83 211 true 8.10 4.73 210
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--watchdog--ib700wdt.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 16.2  10.6  280 true 16.9  11.1  279 true 16.5  10.8  277
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--watchdog--ibmasr.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 15.2  9.24 268 true 13.6  8.38 269 true 13.9  8.48 264
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--watchdog--it8712f_wdt.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 21.1  13.9  430 true 21.3  13.7  433 true 20.6  13.2  421
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--watchdog--machzwd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 13.6  7.95 267 true 12.8  7.44 269 true 13.0  7.52 271
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--watchdog--pc87413_wdt.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 16.8  9.89 419 true 15.8  9.38 451 true 16.6  9.73 436
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--watchdog--sbc60xxwdt.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 13.9  8.57 264 true 14.0  8.62 273 true 14.4  8.76 277
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--watchdog--sbc8360.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 10.9  5.90 256 true 9.87 5.63 256 true 10.4  5.81 261
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--watchdog--sbc_epx_c3.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 14.7  9.02 367 true 15.0  8.90 389 true 15.8  9.23 370
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--watchdog--sc520_wdt.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 14.1  8.61 266 true 13.1  8.19 274 true 13.7  8.51 267
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--watchdog--sch311x_wdt.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 17.2  11.1  312 true 18.4  11.9  310 true 17.2  11.0  297
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--watchdog--smsc37b787_wdt.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 17.1  9.87 421 true 16.4  9.79 451 true 15.5  9.44 456
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--watchdog--softdog.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 8.97 5.25 238 true 9.07 5.22 236 true 9.59 5.62 236
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--watchdog--w83697hf_wdt.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 17.4  11.1  300 true 15.7  9.50 301 true 16.6  10.1  305
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--watchdog--w83697ug_wdt.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 14.0  8.42 311 true 14.2  8.50 312 true 15.6  8.89 304
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--watchdog--w83877f_wdt.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 14.7  8.90 266 true 14.0  8.61 282 true 13.5  8.36 277
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--watchdog--w83977f_wdt.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 12.5  6.81 291 true 12.1  6.66 297 true 13.1  7.18 304
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--watchdog--wafer5823wdt.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 13.5  8.44 302 true 14.3  8.79 298 true 13.2  8.21 297
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--watchdog--wdt_pci.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 18.1  10.2  333 true 17.9  10.2  361 true 18.1  10.5  354
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--watchdog--wm831x_wdt.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 11.6  6.66 255 true 11.8  7.01 269 true 11.2  6.43 262
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--xen--xenfs--xenfs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 14.5  8.88 310 true 14.4  9.06 296 true 15.5  9.17 309
ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--xen--xenfs--xenfs.ko-ldv_main1_sequence_infinite_withcheck_stateful.cil.out.yml true 14.9  9.01 296 true 14.7  9.08 303 true 15.8  9.62 306
ldv-commit-tester/main3_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef-1.yml true 42.4  24.1  850 true 43.4  24.4  837 true 46.3  25.3  830
ldv-commit-tester/main3_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.yml true 50.4  27.5  795 true 43.5  24.4  833 true 46.6  27.2  843
ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef-1.yml true 42.2  24.0  782 true 43.7  24.5  812 true 46.8  27.2  820
ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.yml true 46.0  25.7  793 true 42.2  23.5  848 true 45.5  25.6  782
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--media--i2c--cx25840--cx25840.ko-entry_point.cil.out.yml true 205    174    2460 true 185    158    2320 true 187    160    2460
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--media--usb--dvb-usb--dvb-usb-vp7045.ko-entry_point.cil.out.yml true 39.8  28.3  1220 true 41.9  29.6  1340 true 40.9  29.2  1150
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--net--wireless--rtlwifi--btcoexist--btcoexist.ko-entry_point.cil.out.yml true 50.2  31.8  1250 true 50.9  32.9  1320 true 47.8  31.5  1180
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--media--i2c--cx25840--cx25840.ko-entry_point.cil.out.yml true 199    172    2880 true 191    165    2350 true 192    165    2610
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--net--wireless--rtlwifi--btcoexist--btcoexist.ko-entry_point.cil.out.yml true 54.9  36.4  1330 true 50.8  34.5  1400 true 55.1  35.6  1420
ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-43_2a-drivers--regulator--lp8755.ko-entry_point.cil.out.yml true 114    83.3  2000 true 105    76.7  2110 true 108    77.3  2010
ldv-linux-3.14/linux-3.14_linux-alloc-spinlock_drivers-media-i2c-cx25840-cx25840.cil.yml true 238    211    2430 true 218    191    2570 true 208    184    2620
../../../../trunk/examples/svcomp/ status cputime (s) walltime (s) memory (MB) status cputime (s) walltime (s) memory (MB) status cputime (s) walltime (s) memory (MB)
total 615 20400 16000 238000 615 23400 19100 243000 615 54700 46700 273000
Run set student-sifa-svcomp-reachsafety.Sifa student-sifa-svcomp-reachsafety-ok.Sifa student-sifa-svcomp-reachsafety-ok.Sifa