Tool CBMC 5.1 ESBMC 1.25.2 CPAchecker 1.4-svn 16872M
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-53-generic Linux 3.13.0-52-generic
System CPU: Intel Xeon E5-2650 v2 @ 2.60 GHz with 32 cores, frequency: 2.6 GHz; RAM: 135 GB
Run set cbmc-kInduction.CBMC k-induction esbmc-kInduction.ESBMC SV-COMP k-induction esbmc-kInduction.ESBMC SV-COMP parallel k-induction cpachecker-kInduction.CPAchecker cont.-ref. k-Induction (both)
Options -p -noout -disable-java-assertions -heap 13000M -bmc-induction -setprop cfa.useMultiEdges=true -setprop bmc.addInvariantsByAI=true -setprop bmc.addInvariantsByInduction=true -setprop cpa.predicate.solver=SMTINTERPOL
../svcomp15/ status cputime walltime memUsage host k status cputime walltime memUsage host k status cputime walltime memUsage host k status cputime walltime memUsage host k
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-termination.cil.c false(reach) 1.069s 1.080s 76877824 zeus22 1 false(reach) 2.323s 2.341s 237875200 zeus24 1 false(reach) 2.333s 1.181s 192417792 zeus02 - false(reach) 37.532s 19.775s 659304448 zeus20 1
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-termination.cil.c false(reach) 0.321s 0.336s 27455488 zeus08 1 false(reach) 0.639s 0.654s 67575808 zeus12 1 false(reach) 1.030s 0.528s 79163392 zeus01 - false(reach) 29.909s 15.903s 593051648 zeus13 1
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-termination.cil.c false(reach) 0.532s 0.543s 30212096 zeus15 1 false(reach) 2.032s 2.051s 200957952 zeus13 1 false(reach) 1.273s 0.651s 113065984 zeus03 - false(reach) 46.027s 23.746s 651419648 zeus22 1
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-termination.cil.c false(reach) 0.268s 0.283s 26664960 zeus10 1 false(reach) 0.352s 0.364s 47284224 zeus19 1 false(reach) 0.875s 0.450s 65400832 zeus18 - false(reach) 8.112s 4.844s 252981248 zeus17 1
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-termination.cil.c true 1.778s 1.798s 76754944 zeus03 1 true 2.675s 2.696s 242905088 zeus06 2 true 2.047s 1.037s 178274304 zeus03 - true 24.172s 12.756s 617148416 zeus09 1
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-termination.cil.c true 0.531s 0.548s 27709440 zeus17 1 true 21.800s 21.839s 173191168 zeus10 2 true 49.984s 25.043s 435892224 zeus18 56 true 26.811s 14.023s 539787264 zeus23 1
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-termination.cil.c timeout 1001.008s 1004.933s 325013504 zeus10 340 true 0.583s 0.596s 60563456 zeus08 2 true 0.815s 0.419s 68104192 zeus17 - true 16.635s 8.916s 419614720 zeus11 1
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-termination.cil.c timeout 1001.003s 1005.068s 341934080 zeus17 327 true 2.188s 2.206s 204034048 zeus14 2 true 1.143s 0.584s 104804352 zeus24 - true 24.347s 12.874s 611282944 zeus15 1
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-termination.cil.c true 0.214s 0.230s 24997888 zeus16 1 true 0.300s 0.311s 35987456 zeus23 2 true 0.390s 0.207s 48615424 zeus13 - true 5.036s 3.149s 190107648 zeus19 1
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-termination.cil.c true 0.298s 0.313s 26796032 zeus23 1 true 0.406s 0.420s 47050752 zeus14 2 true 0.673s 0.351s 61976576 zeus15 - true 6.161s 3.803s 198471680 zeus12 1
ssh-simplified/s3_clnt_1_false-unreach-call.cil.c false(reach) 13.876s 13.939s 192667648 zeus14 6 false(reach) 18.135s 18.178s 297512960 zeus20 6 false(reach) 10.204s 5.122s 233787392 zeus05 7 false(reach) 38.061s 19.654s 648474624 zeus08 6
ssh-simplified/s3_clnt_2_false-unreach-call_true-termination.cil.c false(reach) 14.509s 14.572s 195760128 zeus08 6 false(reach) 19.828s 19.865s 303747072 zeus21 6 false(reach) 9.433s 4.736s 210980864 zeus19 2 false(reach) 34.826s 18.004s 652877824 zeus09 6
ssh-simplified/s3_clnt_3_false-unreach-call.cil.c false(reach) 19.175s 19.260s 259878912 zeus16 6 false(reach) 25.006s 25.039s 363986944 zeus20 6 false(reach) 11.665s 5.852s 283312128 zeus16 7 false(reach) 40.383s 20.863s 651948032 zeus18 6
ssh-simplified/s3_clnt_4_false-unreach-call.cil.c false(reach) 15.552s 15.622s 199614464 zeus11 6 false(reach) 19.725s 19.755s 303316992 zeus20 6 false(reach) 9.217s 4.624s 208400384 zeus15 2 false(reach) 40.045s 20.659s 651288576 zeus23 6
ssh-simplified/s3_srvr_10_false-unreach-call.cil.c false(reach) 0.183s 0.198s 25366528 zeus19 1 false(reach) 0.366s 0.383s 43323392 zeus18 1 false(reach) 0.666s 0.347s 56500224 zeus02 1 false(reach) 7.164s 4.153s 238403584 zeus16 1
ssh-simplified/s3_srvr_11_false-unreach-call.cil.c false(reach) 35.334s 35.436s 214704128 zeus18 7 false(reach) 32.781s 32.832s 451584000 zeus06 7 false(reach) 21.150s 10.603s 333213696 zeus20 4 false(reach) 56.403s 28.856s 697843712 zeus17 7
ssh-simplified/s3_srvr_12_false-unreach-call.cil.c false(reach) 28.691s 28.772s 200036352 zeus24 6 false(reach) 26.562s 26.602s 379916288 zeus04 6 false(reach) 16.889s 8.462s 294957056 zeus23 6 false(reach) 52.071s 26.678s 696619008 zeus05 6
ssh-simplified/s3_srvr_13_false-unreach-call.cil.c false(reach) 9.395s 9.446s 131284992 zeus09 4 false(reach) 8.515s 8.540s 193552384 zeus21 4 false(reach) 4.995s 2.514s 141127680 zeus15 1 false(reach) 29.692s 15.423s 640532480 zeus12 4
ssh-simplified/s3_srvr_14_false-unreach-call.cil.c false(reach) 1.471s 1.496s 59707392 zeus09 2 false(reach) 1.786s 1.804s 81350656 zeus18 2 false(reach) 1.079s 0.553s 69095424 zeus12 3 false(reach) 15.691s 8.452s 368816128 zeus18 2
ssh-simplified/s3_srvr_1_false-unreach-call.cil.c false(reach) 8.161s 8.205s 128413696 zeus21 4 false(reach) 8.199s 8.222s 192016384 zeus12 4 false(reach) 4.015s 2.023s 132472832 zeus19 4 false(reach) 22.698s 11.942s 503914496 zeus23 4
ssh-simplified/s3_srvr_2_false-unreach-call.cil.c false(reach) 7.886s 7.939s 110510080 zeus24 4 false(reach) 8.036s 8.064s 172834816 zeus24 4 false(reach) 4.620s 2.327s 146198528 zeus04 5 false(reach) 24.084s 12.635s 513032192 zeus18 4
ssh-simplified/s3_srvr_6_false-unreach-call.cil.c false(reach) 0.176s 0.194s 25743360 zeus20 1 false(reach) 0.366s 0.382s 46784512 zeus01 1 false(reach) 0.715s 0.371s 61571072 zeus19 1 false(reach) 7.008s 4.079s 236474368 zeus20 1
ssh-simplified/s3_clnt_1_true-unreach-call.cil.c timeout 1000.026s 1001.675s 1072082944 zeus09 33 true 151.054s 151.208s 1340665856 zeus02 15 true 114.774s 57.441s 997666816 zeus13 16 true 41.855s 21.547s 689582080 zeus16 7
ssh-simplified/s3_clnt_2_true-unreach-call_true-termination.cil.c timeout 1000.020s 1001.835s 1139789824 zeus11 34 true 148.051s 148.193s 1370398720 zeus19 15 true 114.436s 57.280s 1003790336 zeus11 16 true 42.670s 21.900s 681902080 zeus17 7
ssh-simplified/s3_clnt_3_true-unreach-call.cil.c timeout 1000.030s 1001.587s 1338888192 zeus14 31 true 190.283s 190.474s 1675677696 zeus18 15 true 125.813s 62.960s 1212456960 zeus03 16 true 43.656s 22.448s 694804480 zeus06 7
ssh-simplified/s3_clnt_4_true-unreach-call.cil.c timeout 1000.032s 1001.626s 1111465984 zeus01 33 true 144.691s 144.860s 1370718208 zeus20 15 true 117.454s 58.781s 1016270848 zeus07 16 true 47.874s 24.542s 691965952 zeus04 7
ssh-simplified/s3_srvr_1_true-unreach-call.cil.c timeout 1000.019s 1001.844s 415916032 zeus08 30 timeout 999.329s 1000.276s 5327503360 zeus16 26 timeout 1001.677s 501.007s 4681256960 zeus08 - true 62.608s 31.998s 706322432 zeus04 6
ssh-simplified/s3_srvr_1a_true-unreach-call.cil.c timeout 1000.019s 1001.844s 202575872 zeus06 95 timeout 999.656s 1000.458s 4600344576 zeus15 90 timeout 1001.484s 501.005s 2648178688 zeus23 - true 11.808s 6.427s 300646400 zeus03 5
ssh-simplified/s3_srvr_1b_true-unreach-call_false-termination.cil.c timeout 1000.019s 1002.483s 181862400 zeus22 153 timeout 1000.029s 1001.088s 9844715520 zeus20 160 timeout 1001.571s 501.006s 5196587008 zeus21 - true 6.045s 3.602s 222752768 zeus11 2
ssh-simplified/s3_srvr_2_true-unreach-call.cil.c timeout 1000.026s 1001.784s 710590464 zeus04 25 timeout 999.153s 1000.282s 5169176576 zeus11 27 timeout 1001.549s 501.008s 4225470464 zeus21 - true 75.406s 38.403s 1358540800 zeus24 12
ssh-simplified/s3_srvr_3_true-unreach-call.cil.c timeout 1000.026s 1001.469s 709939200 zeus21 25 timeout 999.291s 1000.350s 4832342016 zeus04 26 timeout 1001.446s 501.004s 4218822656 zeus20 - true 76.122s 38.706s 1288650752 zeus16 12
ssh-simplified/s3_srvr_4_true-unreach-call.cil.c timeout 1000.025s 1001.602s 722509824 zeus16 25 timeout 999.037s 1000.289s 4818395136 zeus11 26 timeout 1001.560s 501.005s 4265619456 zeus07 - true 85.072s 43.214s 2342510592 zeus06 12
ssh-simplified/s3_srvr_6_true-unreach-call.cil.c timeout 1000.022s 1001.825s 711585792 zeus24 24 timeout 999.257s 1000.272s 4266864640 zeus05 24 timeout 1001.514s 501.005s 3605856256 zeus05 - true 171.592s 86.539s 4808171520 zeus23 17
ssh-simplified/s3_srvr_7_true-unreach-call.cil.c timeout 1000.024s 1001.595s 728891392 zeus14 25 timeout 999.162s 1000.249s 4579037184 zeus10 25 timeout 1001.540s 501.007s 4072550400 zeus07 - true 88.135s 44.722s 2317758464 zeus15 12
ssh-simplified/s3_srvr_8_true-unreach-call.cil.c timeout 1000.022s 1001.722s 724414464 zeus19 25 timeout 999.231s 1000.310s 4504809472 zeus10 25 timeout 1001.295s 501.006s 3982606336 zeus12 - true 79.208s 40.254s 2136014848 zeus02 12
locks/test_locks_14_false-unreach-call.c false(reach) 0.169s 0.169s 23576576 zeus22 1 false(reach) 0.249s 0.263s 27869184 zeus23 1 false(reach) 0.616s 0.322s 42094592 zeus23 3 false(reach) 7.912s 4.532s 245669888 zeus17 1
locks/test_locks_15_false-unreach-call.c false(reach) 0.177s 0.177s 23445504 zeus19 1 false(reach) 0.239s 0.256s 29151232 zeus03 1 false(reach) 0.628s 0.328s 43929600 zeus04 4 false(reach) 8.356s 4.692s 267386880 zeus05 1
locks/test_locks_10_true-unreach-call.c true 0.164s 0.181s 23322624 zeus18 1 out of memory 563.795s 563.692s 15000002560 zeus24 - timeout 1002.393s 501.006s 14069170176 zeus23 - true 8.124s 4.656s 247439360 zeus18 1
locks/test_locks_11_true-unreach-call_false-termination.c true 0.168s 0.178s 23314432 zeus23 1 out of memory 570.294s 570.234s 15000002560 zeus09 - timeout 1002.455s 501.006s 13998563328 zeus16 - true 8.074s 4.617s 247746560 zeus23 1
locks/test_locks_12_true-unreach-call_false-termination.c true 0.176s 0.194s 23281664 zeus08 1 out of memory 580.835s 580.813s 15000002560 zeus17 - timeout 1002.108s 501.008s 13438701568 zeus14 - true 8.182s 4.631s 243027968 zeus16 1
locks/test_locks_13_true-unreach-call.c true 0.194s 0.209s 23449600 zeus01 1 out of memory 602.222s 602.278s 15000002560 zeus18 - timeout 1002.240s 501.008s 13253734400 zeus22 - true 8.972s 5.096s 256962560 zeus04 1
locks/test_locks_14_true-unreach-call.c true 0.197s 0.213s 23453696 zeus08 1 out of memory 622.713s 622.626s 15000002560 zeus08 - timeout 1002.309s 501.005s 13135446016 zeus17 - true 8.856s 4.985s 258949120 zeus03 1
locks/test_locks_15_true-unreach-call_false-termination.c true 0.191s 0.257s 23572480 zeus18 1 out of memory 614.766s 614.973s 15000002560 zeus18 - timeout 1002.260s 501.007s 12897415168 zeus12 - true 9.178s 5.131s 263229440 zeus24 1
locks/test_locks_5_true-unreach-call_false-termination.c true 0.146s 0.146s 22798336 zeus02 1 out of memory 484.923s 484.629s 15000002560 zeus03 - out of memory 954.826s 477.203s 15000002560 zeus13 - true 5.564s 3.300s 220762112 zeus21 1
locks/test_locks_6_true-unreach-call_false-termination.c true 0.145s 0.161s 22925312 zeus16 1 out of memory 505.594s 505.257s 15000002560 zeus22 - out of memory 1000.613s 500.058s 15000002560 zeus02 - true 5.781s 3.409s 214568960 zeus24 1
locks/test_locks_7_true-unreach-call_false-termination.c true 0.159s 0.170s 23068672 zeus15 1 out of memory 522.360s 522.287s 15000002560 zeus11 - out of memory 973.276s 486.391s 15000002560 zeus08 - true 6.321s 3.679s 224395264 zeus01 1
locks/test_locks_8_true-unreach-call_false-termination.c true 0.171s 0.171s 23056384 zeus13 1 out of memory 523.710s 523.602s 15000002560 zeus23 - timeout 1002.619s 501.007s 14835707904 zeus22 - true 6.410s 3.738s 224874496 zeus22 1
locks/test_locks_9_true-unreach-call.c true 0.180s 0.180s 23064576 zeus03 1 out of memory 542.241s 542.153s 15000002560 zeus02 - timeout 1002.343s 501.009s 14454423552 zeus07 - true 6.722s 3.919s 229576704 zeus18 1
ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko_false-unreach-call.cil.out.i.pp.i timeout 1000.142s 1001.496s 2431832064 zeus23 1 false(reach) 89.521s 89.642s 7533993984 zeus08 2 false(reach) 157.966s 78.832s 7573741568 zeus13 1 false(reach) 49.431s 25.337s 789594112 zeus16 1
ldv-linux-3.0/module_get_put-drivers-block-loop.ko_false-unreach-call.cil.out.i.pp.i timeout 1000.995s 1002.578s 6328270848 zeus05 2 error 5.924s 5.974s 359161856 zeus02 2 unknown 18.174s 9.144s 335286272 zeus23 2 timeout 901.892s 453.276s 9222004736 zeus04 1
ldv-linux-3.0/module_get_put-drivers-block-pktcdvd.ko_false-unreach-call.cil.out.i.pp.i timeout 1000.989s 1002.676s 5511139328 zeus04 2 timeout 998.990s 1000.325s 1343889408 zeus08 2 timeout 1001.314s 501.007s 1880395776 zeus14 - false(reach) 31.931s 16.739s 658743296 zeus19 1
ldv-linux-3.0/module_get_put-drivers-isdn-gigaset-gigaset.ko_false-unreach-call.cil.out.i.pp.i timeout 1000.083s 1001.542s 1475338240 zeus22 1 false(reach) 10.034s 10.063s 1106677760 zeus16 2 false(reach) 18.181s 9.123s 1077432320 zeus11 3 timeout 999.462s 502.061s 8568139776 zeus18 -
ldv-linux-3.0/module_get_put-drivers-isdn-mISDN-mISDN_core.ko_false-unreach-call.cil.out.i.pp.i out of memory 414.875s 414.796s 15000002560 zeus04 1 false(reach) 14.570s 14.606s 1780129792 zeus20 2 false(reach) 17.020s 8.505s 1791979520 zeus08 3 timeout 901.194s 452.939s 8153464832 zeus10 1
ldv-linux-3.0/module_get_put-drivers-net-ppp_generic.ko_false-unreach-call.cil.out.i.pp.i timeout 1000.997s 1002.709s 6513307648 zeus16 2 timeout 999.171s 1000.296s 2197311488 zeus18 2 timeout 1001.388s 501.007s 2017005568 zeus21 - false(reach) 65.647s 33.570s 852537344 zeus20 1
ldv-linux-3.0/module_get_put-drivers-net-wan-farsync.ko_false-unreach-call.cil.out.i.pp.i timeout 1000.974s 1002.608s 13326032896 zeus08 2 error 28.256s 28.306s 642850816 zeus18 2 timeout 1001.491s 501.008s 3352227840 zeus12 - timeout 967.587s 486.591s 9189781504 zeus15 1
ldv-linux-3.0/module_get_put-drivers-tty-synclink_gt.ko_false-unreach-call.cil.out.i.pp.i timeout 1000.987s 1002.957s 2502344704 zeus24 2 timeout 999.779s 1000.676s 4728143872 zeus21 2 timeout 1001.688s 501.007s 5331406848 zeus19 - false(reach) 96.319s 48.931s 2591760384 zeus14 1
ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko_false-unreach-call.cil.out.i.pp.i out of memory 783.842s 784.385s 15000002560 zeus14 1 out of memory 56.373s 55.729s 15000002560 zeus03 - unknown 137.530s 125.810s 14590242816 zeus16 2 timeout 906.949s 458.681s 9297768448 zeus21 1
ldv-linux-3.0/usb_urb-drivers-hid-usbhid-usbmouse.ko_false-unreach-call.cil.out.i.pp.i timeout 1000.989s 1002.468s 10135592960 zeus20 1 false(reach) 1.399s 1.412s 206860288 zeus15 1 false(reach) 1.455s 0.740s 188067840 zeus12 1 false(reach) 37.532s 19.481s 654471168 zeus23 3
ldv-linux-3.0/usb_urb-drivers-input-misc-keyspan_remote.ko_false-unreach-call.cil.out.i.pp.i timeout 1000.976s 1002.539s 10314776576 zeus23 1 false(reach) 2.620s 2.638s 360402944 zeus20 1 false(reach) 2.120s 1.072s 279293952 zeus22 2 timeout 904.990s 455.115s 8105123840 zeus10 8
ldv-linux-3.0/usb_urb-drivers-media-dvb-ttusb-dec-ttusb_dec.ko_false-unreach-call.cil.out.i.pp.i timeout 1001.000s 1002.506s 5077143552 zeus11 1 error 18.642s 18.681s 4195577856 zeus12 - false(reach) 472.747s 236.580s 7854256128 zeus16 5 false(reach) 24.706s 13.171s 526540800 zeus01 1
ldv-linux-3.0/usb_urb-drivers-net-can-usb-ems_usb.ko_false-unreach-call.cil.out.i.pp.i timeout 1000.997s 1002.753s 9360805888 zeus11 1 error 4.533s 4.555s 1088077824 zeus01 - false(reach) 3.232s 1.632s 397369344 zeus01 2 false(reach) 23.872s 12.705s 564072448 zeus12 1
ldv-linux-3.0/usb_urb-drivers-net-usb-catc.ko_false-unreach-call.cil.out.i.pp.i out of memory 603.054s 603.379s 15000002560 zeus23 1 error 6.364s 6.387s 1691516928 zeus10 - false(reach) 3.598s 1.829s 458747904 zeus15 2 exception 30.555s 16.040s 659484672 zeus22 -
ldv-linux-3.0/usb_urb-drivers-staging-lirc-lirc_imon.ko_false-unreach-call.cil.out.i.pp.i false(reach) 4.076s 4.109s 101117952 zeus20 2 error 5.962s 5.985s 1514037248 zeus13 - false(reach) 124.216s 62.221s 1439444992 zeus02 11 false(reach) 50.996s 26.257s 717266944 zeus08 2
ldv-linux-3.0/usb_urb-drivers-usb-misc-iowarrior.ko_false-unreach-call.cil.out.i.pp.i timeout 1000.985s 1002.563s 10420744192 zeus23 1 false(reach) 6.146s 6.171s 717492224 zeus11 1 false(reach) 3.139s 1.584s 371548160 zeus11 2 false(reach) 18.078s 9.703s 443604992 zeus24 1
ldv-linux-3.0/module_get_put-drivers-atm-eni.ko_true-unreach-call.cil.out.i.pp.i timeout 1000.980s 1002.645s 11491205120 zeus24 2 timeout 999.405s 1000.310s 2726506496 zeus10 2 timeout 1001.417s 501.007s 2627641344 zeus01 - timeout 901.785s 453.342s 8104312832 zeus15 1
ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko_true-unreach-call.cil.out.i.pp.i timeout 1000.189s 1001.679s 3535441920 zeus03 1 out of memory 92.328s 91.753s 15000002560 zeus07 - timeout 1000.490s 922.468s 7578091520 zeus07 - timeout 907.144s 455.877s 8599732224 zeus12 1
ldv-linux-3.0/module_get_put-drivers-block-paride-pt.ko_true-unreach-call.cil.out.i.pp.i timeout 1000.005s 1001.492s 3330818048 zeus01 2 error 0.881s 0.895s 183107584 zeus18 2 true 765.889s 383.261s 4605431808 zeus14 6 timeout 901.908s 453.585s 8945864704 zeus17 2
ldv-linux-3.0/module_get_put-drivers-bluetooth-btmrvl.ko_true-unreach-call.cil.out.i.pp.i timeout 1000.996s 1002.691s 5331107840 zeus24 2 timeout 999.833s 1001.091s 14511034368 zeus24 1 timeout 1002.108s 501.008s 9819795456 zeus13 - true 303.402s 212.620s 6238265344 zeus12 2
ldv-linux-3.0/module_get_put-drivers-char-ipmi-ipmi_watchdog.ko_true-unreach-call.cil.out.i.pp.i timeout 1000.968s 1002.414s 11875737600 zeus06 2 out of memory 173.975s 173.716s 15000002560 zeus07 - out of memory 556.257s 278.146s 15000002560 zeus07 - timeout 902.239s 454.473s 11265069056 zeus15 2
ldv-linux-3.0/module_get_put-drivers-gpu-drm-i915-i915.ko_true-unreach-call.cil.out.i.pp.i timeout 1000.142s 1001.471s 2971455488 zeus22 1 timeout 1000.411s 1001.090s 9398128640 zeus05 - timeout 1001.745s 501.010s 8174551040 zeus22 - timeout 997.195s 502.353s 9057845248 zeus15 1
ldv-linux-3.0/module_get_put-drivers-hid-hid-magicmouse.ko_true-unreach-call.cil.out.i.pp.i timeout 1000.010s 1001.720s 377872384 zeus08 2 true 3.195s 3.209s 200114176 zeus04 2 true 6.786s 3.409s 214708224 zeus01 2 timeout 900.866s 453.221s 9161166848 zeus01 1
ldv-linux-3.0/module_get_put-drivers-hwmon-it87.ko_true-unreach-call.cil.out.i.pp.i timeout 1000.007s 1001.571s 428343296 zeus08 2 true 13.953s 13.993s 1382776832 zeus22 2 true 66.994s 33.575s 1801908224 zeus13 2 true 58.955s 30.291s 896475136 zeus22 2
ldv-linux-3.0/module_get_put-drivers-net-atl1c-atl1c.ko_true-unreach-call.cil.out.i.pp.i timeout 1000.994s 1002.683s 4058542080 zeus20 2 true 45.447s 45.515s 2078494720 zeus12 2 true 545.545s 273.096s 4661280768 zeus22 2 timeout 999.541s 502.141s 9158885376 zeus23 -
ldv-linux-3.0/module_get_put-drivers-net-pppox.ko_true-unreach-call.cil.out.i.pp.i timeout 1001.000s 1002.723s 1097961472 zeus04 2 true 0.825s 0.837s 157442048 zeus20 2 true 0.970s 0.496s 169295872 zeus13 2 true 10.201s 5.735s 307748864 zeus21 2
ldv-linux-3.0/module_get_put-drivers-net-sis900.ko_true-unreach-call.cil.out.i.pp.i timeout 1000.971s 1002.538s 11190837248 zeus15 2 timeout 999.271s 1000.359s 1563926528 zeus02 3 timeout 1001.263s 501.006s 2319208448 zeus02 - timeout 903.691s 454.530s 9150832640 zeus04 1
ldv-linux-3.0/module_get_put-drivers-scsi-megaraid.ko_true-unreach-call.cil.out.i.pp.i timeout 1001.000s 1002.972s 5450067968 zeus13 2 error 27.067s 27.115s 2119491584 zeus02 2 timeout 1001.588s 501.009s 2548731904 zeus12 - timeout 901.398s 453.250s 9172996096 zeus19 1
ldv-linux-3.0/module_get_put-drivers-staging-et131x-et131x.ko_true-unreach-call.cil.out.i.pp.i timeout 1000.998s 1002.474s 4334292992 zeus09 2 true 147.659s 147.850s 2109149184 zeus08 2 timeout 915.101s 457.995s 3429441536 zeus02 4 timeout 909.585s 457.471s 9050894336 zeus09 1
ldv-linux-3.0/module_get_put-drivers-video-aty-aty128fb.ko_true-unreach-call.cil.out.i.pp.i timeout 1000.969s 1002.616s 12413837312 zeus11 2 timeout 999.219s 1000.424s 2159493120 zeus11 4 timeout 1001.441s 501.057s 1469116416 zeus23 - timeout 963.704s 484.410s 9222365184 zeus05 1
ldv-linux-3.0/usb_urb-drivers-input-tablet-kbtab.ko_true-unreach-call.cil.out.i.pp.i false(reach) 3.431s 3.464s 81190912 zeus22 3 false(reach) 2.721s 2.741s 354697216 zeus06 1 false(reach) 1.573s 0.803s 200749056 zeus16 1 timeout 901.430s 820.747s 6021746688 zeus15 27
ldv-linux-3.0/usb_urb-drivers-media-video-c-qcam.ko_true-unreach-call.cil.out.i.pp.i timeout 1000.017s 1001.762s 417841152 zeus07 1 error 3.181s 3.198s 778371072 zeus13 - timeout 1001.416s 501.007s 5219241984 zeus10 - timeout 902.850s 454.113s 9239752704 zeus23 1
ldv-linux-3.0/usb_urb-drivers-media-video-msp3400.ko_true-unreach-call.cil.out.i.pp.i true 43.358s 43.429s 169435136 zeus08 1 error 8.715s 8.742s 2120019968 zeus21 - timeout 1001.616s 501.008s 2991120384 zeus13 - timeout 901.296s 453.293s 8695332864 zeus24 1
ldv-linux-3.0/usb_urb-drivers-misc-c2port-core.ko_true-unreach-call.cil.out.i.pp.i true 15.777s 15.816s 97071104 zeus13 1 out of memory 601.595s 601.659s 15000002560 zeus13 - out of memory 292.715s 145.944s 15000002560 zeus21 - true 83.897s 42.831s 2573434880 zeus12 2
ldv-linux-3.0/usb_urb-drivers-mtd-sm_ftl.ko_true-unreach-call.cil.out.i.pp.i timeout 1000.997s 1002.548s 4615970816 zeus23 2 error 1.877s 1.894s 446803968 zeus07 - timeout 1000.074s 995.550s 715214848 zeus15 - timeout 901.798s 453.751s 9233162240 zeus05 1
ldv-linux-3.0/usb_urb-drivers-scsi-dc395x.ko_true-unreach-call.cil.out.i.pp.i timeout 1000.195s 1001.555s 3865690112 zeus09 1 error 6.600s 6.623s 1615167488 zeus08 - timeout 1000.308s 938.001s 1739448320 zeus05 - timeout 901.561s 453.332s 8623439872 zeus11 1
ldv-linux-3.0/usb_urb-drivers-usb-serial-ir-usb.ko_true-unreach-call.cil.out.i.pp.i true 0.917s 0.932s 42496000 zeus20 1 error 20.792s 20.833s 1697095680 zeus21 2 timeout 1001.443s 501.009s 3184730112 zeus07 - true 49.943s 25.742s 736718848 zeus24 2
ldv-linux-3.0/usb_urb-drivers-usb-serial-whiteheat.ko_true-unreach-call.cil.out.i.pp.i timeout 1001.001s 1002.421s 4617801728 zeus12 1 error 3.532s 3.551s 767033344 zeus20 - false(reach) 206.196s 103.209s 919724032 zeus14 3 timeout 901.401s 453.487s 9252347904 zeus21 1
ldv-linux-3.0/usb_urb-drivers-uwb-i1480-dfu-i1480-dfu-usb.ko_true-unreach-call.cil.out.i.pp.i timeout 1000.999s 1002.476s 5343567872 zeus20 1 error 8.105s 8.131s 2033922048 zeus11 - false(reach) 4.557s 2.302s 344817664 zeus13 2 timeout 901.282s 453.629s 8873938944 zeus22 1
ldv-linux-3.0/usb_urb-drivers-vhost-vhost_net.ko_true-unreach-call.cil.out.i.pp.i timeout 1000.039s 1001.297s 319758336 zeus05 3 error 3.033s 3.050s 711053312 zeus09 - timeout 1000.213s 965.939s 3700084736 zeus17 - timeout 901.288s 453.163s 9173684224 zeus04 1
ldv-linux-3.0/usb_urb-drivers-video-arkfb.ko_true-unreach-call.cil.out.i.pp.i timeout 1001.004s 1002.557s 6447050752 zeus24 1 timeout 999.725s 1000.944s 4433059840 zeus15 9 timeout 1001.500s 501.010s 2927697920 zeus14 - timeout 901.152s 453.167s 9501904896 zeus17 1
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 out of memory 123.637s 123.188s 15000002560 zeus06 1 out of memory 50.476s 49.925s 15000002560 zeus21 - out of memory 160.786s 80.096s 15000002560 zeus07 - timeout 999.257s 539.801s 8014901248 zeus15 -
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 timeout 1000.989s 1002.482s 12194865152 zeus14 1 false(reach) 11.768s 11.798s 484413440 zeus15 5 false(reach) 20.886s 10.479s 436301824 zeus02 6 timeout 904.438s 673.319s 6443630592 zeus24 5
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 out of memory 586.184s 586.627s 15000002560 zeus02 1 out of memory 53.345s 52.723s 15000002560 zeus04 - out of memory 128.496s 63.857s 15000002560 zeus05 - false(reach) 50.224s 26.468s 925323264 zeus08 1
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) 2.411s 2.430s 104955904 zeus08 1 out of memory 49.501s 48.889s 15000002560 zeus07 - false(reach) 5.360s 2.696s 854368256 zeus22 1 false(reach) 44.928s 23.027s 735584256 zeus14 1
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 out of memory 106.692s 106.323s 15000002560 zeus08 1 out of memory 52.990s 52.380s 15000002560 zeus04 - false(reach) 13.522s 6.767s 2000076800 zeus17 1 false(reach) 59.117s 30.582s 790331392 zeus24 1
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 1000.555s 1001.566s 11418374144 zeus08 1 out of memory 50.579s 49.983s 15000002560 zeus16 - out of memory 213.412s 106.405s 15000002560 zeus24 - false(reach) 425.502s 214.459s 6054047744 zeus15 1
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 out of memory 87.908s 87.545s 15000002560 zeus05 1 out of memory 52.174s 51.553s 15000002560 zeus16 - out of memory 55.820s 51.735s 15000002560 zeus20 - false(reach) 27.224s 14.324s 643637248 zeus12 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 out of memory 81.168s 80.730s 15000002560 zeus04 1 error 24.742s 24.790s 3028959232 zeus06 1 unknown 27.600s 24.507s 2685247488 zeus24 2 false(reach) 36.440s 18.969s 652955648 zeus24 1
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 out of memory 524.333s 524.424s 15000002560 zeus17 1 out of memory 54.205s 53.488s 15000002560 zeus22 - out of memory 166.146s 82.785s 15000002560 zeus18 - false(reach) 22.141s 11.721s 520015872 zeus20 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 out of memory 76.741s 76.335s 15000002560 zeus11 1 out of memory 58.099s 57.481s 15000002560 zeus05 - out of memory 61.991s 58.327s 15000002560 zeus18 - false(reach) 32.200s 16.774s 655736832 zeus04 1
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 timeout 1000.248s 1001.365s 5111586816 zeus10 1 error 0.178s 0.189s 81362944 zeus07 - unknown 0.854s 0.458s 215425024 zeus03 - false(reach) 25.474s 13.450s 688119808 zeus24 1
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 out of memory 799.304s 799.931s 15000002560 zeus17 1 out of memory 52.381s 51.801s 15000002560 zeus16 - out of memory 158.044s 78.722s 15000002560 zeus06 - timeout 999.310s 541.878s 7581306880 zeus16 -
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 1000.569s 1001.621s 12655095808 zeus21 1 error 0.123s 0.168s 42229760 zeus12 - unknown 0.487s 0.266s 94785536 zeus01 - false(reach) 58.896s 30.068s 770588672 zeus24 1
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) 351.438s 352.029s 12555112448 zeus02 1 out of memory 55.892s 55.250s 15000002560 zeus24 - false(reach) 2.134s 1.079s 300924928 zeus09 1 false(reach) 13.324s 7.387s 364113920 zeus17 1
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 out of memory 337.882s 337.692s 15000002560 zeus11 1 error 0.094s 0.104s 37994496 zeus04 - unknown 0.428s 0.237s 89010176 zeus04 - false(reach) 76.261s 38.841s 1374253056 zeus14 1
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 out of memory 87.676s 87.263s 15000002560 zeus03 1 out of memory 53.642s 53.072s 15000002560 zeus01 - out of memory 167.253s 83.368s 15000002560 zeus17 - false(reach) 81.161s 41.591s 1424502784 zeus15 1
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 timeout 1000.188s 1001.315s 3381641216 zeus10 1 out of memory 52.901s 52.325s 15000002560 zeus06 - out of memory 124.631s 73.979s 15000002560 zeus10 - timeout 962.061s 484.473s 8968110080 zeus19 1
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 1000.161s 1001.704s 3456262144 zeus24 1 out of memory 617.409s 617.379s 15000002560 zeus04 - out of memory 734.916s 367.220s 15000002560 zeus08 - timeout 930.399s 473.632s 8979206144 zeus22 1
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 out of memory 657.393s 657.728s 15000002560 zeus19 1 error 36.861s 36.926s 1308643328 zeus05 2 unknown 511.122s 436.099s 2040913920 zeus17 2 timeout 901.257s 452.858s 7102615552 zeus21 1
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 1000.273s 1001.593s 5641261056 zeus13 1 timeout 999.351s 1000.618s 3972284416 zeus12 2 timeout 1001.674s 501.007s 6247206912 zeus15 - timeout 908.808s 457.271s 8870023168 zeus02 1
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 timeout 1000.010s 1001.266s 1328611328 zeus13 2 error 6.812s 6.834s 494825472 zeus22 2 timeout 1000.537s 595.315s 3115155456 zeus23 - timeout 901.534s 452.795s 8208863232 zeus22 1
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 timeout 1000.098s 1001.709s 2031550464 zeus03 1 error 162.279s 162.503s 6712446976 zeus13 2 out of memory 263.491s 131.417s 15000002560 zeus20 - false(reach) 250.618s 163.664s 5532626944 zeus05 1
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 out of memory 583.969s 584.184s 15000002560 zeus22 1 error 66.003s 66.108s 5192282112 zeus12 2 timeout 1000.796s 958.900s 12417515520 zeus06 - timeout 902.111s 453.018s 6552408064 zeus08 1
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 1.004s 1.023s 44957696 zeus20 1 timeout 1001.088s 1001.910s 13501222912 zeus09 142 timeout 1001.425s 501.006s 8120598528 zeus01 - true 28.949s 15.243s 656773120 zeus24 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 0.436s 0.455s 35201024 zeus05 1 true 1.293s 1.303s 172924928 zeus13 2 true 2.219s 1.129s 166387712 zeus02 12 true 7.962s 4.601s 257982464 zeus05 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 1.075s 1.094s 37928960 zeus12 1 timeout 1000.976s 1002.105s 13571538944 zeus22 - timeout 1001.787s 501.005s 9473290240 zeus19 - true 8.423s 5.162s 275501056 zeus08 1
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 0.396s 0.495s 34623488 zeus18 1 true 2.221s 2.238s 208490496 zeus05 2 true 6.379s 3.217s 225656832 zeus09 7 true 14.544s 8.065s 368214016 zeus05 1
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 0.946s 0.970s 36798464 zeus20 1 timeout 1000.045s 1000.924s 6169554944 zeus01 77 timeout 1001.661s 501.008s 3874172928 zeus06 - true 11.582s 6.489s 315019264 zeus03 1
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 0.597s 0.613s 42602496 zeus20 1 error 3.919s 3.943s 543543296 zeus02 2 timeout 1001.386s 501.005s 2834620416 zeus22 - true 12.828s 7.076s 341663744 zeus08 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 0.504s 0.520s 41775104 zeus23 1 error 1.326s 1.344s 227667968 zeus24 2 timeout 1001.530s 501.009s 5752242176 zeus07 - true 7.749s 4.565s 266633216 zeus22 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 out of memory 147.913s 147.400s 15000002560 zeus10 1 error 1.837s 1.852s 296169472 zeus02 2 true 8.115s 4.078s 303357952 zeus24 2 true 13.106s 7.241s 347693056 zeus10 2
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 0.975s 0.991s 29663232 zeus09 1 error 3.612s 3.666s 410836992 zeus16 1 unknown 4.416s 4.009s 425062400 zeus21 2 true 18.336s 9.853s 479068160 zeus14 1
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 0.470s 0.485s 38486016 zeus05 1 true 0.876s 0.894s 137502720 zeus18 2 true 1.464s 0.745s 153448448 zeus18 4 true 8.260s 4.810s 269819904 zeus15 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 0.231s 0.252s 29655040 zeus15 1 true 1.183s 1.195s 118833152 zeus09 2 true 0.803s 0.415s 84848640 zeus14 2 true 5.926s 3.590s 223789056 zeus24 1
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 1.096s 1.117s 40095744 zeus11 1 true 35.006s 35.148s 1802870784 zeus18 2 true 99.164s 49.646s 1513799680 zeus22 2 true 84.706s 43.209s 2477342720 zeus21 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 timeout 913.489s 915.136s 1550442496 zeus12 1 out of memory 58.855s 58.267s 15000002560 zeus01 - out of memory 239.846s 119.657s 15000002560 zeus11 - timeout 901.515s 452.730s 8117571584 zeus15 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 2.367s 2.385s 64745472 zeus21 1 true 280.629s 280.886s 10836992000 zeus15 2 timeout 1002.078s 501.006s 12887146496 zeus22 - true 456.652s 230.043s 6616825856 zeus12 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 2.609s 2.633s 64790528 zeus18 1 out of memory 56.662s 56.046s 15000002560 zeus20 - timeout 1002.057s 501.008s 10555793408 zeus18 - true 601.096s 303.086s 6874685440 zeus19 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 timeout 1000.068s 1001.458s 1111650304 zeus04 1 out of memory 58.953s 58.392s 15000002560 zeus09 - out of memory 248.124s 123.826s 15000002560 zeus06 - timeout 901.426s 452.671s 8216309760 zeus19 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 timeout 1000.029s 1001.738s 1290915840 zeus10 1 true 430.956s 431.339s 9989890048 zeus15 2 timeout 1001.779s 501.005s 11790761984 zeus18 - timeout 999.454s 501.992s 8710586368 zeus16 -
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 0.800s 0.819s 36515840 zeus06 1 true 16.283s 16.317s 912617472 zeus12 2 true 85.179s 42.627s 1285500928 zeus11 2 true 46.157s 23.775s 729083904 zeus05 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 1.676s 1.693s 48586752 zeus22 1 true 64.114s 64.190s 3085684736 zeus07 2 true 539.664s 270.012s 5358325760 zeus14 2 true 85.565s 58.473s 4708634624 zeus06 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 timeout 1000.052s 1001.642s 1259913216 zeus09 1 out of memory 57.418s 56.791s 15000002560 zeus13 - out of memory 266.642s 133.065s 15000002560 zeus02 - timeout 900.874s 452.658s 7655268352 zeus19 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 timeout 1000.081s 1001.382s 1258233856 zeus12 1 out of memory 57.117s 56.544s 15000002560 zeus10 - out of memory 226.725s 113.082s 15000002560 zeus15 - timeout 900.994s 452.673s 7474282496 zeus07 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 8.288s 8.322s 187506688 zeus18 1 out of memory 57.796s 57.213s 15000002560 zeus05 - out of memory 235.214s 117.300s 15000002560 zeus23 - timeout 901.919s 453.078s 7649734656 zeus18 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 0.844s 0.856s 38268928 zeus02 1 true 24.944s 24.979s 1274621952 zeus01 2 true 73.272s 36.673s 1157005312 zeus15 2 true 54.672s 28.059s 1301405696 zeus21 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 2.539s 2.556s 65650688 zeus20 1 true 244.398s 244.685s 10098839552 zeus08 2 timeout 1001.921s 501.008s 11138244608 zeus19 - true 101.051s 51.391s 3922026496 zeus24 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 27.901s 27.959s 350568448 zeus10 1 out of memory 60.241s 59.530s 15000002560 zeus12 - out of memory 227.709s 113.528s 15000002560 zeus03 - timeout 901.328s 452.354s 6641033216 zeus12 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 out of memory 567.802s 568.048s 15000002560 zeus22 1 error 1.649s 1.664s 198066176 zeus23 2 true 7.294s 3.702s 210817024 zeus12 2 true 36.112s 19.156s 693813248 zeus23 2
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 timeout 1000.028s 1001.915s 262877184 zeus13 35 true 13.946s 13.973s 1097547776 zeus08 2 true 58.402s 29.269s 1491156992 zeus03 2 true 80.222s 40.915s 1807110144 zeus07 2
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 0.572s 0.595s 33591296 zeus21 1 true 1.439s 1.457s 179666944 zeus04 2 true 19.257s 9.824s 458792960 zeus12 33 true 7.110s 4.287s 240766976 zeus07 2
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 1.338s 1.356s 43225088 zeus13 1 true 110.176s 110.311s 9437130752 zeus07 2 true 610.751s 305.502s 10942918656 zeus14 2 true 263.207s 132.870s 6063431680 zeus06 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 1.099s 1.114s 43343872 zeus22 1 error 67.098s 67.173s 3270803456 zeus23 2 timeout 1001.960s 501.008s 11360542720 zeus08 - true 16.477s 8.914s 461844480 zeus17 2
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 0.238s 0.252s 26918912 zeus01 1 true 0.788s 0.803s 73416704 zeus06 2 true 1.275s 0.652s 71102464 zeus20 1 true 10.128s 5.638s 294473728 zeus07 2
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 0.205s 0.204s 25612288 zeus04 1 true 0.489s 0.501s 48922624 zeus03 2 true 1.287s 0.664s 61444096 zeus04 2 true 5.803s 3.455s 222650368 zeus01 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 1.198s 1.224s 50483200 zeus07 1 true 138.028s 138.151s 11840352256 zeus03 2 true 785.742s 393.280s 13543182336 zeus02 2 true 28.616s 15.198s 642002944 zeus07 1
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 0.246s 0.265s 28884992 zeus05 1 true 2.395s 2.416s 210485248 zeus08 2 true 7.240s 3.702s 210833408 zeus21 4 true 8.581s 4.858s 257097728 zeus08 1
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 out of memory 383.202s 383.172s 15000002560 zeus10 1 out of memory 57.989s 57.423s 15000002560 zeus05 - out of memory 174.130s 86.795s 15000002560 zeus23 - true 125.500s 63.678s 4966961152 zeus01 2
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 0.253s 0.266s 27811840 zeus01 1 true 0.506s 0.524s 63176704 zeus01 2 true 6.208s 3.123s 193236992 zeus09 9 true 7.511s 4.390s 249421824 zeus19 1
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 0.886s 0.981s 34869248 zeus11 1 true 3.816s 3.835s 324599808 zeus09 2 true 26.299s 13.180s 585076736 zeus09 4 true 12.801s 7.082s 339316736 zeus20 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 0.632s 0.658s 32927744 zeus19 1 true 0.752s 0.764s 111292416 zeus10 2 true 3.183s 1.613s 167006208 zeus06 2 true 7.017s 4.243s 241336320 zeus19 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 0.989s 1.008s 33894400 zeus09 1 true 4.007s 4.026s 293429248 zeus21 2 true 15.745s 7.899s 325382144 zeus11 10 true 13.058s 7.192s 346173440 zeus02 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 0.324s 0.340s 30179328 zeus23 1 true 1.499s 1.516s 143945728 zeus10 2 true 4.386s 2.213s 159887360 zeus23 4 true 7.686s 4.442s 246026240 zeus20 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 out of memory 1000.860s 1013.652s 15000002560 zeus01 1 true 6.668s 6.690s 386912256 zeus23 2 true 41.875s 20.977s 694788096 zeus05 9 true 24.747s 13.076s 644849664 zeus19 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 0.497s 0.520s 42733568 zeus04 1 true 2.487s 2.501s 300494848 zeus18 2 true 7.764s 3.957s 325328896 zeus03 13 true 7.491s 4.437s 262524928 zeus16 2
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 1.621s 1.638s 48693248 zeus23 1 true 20.515s 20.547s 1304793088 zeus18 2 true 92.137s 46.123s 1564086272 zeus21 8 true 28.816s 15.194s 638197760 zeus16 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 0.474s 0.490s 41193472 zeus07 1 true 1.015s 1.032s 160792576 zeus14 2 true 2.787s 1.428s 175181824 zeus18 6 true 7.168s 4.250s 251240448 zeus17 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 0.360s 0.379s 35139584 zeus21 1 true 0.751s 0.767s 112168960 zeus15 2 true 1.003s 0.514s 124997632 zeus01 2 true 6.256s 3.824s 232374272 zeus20 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 0.382s 0.402s 32169984 zeus13 1 true 0.768s 0.787s 103268352 zeus14 2 true 4.247s 2.141s 197947392 zeus18 5 true 8.456s 4.930s 263938048 zeus15 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 0.748s 0.763s 32817152 zeus09 1 true 2.350s 2.364s 243806208 zeus20 2 true 5.679s 2.860s 336310272 zeus12 1 true 14.186s 7.815s 372867072 zeus23 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 0.282s 0.302s 31547392 zeus02 1 true 0.678s 0.693s 90484736 zeus23 2 true 0.895s 0.467s 99545088 zeus07 2 true 5.957s 3.652s 222674944 zeus20 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 0.384s 0.401s 32194560 zeus23 1 true 1.145s 1.157s 135299072 zeus09 2 true 3.670s 1.851s 176398336 zeus06 3 true 7.393s 4.370s 250077184 zeus07 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 0.671s 0.686s 33038336 zeus23 1 true 2.283s 2.300s 231272448 zeus05 2 true 7.731s 3.876s 384126976 zeus13 1 true 12.861s 7.112s 343269376 zeus06 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 0.326s 0.342s 31797248 zeus18 1 true 0.760s 0.778s 97427456 zeus16 2 true 1.760s 0.915s 121524224 zeus23 2 true 6.137s 3.718s 231940096 zeus01 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 0.294s 0.316s 31662080 zeus15 1 true 0.665s 0.681s 91299840 zeus10 2 true 0.804s 0.421s 100450304 zeus11 2 true 6.323s 3.861s 228659200 zeus12 2
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 0.471s 0.492s 32313344 zeus02 1 true 0.904s 0.921s 117288960 zeus16 2 true 3.477s 1.752s 211480576 zeus08 4 true 10.209s 5.744s 286851072 zeus13 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 0.406s 0.421s 32296960 zeus12 1 true 1.214s 1.228s 138416128 zeus15 2 true 3.637s 1.835s 188059648 zeus03 5 true 9.473s 5.449s 275554304 zeus06 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 0.306s 0.323s 31539200 zeus19 1 true 0.561s 0.570s 83161088 zeus18 2 true 1.977s 1.009s 124968960 zeus18 10 true 6.171s 3.754s 229224448 zeus06 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 0.715s 0.734s 33280000 zeus12 1 true 2.107s 2.123s 209797120 zeus07 2 true 6.606s 3.324s 278822912 zeus04 2 true 10.753s 6.033s 299319296 zeus24 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 out of memory 352.141s 352.062s 15000002560 zeus03 1 true 2.019s 2.034s 181555200 zeus13 2 true 7.377s 3.726s 222904320 zeus16 2 true 41.767s 21.708s 712851456 zeus14 2
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 0.305s 0.324s 31645696 zeus24 1 true 0.776s 0.788s 99086336 zeus23 2 true 2.218s 1.125s 128745472 zeus18 5 true 6.213s 3.751s 237150208 zeus24 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 1.077s 1.192s 39542784 zeus09 1 true 5.986s 6.006s 508936192 zeus20 2 true 14.471s 7.259s 544243712 zeus21 4 true 16.473s 8.942s 393912320 zeus15 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 0.377s 0.395s 35139584 zeus16 1 true 0.783s 0.798s 118530048 zeus06 2 true 1.808s 0.926s 129921024 zeus20 15 true 6.220s 3.772s 235708416 zeus02 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 0.378s 0.392s 32063488 zeus16 1 true 0.673s 0.692s 95191040 zeus17 2 true 4.080s 2.058s 190033920 zeus20 9 true 7.568s 4.469s 252280832 zeus19 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 0.501s 0.606s 32174080 zeus20 1 true 0.799s 0.815s 108449792 zeus23 2 true 4.028s 2.030s 210501632 zeus10 1 true 8.741s 5.069s 268877824 zeus12 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 0.845s 0.861s 32829440 zeus12 1 true 2.654s 2.674s 270049280 zeus07 2 true 3.769s 1.901s 269492224 zeus12 2 true 14.907s 8.132s 387596288 zeus22 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 1.348s 1.369s 44789760 zeus24 1 true 4.700s 4.720s 460533760 zeus16 2 true 10.104s 5.067s 609230848 zeus19 1 true 20.197s 10.800s 516059136 zeus19 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 0.323s 0.369s 33239040 zeus17 1 true 0.852s 0.871s 119291904 zeus16 2 true 1.062s 0.542s 120553472 zeus23 1 true 7.794s 4.600s 258437120 zeus24 2
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 timeout 1000.017s 1001.523s 749359104 zeus11 1 true 33.306s 33.363s 1963749376 zeus01 2 true 339.922s 170.028s 4145283072 zeus03 9 true 717.436s 445.654s 7829356544 zeus11 2
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 timeout 1000.023s 1001.403s 657997824 zeus07 1 true 1.319s 1.330s 165351424 zeus06 2 true 6.521s 3.282s 254029824 zeus10 2 true 40.828s 21.176s 694099968 zeus20 3
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 timeout 1000.021s 1001.609s 666996736 zeus14 1 true 7.572s 7.600s 557027328 zeus20 2 true 27.743s 13.904s 820920320 zeus24 6 true 57.437s 29.730s 2396393472 zeus13 2
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 1.176s 1.204s 35135488 zeus12 1 true 11.613s 11.647s 993939456 zeus01 2 true 30.953s 15.510s 692113408 zeus04 8 true 10.701s 6.060s 306913280 zeus10 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 timeout 1000.749s 1001.197s 13455122432 zeus01 1 error 28.194s 28.241s 2919112704 zeus13 2 timeout 1000.215s 960.127s 2928365568 zeus22 - timeout 901.148s 452.963s 8721473536 zeus07 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 0.542s 0.561s 38830080 zeus07 1 true 13.600s 13.634s 1197432832 zeus11 2 true 24.796s 12.422s 683757568 zeus20 7 true 10.837s 6.155s 304967680 zeus21 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 0.970s 0.987s 38629376 zeus19 1 true 45.028s 45.089s 2693918720 zeus15 2 true 323.504s 161.862s 3943596032 zeus08 2 true 323.302s 163.128s 6304452608 zeus03 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 0.775s 0.802s 34488320 zeus07 1 true 3.408s 3.422s 302534656 zeus05 2 true 10.273s 5.188s 295411712 zeus06 19 true 8.004s 4.717s 258580480 zeus05 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 0.458s 0.474s 37851136 zeus24 1 true 8.376s 8.394s 716312576 zeus10 2 true 6.543s 3.290s 285061120 zeus09 2 true 12.159s 6.841s 326807552 zeus06 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 0.305s 0.325s 31637504 zeus18 1 true 0.628s 0.640s 86265856 zeus19 2 true 2.548s 1.294s 121495552 zeus23 2 true 7.183s 4.308s 239575040 zeus24 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 0.348s 0.366s 32387072 zeus09 1 true 0.738s 0.750s 98365440 zeus19 2 true 3.396s 1.716s 152043520 zeus17 2 true 7.407s 4.353s 250798080 zeus03 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 0.610s 0.623s 41013248 zeus11 1 true 20.175s 20.215s 2090389504 zeus08 2 true 73.411s 36.741s 2068369408 zeus16 2 true 14.446s 7.941s 354582528 zeus03 1
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 out of memory 296.532s 296.285s 15000002560 zeus03 1 true 81.543s 81.639s 3507228672 zeus17 2 timeout 980.657s 490.587s 9421889536 zeus10 2 timeout 901.780s 453.427s 8869810176 zeus08 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 timeout 1000.006s 1001.195s 4157087744 zeus22 2 true 150.065s 150.234s 4220465152 zeus13 2 true 682.999s 341.782s 5132972032 zeus12 4 true 322.429s 162.786s 5999017984 zeus03 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 0.530s 0.544s 38891520 zeus07 1 true 80.431s 80.549s 8409399296 zeus11 2 true 1.156s 0.589s 156164096 zeus12 - true 64.469s 33.043s 1410584576 zeus02 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 0.919s 0.936s 41664512 zeus11 1 true 25.729s 25.783s 1954729984 zeus09 2 true 131.615s 65.839s 2286346240 zeus01 2 true 37.937s 19.759s 715341824 zeus08 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 0.458s 0.481s 37191680 zeus16 1 true 7.869s 7.886s 812875776 zeus01 2 true 67.709s 33.888s 1698406400 zeus23 2 true 10.197s 5.846s 299634688 zeus01 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 4.951s 4.984s 48234496 zeus07 1 true 74.257s 74.352s 3906334720 zeus10 2 true 321.742s 161.023s 4309237760 zeus24 11 true 192.432s 97.201s 5362417664 zeus09 2
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 1.049s 1.073s 40755200 zeus24 1 true 1.641s 1.658s 190418944 zeus11 2 true 6.848s 3.441s 222232576 zeus02 2 true 15.656s 8.484s 411815936 zeus22 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 timeout 1001.004s 1002.399s 3326046208 zeus22 2 true 21.317s 21.353s 844513280 zeus09 2 true 75.628s 37.965s 863444992 zeus05 2 true 145.084s 92.479s 5246439424 zeus08 2
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 0.654s 0.673s 34742272 zeus21 1 true 9.751s 9.782s 527106048 zeus11 2 true 41.809s 20.992s 792424448 zeus11 6 true 31.144s 16.302s 646045696 zeus19 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 0.957s 0.978s 37326848 zeus05 1 true 12.275s 12.305s 728317952 zeus01 2 true 25.713s 12.890s 630657024 zeus14 2 true 35.486s 18.567s 660922368 zeus10 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 0.891s 0.911s 37093376 zeus09 1 true 27.586s 27.634s 1508876288 zeus13 2 true 111.328s 55.840s 1760718848 zeus09 11 true 65.235s 33.393s 1542488064 zeus24 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 0.488s 0.516s 34013184 zeus09 1 true 1.665s 1.681s 174137344 zeus02 2 true 4.207s 2.123s 197963776 zeus17 7 true 11.385s 6.373s 305799168 zeus03 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 timeout 1001.003s 1002.437s 2710511616 zeus01 2 error 20.065s 20.100s 2360733696 zeus12 2 true 146.919s 73.519s 2042413056 zeus16 2 true 339.779s 171.217s 6087655424 zeus08 1
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 timeout 1000.006s 1001.748s 2709442560 zeus18 2 true 6.447s 6.475s 389562368 zeus05 2 true 44.532s 22.335s 681783296 zeus22 2 true 43.027s 22.294s 734490624 zeus02 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 0.685s 0.698s 35119104 zeus13 1 true 1.124s 1.156s 137150464 zeus23 2 true 1.952s 0.991s 156405760 zeus23 1 true 15.799s 8.570s 422764544 zeus07 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 0.450s 0.462s 32989184 zeus16 1 true 1.605s 1.620s 164155392 zeus21 2 true 2.705s 1.374s 146575360 zeus23 2 true 10.446s 5.961s 289058816 zeus11 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 0.674s 0.689s 35831808 zeus14 1 true 8.326s 8.353s 678375424 zeus13 2 true 55.728s 27.911s 975642624 zeus13 2 true 24.579s 13.292s 647168000 zeus10 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 0.463s 0.479s 34267136 zeus16 1 true 3.210s 3.225s 267067392 zeus16 2 true 10.012s 5.054s 329023488 zeus09 10 true 14.397s 7.895s 378970112 zeus12 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 0.447s 0.467s 34009088 zeus01 1 true 2.832s 2.846s 244076544 zeus10 2 true 9.708s 4.895s 321130496 zeus05 9 true 14.174s 7.754s 384671744 zeus07 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 0.480s 0.495s 34131968 zeus06 1 true 2.878s 2.893s 235081728 zeus23 2 true 12.351s 6.222s 371806208 zeus05 2 true 13.237s 7.313s 352366592 zeus07 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 0.415s 0.431s 32784384 zeus19 1 true 0.728s 0.741s 104595456 zeus10 2 true 5.120s 2.576s 217141248 zeus03 2 true 7.448s 4.365s 244535296 zeus14 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 0.437s 0.454s 37101568 zeus24 1 true 1.052s 1.063s 170020864 zeus09 2 true 10.183s 5.121s 400400384 zeus07 15 true 6.831s 4.098s 248279040 zeus18 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 0.753s 0.775s 37330944 zeus18 1 true 4.166s 4.183s 439091200 zeus02 2 true 13.332s 6.702s 486735872 zeus20 2 true 8.569s 5.016s 271781888 zeus23 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 0.851s 0.867s 36728832 zeus18 1 true 1.291s 1.309s 161165312 zeus01 2 true 13.355s 6.701s 313241600 zeus05 6 true 12.484s 6.907s 336723968 zeus24 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 0.594s 0.607s 42033152 zeus01 1 true 19.202s 19.238s 1716396032 zeus24 2 true 77.499s 38.816s 1883303936 zeus17 2 true 14.638s 8.027s 376803328 zeus09 1
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 0.437s 0.456s 36450304 zeus07 1 true 1.461s 1.479s 159793152 zeus08 2 true 5.603s 2.843s 205479936 zeus01 11 true 16.094s 8.739s 409321472 zeus08 2
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 0.421s 0.438s 35602432 zeus03 1 true 1.187s 1.203s 152064000 zeus19 2 true 4.278s 2.154s 198230016 zeus23 4 true 6.725s 4.074s 246013952 zeus20 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 0.468s 0.479s 38330368 zeus10 1 true 2.171s 2.190s 233615360 zeus08 2 true 1.959s 0.994s 169885696 zeus22 2 true 7.545s 4.361s 253448192 zeus05 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 0.649s 0.662s 41537536 zeus11 1 true 7.500s 7.521s 680435712 zeus16 2 true 33.695s 16.869s 957628416 zeus14 2 true 12.636s 7.092s 347181056 zeus11 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 0.398s 0.419s 32772096 zeus15 1 true 1.545s 1.564s 157814784 zeus09 2 true 3.804s 1.914s 182337536 zeus06 8 true 9.005s 5.175s 277041152 zeus20 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 0.449s 0.459s 36589568 zeus19 1 true 1.000s 1.014s 141238272 zeus21 2 true 2.815s 1.427s 172072960 zeus24 3 true 7.080s 4.225s 247373824 zeus17 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 0.384s 0.435s 33398784 zeus03 1 true 2.423s 2.437s 246550528 zeus01 2 true 6.976s 3.505s 248799232 zeus07 11 true 10.490s 5.980s 294236160 zeus21 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 0.699s 0.720s 37347328 zeus07 1 true 4.194s 4.212s 329658368 zeus21 2 true 2.060s 1.045s 166608896 zeus14 2 true 19.394s 10.381s 464957440 zeus13 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 0.423s 0.435s 33640448 zeus17 1 true 6.832s 6.855s 597790720 zeus03 2 true 33.002s 16.523s 868655104 zeus04 2 true 8.750s 5.140s 263360512 zeus20 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 timeout 1000.051s 1001.672s 566685696 zeus21 23 true 13.600s 13.627s 1108353024 zeus06 2 true 81.870s 40.984s 2270023680 zeus23 2 true 9.546s 5.504s 285016064 zeus22 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 0.551s 0.571s 35229696 zeus02 1 true 15.498s 15.532s 972136448 zeus01 2 true 79.289s 39.731s 1452503040 zeus02 4 true 20.192s 10.839s 612757504 zeus17 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 timeout 1000.990s 1002.697s 8374390784 zeus20 1 error 20.603s 20.644s 2322079744 zeus24 2 true 396.480s 198.458s 2666467328 zeus13 7 true 23.501s 12.525s 504369152 zeus08 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 0.316s 0.334s 31166464 zeus22 1 true 2.546s 2.560s 269365248 zeus24 2 true 11.989s 6.022s 410595328 zeus18 14 true 9.512s 5.453s 279932928 zeus23 1
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 timeout 1000.019s 1001.252s 889151488 zeus06 1 true 0.753s 0.767s 114888704 zeus19 2 true 6.929s 3.557s 222707712 zeus19 59 true 9.375s 5.683s 270524416 zeus21 3
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 1.341s 1.361s 36941824 zeus12 1 true 7.361s 7.383s 423862272 zeus01 2 true 40.421s 20.248s 671989760 zeus05 8 true 32.140s 16.852s 659628032 zeus01 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 3.414s 3.440s 39424000 zeus05 1 true 38.316s 38.366s 1883545600 zeus12 2 true 157.818s 79.221s 2046517248 zeus21 32 true 38.155s 19.811s 712232960 zeus19 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 0.473s 0.492s 34156544 zeus09 1 true 3.290s 3.311s 302878720 zeus24 2 true 17.261s 8.658s 480108544 zeus12 2 true 10.999s 6.154s 301203456 zeus05 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 0.647s 0.661s 42909696 zeus21 1 true 19.710s 19.739s 1745260544 zeus20 2 true 62.944s 31.507s 1808076800 zeus16 2 true 11.124s 6.228s 314191872 zeus03 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 0.660s 0.670s 40026112 zeus09 1 true 7.735s 7.756s 660508672 zeus18 2 true 26.874s 13.473s 716869632 zeus19 2 true 28.199s 14.798s 654753792 zeus02 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 0.482s 0.499s 33402880 zeus11 1 true 1.964s 1.979s 190988288 zeus01 2 true 5.712s 2.877s 225120256 zeus09 2 true 9.871s 5.622s 294506496 zeus22 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 0.486s 0.504s 33878016 zeus13 1 true 1.629s 1.649s 173559808 zeus02 2 true 7.157s 3.598s 257810432 zeus17 2 true 11.356s 6.396s 310661120 zeus18 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 0.475s 0.488s 34512896 zeus09 1 true 3.588s 3.610s 315662336 zeus05 2 true 12.457s 6.255s 366452736 zeus03 7 true 11.755s 6.630s 317575168 zeus20 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 0.464s 0.480s 33636352 zeus12 1 true 1.100s 1.117s 133505024 zeus03 2 true 5.740s 2.888s 223952896 zeus15 8 true 9.739s 5.524s 290873344 zeus24 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 0.564s 0.587s 38531072 zeus08 1 true 4.640s 4.663s 362774528 zeus12 2 true 8.782s 4.413s 286920704 zeus11 2 true 10.023s 5.697s 292773888 zeus12 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 0.435s 0.447s 33738752 zeus22 1 true 2.718s 2.733s 285593600 zeus14 2 true 14.239s 7.147s 490221568 zeus11 27 true 9.186s 5.268s 279343104 zeus02 1
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 0.496s 0.510s 34136064 zeus16 1 true 1.760s 1.770s 184213504 zeus02 2 true 4.959s 2.502s 207106048 zeus08 7 true 11.490s 6.626s 312508416 zeus19 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 0.814s 0.829s 39690240 zeus18 1 true 8.402s 8.426s 679153664 zeus22 2 true 32.808s 16.419s 932409344 zeus10 9 true 18.659s 10.104s 477605888 zeus06 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 0.722s 0.736s 41897984 zeus13 1 true 16.116s 16.148s 1326178304 zeus02 2 true 48.580s 24.321s 1228226560 zeus03 2 true 14.453s 7.992s 359411712 zeus04 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 0.489s 0.512s 33759232 zeus12 1 true 3.152s 3.172s 284241920 zeus11 2 true 10.004s 5.023s 312213504 zeus04 2 true 10.988s 6.207s 306577408 zeus02 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 0.516s 0.628s 33374208 zeus10 1 true 1.981s 1.994s 192798720 zeus04 2 true 1.949s 0.987s 142483456 zeus02 2 true 9.971s 5.710s 288186368 zeus11 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 0.464s 0.479s 33275904 zeus24 1 true 1.840s 1.858s 186085376 zeus12 2 true 4.629s 2.328s 203268096 zeus09 2 true 9.977s 5.663s 289497088 zeus22 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 0.525s 0.538s 34115584 zeus17 1 true 5.447s 5.464s 479346688 zeus07 2 true 16.866s 8.459s 483586048 zeus02 9 true 13.760s 7.538s 357117952 zeus21 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 2.104s 2.125s 47321088 zeus02 1 true 23.128s 23.167s 1365057536 zeus03 2 true 141.343s 70.720s 2085621760 zeus06 1 true 74.520s 38.014s 1888948224 zeus03 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 timeout 1000.976s 1002.661s 7981821952 zeus04 1 error 1.302s 1.317s 199749632 zeus04 2 true 5.147s 2.592s 196202496 zeus06 2 true 12.999s 7.189s 336859136 zeus18 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 timeout 1000.995s 1002.630s 7732822016 zeus21 1 error 14.248s 14.274s 607301632 zeus06 2 timeout 1000.136s 985.471s 993734656 zeus16 - true 17.781s 9.657s 445267968 zeus20 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 timeout 1000.985s 1002.740s 7722094592 zeus17 1 error 0.478s 0.489s 96129024 zeus02 2 timeout 1000.023s 1000.750s 599781376 zeus17 - true 6.282s 3.811s 238542848 zeus22 1
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 timeout 1000.992s 1002.776s 7712727040 zeus18 1 error 0.919s 0.935s 141307904 zeus24 2 timeout 1000.044s 1000.595s 1011433472 zeus03 - true 13.246s 7.255s 356909056 zeus10 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 timeout 1000.991s 1002.583s 7747842048 zeus16 1 timeout 1000.030s 1001.079s 3147661312 zeus24 150 timeout 1001.572s 501.006s 1913982976 zeus07 - timeout 903.963s 454.538s 8884604928 zeus03 1
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 0.528s 0.548s 35295232 zeus17 1 true 9.104s 9.133s 782622720 zeus22 2 true 37.510s 18.799s 927522816 zeus11 18 true 12.034s 6.745s 328663040 zeus01 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 0.573s 0.591s 36687872 zeus19 1 true 11.985s 12.020s 996589568 zeus19 2 true 55.158s 27.610s 1259429888 zeus24 22 true 12.519s 6.931s 332283904 zeus05 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 0.528s 0.549s 35319808 zeus18 1 true 6.996s 7.019s 586477568 zeus08 2 true 35.669s 17.869s 873672704 zeus11 2 true 13.163s 7.276s 344584192 zeus16 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 0.588s 0.608s 36806656 zeus06 1 true 10.869s 10.896s 919695360 zeus09 2 true 49.866s 24.968s 1152782336 zeus19 2 true 12.655s 7.036s 337874944 zeus03 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 0.459s 0.475s 34930688 zeus24 1 true 0.968s 0.982s 126222336 zeus23 2 true 2.009s 1.017s 141598720 zeus23 2 true 9.552s 5.453s 284925952 zeus01 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 2.207s 2.227s 66617344 zeus19 1 out of memory 53.874s 53.209s 15000002560 zeus13 - out of memory 234.185s 116.781s 15000002560 zeus10 - true 77.726s 39.733s 2561474560 zeus09 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 0.727s 0.790s 34729984 zeus22 1 true 8.389s 8.413s 625963008 zeus17 2 true 44.307s 22.228s 873181184 zeus13 2 true 16.559s 9.147s 496263168 zeus09 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 1.850s 1.866s 50606080 zeus18 1 true 135.027s 135.187s 10150555648 zeus13 2 true 667.281s 333.769s 11115167744 zeus04 2 true 65.027s 33.288s 1311813632 zeus23 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 0.327s 0.345s 30957568 zeus03 1 true 3.935s 3.954s 386920448 zeus06 2 true 16.335s 8.231s 450531328 zeus22 2 true 25.506s 13.513s 643588096 zeus10 2
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 0.567s 0.580s 35221504 zeus24 1 true 13.417s 13.448s 871247872 zeus12 2 true 34.641s 17.357s 812146688 zeus19 6 true 15.753s 8.753s 485515264 zeus18 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 0.438s 0.454s 32321536 zeus19 1 true 38.042s 38.100s 966615040 zeus20 2 true 128.295s 64.213s 1599520768 zeus18 24 true 12.666s 7.033s 346161152 zeus18 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 0.510s 0.527s 39346176 zeus13 1 true 1.506s 1.523s 180756480 zeus12 2 true 1.906s 0.968s 158085120 zeus03 2 true 8.556s 4.971s 277020672 zeus15 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 0.210s 0.231s 26759168 zeus22 1 true 0.328s 0.339s 50987008 zeus11 2 true 0.644s 0.338s 66457600 zeus19 2 true 5.552s 3.372s 218894336 zeus11 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 0.897s 0.917s 32559104 zeus11 1 true 6.867s 6.890s 557133824 zeus13 2 true 31.387s 15.726s 768131072 zeus11 24 true 9.299s 5.431s 270635008 zeus01 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 0.368s 0.391s 32649216 zeus11 1 true 1.265s 1.275s 166850560 zeus11 2 true 5.795s 2.912s 226594816 zeus13 2 true 9.542s 5.421s 277696512 zeus20 1
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 0.429s 0.438s 36622336 zeus12 1 true 0.708s 0.722s 119267328 zeus04 2 true 1.075s 0.553s 133779456 zeus07 7 true 6.603s 3.939s 242323456 zeus12 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 timeout 1000.987s 1002.748s 11762929664 zeus07 1 true 112.681s 112.820s 6264901632 zeus20 2 true 481.489s 240.975s 5998694400 zeus08 16 true 72.418s 36.963s 1417596928 zeus05 2
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 1.017s 1.038s 41885696 zeus14 1 true 4.609s 4.624s 392495104 zeus19 2 true 10.431s 5.231s 360341504 zeus02 1 true 17.167s 9.284s 430645248 zeus23 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 0.832s 0.851s 43487232 zeus11 1 true 26.438s 26.479s 2232565760 zeus03 2 true 127.781s 63.962s 2639388672 zeus11 16 true 23.243s 12.323s 559165440 zeus11 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 timeout 1000.080s 1001.431s 1527410688 zeus18 1 out of memory 55.247s 54.580s 15000002560 zeus05 - out of memory 243.663s 121.580s 15000002560 zeus01 - true 90.479s 46.112s 1855672320 zeus04 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 0.833s 0.853s 41631744 zeus20 1 true 5.644s 5.660s 446529536 zeus18 2 true 18.636s 9.349s 470880256 zeus14 7 true 36.542s 18.933s 654487552 zeus08 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 0.948s 0.969s 42741760 zeus10 1 true 15.642s 15.677s 1224003584 zeus04 2 true 94.436s 47.268s 1854484480 zeus06 12 true 51.078s 26.290s 984932352 zeus12 2
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 out of memory 372.962s 372.875s 15000002560 zeus17 1 error 790.775s 792.046s 7852515328 zeus06 2 timeout 1001.830s 501.005s 11197157376 zeus20 - true 91.870s 53.541s 2616168448 zeus21 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 5.760s 5.790s 94703616 zeus09 1 true 207.238s 207.473s 8197808128 zeus01 2 timeout 1002.003s 501.007s 12782153728 zeus10 - true 715.070s 359.437s 6706159616 zeus20 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 2.040s 2.134s 46702592 zeus23 1 true 30.075s 30.126s 1065836544 zeus23 2 true 70.909s 35.517s 1004347392 zeus21 5 true 61.836s 31.661s 1236697088 zeus09 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 out of memory 950.155s 950.893s 15000002560 zeus18 1 out of memory 57.185s 56.574s 15000002560 zeus06 - out of memory 251.176s 125.331s 15000002560 zeus21 - true 160.370s 81.048s 5018648576 zeus04 2
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 2.404s 2.422s 61788160 zeus20 1 out of memory 57.266s 56.610s 15000002560 zeus06 - out of memory 74.593s 63.442s 15000002560 zeus14 - true 262.165s 132.313s 5473660928 zeus03 2
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 timeout 1000.355s 1001.195s 7470288896 zeus01 1 out of memory 56.536s 55.856s 15000002560 zeus24 - out of memory 168.714s 84.052s 15000002560 zeus22 - timeout 901.594s 452.815s 6195220480 zeus10 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-a800.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 0.672s 0.695s 52834304 zeus10 1 true 2.861s 2.882s 360267776 zeus20 2 true 8.830s 4.439s 409956352 zeus23 2 true 12.300s 6.817s 331042816 zeus21 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 out of memory 110.910s 110.477s 15000002560 zeus23 1 true 5.035s 5.053s 583835648 zeus04 2 true 21.514s 10.793s 704618496 zeus14 9 true 15.637s 8.528s 380162048 zeus19 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 out of memory 410.178s 410.204s 15000002560 zeus10 1 out of memory 56.704s 56.086s 15000002560 zeus24 - out of memory 257.064s 128.226s 15000002560 zeus06 - false(reach) 37.464s 20.411s 846983168 zeus18 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-az6027.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 479.948s 480.787s 8435118080 zeus20 1 out of memory 54.831s 54.266s 15000002560 zeus18 - out of memory 238.964s 119.223s 15000002560 zeus15 - timeout 953.698s 484.127s 8924934144 zeus10 -
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 447.561s 448.317s 14976315392 zeus24 1 true 24.816s 24.860s 2707185664 zeus09 2 true 113.340s 56.720s 2859450368 zeus22 2 true 21.616s 11.766s 589078528 zeus03 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 1.151s 1.169s 60362752 zeus02 1 true 40.226s 40.282s 3497762816 zeus02 2 true 332.032s 166.196s 5601611776 zeus06 2 true 20.611s 11.184s 615628800 zeus11 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 1.005s 1.161s 60436480 zeus08 1 true 36.946s 37.010s 3481616384 zeus04 2 true 230.352s 115.222s 5546442752 zeus01 15 true 15.073s 8.309s 417402880 zeus19 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 1.236s 1.363s 59609088 zeus13 1 true 20.805s 20.842s 1909014528 zeus07 2 true 51.618s 26.082s 1383145472 zeus22 81 true 11.898s 6.763s 343572480 zeus03 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 2.056s 2.071s 63324160 zeus15 1 error 5.258s 5.277s 696569856 zeus23 2 timeout 1001.530s 501.007s 2491215872 zeus15 - true 26.474s 14.030s 653598720 zeus14 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 0.705s 0.718s 52113408 zeus17 1 error 1.250s 1.265s 244965376 zeus06 2 timeout 1001.708s 501.125s 8161296384 zeus02 - true 9.120s 5.305s 288669696 zeus24 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-digitv.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c out of memory 80.922s 80.504s 15000002560 zeus02 1 error 20.876s 20.911s 2334871552 zeus07 2 true 91.449s 45.770s 1858424832 zeus20 2 true 79.436s 40.671s 1371394048 zeus04 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_main0_sequence_infinite_withcheck_stateful.cil.out.c true 1.626s 1.643s 68313088 zeus16 1 true 31.875s 31.922s 2677047296 zeus07 2 true 137.392s 68.721s 2612604928 zeus12 2 true 34.236s 17.903s 712720384 zeus17 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 1.307s 1.396s 69656576 zeus13 1 true 26.710s 26.756s 2655113216 zeus17 2 true 108.339s 54.268s 2680868864 zeus05 2 true 22.428s 12.059s 621760512 zeus10 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 out of memory 110.074s 109.651s 15000002560 zeus19 1 true 4.406s 4.426s 507461632 zeus17 2 true 18.904s 9.480s 647106560 zeus12 2 true 28.477s 15.003s 651767808 zeus16 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 out of memory 109.946s 109.522s 15000002560 zeus20 1 true 6.176s 6.200s 657223680 zeus07 2 true 24.222s 12.142s 723279872 zeus23 1 true 14.907s 8.121s 371523584 zeus20 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 out of memory 809.871s 810.654s 15000002560 zeus21 1 out of memory 53.526s 52.925s 15000002560 zeus04 - out of memory 190.254s 94.821s 15000002560 zeus21 - timeout 901.628s 452.927s 7420502016 zeus22 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 4.638s 4.665s 160591872 zeus18 1 out of memory 53.558s 52.941s 15000002560 zeus11 - out of memory 231.390s 115.467s 15000002560 zeus18 - timeout 901.481s 452.156s 5831712768 zeus05 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 0.852s 0.870s 54042624 zeus14 1 true 8.073s 8.099s 732217344 zeus03 2 true 33.420s 16.737s 919855104 zeus08 1 true 26.559s 14.009s 633815040 zeus08 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-pctv452e.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c out of memory 88.862s 88.481s 15000002560 zeus21 1 error 74.212s 74.357s 8670433280 zeus20 1 unknown 293.843s 291.842s 9670406144 zeus06 2 true 66.323s 36.046s 1365213184 zeus20 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-rtl28xxu.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 1.744s 1.762s 73379840 zeus11 1 out of memory 55.713s 55.130s 15000002560 zeus12 - out of memory 246.643s 123.075s 15000002560 zeus23 - true 85.742s 43.690s 1431957504 zeus23 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 timeout 1000.985s 1002.744s 9931087872 zeus04 1 true 184.717s 184.907s 13739302912 zeus06 2 out of memory 240.484s 120.005s 15000002560 zeus17 - true 50.841s 26.290s 877322240 zeus16 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 1.157s 1.180s 53792768 zeus03 1 true 4.771s 4.787s 462782464 zeus17 2 true 6.826s 3.435s 339038208 zeus11 3 true 11.677s 6.559s 313569280 zeus20 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 out of memory 124.761s 124.379s 15000002560 zeus12 1 error 158.736s 158.871s 6608400384 zeus01 2 unknown 314.790s 210.456s 9515044864 zeus19 2 true 81.135s 45.140s 2535919616 zeus09 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_main1_sequence_infinite_withcheck_stateful.cil.out.c true 292.723s 293.159s 11096342528 zeus12 1 error 51.520s 51.600s 6439915520 zeus15 1 unknown 207.431s 206.141s 9096552448 zeus03 2 true 92.920s 52.376s 2497622016 zeus05 1
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 out of memory 469.576s 469.730s 15000002560 zeus14 1 true 10.243s 10.263s 799268864 zeus05 2 true 11.122s 5.578s 449679360 zeus13 4 true 229.477s 127.407s 5344989184 zeus04 3
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 timeout 1000.055s 1001.471s 2894544896 zeus13 1 out of memory 57.817s 57.273s 15000002560 zeus24 - out of memory 259.573s 129.481s 15000002560 zeus20 - timeout 902.249s 453.353s 7386148864 zeus20 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 timeout 1000.164s 1001.455s 3201708032 zeus07 1 out of memory 55.220s 54.531s 15000002560 zeus10 - out of memory 234.167s 116.805s 15000002560 zeus15 - timeout 901.737s 452.665s 5948911616 zeus03 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 timeout 1001.005s 1002.656s 3728728064 zeus11 1 out of memory 55.830s 55.256s 15000002560 zeus13 - out of memory 250.263s 124.862s 15000002560 zeus02 - timeout 901.259s 452.756s 7631503360 zeus08 3
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 out of memory 423.338s 423.427s 15000002560 zeus07 1 true 2.928s 2.946s 338092032 zeus23 2 true 8.326s 4.178s 341360640 zeus17 2 true 37.910s 20.111s 1235861504 zeus24 3
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 out of memory 782.247s 782.796s 15000002560 zeus21 1 true 11.722s 11.748s 1046335488 zeus19 2 true 38.455s 19.239s 959373312 zeus01 2 true 60.768s 32.021s 2356338688 zeus14 3
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 0.424s 0.444s 37687296 zeus11 1 true 1.189s 1.203s 154337280 zeus19 2 true 1.014s 0.521s 144621568 zeus08 2 true 6.697s 4.058s 241983488 zeus02 2
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 0.414s 0.483s 37339136 zeus21 1 true 1.200s 1.211s 142610432 zeus23 2 true 2.115s 1.103s 150462464 zeus03 36 true 6.154s 3.781s 235708416 zeus01 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 timeout 1000.093s 1001.671s 3553103872 zeus04 1 out of memory 55.295s 54.727s 15000002560 zeus01 - out of memory 170.279s 84.842s 15000002560 zeus17 - timeout 901.510s 452.622s 6766063616 zeus07 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 0.380s 0.394s 38031360 zeus02 1 true 1.593s 1.605s 176324608 zeus12 2 true 2.731s 1.418s 163762176 zeus06 49 true 6.697s 4.006s 239439872 zeus24 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 0.448s 0.461s 37941248 zeus19 1 true 1.387s 1.400s 167284736 zeus16 2 true 2.733s 1.414s 168112128 zeus04 50 true 6.351s 3.886s 236498944 zeus24 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 timeout 1000.996s 1002.698s 7157358592 zeus07 1 true 30.054s 30.104s 1756946432 zeus11 2 true 135.191s 67.648s 1892225024 zeus22 4 timeout 901.047s 452.979s 7228383232 zeus11 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 0.700s 0.716s 41398272 zeus04 1 true 9.186s 9.211s 821547008 zeus09 2 true 27.303s 13.675s 804118528 zeus03 12 true 15.065s 8.272s 369770496 zeus06 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 timeout 1000.035s 1001.774s 393322496 zeus18 12 out of memory 60.346s 59.769s 15000002560 zeus23 - out of memory 178.743s 89.090s 15000002560 zeus24 - true 685.681s 344.729s 7186362368 zeus04 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 0.578s 0.599s 40034304 zeus07 1 true 7.327s 7.350s 649072640 zeus15 2 true 22.344s 11.211s 632987648 zeus18 2 true 10.350s 5.835s 297484288 zeus21 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 0.753s 0.770s 41275392 zeus04 1 true 3.762s 3.774s 337915904 zeus13 2 true 4.879s 2.454s 246874112 zeus23 2 true 12.729s 7.073s 333479936 zeus03 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 out of memory 949.332s 950.347s 15000002560 zeus02 1 out of memory 55.078s 54.466s 15000002560 zeus13 - out of memory 223.831s 111.569s 15000002560 zeus06 - true 23.307s 12.509s 633495552 zeus18 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 out of memory 191.239s 190.906s 15000002560 zeus16 1 true 100.113s 100.273s 8654938112 zeus24 2 out of memory 256.730s 128.062s 15000002560 zeus12 - true 76.300s 39.728s 2395176960 zeus18 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 0.157s 0.157s 24457216 zeus10 1 true 0.268s 0.279s 34787328 zeus18 2 true 0.459s 0.246s 46071808 zeus10 2 true 4.785s 2.987s 202543104 zeus21 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 0.152s 0.167s 24199168 zeus11 1 true 0.265s 0.278s 32608256 zeus10 2 true 0.545s 0.295s 44388352 zeus12 25 true 4.612s 2.877s 201973760 zeus21 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 0.165s 0.166s 24342528 zeus13 1 true 0.275s 0.291s 34832384 zeus22 2 true 0.536s 0.284s 46333952 zeus22 11 true 4.877s 2.988s 205352960 zeus15 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 0.161s 0.160s 24215552 zeus15 1 true 0.263s 0.273s 33058816 zeus04 2 true 0.515s 0.273s 46444544 zeus09 12 true 4.962s 3.037s 204066816 zeus01 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 0.154s 0.169s 24461312 zeus18 1 true 0.280s 0.292s 34684928 zeus14 2 true 0.250s 0.137s 43835392 zeus23 2 true 4.694s 2.921s 204886016 zeus18 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 0.150s 0.164s 24076288 zeus22 1 true 0.257s 0.272s 32497664 zeus24 2 true 0.242s 0.133s 42905600 zeus15 2 true 4.634s 2.866s 204201984 zeus12 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 0.146s 0.162s 24342528 zeus18 1 true 0.260s 0.272s 34099200 zeus10 2 true 0.271s 0.148s 45928448 zeus10 2 true 4.898s 3.019s 205209600 zeus13 3
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 0.150s 0.166s 24203264 zeus20 1 true 0.258s 0.271s 34103296 zeus18 2 true 0.238s 0.132s 43167744 zeus08 2 true 5.126s 3.095s 210137088 zeus22 2
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 0.153s 0.168s 24334336 zeus04 1 true 0.281s 0.295s 35110912 zeus14 2 true 0.440s 0.238s 46710784 zeus11 2 true 4.853s 3.006s 205852672 zeus15 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 0.157s 0.168s 24211456 zeus22 1 true 0.257s 0.273s 34152448 zeus21 2 true 0.537s 0.285s 46071808 zeus24 13 true 4.983s 3.045s 204763136 zeus13 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 0.174s 0.174s 24858624 zeus07 1 true 0.293s 0.306s 37490688 zeus09 2 true 0.567s 0.299s 49459200 zeus10 1 true 4.877s 3.030s 206254080 zeus11 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 0.169s 0.169s 24338432 zeus10 1 true 0.279s 0.293s 34750464 zeus05 2 true 0.267s 0.144s 45277184 zeus11 2 true 4.916s 3.058s 204029952 zeus18 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 0.150s 0.166s 24211456 zeus12 1 true 0.296s 0.337s 32903168 zeus15 2 true 0.258s 0.140s 43704320 zeus07 2 true 4.852s 2.998s 203411456 zeus08 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 0.152s 0.165s 24465408 zeus12 1 true 0.284s 0.298s 34447360 zeus18 2 true 0.552s 0.298s 45764608 zeus10 2 true 4.781s 3.221s 206962688 zeus22 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 0.155s 0.172s 24199168 zeus23 1 true 0.277s 0.291s 34390016 zeus20 2 true 0.536s 0.286s 46317568 zeus03 1 true 4.856s 2.953s 200028160 zeus14 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 0.148s 0.165s 24334336 zeus16 1 true 0.262s 0.273s 34582528 zeus16 2 true 0.545s 0.290s 47489024 zeus14 6 true 4.708s 2.935s 206204928 zeus07 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 0.158s 0.169s 24330240 zeus09 1 true 0.262s 0.275s 33615872 zeus01 2 true 0.533s 0.283s 46448640 zeus19 3 true 4.940s 3.060s 204046336 zeus18 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 0.161s 0.161s 24190976 zeus02 1 true 0.287s 0.294s 34508800 zeus15 2 true 0.430s 0.229s 44892160 zeus18 15 true 4.758s 2.994s 197562368 zeus01 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 0.167s 0.166s 24432640 zeus07 1 true 0.270s 0.285s 34222080 zeus20 2 true 0.509s 0.269s 47235072 zeus09 2 true 4.927s 3.035s 204349440 zeus15 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 0.163s 0.163s 24330240 zeus18 1 true 0.277s 0.289s 33566720 zeus04 2 true 0.275s 0.155s 45400064 zeus23 2 true 4.839s 2.959s 203923456 zeus09 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 0.155s 0.169s 24207360 zeus14 1 true 0.269s 0.282s 34402304 zeus02 2 true 0.554s 0.298s 45543424 zeus11 2 true 4.615s 2.921s 206290944 zeus17 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 0.158s 0.171s 24723456 zeus23 1 true 0.297s 0.309s 36909056 zeus13 2 true 0.319s 0.171s 47374336 zeus11 2 true 4.546s 2.857s 205938688 zeus07 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 0.183s 0.195s 25640960 zeus16 1 true 0.348s 0.364s 43933696 zeus19 2 true 0.701s 0.411s 55300096 zeus11 2 true 4.750s 2.926s 207212544 zeus02 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 0.153s 0.169s 24326144 zeus22 1 true 0.282s 0.296s 34951168 zeus17 2 true 0.448s 0.236s 47226880 zeus21 1 true 4.556s 2.886s 207855616 zeus11 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 0.168s 0.167s 24199168 zeus02 1 true 0.265s 0.283s 32673792 zeus05 2 true 0.371s 0.201s 44896256 zeus09 2 true 4.697s 2.914s 207609856 zeus07 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 0.161s 0.161s 24322048 zeus02 1 true 0.253s 0.266s 33050624 zeus06 2 true 0.437s 0.232s 46444544 zeus23 2 true 4.501s 2.798s 204132352 zeus07 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 0.153s 0.168s 24330240 zeus10 1 true 0.267s 0.283s 33226752 zeus14 2 true 0.258s 0.143s 44355584 zeus11 2 true 4.786s 3.174s 204169216 zeus08 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 0.176s 0.191s 24338432 zeus21 1 true 0.262s 0.278s 35491840 zeus23 2 true 0.542s 0.287s 47501312 zeus18 2 true 4.644s 2.921s 203677696 zeus18 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 0.145s 0.160s 24211456 zeus15 1 true 0.251s 0.267s 33067008 zeus03 2 true 0.558s 0.298s 45658112 zeus13 7 true 4.640s 2.927s 203894784 zeus18 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 0.158s 0.168s 24334336 zeus07 1 true 0.256s 0.271s 33681408 zeus09 2 true 0.523s 0.280s 46063616 zeus17 12 true 4.644s 2.940s 202072064 zeus21 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 0.162s 0.176s 24453120 zeus13 1 true 0.267s 0.279s 35475456 zeus22 2 true 0.517s 0.274s 47374336 zeus19 2 true 4.745s 2.965s 207073280 zeus24 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 0.137s 0.151s 24457216 zeus20 1 true 0.253s 0.263s 33751040 zeus15 2 true 0.247s 0.136s 43823104 zeus11 2 true 4.358s 2.748s 197369856 zeus01 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 0.165s 0.164s 24059904 zeus07 1 true 0.267s 0.279s 32862208 zeus23 2 true 0.253s 0.139s 43081728 zeus12 2 true 4.747s 2.985s 203071488 zeus17 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 0.169s 0.169s 24313856 zeus09 1 true 0.280s 0.292s 34783232 zeus18 2 true 0.535s 0.285s 47120384 zeus16 6 true 4.471s 2.827s 199720960 zeus18 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 0.161s 0.161s 24215552 zeus22 1 true 0.271s 0.281s 33222656 zeus04 2 true 0.515s 0.272s 46456832 zeus17 2 true 4.873s 3.084s 204840960 zeus04 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 0.151s 0.163s 24195072 zeus13 1 true 0.274s 0.289s 32968704 zeus07 2 true 0.498s 0.271s 45150208 zeus06 21 true 4.751s 3.176s 202588160 zeus13 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 0.159s 0.171s 24469504 zeus04 1 true 0.251s 0.261s 34070528 zeus18 2 true 0.375s 0.201s 46047232 zeus05 4 true 4.540s 2.819s 203161600 zeus23 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 0.166s 0.166s 24211456 zeus10 1 true 0.283s 0.294s 33779712 zeus14 2 true 0.363s 0.194s 45432832 zeus07 1 true 4.727s 2.913s 204296192 zeus18 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 0.153s 0.170s 24322048 zeus05 1 true 0.282s 0.294s 33873920 zeus12 2 true 0.481s 0.256s 46706688 zeus06 2 true 4.399s 2.790s 197877760 zeus01 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 0.156s 0.170s 24199168 zeus01 1 true 0.270s 0.283s 33325056 zeus23 2 true 0.486s 0.256s 45580288 zeus04 2 true 4.569s 2.848s 202539008 zeus16 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 0.184s 0.237s 33730560 zeus09 1 true 0.341s 0.358s 43220992 zeus08 2 true 0.531s 0.281s 53497856 zeus19 2 true 5.292s 3.238s 211038208 zeus06 2
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 0.136s 0.136s 24473600 zeus18 1 true 0.282s 0.295s 35651584 zeus07 2 true 0.295s 0.160s 46452736 zeus14 2 true 4.499s 2.791s 203112448 zeus19 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 0.163s 0.177s 24850432 zeus03 1 true 0.277s 0.289s 37613568 zeus04 2 true 0.587s 0.309s 49721344 zeus23 2 true 4.841s 3.016s 204644352 zeus16 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 0.170s 0.170s 24199168 zeus02 1 true 0.261s 0.274s 33734656 zeus24 2 true 0.442s 0.237s 46333952 zeus22 2 true 4.979s 3.007s 208572416 zeus22 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 0.171s 0.171s 24342528 zeus01 1 true 0.276s 0.288s 35008512 zeus15 2 true 0.515s 0.274s 46989312 zeus01 2 true 4.633s 2.887s 206106624 zeus09 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 0.151s 0.168s 24346624 zeus08 1 true 0.247s 0.260s 34811904 zeus02 2 true 0.263s 0.144s 45129728 zeus21 2 true 5.171s 3.143s 209342464 zeus09 3
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 0.166s 0.166s 24203264 zeus07 1 true 0.257s 0.270s 33906688 zeus14 2 true 0.509s 0.271s 45813760 zeus12 2 true 4.707s 2.937s 203526144 zeus06 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 0.170s 0.170s 24203264 zeus23 1 true 0.255s 0.269s 33636352 zeus22 2 true 0.487s 0.261s 45555712 zeus02 7 true 5.051s 3.213s 204873728 zeus16 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 0.153s 0.167s 24461312 zeus12 1 true 0.256s 0.269s 34217984 zeus14 2 true 0.378s 0.204s 46428160 zeus11 3 true 4.493s 2.853s 200175616 zeus01 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 0.167s 0.167s 24326144 zeus02 1 true 0.266s 0.278s 33153024 zeus20 2 true 0.528s 0.281s 45932544 zeus23 13 true 4.796s 2.965s 200146944 zeus12 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 0.152s 0.166s 24334336 zeus22 1 true 0.280s 0.295s 34684928 zeus17 2 true 0.601s 0.367s 47239168 zeus06 2 true 4.699s 2.941s 210817024 zeus22 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 0.150s 0.163s 23830528 zeus20 1 true 0.252s 0.262s 31088640 zeus24 2 true 0.261s 0.143s 43057152 zeus03 2 true 4.717s 2.887s 201629696 zeus16 2
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 0.177s 0.214s 24600576 zeus11 1 true 0.286s 0.299s 36442112 zeus09 2 true 0.408s 0.216s 47378432 zeus23 2 true 4.996s 3.098s 203894784 zeus17 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 0.163s 0.163s 24199168 zeus06 1 true 0.264s 0.278s 33218560 zeus12 2 true 0.546s 0.294s 45416448 zeus05 24 true 4.542s 2.799s 203669504 zeus14 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 0.171s 0.171s 24453120 zeus21 1 true 0.260s 0.276s 34840576 zeus11 2 true 0.499s 0.263s 47751168 zeus06 1 true 4.982s 3.058s 203370496 zeus14 2
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 0.154s 0.166s 24059904 zeus24 1 true 0.260s 0.273s 32063488 zeus04 2 true 0.450s 0.238s 44781568 zeus03 9 true 4.815s 2.968s 200015872 zeus15 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 0.162s 0.162s 24334336 zeus01 1 true 0.252s 0.262s 33251328 zeus18 2 true 0.525s 0.278s 46039040 zeus11 2 true 4.859s 3.073s 197750784 zeus20 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 0.157s 0.171s 24432640 zeus01 1 true 0.250s 0.262s 33685504 zeus21 2 true 0.534s 0.283s 46960640 zeus19 6 true 4.849s 3.021s 202117120 zeus22 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 0.145s 0.145s 24203264 zeus02 1 true 0.277s 0.292s 33173504 zeus12 2 true 0.331s 0.177s 44236800 zeus18 2 true 4.604s 2.893s 205967360 zeus03 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 0.152s 0.167s 24432640 zeus08 1 true 0.260s 0.272s 35614720 zeus09 2 true 0.608s 0.321s 48021504 zeus02 14 true 4.687s 2.899s 204537856 zeus19 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 0.160s 0.179s 24858624 zeus17 1 true 0.308s 0.322s 37756928 zeus12 2 true 0.600s 0.316s 48877568 zeus01 18 true 4.873s 3.080s 203984896 zeus05 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 0.157s 0.169s 24203264 zeus21 1 true 0.291s 0.299s 34095104 zeus21 2 true 0.517s 0.275s 46845952 zeus07 3 true 4.906s 3.119s 204767232 zeus23 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 0.168s 0.168s 24203264 zeus03 1 true 0.262s 0.275s 33341440 zeus08 2 true 0.545s 0.292s 45707264 zeus09 7 true 4.913s 3.044s 197677056 zeus05 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 0.165s 0.165s 24338432 zeus01 1 true 0.254s 0.268s 33198080 zeus17 2 true 0.500s 0.266s 46333952 zeus24 2 true 4.616s 2.914s 198561792 zeus05 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 0.156s 0.168s 24203264 zeus10 1 true 0.247s 0.264s 33882112 zeus07 2 true 0.371s 0.196s 45793280 zeus15 2 true 4.718s 2.972s 201900032 zeus10 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 0.159s 0.159s 24342528 zeus14 1 true 0.261s 0.270s 33955840 zeus03 2 true 0.285s 0.155s 46063616 zeus18 2 true 4.879s 2.968s 207290368 zeus06 2
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 0.151s 0.163s 24203264 zeus22 1 true 0.278s 0.290s 33529856 zeus16 2 true 0.386s 0.206s 45391872 zeus23 2 true 4.650s 2.899s 207859712 zeus15 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 0.171s 0.171s 24203264 zeus07 1 true 0.279s 0.294s 33632256 zeus24 2 true 0.554s 0.293s 46178304 zeus20 14 true 4.634s 2.886s 206065664 zeus11 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 0.171s 0.171s 24203264 zeus01 1 true 0.277s 0.295s 34070528 zeus16 2 true 0.242s 0.134s 43429888 zeus01 2 true 4.746s 2.986s 196767744 zeus10 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 0.146s 0.161s 24199168 zeus13 1 true 0.282s 0.299s 33648640 zeus13 2 true 0.379s 0.205s 44748800 zeus20 2 true 5.110s 3.138s 204750848 zeus09 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 0.153s 0.167s 24195072 zeus02 1 true 0.262s 0.276s 33124352 zeus02 2 true 0.273s 0.148s 45285376 zeus08 2 true 4.571s 2.861s 198819840 zeus13 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 0.147s 0.158s 24338432 zeus18 1 true 0.272s 0.285s 33488896 zeus04 2 true 0.254s 0.139s 44220416 zeus12 2 true 4.512s 2.873s 200249344 zeus12 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 0.145s 0.161s 24080384 zeus09 1 true 0.278s 0.288s 33185792 zeus22 2 true 0.519s 0.275s 46051328 zeus04 2 true 4.815s 2.986s 200830976 zeus05 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 0.151s 0.164s 24190976 zeus08 1 true 0.253s 0.269s 33497088 zeus13 2 true 0.427s 0.226s 46731264 zeus11 8 true 5.098s 3.091s 207585280 zeus16 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 0.138s 0.152s 24211456 zeus14 1 true 0.255s 0.264s 33005568 zeus21 2 true 0.259s 0.143s 44232704 zeus16 2 true 4.721s 2.882s 203587584 zeus23 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 0.154s 0.169s 24600576 zeus02 1 true 0.287s 0.300s 35516416 zeus23 2 true 0.274s 0.150s 45535232 zeus19 2 true 4.707s 2.934s 206864384 zeus12 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 0.147s 0.147s 24199168 zeus08 1 true 0.267s 0.273s 32858112 zeus07 2 true 0.493s 0.263s 46321664 zeus21 2 true 4.538s 2.934s 199487488 zeus20 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 0.151s 0.196s 27324416 zeus16 1 true 0.253s 0.261s 34484224 zeus20 2 true 0.409s 0.217s 45658112 zeus03 2 true 4.581s 2.870s 203780096 zeus04 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 0.153s 0.169s 24338432 zeus19 1 true 0.254s 0.267s 34353152 zeus22 2 true 0.341s 0.182s 45277184 zeus14 2 true 4.505s 2.796s 204914688 zeus22 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 0.173s 0.223s 25108480 zeus11 1 true 0.286s 0.298s 33849344 zeus22 2 true 0.522s 0.279s 46596096 zeus22 10 true 4.784s 2.978s 203853824 zeus09 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 0.153s 0.170s 24317952 zeus19 1 true 0.273s 0.282s 34304000 zeus22 2 true 0.378s 0.229s 45019136 zeus07 2 true 5.045s 3.071s 209174528 zeus08 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 0.169s 0.168s 24334336 zeus02 1 true 0.247s 0.264s 34222080 zeus07 2 true 0.249s 0.138s 44482560 zeus01 2 true 4.918s 3.049s 207409152 zeus24 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 0.151s 0.166s 24076288 zeus07 1 true 0.246s 0.260s 32591872 zeus17 2 true 0.639s 0.446s 44314624 zeus04 19 true 4.788s 2.952s 204259328 zeus14 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 0.152s 0.167s 24207360 zeus12 1 true 0.283s 0.296s 32739328 zeus08 2 true 0.510s 0.273s 44855296 zeus23 2 true 4.548s 2.859s 204607488 zeus06 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 0.167s 0.167s 24461312 zeus05 1 true 0.277s 0.293s 34512896 zeus16 2 true 0.511s 0.273s 46575616 zeus05 14 true 4.880s 2.970s 205815808 zeus19 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 0.154s 0.168s 24334336 zeus18 1 true 0.254s 0.269s 33775616 zeus01 2 true 0.267s 0.146s 45142016 zeus01 2 true 4.770s 3.014s 204226560 zeus11 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 0.148s 0.162s 24338432 zeus06 1 true 0.306s 0.324s 33484800 zeus16 2 true 0.243s 0.132s 43048960 zeus13 2 true 4.709s 2.924s 204431360 zeus13 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 0.148s 0.163s 24080384 zeus22 1 true 0.254s 0.266s 32694272 zeus18 2 true 0.535s 0.286s 45277184 zeus03 16 true 4.811s 2.998s 204992512 zeus11 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 0.164s 0.164s 24346624 zeus08 1 true 0.284s 0.295s 34664448 zeus13 2 true 0.519s 0.274s 46841856 zeus06 10 true 4.936s 3.055s 205684736 zeus14 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 0.157s 0.169s 24465408 zeus10 1 true 0.250s 0.269s 35274752 zeus22 2 true 0.247s 0.134s 43831296 zeus07 2 true 4.384s 2.773s 202448896 zeus04 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 0.147s 0.163s 24465408 zeus05 1 true 0.261s 0.377s 34381824 zeus12 2 true 0.511s 0.273s 46452736 zeus23 11 true 4.914s 3.093s 206430208 zeus18 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 0.154s 0.169s 24444928 zeus12 1 true 0.262s 0.278s 34775040 zeus14 2 true 0.276s 0.149s 46321664 zeus22 2 true 4.727s 2.888s 203046912 zeus13 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 0.153s 0.168s 24330240 zeus20 1 true 0.254s 0.269s 34099200 zeus04 2 true 0.507s 0.270s 45785088 zeus13 6 true 4.988s 3.091s 205524992 zeus19 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 0.166s 0.166s 24334336 zeus10 1 true 0.254s 0.272s 33669120 zeus18 2 true 0.376s 0.203s 44474368 zeus03 12 true 4.819s 3.015s 208633856 zeus22 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 0.155s 0.170s 24465408 zeus19 1 true 0.284s 0.295s 35856384 zeus16 2 true 0.545s 0.291s 46964736 zeus17 2 true 4.569s 2.873s 205967360 zeus06 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 147.369s 147.679s 186142720 zeus10 1 error 474.040s 474.513s 6657024000 zeus09 2 timeout 1001.794s 501.007s 12449488896 zeus01 - true 151.803s 77.881s 4988682240 zeus09 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 0.668s 0.684s 47927296 zeus08 1 true 2.430s 2.445s 286224384 zeus16 2 true 2.691s 1.362s 235548672 zeus10 6 true 9.583s 5.453s 292855808 zeus05 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 timeout 1000.165s 1001.568s 3419947008 zeus16 1 out of memory 56.963s 56.325s 15000002560 zeus17 - out of memory 261.995s 130.757s 15000002560 zeus20 - timeout 901.957s 453.441s 6253195264 zeus14 2
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 1.047s 1.059s 41107456 zeus18 1 true 8.182s 8.204s 658108416 zeus02 2 true 32.083s 16.077s 720265216 zeus10 2 true 20.415s 11.118s 488177664 zeus14 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 0.953s 0.964s 41639936 zeus14 1 error 11.313s 11.344s 1106604032 zeus13 2 timeout 1001.484s 501.007s 5673320448 zeus18 - true 13.428s 7.418s 351301632 zeus06 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 1.968s 1.985s 44044288 zeus04 1 error 35.008s 35.080s 2511060992 zeus20 2 timeout 1001.339s 501.007s 2693423104 zeus03 - true 85.669s 43.617s 2543493120 zeus05 1
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 2.317s 2.333s 46092288 zeus04 1 true 13.903s 13.935s 917430272 zeus23 2 true 34.016s 17.035s 648204288 zeus14 2 true 60.688s 31.076s 1277440000 zeus17 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 1.052s 1.069s 40886272 zeus19 1 error 17.041s 17.071s 945197056 zeus24 2 timeout 1001.522s 501.009s 4620591104 zeus01 - true 14.645s 7.973s 379633664 zeus01 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 4.038s 4.067s 68141056 zeus13 1 error 34.138s 34.188s 579502080 zeus22 2 timeout 1001.338s 501.007s 2232442880 zeus19 - true 37.806s 19.654s 648966144 zeus15 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 1.564s 1.585s 41062400 zeus02 1 true 114.143s 114.297s 5518073856 zeus22 2 true 496.957s 248.601s 7589158912 zeus12 2 true 74.808s 38.185s 2227519488 zeus16 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 0.325s 0.337s 30392320 zeus21 1 true 0.617s 0.630s 83632128 zeus02 2 true 1.903s 0.971s 109133824 zeus09 11 true 6.930s 4.126s 238399488 zeus10 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 2.995s 3.011s 66916352 zeus03 1 error 62.728s 62.828s 7149072384 zeus05 2 true 404.337s 202.276s 7238582272 zeus20 6 true 178.456s 90.280s 5456240640 zeus23 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 1.507s 1.530s 34152448 zeus10 1 true 8.833s 8.858s 619454464 zeus02 2 true 38.431s 19.249s 747237376 zeus24 2 true 25.237s 13.393s 647794688 zeus18 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 0.269s 0.286s 29237248 zeus22 1 true 0.776s 0.789s 89182208 zeus17 2 true 1.380s 0.708s 94470144 zeus11 5 true 6.686s 3.948s 232534016 zeus20 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 out of memory 244.347s 244.011s 15000002560 zeus06 1 error 2.045s 2.059s 212082688 zeus01 2 timeout 1001.877s 501.008s 9498042368 zeus15 - true 21.715s 11.569s 530616320 zeus16 1
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 0.354s 0.365s 33144832 zeus09 1 true 1.475s 1.596s 155627520 zeus24 2 true 5.190s 2.619s 196440064 zeus06 2 true 8.965s 5.123s 264830976 zeus10 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 0.412s 0.432s 35311616 zeus05 1 true 3.499s 3.518s 323473408 zeus21 2 true 11.510s 5.791s 376217600 zeus13 13 true 13.426s 7.460s 342777856 zeus08 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 0.986s 1.005s 36954112 zeus13 1 true 2.605s 2.645s 216870912 zeus19 2 true 9.570s 4.804s 242888704 zeus02 1 true 10.920s 6.139s 306806784 zeus06 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 0.582s 0.600s 38035456 zeus08 1 true 28.161s 28.214s 2284355584 zeus15 2 true 158.009s 79.066s 3870613504 zeus01 5 true 17.713s 9.603s 399810560 zeus19 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 0.746s 0.765s 40337408 zeus08 1 true 21.204s 21.243s 1531887616 zeus18 2 true 197.484s 98.903s 4455706624 zeus21 9 true 36.421s 20.053s 1276407808 zeus12 1
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 0.540s 0.560s 37617664 zeus08 1 error 23.115s 23.158s 649326592 zeus10 2 timeout 1001.520s 501.008s 1552175104 zeus05 - true 20.229s 10.842s 503488512 zeus07 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 0.602s 0.615s 40304640 zeus15 1 true 14.179s 14.206s 1068302336 zeus17 2 true 30.621s 15.336s 812511232 zeus14 17 true 11.418s 6.475s 315977728 zeus02 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 0.196s 0.209s 25624576 zeus24 1 error 0.794s 0.810s 51384320 zeus04 2 out of memory 677.711s 338.802s 15000002560 zeus22 - true 7.456s 4.296s 242892800 zeus13 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 1.213s 1.237s 42778624 zeus07 1 true 43.942s 44.015s 4148281344 zeus09 2 true 208.401s 104.231s 5191835648 zeus12 2 true 12.992s 7.413s 351457280 zeus01 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 0.383s 0.432s 34238464 zeus13 1 true 2.014s 2.030s 212557824 zeus10 2 true 4.002s 2.021s 184307712 zeus05 5 true 9.848s 5.597s 282972160 zeus03 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 0.443s 0.461s 39575552 zeus15 1 true 113.817s 113.974s 6825123840 zeus11 2 timeout 1001.382s 501.008s 8063619072 zeus09 - true 8.998s 5.174s 274722816 zeus20 1
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 0.609s 0.630s 32296960 zeus23 1 true 0.859s 0.874s 115908608 zeus15 2 true 2.113s 1.075s 122802176 zeus10 18 true 5.880s 3.622s 229507072 zeus20 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 out of memory 214.567s 214.207s 15000002560 zeus07 1 true 240.438s 240.720s 8955691008 zeus05 2 true 526.700s 263.584s 5230141440 zeus18 2 timeout 904.264s 454.554s 9598595072 zeus18 2
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 1.044s 1.057s 47935488 zeus05 1 error 87.921s 88.037s 9276059648 zeus11 2 true 319.072s 159.612s 8847056896 zeus12 73 true 27.054s 14.242s 642342912 zeus06 1
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 timeout 1000.995s 1002.792s 5711384576 zeus24 2 true 243.030s 243.298s 12649295872 zeus02 2 out of memory 772.734s 386.264s 15000002560 zeus12 - timeout 999.356s 502.186s 9098964992 zeus02 -
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 0.815s 0.839s 30179328 zeus19 1 true 4.891s 4.908s 314544128 zeus21 2 true 19.861s 9.972s 384913408 zeus09 2 true 20.652s 11.424s 627961856 zeus04 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 0.803s 0.821s 53014528 zeus04 1 error 172.525s 172.727s 14922989568 zeus05 2 out of memory 255.084s 127.256s 15000002560 zeus02 - true 23.293s 13.356s 651337728 zeus04 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 0.629s 0.645s 35061760 zeus08 1 true 3.098s 3.117s 275505152 zeus17 2 true 10.701s 5.368s 320475136 zeus18 2 true 23.598s 12.472s 625696768 zeus21 1
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 timeout 1001.001s 1002.344s 6128832512 zeus22 1