Tool CPAchecker 1.3.4-svn 13949
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 2
Host [cs-sel-05; cs-sel-06; db1; db2; db3; db4; db5; db6; db7; db8]
OS [Linux 3.13.0-36-generic; Linux 3.13.0-37-generic]
System CPU: [Intel Core i7-2600K @ 3.40 GHz; Intel Core i7-2600 @ 3.40 GHz] with 8 cores, frequency: 3.4 GHz; RAM: [16 GB; 33 GB]
Date of execution 14-10-16 18:16
Run set va_default__pred_sbe va_domain__pred_sbe
Options -disable-java-assertions -noout -setprop log.consoleLevel=WARNING -heap 12000M -skipRecursion -ldv -setprop analysis.checkCounterexamples=true -setprop counterexample.checker=CPACHECKER -setprop counterexample.checker.config=config/predicateAnalysis-as-bitprecise-cex-check.properties -setprop cpa.value.refiner.prefixPreference=DEFAULT -setprop cpa.predicate.blk.threshold=1 -setprop cpa.predicate.abstraction.computation=CARTESIAN -disable-java-assertions -noout -setprop log.consoleLevel=WARNING -heap 12000M -skipRecursion -ldv -setprop analysis.checkCounterexamples=true -setprop counterexample.checker=CPACHECKER -setprop counterexample.checker.config=config/predicateAnalysis-as-bitprecise-cex-check.properties -setprop cpa.value.refiner.prefixPreference=DOMAIN_BEST_DEEP -setprop cpa.predicate.blk.threshold=1 -setprop cpa.predicate.abstraction.computation=CARTESIAN
Propertyfile ./benchmarks/slicedItp/svcomp14/ldv-consumption/ALL.prp
../benchmarks/slicedItp/svcomp14/ status cputime walltime host memUsage status cputime walltime host memUsage
ntdrivers/diskperf_false.i.cil.c false(reach) 29.665s 20.547s cs-sel-06 2987372544 false(reach) 21.309s 12.617s db3 1253281792
ntdrivers/floppy_false.i.cil.c false(reach) 30.740s 20.598s db8 2402263040 false(reach) 29.139s 19.482s db2 2452512768
ntdrivers/kbfiltr_false.i.cil.c false(reach) 15.096s 8.260s db8 436314112 false(reach) 13.658s 7.639s cs-sel-05 420851712
ntdrivers/parport_false.i.cil.c false(reach) 43.084s 29.387s db2 4065648640 false(reach) 54.778s 39.452s db2 3690364928
ntdrivers/cdaudio_true.i.cil.c true 27.730s 18.493s cs-sel-06 1939550208 true 30.550s 19.956s db4 2407518208
ntdrivers/diskperf_true.i.cil.c true 37.811s 28.020s db4 4341809152 true 25.165s 16.260s db1 1907478528
ntdrivers/floppy2_true.i.cil.c true 59.224s 43.734s db1 4502392832 true 64.099s 49.455s db4 4416376832
ntdrivers/floppy_true.i.cil.c true 35.210s 23.569s db4 2877464576 true 34.980s 23.913s db8 3618177024
ntdrivers/parport_true.i.cil.c true 65.830s 49.352s db1 4737929216 true 72.580s 55.476s db5 4411301888
ssh/s3_clnt.blast.01_false.i.cil.c timeout 901.362s 890.524s db5 1376464896 timeout 901.461s 891.270s db7 1138364416
ssh/s3_clnt.blast.02_false.i.cil.c unknown 11.846s 6.697s db1 215818240 unknown 12.418s 7.039s db7 243806208
ssh/s3_clnt.blast.03_false.i.cil.c unknown 12.278s 6.938s db3 247902208 unknown 12.189s 6.876s db6 243359744
ssh/s3_clnt.blast.04_false.i.cil.c unknown 12.205s 6.903s db3 243425280 unknown 12.417s 7.000s db7 241905664
ssh/s3_srvr.blast.01_false.i.cil.c false(reach) 10.255s 5.981s db3 246468608 false(reach) 9.943s 5.813s db6 251129856
ssh/s3_srvr.blast.02_false.i.cil.c false(reach) 9.480s 5.540s cs-sel-06 211173376 false(reach) 10.210s 5.899s db3 246251520
ssh/s3_srvr.blast.03_false.i.cil.c false(reach) 9.198s 5.469s cs-sel-05 203100160 false(reach) 10.180s 5.883s db7 245575680
ssh/s3_srvr.blast.04_false.i.cil.c false(reach) 9.990s 5.858s db3 246444032 false(reach) 10.057s 5.859s db4 245780480
ssh/s3_srvr.blast.06_false.i.cil.c timeout 900.961s 869.169s cs-sel-06 7338950656 timeout 900.907s 869.173s db8 7414874112
ssh/s3_srvr.blast.07_false.i.cil.c timeout 901.261s 877.164s db5 6915325952 timeout 901.745s 878.302s db4 7175036928
ssh/s3_srvr.blast.08_false.i.cil.c timeout 912.288s 878.005s db2 11843940352 timeout 900.950s 866.361s cs-sel-05 7413960704
ssh/s3_srvr.blast.09_false.i.cil.c timeout 902.010s 880.357s cs-sel-06 12881256448 timeout 900.978s 878.203s db8 12869177344
ssh/s3_srvr.blast.10_false.i.cil.c out of memory 887.089s 863.143s db8 15000002560 out of memory 881.807s 848.652s db8 15000002560
ssh/s3_srvr.blast.11_false.i.cil.c false(reach) 17.136s 10.355s cs-sel-05 290222080 false(reach) 18.453s 10.928s db6 412065792
ssh/s3_srvr.blast.12_false.i.cil.c timeout 900.877s 868.285s db7 7430094848 timeout 901.242s 869.518s db6 7387934720
ssh/s3_srvr.blast.13_false.i.cil.c timeout 901.459s 875.882s db7 6705942528 timeout 901.908s 876.076s db8 6722039808
ssh/s3_srvr.blast.14_false.i.cil.c timeout 901.009s 873.041s cs-sel-06 7311912960 timeout 901.102s 871.904s db1 7377653760
ssh/s3_srvr.blast.15_false.i.cil.c timeout 901.140s 867.024s cs-sel-06 7313035264 timeout 921.343s 887.013s db7 7425941504
ssh/s3_srvr.blast.16_false.i.cil.c timeout 900.899s 863.694s db6 7420342272 timeout 900.823s 866.935s db7 7349800960
ssh/s3_clnt.blast.01_true.i.cil.c unknown 287.811s 274.701s db7 2518990848 unknown 286.936s 274.367s db8 2523463680
ssh/s3_clnt.blast.02_true.i.cil.c timeout 902.089s 874.527s db6 3268562944 timeout 901.841s 875.617s db1 5169778688
ssh/s3_clnt.blast.03_true.i.cil.c timeout 901.776s 874.849s db8 4069068800 timeout 901.833s 874.472s db6 4439035904
ssh/s3_clnt.blast.04_true.i.cil.c unknown 179.058s 166.485s cs-sel-05 2010820608 unknown 177.487s 165.347s db1 2992271360
ssh/s3_srvr.blast.01_true.i.cil.c unknown 86.863s 75.781s db8 2339393536 unknown 88.381s 77.029s db4 2358067200
ssh/s3_srvr.blast.02_true.i.cil.c unknown 36.369s 26.797s db2 884858880 unknown 34.519s 25.555s cs-sel-05 783032320
ssh/s3_srvr.blast.06_true.i.cil.c unknown 44.515s 32.685s db6 992329728 unknown 45.390s 32.718s db3 995508224
ssh/s3_srvr.blast.07_true.i.cil.c timeout 902.084s 876.838s db6 6616403968 timeout 901.533s 868.481s cs-sel-06 6500552704
ssh/s3_srvr.blast.08_true.i.cil.c unknown 18.444s 11.203s db5 328196096 unknown 18.935s 11.387s db8 390926336
ssh/s3_srvr.blast.09_true.i.cil.c timeout 901.271s 875.259s db6 12906065920 timeout 901.336s 875.518s db7 12920451072
ssh/s3_srvr.blast.10_true.i.cil.c unknown 17.071s 9.810s db2 291139584 unknown 16.330s 9.490s db1 269914112
ssh/s3_srvr.blast.11_true.i.cil.c timeout 901.808s 876.190s db8 3644461056 timeout 902.029s 874.901s cs-sel-05 5153345536
ssh/s3_srvr.blast.12_true.i.cil.c unknown 29.136s 19.302s db8 566652928 unknown 28.285s 18.910s db3 562216960
ssh/s3_srvr.blast.13_true.i.cil.c timeout 901.787s 876.958s cs-sel-06 6083661824 timeout 901.803s 873.484s db5 6113726464
ssh/s3_srvr.blast.14_true.i.cil.c unknown 33.527s 23.480s db8 673882112 unknown 32.769s 22.660s db3 526774272
ssh/s3_srvr.blast.15_true.i.cil.c unknown 22.508s 13.696s cs-sel-06 414412800 unknown 22.906s 13.620s db5 407646208
ssh/s3_srvr.blast.16_true.i.cil.c unknown 37.565s 26.676s db7 707809280 unknown 37.912s 27.549s db4 724127744
bitvector/byte_add_false.i unknown 121.439s 107.544s cs-sel-06 4733407232 unknown 129.760s 116.458s db2 4660580352
bitvector/byte_add_1_true.i unknown 124.006s 111.325s cs-sel-05 4741373952 unknown 239.950s 223.816s db8 5046845440
bitvector/byte_add_2_true.i unknown 123.032s 110.458s db1 4734849024 unknown 44.333s 36.331s db4 2630799360
bitvector/gcd_1_true.i out of memory 762.170s 674.873s cs-sel-05 15000002560 out of memory 728.351s 648.579s db7 15000002560
bitvector/gcd_2_true.i true 3.392s 2.215s cs-sel-06 133304320 true 3.623s 2.383s db6 166596608
bitvector/gcd_3_true.i out of memory 797.045s 690.207s db5 15000002560 out of memory 832.298s 721.860s db7 15000002560
bitvector/gcd_4_true.i true 2.686s 1.695s db3 154796032 true 2.848s 1.790s db8 156581888
bitvector/interleave_bits_true.i unknown 3.354s 2.122s db1 135946240 unknown 3.382s 2.130s db2 186245120
bitvector/jain_1_true.i unknown 2.751s 1.706s db4 163921920 unknown 2.642s 1.665s db8 168304640
bitvector/jain_2_true.i unknown 2.620s 1.687s cs-sel-06 131907584 unknown 2.653s 1.706s db2 163278848
bitvector/jain_4_true.i unknown 2.819s 1.768s db6 165605376 unknown 2.788s 1.761s db3 162963456
bitvector/jain_5_true.i timeout 930.041s 493.595s db6 12345442304 timeout 929.464s 494.083s db2 12708741120
bitvector/jain_6_true.i unknown 2.794s 1.729s db3 165793792 unknown 2.892s 1.768s db8 164630528
bitvector/jain_7_true.i unknown 2.725s 1.725s db7 162136064 unknown 2.760s 1.768s db6 163364864
bitvector/modulus_true.i unknown 3.256s 2.216s db3 166785024 unknown 3.232s 2.204s db7 171986944
bitvector/num_conversion_1_true.i true 2.892s 1.877s cs-sel-05 133136384 true 2.928s 1.860s db8 165621760
bitvector/num_conversion_2_true.i unknown 2.944s 1.854s db3 167129088 unknown 3.093s 1.883s db3 165179392
bitvector/parity_true.i unknown 2.907s 1.798s db4 171986944 unknown 2.686s 1.697s db3 164290560
bitvector/sum02_true.i timeout 929.798s 642.383s db2 12325449728 timeout 930.089s 576.931s db3 13150810112
bitvector/s3_clnt_1_false.BV.c.cil.c false(reach) 7.859s 4.442s db8 249794560 false(reach) 9.784s 5.583s db6 277237760
bitvector/s3_clnt_2_false.BV.c.cil.c false(reach) 9.965s 5.698s db3 247226368 false(reach) 13.882s 7.705s db7 274087936
bitvector/s3_clnt_3_false.BV.c.cil.c false(reach) 8.888s 4.994s db6 258514944 false(reach) 8.047s 4.609s db2 255209472
bitvector/s3_clnt_1_true.BV.c.cil.c true 9.310s 5.212s db8 244092928 true 12.565s 7.028s db2 383610880
bitvector/s3_clnt_2_true.BV.c.cil.c true 7.595s 4.388s db3 218566656 true 11.895s 6.515s db2 254750720
bitvector/s3_clnt_3_true.BV.c.cil.c true 10.615s 5.828s db6 258658304 true 9.515s 5.312s db6 245125120
bitvector/s3_srvr_1_alt_true.BV.c.cil.c timeout 905.935s 854.249s db7 5448892416 timeout 904.215s 848.462s db8 5399277568
bitvector/s3_srvr_1_true.BV.c.cil.c true 7.177s 4.106s db1 167124992 true 11.470s 6.539s db8 376938496
bitvector/s3_srvr_2_alt_true.BV.c.cil.c true 7.466s 4.268s db4 214237184 true 10.830s 6.012s db8 252207104
bitvector/s3_srvr_2_true.BV.c.cil.c true 7.205s 4.154s db4 224157696 true 11.768s 6.459s db2 245157888
bitvector/s3_srvr_3_alt_true.BV.c.cil.c true 6.879s 3.991s db3 222879744 true 11.782s 6.724s db4 384221184
bitvector/s3_srvr_3_true.BV.c.cil.c true 7.073s 4.101s db8 218980352 true 11.812s 6.677s cs-sel-05 260763648
bitvector/soft_float_1_true.c.cil.c timeout 901.214s 884.911s db7 8886398976 timeout 901.191s 885.353s db5 8647323648
bitvector/soft_float_2_true.c.cil.c unknown 11.006s 6.273s db2 260038656 unknown 10.256s 6.009s db6 266649600
bitvector/soft_float_3_true.c.cil.c unknown 10.177s 5.770s db4 270176256 unknown 9.754s 5.578s db8 267272192
bitvector/soft_float_4_true.c.cil.c timeout 903.251s 710.824s db7 8572346368 timeout 903.976s 704.527s db1 7155671040
bitvector/soft_float_5_true.c.cil.c unknown 11.573s 6.592s cs-sel-05 251600896 unknown 11.342s 6.593s db8 260038656
bitvector-regression/implicitfloatconversion_false.i false(reach) 2.518s 1.618s db7 157818880 false(reach) 2.508s 1.624s db7 157884416
bitvector-regression/implicitunsignedconversion_false.i true 2.485s 1.566s db4 151101440 true 2.482s 1.574s db4 154771456
bitvector-regression/integerpromotion_false.i false(reach) 3.222s 1.990s db7 181702656 false(reach) 3.366s 2.063s db3 179740672
bitvector-regression/pointer_extension2_false.i false(reach) 3.223s 2.003s db7 176263168 false(reach) 3.438s 2.079s db3 182267904
bitvector-regression/pointer_extension3_false.i false(reach) 3.104s 1.948s db6 183377920 false(reach) 3.379s 2.075s db3 177246208
bitvector-regression/pointer_extension_false.i false(reach) 3.069s 1.905s db5 135483392 false(reach) 3.237s 2.009s cs-sel-05 129589248
bitvector-regression/signextension2_false.i true 2.863s 1.771s db3 163647488 true 2.758s 1.770s cs-sel-06 128892928
bitvector-regression/signextension_false.i true 2.900s 1.815s db3 167346176 true 2.814s 1.760s cs-sel-06 134107136
bitvector-regression/implicitunsignedconversion_true.i true 2.481s 1.572s db3 154087424 true 2.442s 1.560s db2 151109632
bitvector-regression/integerpromotion_true.i true 3.005s 1.855s db1 132841472 true 2.990s 1.876s cs-sel-06 130928640
bitvector-regression/pointer_extension_true.i false(reach) 3.298s 2.036s db7 174923776 false(reach) 3.208s 1.992s db5 136040448
bitvector-regression/signextension2_true.i true 3.527s 2.145s db3 207572992 true 3.464s 2.116s db1 143835136
bitvector-regression/signextension_true.i true 3.325s 2.048s db2 203587584 true 3.280s 2.075s db6 203145216
ntdrivers-simplified/cdaudio_simpl1_false.cil.c false(reach) 13.577s 7.848s db2 477704192 false(reach) 14.427s 8.659s db7 639094784
ntdrivers-simplified/floppy_simpl3_false.cil.c false(reach) 16.314s 10.275s db5 1276858368 false(reach) 16.210s 9.935s db6 747606016
ntdrivers-simplified/floppy_simpl4_false.cil.c false(reach) 19.205s 12.889s db1 1578401792 false(reach) 18.099s 11.733s db7 1296601088
ntdrivers-simplified/kbfiltr_simpl2_false.cil.c false(reach) 10.925s 6.046s db8 265715712 false(reach) 12.182s 6.819s db8 402534400
ntdrivers-simplified/cdaudio_simpl1_true.cil.c true 18.731s 12.059s db5 1273012224 true 21.304s 14.257s db7 1365065728
ntdrivers-simplified/diskperf_simpl1_true.cil.c true 26.507s 19.095s db6 2523271168 true 27.809s 20.093s db7 2405478400
ntdrivers-simplified/floppy_simpl3_true.cil.c true 15.330s 9.454s db3 1173438464 true 14.523s 8.781s db1 724357120
ntdrivers-simplified/floppy_simpl4_true.cil.c true 18.423s 12.284s cs-sel-05 1852334080 true 17.440s 11.319s db8 1230057472
ntdrivers-simplified/kbfiltr_simpl1_true.cil.c true 5.984s 3.447s db6 206757888 true 6.973s 3.997s db8 222556160
ntdrivers-simplified/kbfiltr_simpl2_true.cil.c true 7.357s 4.215s db6 224960512 true 9.688s 5.434s db4 240975872
ssh-simplified/s3_clnt_1_false.cil.c false(reach) 8.537s 4.828s db7 266993664 false(reach) 8.625s 4.919s db6 265486336
ssh-simplified/s3_clnt_2_false.cil.c false(reach) 8.771s 4.994s db2 278245376 false(reach) 8.869s 5.084s db3 276451328
ssh-simplified/s3_clnt_3_false.cil.c false(reach) 8.577s 4.979s db6 269869056 false(reach) 8.608s 4.946s db2 271536128
ssh-simplified/s3_clnt_4_false.cil.c false(reach) 9.118s 5.142s db4 281767936 false(reach) 8.966s 5.100s db8 277725184
ssh-simplified/s3_srvr_10_false.cil.c false(reach) 15.134s 8.710s db4 467230720 false(reach) 15.816s 9.369s db5 532881408
ssh-simplified/s3_srvr_11_false.cil.c false(reach) 13.317s 7.383s cs-sel-05 303783936 false(reach) 15.023s 8.615s db1 440901632
ssh-simplified/s3_srvr_12_false.cil.c false(reach) 18.413s 10.739s db2 711499776 false(reach) 32.982s 23.703s db2 2415796224
ssh-simplified/s3_srvr_13_false.cil.c false(reach) 14.687s 8.386s db3 419270656 false(reach) 14.628s 8.199s db7 415846400
ssh-simplified/s3_srvr_14_false.cil.c false(reach) 13.080s 7.563s db2 452771840 false(reach) 14.945s 8.936s cs-sel-05 582742016
ssh-simplified/s3_srvr_1_false.cil.c false(reach) 6.914s 4.111s db7 256577536 false(reach) 6.971s 4.119s db7 254222336
ssh-simplified/s3_srvr_2_false.cil.c false(reach) 6.743s 4.051s db6 255647744 false(reach) 6.871s 4.122s db6 253861888
ssh-simplified/s3_srvr_6_false.cil.c false(reach) 3.852s 2.400s db5 167936000 false(reach) 3.696s 2.378s cs-sel-05 171032576
ssh-simplified/s3_clnt_1_true.cil.c true 6.647s 3.843s db2 218345472 true 9.767s 5.554s db5 247554048
ssh-simplified/s3_clnt_2_true.cil.c true 8.044s 4.564s db8 231215104 true 11.602s 6.380s db2 242864128
ssh-simplified/s3_clnt_3_true.cil.c true 7.946s 4.494s db2 228659200 true 11.381s 6.203s cs-sel-06 262115328
ssh-simplified/s3_clnt_4_true.cil.c true 6.989s 4.015s db5 156708864 true 10.688s 5.941s db6 282337280
ssh-simplified/s3_srvr_1_true.cil.c true 6.290s 3.698s db8 215683072 true 13.006s 7.307s db4 383721472
ssh-simplified/s3_srvr_1a_true.cil.c true 3.346s 2.148s db2 169480192 true 3.935s 2.458s db8 174739456
ssh-simplified/s3_srvr_1b_true.cil.c true 2.672s 1.756s db6 156901376 true 2.769s 1.805s cs-sel-06 136798208
ssh-simplified/s3_srvr_2_true.cil.c true 6.750s 3.903s db5 154411008 true 8.892s 5.011s db8 236888064
ssh-simplified/s3_srvr_3_true.cil.c true 7.295s 4.165s db7 221589504 true 11.222s 6.401s cs-sel-06 252764160
ssh-simplified/s3_srvr_4_true.cil.c true 8.085s 4.641s db6 217255936 true 8.117s 4.610s db2 214925312
ssh-simplified/s3_srvr_6_true.cil.c true 10.512s 5.936s db2 377323520 true 16.266s 9.565s db3 727310336
ssh-simplified/s3_srvr_7_true.cil.c true 11.935s 6.655s db5 261713920 true 11.328s 6.217s cs-sel-05 266956800
ssh-simplified/s3_srvr_8_true.cil.c true 9.203s 5.138s db8 242130944 true 14.587s 8.257s db6 400764928
locks/test_locks_14_false.c false(reach) 3.150s 2.032s db2 188006400 false(reach) 3.416s 2.166s db3 190980096
locks/test_locks_15_false.c false(reach) 3.309s 2.135s db2 192561152 false(reach) 3.290s 2.088s db3 193286144
locks/test_locks_10_true.c true 75.129s 62.424s db1 3897495552 true 76.897s 66.648s db4 4493824000
locks/test_locks_11_true.c true 279.057s 255.707s db7 4912017408 true 274.448s 252.107s db4 4935786496
locks/test_locks_12_true.c timeout 901.680s 841.669s db6 5678702592 timeout 901.250s 840.405s db7 5707452416
locks/test_locks_13_true.c timeout 901.413s 847.707s db4 5246681088 timeout 901.379s 819.410s db5 5772423168
locks/test_locks_14_true.c timeout 901.087s 842.521s db3 5703430144 timeout 901.376s 843.710s db7 5508935680
locks/test_locks_15_true.c timeout 901.846s 828.387s db4 5786640384 timeout 901.277s 828.709s db1 5596024832
locks/test_locks_5_true.c true 6.320s 3.683s db8 219152384 true 6.338s 3.695s db4 220282880
locks/test_locks_6_true.c true 9.208s 5.116s db7 239403008 true 8.342s 4.768s db8 244760576
locks/test_locks_7_true.c true 10.361s 6.070s db7 374452224 true 10.731s 6.233s db7 372682752
locks/test_locks_8_true.c true 15.534s 9.899s db2 698433536 true 13.806s 9.078s db2 688447488
locks/test_locks_9_true.c true 28.718s 21.198s db7 1836187648 true 26.399s 19.876s cs-sel-06 1705017344
eca/Problem01_20_false.c false(reach) 18.931s 11.341s db8 761405440 false(reach) 18.745s 10.940s db3 726085632
eca/Problem01_50_false.c false(reach) 14.084s 7.964s db5 406384640 false(reach) 16.855s 9.453s db7 422907904
eca/Problem01_60_false.c false(reach) 13.932s 7.765s db8 314335232 false(reach) 15.425s 8.614s db4 404971520
eca/Problem02_50_false.c false(reach) 20.740s 12.778s db4 764428288 false(reach) 16.373s 9.218s db4 397688832
eca/Problem02_60_false.c false(reach) 17.007s 9.934s db5 459284480 false(reach) 18.578s 11.115s db3 661381120
eca/Problem03_50_false.c timeout 901.714s 829.331s db7 5903462400 false(reach) 226.461s 167.854s db4 6740779008
eca/Problem03_60_false.c false(reach) 39.206s 28.960s db2 2573008896 false(reach) 53.270s 36.700s cs-sel-06 2566017024
eca/Problem04_40_false.c timeout 929.967s 535.250s db7 12807741440 timeout 910.525s 785.392s db6 8450600960
eca/Problem04_60_false.c false(reach) 139.076s 90.968s cs-sel-05 5473685504 false(reach) 195.316s 163.149s db8 5174710272
eca/Problem05_00_false.c timeout 930.112s 515.034s db7 13053526016 timeout 903.309s 648.124s cs-sel-05 10708885504
eca/Problem05_30_false.c timeout 930.290s 537.516s cs-sel-06 13138128896 timeout 904.643s 647.789s db3 12299223040
eca/Problem05_40_false.c timeout 929.754s 541.075s db2 13058195456 timeout 930.313s 630.599s cs-sel-06 9069080576
eca/Problem05_60_false.c timeout 930.583s 531.236s cs-sel-05 13136203776 timeout 929.688s 647.489s db2 11988267008
eca/Problem06_00_false.c timeout 901.607s 851.973s cs-sel-05 5542473728 timeout 902.502s 611.175s db8 11101171712
eca/Problem06_10_false.c timeout 901.668s 856.145s db3 5223698432 timeout 930.111s 647.377s db4 11877560320
eca/Problem06_20_false.c timeout 901.536s 843.708s db6 5821636608 timeout 907.036s 698.064s db8 10893611008
eca/Problem06_60_false.c timeout 901.461s 858.254s db3 5206364160 timeout 930.065s 657.837s db8 13034881024
eca/Problem07_20_false.c timeout 901.528s 856.219s db2 5305430016 timeout 930.093s 605.530s db8 12929363968
eca/Problem07_30_false.c timeout 902.673s 832.968s db7 6464159744 timeout 903.405s 771.717s db1 7412142080
eca/Problem07_40_false.c timeout 902.851s 828.056s db6 6441013248 timeout 903.823s 806.329s db7 6530613248
eca/Problem07_60_false.c timeout 901.527s 859.137s db2 5290332160 timeout 902.544s 750.695s db8 8306147328
eca/Problem08_10_false.c timeout 903.346s 788.590s db7 7618113536 timeout 930.527s 546.318s cs-sel-05 13126938624
eca/Problem08_50_false.c timeout 926.736s 787.950s db6 9269772288 timeout 930.119s 554.351s db7 13148221440
eca/Problem08_60_false.c timeout 902.192s 846.965s db7 5688356864 timeout 930.132s 549.761s db7 13144322048
eca/Problem09_10_false.c timeout 902.288s 850.639s db4 5864849408 timeout 929.666s 555.845s db2 13158129664
eca/Problem09_20_false.c timeout 902.208s 834.164s db5 5400829952 timeout 930.032s 558.439s db7 13157859328
eca/Problem09_60_false.c timeout 902.256s 836.946s db3 5587496960 timeout 929.928s 557.487s db8 13150789632
eca/Problem10_30_false.c timeout 930.050s 642.292s db7 11747033088 timeout 903.480s 684.995s db8 9163862016
eca/Problem10_40_false.c timeout 904.161s 611.757s db5 11576823808 timeout 903.727s 694.948s db7 9308540928
eca/Problem10_50_false.c false(reach) 21.182s 13.158s db4 789024768 false(reach) 26.112s 16.479s cs-sel-05 1221439488
eca/Problem10_60_false.c false(reach) 20.803s 12.687s cs-sel-05 809328640 false(reach) 17.216s 9.926s db2 615903232
eca/Problem11_00_false.c false(reach) 72.636s 51.849s db2 4573433856 false(reach) 49.322s 30.816s db5 2103844864
eca/Problem11_10_false.c timeout 930.190s 543.287s cs-sel-06 13025099776 timeout 904.693s 619.697s db2 10736099328
eca/Problem11_20_false.c timeout 929.948s 627.347s db4 12972875776 false(reach) 306.890s 238.558s db3 6209024000
eca/Problem11_30_false.c timeout 930.226s 540.046s cs-sel-06 12910374912 timeout 904.322s 684.680s db3 10634244096
eca/Problem11_40_false.c timeout 930.083s 584.619s db6 12826505216 timeout 929.998s 697.385s db8 10280480768
eca/Problem11_50_false.c timeout 930.051s 550.449s db6 12934033408 timeout 906.903s 703.632s db3 10178932736
eca/Problem11_60_false.c timeout 930.052s 558.846s db7 12964388864 timeout 929.959s 545.110s db4 12949577728
eca/Problem12_00_false.c timeout 930.329s 550.005s db5 12994379776 timeout 930.047s 544.159s db8 13011611648
eca/Problem12_10_false.c false(reach) 769.260s 494.972s db1 11553345536 timeout 930.055s 581.903s db3 13005705216
eca/Problem12_20_false.c timeout 929.798s 560.816s db2 12997713920 timeout 907.678s 570.664s cs-sel-05 12887711744
eca/Problem12_30_false.c timeout 930.056s 550.210s db4 13054226432 timeout 930.099s 593.495s db7 13000310784
eca/Problem12_40_false.c false(reach) 883.377s 581.758s db2 12618653696 timeout 930.019s 596.520s db7 12937138176
eca/Problem12_50_false.c timeout 930.281s 545.964s cs-sel-06 12968353792 timeout 930.208s 545.547s cs-sel-06 12990230528
eca/Problem12_60_false.c false(reach) 92.272s 69.843s db3 4503453696 false(reach) 40.009s 24.681s db2 1606422528
eca/Problem13_00_false.c timeout 929.603s 634.639s db2 12961058816 timeout 925.273s 574.855s cs-sel-06 13008740352
eca/Problem13_10_false.c timeout 929.874s 646.115s db6 12936400896 timeout 929.945s 569.174s db8 12924612608
eca/Problem13_20_false.c timeout 930.208s 542.084s db5 13053837312 timeout 930.072s 555.981s db7 13006438400
eca/Problem13_30_false.c timeout 902.617s 649.751s db6 12195037184 timeout 930.517s 544.634s cs-sel-05 12921184256
eca/Problem13_40_false.c timeout 929.957s 628.092s db4 12696797184 timeout 930.020s 571.575s db8 13083521024
eca/Problem13_50_false.c timeout 929.961s 663.372s db4 12902830080 timeout 930.290s 555.416s db5 12922474496
eca/Problem13_60_false.c false(reach) 72.500s 53.310s db2 4003049472 false(reach) 61.331s 38.577s db4 3143692288
eca/Problem14_10_false.c false(reach) 40.991s 31.319s db7 2590670848 false(reach) 30.589s 18.280s db5 1619845120
eca/Problem14_40_false.c false(reach) 47.015s 34.272s db3 2901307392 false(reach) 36.697s 22.505s db2 1855819776
eca/Problem14_60_false.c false(reach) 12.000s 6.798s db7 273637376 false(reach) 11.071s 6.218s cs-sel-05 243318784
eca/Problem15_00_false.c false(reach) 327.217s 215.057s cs-sel-05 8970022912 false(reach) 41.756s 27.127s db3 1997840384
eca/Problem15_10_false.c timeout 929.955s 542.636s db8 13043322880 timeout 908.018s 633.494s db4 12253134848
eca/Problem15_20_false.c timeout 929.558s 537.788s db2 12970115072 timeout 908.169s 607.396s db8 11857846272
eca/Problem15_30_false.c false(reach) 67.508s 42.493s db5 2745757696 false(reach) 37.585s 22.412s db1 1616175104
eca/Problem15_40_false.c false(reach) 81.015s 54.491s db7 4730253312 false(reach) 62.796s 42.786s db6 3661631488
eca/Problem15_50_false.c false(reach) 67.535s 43.406s db2 3362742272 false(reach) 56.103s 37.218s db2 3248300032
eca/Problem15_60_false.c false(reach) 16.920s 9.504s db3 396443648 false(reach) 17.348s 9.402s db4 386027520
eca/Problem16_00_false.c timeout 907.102s 606.487s db3 11404451840 timeout 930.034s 566.341s db8 13026926592
eca/Problem16_08_false.c timeout 930.207s 530.457s cs-sel-05 13000671232 timeout 926.684s 570.462s cs-sel-06 12954222592
eca/Problem16_20_false.c timeout 930.260s 551.233s db7 12984127488 timeout 906.230s 590.288s cs-sel-06 11649310720
eca/Problem16_30_false.c timeout 903.949s 708.760s db7 9248079872 timeout 930.040s 597.029s db4 12973916160
eca/Problem16_40_false.c timeout 930.072s 533.418s db4 13104340992 timeout 930.195s 607.485s db1 12836294656
eca/Problem16_60_false.c false(reach) 17.908s 9.823s db3 428670976 false(reach) 14.589s 8.113s db6 290189312
eca/Problem17_00_false.c timeout 906.895s 560.103s db2 13053657088 timeout 930.026s 574.364s db4 12945260544
eca/Problem17_10_false.c timeout 905.401s 613.905s db6 12935847936 timeout 929.954s 575.867s db7 12951130112
eca/Problem17_20_false.c false(reach) 299.777s 198.993s db7 7850311680 false(reach) 164.707s 111.866s db1 6124589056
eca/Problem17_30_false.c timeout 903.621s 594.528s db5 10575224832 false(reach) 180.326s 124.111s db4 5904179200
eca/Problem17_40_false.c timeout 906.938s 630.724s db2 11001937920 false(reach) 200.244s 137.266s db4 6798340096
eca/Problem17_50_false.c timeout 903.677s 736.451s db5 8655392768 timeout 930.563s 552.897s cs-sel-05 13003112448
eca/Problem17_60_false.c false(reach) 23.686s 13.980s db2 763621376 false(reach) 21.042s 11.400s db3 415899648
eca/Problem18_00_false.c false(reach) 445.603s 291.050s cs-sel-05 9261064192 timeout 930.218s 529.065s db5 13062881280
eca/Problem18_10_false.c timeout 901.938s 638.632s cs-sel-06 9323065344 timeout 929.668s 530.317s db2 13060464640
eca/Problem18_20_false.c false(reach) 471.689s 312.631s db8 11869519872 timeout 930.499s 557.179s cs-sel-05 12901064704
eca/Problem18_30_false.c timeout 907.109s 587.172s db3 12287746048 timeout 920.339s 543.870s db6 12975460352
eca/Problem18_40_false.c timeout 930.034s 543.757s db8 13143769088 timeout 930.041s 547.417s db6 12956610560
eca/Problem18_50_false.c timeout 930.047s 564.466s db4 12946219008 timeout 930.225s 543.747s db5 12941877248
eca/Problem18_60_false.c false(reach) 24.235s 14.164s cs-sel-05 812007424 false(reach) 22.093s 12.030s db8 455532544
eca/Problem19_00_false.c timeout 929.672s 641.596s db2 12469018624 timeout 930.166s 547.106s db5 13010710528
eca/Problem19_10_false.c timeout 904.040s 637.502s db3 12274081792 timeout 930.213s 565.522s cs-sel-06 13022285824
eca/Problem19_20_false.c timeout 929.983s 605.408s db4 13081976832 timeout 905.370s 593.946s db6 12682723328
eca/Problem19_30_false.c timeout 923.126s 607.791s db5 11432476672 timeout 929.998s 541.621s db3 12992970752
eca/Problem19_38_false.c timeout 905.966s 600.950s cs-sel-06 12223467520 timeout 930.189s 549.643s db1 12992786432
eca/Problem19_50_false.c timeout 902.509s 641.844s db4 9324511232 timeout 930.093s 535.262s db7 13003980800
eca/Problem19_60_false.c false(reach) 293.515s 205.990s db2 7242977280 false(reach) 35.737s 20.710s cs-sel-05 1487437824
eca/Problem01_00_true.c true 14.467s 8.393s cs-sel-05 423260160 true 10.779s 6.041s db7 250863616
eca/Problem01_10_true.c true 11.835s 6.713s db8 355192832 true 12.888s 7.238s db2 271323136
eca/Problem01_30_true.c true 14.602s 8.292s db2 385544192 true 12.409s 6.910s db1 256483328
eca/Problem01_40_true.c true 13.156s 7.565s db5 451006464 true 13.943s 7.673s db6 387710976
eca/Problem02_00_true.c true 12.357s 7.082s db5 388509696 true 9.233s 5.228s db3 245145600
eca/Problem02_10_true.c true 13.847s 7.878s db5 380559360 true 10.092s 5.721s db7 237551616
eca/Problem02_20_true.c true 12.797s 7.445s db8 362991616 true 11.801s 6.620s db4 344141824
eca/Problem02_30_true.c true 13.246s 7.589s db4 363204608 true 10.172s 5.752s db3 238141440
eca/Problem02_40_true.c true 12.194s 7.034s db5 386134016 true 11.961s 6.651s db3 245157888
eca/Problem03_00_true.c true 407.482s 329.128s db6 7611469824 true 44.821s 32.405s db8 3654483968
eca/Problem03_10_true.c timeout 907.966s 746.663s db4 9662676992 true 449.925s 306.618s db3 9126031360
eca/Problem03_20_true.c timeout 901.588s 829.361s db4 5994647552 true 390.974s 264.702s db1 8891281408
eca/Problem03_30_true.c timeout 930.047s 739.658s db8 11336220672 true 25.423s 16.582s db3 1437900800
eca/Problem03_40_true.c timeout 902.557s 721.247s cs-sel-05 10913644544 true 344.101s 236.860s db5 7409262592
eca/Problem04_00_true.c true 406.760s 239.523s cs-sel-06 9556856832 true 79.274s 54.869s db8 3763838976
eca/Problem04_10_true.c timeout 924.378s 538.187s db5 13063266304 true 94.828s 68.585s db6 4910657536
eca/Problem04_20_true.c true 766.092s 450.323s db3 13138272256 true 85.031s 63.365s db8 4538241024
eca/Problem04_30_true.c true 378.690s 232.475s db6 9772924928 true 72.715s 49.738s db7 3975135232
eca/Problem04_50_true.c true 296.092s 185.351s cs-sel-06 7784914944 true 63.833s 46.581s db4 4089307136
eca/Problem05_10_true.c timeout 929.705s 514.045s db2 13012729856 true 258.948s 181.833s db1 6730756096
eca/Problem05_20_true.c timeout 930.048s 514.332s db8 13055787008 timeout 902.841s 703.279s db2 9065926656
eca/Problem05_50_true.c timeout 930.002s 502.775s db3 12972199936 timeout 903.620s 675.934s db3 9369038848
eca/Problem06_30_true.c timeout 930.216s 790.321s db6 9560141824 timeout 902.747s 618.718s db2 10792583168
eca/Problem06_40_true.c timeout 906.385s 712.266s db6 12050055168 timeout 930.022s 561.627s db3 13010280448
eca/Problem06_50_true.c timeout 930.144s 542.446s db7 13114863616 timeout 910.051s 632.756s cs-sel-05 10745913344
eca/Problem07_00_true.c timeout 901.535s 854.728s db6 5311299584 timeout 930.334s 612.550s cs-sel-06 12861652992
eca/Problem07_10_true.c timeout 901.549s 852.660s db8 5411196928 timeout 930.015s 611.719s db4 13062062080
eca/Problem07_50_true.c timeout 901.680s 854.414s db2 5301428224 timeout 930.024s 617.833s db4 12966158336
eca/Problem08_00_true.c timeout 902.317s 845.928s db4 5702717440 timeout 930.251s 548.197s db5 13152649216
eca/Problem08_20_true.c timeout 902.243s 843.133s db4 5693210624 timeout 930.488s 548.350s cs-sel-05 13138563072
eca/Problem08_30_true.c timeout 904.108s 784.429s db3 8802197504 timeout 929.972s 554.569s db3 13148602368
eca/Problem08_40_true.c timeout 902.134s 841.996s db4 5689507840 timeout 929.949s 554.444s db3 13142306816
eca/Problem09_00_true.c timeout 902.278s 843.023s db3 5666562048 timeout 930.054s 554.643s db4 13153062912
eca/Problem09_30_true.c timeout 902.203s 844.921s db4 5853388800 timeout 930.037s 555.411s db8 13152137216
eca/Problem09_40_true.c timeout 902.304s 848.021s db4 5855141888 timeout 930.245s 549.867s db1 13157134336
eca/Problem09_50_true.c timeout 902.101s 852.376s db3 5828091904 timeout 929.994s 555.608s db3 13147193344
eca/Problem10_00_true.c timeout 907.395s 640.752s db6 12170092544 timeout 905.716s 708.157s db3 9452228608
eca/Problem10_10_true.c true 10.884s 6.092s db2 258027520 true 10.543s 5.946s db7 250421248
eca/Problem10_20_true.c true 10.289s 5.793s db4 249630720 true 10.604s 5.947s db2 248250368
eca/Problem14_00_true.c timeout 929.643s 575.763s db2 12989173760 timeout 930.059s 562.685s db7 12932083712
eca/Problem14_20_true.c true 13.081s 7.249s db6 255639552 true 12.535s 7.014s db8 253161472
eca/Problem14_30_true.c true 12.945s 7.210s db4 273977344 true 12.870s 7.085s db7 254394368
eca/Problem14_50_true.c timeout 929.729s 582.551s db2 12912578560 timeout 904.301s 616.656s cs-sel-05 10432929792
eca/Problem16_50_true.c timeout 903.550s 666.036s db2 9143922688 true 18.764s 10.135s db8 431300608
ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko_false.cil.out.i.pp.i timeout 930.205s 539.243s cs-sel-06 13042626560 timeout 929.629s 546.544s db4 13074341888
ldv-linux-3.0/module_get_put-drivers-block-loop.ko_false.cil.out.i.pp.i out of memory 679.343s 521.402s db6 15000002560 out of memory 681.429s 530.176s db8 15000002560
ldv-linux-3.0/module_get_put-drivers-block-pktcdvd.ko_false.cil.out.i.pp.i timeout 904.874s 874.859s db3 5054918656 timeout 912.032s 871.652s db7 4988403712
ldv-linux-3.0/module_get_put-drivers-isdn-gigaset-gigaset.ko_false.cil.out.i.pp.i timeout 930.052s 515.133s db7 13363535872 timeout 930.010s 514.297s db4 13244452864
ldv-linux-3.0/module_get_put-drivers-isdn-mISDN-mISDN_core.ko_false.cil.out.i.pp.i timeout 929.919s 901.035s db6 4846112768 timeout 930.069s 899.752s db8 5036355584
ldv-linux-3.0/module_get_put-drivers-net-ppp_generic.ko_false.cil.out.i.pp.i false(reach) 16.907s 9.227s cs-sel-06 426835968 false(reach) 17.060s 9.453s db6 448987136
ldv-linux-3.0/module_get_put-drivers-net-wan-farsync.ko_false.cil.out.i.pp.i false(reach) 22.201s 12.984s db5 598003712 false(reach) 25.211s 14.298s db3 609886208
ldv-linux-3.0/module_get_put-drivers-tty-synclink_gt.ko_false.cil.out.i.pp.i timeout 902.711s 542.122s db6 13166485504 timeout 930.249s 524.725s db3 13188284416
ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko_false.cil.out.i.pp.i timeout 930.168s 541.665s db6 13039222784 timeout 930.219s 535.488s db5 13069754368
ldv-linux-3.0/usb_urb-drivers-hid-usbhid-usbmouse.ko_false.cil.out.i.pp.i timeout 917.883s 892.787s db3 5051252736 timeout 906.879s 883.513s db8 3166277632
ldv-linux-3.0/usb_urb-drivers-input-misc-keyspan_remote.ko_false.cil.out.i.pp.i timeout 929.715s 891.937s db2 6049640448 timeout 928.398s 891.237s db2 5823893504
ldv-linux-3.0/usb_urb-drivers-media-dvb-ttusb-dec-ttusb_dec.ko_false.cil.out.i.pp.i timeout 930.093s 503.538s db7 12863881216 timeout 904.867s 494.285s db8 13087313920
ldv-linux-3.0/usb_urb-drivers-net-can-usb-ems_usb.ko_false.cil.out.i.pp.i timeout 903.049s 561.691s db8 12987904000 timeout 929.946s 559.360s db8 13262520320
ldv-linux-3.0/usb_urb-drivers-net-usb-catc.ko_false.cil.out.i.pp.i false(reach) 15.408s 8.681s db6 414887936 false(reach) 16.453s 9.368s db1 656052224
ldv-linux-3.0/usb_urb-drivers-staging-lirc-lirc_imon.ko_false.cil.out.i.pp.i timeout 929.897s 573.146s db6 13396889600 timeout 930.571s 569.750s cs-sel-05 13437853696
ldv-linux-3.0/usb_urb-drivers-usb-misc-iowarrior.ko_false.cil.out.i.pp.i false(reach) 38.992s 27.361s db6 1489100800 false(reach) 42.918s 30.380s db6 2477817856
ldv-linux-3.0/module_get_put-drivers-atm-eni.ko_true.cil.out.i.pp.i true 14.234s 7.830s db8 255983616 true 14.600s 7.992s cs-sel-06 277958656
ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko_true.cil.out.i.pp.i true 162.146s 107.427s db4 5579915264 true 35.717s 18.426s db8 526852096
ldv-linux-3.0/module_get_put-drivers-block-paride-pt.ko_true.cil.out.i.pp.i true 41.456s 27.999s db8 1633525760 true 22.771s 12.535s db8 485965824
ldv-linux-3.0/module_get_put-drivers-bluetooth-btmrvl.ko_true.cil.out.i.pp.i true 9.203s 5.210s db2 250626048 true 9.690s 5.445s db6 248324096
ldv-linux-3.0/module_get_put-drivers-char-ipmi-ipmi_watchdog.ko_true.cil.out.i.pp.i true 24.284s 14.621s db6 782610432 true 17.822s 9.881s db7 405733376
ldv-linux-3.0/module_get_put-drivers-gpu-drm-i915-i915.ko_true.cil.out.i.pp.i true 29.513s 15.864s db8 842113024 true 29.802s 16.005s db6 863780864
ldv-linux-3.0/module_get_put-drivers-hid-hid-magicmouse.ko_true.cil.out.i.pp.i true 5.995s 3.532s db5 146792448 true 5.897s 3.505s db5 149782528
ldv-linux-3.0/module_get_put-drivers-hwmon-it87.ko_true.cil.out.i.pp.i true 13.215s 7.357s db4 280330240 true 10.139s 5.768s db5 240463872
ldv-linux-3.0/module_get_put-drivers-net-atl1c-atl1c.ko_true.cil.out.i.pp.i true 14.784s 8.133s db8 309383168 true 14.403s 7.908s cs-sel-06 266833920
ldv-linux-3.0/module_get_put-drivers-net-pppox.ko_true.cil.out.i.pp.i timeout 929.997s 492.968s db8 12745113600 timeout 930.034s 493.403s db3 12626886656
ldv-linux-3.0/module_get_put-drivers-net-sis900.ko_true.cil.out.i.pp.i true 17.812s 9.851s db4 414908416 true 18.962s 10.282s db5 366682112
ldv-linux-3.0/module_get_put-drivers-scsi-megaraid.ko_true.cil.out.i.pp.i true 23.070s 12.456s db6 430157824 true 22.843s 12.251s db5 440778752
ldv-linux-3.0/module_get_put-drivers-staging-et131x-et131x.ko_true.cil.out.i.pp.i true 21.207s 11.560s cs-sel-05 430641152 true 21.252s 11.667s db3 426020864
ldv-linux-3.0/module_get_put-drivers-video-aty-aty128fb.ko_true.cil.out.i.pp.i true 18.601s 10.183s db6 412479488 true 18.134s 9.899s db5 318803968
ldv-linux-3.0/usb_urb-drivers-input-tablet-kbtab.ko_true.cil.out.i.pp.i true 12.368s 6.921s db3 254214144 true 11.626s 6.602s db5 237285376
ldv-linux-3.0/usb_urb-drivers-media-video-c-qcam.ko_true.cil.out.i.pp.i true 25.704s 14.477s db2 583892992 true 25.154s 14.133s db2 575930368
ldv-linux-3.0/usb_urb-drivers-media-video-msp3400.ko_true.cil.out.i.pp.i true 21.342s 11.861s db1 483241984 true 20.846s 11.607s db1 477941760
ldv-linux-3.0/usb_urb-drivers-misc-c2port-core.ko_true.cil.out.i.pp.i true 15.370s 8.598s db1 368160768 true 14.137s 7.999s cs-sel-05 292331520
ldv-linux-3.0/usb_urb-drivers-mtd-sm_ftl.ko_true.cil.out.i.pp.i true 22.843s 12.612s db4 458964992 true 21.280s 11.918s db6 462348288
ldv-linux-3.0/usb_urb-drivers-scsi-dc395x.ko_true.cil.out.i.pp.i true 21.023s 11.313s db3 426156032 true 21.615s 11.702s db7 427565056
ldv-linux-3.0/usb_urb-drivers-usb-serial-ir-usb.ko_true.cil.out.i.pp.i timeout 930.168s 507.267s db1 12681596928 timeout 930.452s 514.847s cs-sel-05 13310660608
ldv-linux-3.0/usb_urb-drivers-usb-serial-whiteheat.ko_true.cil.out.i.pp.i false(reach) 146.111s 129.715s db3 4380237824 false(reach) 133.917s 118.080s db6 4359970816
ldv-linux-3.0/usb_urb-drivers-uwb-i1480-dfu-i1480-dfu-usb.ko_true.cil.out.i.pp.i timeout 926.748s 556.893s db6 12861644800 timeout 917.232s 553.805s db6 13059915776
ldv-linux-3.0/usb_urb-drivers-vhost-vhost_net.ko_true.cil.out.i.pp.i true 21.245s 11.550s db4 437100544 true 22.292s 12.090s db7 433561600
ldv-linux-3.0/usb_urb-drivers-video-arkfb.ko_true.cil.out.i.pp.i true 14.821s 8.226s db5 288661504 true 15.356s 8.427s db6 370331648
ldv-linux-3.4-simple/32_7_cilled_false_const_ok_linux-32_1-drivers--gpu--drm--vmwgfx--vmwgfx.ko-ldv_main3_sequence_infinite_withcheck_stateful.cil.out.c false(reach) 52.771s 37.334s db6 1706233856 false(reach) 52.276s 37.293s db3 1726795776
ldv-linux-3.4-simple/32_7_cilled_false_const_ok_linux-32_1-drivers--input--mouse--synaptics_usb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c false(reach) 203.714s 197.835s db3 4933304320 false(reach) 202.607s 196.742s db4 4932808704
ldv-linux-3.4-simple/32_7_cilled_false_const_ok_linux-32_1-drivers--input--mousedev.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c false(reach) 42.290s 29.130s db3 1945415680 false(reach) 42.404s 29.642s db3 1941053440
ldv-linux-3.4-simple/32_7_cilled_false_const_ok_linux-32_1-drivers--isdn--capi--kernelcapi.ko-ldv_main3_sequence_infinite_withcheck_stateful.cil.out.c false(reach) 24.027s 16.139s db6 465563648 false(reach) 31.185s 17.779s db1 450236416
ldv-linux-3.4-simple/32_7_cilled_false_const_ok_linux-32_1-drivers--media--dvb--dvb-usb--dvb-usb-dib0700.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c false(reach) 24.575s 13.540s db2 850309120 false(reach) 23.957s 13.284s db4 849477632
ldv-linux-3.4-simple/32_7_cilled_false_const_ok_linux-32_1-drivers--media--video--cpia2--cpia2.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c false(reach) 137.599s 110.540s db1 4912820224 false(reach) 145.766s 118.169s db6 5599817728
ldv-linux-3.4-simple/32_7_cilled_false_const_ok_linux-32_1-drivers--media--video--mem2mem_testdev.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c false(reach) 9.331s 5.609s db6 329478144 false(reach) 9.218s 5.504s db3 337498112
ldv-linux-3.4-simple/32_7_cilled_false_const_ok_linux-32_1-drivers--media--video--vivi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 929.583s 524.951s db2 13263990784 timeout 930.056s 523.919s db7 13271969792
ldv-linux-3.4-simple/32_7_cilled_false_const_ok_linux-32_1-drivers--mtd--chips--cfi_cmdset_0001.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c false(reach) 19.420s 13.295s db2 741785600 false(reach) 19.272s 13.266s db6 739606528
ldv-linux-3.4-simple/32_7_cilled_false_const_ok_linux-32_1-drivers--net--phy--dp83640.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c false(reach) 18.594s 11.116s db5 638017536 false(reach) 18.807s 11.253s db3 634990592
ldv-linux-3.4-simple/32_7_cilled_false_const_ok_linux-32_1-drivers--net--wireless--p54--p54usb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c false(reach) 13.323s 8.551s db7 607670272 false(reach) 12.227s 8.208s cs-sel-05 602546176
ldv-linux-3.4-simple/32_7_cilled_false_const_ok_linux-32_1-drivers--scsi--libfc--libfc.ko-ldv_main5_sequence_infinite_withcheck_stateful.cil.out.c timeout 900.810s 809.749s db8 6137159680 timeout 901.175s 811.105s db5 5922930688
ldv-linux-3.4-simple/32_7_cilled_false_const_ok_linux-32_1-drivers--staging--keucr--keucr.ko-ldv_main1_sequence_infinite_withcheck_stateful.cil.out.c out of memory 51.149s 42.520s db7 15000002560 out of memory 47.768s 42.339s cs-sel-05 15000002560
ldv-linux-3.4-simple/32_7_cilled_false_const_ok_linux-32_1-drivers--usb--image--microtek.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c false(reach) 7.702s 4.452s db8 264810496 false(reach) 7.553s 4.371s db7 262176768
ldv-linux-3.4-simple/32_7_cilled_false_const_ok_linux-32_1-drivers--usb--storage--usb-storage.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c false(reach) 22.181s 11.606s db3 337620992 false(reach) 22.819s 11.868s db3 333594624
ldv-linux-3.4-simple/32_7_cilled_false_const_ok_linux-32_1-drivers--vhost--vhost_net.ko-ldv_main1_sequence_infinite_withcheck_stateful.cil.out.c false(reach) 140.800s 131.211s db4 3973799936 false(reach) 130.702s 121.301s db1 3890864128
ldv-linux-3.4-simple/32_7_cilled_false_const_ok_linux-32_1-drivers--video--aty--atyfb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 905.738s 841.421s db7 5555589120 timeout 902.303s 846.565s cs-sel-05 5180379136
ldv-linux-3.4-simple/43_1a_cilled_false_ok_linux-43_1a-drivers--misc--sgi-xp--xpc.ko-ldv_main3_sequence_infinite_withcheck_stateful.cil.out.c unknown 115.057s 89.244s db1 2697940992 unknown 99.281s 76.278s db3 2113695744
ldv-linux-3.4-simple/43_1a_cilled_false_ok_linux-43_1a-drivers--net--wireless--orinoco--orinoco_usb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c false(reach) 43.303s 32.600s db5 2939805696 false(reach) 49.097s 36.869s cs-sel-06 4590350336
ldv-linux-3.4-simple/43_1a_cilled_false_ok_linux-43_1a-drivers--scsi--dpt_i2o.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 901.632s 703.267s db5 7877967872 timeout 905.431s 746.673s db1 8697065472
ldv-linux-3.4-simple/43_1a_cilled_false_ok_linux-43_1a-drivers--scsi--megaraid--megaraid_mm.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unknown 65.670s 44.046s db3 2675974144 unknown 52.319s 33.979s db2 2551709696
ldv-linux-3.4-simple/43_1a_cilled_false_ok_linux-43_1a-drivers--usb--gadget--mv_udc.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c false(reach) 369.986s 358.402s cs-sel-06 9196011520 false(reach) 399.842s 388.025s db8 9201270784
ldv-linux-3.4-simple/43_1a_cilled_false_ok_linux-43_1a-drivers--usb--gadget--pch_udc.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c false(reach) 43.502s 30.056s db4 1510899712 false(reach) 43.205s 30.130s db6 1416540160
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--acpi--apei--einj.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.995s 3.547s cs-sel-06 160989184 true 6.205s 3.663s db7 222670848
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--acpi--bgrt.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.546s 2.779s db7 206880768 true 4.404s 2.755s db7 209354752
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--acpi--container.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.956s 3.017s db2 205467648 true 4.377s 2.758s cs-sel-05 150376448
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--acpi--ec_sys.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.988s 3.046s db3 205950976 true 4.702s 2.927s db6 208683008
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--acpi--fan.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.072s 3.053s db4 207343616 true 4.560s 2.821s db6 211951616
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--ata--pata_marvell.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.081s 3.065s db7 216981504 true 5.029s 3.008s db6 214081536
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--ata--pata_netcell.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.183s 2.994s db8 215072768 true 4.808s 2.889s db2 220393472
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--atm--adummy.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.903s 3.979s db6 214474752 true 5.672s 3.341s cs-sel-06 158982144
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--auxdisplay--cfag12864b.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 891.415s 875.851s db5 4556447744 true 6.205s 3.633s db7 210894848
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--auxdisplay--cfag12864bfb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.637s 2.859s db2 217133056 true 4.773s 2.857s db7 214114304
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--auxdisplay--ks0108.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.781s 2.391s db6 210698240 true 3.652s 2.299s cs-sel-06 133599232
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--block--paride--aten.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.605s 3.340s db4 214560768 true 5.619s 3.381s db8 219041792
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--block--paride--bpck.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 20.681s 11.517s db7 472891392 true 19.726s 11.223s db7 436469760
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--block--paride--comm.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.966s 4.154s db2 212992000 true 7.015s 4.170s db8 217817088
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--block--paride--dstr.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.910s 4.650s db7 213872640 true 7.833s 4.585s cs-sel-05 170483712
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--block--paride--epat.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 17.560s 10.031s db7 431706112 true 17.695s 10.092s db8 386203648
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--block--paride--epia.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 10.062s 5.972s db7 248049664 true 10.118s 5.978s db6 244056064
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--block--paride--fit2.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.179s 3.161s db2 206852096 true 5.214s 3.125s db6 212676608
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--block--paride--fit3.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.494s 3.896s db2 212582400 true 6.647s 3.955s db4 216170496
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--block--paride--friq.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 11.646s 6.778s db7 251600896 true 11.154s 6.451s cs-sel-05 239517696
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--block--paride--frpw.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 11.181s 6.345s db5 250335232 true 11.128s 6.382s cs-sel-05 259461120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--block--paride--kbic.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 10.465s 6.005s db7 253579264 true 10.445s 5.995s db8 245399552
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--block--paride--ktti.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.415s 3.272s db8 210001920 true 5.186s 3.116s db5 150007808
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--block--paride--on20.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 9.314s 5.360s db2 223588352 true 9.125s 5.238s db3 219271168
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--block--paride--on26.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 19.231s 11.352s db6 421511168 true 18.644s 11.083s db6 419614720
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--char--hw_random--virtio-rng.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.789s 2.385s db3 203784192 true 3.620s 2.318s db7 211521536
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--char--ipmi--ipmi_poweroff.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.333s 3.209s cs-sel-05 158867456 true 5.277s 3.208s db7 220397568
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--char--ramoops.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.924s 2.463s db4 210575360 true 3.979s 2.503s db3 204570624
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--char--tpm--tpm_nsc.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 9.006s 5.112s db3 250089472 true 9.555s 5.323s db8 247943168
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--char--uv_mmtimer.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.754s 3.405s db8 217554944 true 5.730s 3.363s db1 165748736
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--clocksource--cs5535-clockevt.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.665s 2.256s cs-sel-05 131215360 true 3.636s 2.267s db8 173838336
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--cpufreq--cpufreq_powersave.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.077s 1.912s cs-sel-06 129130496 true 3.275s 1.982s db4 170135552
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--cpufreq--pcc-cpufreq.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.113s 4.156s db6 221401088 true 6.737s 3.971s db3 219164672
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--edac--mce_amd_inj.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.949s 2.428s db2 213168128 true 3.776s 2.345s db7 179728384
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--firmware--google--gsmi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 10.250s 5.799s db2 251707392 true 10.232s 5.774s cs-sel-05 241614848
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--firmware--google--memconsole.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.516s 2.718s db4 208457728 true 3.894s 2.469s db6 207912960
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--gpio--gpio-74x164.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.182s 2.635s cs-sel-06 150126592 true 4.578s 2.845s db6 214286336
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--gpio--gpio-max7301.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.961s 2.467s db8 207843328 true 3.804s 2.397s db4 208199680
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--gpio--gpio-mc33880.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.332s 2.725s db6 212242432 true 4.199s 2.645s db7 205418496
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--gpio--gpio-tps65912.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.618s 2.324s db2 203501568 true 3.612s 2.328s db6 205385728
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--gpio--gpio-wm831x.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.932s 2.558s db7 205893632 true 4.018s 2.588s cs-sel-06 149053440
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--gpu--drm--drm_usb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.978s 2.943s db8 212389888 true 4.829s 2.872s db8 214642688
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--gpu--drm--i2c--sil164.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.982s 4.125s db2 218251264 true 6.743s 4.025s db6 219459584
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--gpu--drm--tdfx--tdfx.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.801s 2.809s db5 152870912 true 4.760s 2.874s db7 218730496
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--gpu--stub--poulsbo.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.063s 2.524s db3 206761984 true 4.133s 2.547s db7 204308480
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--hid--hid-cherry.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.912s 2.492s db7 203444224 true 3.966s 2.533s db7 203436032
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--hid--hid-chicony.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.351s 3.243s db8 212676608 true 5.462s 3.344s db6 220749824
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--hid--hid-elecom.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.710s 2.326s db2 210472960 true 3.647s 2.282s db3 203382784
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--hid--hid-ezkey.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.023s 2.541s db4 200060928 true 3.879s 2.473s db4 205373440
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--hid--hid-gyration.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.057s 3.136s db2 216240128 true 5.056s 3.118s db7 211107840
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--hid--hid-kensington.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.855s 2.427s db8 208048128 true 3.873s 2.440s cs-sel-06 147275776
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--hid--hid-keytouch.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.541s 2.253s db8 207294464 true 3.781s 2.344s db5 149684224
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--hid--hid-lcpower.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.343s 2.761s db6 206131200 true 4.204s 2.656s db7 205963264
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--hid--hid-monterey.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.085s 2.587s db2 202235904 true 4.181s 2.615s db8 207851520
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--hid--hid-ortek.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.677s 2.333s cs-sel-06 150192128 true 3.573s 2.267s cs-sel-05 146755584
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--hid--hid-petalynx.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.767s 2.960s cs-sel-05 150495232 true 5.020s 3.097s db2 208986112
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--hid--hid-primax.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.131s 2.589s db7 205959168 true 3.868s 2.502s db2 203505664
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--hid--hid-saitek.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.452s 2.244s cs-sel-06 150089728 true 3.745s 2.364s db4 206131200
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--hid--hid-samsung.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.082s 3.593s db1 157859840 true 6.100s 3.645s db4 213807104
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--hid--hid-speedlink.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.143s 2.532s db2 205578240 true 3.915s 2.440s db5 147832832
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--hid--hid-sunplus.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.941s 2.512s db8 206995456 true 3.947s 2.524s db6 205656064
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--hid--hid-tivo.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.263s 2.660s db5 152862720 true 4.128s 2.615s cs-sel-05 147181568
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--hid--hid-topseed.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.609s 3.400s db2 207593472 true 5.225s 3.190s db5 151781376
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--hid--hid-twinhan.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.448s 3.857s db8 210866176 true 6.330s 3.830s db7 211050496
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--hid--hid-uclogic.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.720s 2.370s db7 200896512 true 3.866s 2.452s db4 206467072
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--hid--hid-wacom.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 9.212s 5.246s db4 222810112 true 8.437s 4.767s db5 193806336
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--hid--hid-waltop.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.582s 2.902s db8 211554304 true 4.512s 2.846s db1 151965696
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--hid--hid-zydacron.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.686s 3.418s db5 152494080 true 5.937s 3.610s db7 210743296
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--hwmon--ads7871.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.685s 2.915s cs-sel-05 152723456 true 5.004s 2.969s db8 213520384
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--hwmon--asus_atk0110.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 11.222s 6.457s db3 253534208 true 11.242s 6.498s db3 249208832
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--hwmon--emc1403.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.468s 2.797s db2 209371136 true 4.679s 2.895s db3 206176256
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--hwmon--gpio-fan.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.171s 3.134s db2 209182720 true 5.198s 3.170s db4 209440768
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--hwmon--max1111.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.292s 2.677s db6 207032320 true 4.153s 2.622s db6 210628608
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--hwmon--pcf8591.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.754s 2.905s db7 206307328 true 4.641s 2.862s cs-sel-06 151797760
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--hwmon--pmbus--max16064.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.682s 2.324s db2 209158144 true 3.647s 2.304s cs-sel-06 151474176
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--hwmon--pmbus--max8688.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.886s 2.447s cs-sel-05 145301504 true 3.829s 2.427s db2 206073856
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--hwmon--smsc47b397.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.514s 3.783s db4 217980928 true 5.562s 3.251s db3 219316224
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--i2c--algos--i2c-algo-pca.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.130s 3.650s db6 215244800 true 5.886s 3.554s db4 214446080
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--i2c--busses--i2c-diolan-u2c.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 8.415s 4.957s db4 220536832 true 8.713s 5.050s db7 224690176
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--i2c--busses--i2c-stub.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.295s 3.210s db2 206630912 true 5.288s 3.226s cs-sel-05 154738688
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--i2c--busses--i2c-tiny-usb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.532s 3.305s db4 216477696 true 5.381s 3.199s db5 158437376
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--i2c--i2c-smbus.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.314s 2.700s db6 204357632 true 4.422s 2.738s db1 154271744
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--ide--cmd640.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 17.415s 9.604s db8 424833024 true 14.400s 8.078s db2 405708800
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--ide--ide-pnp.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.076s 3.044s db6 218112000 true 5.324s 3.176s db8 216080384
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--gameport--lightning.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.317s 3.247s db5 153915392 true 4.556s 2.880s cs-sel-06 155295744
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--joystick--magellan.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.532s 2.838s db3 203132928 true 4.776s 2.984s db4 208801792
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--joystick--spaceball.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.373s 3.307s db6 209358848 true 5.413s 3.336s db4 210063360
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--joystick--spaceorb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.206s 3.173s db7 212815872 true 5.162s 3.189s db4 217440256
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--joystick--stinger.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.240s 2.716s cs-sel-05 146911232 true 4.621s 2.840s db5 148496384
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--joystick--turbografx.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 9.248s 5.280s db7 244690944 true 5.423s 3.329s db2 209391616
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--joystick--twidjoy.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.918s 3.011s db3 210305024 true 4.220s 2.662s cs-sel-06 153325568
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--joystick--warrior.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.847s 2.999s cs-sel-06 155922432 true 4.963s 3.062s db4 209137664
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--joystick--zhenhua.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.180s 2.597s db4 207335424 true 4.094s 2.596s db1 148639744
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--keyboard--gpio_keys_polled.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.367s 2.734s db2 208289792 true 4.471s 2.791s db8 207810560
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--keyboard--newtonkbd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.211s 2.640s db4 203456512 true 4.359s 2.738s db6 212606976
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--keyboard--stowaway.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.189s 2.697s cs-sel-06 151306240 true 4.636s 2.878s db8 212000768
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--keyboard--xtkbd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.253s 2.661s db3 203657216 true 4.263s 2.664s db8 206766080
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--misc--ab8500-ponkey.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.314s 2.659s db8 208818176 true 3.997s 2.519s db3 204128256
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--misc--ad714x-i2c.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.519s 2.753s db8 206090240 true 4.437s 2.709s cs-sel-05 150409216
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--misc--ad714x-spi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.537s 2.728s db8 213241856 true 4.833s 2.900s db7 206200832
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--misc--adxl34x-spi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.345s 2.685s db3 206381056 true 4.581s 2.760s db1 150544384
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--misc--apanel.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 911.131s 536.830s db7 12989919232 true 5.988s 3.517s cs-sel-05 169803776
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--misc--atlas_btns.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.415s 2.712s db3 206168064 true 4.354s 2.719s cs-sel-06 151056384
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--misc--cma3000_d0x_i2c.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.163s 2.602s db2 208609280 true 4.211s 2.617s db3 209248256
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--misc--mma8450.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.763s 2.848s cs-sel-06 164847616 true 4.821s 2.878s db2 219340800
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--misc--mpu3050.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.493s 3.301s db7 219025408 true 5.400s 3.207s db5 156651520
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--misc--pcap_keys.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.961s 2.547s db6 207650816 true 4.196s 2.650s db7 205029376
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--misc--pcf50633-input.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.263s 2.659s cs-sel-05 149479424 true 4.370s 2.673s db8 207429632
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--misc--pcspkr.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.149s 2.619s db8 206716928 true 4.451s 2.776s db6 210665472
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--misc--rotary_encoder.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.388s 3.267s db3 208416768 true 5.199s 3.175s db8 207392768
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--misc--wm831x-on.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.973s 2.499s db1 148549632 true 4.209s 2.653s db7 203698176
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--misc--xen-kbdfront.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.510s 2.828s cs-sel-05 147750912 true 4.741s 2.979s db6 202682368
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--mouse--gpio_mouse.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.409s 2.750s db3 207138816 true 4.575s 2.794s db3 206336000
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--mouse--vsxxxaa.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.814s 3.582s cs-sel-06 158793728 true 6.188s 3.671s db3 216096768
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--serio--ct82c710.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.559s 3.321s cs-sel-05 155471872 true 5.299s 3.178s db7 209924096
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--serio--parkbd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.219s 2.628s db7 207122432 true 4.032s 2.551s db8 211951616
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--ad7879-spi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.667s 2.879s db3 205500416 true 4.879s 2.929s cs-sel-05 151347200
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--cyttsp_spi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.296s 3.223s db7 215842816 true 5.282s 3.219s db2 212992000
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--dynapro.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.417s 2.783s db6 211591168 true 4.467s 2.808s db6 204644352
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--eeti_ts.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.598s 3.320s db7 220598272 true 5.494s 3.241s db4 214654976
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--egalax_ts.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.535s 3.331s db3 216076288 true 5.455s 3.243s db8 213905408
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--fujitsu_ts.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.410s 2.767s db6 208605184 true 4.356s 2.755s db7 206688256
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--gunze.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.348s 2.741s db6 203677696 true 4.362s 2.787s db6 207495168
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--hampshire.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.265s 2.696s db2 208252928 true 4.474s 2.785s db3 203837440
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--inexio.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.247s 2.674s cs-sel-06 154480640 true 4.539s 2.813s cs-sel-06 155377664
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--max11801_ts.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.131s 3.085s db2 216584192 true 4.996s 3.022s db5 153419776
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--mk712.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.793s 3.428s db6 221347840 true 5.192s 3.120s db4 214265856
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--mtouch.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.545s 2.828s db8 210313216 true 4.418s 2.738s db5 148369408
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--penmount.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.563s 2.859s cs-sel-05 147419136 true 4.738s 2.982s cs-sel-06 149622784
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--stmpe-ts.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.295s 3.231s db3 214171648 true 5.429s 3.301s db7 215470080
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--touchit213.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.261s 2.695s db5 147767296 true 4.468s 2.798s db8 207224832
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--touchright.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.477s 2.767s db3 212541440 true 4.225s 2.638s db7 204414976
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--touchwin.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.262s 2.690s cs-sel-06 150126592 true 4.369s 2.740s db3 208322560
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--tsc40.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.579s 2.868s db7 204963840 true 4.615s 2.889s db4 205774848
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--wacom_w8001.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.685s 4.413s db2 224231424 true 7.333s 4.280s db4 220135424
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--isdn--hardware--avm--avm_cs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.744s 2.891s cs-sel-05 157208576 true 4.967s 2.990s db3 213069824
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--isdn--hardware--avm--b1pci.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.074s 3.630s db3 225800192 true 5.640s 3.450s db6 210337792
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--isdn--hardware--avm--b1pcmcia.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.401s 2.676s db1 149430272 true 4.231s 2.592s db4 207745024
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--isdn--hardware--avm--t1pci.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.862s 2.955s db5 152006656 true 4.741s 2.911s db5 150241280
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--isdn--hardware--eicon--divadidd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 381.575s 347.258s db7 5214355456 true 8.054s 4.598s cs-sel-05 236494848
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--isdn--hisax--avma1_cs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.318s 2.705s db4 212205568 true 4.421s 2.746s db3 212348928
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--isdn--hisax--elsa_cs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.490s 2.785s cs-sel-06 153661440 true 4.437s 2.787s db4 205291520
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--isdn--hisax--sedlbauer_cs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.438s 2.786s db2 214011904 true 4.580s 2.822s db3 205905920
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--isdn--hisax--teles_cs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.797s 2.907s db3 213135360 true 4.563s 2.821s db6 204627968
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--leds--dell-led.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.613s 2.864s db2 209203200 true 4.719s 2.890s db6 212082688
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--leds--leds-bd2802.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.584s 4.328s db7 223719424 true 7.446s 4.250s db5 173551616
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--leds--leds-dac124s085.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.397s 2.727s db4 209244160 true 4.361s 2.719s db7 211476480
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--leds--leds-lp5521.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.433s 3.779s db4 217817088 true 5.960s 3.581s cs-sel-06 164237312
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--leds--leds-ot200.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.818s 2.383s db4 209543168 true 3.647s 2.301s cs-sel-06 149504000
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--leds--leds-pca9633.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.358s 2.672s db1 151605248 true 4.373s 2.679s db5 153948160
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--leds--leds-regulator.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.460s 3.263s db8 214990848 true 5.803s 3.457s db6 219701248
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--leds--ledtrig-backlight.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.988s 2.939s db3 214663168 true 4.622s 2.824s cs-sel-05 159772672
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--leds--ledtrig-default-on.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.330s 2.059s db3 171896832 true 3.276s 2.068s db6 177201152
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--leds--ledtrig-gpio.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.941s 2.484s db4 203452416 true 3.897s 2.447s db2 207732736
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--macintosh--mac_hid.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.299s 2.678s db6 209801216 true 3.937s 2.503s cs-sel-05 148013056
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--md--dm-zero.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.947s 2.479s cs-sel-05 148492288 true 4.329s 2.671s db7 206757888
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--common--tuners--max2165.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.540s 4.438s db8 225918976 true 7.441s 4.361s db3 220258304
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--common--tuners--mc44s803.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.569s 3.391s db8 215982080 true 5.595s 3.411s db7 214941696
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--common--tuners--mt2060.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.392s 3.226s db7 217944064 true 5.191s 3.114s db1 162177024
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--common--tuners--mt20xx.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 8.518s 5.026s db6 226254848 true 8.381s 4.992s db2 222777344
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--common--tuners--mt2131.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.447s 3.322s db2 217645056 true 5.346s 3.254s db7 220139520
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--common--tuners--mt2266.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.621s 3.409s db7 216334336 true 5.743s 3.486s db7 225112064
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--common--tuners--mxl5007t.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 8.090s 4.673s db5 196583424 true 8.231s 4.794s db7 222863360
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--common--tuners--qt1010.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 8.041s 4.663s db7 227328000 true 8.005s 4.632s db2 223444992
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--common--tuners--tda18218.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.958s 3.545s cs-sel-05 166866944 true 6.328s 3.746s db3 222179328
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--common--tuners--tda8290.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 10.251s 5.764s db3 261586944 true 10.397s 5.846s db4 248848384
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--common--tuners--tda9887.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 9.246s 5.495s db7 245866496 true 9.628s 5.590s db7 246951936
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--dvb--bt8xx--dvb-bt8xx.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 10.652s 5.916s db6 261476352 true 10.125s 5.652s db5 248135680
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-a800.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.841s 3.428s db5 162529280 true 5.561s 3.337s db7 222347264
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-au6610.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.992s 3.526s db4 217489408 true 5.895s 3.482s cs-sel-06 163803136
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-az6007.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 10.677s 6.077s cs-sel-06 254816256 true 11.244s 6.404s db6 388435968
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-az6027.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 9.559s 5.382s db4 266403840 true 9.559s 5.365s db8 266924032
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-ce6230.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.616s 3.823s db3 218894336 true 6.095s 3.620s cs-sel-06 164327424
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-cinergyT2.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.839s 3.971s db6 221413376 true 6.561s 3.875s db2 223883264
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-cinergyT2.ko-ldv_main1_sequence_infinite_withcheck_stateful.cil.out.c true 7.187s 4.222s db7 215887872 true 6.298s 3.782s cs-sel-05 179265536
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-dibusb-common.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.920s 3.516s db5 162574336 true 6.279s 3.637s db3 227115008
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-dibusb-mb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.643s 4.390s db7 221892608 true 8.178s 4.606s db7 221167616
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-dibusb-mc.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.362s 3.210s db1 157978624 true 5.832s 3.428s db7 221478912
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-digitv.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.195s 4.106s db1 184553472 true 6.900s 4.043s cs-sel-06 180801536
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-dtt200u.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 8.446s 4.760s db7 245379072 true 8.367s 4.714s db7 248315904
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-dtt200u.ko-ldv_main1_sequence_infinite_withcheck_stateful.cil.out.c true 7.592s 4.298s db5 233656320 true 7.750s 4.445s db7 247513088
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-dtv5100.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.478s 3.306s cs-sel-05 163749888 true 5.959s 3.554s db7 218615808
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-gl861.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.092s 3.592s db7 219406336 true 6.161s 3.586s db8 223002624
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-mxl111sf.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 34.699s 18.742s db4 789520384 true 33.514s 18.247s db2 775335936
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-mxl111sf.ko-ldv_main3_sequence_infinite_withcheck_stateful.cil.out.c true 17.035s 9.371s db8 274657280 true 17.590s 9.346s db2 277929984
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-nova-t-usb2.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.002s 3.475s db8 222879744 true 5.914s 3.494s db2 220528640
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-pctv452e.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 10.269s 5.797s db5 253632512 true 10.483s 5.836s db3 250634240
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-rtl28xxu.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 8.648s 4.966s db3 254488576 true 8.479s 4.863s cs-sel-06 240648192
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-ttusb2.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 8.952s 5.102s db7 248328192 true 8.738s 4.943s db5 239202304
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-umt-010.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.155s 3.588s db6 215363584 true 5.943s 3.483s db5 158375936
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-vp7045.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 11.556s 6.409s cs-sel-06 378322944 true 9.879s 5.641s db6 349216768
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-vp7045.ko-ldv_main1_sequence_infinite_withcheck_stateful.cil.out.c true 12.965s 7.267s db8 409354240 true 11.111s 6.250s db2 382070784
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--mxl111sf-demod.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.628s 4.361s db4 223842304 true 7.296s 4.173s cs-sel-05 181219328
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--cxd2820r.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 15.065s 8.447s db4 319119360 true 15.455s 8.566s db3 321765376
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--dib3000mb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 13.685s 7.828s db3 348987392 true 14.468s 8.159s db8 347160576
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--dib3000mc.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 13.481s 7.851s db4 394584064 true 13.700s 7.971s db7 393363456
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--dvb_dummy_fe.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.099s 3.079s db8 216588288 true 5.155s 3.051s db3 216743936
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--ec100.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.482s 3.265s db2 216621056 true 5.400s 3.275s db6 219070464
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--isl6405.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.025s 2.485s cs-sel-05 147456000 true 4.045s 2.501s db2 204865536
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--isl6421.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.083s 2.528s db2 208547840 true 3.833s 2.410s db6 202936320
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--it913x-fe.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 14.008s 7.613s cs-sel-05 266457088 true 14.396s 7.862s db5 266178560
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--lnbp21.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.203s 2.566s db2 206061568 true 4.253s 2.610s db2 205410304
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--lnbp22.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.105s 2.523s db5 145674240 true 4.153s 2.559s db4 202436608
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--rtl2830.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.752s 4.493s db7 226177024 true 7.402s 4.358s db5 171188224
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--stb6000.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.011s 3.024s db4 212623360 true 4.887s 2.936s db4 221065216
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--tda18271c2dd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 10.115s 5.708s db7 254369792 true 9.311s 5.394s db6 248299520
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--tda826x.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.658s 2.835s db5 156966912 true 5.020s 2.992s db8 213463040
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--tua6100.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.101s 3.034s db8 211652608 true 4.966s 3.012s db7 214605824
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--dvb--ttpci--budget-patch.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 8.208s 4.727s db6 225464320 true 8.030s 4.574s db3 225583104
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--dvb--ttpci--budget.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 9.623s 5.392s db4 257257472 true 9.935s 5.563s db8 258977792
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-adstech-dvb-t-pci.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.838s 1.796s cs-sel-05 130097152 true 2.991s 1.887s db6 164474880
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-alink-dtu-m.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.898s 1.813s db3 160198656 true 2.923s 1.806s db3 159866880
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-anysee.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.821s 1.788s db1 127115264 true 2.786s 1.752s db5 127983616
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-apac-viewcomp.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.906s 1.824s db4 160931840 true 2.715s 1.737s cs-sel-05 125800448
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-asus-pc39.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.813s 1.757s db6 166940672 true 2.912s 1.839s db2 162414592
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-ati-tv-wonder-hd-600.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.721s 1.745s db2 156270592 true 3.031s 1.896s db4 159793152
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-ati-x10.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.699s 1.732s db4 161406976 true 2.777s 1.782s db2 164978688
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-avermedia-a16d.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.839s 1.784s db8 157421568 true 2.855s 1.807s db7 157425664
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-avermedia-cardbus.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.835s 1.795s cs-sel-06 131063808 true 2.790s 1.776s db6 161951744
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-avermedia-dvbt.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.896s 1.810s db8 161329152 true 2.989s 1.866s db6 163696640
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-avermedia-m135a.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.946s 1.838s db5 131624960 true 2.945s 1.865s db8 159297536
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-avermedia-m733a-rm-k6.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.832s 1.786s db5 128012288 true 2.776s 1.801s db7 162754560
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-avermedia-rm-ks.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.954s 1.854s db1 131198976 true 2.756s 1.739s db3 160555008
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-avermedia.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.791s 1.795s cs-sel-06 128872448 true 2.775s 1.796s db6 165642240
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-avertv-303.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.778s 1.766s db3 158900224 true 2.971s 1.846s db2 164298752
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-azurewave-ad-tu700.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.769s 1.770s cs-sel-06 130256896 true 2.682s 1.736s db4 157155328
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-behold-columbus.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.971s 1.851s db5 129667072 true 2.740s 1.747s cs-sel-06 130400256
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-behold.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.830s 1.781s cs-sel-06 131334144 true 2.947s 1.838s db3 159244288
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-budget-ci-old.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.930s 1.839s db2 167235584 true 2.687s 1.762s cs-sel-05 125726720
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-cinergy-1400.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.787s 1.760s db7 156311552 true 2.788s 1.748s db4 158543872
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-cinergy.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.943s 1.826s db4 159182848 true 3.041s 1.892s db7 159080448
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-dib0700-nec.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.113s 1.927s db6 164737024 true 2.911s 1.823s db1 131129344
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-dib0700-rc5.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.829s 1.836s db8 164642816 true 2.917s 1.848s db8 159830016
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-digitalnow-tinytwin.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.775s 1.761s db5 128348160 true 2.930s 1.840s db4 161050624
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-digittrade.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.844s 1.774s cs-sel-05 126316544 true 2.775s 1.746s cs-sel-05 131096576
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-dm1105-nec.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.820s 1.788s db7 155365376 true 2.849s 1.793s db8 160763904
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-dntv-live-dvb-t.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.798s 1.759s db6 162045952 true 2.827s 1.762s db6 163717120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-dntv-live-dvbt-pro.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.836s 1.817s cs-sel-06 132165632 true 2.890s 1.808s db8 160587776
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-em-terratec.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.893s 1.796s db7 164794368 true 2.925s 1.846s db4 165351424
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-encore-enltv-fm53.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.807s 1.774s db4 162652160 true 2.881s 1.783s db7 156684288
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-encore-enltv.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.852s 1.794s db3 158814208 true 2.853s 1.810s db8 160673792
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-encore-enltv2.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.932s 1.813s db7 164700160 true 2.858s 1.817s db8 159866880
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-evga-indtube.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.784s 1.751s db3 161488896 true 2.863s 1.839s db6 162025472
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-eztv.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.789s 1.817s db6 162476032 true 2.968s 1.867s db8 162127872
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-flydvb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.963s 1.859s db8 158400512 true 2.809s 1.798s db6 159080448
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-flyvideo.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.823s 1.800s db6 163373056 true 2.733s 1.742s db6 162009088
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-fusionhdtv-mce.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.734s 1.748s db8 164913152 true 2.810s 1.805s db2 160956416
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-gadmei-rm008z.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.789s 1.752s db4 157835264 true 2.865s 1.798s db4 159522816
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-genius-tvgo-a11mce.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.720s 1.736s db8 158810112 true 2.782s 1.781s db6 166268928
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-gotview7135.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.864s 1.808s db8 165732352 true 2.915s 1.796s db1 127135744
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-hauppauge.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.949s 1.874s db6 164036608 true 2.902s 1.848s db3 163282944
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-imon-mce.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.756s 1.780s db8 163868672 true 2.827s 1.797s db6 162689024
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-imon-pad.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.869s 1.817s db2 162217984 true 2.938s 1.845s db3 161091584
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-iodata-bctv7e.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.948s 1.855s db7 157392896 true 2.897s 1.824s db3 159617024
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-it913x-v1.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.782s 1.797s db2 161071104 true 2.903s 1.832s db5 128647168
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-it913x-v2.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.810s 1.763s db8 162197504 true 2.924s 1.813s db8 162004992
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-kaiomy.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.897s 1.817s db3 163221504 true 2.871s 1.791s db3 158658560
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-kworld-315u.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.869s 1.801s db4 160665600 true 2.827s 1.764s db6 161746944
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-kworld-pc150u.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.928s 1.839s db6 163078144 true 2.801s 1.756s db5 129888256
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-kworld-plus-tv-analog.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.807s 1.759s db8 157917184 true 2.683s 1.708s cs-sel-05 125702144
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-leadtek-y04g0051.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.844s 1.780s db1 126509056 true 2.827s 1.804s db3 162836480
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-lirc.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.720s 1.743s cs-sel-06 128217088 true 2.708s 1.729s db8 158363648
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-lme2510.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.920s 1.818s db1 126812160 true 2.748s 1.747s db5 127434752
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-manli.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.796s 1.765s cs-sel-06 131350528 true 2.910s 1.835s db3 160665600
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-medion-x10.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.828s 1.766s db3 162836480 true 2.901s 1.823s db3 160395264
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-msi-digivox-ii.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.701s 1.722s db2 162537472 true 2.636s 1.712s cs-sel-05 122961920
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-msi-digivox-iii.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.116s 1.878s db3 163250176 true 2.761s 1.746s cs-sel-05 128905216
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-msi-tvanywhere-plus.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.919s 1.826s db3 163885056 true 2.642s 1.714s cs-sel-05 127737856
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-msi-tvanywhere.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.862s 1.792s db3 159698944 true 2.903s 1.839s db4 161202176
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-nebula.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.835s 1.769s db5 127614976 true 2.782s 1.754s db5 130617344
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-nec-terratec-cinergy-xs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.793s 1.789s db2 159825920 true 2.653s 1.720s cs-sel-05 128925696
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-norwood.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.788s 1.773s db4 157474816 true 2.847s 1.795s db4 158588928
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-npgtech.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.958s 1.863s db3 164798464 true 2.779s 1.767s db7 162177024
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-pctv-sedna.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.819s 1.822s cs-sel-06 129007616 true 3.049s 1.865s db4 161677312
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-pinnacle-color.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.668s 1.709s db2 162963456 true 2.743s 1.742s db7 155963392
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-pinnacle-grey.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.002s 1.877s db3 160514048 true 3.014s 1.895s db8 159870976
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-pinnacle-pctv-hd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.791s 1.772s db1 127512576 true 2.859s 1.799s db7 156590080
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-pixelview-002t.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.903s 1.815s db8 157884416 true 2.862s 1.804s db3 157794304
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-pixelview-mk12.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.785s 1.742s db5 127602688 true 2.948s 1.819s db4 165355520
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-pixelview-new.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.794s 1.754s db8 158842880 true 2.932s 1.824s db5 130289664
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-pixelview.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.746s 1.735s db5 129155072 true 2.918s 1.850s cs-sel-05 129490944
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-powercolor-real-angel.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.926s 1.830s db2 163217408 true 2.702s 1.731s db5 127229952
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-proteus-2309.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.809s 1.771s db7 160272384 true 2.855s 1.787s db2 161931264
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-purpletv.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.721s 1.733s db5 127713280 true 2.789s 1.754s db3 156532736
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-pv951.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.841s 1.822s cs-sel-05 130093056 true 2.887s 1.828s db2 163864576
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-rc6-mce.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.729s 1.742s db4 162521088 true 2.835s 1.795s db5 129122304
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-real-audio-220-32-keys.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.806s 1.777s db3 159031296 true 2.810s 1.814s db7 154652672
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-snapstream-firefly.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.094s 1.928s db4 169017344 true 2.789s 1.794s db5 127545344
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-streamzap.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.827s 1.785s db5 128819200 true 3.025s 1.863s db6 163098624
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-tbs-nec.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.688s 1.723s db4 162050048 true 2.713s 1.740s db5 128847872
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-technisat-usb2.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.829s 1.780s db5 129257472 true 2.789s 1.777s db2 158101504
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-terratec-cinergy-xs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.782s 1.773s db6 161869824 true 2.836s 1.806s db7 158113792
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-terratec-slim-2.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.741s 1.740s db8 154992640 true 2.722s 1.738s db1 126103552
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-terratec-slim.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.081s 1.910s db6 168665088 true 2.944s 1.831s db1 128417792
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-tevii-nec.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.898s 1.828s db4 159670272 true 2.746s 1.751s db2 163635200
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-tivo.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.803s 1.773s db4 161964032 true 2.866s 1.806s db5 130744320
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-total-media-in-hand.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.017s 1.872s db8 161370112 true 2.776s 1.755s db5 128647168
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-trekstor.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.864s 1.793s db1 128151552 true 2.711s 1.764s db8 162312192
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-tt-1500.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.690s 1.735s db4 158982144 true 2.859s 1.793s db8 161632256
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-twinhan1027.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.767s 1.772s db7 155361280 true 2.885s 1.807s db8 157741056
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-videomate-m1f.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.069s 1.876s db3 159412224 true 2.699s 1.729s db2 160448512
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-videomate-s350.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.666s 1.730s db2 160686080 true 2.842s 1.787s db7 160468992
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-videomate-tv-pvr.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.882s 1.824s db4 160309248 true 2.787s 1.782s db6 160198656
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-winfast-usbii-deluxe.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.958s 1.841s db1 130150400 true 2.787s 1.787s db8 162955264
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-winfast.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.772s 1.776s db6 163090432 true 2.841s 1.795s db2 166117376
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--video--cx231xx--cx231xx-dvb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 9.792s 5.454s db4 246210560 true 9.865s 5.551s db7 247967744
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--video--cx88--cx88-vp3054-i2c.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.306s 3.131s db1 156381184 true 5.369s 3.197s db4 218222592
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--video--em28xx--em28xx-dvb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 15.071s 8.203s db3 283172864 true 14.941s 8.178s db7 398520320
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--video--gspca--gspca_benq.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.991s 3.045s db1 160276480 true 5.225s 3.154s db2 215724032
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--video--gspca--gspca_finepix.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.111s 3.059s db5 154578944 true 5.182s 3.095s db8 218607616
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--video--gspca--gspca_jl2005bcd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.394s 3.764s cs-sel-06 168611840 true 6.079s 3.567s db8 218370048
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--video--gspca--gspca_pac207.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.338s 3.697s db8 214028288 true 6.501s 3.782s db8 217841664
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--video--gspca--gspca_sq905c.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.061s 3.068s db5 159232000 true 5.047s 3.020s db5 153563136
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--video--gspca--gspca_stv0680.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 8.610s 4.953s db7 219791360 true 8.850s 5.160s db4 218136576
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--media--video--zoran--zr36016.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.574s 4.444s db6 215035904 true 7.361s 4.303s db8 218275840
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--message--i2o--i2o_bus.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.724s 2.337s db2 205979648 true 3.804s 2.362s db8 212254720
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--message--i2o--i2o_scsi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.223s 4.217s db2 225918976 true 7.253s 4.177s db5 181321728
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--mfd--janz-cmodio.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.324s 2.718s db6 208228352 true 4.488s 2.811s db8 213065728
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--mfd--rdc321x-southbridge.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.812s 2.371s db7 206684160 true 3.444s 2.240s db2 201277440
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--mfd--tps6105x.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.644s 3.378s db8 210464768 true 5.711s 3.418s cs-sel-05 151191552
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--mfd--tps6507x.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.838s 2.462s cs-sel-05 153731072 true 4.144s 2.543s db4 210608128
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--mfd--tps65217.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.248s 2.651s db8 209530880 true 4.285s 2.705s db4 208928768
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--mfd--ucb1400_core.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.345s 2.644s db3 205025280 true 4.551s 2.773s db8 209129472
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--mfd--wl1273-core.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.647s 2.888s db7 209121280 true 4.319s 2.739s cs-sel-05 151289856
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--mfd--wm8400-core.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.969s 3.591s db2 208871424 true 4.627s 2.937s cs-sel-05 151826432
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--misc--apds9802als.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.830s 2.938s db8 208355328 true 4.858s 2.942s db7 208879616
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--misc--bmp085.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.151s 3.134s db7 204050432 true 4.787s 2.965s db6 206057472
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--misc--c2port--c2port-duramar2150.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.201s 2.057s db4 167837696 true 3.396s 2.113s db3 170811392
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--misc--eeprom--eeprom_93xx46.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.734s 2.959s db7 204443648 true 4.520s 2.826s cs-sel-06 150417408
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--misc--isl29020.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.002s 2.499s db1 152109056 true 4.189s 2.623s db8 206024704
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--misc--sgi-xp--xp.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.913s 3.516s db4 213008384 true 4.960s 3.017s db7 211460096
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--misc--ti_dac7512.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.617s 2.310s db8 209858560 true 3.784s 2.384s db2 211935232
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--misc--tifm_core.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.434s 3.282s db8 207577088 true 5.748s 3.439s db8 207597568
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--misc--vmw_balloon.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.762s 4.412s db6 247734272 true 7.361s 4.216s db8 220770304
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--mmc--host--sdricoh_cs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.444s 4.286s db4 224358400 true 7.096s 4.088s db2 220176384
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--mtd--ar7part.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.990s 2.509s db7 205467648 true 3.854s 2.423s db6 209555456
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--mtd--devices--doc2001plus.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.612s 3.295s db4 212860928 true 5.714s 3.378s db7 214167552
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--mtd--devices--docprobe.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 8.749s 5.067s db8 232316928 true 7.215s 4.180s db3 237600768
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--mtd--devices--mtdram.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.130s 2.548s db7 206000128 true 4.452s 2.727s db2 221904896
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--mtd--devices--phram.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.267s 3.218s db8 213712896 true 4.746s 2.910s db5 157245440
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--mtd--devices--slram.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 12.667s 7.007s db7 301867008 true 6.091s 3.574s db3 223371264
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--mtd--ftl.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 9.808s 5.506s db8 229036032 true 9.583s 5.418s db8 257044480
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--mtd--inftl.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 14.772s 8.159s db8 274239488 true 15.082s 8.221s db3 274878464
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--mtd--maps--intel_vr_nor.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.063s 3.107s db2 210681856 true 4.990s 3.060s db4 211763200
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--mtd--maps--netsc520.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.666s 2.302s db6 211648512 true 3.411s 2.171s db6 207265792
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--mtd--maps--nettel.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.312s 2.663s db7 206503936 true 4.012s 2.539s cs-sel-06 146857984
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--mtd--maps--sbc_gxx.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.757s 2.934s db7 209829888 true 4.448s 2.742s db3 205897728
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--mtd--maps--ts5500_flash.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.849s 2.418s db7 209182720 true 3.291s 2.119s db3 206888960
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--mtd--mtdblock_ro.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.586s 2.232s db3 182673408 true 3.638s 2.264s db3 178049024
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--mtd--mtdoops.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.010s 4.002s db4 219688960 true 6.361s 3.739s db6 217415680
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--mtd--nftl.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 13.352s 7.389s db5 260026368 true 13.645s 7.493s db3 273207296
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--mtd--onenand--onenand_sim.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.542s 3.345s db5 165904384 true 6.145s 3.640s db7 216662016
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--mtd--tests--mtd_oobtest.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 9.782s 5.485s db4 250650624 true 9.308s 5.279s db6 240836608
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--mtd--tests--mtd_pagetest.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.111s 4.180s db6 223514624 true 6.945s 4.095s db2 223981568
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--mtd--tests--mtd_subpagetest.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.143s 4.142s db4 221945856 true 7.113s 4.154s db3 221675520
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--mtd--ubi--gluebi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.445s 3.256s db5 156188672 true 5.546s 3.306s db4 214822912
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--arcnet--arc-rawmode.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 11.030s 6.256s db5 294719488 true 5.318s 3.182s db5 160325632
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--arcnet--com20020_cs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.324s 3.714s cs-sel-05 164933632 true 6.494s 3.801s db1 164569088
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--arcnet--rfc1051.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.276s 3.686s db3 218312704 true 5.661s 3.390s db2 215224320
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--arcnet--rfc1201.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 9.085s 5.143s db3 256307200 true 7.964s 4.606s cs-sel-05 201936896
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--irda--act200l-sir.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.351s 3.154s db4 218566656 true 5.146s 3.104s db2 211333120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--irda--esi-sir.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.021s 3.005s db2 215289856 true 5.077s 3.008s db2 215535616
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--irda--girbil-sir.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.130s 3.098s db4 220160000 true 5.102s 3.071s db6 213606400
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--irda--litelink-sir.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.950s 2.977s db1 156798976 true 5.015s 2.985s db5 157417472
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--irda--ma600-sir.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.268s 3.154s db5 155582464 true 5.200s 3.123s db4 214048768
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--irda--mcp2120-sir.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.234s 3.110s db8 219205632 true 5.443s 3.197s db4 215629824
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--irda--old_belkin-sir.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.104s 3.033s db4 215621632 true 5.103s 3.035s db2 214720512
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--irda--tekram-sir.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.277s 3.150s db3 213381120 true 5.083s 3.015s cs-sel-05 155635712
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--phy--amd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.396s 2.671s db8 208064512 true 4.037s 2.501s db5 147943424
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--phy--broadcom.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 14.010s 7.766s db4 259325952 true 14.528s 8.009s db2 275554304
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--phy--cicada.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.824s 2.888s db2 221597696 true 4.899s 2.908s db2 216129536
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--phy--davicom.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.429s 3.218s db4 220741632 true 5.195s 3.069s db3 214716416
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--phy--et1011c.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.031s 3.020s db2 215924736 true 5.440s 3.192s db7 220708864
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--phy--icplus.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.788s 2.857s cs-sel-05 157634560 true 4.979s 2.954s db5 157028352
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--phy--lxt.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.183s 3.119s db8 216948736 true 4.983s 2.984s cs-sel-05 162013184
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--phy--marvell.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.721s 3.371s db1 165928960 true 5.519s 3.290s db6 218923008
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--phy--micrel.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.867s 3.006s db1 150900736 true 4.927s 3.016s db1 150212608
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--phy--national.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.314s 3.184s db5 155250688 true 5.394s 3.247s db8 219824128
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--phy--qsemi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.151s 3.022s db2 217047040 true 4.832s 2.875s cs-sel-05 163094528
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--phy--realtek.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.953s 2.462s db2 209182720 true 3.880s 2.425s cs-sel-05 147738624
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--phy--smsc.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.545s 3.286s db5 154271744 true 5.652s 3.362s cs-sel-05 159682560
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--phy--spi_ks8995.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.521s 3.824s db3 218738688 true 6.458s 3.773s db3 218800128
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--phy--ste10Xp.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.117s 3.072s db6 214470656 true 5.436s 3.183s db3 211640320
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--phy--vitesse.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.836s 2.395s cs-sel-05 147275776 true 4.165s 2.558s db8 206893056
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--ppp--bsd_comp.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.169s 4.174s db7 220315648 true 6.927s 4.039s db5 154107904
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--ppp--ppp_mppe.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 11.808s 6.614s db8 250822656 true 11.675s 6.552s db8 247119872
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--sungem_phy.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 11.557s 6.566s db4 255090688 true 11.124s 6.429s db7 254222336
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--team--team_mode_activebackup.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.060s 3.012s db4 215900160 true 4.953s 2.976s db6 216555520
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--team--team_mode_roundrobin.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.329s 3.157s db8 214990848 true 5.054s 3.063s cs-sel-05 159338496
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--tokenring--abyss.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 9.981s 5.663s db8 244858880 true 9.765s 5.544s db4 244752384
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--usb--cdc_subset.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.738s 2.900s db6 215080960 true 4.884s 2.943s db8 215986176
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--usb--plusb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.994s 2.973s db4 214306816 true 4.948s 2.944s cs-sel-06 162209792
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--wireless--airo_cs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.505s 3.265s db5 153690112 true 5.332s 3.164s db4 216952832
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--wireless--ath--ath6kl--ath6kl_usb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.074s 4.071s db2 216772608 true 6.439s 3.773s db6 221208576
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--wireless--mwifiex--mwifiex_pcie.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 15.891s 8.637s db6 324468736 true 15.636s 8.638s db2 325332992
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--wireless--orinoco--orinoco_nortel.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.156s 3.584s db8 214323200 true 5.670s 3.394s cs-sel-06 153292800
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--wireless--orinoco--orinoco_pci.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.825s 3.394s db8 212451328 true 5.464s 3.208s db1 156377088
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--wireless--orinoco--orinoco_tmd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.335s 3.177s db6 213872640 true 5.555s 3.275s db7 213463040
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--wireless--wl1251--wl1251_spi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.943s 3.490s cs-sel-05 160784384 true 6.210s 3.639s db6 216305664
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--net--wireless--wl12xx--wl12xx_sdio.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.633s 3.896s cs-sel-05 168574976 true 6.684s 3.873s cs-sel-05 177434624
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--parport--parport_cs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.246s 3.154s db3 214736896 true 5.241s 3.153s db2 214847488
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--pci--hotplug--cpcihp_generic.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.083s 4.115s db3 238505984 true 7.890s 4.515s db6 249974784
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--pci--ioapic.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.340s 2.678s db7 206598144 true 4.365s 2.685s db2 212287488
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--pci--pci-stub.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.236s 2.668s db8 208662528 true 4.188s 2.640s db2 207417344
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--platform--x86--asus-nb-wmi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.024s 2.521s db6 204726272 true 3.871s 2.424s db4 203603968
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--platform--x86--dell-wmi-aio.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.583s 2.847s db6 209518592 true 4.453s 2.739s db5 152145920
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--platform--x86--intel_menlow.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.414s 3.705s db6 221310976 true 5.914s 3.490s db2 219521024
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--platform--x86--mxm-wmi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.980s 2.459s db2 208293888 true 3.666s 2.293s db4 205430784
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--platform--x86--panasonic-laptop.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.637s 3.844s db3 222212096 true 6.061s 3.598s cs-sel-05 165040128
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--platform--x86--topstar-laptop.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.046s 3.103s cs-sel-06 152297472 true 4.682s 2.879s db3 207364096
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--platform--x86--toshiba_bluetooth.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.852s 2.982s cs-sel-06 150536192 true 4.137s 2.603s db2 210284544
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--platform--x86--xo15-ebook.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.753s 2.925s db8 207667200 true 4.720s 2.915s db6 205697024
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--power--max8903_charger.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.625s 3.360s db1 156917760 true 5.569s 3.367s db3 215941120
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--power--test_power.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.544s 3.440s db2 214425600 true 4.876s 3.006s db2 217190400
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--power--wm831x_backup.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.906s 2.478s db1 147980288 true 3.934s 2.471s db2 212779008
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--power--wm831x_power.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.470s 3.307s cs-sel-06 157102080 true 5.829s 3.507s db8 210792448
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--pps--clients--pps-ktimer.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.417s 2.136s db4 178622464 true 3.240s 2.070s db8 179351552
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--pps--clients--pps-ldisc.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.386s 2.662s db3 209092608 true 4.276s 2.628s db7 205635584
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--regulator--gpio-regulator.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.733s 3.432s db8 213540864 true 5.296s 3.239s cs-sel-05 152485888
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--regulator--max1586.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.823s 2.953s db8 210030592 true 4.582s 2.851s db5 150740992
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--regulator--max8649.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.873s 3.009s db7 207208448 true 4.940s 3.028s db3 206147584
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--regulator--userspace-consumer.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.579s 2.292s cs-sel-05 128294912 true 4.048s 2.522s db8 205938688
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--regulator--virtual.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.312s 2.642s db2 209866752 true 4.513s 2.724s db6 214953984
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--regulator--wm831x-dcdc.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 9.377s 5.321s db4 245542912 true 8.398s 4.838s db4 216481792
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--regulator--wm831x-isink.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.506s 3.299s db8 217501696 true 4.706s 2.920s db2 207687680
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--regulator--wm831x-ldo.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.597s 4.490s db6 215994368 true 7.186s 4.224s db4 216985600
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--regulator--wm8400-regulator.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.974s 3.002s db3 212480000 true 4.690s 2.884s cs-sel-06 150462464
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--rtc--rtc-da9052.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.862s 3.000s db3 206888960 true 4.925s 3.055s db3 209993728
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--rtc--rtc-ds1390.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.294s 3.101s db8 221556736 true 5.360s 3.183s db3 218329088
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--rtc--rtc-ds1553.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.179s 3.571s db5 159772672 true 6.559s 3.796s db6 217309184
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--rtc--rtc-ds3232.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.349s 3.788s db8 218918912 true 6.376s 3.770s db7 218136576
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--rtc--rtc-ds3234.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.214s 3.155s db8 212164608 true 5.185s 3.148s db6 212193280
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--rtc--rtc-m41t93.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.703s 3.412s db4 220655616 true 5.413s 3.275s cs-sel-05 160051200
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--rtc--rtc-m41t94.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.366s 3.222s db4 218443776 true 5.394s 3.213s cs-sel-06 163291136
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--rtc--rtc-m48t86.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.496s 2.786s db4 202625024 true 4.380s 2.743s db3 206192640
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--rtc--rtc-max6902.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.866s 2.976s db8 208015360 true 4.782s 2.951s db6 213274624
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--rtc--rtc-mc13xxx.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.436s 3.334s db6 207659008 true 5.497s 3.329s db7 210436096
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--rtc--rtc-pcap.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.241s 2.662s db3 203931648 true 4.400s 2.762s db8 204996608
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--rtc--rtc-pcf2123.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.348s 3.741s db1 163442688 true 6.330s 3.724s cs-sel-05 162189312
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--rtc--rtc-r9701.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.742s 3.928s db2 215031808 true 6.488s 3.776s db4 217174016
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--rtc--rtc-rs5c348.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.594s 3.379s db6 210276352 true 5.188s 3.147s cs-sel-05 164306944
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--rtc--rtc-stk17ta8.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.457s 3.669s db5 163024896 true 6.659s 3.814s db3 216838144
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--rtc--rtc-test.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.956s 2.527s db7 209993728 true 4.099s 2.546s db4 204750848
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--rtc--rtc-v3020.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.318s 4.198s db8 217788416 true 7.041s 4.111s db7 219033600
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--rtc--rtc-wm831x.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.116s 3.155s db4 208359424 true 4.780s 2.968s cs-sel-05 153841664
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--scsi--dmx3191d.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 9.030s 5.061s db4 255549440 true 9.163s 5.147s db6 255561728
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--scsi--iscsi_boot_sysfs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.635s 2.868s db4 206557184 true 4.621s 2.875s db3 209424384
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--scsi--pcmcia--sym53c500_cs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 8.201s 4.785s db8 226545664 true 7.977s 4.645s db8 223694848
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--scsi--qlogicfas408.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 8.575s 4.914s db8 250626048 true 7.706s 4.466s db7 225824768
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--scsi--scsi_wait_scan.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 2.772s 1.736s db5 127516672 true 2.712s 1.722s db4 155312128
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--spi--spi-tle62x0.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.563s 2.841s db3 214130688 true 4.499s 2.791s cs-sel-05 150679552
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--staging--android--switch--switch_class.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.919s 2.505s db7 209436672 true 3.893s 2.447s db3 202981376
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--staging--android--switch--switch_gpio.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.817s 2.424s db8 204754944 true 3.557s 2.262s db1 129019904
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--staging--comedi--drivers--8255.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.734s 2.931s db6 209674240 true 4.853s 2.958s db6 209330176
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--staging--comedi--drivers--adl_pci7230.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.471s 2.773s db7 213094400 true 4.282s 2.678s cs-sel-06 154464256
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--staging--comedi--drivers--adl_pci7296.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.394s 2.778s db4 207609856 true 4.515s 2.814s db7 207196160
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--staging--comedi--drivers--adl_pci7432.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.345s 2.729s db3 206225408 true 4.551s 2.803s db8 212643840
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--staging--comedi--drivers--adl_pci8164.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.098s 3.064s db7 213573632 true 4.851s 2.989s db3 207568896
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--staging--comedi--drivers--comedi_bond.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.144s 3.145s db7 213274624 true 5.350s 3.283s db8 212840448
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--staging--comedi--drivers--comedi_parport.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.807s 2.946s db2 209371136 true 4.656s 2.909s cs-sel-05 153870336
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--staging--comedi--drivers--unioxx5.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.070s 3.043s db4 206372864 true 5.144s 3.066s db8 212021248
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--staging--iio--addac--adt7316-i2c.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.224s 2.607s db8 207376384 true 3.925s 2.458s db5 145051648
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--staging--iio--addac--adt7316-spi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.614s 2.886s cs-sel-06 150032384 true 4.698s 2.955s db7 208023552
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--staging--iio--dds--ad5930.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.980s 2.488s db4 204402688 true 4.300s 2.637s db7 212537344
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--staging--iio--dds--ad9832.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.277s 3.666s cs-sel-06 156102656 true 6.405s 3.807s db2 214618112
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--staging--iio--dds--ad9850.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.044s 2.503s db7 211197952 true 3.949s 2.450s db7 208216064
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--staging--iio--dds--ad9852.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.570s 2.804s db7 208412672 true 4.598s 2.880s db7 205213696
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--staging--iio--dds--ad9910.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.067s 3.095s db7 210493440 true 4.873s 2.994s db6 212021248
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--staging--iio--dds--ad9951.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.683s 2.882s db6 207757312 true 4.708s 2.855s db8 212742144
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--staging--iio--iio_dummy_evgen.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.277s 3.233s db4 210182144 true 4.554s 2.790s db2 221847552
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--staging--iio--kfifo_buf.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.524s 2.202s db5 143478784 true 3.641s 2.253s cs-sel-05 134115328
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--staging--iio--meter--ade7854-i2c.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.401s 2.739s db2 209821696 true 4.597s 2.820s db3 209350656
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--staging--iio--resolver--ad2s90.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.923s 2.501s db8 205975552 true 4.077s 2.544s db5 150409216
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--staging--iio--ring_sw.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.735s 2.849s db8 215502848 true 4.680s 2.779s db5 158171136
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--staging--media--cxd2099--cxd2099.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 8.777s 5.059s db8 220356608 true 8.808s 5.026s db3 215560192
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--staging--phison--phison.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.794s 2.884s db4 219557888 true 4.965s 2.965s db6 216961024
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--staging--serqt_usb2--serqt_usb2.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 10.860s 6.133s db8 249462784 true 11.106s 6.170s db2 246050816
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--staging--speakup--speakup_acntsa.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.442s 2.157s db4 172105728 true 3.288s 2.079s db7 172122112
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--staging--speakup--speakup_bns.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.114s 1.964s cs-sel-06 130473984 true 3.043s 1.933s db8 168669184
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--staging--speakup--speakup_dummy.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.141s 2.000s db2 170811392 true 3.162s 1.986s cs-sel-06 128946176
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--staging--speakup--speakup_ltlk.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.574s 2.249s db6 176119808 true 3.543s 2.221s db6 181456896
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--staging--speakup--speakup_soft.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.802s 3.430s db6 219926528 true 5.840s 3.481s db8 216666112
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--staging--speakup--speakup_spkout.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.226s 2.031s db3 171474944 true 3.353s 2.041s db1 132100096
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--staging--speakup--speakup_txprt.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.281s 2.044s db2 169054208 true 3.217s 2.045s db7 171945984
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--staging--telephony--ixj_pcmcia.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.465s 3.233s db5 159395840 true 5.732s 3.409s db8 218550272
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--staging--vme--boards--vme_vmivme7805.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.105s 2.550s db4 209108992 true 3.986s 2.483s db7 208605184
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--staging--zram--zram.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 8.783s 4.987s cs-sel-05 233910272 true 7.447s 4.301s db8 222121984
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--staging--zram--zram.ko-ldv_main1_sequence_infinite_withcheck_stateful.cil.out.c true 6.146s 3.596s db3 212647936 true 6.474s 3.723s db8 217550848
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--target--loopback--tcm_loop.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 10.493s 5.897s db4 256356352 true 11.000s 6.111s db8 268845056
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--tty--serial--altera_jtaguart.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.789s 3.415s db4 219525120 true 5.956s 3.497s db1 164593664
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--tty--serial--altera_uart.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.608s 3.912s db4 215834624 true 6.802s 3.976s db1 160907264
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--tty--serial--mfd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 21.501s 11.683s db3 470634496 true 14.156s 7.800s cs-sel-06 270004224
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--tty--serial--uartlite.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.574s 3.854s cs-sel-06 164278272 true 6.715s 3.915s cs-sel-05 165617664
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--tty--serial--xilinx_uartps.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.978s 4.070s cs-sel-06 162369536 true 6.982s 4.050s cs-sel-06 160641024
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--uio--uio_aec.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.523s 2.787s db3 204525568 true 4.817s 2.936s db8 208416768
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--uio--uio_pci_generic.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.993s 2.514s cs-sel-05 147738624 true 4.066s 2.572s db6 206499840
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--uio--uio_sercos3.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.696s 3.460s db6 210124800 true 5.531s 3.384s db7 210903040
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--usb--atm--xusbatm.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.776s 4.366s db5 201682944 true 7.339s 4.198s db2 224595968
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--usb--dwc3--dwc3-pci.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.185s 2.598s db2 206110720 true 4.293s 2.688s db7 205336576
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--usb--misc--cypress_cy7c63.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.902s 2.960s db1 159870976 true 5.027s 3.063s db4 216481792
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--usb--misc--cytherm.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.477s 3.244s db5 156041216 true 5.639s 3.367s db2 214720512
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--usb--misc--trancevibrator.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.285s 2.677s db6 207540224 true 4.483s 2.753s db4 204066816
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--usb--otg--ab8500-usb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.984s 3.608s db4 214859776 true 6.159s 3.692s db4 213401600
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--usb--otg--nop-usb-xceiv.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.895s 2.515s db6 208883712 true 3.942s 2.516s db8 207601664
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--usb--serial--cp210x.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 13.057s 7.293s cs-sel-06 265998336 true 10.836s 6.129s db3 246263808
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--usb--serial--empeg.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.363s 2.683s cs-sel-05 147259392 true 4.550s 2.733s db5 158425088
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--usb--serial--funsoft.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.142s 2.544s db6 210067456 true 4.155s 2.562s db7 207511552
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--usb--serial--hp4x.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.099s 2.505s db4 206041088 true 4.058s 2.462s db4 211030016
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--usb--serial--ipaq.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 8.253s 4.582s db8 221192192 true 8.166s 4.534s db4 217960448
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--usb--serial--ipw.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.218s 3.147s cs-sel-06 161828864 true 5.727s 3.399s db4 223277056
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--usb--serial--ir-usb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.700s 3.960s db6 217616384 true 6.582s 3.868s db2 216752128
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--usb--serial--iuu_phoenix.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 13.443s 7.470s db4 256974848 true 12.951s 7.255s db4 256016384
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--usb--serial--metro-usb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.531s 4.348s db3 220536832 true 7.099s 4.118s cs-sel-05 173371392
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--usb--serial--mos7840.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 20.958s 11.195s cs-sel-06 295723008 true 19.805s 10.705s db3 415301632
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--usb--serial--moto_modem.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.032s 2.490s db4 206639104 true 4.106s 2.512s db8 204890112
ldv-linux-3.4-simple/32_1_cilled_true_ok_nondet_linux-3.4-32_1-drivers--usb--serial--qcaux.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.820s 2.405s cs-sel-05 151789568