Tool CPAchecker 1.4-svn
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 2
Host [zeus01; zeus02; zeus03; zeus04; zeus05; zeus06; zeus07; zeus08; zeus09; zeus10; zeus11; zeus12; zeus13; zeus14; zeus15; zeus16; zeus17; zeus18; zeus19; zeus20; zeus21; zeus22; zeus23; zeus24]
OS Linux 3.13.0-45-generic
System CPU: Intel Xeon E5-2650 v2 @ 2.60 GHz with 32 cores, frequency: 2.6 GHz; RAM: 135 GB
Date of execution 15-02-20 21:42
Run set DOMAIN_BEST_SHALLOW DOMAIN_WORST_SHALLOW LONGEST SHORTEST
Options -disable-java-assertions -heap 14000M -noout -skipRecursion -setprop log.consoleLevel=WARNING -valueAnalysis -setprop cpa.value.refinement.restart=TOP -setprop cpa.value.refiner.prefixPreference=DOMAIN_BEST_SHALLOW -disable-java-assertions -heap 14000M -noout -skipRecursion -setprop log.consoleLevel=WARNING -valueAnalysis -setprop cpa.value.refinement.restart=TOP -setprop cpa.value.refiner.prefixPreference=DOMAIN_WORST_SHALLOW -disable-java-assertions -heap 14000M -noout -skipRecursion -setprop log.consoleLevel=WARNING -valueAnalysis -setprop cpa.value.refinement.restart=TOP -setprop cpa.value.refiner.prefixPreference=LONGEST -disable-java-assertions -heap 14000M -noout -skipRecursion -setprop log.consoleLevel=WARNING -valueAnalysis -setprop cpa.value.refinement.restart=TOP -setprop cpa.value.refiner.prefixPreference=SHORTEST
Propertyfile ${sourcefile_path}/ALL.prp
test/programs/ status cputime #refs #prefixes status cputime #refs #prefixes status cputime #refs #prefixes status cputime #refs #prefixes
bitvector/byte_add_false-unreach-call.i unknown 93.184s 2 5 unknown 92.815s 2 5 unknown 97.275s 3 7 unknown 91.512s 2 5
bitvector/byte_add_1_true-unreach-call.i unknown 26.833s 3 12 unknown 98.920s 3 11 unknown 197.928s 6 13 unknown 26.363s 3 12
bitvector/byte_add_2_true-unreach-call.i unknown 95.278s 3 8 unknown 98.222s 3 8 unknown 195.152s 6 16 unknown 100.421s 3 8
bitvector/gcd_1_true-unreach-call.i unknown 3.472s 0 0 unknown 3.645s 0 0 unknown 3.569s 0 0 unknown 3.432s 0 0
bitvector/gcd_2_true-unreach-call.i unknown 3.252s 0 0 unknown 3.389s 0 0 unknown 3.484s 0 0 unknown 3.292s 0 0
bitvector/gcd_3_true-unreach-call.i unknown 3.278s 0 0 unknown 3.529s 0 0 unknown 3.497s 0 0 unknown 3.487s 0 0
bitvector/gcd_4_true-unreach-call.i true 3.234s 3 6 true 3.202s 2 3 true 3.327s 2 3 true 3.390s 3 6
bitvector/interleave_bits_true-unreach-call.i unknown 3.812s 1 1 unknown 3.744s 1 1 unknown 3.816s 1 1 unknown 3.802s 1 1
bitvector/jain_1_true-unreach-call.i unknown 3.137s 0 0 unknown 3.578s 0 0 unknown 3.481s 0 0 unknown 3.355s 0 0
bitvector/jain_2_true-unreach-call.i unknown 3.211s 0 0 unknown 3.395s 0 0 unknown 3.840s 0 0 unknown 3.459s 0 0
bitvector/jain_4_true-unreach-call.i unknown 3.787s 0 0 unknown 3.266s 0 0 unknown 3.632s 0 0 unknown 3.315s 0 0
bitvector/jain_5_true-unreach-call.i timeout 901.565s 1 1 timeout 901.682s 1 1 timeout 901.271s 1 1 timeout 901.699s 1 1
bitvector/jain_6_true-unreach-call.i unknown 3.190s 0 0 unknown 3.199s 0 0 unknown 3.503s 0 0 unknown 3.267s 0 0
bitvector/jain_7_true-unreach-call.i unknown 3.666s 0 0 unknown 3.422s 0 0 unknown 3.510s 0 0 unknown 3.262s 0 0
bitvector/modulus_true-unreach-call.i unknown 3.569s 0 0 unknown 3.607s 0 0 unknown 3.510s 0 0 unknown 3.566s 0 0
bitvector/num_conversion_1_true-unreach-call.i true 3.478s 3 5 true 3.508s 3 5 true 3.639s 3 5 true 3.330s 3 5
bitvector/num_conversion_2_true-unreach-call.i unknown 3.662s 1 1 unknown 3.660s 1 1 unknown 3.469s 1 1 unknown 3.712s 1 1
bitvector/parity_true-unreach-call.i unknown 3.657s 0 0 unknown 3.428s 0 0 unknown 3.179s 0 0 unknown 3.387s 0 0
bitvector/sum02_true-unreach-call.i timeout 959.671s - - timeout 959.381s - - timeout 959.440s - - timeout 901.044s 3 3
bitvector/s3_clnt_1_false-unreach-call.BV.c.cil.c false(reach) 7.637s 2 12 false(reach) 7.098s 2 5 false(reach) 7.815s 2 12 false(reach) 7.476s 2 5
bitvector/s3_clnt_2_false-unreach-call.BV.c.cil.c unknown 12.545s 4 19 unknown 10.904s 3 9 unknown 11.044s 3 17 unknown 12.074s 4 11
bitvector/s3_clnt_3_false-unreach-call.BV.c.cil.c false(reach) 7.936s 5 8 false(reach) 7.688s 5 9 false(reach) 7.814s 5 10 false(reach) 7.786s 5 8
bitvector/s3_clnt_1_true-unreach-call.BV.c.cil.c true 9.760s 5 16 true 9.485s 4 8 true 9.507s 4 15 true 9.354s 5 9
bitvector/s3_clnt_2_true-unreach-call.BV.c.cil.c true 10.163s 5 17 true 8.876s 4 8 true 8.992s 4 16 true 10.071s 5 9
bitvector/s3_clnt_3_true-unreach-call.BV.c.cil.c true 7.858s 3 15 true 8.877s 4 12 true 10.064s 5 21 true 10.589s 6 18
bitvector/s3_srvr_1_alt_true-unreach-call.BV.c.cil.c unknown 17.868s 6 24 unknown 16.022s 5 10 unknown 17.796s 6 23 unknown 16.408s 5 11
bitvector/s3_srvr_1_true-unreach-call.BV.c.cil.c true 11.410s 5 27 true 8.035s 4 9 true 9.740s 4 22 true 7.814s 4 9
bitvector/s3_srvr_2_alt_true-unreach-call.BV.c.cil.c true 8.999s 3 13 true 8.639s 3 6 true 8.564s 3 13 true 8.159s 3 6
bitvector/s3_srvr_2_true-unreach-call.BV.c.cil.c true 8.720s 3 13 true 8.093s 3 6 true 8.926s 3 13 true 8.008s 3 6
bitvector/s3_srvr_3_alt_true-unreach-call.BV.c.cil.c true 11.350s 5 27 true 8.258s 4 9 true 9.444s 4 22 true 8.377s 4 9
bitvector/s3_srvr_3_true-unreach-call.BV.c.cil.c true 11.042s 5 27 true 8.376s 4 9 true 9.450s 4 22 true 7.902s 4 9
bitvector/soft_float_1_true-unreach-call.c.cil.c unknown 35.299s 14 24 unknown 36.777s 13 411 unknown 37.130s 13 157 unknown 33.181s 14 24
bitvector/soft_float_2_true-unreach-call.c.cil.c unknown 6.589s 3 19 unknown 18.601s 4 793 unknown 12.626s 4 288 unknown 6.979s 3 17
bitvector/soft_float_3_true-unreach-call.c.cil.c unknown 10.156s 5 24 unknown 17.441s 5 794 unknown 12.925s 5 289 unknown 9.188s 4 19
bitvector/soft_float_4_true-unreach-call.c.cil.c unknown 17.684s 5 9 unknown 22.672s 6 399 unknown 18.941s 6 146 unknown 18.098s 5 9
bitvector/soft_float_5_true-unreach-call.c.cil.c unknown 7.131s 3 19 unknown 18.474s 4 793 unknown 11.821s 4 288 unknown 6.714s 3 17
bitvector-regression/implicitfloatconversion_false-unreach-call.i false(reach) 3.416s 0 0 false(reach) 3.575s 0 0 false(reach) 3.279s 0 0 false(reach) 3.373s 0 0
bitvector-regression/implicitunsignedconversion_false-unreach-call.i false(reach) 3.300s 0 0 false(reach) 3.251s 0 0 false(reach) 3.350s 0 0 false(reach) 3.294s 0 0
bitvector-regression/integerpromotion_false-unreach-call.i false(reach) 3.962s 0 0 false(reach) 4.023s 0 0 false(reach) 3.819s 0 0 false(reach) 3.913s 0 0
bitvector-regression/signextension2_false-unreach-call.i false(reach) 4.083s 0 0 false(reach) 4.390s 0 0 false(reach) 3.933s 0 0 false(reach) 3.752s 0 0
bitvector-regression/signextension_false-unreach-call.i false(reach) 4.109s 0 0 false(reach) 3.898s 0 0 false(reach) 4.020s 0 0 false(reach) 4.226s 0 0
bitvector-regression/implicitunsignedconversion_true-unreach-call.i true 3.291s 1 1 true 3.185s 1 1 true 2.921s 1 1 true 3.042s 1 1
bitvector-regression/integerpromotion_true-unreach-call.i true 3.314s 1 1 true 3.499s 1 1 true 3.492s 1 1 true 3.427s 1 1
bitvector-regression/signextension2_true-unreach-call.i true 3.539s 4 4 true 3.724s 4 4 true 3.352s 4 4 true 3.509s 4 4
bitvector-regression/signextension_true-unreach-call.i true 3.760s 4 4 true 3.639s 4 4 true 3.475s 4 4 true 3.793s 4 4
bitvector-loops/diamond_false-unreach-call2.i false(reach) 3.966s 1 1 false(reach) 3.762s 1 1 false(reach) 3.645s 1 1 false(reach) 3.762s 1 1
bitvector-loops/overflow_false-unreach-call1.i timeout 901.349s 1 1 timeout 901.305s 1 1 timeout 901.423s 1 1 timeout 901.416s 1 1
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-termination.cil.c false(reach) 13.048s 14 22 false(reach) 12.471s 13 21 false(reach) 13.017s 15 23 false(reach) 13.084s 13 20
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-termination.cil.c false(reach) 13.494s 22 35 false(reach) 13.965s 19 40 false(reach) 13.867s 23 35 false(reach) 13.846s 21 36
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-termination.cil.c false(reach) 15.630s 28 43 false(reach) 18.658s 26 53 false(reach) 16.016s 29 43 false(reach) 14.790s 28 47
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-termination.cil.c false(reach) 11.904s 17 29 false(reach) 10.685s 14 24 false(reach) 12.417s 17 28 false(reach) 10.936s 15 25
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-termination.cil.c true 20.920s 41 59 true 22.383s 39 54 true 19.427s 38 53 true 26.220s 39 52
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-termination.cil.c true 17.588s 30 47 true 17.155s 29 62 true 17.240s 30 50 true 18.911s 29 45
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-termination.cil.c true 12.237s 22 35 true 12.881s 19 40 true 13.053s 23 35 true 12.801s 21 36
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-termination.cil.c true 15.894s 29 44 true 16.272s 26 53 true 15.240s 30 44 true 14.302s 28 47
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-termination.cil.c true 8.245s 13 23 true 7.526s 10 15 true 7.977s 10 34 true 7.157s 10 15
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-termination.cil.c true 9.483s 13 22 true 8.867s 11 18 true 9.697s 12 19 true 8.515s 11 18
ssh-simplified/s3_clnt_1_false-unreach-call.cil.c false(reach) 7.587s 3 14 false(reach) 6.546s 2 5 false(reach) 7.801s 3 14 false(reach) 6.505s 2 5
ssh-simplified/s3_clnt_2_false-unreach-call_true-termination.cil.c false(reach) 8.055s 3 14 false(reach) 6.509s 2 5 false(reach) 7.569s 3 14 false(reach) 6.700s 2 5
ssh-simplified/s3_clnt_3_false-unreach-call.cil.c false(reach) 7.998s 3 14 false(reach) 6.772s 2 5 false(reach) 7.987s 3 14 false(reach) 6.935s 2 5
ssh-simplified/s3_clnt_4_false-unreach-call.cil.c false(reach) 7.780s 3 14 false(reach) 6.684s 2 5 false(reach) 7.561s 3 14 false(reach) 6.656s 2 5
ssh-simplified/s3_srvr_10_false-unreach-call.cil.c false(reach) 19.957s 10 78 false(reach) 12.012s 9 56 false(reach) 12.172s 8 75 false(reach) 11.955s 9 52
ssh-simplified/s3_srvr_11_false-unreach-call.cil.c false(reach) 12.547s 5 19 false(reach) 11.857s 4 7 false(reach) 12.265s 5 19 false(reach) 11.571s 4 7
ssh-simplified/s3_srvr_12_false-unreach-call.cil.c false(reach) 18.087s 7 69 false(reach) 14.478s 6 15 false(reach) 16.658s 6 66 false(reach) 15.465s 6 27
ssh-simplified/s3_srvr_13_false-unreach-call.cil.c false(reach) 13.173s 7 29 false(reach) 12.207s 6 14 false(reach) 13.774s 6 28 false(reach) 12.571s 6 14
ssh-simplified/s3_srvr_14_false-unreach-call.cil.c false(reach) 14.931s 11 114 false(reach) 12.521s 9 54 false(reach) 12.697s 9 99 false(reach) 11.677s 9 67
ssh-simplified/s3_srvr_1_false-unreach-call.cil.c false(reach) 7.579s 3 13 false(reach) 6.179s 2 5 false(reach) 7.287s 3 13 false(reach) 6.098s 2 5
ssh-simplified/s3_srvr_2_false-unreach-call.cil.c false(reach) 7.027s 3 13 false(reach) 6.554s 2 5 false(reach) 7.496s 3 13 false(reach) 6.205s 2 5
ssh-simplified/s3_srvr_6_false-unreach-call.cil.c false(reach) 5.330s 1 1 false(reach) 5.182s 1 1 false(reach) 5.138s 1 1 false(reach) 5.009s 1 1
ssh-simplified/s3_clnt_1_true-unreach-call.cil.c true 9.817s 5 21 true 7.525s 3 7 true 8.535s 3 17 true 8.254s 4 8
ssh-simplified/s3_clnt_2_true-unreach-call_true-termination.cil.c true 9.306s 4 20 true 8.025s 3 7 true 8.161s 3 17 true 8.546s 4 8
ssh-simplified/s3_clnt_3_true-unreach-call.cil.c true 9.387s 4 19 true 8.305s 3 7 true 8.313s 3 16 true 9.298s 4 8
ssh-simplified/s3_clnt_4_true-unreach-call.cil.c true 9.232s 4 20 true 7.941s 3 7 true 8.255s 3 17 true 8.486s 4 8
ssh-simplified/s3_srvr_1_true-unreach-call.cil.c true 11.061s 5 33 true 8.655s 4 12 true 9.257s 4 24 true 7.794s 4 12
ssh-simplified/s3_srvr_1a_true-unreach-call.cil.c true 4.178s 3 8 true 4.204s 3 8 true 4.857s 3 14 true 4.619s 3 8
ssh-simplified/s3_srvr_1b_true-unreach-call_false-termination.cil.c true 3.519s 3 8 true 3.382s 3 8 true 3.582s 3 10 true 3.270s 3 8
ssh-simplified/s3_srvr_2_true-unreach-call.cil.c true 8.161s 3 15 true 7.591s 3 6 true 8.009s 3 15 true 7.114s 3 6
ssh-simplified/s3_srvr_3_true-unreach-call.cil.c true 10.924s 5 27 true 7.734s 4 9 true 9.193s 4 22 true 7.608s 4 9
ssh-simplified/s3_srvr_4_true-unreach-call.cil.c true 9.047s 4 19 true 7.728s 4 8 true 9.124s 4 19 true 7.373s 4 8
ssh-simplified/s3_srvr_6_true-unreach-call.cil.c true 14.840s 4 64 true 10.845s 4 13 true 13.917s 4 62 true 11.611s 4 25
ssh-simplified/s3_srvr_7_true-unreach-call.cil.c true 10.341s 4 23 true 9.459s 4 11 true 10.281s 4 23 true 9.302s 4 11
ssh-simplified/s3_srvr_8_true-unreach-call.cil.c true 11.985s 5 48 true 7.930s 4 11 true 9.747s 4 37 true 8.609s 4 17
locks/test_locks_14_false-unreach-call.c false(reach) 3.954s 0 0 false(reach) 4.002s 0 0 false(reach) 3.839s 0 0 false(reach) 3.662s 0 0
locks/test_locks_15_false-unreach-call.c false(reach) 3.750s 0 0 false(reach) 3.819s 0 0 false(reach) 3.711s 0 0 false(reach) 3.676s 0 0
locks/test_locks_10_true-unreach-call.c true 43.784s 20 20 true 48.279s 20 20 true 50.404s 20 20 true 44.812s 20 20
locks/test_locks_11_true-unreach-call_false-termination.c true 158.021s 22 22 true 159.920s 22 22 true 159.875s 22 22 true 155.087s 22 22
locks/test_locks_12_true-unreach-call_false-termination.c true 633.437s 24 24 true 639.772s 24 24 true 709.327s 24 24 true 616.868s 24 24
locks/test_locks_13_true-unreach-call.c timeout 901.350s 25 25 timeout 901.302s 25 25 timeout 901.763s 25 25 timeout 901.159s 25 25
locks/test_locks_14_true-unreach-call.c timeout 901.207s 25 25 timeout 901.445s 25 25 timeout 901.332s 25 25 timeout 901.535s 25 25
locks/test_locks_15_true-unreach-call_false-termination.c timeout 901.365s 25 25 timeout 900.967s 25 25 timeout 901.408s 24 24 timeout 901.477s 24 24
locks/test_locks_5_true-unreach-call_false-termination.c true 5.794s 10 10 true 5.703s 10 10 true 5.867s 10 10 true 5.674s 10 10
locks/test_locks_6_true-unreach-call_false-termination.c true 7.281s 12 12 true 7.269s 12 12 true 8.024s 12 12 true 7.559s 12 12
locks/test_locks_7_true-unreach-call_false-termination.c true 9.069s 14 14 true 8.843s 14 14 true 8.703s 14 14 true 8.940s 14 14
locks/test_locks_8_true-unreach-call_false-termination.c true 13.826s 16 16 true 11.414s 16 16 true 11.402s 16 16 true 11.508s 16 16
locks/test_locks_9_true-unreach-call.c true 19.360s 18 18 true 18.815s 18 18 true 18.483s 18 18 true 19.416s 18 18
ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko_false-unreach-call.cil.out.i.pp.i timeout 901.900s 4 5 timeout 901.647s 4 5 timeout 901.753s 4 5 timeout 901.671s 4 5
ldv-linux-3.0/module_get_put-drivers-block-loop.ko_false-unreach-call.cil.out.i.pp.i timeout 901.974s 2 7 timeout 901.975s 1 5 timeout 901.868s 4 12 timeout 901.969s 1 5
ldv-linux-3.0/module_get_put-drivers-block-pktcdvd.ko_false-unreach-call.cil.out.i.pp.i timeout 959.951s - - timeout 954.360s 20 30 timeout 918.265s 20 31 timeout 911.900s 20 35
ldv-linux-3.0/module_get_put-drivers-isdn-gigaset-gigaset.ko_false-unreach-call.cil.out.i.pp.i timeout 953.497s 7 17 timeout 915.759s 6 13 timeout 908.172s 5 15 timeout 906.162s 6 13
ldv-linux-3.0/module_get_put-drivers-isdn-mISDN-mISDN_core.ko_false-unreach-call.cil.out.i.pp.i timeout 902.246s 2 3 timeout 902.434s 2 3 timeout 902.552s 2 3 timeout 902.477s 2 3
ldv-linux-3.0/module_get_put-drivers-net-ppp_generic.ko_false-unreach-call.cil.out.i.pp.i timeout 901.004s 5 19 timeout 901.366s 5 15 timeout 900.967s 5 15 timeout 901.620s 5 18
ldv-linux-3.0/module_get_put-drivers-net-wan-farsync.ko_false-unreach-call.cil.out.i.pp.i timeout 914.736s 5 10 timeout 907.270s 5 10 timeout 909.935s 5 12 timeout 906.982s 5 9
ldv-linux-3.0/module_get_put-drivers-tty-synclink_gt.ko_false-unreach-call.cil.out.i.pp.i timeout 959.550s - - timeout 906.246s 3 10475 timeout 901.823s 7 2086 timeout 901.295s 11 11156
ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko_false-unreach-call.cil.out.i.pp.i timeout 959.894s - - timeout 960.447s - - timeout 960.008s - - timeout 959.838s - -
ldv-linux-3.0/usb_urb-drivers-hid-usbhid-usbmouse.ko_false-unreach-call.cil.out.i.pp.i timeout 959.565s - - timeout 959.680s - - timeout 959.782s - - timeout 926.883s 4 5
ldv-linux-3.0/usb_urb-drivers-input-misc-keyspan_remote.ko_false-unreach-call.cil.out.i.pp.i timeout 901.806s 7 10 timeout 901.511s 7 12 timeout 954.032s 7 12 timeout 959.680s - -
ldv-linux-3.0/usb_urb-drivers-media-dvb-ttusb-dec-ttusb_dec.ko_false-unreach-call.cil.out.i.pp.i timeout 901.666s 5 15 timeout 902.097s 4 12 timeout 901.580s 5 12 timeout 901.525s 7 20
ldv-linux-3.0/usb_urb-drivers-net-can-usb-ems_usb.ko_false-unreach-call.cil.out.i.pp.i timeout 901.942s 14 30 timeout 900.957s 10 25 timeout 901.856s 14 32 timeout 901.419s 10 25
ldv-linux-3.0/usb_urb-drivers-net-usb-catc.ko_false-unreach-call.cil.out.i.pp.i false(reach) 20.577s 4 7 false(reach) 22.061s 4 10 false(reach) 21.715s 4 10 false(reach) 20.302s 4 7
ldv-linux-3.0/usb_urb-drivers-staging-lirc-lirc_imon.ko_false-unreach-call.cil.out.i.pp.i timeout 905.125s 10 27 timeout 902.601s 11 47 timeout 902.640s 8 40 timeout 903.219s 11 26
ldv-linux-3.0/usb_urb-drivers-usb-misc-iowarrior.ko_false-unreach-call.cil.out.i.pp.i false(reach) 51.850s 10 14 false(reach) 54.073s 10 15 false(reach) 51.599s 10 15 false(reach) 50.294s 10 15
ldv-linux-3.0/module_get_put-drivers-atm-eni.ko_true-unreach-call.cil.out.i.pp.i true 22.525s 1 1 true 21.881s 1 1 true 23.127s 1 1 true 23.504s 1 1
ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko_true-unreach-call.cil.out.i.pp.i true 41.062s 1 4 true 133.517s 4 10 true 42.284s 1 4 true 110.871s 4 10
ldv-linux-3.0/module_get_put-drivers-block-paride-pt.ko_true-unreach-call.cil.out.i.pp.i true 18.179s 2 14 timeout 902.189s 14 730 true 16.304s 1 7 timeout 911.981s 12 129
ldv-linux-3.0/module_get_put-drivers-bluetooth-btmrvl.ko_true-unreach-call.cil.out.i.pp.i true 11.711s 1 1 true 10.841s 1 1 true 10.821s 1 1 true 10.816s 1 1
ldv-linux-3.0/module_get_put-drivers-char-ipmi-ipmi_watchdog.ko_true-unreach-call.cil.out.i.pp.i true 17.285s 6 21 true 15.861s 4 14 true 13.948s 1 5 true 19.461s 6 19
ldv-linux-3.0/module_get_put-drivers-gpu-drm-i915-i915.ko_true-unreach-call.cil.out.i.pp.i true 30.260s 1 1 true 31.583s 1 1 true 29.385s 1 1 true 30.073s 1 1
ldv-linux-3.0/module_get_put-drivers-hid-hid-magicmouse.ko_true-unreach-call.cil.out.i.pp.i true 6.032s 1 1 true 6.319s 1 1 true 6.270s 1 1 true 6.369s 1 1
ldv-linux-3.0/module_get_put-drivers-hwmon-it87.ko_true-unreach-call.cil.out.i.pp.i true 12.387s 2 5 true 15.612s 3 7 true 10.614s 1 3 true 13.589s 3 6
ldv-linux-3.0/module_get_put-drivers-net-atl1c-atl1c.ko_true-unreach-call.cil.out.i.pp.i true 15.311s 1 1 true 15.897s 1 1 true 15.921s 1 1 true 15.484s 1 1
ldv-linux-3.0/module_get_put-drivers-net-pppox.ko_true-unreach-call.cil.out.i.pp.i timeout 901.405s 2 2 timeout 901.540s 2 2 timeout 901.735s 2 2 timeout 901.416s 2 2
ldv-linux-3.0/module_get_put-drivers-net-sis900.ko_true-unreach-call.cil.out.i.pp.i true 16.403s 1 1 true 17.687s 1 1 true 15.909s 1 1 true 15.977s 1 1
ldv-linux-3.0/module_get_put-drivers-scsi-megaraid.ko_true-unreach-call.cil.out.i.pp.i true 27.254s 1 1 true 27.100s 1 1 true 25.865s 1 1 true 27.889s 1 1
ldv-linux-3.0/module_get_put-drivers-staging-et131x-et131x.ko_true-unreach-call.cil.out.i.pp.i true 20.244s 1 1 true 20.364s 1 1 true 19.947s 1 1 true 20.003s 1 1
ldv-linux-3.0/module_get_put-drivers-video-aty-aty128fb.ko_true-unreach-call.cil.out.i.pp.i true 21.233s 1 1 true 21.161s 1 1 true 20.810s 1 1 true 21.219s 1 1
ldv-linux-3.0/usb_urb-drivers-input-tablet-kbtab.ko_true-unreach-call.cil.out.i.pp.i timeout 959.828s - - timeout 901.905s 4 6 timeout 959.544s - - timeout 901.802s 4 5
ldv-linux-3.0/usb_urb-drivers-media-video-c-qcam.ko_true-unreach-call.cil.out.i.pp.i true 19.810s 2 2 true 20.216s 2 2 true 19.429s 2 2 true 21.013s 2 2
ldv-linux-3.0/usb_urb-drivers-media-video-msp3400.ko_true-unreach-call.cil.out.i.pp.i true 19.553s 2 2 true 19.149s 2 2 true 19.570s 2 2 true 19.651s 2 2
ldv-linux-3.0/usb_urb-drivers-misc-c2port-core.ko_true-unreach-call.cil.out.i.pp.i true 14.992s 3 4 true 13.905s 3 4 true 13.646s 2 4 true 13.705s 3 4
ldv-linux-3.0/usb_urb-drivers-mtd-sm_ftl.ko_true-unreach-call.cil.out.i.pp.i true 33.659s 2 2 true 37.343s 2 2 true 36.328s 2 2 true 36.789s 2 2
ldv-linux-3.0/usb_urb-drivers-scsi-dc395x.ko_true-unreach-call.cil.out.i.pp.i true 21.461s 2 2 true 23.033s 2 2 true 21.856s 2 2 true 21.175s 2 2
ldv-linux-3.0/usb_urb-drivers-usb-serial-ir-usb.ko_true-unreach-call.cil.out.i.pp.i timeout 903.283s 6 24 timeout 902.942s 6 21 timeout 907.027s 2 12 timeout 902.353s 7 20
ldv-linux-3.0/usb_urb-drivers-usb-serial-whiteheat.ko_true-unreach-call.cil.out.i.pp.i unknown 24.140s 6 11 timeout 901.506s 2 5 timeout 901.487s 1 3 unknown 25.374s 6 17
ldv-linux-3.0/usb_urb-drivers-uwb-i1480-dfu-i1480-dfu-usb.ko_true-unreach-call.cil.out.i.pp.i timeout 901.061s 9 58 timeout 901.479s 3 34 timeout 901.352s 7 44 timeout 901.474s 3 34
ldv-linux-3.0/usb_urb-drivers-vhost-vhost_net.ko_true-unreach-call.cil.out.i.pp.i true 22.126s 2 2 true 21.804s 2 2 true 21.146s 2 2 true 21.503s 2 2
ldv-linux-3.0/usb_urb-drivers-video-arkfb.ko_true-unreach-call.cil.out.i.pp.i true 14.626s 2 2 true 14.197s 2 2 true 14.456s 2 2 true 14.250s 2 2
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--gpu--drm--vmwgfx--vmwgfx.ko-ldv_main3_sequence_infinite_withcheck_stateful.cil.out.c timeout 900.929s 18 24 timeout 901.189s 17 27 timeout 901.263s 18 24 timeout 901.212s 17 27
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--input--mouse--synaptics_usb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unknown 14.903s 3 3 unknown 15.728s 3 3 unknown 16.125s 3 3 unknown 15.520s 3 3
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--input--mousedev.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unknown 77.649s 9 20 unknown 73.829s 8 14 unknown 62.910s 8 20 unknown 77.794s 8 15
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--isdn--capi--kernelcapi.ko-ldv_main3_sequence_infinite_withcheck_stateful.cil.out.c false(reach) 30.156s 0 0 false(reach) 23.285s 0 0 false(reach) 22.830s 0 0 false(reach) 22.799s 0 0
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--media--dvb--dvb-usb--dvb-usb-dib0700.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 910.269s 5 7 timeout 907.070s 5 7 error (1) 911.044s - - timeout 901.046s 5 7
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--media--video--cpia2--cpia2.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 901.504s 3 4 timeout 901.599s 3 4 timeout 901.439s 3 4 timeout 901.583s 3 4
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--media--video--mem2mem_testdev.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c false(reach) 12.765s 1 1 false(reach) 12.526s 1 1 false(reach) 12.566s 1 1 false(reach) 13.412s 1 1
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--media--video--vivi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unknown 22.670s 1 2 unknown 28.143s 3 6 unknown 22.380s 1 2 unknown 28.100s 3 6
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--mtd--chips--cfi_cmdset_0001.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c false(reach) 15.503s 1 1 false(reach) 14.103s 1 1 false(reach) 16.525s 1 1 false(reach) 15.124s 1 1
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--net--phy--dp83640.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unknown 39.762s 8 21 unknown 38.657s 8 20 unknown 39.135s 8 23 unknown 40.884s 9 19
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--net--wireless--p54--p54usb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c false(reach) 17.978s 0 0 false(reach) 17.965s 0 0 false(reach) 18.547s 0 0 false(reach) 18.645s 0 0
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--scsi--libfc--libfc.ko-ldv_main5_sequence_infinite_withcheck_stateful.cil.out.c timeout 902.056s 21 44 timeout 902.663s 20 38 timeout 901.133s 20 44 timeout 904.109s 21 51
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--staging--keucr--keucr.ko-ldv_main1_sequence_infinite_withcheck_stateful.cil.out.c timeout 912.588s - - timeout 912.537s - - timeout 912.539s - - timeout 912.569s - -
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--usb--image--microtek.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c false(reach) 8.250s 0 0 false(reach) 8.532s 0 0 false(reach) 8.099s 0 0 false(reach) 8.734s 0 0
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--usb--storage--usb-storage.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c false(reach) 50.036s 0 0 false(reach) 48.560s 0 0 false(reach) 50.501s 0 0 false(reach) 49.808s 0 0
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--vhost--vhost_net.ko-ldv_main1_sequence_infinite_withcheck_stateful.cil.out.c unknown 46.358s 5 5 unknown 46.203s 5 5 unknown 46.066s 5 5 unknown 46.542s 5 5
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--video--aty--atyfb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unknown 99.383s 9 22 unknown 108.589s 9 21 unknown 105.445s 9 26 unknown 115.443s 9 21
ldv-linux-3.4-simple/43_1a_cilled_false-unreach-call_ok_linux-43_1a-drivers--misc--sgi-xp--xpc.ko-ldv_main3_sequence_infinite_withcheck_stateful.cil.out.c timeout 902.616s 5 7 timeout 901.996s 6 8 timeout 902.438s 6 8 timeout 903.208s 5 7
ldv-linux-3.4-simple/43_1a_cilled_false-unreach-call_ok_linux-43_1a-drivers--net--wireless--orinoco--orinoco_usb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unknown 42.951s 9 21 unknown 36.033s 11 22 unknown 41.244s 9 22 unknown 38.084s 12 24
ldv-linux-3.4-simple/43_1a_cilled_false-unreach-call_ok_linux-43_1a-drivers--scsi--dpt_i2o.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 903.870s 15 168 timeout 902.709s 14 83 timeout 935.590s 9 112 timeout 902.950s 9 39
ldv-linux-3.4-simple/43_1a_cilled_false-unreach-call_ok_linux-43_1a-drivers--scsi--megaraid--megaraid_mm.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unknown 48.947s 9 31 unknown 51.232s 9 65 unknown 50.888s 9 32 unknown 49.180s 9 39
ldv-linux-3.4-simple/43_1a_cilled_false-unreach-call_ok_linux-43_1a-drivers--usb--gadget--mv_udc.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c false(reach) 38.176s 5 13 timeout 902.986s 6 9 false(reach) 37.904s 5 13 timeout 902.698s 6 9
ldv-linux-3.4-simple/43_1a_cilled_false-unreach-call_ok_linux-43_1a-drivers--usb--gadget--pch_udc.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c false(reach) 31.681s 4 21 false(reach) 126.343s 7 29 false(reach) 34.443s 4 16 false(reach) 82.370s 7 30
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--acpi--apei--einj.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.552s 1 1 true 7.030s 1 1 true 6.775s 1 1 true 6.874s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--acpi--bgrt.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.150s 1 1 true 5.298s 1 1 true 5.341s 1 1 true 5.106s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--acpi--container.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.269s 1 2 true 5.804s 2 3 true 5.215s 1 2 true 5.790s 2 3
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--acpi--ec_sys.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.685s 2 5 true 5.814s 2 5 true 5.304s 1 3 true 6.122s 3 6
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--acpi--fan.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.156s 1 2 true 5.752s 2 3 true 5.307s 1 2 true 5.686s 2 3
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--ata--pata_marvell.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.858s 1 1 true 5.823s 1 1 true 5.872s 1 1 true 5.737s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--ata--pata_netcell.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.799s 1 1 true 5.490s 1 1 true 5.285s 1 1 true 5.528s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--atm--adummy.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.661s 1 2 true 8.145s 3 5 true 6.761s 1 2 true 7.979s 3 5
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--auxdisplay--cfag12864b.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.432s 1 8 true 557.998s 7 2233 true 6.272s 1 8 true 529.336s 7 97
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--auxdisplay--cfag12864bfb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.389s 1 1 true 5.481s 1 1 true 5.652s 1 1 true 5.565s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--auxdisplay--ks0108.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.762s 1 2 true 4.998s 2 3 true 4.694s 1 2 true 5.079s 2 3
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--block--paride--aten.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.635s 1 1 true 6.119s 1 1 true 5.863s 1 1 true 6.412s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--block--paride--bpck.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 15.703s 1 1 true 14.951s 1 1 true 15.161s 1 1 true 15.605s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--block--paride--comm.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.856s 1 1 true 7.665s 1 1 true 7.792s 1 1 true 7.850s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--block--paride--dstr.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 8.217s 1 1 true 8.235s 1 1 true 8.353s 1 1 true 8.231s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--block--paride--epat.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 12.774s 1 1 true 12.389s 1 1 true 12.549s 1 1 true 12.930s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--block--paride--epia.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 10.203s 1 1 true 9.735s 1 1 true 10.092s 1 1 true 10.551s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--block--paride--fit2.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.460s 1 1 true 5.489s 1 1 true 5.492s 1 1 true 5.382s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--block--paride--fit3.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.761s 1 1 true 7.007s 1 1 true 7.295s 1 1 true 6.860s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--block--paride--friq.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 12.038s 1 1 true 11.952s 1 1 true 11.414s 1 1 true 11.813s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--block--paride--frpw.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 11.964s 1 1 true 11.307s 1 1 true 11.320s 1 1 true 10.745s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--block--paride--kbic.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 10.796s 1 1 true 10.942s 1 1 true 10.523s 1 1 true 10.811s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--block--paride--ktti.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.621s 1 1 true 5.956s 1 1 true 6.086s 1 1 true 5.907s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--block--paride--on20.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 9.638s 1 1 true 9.484s 1 1 true 9.823s 1 1 true 9.981s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--block--paride--on26.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 18.670s 1 1 true 19.004s 1 1 true 17.299s 1 1 true 17.525s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--char--hw_random--virtio-rng.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.805s 1 1 true 4.526s 1 1 true 4.411s 1 1 true 4.450s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--char--ipmi--ipmi_poweroff.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.117s 1 1 true 6.147s 1 1 true 6.425s 1 1 true 6.428s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--char--ramoops.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.769s 1 1 true 4.600s 1 1 true 4.740s 1 1 true 4.782s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--char--tpm--tpm_nsc.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 9.580s 1 1 true 9.776s 1 1 true 9.664s 1 1 true 9.364s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--char--uv_mmtimer.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.052s 1 1 true 7.222s 1 1 true 7.042s 1 1 true 6.915s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--clocksource--cs5535-clockevt.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.350s 1 1 true 4.612s 1 1 true 4.675s 1 1 true 4.567s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--cpufreq--cpufreq_powersave.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.013s 1 1 true 3.687s 1 1 true 3.882s 1 1 true 4.040s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--cpufreq--pcc-cpufreq.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.538s 1 2 true 8.289s 2 3 true 7.495s 1 2 true 8.026s 2 3
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--edac--mce_amd_inj.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.108s 1 3 true 5.110s 3 6 true 4.434s 1 3 true 5.013s 3 6
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--firmware--google--gsmi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 11.495s 1 3 true 11.066s 2 4 true 10.993s 1 3 true 11.103s 2 4
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--firmware--google--memconsole.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.592s 1 2 true 5.213s 2 3 true 4.560s 1 2 true 5.330s 2 3
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--gpio--gpio-74x164.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.167s 1 1 true 4.863s 1 1 true 4.860s 1 1 true 5.078s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--gpio--gpio-max7301.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.611s 1 1 true 4.767s 1 1 true 4.679s 1 1 true 4.602s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--gpio--gpio-mc33880.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.888s 1 1 true 4.841s 1 1 true 5.110s 1 1 true 5.050s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--gpio--gpio-tps65912.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.696s 1 1 true 4.212s 1 1 true 4.431s 1 1 true 4.540s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--gpio--gpio-wm831x.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.922s 1 1 true 4.836s 1 1 true 4.977s 1 1 true 5.081s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--gpu--drm--drm_usb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.957s 1 1 true 5.729s 1 1 true 5.671s 1 1 true 5.667s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--gpu--drm--i2c--sil164.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.435s 1 1 true 7.739s 1 1 true 7.658s 1 1 true 7.875s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--gpu--drm--tdfx--tdfx.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.275s 1 1 true 5.427s 1 1 true 5.177s 1 1 true 5.520s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--gpu--stub--poulsbo.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.834s 1 1 true 4.626s 1 1 true 4.897s 1 1 true 4.448s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-cherry.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.640s 1 1 true 4.985s 1 1 true 4.594s 1 1 true 4.450s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-chicony.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.947s 1 1 true 5.726s 1 1 true 5.809s 1 1 true 5.741s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-elecom.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.377s 1 1 true 4.342s 1 1 true 4.392s 1 1 true 4.456s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-ezkey.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.429s 1 1 true 4.596s 1 1 true 4.636s 1 1 true 4.610s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-gyration.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.663s 1 1 true 5.461s 1 1 true 5.532s 1 1 true 5.806s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-kensington.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.396s 1 1 true 4.412s 1 1 true 4.277s 1 1 true 4.312s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-keytouch.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.446s 1 1 true 4.349s 1 1 true 4.595s 1 1 true 4.262s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-lcpower.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.867s 1 1 true 4.760s 1 1 true 4.984s 1 1 true 4.826s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-monterey.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.969s 1 1 true 4.888s 1 1 true 4.745s 1 1 true 4.755s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-ortek.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.411s 1 1 true 4.315s 1 1 true 4.308s 1 1 true 4.257s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-petalynx.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.194s 1 1 true 5.319s 1 1 true 5.359s 1 1 true 5.147s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-primax.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.120s 1 1 true 4.815s 1 1 true 4.728s 1 1 true 4.591s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-saitek.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.410s 1 1 true 4.440s 1 1 true 4.403s 1 1 true 4.702s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-samsung.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.831s 1 1 true 6.595s 1 1 true 6.707s 1 1 true 6.573s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-speedlink.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.909s 1 1 true 4.767s 1 1 true 4.572s 1 1 true 4.677s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-sunplus.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.803s 1 1 true 4.551s 1 1 true 4.540s 1 1 true 4.744s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-tivo.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.892s 1 1 true 4.596s 1 1 true 4.739s 1 1 true 4.916s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-topseed.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.944s 1 1 true 5.988s 1 1 true 5.866s 1 1 true 5.628s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-twinhan.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.482s 1 1 true 6.425s 1 1 true 6.537s 1 1 true 6.559s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-uclogic.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.692s 1 1 true 4.589s 1 1 true 4.622s 1 1 true 4.708s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-wacom.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 8.547s 1 1 true 8.998s 1 1 true 8.652s 1 1 true 8.898s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-waltop.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.235s 1 1 true 4.978s 1 1 true 5.146s 1 1 true 5.578s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-zydacron.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.987s 1 1 true 6.139s 1 1 true 6.499s 1 1 true 6.010s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hwmon--ads7871.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.759s 1 1 true 5.258s 1 1 true 5.094s 1 1 true 5.287s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hwmon--asus_atk0110.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 10.826s 1 1 true 10.770s 1 1 true 10.905s 1 1 true 10.643s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hwmon--emc1403.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.221s 1 1 true 5.577s 1 1 true 5.167s 1 1 true 5.661s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hwmon--gpio-fan.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.847s 1 1 true 5.910s 1 1 true 6.129s 1 1 true 5.729s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hwmon--max1111.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.721s 1 1 true 5.097s 1 1 true 4.847s 1 1 true 5.260s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hwmon--pcf8591.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.332s 1 1 true 5.573s 1 1 true 5.349s 1 1 true 5.229s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hwmon--pmbus--max16064.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.529s 1 1 true 4.451s 1 1 true 4.318s 1 1 true 4.605s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hwmon--pmbus--max8688.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.586s 1 1 true 4.593s 1 1 true 4.507s 1 1 true 4.602s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hwmon--smsc47b397.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.228s 1 2 true 7.474s 2 3 true 6.536s 1 2 true 7.093s 2 3
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--i2c--algos--i2c-algo-pca.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 11.054s 1 1 true 10.621s 1 1 true 10.868s 1 1 true 11.017s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_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.508s 1 1 true 8.222s 1 1 true 8.468s 1 1 true 8.476s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--i2c--busses--i2c-stub.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.859s 1 1 true 5.998s 1 1 true 5.812s 1 1 true 5.886s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--i2c--busses--i2c-tiny-usb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.225s 1 1 true 5.993s 1 1 true 5.934s 1 1 true 5.946s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--i2c--i2c-smbus.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.383s 1 1 true 5.262s 1 1 true 5.162s 1 1 true 5.206s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--ide--cmd640.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 14.242s 1 3 true 17.407s 2 4 true 14.165s 1 3 true 15.810s 2 4
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--ide--ide-pnp.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.136s 1 1 true 5.848s 1 1 true 5.505s 1 1 true 6.013s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--gameport--lightning.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.648s 1 4 true 7.977s 3 8 true 5.203s 1 4 true 8.467s 3 8
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--joystick--magellan.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.489s 1 1 true 5.215s 1 1 true 5.106s 1 1 true 5.136s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--joystick--spaceball.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.897s 1 1 true 5.993s 1 1 true 5.809s 1 1 true 5.788s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--joystick--spaceorb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.495s 1 1 true 5.563s 1 1 true 5.516s 1 1 true 5.497s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--joystick--stinger.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.303s 1 1 true 5.061s 1 1 true 5.377s 1 1 true 5.655s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--joystick--turbografx.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.452s 1 4 true 8.025s 2 5 true 6.334s 1 4 true 8.338s 2 5
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--joystick--twidjoy.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.141s 1 1 true 5.079s 1 1 true 5.105s 1 1 true 5.149s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--joystick--warrior.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.664s 1 1 true 5.328s 1 1 true 5.312s 1 1 true 5.527s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--joystick--zhenhua.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.910s 1 1 true 5.052s 1 1 true 4.794s 1 1 true 4.918s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--keyboard--gpio_keys_polled.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.139s 1 1 true 5.420s 1 1 true 5.107s 1 1 true 5.299s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--keyboard--newtonkbd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.101s 1 1 true 4.806s 1 1 true 5.060s 1 1 true 4.853s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--keyboard--stowaway.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.804s 1 1 true 5.121s 1 1 true 4.933s 1 1 true 4.575s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--keyboard--xtkbd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.124s 1 1 true 4.945s 1 1 true 4.932s 1 1 true 5.186s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--misc--ab8500-ponkey.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.956s 1 1 true 4.798s 1 1 true 4.931s 1 1 true 4.736s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--misc--ad714x-i2c.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.849s 1 1 true 5.021s 1 1 true 4.839s 1 1 true 5.140s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--misc--ad714x-spi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.081s 1 1 true 5.214s 1 1 true 5.062s 1 1 true 5.142s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--misc--adxl34x-spi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.187s 1 1 true 5.074s 1 1 true 5.290s 1 1 true 5.047s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--misc--apanel.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.654s 1 4 timeout 901.479s 2 6 true 6.964s 1 4 timeout 901.393s 2 6
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--misc--atlas_btns.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.128s 1 1 true 5.090s 1 1 true 4.993s 1 1 true 5.050s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--misc--cma3000_d0x_i2c.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.911s 1 1 true 4.938s 1 1 true 5.012s 1 1 true 4.970s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--misc--mma8450.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.532s 1 1 true 6.058s 1 1 true 5.555s 1 1 true 5.545s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--misc--mpu3050.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.032s 1 1 true 5.877s 1 1 true 6.137s 1 1 true 6.163s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--misc--pcap_keys.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.991s 1 1 true 4.966s 1 1 true 4.782s 1 1 true 4.654s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--misc--pcf50633-input.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.004s 1 1 true 5.044s 1 1 true 5.112s 1 1 true 4.972s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--misc--pcspkr.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.988s 1 1 true 5.151s 1 1 true 4.925s 1 1 true 5.031s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--misc--rotary_encoder.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.636s 1 1 true 5.533s 1 1 true 5.946s 1 1 true 5.583s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--misc--wm831x-on.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.859s 1 1 true 4.699s 1 1 true 5.101s 1 1 true 4.603s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--misc--xen-kbdfront.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.524s 1 1 true 5.621s 1 1 true 5.429s 1 1 true 5.880s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--mouse--gpio_mouse.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.106s 1 1 true 5.329s 1 1 true 5.250s 1 1 true 5.154s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--mouse--vsxxxaa.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.702s 1 1 true 6.589s 1 1 true 6.692s 1 1 true 6.835s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--serio--ct82c710.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.719s 1 3 true 5.983s 2 4 true 5.482s 1 3 true 6.072s 2 4
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--serio--parkbd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.088s 1 1 true 5.194s 1 1 true 4.991s 1 1 true 5.178s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--ad7879-spi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.146s 1 1 true 5.206s 1 1 true 5.276s 1 1 true 5.278s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--cyttsp_spi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.729s 1 1 true 6.044s 1 1 true 5.883s 1 1 true 5.846s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--dynapro.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.155s 1 1 true 4.969s 1 1 true 5.254s 1 1 true 5.044s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--eeti_ts.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.076s 1 1 true 5.949s 1 1 true 6.000s 1 1 true 6.001s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--egalax_ts.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.118s 1 1 true 6.002s 1 1 true 5.894s 1 1 true 5.910s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--fujitsu_ts.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.709s 1 1 true 5.019s 1 1 true 4.811s 1 1 true 5.158s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--gunze.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.964s 1 1 true 5.191s 1 1 true 4.975s 1 1 true 4.968s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--hampshire.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.141s 1 1 true 4.994s 1 1 true 5.170s 1 1 true 5.006s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--inexio.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.885s 1 1 true 5.030s 1 1 true 4.967s 1 1 true 5.245s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--max11801_ts.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.962s 1 1 true 5.817s 1 1 true 5.956s 1 1 true 6.040s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--mk712.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.638s 1 2 true 6.005s 2 3 true 5.584s 1 2 true 6.405s 2 3
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--mtouch.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.917s 1 1 true 4.824s 1 1 true 5.236s 1 1 true 4.958s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--penmount.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.451s 1 1 true 6.217s 1 1 true 6.285s 1 1 true 6.750s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--stmpe-ts.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.214s 1 1 true 5.941s 1 1 true 5.976s 1 1 true 6.064s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--touchit213.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.034s 1 1 true 4.966s 1 1 true 5.327s 1 1 true 5.063s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--touchright.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.829s 1 1 true 4.842s 1 1 true 4.964s 1 1 true 4.758s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--touchwin.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.757s 1 1 true 4.843s 1 1 true 4.795s 1 1 true 4.745s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--tsc40.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.210s 1 1 true 4.961s 1 1 true 5.331s 1 1 true 5.268s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--wacom_w8001.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 8.070s 1 1 true 8.016s 1 1 true 7.810s 1 1 true 7.984s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--isdn--hardware--avm--avm_cs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.539s 1 1 true 5.685s 1 1 true 5.862s 1 1 true 5.778s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--isdn--hardware--avm--b1pci.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.452s 1 1 true 6.414s 1 1 true 6.675s 1 1 true 6.650s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--isdn--hardware--avm--b1pcmcia.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.237s 2 3 true 5.131s 2 3 true 5.073s 1 2 true 4.976s 2 3
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--isdn--hardware--avm--t1pci.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.573s 1 1 true 5.411s 1 1 true 5.726s 1 1 true 5.677s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--isdn--hardware--eicon--divadidd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 15.295s 1 8 timeout 902.202s 2 16 true 16.604s 1 8 timeout 959.978s - -
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--isdn--hisax--avma1_cs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.892s 1 1 true 4.919s 1 1 true 5.128s 1 1 true 5.051s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--isdn--hisax--elsa_cs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.354s 1 1 true 5.128s 1 1 true 5.199s 1 1 true 5.167s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--isdn--hisax--sedlbauer_cs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.324s 1 1 true 5.375s 1 1 true 5.048s 1 1 true 4.947s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--isdn--hisax--teles_cs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.175s 1 1 true 5.023s 1 1 true 5.092s 1 1 true 5.309s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--leds--dell-led.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.463s 1 1 true 5.565s 1 1 true 5.371s 1 1 true 5.429s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--leds--leds-bd2802.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 8.079s 1 1 true 8.669s 1 1 true 8.224s 1 1 true 7.976s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--leds--leds-dac124s085.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.188s 1 1 true 5.084s 1 1 true 4.908s 1 1 true 5.267s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--leds--leds-lp5521.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.339s 1 1 true 7.268s 1 1 true 7.144s 1 1 true 6.923s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--leds--leds-ot200.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.671s 1 1 true 4.901s 1 1 true 4.500s 1 1 true 4.298s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--leds--leds-pca9633.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.886s 1 1 true 5.120s 1 1 true 5.269s 1 1 true 5.168s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--leds--leds-regulator.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.943s 1 1 true 7.118s 1 1 true 6.360s 1 1 true 6.220s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--leds--ledtrig-backlight.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.462s 1 1 true 5.588s 1 1 true 5.635s 1 1 true 5.501s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--leds--ledtrig-default-on.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.275s 1 1 true 4.009s 1 1 true 3.854s 1 1 true 4.259s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--leds--ledtrig-gpio.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.907s 1 1 true 4.870s 1 1 true 4.725s 1 1 true 4.671s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--macintosh--mac_hid.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.885s 1 2 true 5.058s 2 3 true 4.850s 1 2 true 4.930s 2 3
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--md--dm-zero.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.866s 1 1 true 5.006s 1 1 true 4.913s 1 1 true 5.108s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--common--tuners--max2165.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.245s 1 1 true 7.490s 1 1 true 7.474s 1 1 true 7.464s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--common--tuners--mc44s803.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.279s 1 1 true 5.707s 1 1 true 6.108s 1 1 true 5.877s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--common--tuners--mt2060.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.498s 1 1 true 6.192s 1 1 true 6.088s 1 1 true 6.147s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--common--tuners--mt20xx.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 8.944s 1 1 true 9.043s 1 1 true 8.739s 1 1 true 8.877s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--common--tuners--mt2131.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.872s 1 1 true 6.168s 1 1 true 5.946s 1 1 true 6.116s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--common--tuners--mt2266.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.248s 1 1 true 6.335s 1 1 true 6.071s 1 1 true 6.106s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--common--tuners--mxl5007t.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 8.395s 1 1 true 8.917s 1 1 true 9.042s 1 1 true 8.464s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--common--tuners--qt1010.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 8.600s 1 1 true 8.352s 1 1 true 8.890s 1 1 true 8.811s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--common--tuners--tda18218.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.743s 1 1 true 6.690s 1 1 true 6.535s 1 1 true 6.837s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--common--tuners--tda8290.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 10.524s 1 1 true 10.515s 1 1 true 10.546s 1 1 true 10.117s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--common--tuners--tda9887.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 9.556s 1 1 true 9.478s 1 1 true 9.556s 1 1 true 9.437s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--bt8xx--dvb-bt8xx.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 15.308s 1 2 true 16.850s 3 5 true 15.777s 1 2 true 16.410s 3 5
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-a800.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.743s 1 1 true 6.759s 1 1 true 6.586s 1 1 true 7.032s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-au6610.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.771s 1 1 true 7.167s 1 1 true 7.087s 1 1 true 6.583s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-az6007.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c unknown 31.390s 5 8 unknown 31.522s 6 9 unknown 30.156s 6 10 unknown 29.863s 5 8
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-az6027.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 10.357s 2 2 true 10.196s 2 2 true 10.221s 2 2 true 10.752s 2 2
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-ce6230.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.235s 1 1 true 7.454s 1 1 true 7.550s 1 1 true 7.403s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-cinergyT2.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.768s 1 1 true 8.213s 1 1 true 7.682s 1 1 true 7.631s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-cinergyT2.ko-ldv_main1_sequence_infinite_withcheck_stateful.cil.out.c true 8.012s 1 1 true 8.244s 1 1 true 8.184s 1 1 true 7.953s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-dibusb-common.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.107s 1 1 true 7.625s 1 1 true 7.552s 1 1 true 7.425s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-dibusb-mb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 8.196s 1 1 true 8.353s 1 1 true 8.419s 1 1 true 8.274s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-dibusb-mc.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.500s 1 1 true 6.483s 1 1 true 6.526s 1 1 true 6.325s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-digitv.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 9.043s 2 4 timeout 903.168s 4 10 true 11.397s 5 15 timeout 902.069s 3 6
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-dtt200u.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 9.010s 1 1 true 8.728s 1 1 true 8.646s 1 1 true 8.923s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-dtt200u.ko-ldv_main1_sequence_infinite_withcheck_stateful.cil.out.c true 8.570s 1 1 true 8.768s 1 1 true 8.704s 1 1 true 8.466s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-dtv5100.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.781s 1 1 true 7.136s 1 1 true 7.268s 1 1 true 6.965s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-gl861.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.319s 1 1 true 7.019s 1 1 true 7.302s 1 1 true 7.048s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-mxl111sf.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 35.812s 1 1 true 32.469s 1 1 true 34.214s 1 1 true 33.718s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-mxl111sf.ko-ldv_main3_sequence_infinite_withcheck_stateful.cil.out.c true 22.534s 1 1 true 20.677s 1 1 true 20.889s 1 1 true 22.016s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-nova-t-usb2.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.849s 1 1 true 6.657s 1 1 true 6.834s 1 1 true 7.009s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-pctv452e.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 11.286s 2 3 true 12.030s 3 4 true 11.787s 2 3 true 11.559s 3 4
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-rtl28xxu.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 9.878s 1 1 true 9.511s 1 1 true 9.749s 1 1 true 9.833s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-ttusb2.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 9.733s 1 1 true 9.552s 1 1 true 9.775s 1 1 true 9.343s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-umt-010.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.602s 1 1 true 7.039s 1 1 true 7.058s 1 1 true 7.121s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-vp7045.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 9.881s 2 4 true 11.412s 4 7 true 11.436s 4 7 true 9.305s 2 4
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-vp7045.ko-ldv_main1_sequence_infinite_withcheck_stateful.cil.out.c true 10.353s 2 4 true 12.189s 4 7 true 12.510s 4 7 true 9.878s 2 4
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_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 9.565s 1 1 true 10.061s 1 1 true 9.690s 1 1 true 9.487s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--cxd2820r.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 15.916s 1 1 true 14.648s 1 1 true 14.896s 1 1 true 16.155s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--dib3000mb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 13.215s 1 1 true 13.081s 1 1 true 13.208s 1 1 true 13.432s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--dib3000mc.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 12.584s 1 1 true 11.276s 1 1 true 10.990s 1 1 true 12.430s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_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 6.363s 1 1 true 6.019s 1 1 true 5.793s 1 1 true 6.097s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--ec100.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.723s 1 1 true 5.970s 1 1 true 6.265s 1 1 true 6.350s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--isl6405.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.864s 1 1 true 4.889s 1 1 true 4.770s 1 1 true 4.723s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--isl6421.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.788s 1 1 true 5.038s 1 1 true 4.627s 1 1 true 4.843s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--it913x-fe.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 13.707s 1 1 true 15.295s 1 1 true 15.129s 1 1 true 14.543s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--lnbp21.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.213s 1 1 true 5.127s 1 1 true 5.149s 1 1 true 5.390s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--lnbp22.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.117s 1 1 true 4.814s 1 1 true 4.920s 1 1 true 5.169s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--rtl2830.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 8.334s 1 1 true 8.452s 1 1 true 8.204s 1 1 true 8.142s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--stb6000.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.815s 1 1 true 5.752s 1 1 true 5.644s 1 1 true 5.926s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--tda18271c2dd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 10.477s 1 1 true 10.920s 1 1 true 10.419s 1 1 true 10.683s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--tda826x.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.865s 1 1 true 5.724s 1 1 true 5.708s 1 1 true 5.506s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--tua6100.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.665s 1 1 true 5.645s 1 1 true 5.601s 1 1 true 5.700s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--ttpci--budget-patch.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 9.418s 1 1 true 9.051s 1 1 true 8.895s 1 1 true 9.242s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--ttpci--budget.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 14.071s 1 1 true 14.164s 1 1 true 14.048s 1 1 true 14.040s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-adstech-dvb-t-pci.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.396s 1 1 true 3.383s 1 1 true 3.377s 1 1 true 3.681s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-alink-dtu-m.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.604s 1 1 true 3.418s 1 1 true 3.371s 1 1 true 3.481s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-anysee.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.602s 1 1 true 3.323s 1 1 true 3.369s 1 1 true 3.625s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-apac-viewcomp.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.316s 1 1 true 3.324s 1 1 true 3.388s 1 1 true 3.582s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-asus-pc39.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.397s 1 1 true 3.493s 1 1 true 3.539s 1 1 true 3.476s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-ati-tv-wonder-hd-600.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.424s 1 1 true 3.631s 1 1 true 3.577s 1 1 true 3.555s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-ati-x10.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.344s 1 1 true 3.449s 1 1 true 3.882s 1 1 true 3.409s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-avermedia-a16d.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.527s 1 1 true 3.374s 1 1 true 3.380s 1 1 true 3.604s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-avermedia-cardbus.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.499s 1 1 true 3.609s 1 1 true 3.737s 1 1 true 3.472s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-avermedia-dvbt.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.444s 1 1 true 3.522s 1 1 true 3.601s 1 1 true 3.533s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-avermedia-m135a.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.397s 1 1 true 3.577s 1 1 true 3.617s 1 1 true 3.683s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-avermedia-m733a-rm-k6.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.373s 1 1 true 3.279s 1 1 true 3.339s 1 1 true 3.455s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-avermedia-rm-ks.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.678s 1 1 true 3.425s 1 1 true 3.426s 1 1 true 3.397s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-avermedia.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.380s 1 1 true 3.555s 1 1 true 3.450s 1 1 true 3.315s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-avertv-303.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.888s 1 1 true 3.209s 1 1 true 3.575s 1 1 true 3.447s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-azurewave-ad-tu700.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.413s 1 1 true 3.439s 1 1 true 3.450s 1 1 true 3.431s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-behold-columbus.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.378s 1 1 true 3.530s 1 1 true 3.355s 1 1 true 3.563s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-behold.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.346s 1 1 true 3.371s 1 1 true 3.411s 1 1 true 3.511s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-budget-ci-old.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.546s 1 1 true 3.528s 1 1 true 3.427s 1 1 true 3.652s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-cinergy-1400.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.710s 1 1 true 3.514s 1 1 true 3.360s 1 1 true 3.541s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-cinergy.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.513s 1 1 true 3.396s 1 1 true 3.460s 1 1 true 3.462s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-dib0700-nec.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.385s 1 1 true 3.389s 1 1 true 3.600s 1 1 true 3.540s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-dib0700-rc5.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.900s 1 1 true 3.618s 1 1 true 3.666s 1 1 true 3.517s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-digitalnow-tinytwin.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.321s 1 1 true 3.551s 1 1 true 3.329s 1 1 true 3.731s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-digittrade.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.357s 1 1 true 3.639s 1 1 true 3.828s 1 1 true 3.352s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-dm1105-nec.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.496s 1 1 true 3.597s 1 1 true 3.426s 1 1 true 3.713s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-dntv-live-dvb-t.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.553s 1 1 true 3.523s 1 1 true 3.520s 1 1 true 3.672s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-dntv-live-dvbt-pro.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.625s 1 1 true 3.299s 1 1 true 3.440s 1 1 true 3.357s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-em-terratec.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.698s 1 1 true 3.495s 1 1 true 3.350s 1 1 true 3.574s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-encore-enltv-fm53.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.322s 1 1 true 3.682s 1 1 true 3.478s 1 1 true 3.677s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-encore-enltv.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.526s 1 1 true 3.432s 1 1 true 3.483s 1 1 true 3.520s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-encore-enltv2.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.469s 1 1 true 3.782s 1 1 true 3.558s 1 1 true 3.837s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-evga-indtube.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.381s 1 1 true 3.683s 1 1 true 3.726s 1 1 true 3.583s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-eztv.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.454s 1 1 true 3.449s 1 1 true 3.457s 1 1 true 3.443s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-flydvb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.539s 1 1 true 3.495s 1 1 true 3.350s 1 1 true 3.355s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-flyvideo.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.604s 1 1 true 3.583s 1 1 true 3.523s 1 1 true 3.362s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-fusionhdtv-mce.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.431s 1 1 true 3.525s 1 1 true 3.579s 1 1 true 3.322s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-gadmei-rm008z.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.724s 1 1 true 3.325s 1 1 true 3.308s 1 1 true 3.345s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-genius-tvgo-a11mce.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.564s 1 1 true 3.493s 1 1 true 3.476s 1 1 true 3.878s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-gotview7135.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.784s 1 1 true 3.212s 1 1 true 3.509s 1 1 true 3.567s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-hauppauge.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.487s 1 1 true 3.583s 1 1 true 3.648s 1 1 true 3.759s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-imon-mce.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.557s 1 1 true 3.384s 1 1 true 3.658s 1 1 true 3.544s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-imon-pad.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.687s 1 1 true 3.580s 1 1 true 3.508s 1 1 true 3.547s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-iodata-bctv7e.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.387s 1 1 true 3.572s 1 1 true 3.556s 1 1 true 3.444s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-it913x-v1.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.422s 1 1 true 3.454s 1 1 true 3.638s 1 1 true 3.482s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-it913x-v2.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.389s 1 1 true 3.425s 1 1 true 3.443s 1 1 true 3.422s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-kaiomy.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.750s 1 1 true 3.476s 1 1 true 3.591s 1 1 true 3.808s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-kworld-315u.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.430s 1 1 true 3.589s 1 1 true 3.658s 1 1 true 3.322s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-kworld-pc150u.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.619s 1 1 true 3.226s 1 1 true 3.626s 1 1 true 3.403s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-kworld-plus-tv-analog.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.778s 1 1 true 3.676s 1 1 true 3.698s 1 1 true 3.467s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-leadtek-y04g0051.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.754s 1 1 true 3.584s 1 1 true 3.411s 1 1 true 3.436s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-lirc.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.384s 1 1 true 3.201s 1 1 true 3.516s 1 1 true 3.564s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-lme2510.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.434s 1 1 true 3.557s 1 1 true 3.404s 1 1 true 3.619s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-manli.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.294s 1 1 true 3.296s 1 1 true 3.435s 1 1 true 3.372s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-medion-x10.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.417s 1 1 true 3.361s 1 1 true 3.536s 1 1 true 3.528s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-msi-digivox-ii.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.582s 1 1 true 3.457s 1 1 true 3.475s 1 1 true 3.806s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-msi-digivox-iii.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.976s 1 1 true 3.460s 1 1 true 3.579s 1 1 true 3.671s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-msi-tvanywhere-plus.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.498s 1 1 true 3.412s 1 1 true 3.537s 1 1 true 3.688s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-msi-tvanywhere.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.551s 1 1 true 3.494s 1 1 true 3.683s 1 1 true 3.719s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-nebula.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.391s 1 1 true 3.651s 1 1 true 3.504s 1 1 true 3.594s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-nec-terratec-cinergy-xs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.771s 1 1 true 3.396s 1 1 true 3.792s 1 1 true 3.554s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-norwood.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.334s 1 1 true 3.272s 1 1 true 3.473s 1 1 true 3.824s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-npgtech.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.787s 1 1 true 3.673s 1 1 true 3.482s 1 1 true 3.902s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-pctv-sedna.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.477s 1 1 true 3.486s 1 1 true 3.342s 1 1 true 3.338s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-pinnacle-color.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.297s 1 1 true 3.331s 1 1 true 3.501s 1 1 true 3.407s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-pinnacle-grey.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.579s 1 1 true 3.646s 1 1 true 3.452s 1 1 true 3.626s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-pinnacle-pctv-hd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.607s 1 1 true 3.577s 1 1 true 3.273s 1 1 true 3.556s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-pixelview-002t.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.444s 1 1 true 3.564s 1 1 true 3.334s 1 1 true 3.334s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-pixelview-mk12.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.613s 1 1 true 3.697s 1 1 true 3.526s 1 1 true 3.386s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-pixelview-new.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.681s 1 1 true 3.830s 1 1 true 3.358s 1 1 true 3.705s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-pixelview.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.376s 1 1 true 3.274s 1 1 true 3.625s 1 1 true 3.323s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-powercolor-real-angel.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.656s 1 1 true 3.547s 1 1 true 3.572s 1 1 true 3.516s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-proteus-2309.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.474s 1 1 true 3.463s 1 1 true 3.538s 1 1 true 3.361s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-purpletv.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.375s 1 1 true 3.505s 1 1 true 3.573s 1 1 true 3.559s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-pv951.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.202s 1 1 true 3.586s 1 1 true 3.547s 1 1 true 3.465s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-rc6-mce.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.552s 1 1 true 3.457s 1 1 true 3.400s 1 1 true 3.457s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-real-audio-220-32-keys.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.537s 1 1 true 3.995s 1 1 true 3.666s 1 1 true 3.271s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-snapstream-firefly.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.671s 1 1 true 3.447s 1 1 true 3.378s 1 1 true 3.718s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-streamzap.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.526s 1 1 true 3.566s 1 1 true 3.449s 1 1 true 3.329s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-tbs-nec.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.379s 1 1 true 3.712s 1 1 true 3.366s 1 1 true 3.634s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-technisat-usb2.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.290s 1 1 true 3.452s 1 1 true 3.560s 1 1 true 3.479s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-terratec-cinergy-xs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.648s 1 1 true 3.408s 1 1 true 3.562s 1 1 true 3.440s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-terratec-slim-2.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.370s 1 1 true 3.522s 1 1 true 3.375s 1 1 true 3.452s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-terratec-slim.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.468s 1 1 true 3.473s 1 1 true 3.578s 1 1 true 3.448s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-tevii-nec.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.536s 1 1 true 3.530s 1 1 true 3.588s 1 1 true 3.590s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-tivo.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.815s 1 1 true 3.488s 1 1 true 3.696s 1 1 true 3.508s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-total-media-in-hand.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.760s 1 1 true 3.553s 1 1 true 3.372s 1 1 true 3.484s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-trekstor.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.383s 1 1 true 3.492s 1 1 true 3.268s 1 1 true 3.372s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-tt-1500.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.545s 1 1 true 3.514s 1 1 true 3.291s 1 1 true 3.541s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-twinhan1027.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.635s 1 1 true 3.459s 1 1 true 3.534s 1 1 true 3.461s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-videomate-m1f.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.328s 1 1 true 3.683s 1 1 true 3.591s 1 1 true 3.519s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-videomate-s350.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.367s 1 1 true 3.307s 1 1 true 3.530s 1 1 true 3.499s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-videomate-tv-pvr.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.529s 1 1 true 3.507s 1 1 true 3.472s 1 1 true 3.567s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-winfast-usbii-deluxe.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.652s 1 1 true 3.557s 1 1 true 3.244s 1 1 true 3.488s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-winfast.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 3.534s 1 1 true 3.360s 1 1 true 3.433s 1 1 true 3.802s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--video--cx231xx--cx231xx-dvb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 11.160s 1 1 true 11.885s 1 1 true 11.269s 1 1 true 11.523s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_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 6.501s 1 1 true 6.172s 1 1 true 6.195s 1 1 true 6.141s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--video--em28xx--em28xx-dvb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 16.259s 1 1 true 16.109s 1 1 true 16.198s 1 1 true 16.479s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--video--gspca--gspca_benq.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.670s 1 1 true 5.815s 1 1 true 5.635s 1 1 true 5.673s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--video--gspca--gspca_finepix.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.915s 1 1 true 5.685s 1 1 true 5.556s 1 1 true 5.874s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--video--gspca--gspca_jl2005bcd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.456s 1 2 true 7.532s 2 3 true 6.596s 1 2 true 7.505s 2 3
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--video--gspca--gspca_pac207.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.698s 1 1 true 6.968s 1 1 true 6.966s 1 1 true 6.692s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--video--gspca--gspca_sq905c.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.860s 1 1 true 6.008s 1 1 true 5.851s 1 1 true 5.739s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--video--gspca--gspca_stv0680.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.815s 1 1 true 7.806s 1 1 true 7.858s 1 1 true 7.899s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--video--zoran--zr36016.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 8.216s 1 1 true 9.173s 1 1 true 8.698s 1 1 true 7.790s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--message--i2o--i2o_bus.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.639s 1 1 true 4.587s 1 1 true 4.290s 1 1 true 4.608s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--message--i2o--i2o_scsi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 8.618s 1 1 true 8.397s 1 1 true 8.581s 1 1 true 8.621s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--mfd--janz-cmodio.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.181s 1 1 true 5.033s 1 1 true 5.077s 1 1 true 5.018s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--mfd--rdc321x-southbridge.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.192s 1 1 true 4.162s 1 1 true 4.477s 1 1 true 4.301s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--mfd--tps6105x.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.959s 2 2 true 6.075s 2 2 true 6.388s 2 2 true 5.916s 2 2
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--mfd--tps6507x.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.754s 1 1 true 4.769s 1 1 true 4.696s 1 1 true 4.807s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--mfd--tps65217.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.873s 1 1 true 5.062s 1 1 true 4.816s 1 1 true 4.956s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--mfd--ucb1400_core.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.858s 1 1 true 4.917s 1 1 true 5.007s 1 1 true 5.095s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--mfd--wl1273-core.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.511s 1 1 true 5.071s 1 1 true 5.180s 1 1 true 5.428s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--mfd--wm8400-core.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.714s 1 2 true 6.896s 2 3 true 5.671s 1 2 true 6.903s 2 3
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--misc--apds9802als.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.602s 1 1 true 5.856s 1 1 true 5.590s 1 1 true 5.603s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--misc--bmp085.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.748s 1 1 true 5.525s 1 1 true 5.614s 1 1 true 5.670s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--misc--c2port--c2port-duramar2150.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.346s 1 1 true 3.809s 1 1 true 3.959s 1 1 true 4.165s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--misc--eeprom--eeprom_93xx46.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.759s 1 1 true 5.632s 1 1 true 5.443s 1 1 true 5.439s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--misc--isl29020.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.872s 1 1 true 4.931s 1 1 true 4.820s 1 1 true 5.118s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--misc--sgi-xp--xp.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.086s 1 3 true 7.298s 4 9 true 5.957s 1 3 true 7.101s 4 9
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--misc--ti_dac7512.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.296s 1 1 true 4.603s 1 1 true 4.799s 1 1 true 4.595s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--misc--tifm_core.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.174s 1 1 true 7.689s 1 1 true 7.420s 1 1 true 7.487s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--misc--vmw_balloon.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.835s 1 3 true 9.283s 3 6 true 7.969s 1 3 true 8.913s 3 6
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--mmc--host--sdricoh_cs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.771s 1 1 true 7.835s 1 1 true 8.123s 1 1 true 7.659s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--mtd--ar7part.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.751s 1 1 true 4.385s 1 1 true 4.340s 1 1 true 4.457s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--mtd--devices--doc2001plus.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.696s 1 1 true 6.512s 1 1 true 6.661s 1 1 true 6.659s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--mtd--devices--docprobe.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.442s 1 3 true 10.742s 4 10 true 7.843s 1 3 true 9.920s 4 11
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--mtd--devices--mtdram.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.223s 1 1 true 5.666s 1 1 true 5.191s 1 1 true 5.198s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--mtd--devices--phram.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.736s 1 2 true 5.953s 2 3 true 5.507s 1 2 true 5.748s 2 3
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--mtd--devices--slram.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.251s 1 4 true 12.177s 6 16 true 6.331s 1 4 true 12.454s 6 16
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--mtd--ftl.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 9.837s 1 1 true 10.057s 1 1 true 10.477s 1 1 true 10.068s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--mtd--inftl.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 21.353s 1 1 true 22.109s 1 1 true 22.999s 1 1 true 22.562s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_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.505s 1 1 true 5.682s 1 1 true 5.749s 1 1 true 5.352s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--mtd--maps--netsc520.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.448s 1 2 true 4.430s 2 3 true 4.158s 1 2 true 4.352s 2 3
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--mtd--maps--nettel.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.023s 1 1 true 5.248s 1 1 true 5.066s 1 1 true 5.043s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--mtd--maps--sbc_gxx.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.973s 1 2 true 5.821s 3 5 true 4.838s 1 2 true 5.820s 3 5
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--mtd--maps--ts5500_flash.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.132s 1 2 true 4.313s 2 3 true 4.273s 1 2 true 4.227s 2 3
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--mtd--mtdblock_ro.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.508s 1 1 true 4.301s 1 1 true 4.232s 1 1 true 4.001s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--mtd--mtdoops.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.957s 1 2 true 7.777s 2 3 true 7.058s 1 2 true 7.472s 2 3
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--mtd--nftl.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 25.586s 1 1 true 24.179s 1 1 true 25.802s 1 1 true 22.593s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--mtd--onenand--onenand_sim.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.843s 1 3 true 8.573s 4 9 true 7.481s 1 3 true 8.032s 4 9
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--mtd--tests--mtd_oobtest.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 10.187s 1 1 true 9.821s 1 1 true 9.487s 1 1 true 10.062s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--mtd--tests--mtd_pagetest.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.188s 1 1 true 7.191s 1 1 true 7.093s 1 1 true 7.232s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--mtd--tests--mtd_subpagetest.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.298s 1 1 true 7.075s 1 1 true 7.014s 1 1 true 7.127s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--mtd--ubi--gluebi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.417s 1 1 true 5.991s 1 1 true 6.166s 1 1 true 6.018s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--arcnet--arc-rawmode.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.380s 2 5 true 12.764s 3 6 true 6.417s 1 3 true 11.786s 3 6
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--arcnet--com20020_cs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.962s 1 1 true 7.675s 1 1 true 7.962s 1 1 true 7.547s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--arcnet--rfc1051.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.259s 2 3 true 7.291s 2 3 true 6.751s 1 2 true 7.315s 2 3
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--arcnet--rfc1201.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 10.879s 2 3 true 10.824s 2 3 true 9.070s 1 2 true 10.750s 2 3
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--irda--act200l-sir.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.167s 1 1 true 6.085s 1 1 true 5.880s 1 1 true 6.357s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--irda--esi-sir.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.845s 1 1 true 6.142s 1 1 true 5.891s 1 1 true 6.186s 1 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--irda--girbil-sir.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.249s 1 1 true 6.144s 1 1 true 6.261s 1