Tool 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-52-generic Linux 3.13.0-53-generic
System CPU: Intel Xeon E5-2650 v2 @ 2.60 GHz with 32 cores, frequency: 2.6 GHz; RAM: 135 GB
Run set cpachecker-kInduction.CPAchecker cont.-ref. k-Induction (both) cpachecker-predicate.Predicate cpachecker-value.Value
Options -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 -noout -disable-java-assertions -heap 13000M -predicateAnalysis -setprop cfa.useMultiEdges=true -setprop cpa.predicate.solver=SMTINTERPOL -noout -disable-java-assertions -heap 13000M -valueAnalysis -setprop cfa.useMultiEdges=true
../svcomp15/ status cputime walltime memUsage host k status cputime walltime host memUsage status cputime walltime host memUsage
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-termination.cil.c false(reach) 37.532s 19.775s 659304448 zeus20 1 false(reach) 18.299s 10.127s zeus19 491565056 false(reach) 12.458s 7.284s zeus23 442257408
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-termination.cil.c false(reach) 29.909s 15.903s 593051648 zeus13 1 false(reach) 14.168s 7.955s zeus03 352432128 false(reach) 14.876s 8.391s zeus12 617242624
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-termination.cil.c false(reach) 46.027s 23.746s 651419648 zeus22 1 false(reach) 17.622s 9.727s zeus07 391983104 false(reach) 17.669s 10.155s zeus19 623325184
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-termination.cil.c false(reach) 8.112s 4.844s 252981248 zeus17 1 false(reach) 9.138s 5.362s zeus23 271552512 false(reach) 10.871s 6.362s zeus07 351440896
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-termination.cil.c true 24.172s 12.756s 617148416 zeus09 1 true 16.638s 9.226s zeus07 469811200 true 18.258s 10.638s zeus07 646725632
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-termination.cil.c true 26.811s 14.023s 539787264 zeus23 1 true 14.781s 8.151s zeus22 381423616 true 16.635s 9.928s zeus09 611405824
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-termination.cil.c true 16.635s 8.916s 419614720 zeus11 1 true 11.385s 6.507s zeus23 311001088 true 14.072s 7.773s zeus06 611618816
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-termination.cil.c true 24.347s 12.874s 611282944 zeus15 1 true 14.554s 8.216s zeus08 351838208 true 15.074s 8.694s zeus21 613847040
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-termination.cil.c true 5.036s 3.149s 190107648 zeus19 1 true 4.787s 3.107s zeus03 204955648 true 7.618s 4.531s zeus19 232599552
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-termination.cil.c true 6.161s 3.803s 198471680 zeus12 1 true 6.194s 3.892s zeus02 220868608 true 9.700s 5.802s zeus04 273149952
ssh-simplified/s3_clnt_1_false-unreach-call.cil.c false(reach) 38.061s 19.654s 648474624 zeus08 6 false(reach) 17.742s 9.605s zeus09 509112320 false(reach) 6.353s 4.016s zeus03 223584256
ssh-simplified/s3_clnt_2_false-unreach-call_true-termination.cil.c false(reach) 34.826s 18.004s 652877824 zeus09 6 false(reach) 16.599s 9.135s zeus21 448655360 false(reach) 6.665s 4.192s zeus19 221437952
ssh-simplified/s3_clnt_3_false-unreach-call.cil.c false(reach) 40.383s 20.863s 651948032 zeus18 6 false(reach) 16.493s 9.168s zeus18 459829248 false(reach) 6.810s 4.187s zeus14 220516352
ssh-simplified/s3_clnt_4_false-unreach-call.cil.c false(reach) 40.045s 20.659s 651288576 zeus23 6 false(reach) 18.470s 10.065s zeus19 491372544 false(reach) 6.491s 4.116s zeus18 223727616
ssh-simplified/s3_srvr_10_false-unreach-call.cil.c false(reach) 7.164s 4.153s 238403584 zeus16 1 false(reach) 6.728s 4.123s zeus17 230227968 false(reach) 18.105s 11.293s zeus04 642674688
ssh-simplified/s3_srvr_11_false-unreach-call.cil.c false(reach) 56.403s 28.856s 697843712 zeus17 7 false(reach) 36.824s 21.072s zeus17 1201975296 false(reach) 11.334s 6.505s zeus07 326582272
ssh-simplified/s3_srvr_12_false-unreach-call.cil.c false(reach) 52.071s 26.678s 696619008 zeus05 6 false(reach) 61.063s 40.300s zeus14 2326859776 false(reach) 22.040s 13.297s zeus20 664784896
ssh-simplified/s3_srvr_13_false-unreach-call.cil.c false(reach) 29.692s 15.423s 640532480 zeus12 4 false(reach) 19.994s 10.789s zeus02 503697408 false(reach) 13.015s 7.627s zeus02 454868992
ssh-simplified/s3_srvr_14_false-unreach-call.cil.c false(reach) 15.691s 8.452s 368816128 zeus18 2 false(reach) 15.942s 8.688s zeus20 352575488 false(reach) 16.906s 11.139s zeus16 613629952
ssh-simplified/s3_srvr_1_false-unreach-call.cil.c false(reach) 22.698s 11.942s 503914496 zeus23 4 false(reach) 11.357s 6.430s zeus17 307871744 false(reach) 6.105s 3.880s zeus16 212369408
ssh-simplified/s3_srvr_2_false-unreach-call.cil.c false(reach) 24.084s 12.635s 513032192 zeus18 4 false(reach) 11.611s 6.549s zeus01 307974144 false(reach) 6.269s 3.931s zeus18 213237760
ssh-simplified/s3_srvr_6_false-unreach-call.cil.c false(reach) 7.008s 4.079s 236474368 zeus20 1 false(reach) 4.746s 3.008s zeus22 216465408 false(reach) 4.577s 2.953s zeus08 188194816
ssh-simplified/s3_clnt_1_true-unreach-call.cil.c true 41.855s 21.547s 689582080 zeus16 7 true 21.972s 12.268s zeus09 641511424 true 8.711s 5.177s zeus12 257556480
ssh-simplified/s3_clnt_2_true-unreach-call_true-termination.cil.c true 42.670s 21.900s 681902080 zeus17 7 true 34.654s 21.697s zeus14 1238138880 true 9.390s 5.519s zeus17 291168256
ssh-simplified/s3_clnt_3_true-unreach-call.cil.c true 43.656s 22.448s 694804480 zeus06 7 true 30.696s 17.501s zeus18 738799616 true 9.140s 5.358s zeus06 291422208
ssh-simplified/s3_clnt_4_true-unreach-call.cil.c true 47.874s 24.542s 691965952 zeus04 7 true 25.251s 13.801s zeus09 702078976 true 7.968s 4.694s zeus13 244031488
ssh-simplified/s3_srvr_1_true-unreach-call.cil.c true 62.608s 31.998s 706322432 zeus04 6 true 49.568s 32.214s zeus15 1290104832 true 10.304s 6.085s zeus15 308932608
ssh-simplified/s3_srvr_1a_true-unreach-call.cil.c true 11.808s 6.427s 300646400 zeus03 5 true 14.097s 8.024s zeus15 416100352 true 4.150s 2.633s zeus10 161492992
ssh-simplified/s3_srvr_1b_true-unreach-call_false-termination.cil.c true 6.045s 3.602s 222752768 zeus11 2 true 5.319s 3.375s zeus02 218812416 true 3.319s 2.209s zeus06 155897856
ssh-simplified/s3_srvr_2_true-unreach-call.cil.c true 75.406s 38.403s 1358540800 zeus24 12 true 34.530s 18.850s zeus22 1154498560 true 6.265s 3.945s zeus06 200986624
ssh-simplified/s3_srvr_3_true-unreach-call.cil.c true 76.122s 38.706s 1288650752 zeus16 12 true 38.071s 21.489s zeus13 1224228864 true 9.629s 5.659s zeus04 301215744
ssh-simplified/s3_srvr_4_true-unreach-call.cil.c true 85.072s 43.214s 2342510592 zeus06 12 true 35.658s 19.100s zeus13 701276160 true 6.281s 3.907s zeus14 203931648
ssh-simplified/s3_srvr_6_true-unreach-call.cil.c true 171.592s 86.539s 4808171520 zeus23 17 timeout 901.070s 879.483s zeus23 4561862656 true 12.505s 7.206s zeus08 397877248
ssh-simplified/s3_srvr_7_true-unreach-call.cil.c true 88.135s 44.722s 2317758464 zeus15 12 true 51.428s 34.539s zeus06 1783025664 true 9.644s 5.709s zeus07 292376576
ssh-simplified/s3_srvr_8_true-unreach-call.cil.c true 79.208s 40.254s 2136014848 zeus02 12 true 58.783s 41.180s zeus19 2317164544 true 11.100s 6.546s zeus23 382865408
locks/test_locks_14_false-unreach-call.c false(reach) 7.912s 4.532s 245669888 zeus17 1 false(reach) 4.671s 3.059s zeus17 212275200 false(reach) 3.648s 2.438s zeus12 165732352
locks/test_locks_15_false-unreach-call.c false(reach) 8.356s 4.692s 267386880 zeus05 1 false(reach) 5.322s 3.357s zeus24 219987968 false(reach) 3.660s 2.424s zeus07 173916160
locks/test_locks_10_true-unreach-call.c true 8.124s 4.656s 247439360 zeus18 1 true 3.893s 2.524s zeus20 187658240 true 29.642s 24.703s zeus09 1196470272
locks/test_locks_11_true-unreach-call_false-termination.c true 8.074s 4.617s 247746560 zeus23 1 true 3.600s 2.423s zeus08 189313024 true 91.246s 86.027s zeus16 4387184640
locks/test_locks_12_true-unreach-call_false-termination.c true 8.182s 4.631s 243027968 zeus16 1 true 3.666s 2.406s zeus23 189034496 true 313.992s 306.892s zeus22 4670971904
locks/test_locks_13_true-unreach-call.c true 8.972s 5.096s 256962560 zeus04 1 true 3.683s 2.440s zeus08 192540672 timeout 901.875s 889.276s zeus18 4716019712
locks/test_locks_14_true-unreach-call.c true 8.856s 4.985s 258949120 zeus03 1 true 3.669s 2.449s zeus01 188985344 timeout 901.287s 888.256s zeus16 4688539648
locks/test_locks_15_true-unreach-call_false-termination.c true 9.178s 5.131s 263229440 zeus24 1 true 4.266s 2.900s zeus03 191705088 timeout 901.588s 888.530s zeus07 4700499968
locks/test_locks_5_true-unreach-call_false-termination.c true 5.564s 3.300s 220762112 zeus21 1 true 3.428s 2.254s zeus14 185630720 true 5.435s 3.523s zeus16 174292992
locks/test_locks_6_true-unreach-call_false-termination.c true 5.781s 3.409s 214568960 zeus24 1 true 3.518s 2.303s zeus07 190881792 true 6.085s 3.812s zeus03 207097856
locks/test_locks_7_true-unreach-call_false-termination.c true 6.321s 3.679s 224395264 zeus01 1 true 3.805s 2.479s zeus24 187523072 true 8.460s 5.094s zeus12 277860352
locks/test_locks_8_true-unreach-call_false-termination.c true 6.410s 3.738s 224874496 zeus22 1 true 3.813s 2.469s zeus22 191172608 true 9.966s 6.214s zeus02 470577152
locks/test_locks_9_true-unreach-call.c true 6.722s 3.919s 229576704 zeus18 1 true 3.774s 2.429s zeus24 190230528 true 14.697s 10.266s zeus01 627924992
ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko_false-unreach-call.cil.out.i.pp.i false(reach) 49.431s 25.337s 789594112 zeus16 1 false(reach) 44.163s 22.759s zeus09 683491328 timeout 901.845s 878.244s zeus10 4863782912
ldv-linux-3.0/module_get_put-drivers-block-loop.ko_false-unreach-call.cil.out.i.pp.i timeout 901.892s 453.276s 9222004736 zeus04 1 false(reach) 30.473s 16.550s zeus14 674373632 timeout 901.972s 885.482s zeus10 4859125760
ldv-linux-3.0/module_get_put-drivers-block-pktcdvd.ko_false-unreach-call.cil.out.i.pp.i false(reach) 31.931s 16.739s 658743296 zeus19 1 false(reach) 11.712s 6.815s zeus07 364130304 error (recursion) 86.017s 67.585s zeus11 2497445888
ldv-linux-3.0/module_get_put-drivers-isdn-gigaset-gigaset.ko_false-unreach-call.cil.out.i.pp.i timeout 999.462s 502.061s 8568139776 zeus18 - error (recursion) 15.777s 8.599s zeus15 430567424 error (recursion) 13.967s 7.626s zeus14 348930048
ldv-linux-3.0/module_get_put-drivers-isdn-mISDN-mISDN_core.ko_false-unreach-call.cil.out.i.pp.i timeout 901.194s 452.939s 8153464832 zeus10 1 false(reach) 36.172s 19.164s zeus03 689893376 timeout 902.088s 840.551s zeus09 6578143232
ldv-linux-3.0/module_get_put-drivers-net-ppp_generic.ko_false-unreach-call.cil.out.i.pp.i false(reach) 65.647s 33.570s 852537344 zeus20 1 false(reach) 20.511s 11.136s zeus19 473407488 error (recursion) 22.039s 12.234s zeus07 640417792
ldv-linux-3.0/module_get_put-drivers-net-wan-farsync.ko_false-unreach-call.cil.out.i.pp.i timeout 967.587s 486.591s 9189781504 zeus15 1 false(reach) 68.600s 37.006s zeus20 1341071360 timeout 908.495s 659.460s zeus15 9492074496
ldv-linux-3.0/module_get_put-drivers-tty-synclink_gt.ko_false-unreach-call.cil.out.i.pp.i false(reach) 96.319s 48.931s 2591760384 zeus14 1 timeout 902.427s 779.775s zeus20 6572544000 timeout 912.397s 657.874s zeus18 11063676928
ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko_false-unreach-call.cil.out.i.pp.i timeout 906.949s 458.681s 9297768448 zeus21 1 error (recursion) 22.409s 12.177s zeus06 645345280 error (recursion) 21.875s 11.625s zeus24 645328896
ldv-linux-3.0/usb_urb-drivers-hid-usbhid-usbmouse.ko_false-unreach-call.cil.out.i.pp.i false(reach) 37.532s 19.481s 654471168 zeus23 3 false(reach) 15.895s 8.840s zeus21 391176192 timeout 902.263s 758.148s zeus12 7366815744
ldv-linux-3.0/usb_urb-drivers-input-misc-keyspan_remote.ko_false-unreach-call.cil.out.i.pp.i timeout 904.990s 455.115s 8105123840 zeus10 8 false(reach) 69.680s 46.609s zeus15 3743715328 timeout 903.196s 752.664s zeus20 7429058560
ldv-linux-3.0/usb_urb-drivers-media-dvb-ttusb-dec-ttusb_dec.ko_false-unreach-call.cil.out.i.pp.i false(reach) 24.706s 13.171s 526540800 zeus01 1 false(reach) 16.324s 9.114s zeus21 430276608 timeout 901.913s 885.956s zeus13 4754341888
ldv-linux-3.0/usb_urb-drivers-net-can-usb-ems_usb.ko_false-unreach-call.cil.out.i.pp.i false(reach) 23.872s 12.705s 564072448 zeus12 1 false(reach) 62.675s 37.949s zeus12 2378518528 timeout 902.079s 770.401s zeus06 8253657088
ldv-linux-3.0/usb_urb-drivers-net-usb-catc.ko_false-unreach-call.cil.out.i.pp.i exception 30.555s 16.040s 659484672 zeus22 - false(reach) 103.904s 77.719s zeus03 4615602176 false(reach) 19.516s 11.402s zeus17 653889536
ldv-linux-3.0/usb_urb-drivers-staging-lirc-lirc_imon.ko_false-unreach-call.cil.out.i.pp.i false(reach) 50.996s 26.257s 717266944 zeus08 2 false(reach) 28.443s 15.190s zeus24 685182976 timeout 903.243s 814.133s zeus01 6948384768
ldv-linux-3.0/usb_urb-drivers-usb-misc-iowarrior.ko_false-unreach-call.cil.out.i.pp.i false(reach) 18.078s 9.703s 443604992 zeus24 1 false(reach) 9.947s 5.889s zeus12 301273088 false(reach) 33.866s 21.437s zeus03 1151971328
ldv-linux-3.0/module_get_put-drivers-atm-eni.ko_true-unreach-call.cil.out.i.pp.i timeout 901.785s 453.342s 8104312832 zeus15 1 timeout 905.051s 607.010s zeus10 9227034624 error (recursion) 15.509s 8.685s zeus09 477978624
ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko_true-unreach-call.cil.out.i.pp.i timeout 907.144s 455.877s 8599732224 zeus12 1 true 53.441s 27.993s zeus09 807989248 true 28.754s 15.462s zeus11 672448512
ldv-linux-3.0/module_get_put-drivers-block-paride-pt.ko_true-unreach-call.cil.out.i.pp.i timeout 901.908s 453.585s 8945864704 zeus17 2 timeout 907.325s 624.004s zeus14 12098568192 true 17.267s 10.107s zeus03 626716672
ldv-linux-3.0/module_get_put-drivers-bluetooth-btmrvl.ko_true-unreach-call.cil.out.i.pp.i true 303.402s 212.620s 6238265344 zeus12 2 error (recursion) 9.072s 5.279s zeus23 285188096 error (recursion) 8.412s 4.898s zeus05 246206464
ldv-linux-3.0/module_get_put-drivers-char-ipmi-ipmi_watchdog.ko_true-unreach-call.cil.out.i.pp.i timeout 902.239s 454.473s 11265069056 zeus15 2 error (recursion) 8.488s 5.048s zeus24 269275136 error (recursion) 7.613s 4.460s zeus17 235175936
ldv-linux-3.0/module_get_put-drivers-gpu-drm-i915-i915.ko_true-unreach-call.cil.out.i.pp.i timeout 997.195s 502.353s 9057845248 zeus15 1 true 50.662s 27.038s zeus13 1201344512 true 30.305s 16.435s zeus04 830443520
ldv-linux-3.0/module_get_put-drivers-hid-hid-magicmouse.ko_true-unreach-call.cil.out.i.pp.i timeout 900.866s 453.221s 9161166848 zeus01 1 error (recursion) 5.115s 3.269s zeus06 221507584 error (recursion) 5.001s 3.127s zeus20 186060800
ldv-linux-3.0/module_get_put-drivers-hwmon-it87.ko_true-unreach-call.cil.out.i.pp.i true 58.955s 30.291s 896475136 zeus22 2 true 13.710s 7.907s zeus17 374345728 true 11.175s 6.554s zeus10 314134528
ldv-linux-3.0/module_get_put-drivers-net-atl1c-atl1c.ko_true-unreach-call.cil.out.i.pp.i timeout 999.541s 502.141s 9158885376 zeus23 - true 51.746s 31.954s zeus22 1460498432 true 14.846s 8.253s zeus01 397180928
ldv-linux-3.0/module_get_put-drivers-net-pppox.ko_true-unreach-call.cil.out.i.pp.i true 10.201s 5.735s 307748864 zeus21 2 true 5.573s 3.538s zeus21 241213440 timeout 901.430s 885.247s zeus24 5357322240
ldv-linux-3.0/module_get_put-drivers-net-sis900.ko_true-unreach-call.cil.out.i.pp.i timeout 903.691s 454.530s 9150832640 zeus04 1 true 45.474s 25.335s zeus24 1391247360 true 15.935s 9.165s zeus12 534663168
ldv-linux-3.0/module_get_put-drivers-scsi-megaraid.ko_true-unreach-call.cil.out.i.pp.i timeout 901.398s 453.250s 9172996096 zeus19 1 true 309.693s 235.290s zeus23 6832074752 true 28.986s 16.051s zeus12 682946560
ldv-linux-3.0/module_get_put-drivers-staging-et131x-et131x.ko_true-unreach-call.cil.out.i.pp.i timeout 909.585s 457.471s 9050894336 zeus09 1 timeout 951.025s 702.334s zeus01 11131162624 true 18.994s 10.603s zeus23 624779264
ldv-linux-3.0/module_get_put-drivers-video-aty-aty128fb.ko_true-unreach-call.cil.out.i.pp.i timeout 963.704s 484.410s 9222365184 zeus05 1 error (recursion) 10.493s 6.252s zeus07 332644352 error (recursion) 7.989s 4.754s zeus15 244490240
ldv-linux-3.0/usb_urb-drivers-input-tablet-kbtab.ko_true-unreach-call.cil.out.i.pp.i timeout 901.430s 820.747s 6021746688 zeus15 27 true 15.229s 8.576s zeus23 406368256 timeout 911.579s 783.817s zeus24 7136665600
ldv-linux-3.0/usb_urb-drivers-media-video-c-qcam.ko_true-unreach-call.cil.out.i.pp.i timeout 902.850s 454.113s 9239752704 zeus23 1 timeout 922.016s 641.510s zeus16 12010594304 true 20.114s 12.375s zeus12 630054912
ldv-linux-3.0/usb_urb-drivers-media-video-msp3400.ko_true-unreach-call.cil.out.i.pp.i timeout 901.296s 453.293s 8695332864 zeus24 1 true 214.396s 172.667s zeus13 6045474816 true 22.862s 13.231s zeus02 644653056
ldv-linux-3.0/usb_urb-drivers-misc-c2port-core.ko_true-unreach-call.cil.out.i.pp.i true 83.897s 42.831s 2573434880 zeus12 2 true 19.535s 10.969s zeus07 489930752 true 15.455s 9.613s zeus18 513249280
ldv-linux-3.0/usb_urb-drivers-mtd-sm_ftl.ko_true-unreach-call.cil.out.i.pp.i timeout 901.798s 453.751s 9233162240 zeus05 1 error (recursion) 6.921s 4.287s zeus10 257867776 error (recursion) 6.836s 4.032s zeus07 226033664
ldv-linux-3.0/usb_urb-drivers-scsi-dc395x.ko_true-unreach-call.cil.out.i.pp.i timeout 901.561s 453.332s 8623439872 zeus11 1 true 62.046s 38.305s zeus08 2586513408 true 20.694s 11.871s zeus24 640176128
ldv-linux-3.0/usb_urb-drivers-usb-serial-ir-usb.ko_true-unreach-call.cil.out.i.pp.i true 49.943s 25.742s 736718848 zeus24 2 true 8.235s 4.930s zeus21 262971392 timeout 904.469s 820.846s zeus16 6519934976
ldv-linux-3.0/usb_urb-drivers-usb-serial-whiteheat.ko_true-unreach-call.cil.out.i.pp.i timeout 901.401s 453.487s 9252347904 zeus21 1 true 49.904s 30.793s zeus13 1342750720 unknown 25.019s 13.822s zeus04 627740672
ldv-linux-3.0/usb_urb-drivers-uwb-i1480-dfu-i1480-dfu-usb.ko_true-unreach-call.cil.out.i.pp.i timeout 901.282s 453.629s 8873938944 zeus22 1 timeout 965.799s 667.642s zeus01 11656937472 error (recursion) 6.936s 4.160s zeus10 226799616
ldv-linux-3.0/usb_urb-drivers-vhost-vhost_net.ko_true-unreach-call.cil.out.i.pp.i timeout 901.288s 453.163s 9173684224 zeus04 1 true 262.530s 192.552s zeus10 6366609408 true 21.147s 11.566s zeus18 617787392
ldv-linux-3.0/usb_urb-drivers-video-arkfb.ko_true-unreach-call.cil.out.i.pp.i timeout 901.152s 453.167s 9501904896 zeus17 1 error (recursion) 7.902s 4.748s zeus08 270274560 error (recursion) 7.455s 4.527s zeus03 237297664
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--gpu--drm--vmwgfx--vmwgfx.ko-ldv_main3_sequence_infinite_withcheck_stateful.cil.out.c timeout 999.257s 539.801s 8014901248 zeus15 - error (recursion) 24.552s 13.431s zeus12 701353984 error (recursion) 24.140s 13.014s zeus16 686727168
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 904.438s 673.319s 6443630592 zeus24 5 false(reach) 28.593s 15.789s zeus10 716709888 unknown 12.684s 7.227s zeus09 416985088
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 false(reach) 50.224s 26.468s 925323264 zeus08 1 false(reach) 28.863s 15.545s zeus09 666308608 error (recursion) 19.497s 11.068s zeus22 716316672
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) 44.928s 23.027s 735584256 zeus14 1 false(reach) 18.122s 9.783s zeus23 405446656 false(reach) 28.809s 19.725s zeus14 690352128
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 false(reach) 59.117s 30.582s 790331392 zeus24 1 false(reach) 25.447s 13.625s zeus11 684650496 timeout 910.988s 883.324s zeus01 5265629184
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 false(reach) 425.502s 214.459s 6054047744 zeus15 1 error (recursion) 39.607s 21.966s zeus10 1314168832 error (recursion) 33.183s 17.337s zeus12 456417280
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--media--video--mem2mem_testdev.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c false(reach) 27.224s 14.324s 643637248 zeus12 1 false(reach) 9.578s 5.687s zeus24 315932672 false(reach) 12.225s 7.525s zeus03 437063680
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 false(reach) 36.440s 18.969s 652955648 zeus24 1 false(reach) 22.545s 12.115s zeus03 541995008 unknown 21.695s 12.601s zeus01 665051136
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--mtd--chips--cfi_cmdset_0001.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c false(reach) 22.141s 11.721s 520015872 zeus20 1 false(reach) 14.000s 7.849s zeus21 374636544 false(reach) 14.960s 8.698s zeus14 391823360
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 false(reach) 32.200s 16.774s 655736832 zeus04 1 false(reach) 17.291s 9.582s zeus21 410243072 unknown 28.601s 15.951s zeus20 711589888
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--net--wireless--p54--p54usb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c false(reach) 25.474s 13.450s 688119808 zeus24 1 error (recursion) 9.724s 5.642s zeus19 289853440 error (recursion) 9.051s 5.201s zeus03 257097728
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--scsi--libfc--libfc.ko-ldv_main5_sequence_infinite_withcheck_stateful.cil.out.c timeout 999.310s 541.878s 7581306880 zeus16 - false(reach) 31.797s 17.023s zeus21 703660032 error (recursion) 45.601s 27.105s zeus17 1472602112
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 false(reach) 58.896s 30.068s 770588672 zeus24 1 false(reach) 27.032s 14.240s zeus16 482365440 timeout 912.580s 895.750s zeus13 9709666304
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) 13.324s 7.387s 364113920 zeus17 1 false(reach) 8.374s 5.043s zeus11 285315072 false(reach) 8.470s 5.283s zeus23 291123200
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--usb--storage--usb-storage.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c false(reach) 76.261s 38.841s 1374253056 zeus14 1 false(reach) 27.782s 14.467s zeus08 453595136 false(reach) 204.949s 192.418s zeus04 859795456
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 false(reach) 81.161s 41.591s 1424502784 zeus15 1 false(reach) 19.573s 10.690s zeus08 483328000 unknown 37.014s 21.390s zeus04 1258905600
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 962.061s 484.473s 8968110080 zeus19 1 timeout 909.358s 667.929s zeus23 9500635136 error (recursion) 39.046s 20.990s zeus11 648388608
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 930.399s 473.632s 8979206144 zeus22 1 error (recursion) 23.329s 12.533s zeus17 641630208 error (recursion) 16.161s 8.763s zeus14 394612736
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 timeout 901.257s 452.858s 7102615552 zeus21 1 error (recursion) 10.420s 5.930s zeus10 304881664 error (recursion) 10.272s 5.890s zeus15 286474240
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 908.808s 457.271s 8870023168 zeus02 1 timeout 970.856s 759.104s zeus21 8485728256 timeout 902.576s 846.653s zeus04 6579724288
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 901.534s 452.795s 8208863232 zeus22 1 false(reach) 24.677s 13.307s zeus05 654733312 unknown 43.789s 29.256s zeus23 1315180544
ldv-linux-3.4-simple/43_1a_cilled_false-unreach-call_ok_linux-43_1a-drivers--usb--gadget--mv_udc.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c false(reach) 250.618s 163.664s 5532626944 zeus05 1 error (recursion) 16.161s 8.769s zeus24 355291136 error (recursion) 15.074s 8.215s zeus11 311095296
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 timeout 902.111s 453.018s 6552408064 zeus08 1 error (recursion) 13.326s 7.629s zeus09 369102848 error (recursion) 12.709s 6.930s zeus12 297115648
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 28.949s 15.243s 656773120 zeus24 1 true 8.900s 5.281s zeus14 277864448 true 6.485s 3.943s zeus07 221184000
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 7.962s 4.601s 257982464 zeus05 1 true 5.508s 3.554s zeus05 222076928 true 4.797s 3.063s zeus19 186535936
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 8.423s 5.162s 275501056 zeus08 1 true 5.612s 3.588s zeus08 225468416 true 4.991s 3.188s zeus09 197480448
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 14.544s 8.065s 368214016 zeus05 1 true 6.037s 3.868s zeus24 230674432 true 5.507s 3.441s zeus23 208048128
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 11.582s 6.489s 315019264 zeus03 1 true 5.724s 3.770s zeus10 237359104 true 5.027s 3.170s zeus05 193400832
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 12.828s 7.076s 341663744 zeus08 1 true 6.003s 3.878s zeus09 244273152 true 5.253s 3.304s zeus24 214835200
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 7.749s 4.565s 266633216 zeus22 1 true 5.936s 3.697s zeus24 235929600 true 5.689s 3.397s zeus15 211709952
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--atm--adummy.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 13.106s 7.241s 347693056 zeus10 2 true 6.608s 4.112s zeus12 250560512 true 6.643s 3.939s zeus20 221405184
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 18.336s 9.853s 479068160 zeus14 1 true 6.044s 3.832s zeus11 224731136 true 5.595s 3.590s zeus11 187682816
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 8.260s 4.810s 269819904 zeus15 1 true 5.908s 3.784s zeus23 237989888 true 5.460s 3.326s zeus15 207769600
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 5.926s 3.590s 223789056 zeus24 1 true 4.729s 3.111s zeus21 202551296 true 4.182s 2.682s zeus12 168792064
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 84.706s 43.209s 2477342720 zeus21 1 true 8.787s 5.275s zeus22 284647424 true 5.905s 3.718s zeus08 191111168
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 901.515s 452.730s 8117571584 zeus15 1 true 37.789s 21.257s zeus24 1287335936 true 15.029s 9.304s zeus21 499433472
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 456.652s 230.043s 6616825856 zeus12 1 true 11.795s 6.950s zeus12 374640640 true 7.396s 4.400s zeus15 222916608
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 601.096s 303.086s 6874685440 zeus19 1 true 16.050s 9.027s zeus23 500817920 true 7.844s 4.715s zeus21 236531712
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 901.426s 452.671s 8216309760 zeus19 1 true 34.610s 18.932s zeus15 1265938432 true 12.444s 7.283s zeus14 371195904
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 999.454s 501.992s 8710586368 zeus16 - true 20.327s 11.217s zeus01 650403840 true 9.039s 5.441s zeus15 264515584
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 46.157s 23.775s 729083904 zeus05 1 true 6.971s 4.340s zeus06 240431104 true 5.490s 3.381s zeus23 188149760
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 85.565s 58.473s 4708634624 zeus06 1 true 10.789s 6.415s zeus22 347713536 true 6.888s 4.219s zeus05 203980800
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 900.874s 452.658s 7655268352 zeus19 1 true 21.358s 11.766s zeus05 655020032 true 10.855s 6.293s zeus03 309923840
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 900.994s 452.673s 7474282496 zeus07 1 true 20.912s 11.534s zeus07 655925248 true 10.190s 5.892s zeus02 284274688
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 timeout 901.919s 453.078s 7649734656 zeus18 1 true 18.670s 10.605s zeus20 648409088 true 10.334s 5.979s zeus01 280510464
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 54.672s 28.059s 1301405696 zeus21 1 true 7.683s 4.693s zeus07 248209408 true 5.699s 3.556s zeus10 184377344
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 101.051s 51.391s 3922026496 zeus24 1 true 14.566s 8.303s zeus14 405884928 true 9.915s 5.676s zeus17 260104192
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 timeout 901.328s 452.354s 6641033216 zeus12 1 true 32.951s 18.524s zeus06 1110175744 true 17.209s 9.913s zeus12 498388992
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--char--hw_random--virtio-rng.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 36.112s 19.156s 693813248 zeus23 2 error (recursion) 4.655s 2.965s zeus23 200994816 error (recursion) 4.332s 2.748s zeus18 171683840
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--char--ipmi--ipmi_poweroff.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 80.222s 40.915s 1807110144 zeus07 2 true 7.418s 4.560s zeus23 254672896 true 5.795s 3.632s zeus04 210251776
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 7.110s 4.287s 240766976 zeus07 2 true 5.398s 3.461s zeus17 213774336 true 4.815s 3.047s zeus04 177479680
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 263.207s 132.870s 6063431680 zeus06 1 true 11.737s 6.767s zeus01 315199488 true 7.138s 4.264s zeus04 221003776
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 16.477s 8.914s 461844480 zeus17 2 true 7.690s 4.592s zeus17 251625472 true 6.770s 4.047s zeus05 218140672
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 10.128s 5.638s 294473728 zeus07 2 true 4.716s 3.047s zeus17 206704640 true 4.076s 2.605s zeus12 164483072
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 5.803s 3.455s 222650368 zeus01 1 true 4.174s 2.696s zeus01 193732608 true 3.980s 2.592s zeus11 165400576
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 28.616s 15.198s 642002944 zeus07 1 true 9.673s 5.713s zeus17 290988032 true 7.230s 4.398s zeus17 222871552
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 8.581s 4.858s 257097728 zeus08 1 true 4.906s 3.163s zeus20 203513856 true 4.243s 2.754s zeus08 170725376
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--firmware--google--gsmi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 125.500s 63.678s 4966961152 zeus01 2 true 14.673s 8.375s zeus07 406016000 true 9.282s 5.449s zeus05 263163904
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 7.511s 4.390s 249421824 zeus19 1 true 5.432s 3.438s zeus04 214138880 true 3.989s 2.565s zeus09 164859904
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 12.801s 7.082s 339316736 zeus20 1 true 6.326s 4.004s zeus23 238268416 true 4.891s 3.184s zeus24 184471552
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 7.017s 4.243s 241336320 zeus19 1 true 4.916s 3.202s zeus08 212013056 true 4.706s 2.953s zeus12 181538816
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 13.058s 7.192s 346173440 zeus02 1 true 6.351s 4.087s zeus10 236564480 true 5.184s 3.232s zeus15 189280256
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 7.686s 4.442s 246026240 zeus20 1 true 5.363s 3.445s zeus12 213028864 true 4.819s 3.075s zeus23 178110464
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--gpio--gpio-wm831x.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 24.747s 13.076s 644849664 zeus19 1 true 6.325s 4.003s zeus05 233627648 true 5.029s 3.253s zeus21 183943168
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 7.491s 4.437s 262524928 zeus16 2 true 5.730s 3.569s zeus23 232460288 true 5.546s 3.392s zeus12 213729280
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 28.816s 15.194s 638197760 zeus16 1 true 12.681s 7.271s zeus01 371064832 true 7.065s 4.215s zeus13 228868096
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 7.168s 4.250s 251240448 zeus17 1 true 5.628s 3.530s zeus14 231108608 true 5.793s 3.587s zeus06 212774912
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 6.256s 3.824s 232374272 zeus20 1 true 5.058s 3.218s zeus05 214011904 true 4.983s 3.121s zeus12 185344000
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 8.456s 4.930s 263938048 zeus15 1 true 5.328s 3.481s zeus01 219160576 true 4.592s 2.943s zeus12 181760000
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 14.186s 7.815s 372867072 zeus23 1 true 8.266s 4.920s zeus09 258314240 true 5.508s 3.419s zeus23 198492160
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 5.957s 3.652s 222674944 zeus20 1 true 4.641s 2.966s zeus14 206352384 true 4.381s 2.791s zeus07 180334592
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 7.393s 4.370s 250077184 zeus07 1 true 5.290s 3.423s zeus12 212086784 true 4.736s 3.039s zeus06 186490880
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 12.861s 7.112s 343269376 zeus06 1 true 8.078s 4.803s zeus14 244817920 true 5.476s 3.451s zeus03 194416640
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 6.137s 3.718s 231940096 zeus01 1 true 4.782s 3.128s zeus17 212353024 true 4.637s 3.003s zeus18 183451648
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 6.323s 3.861s 228659200 zeus12 2 true 4.852s 3.125s zeus04 211320832 true 4.434s 2.781s zeus20 180453376
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 10.209s 5.744s 286851072 zeus13 1 true 6.142s 3.859s zeus01 225333248 true 4.829s 3.109s zeus17 187731968
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 9.473s 5.449s 275554304 zeus06 1 true 5.465s 3.527s zeus02 219619328 true 4.677s 3.034s zeus08 182697984
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 6.171s 3.754s 229224448 zeus06 1 true 4.744s 3.116s zeus02 210616320 true 4.609s 2.927s zeus04 179617792
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 10.753s 6.033s 299319296 zeus24 1 true 6.774s 4.243s zeus02 237867008 true 5.286s 3.390s zeus08 190611456
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-primax.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 41.767s 21.708s 712851456 zeus14 2 error (recursion) 4.561s 2.923s zeus04 203956224 error (recursion) 4.467s 2.813s zeus07 175575040
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 6.213s 3.751s 237150208 zeus24 1 true 4.781s 3.124s zeus20 211812352 true 4.613s 2.929s zeus06 185843712
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 16.473s 8.942s 393912320 zeus15 1 true 9.354s 5.506s zeus20 272896000 true 6.364s 3.820s zeus13 214687744
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 6.220s 3.772s 235708416 zeus02 1 true 4.739s 3.143s zeus01 213151744 true 4.857s 3.021s zeus21 186580992
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 7.568s 4.469s 252280832 zeus19 1 true 5.393s 3.482s zeus08 218505216 true 4.483s 2.886s zeus09 181575680
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 8.741s 5.069s 268877824 zeus12 1 true 5.537s 3.591s zeus01 222724096 true 5.002s 3.133s zeus05 181465088
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 14.907s 8.132s 387596288 zeus22 1 true 8.291s 4.942s zeus21 255299584 true 5.998s 3.746s zeus16 189632512
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 20.197s 10.800s 516059136 zeus19 1 true 9.515s 5.750s zeus20 279453696 true 6.279s 3.852s zeus21 208764928
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 7.794s 4.600s 258437120 zeus24 2 true 4.735s 3.124s zeus20 213671936 true 4.811s 3.102s zeus19 182042624
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-wacom.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 717.436s 445.654s 7829356544 zeus11 2 error (recursion) 8.607s 5.056s zeus15 299479040 error (recursion) 6.872s 4.138s zeus16 220721152
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-waltop.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 40.828s 21.176s 694099968 zeus20 3 error (recursion) 4.869s 3.152s zeus14 210038784 error (recursion) 4.631s 2.950s zeus07 180477952
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-zydacron.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 57.437s 29.730s 2396393472 zeus13 2 error (recursion) 4.917s 3.112s zeus02 209620992 error (recursion) 4.494s 2.855s zeus21 177123328
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 10.701s 6.060s 306913280 zeus10 1 true 6.650s 4.211s zeus07 246403072 true 4.942s 3.215s zeus21 191303680
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 901.148s 452.963s 8721473536 zeus07 1 true 33.792s 17.969s zeus06 741924864 true 10.420s 6.030s zeus05 293076992
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 10.837s 6.155s 304967680 zeus21 1 true 6.287s 4.011s zeus18 239190016 true 5.099s 3.273s zeus22 193667072
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 323.302s 163.128s 6304452608 zeus03 1 true 10.192s 5.959s zeus17 300675072 true 5.923s 3.707s zeus06 194875392
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 8.004s 4.717s 258580480 zeus05 1 true 6.271s 3.980s zeus15 233267200 true 5.354s 3.474s zeus14 184279040
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 12.159s 6.841s 326807552 zeus06 1 true 6.682s 4.198s zeus14 236425216 true 4.940s 3.149s zeus24 190509056
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 7.183s 4.308s 239575040 zeus24 1 true 5.079s 3.256s zeus04 211456000 true 4.657s 2.950s zeus11 186523648
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 7.407s 4.353s 250798080 zeus03 1 true 4.944s 3.207s zeus13 212504576 true 4.629s 2.962s zeus09 180715520
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 14.446s 7.941s 354582528 zeus03 1 true 6.925s 4.279s zeus12 253108224 true 5.729s 3.588s zeus08 208150528
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 timeout 901.780s 453.427s 8869810176 zeus08 1 true 14.826s 8.616s zeus12 487600128 true 8.141s 5.110s zeus16 252067840
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--i2c--busses--i2c-diolan-u2c.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 322.429s 162.786s 5999017984 zeus03 1 true 34.493s 18.933s zeus21 1024937984 true 7.611s 4.541s zeus23 242782208
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 64.469s 33.043s 1410584576 zeus02 1 true 7.164s 4.491s zeus23 253190144 true 5.519s 3.469s zeus03 199122944
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 37.937s 19.759s 715341824 zeus08 1 true 8.849s 5.314s zeus14 277278720 true 5.650s 3.566s zeus24 212692992
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 10.197s 5.846s 299634688 zeus01 1 true 6.034s 3.831s zeus20 229335040 true 5.033s 3.199s zeus24 187609088
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 192.432s 97.201s 5362417664 zeus09 2 true 35.852s 19.043s zeus08 674742272 true 12.960s 7.349s zeus21 357031936
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 15.656s 8.484s 411815936 zeus22 1 true 6.768s 4.072s zeus18 245420032 true 5.684s 3.482s zeus11 216035328
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--gameport--lightning.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 145.084s 92.479s 5246439424 zeus08 2 true 6.354s 4.066s zeus19 232984576 true 5.094s 3.221s zeus03 191954944
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 31.144s 16.302s 646045696 zeus19 1 true 6.562s 4.171s zeus21 236089344 true 5.091s 3.265s zeus16 186920960
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 35.486s 18.567s 660922368 zeus10 1 true 8.656s 5.180s zeus16 276062208 true 5.697s 3.590s zeus24 199524352
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 65.235s 33.393s 1542488064 zeus24 1 true 7.774s 4.744s zeus07 263626752 true 5.273s 3.389s zeus21 191627264
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 11.385s 6.373s 305799168 zeus03 1 true 6.808s 4.308s zeus24 244408320 true 5.008s 3.161s zeus04 189460480
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--joystick--turbografx.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 339.779s 171.217s 6087655424 zeus08 1 true 9.146s 5.531s zeus15 295632896 true 5.733s 3.567s zeus05 199921664
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--joystick--twidjoy.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 43.027s 22.294s 734490624 zeus02 1 true 5.822s 3.779s zeus02 233979904 true 5.159s 3.264s zeus02 190877696
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 15.799s 8.570s 422764544 zeus07 1 true 8.238s 5.033s zeus22 278605824 true 5.117s 3.268s zeus11 191651840
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 10.446s 5.961s 289058816 zeus11 1 true 6.074s 3.875s zeus21 228810752 true 4.952s 3.116s zeus02 189112320
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 24.579s 13.292s 647168000 zeus10 1 true 6.453s 4.095s zeus08 239423488 true 5.126s 3.263s zeus19 186171392
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 14.397s 7.895s 378970112 zeus12 1 true 5.583s 3.645s zeus13 225546240 true 4.913s 3.156s zeus20 188555264
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 14.174s 7.754s 384671744 zeus07 1 true 5.807s 3.756s zeus19 228929536 true 5.086s 3.227s zeus15 187527168
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 13.237s 7.313s 352366592 zeus07 1 true 5.690s 3.704s zeus18 230060032 true 4.986s 3.272s zeus21 185561088
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 7.448s 4.365s 244535296 zeus14 1 true 6.073s 3.880s zeus09 227360768 true 4.644s 2.975s zeus01 183312384
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 6.831s 4.098s 248279040 zeus18 1 true 5.460s 3.488s zeus11 226787328 true 5.014s 3.154s zeus09 193708032
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 8.569s 5.016s 271781888 zeus23 1 true 5.236s 3.399s zeus23 220975104 true 5.016s 3.160s zeus02 196464640
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 12.484s 6.907s 336723968 zeus24 1 true 5.726s 3.674s zeus02 232378368 true 5.252s 3.214s zeus05 187219968
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 14.638s 8.027s 376803328 zeus09 1 true 6.181s 3.949s zeus01 247296000 true 5.911s 3.664s zeus03 215781376
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 16.094s 8.739s 409321472 zeus08 2 true 5.460s 3.450s zeus23 220778496 true 4.993s 3.253s zeus03 199901184
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 6.725s 4.074s 246013952 zeus20 1 true 5.467s 3.494s zeus21 221470720 true 5.046s 3.125s zeus07 190701568
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 7.545s 4.361s 253448192 zeus05 1 true 6.162s 3.845s zeus09 243855360 true 5.564s 3.402s zeus16 205295616
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 12.636s 7.092s 347181056 zeus11 1 true 7.822s 4.720s zeus22 270008320 true 6.048s 3.744s zeus20 212774912
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 9.005s 5.175s 277041152 zeus20 1 true 5.539s 3.557s zeus02 220205056 true 4.584s 2.961s zeus24 183328768
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 7.080s 4.225s 247373824 zeus17 1 true 5.565s 3.629s zeus16 222420992 true 4.910s 3.156s zeus04 194265088
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 10.490s 5.980s 294236160 zeus21 1 true 5.810s 3.719s zeus18 226033664 true 4.809s 3.053s zeus13 186519552
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 19.394s 10.381s 464957440 zeus13 1 true 9.990s 5.860s zeus05 293040128 true 5.547s 3.444s zeus13 192933888
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 8.750s 5.140s 263360512 zeus20 1 true 6.155s 3.877s zeus08 229978112 true 4.904s 3.184s zeus08 185401344
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--misc--xen-kbdfront.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 9.546s 5.504s 285016064 zeus22 1 true 6.296s 3.966s zeus21 236933120 true 5.462s 3.425s zeus23 199921664
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 20.192s 10.839s 612757504 zeus17 1 true 6.076s 3.862s zeus24 232177664 true 5.508s 3.372s zeus07 191578112
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--mouse--vsxxxaa.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 23.501s 12.525s 504369152 zeus08 1 true 12.086s 6.963s zeus16 327950336 true 6.946s 4.333s zeus11 206438400
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 9.512s 5.453s 279932928 zeus23 1 true 5.549s 3.639s zeus21 215945216 true 5.438s 3.380s zeus17 190636032
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--serio--parkbd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 9.375s 5.683s 270524416 zeus21 3 true 5.285s 3.442s zeus07 220274688 true 4.703s 3.000s zeus14 181518336
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 32.140s 16.852s 659628032 zeus01 1 true 6.635s 4.205s zeus16 241942528 true 5.173s 3.205s zeus22 199184384
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 38.155s 19.811s 712232960 zeus19 1 true 8.325s 5.008s zeus08 272809984 true 5.560s 3.466s zeus03 209711104
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 10.999s 6.154s 301203456 zeus05 1 true 6.742s 4.274s zeus02 246095872 true 5.051s 3.245s zeus04 188379136
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 11.124s 6.228s 314191872 zeus03 1 true 7.505s 4.575s zeus15 262758400 true 5.873s 3.596s zeus23 211832832
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 28.199s 14.798s 654753792 zeus02 1 true 6.894s 4.287s zeus10 256602112 true 5.763s 3.599s zeus12 210432000
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 9.871s 5.622s 294506496 zeus22 1 true 6.098s 3.939s zeus09 234237952 true 4.941s 3.097s zeus13 185327616
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 11.356s 6.396s 310661120 zeus18 1 true 6.859s 4.359s zeus08 246104064 true 4.871s 3.145s zeus06 189235200
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 11.755s 6.630s 317575168 zeus20 1 true 6.856s 4.274s zeus05 244441088 true 4.940s 3.188s zeus17 183779328
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 9.739s 5.524s 290873344 zeus24 1 true 6.666s 4.148s zeus14 236306432 true 4.810s 3.099s zeus23 185925632
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 10.023s 5.697s 292773888 zeus12 1 true 6.438s 4.054s zeus21 251326464 true 5.778s 3.620s zeus17 207106048
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 9.186s 5.268s 279343104 zeus02 1 true 5.462s 3.597s zeus03 232841216 true 4.829s 3.108s zeus09 189943808
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 11.490s 6.626s 312508416 zeus19 1 true 6.593s 4.170s zeus15 242749440 true 5.099s 3.346s zeus02 190177280
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 18.659s 10.104s 477605888 zeus06 1 true 11.059s 6.499s zeus21 329220096 true 5.711s 3.615s zeus02 201535488
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 14.453s 7.992s 359411712 zeus04 1 true 9.570s 5.668s zeus01 293797888 true 5.829s 3.629s zeus18 216907776
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 10.988s 6.207s 306577408 zeus02 1 true 6.864s 4.326s zeus24 240164864 true 4.884s 3.124s zeus07 188264448
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 9.971s 5.710s 288186368 zeus11 1 true 6.649s 4.163s zeus14 234704896 true 4.837s 3.084s zeus09 186359808
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 9.977s 5.663s 289497088 zeus22 1 true 6.226s 3.958s zeus02 235335680 true 4.679s 2.965s zeus20 184791040
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 13.760s 7.538s 357117952 zeus21 1 true 6.603s 4.199s zeus13 239915008 true 4.972s 3.200s zeus09 189677568
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 74.520s 38.014s 1888948224 zeus03 1 true 16.153s 8.860s zeus21 493252608 true 7.453s 4.400s zeus14 224710656
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--isdn--hardware--avm--avm_cs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 12.999s 7.189s 336859136 zeus18 1 true 6.345s 3.971s zeus23 241979392 true 5.638s 3.510s zeus22 212271104
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--isdn--hardware--avm--b1pci.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 17.781s 9.657s 445267968 zeus20 1 true 10.270s 6.023s zeus14 311009280 true 6.170s 3.926s zeus16 198881280
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--isdn--hardware--avm--b1pcmcia.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.282s 3.811s 238542848 zeus22 1 true 5.174s 3.269s zeus22 216723456 true 4.853s 3.081s zeus19 183676928
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--isdn--hardware--avm--t1pci.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 13.246s 7.255s 356909056 zeus10 1 true 7.883s 4.773s zeus08 278421504 true 5.109s 3.207s zeus04 187142144
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 903.963s 454.538s 8884604928 zeus03 1 true 46.651s 26.775s zeus24 1437962240 true 13.799s 8.157s zeus16 395300864
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 12.034s 6.745s 328663040 zeus01 1 true 5.901s 3.821s zeus15 232591360 true 4.913s 3.117s zeus16 185106432
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 12.519s 6.931s 332283904 zeus05 1 true 6.422s 4.056s zeus07 238399488 true 5.091s 3.219s zeus22 194154496
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 13.163s 7.276s 344584192 zeus16 1 true 6.201s 3.990s zeus16 232718336 true 5.115s 3.267s zeus17 188727296
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 12.655s 7.036s 337874944 zeus03 1 true 6.256s 4.038s zeus19 236720128 true 5.222s 3.281s zeus22 196055040
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 9.552s 5.453s 284925952 zeus01 1 true 6.096s 3.880s zeus08 231677952 true 4.878s 3.145s zeus08 191533056
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 77.726s 39.733s 2561474560 zeus09 1 true 14.081s 8.022s zeus17 443744256 true 8.038s 4.758s zeus04 247705600
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 16.559s 9.147s 496263168 zeus09 1 true 5.829s 3.689s zeus17 223731712 true 5.200s 3.274s zeus14 188174336
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 65.027s 33.288s 1311813632 zeus23 1 true 10.371s 6.057s zeus12 313966592 true 7.183s 4.264s zeus14 219353088
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 25.506s 13.513s 643588096 zeus10 2 true 4.717s 3.093s zeus11 214802432 true 4.447s 2.784s zeus07 179974144
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 15.753s 8.753s 485515264 zeus18 1 true 6.200s 3.932s zeus05 234020864 true 5.138s 3.253s zeus15 187109376
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 12.666s 7.033s 346161152 zeus18 1 true 7.395s 4.584s zeus21 259964928 true 4.732s 3.026s zeus21 181702656
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 8.556s 4.971s 277020672 zeus15 1 true 5.931s 3.710s zeus01 232472576 true 5.573s 3.382s zeus01 204734464
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 5.552s 3.372s 218894336 zeus11 1 true 4.347s 2.831s zeus24 197988352 true 3.988s 2.509s zeus14 161562624
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 9.299s 5.431s 270635008 zeus01 1 true 5.454s 3.507s zeus09 216547328 true 4.849s 3.044s zeus11 177946624
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 9.542s 5.421s 277696512 zeus20 1 true 5.256s 3.422s zeus19 220008448 true 4.615s 2.978s zeus06 187170816
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--md--dm-zero.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.603s 3.939s 242323456 zeus12 1 true 4.964s 3.231s zeus10 211300352 true 4.867s 3.084s zeus20 189087744
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--common--tuners--max2165.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 72.418s 36.963s 1417596928 zeus05 2 true 14.184s 8.022s zeus01 390639616 true 7.418s 4.511s zeus06 230141952
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 17.167s 9.284s 430645248 zeus23 1 true 8.640s 5.211s zeus02 279060480 true 5.771s 3.694s zeus16 211853312
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 23.243s 12.323s 559165440 zeus11 1 true 7.553s 4.571s zeus16 263983104 true 5.917s 3.626s zeus09 212926464
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--common--tuners--mt20xx.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 90.479s 46.112s 1855672320 zeus04 1 true 18.631s 10.344s zeus19 614977536 true 8.759s 5.142s zeus13 254341120
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 36.542s 18.933s 654487552 zeus08 1 true 8.714s 5.236s zeus07 283815936 true 5.832s 3.645s zeus04 209637376
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 51.078s 26.290s 984932352 zeus12 2 true 8.166s 5.027s zeus06 276676608 true 5.914s 3.669s zeus16 211705856
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--common--tuners--mxl5007t.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 91.870s 53.541s 2616168448 zeus21 1 true 46.304s 30.878s zeus18 1323020288 true 8.343s 4.910s zeus14 244801536
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 715.070s 359.437s 6706159616 zeus20 1 true 16.602s 9.427s zeus03 649879552 true 8.610s 5.039s zeus07 253739008
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 61.836s 31.661s 1236697088 zeus09 1 true 10.062s 5.916s zeus03 292261888 true 6.389s 4.016s zeus04 221999104
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--common--tuners--tda8290.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 160.370s 81.048s 5018648576 zeus04 2 true 21.961s 11.903s zeus08 657600512 true 10.822s 6.148s zeus03 282435584
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 262.165s 132.313s 5473660928 zeus03 2 true 22.195s 12.340s zeus12 667291648 true 9.800s 5.819s zeus22 263401472
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 901.594s 452.815s 6195220480 zeus10 2 error (recursion) 15.464s 8.691s zeus15 461279232 error (recursion) 12.030s 6.821s zeus13 318345216
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 12.300s 6.817s 331042816 zeus21 1 true 7.309s 4.469s zeus14 263327744 true 6.375s 3.863s zeus09 238915584
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-au6610.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 15.637s 8.528s 380162048 zeus19 1 true 7.288s 4.462s zeus08 269123584 true 6.717s 4.081s zeus16 236683264
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 false(reach) 37.464s 20.411s 846983168 zeus18 1 false(reach) 17.364s 9.739s zeus20 448716800 error (recursion) 18.849s 10.897s zeus17 719450112
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 timeout 953.698s 484.127s 8924934144 zeus10 - true 13.265s 7.564s zeus21 355692544 true 10.954s 6.234s zeus17 496496640
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 21.616s 11.766s 589078528 zeus03 1 true 7.915s 4.889s zeus08 275664896 true 7.305s 4.297s zeus20 242065408
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 20.611s 11.184s 615628800 zeus11 1 true 8.740s 5.245s zeus17 285597696 true 8.013s 4.698s zeus22 253927424
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 15.073s 8.309s 417402880 zeus19 1 true 8.434s 5.147s zeus13 303112192 true 7.785s 4.541s zeus16 254644224
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 11.898s 6.763s 343572480 zeus03 1 true 7.343s 4.450s zeus19 269619200 true 7.314s 4.353s zeus10 243531776
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 26.474s 14.030s 653598720 zeus14 1 true 9.989s 5.976s zeus17 317906944 true 8.238s 4.803s zeus17 264007680
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 9.120s 5.305s 288669696 zeus24 2 true 6.237s 3.905s zeus07 258625536 true 6.355s 3.830s zeus17 236625920
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-digitv.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 79.436s 40.671s 1371394048 zeus04 1 true 12.483s 7.174s zeus15 346181632 true 9.936s 5.865s zeus06 390635520
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 34.236s 17.903s 712720384 zeus17 1 true 10.383s 6.183s zeus22 335454208 true 8.718s 5.072s zeus14 274739200
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 22.428s 12.059s 621760512 zeus10 1 true 9.378s 5.519s zeus20 304857088 true 8.093s 4.793s zeus01 268705792
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-dtv5100.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 28.477s 15.003s 651767808 zeus16 1 true 7.658s 4.674s zeus03 267247616 true 6.997s 4.162s zeus07 246001664
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-gl861.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 14.907s 8.121s 371523584 zeus20 1 true 6.996s 4.352s zeus20 262737920 true 6.995s 4.183s zeus05 238342144
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 timeout 901.628s 452.927s 7420502016 zeus22 1 true 113.589s 82.079s zeus06 4814897152 true 30.792s 17.219s zeus15 658284544
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 timeout 901.481s 452.156s 5831712768 zeus05 1 true 21.527s 11.372s zeus02 391507968 true 21.370s 11.776s zeus07 387432448
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 26.559s 14.009s 633815040 zeus08 2 true 7.134s 4.383s zeus02 269889536 true 6.649s 4.060s zeus03 241119232
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-pctv452e.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 66.323s 36.046s 1365213184 zeus20 1 true 15.582s 8.743s zeus10 463253504 true 10.693s 6.102s zeus01 362070016
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 85.742s 43.690s 1431957504 zeus23 1 true 13.906s 7.902s zeus12 379969536 true 9.543s 5.523s zeus09 280686592
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-ttusb2.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 50.841s 26.290s 877322240 zeus16 1 true 13.620s 7.837s zeus05 437923840 true 9.798s 5.651s zeus15 279560192
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 11.677s 6.559s 313569280 zeus20 1 true 6.908s 4.243s zeus19 259858432 true 6.904s 4.179s zeus22 239996928
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-vp7045.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 81.135s 45.140s 2535919616 zeus09 1 true 16.299s 9.103s zeus09 430727168 true 10.236s 5.834s zeus08 497078272
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 92.920s 52.376s 2497622016 zeus05 1 true 21.679s 11.883s zeus10 640659456 true 11.569s 6.653s zeus21 615772160
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--mxl111sf-demod.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 229.477s 127.407s 5344989184 zeus04 3 error (recursion) 11.004s 6.407s zeus07 370814976 error (recursion) 9.409s 5.381s zeus13 266084352
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 902.249s 453.353s 7386148864 zeus20 1 error (recursion) 27.616s 14.946s zeus05 670515200 error (recursion) 13.360s 7.392s zeus14 311681024
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 901.737s 452.665s 5948911616 zeus03 1 error (recursion) 16.842s 9.553s zeus22 533610496 error (recursion) 11.006s 6.289s zeus08 300744704
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 901.259s 452.756s 7631503360 zeus08 3 error (recursion) 23.035s 12.730s zeus20 710369280 error (recursion) 9.685s 5.645s zeus18 278781952
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--dvb_dummy_fe.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 37.910s 20.111s 1235861504 zeus24 3 error (recursion) 6.143s 3.738s zeus15 235368448 error (recursion) 5.761s 3.639s zeus20 211091456
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--ec100.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 60.768s 32.021s 2356338688 zeus14 3 error (recursion) 6.353s 3.946s zeus06 243761152 error (recursion) 5.748s 3.511s zeus04 209297408
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 6.697s 4.058s 241983488 zeus02 2 true 5.293s 3.306s zeus09 217186304 true 5.111s 3.172s zeus13 193335296
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 6.154s 3.781s 235708416 zeus01 1 true 4.850s 3.107s zeus08 215367680 true 4.898s 3.095s zeus22 195297280
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 901.510s 452.622s 6766063616 zeus07 1 error (recursion) 15.909s 8.854s zeus15 423890944 error (recursion) 13.689s 7.563s zeus18 341626880
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 6.697s 4.006s 239439872 zeus24 1 true 5.132s 3.256s zeus19 220069888 true 5.135s 3.187s zeus19 194695168
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 6.351s 3.886s 236498944 zeus24 1 true 5.019s 3.220s zeus03 222474240 true 5.119s 3.180s zeus24 194691072
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 901.047s 452.979s 7228383232 zeus11 1 error (recursion) 7.534s 4.652s zeus07 265125888 error (recursion) 6.823s 4.174s zeus08 227188736
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 15.065s 8.272s 369770496 zeus06 1 true 6.699s 4.206s zeus19 254857216 true 5.930s 3.676s zeus12 207597568
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--frontends--tda18271c2dd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 685.681s 344.729s 7186362368 zeus04 1 true 19.555s 10.681s zeus14 528318464 true 9.735s 5.592s zeus15 264986624
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 10.350s 5.835s 297484288 zeus21 1 true 6.148s 3.862s zeus23 239632384 true 5.543s 3.379s zeus07 205266944
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 12.729s 7.073s 333479936 zeus03 1 true 6.806s 4.237s zeus21 250880000 true 5.886s 3.615s zeus14 206286848
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--ttpci--budget-patch.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 23.307s 12.509s 633495552 zeus18 1 true 10.192s 5.942s zeus17 313503744 true 8.918s 5.164s zeus05 269320192
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--ttpci--budget.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 76.300s 39.728s 2395176960 zeus18 1 true 30.400s 16.690s zeus17 736534528 true 12.442s 7.278s zeus15 328851456
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 4.785s 2.987s 202543104 zeus21 1 true 3.894s 2.626s zeus09 189599744 true 3.531s 2.234s zeus23 157573120
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-alink-dtu-m.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.612s 2.877s 201973760 zeus21 1 true 3.712s 2.442s zeus10 191844352 true 3.454s 2.268s zeus24 157048832
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 4.877s 2.988s 205352960 zeus15 1 true 3.824s 2.520s zeus03 190787584 true 3.716s 2.452s zeus21 159539200
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 4.962s 3.037s 204066816 zeus01 1 true 3.751s 2.494s zeus18 191143936 true 3.469s 2.279s zeus17 157700096
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 4.694s 2.921s 204886016 zeus18 1 true 3.807s 2.497s zeus09 190296064 true 3.786s 2.506s zeus23 157106176
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 4.634s 2.866s 204201984 zeus12 1 true 4.055s 2.629s zeus13 191135744 true 3.468s 2.247s zeus20 156160000
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 4.898s 3.019s 205209600 zeus13 3 true 3.994s 2.625s zeus16 192319488 true 3.428s 2.205s zeus20 154632192
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 5.126s 3.095s 210137088 zeus22 2 true 3.787s 2.494s zeus24 189853696 true 3.619s 2.321s zeus13 157982720
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 4.853s 3.006s 205852672 zeus15 1 true 4.020s 2.600s zeus15 192634880 true 3.592s 2.296s zeus21 155807744
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 4.983s 3.045s 204763136 zeus13 1 true 4.006s 2.565s zeus14 194285568 true 3.409s 2.235s zeus13 155197440
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-avermedia-m135a.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.877s 3.030s 206254080 zeus11 1 true 3.872s 2.492s zeus17 190894080 true 3.528s 2.297s zeus09 157106176
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 4.916s 3.058s 204029952 zeus18 1 true 3.792s 2.525s zeus24 192307200 true 3.776s 2.462s zeus08 159592448
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 4.852s 2.998s 203411456 zeus08 1 true 3.698s 2.458s zeus20 189513728 true 3.365s 2.189s zeus11 162463744
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 4.781s 3.221s 206962688 zeus22 1 true 3.902s 2.528s zeus24 192212992 true 3.465s 2.307s zeus15 157057024
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 4.856s 2.953s 200028160 zeus14 1 true 3.841s 2.504s zeus06 191356928 true 3.780s 2.462s zeus21 158208000
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 4.708s 2.935s 206204928 zeus07 1 true 3.816s 2.555s zeus20 188260352 true 4.047s 2.655s zeus19 158437376
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-behold-columbus.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.940s 3.060s 204046336 zeus18 1 true 3.688s 2.441s zeus16 189706240 true 3.439s 2.278s zeus20 153817088
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 4.758s 2.994s 197562368 zeus01 1 true 4.101s 2.633s zeus04 193003520 true 3.537s 2.257s zeus22 159838208
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 4.927s 3.035s 204349440 zeus15 1 true 3.854s 2.553s zeus23 191905792 true 3.677s 2.370s zeus13 152911872
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-cinergy-1400.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.839s 2.959s 203923456 zeus09 1 true 3.959s 2.621s zeus22 195997696 true 3.440s 2.271s zeus10 152457216
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 4.615s 2.921s 206290944 zeus17 1 true 3.676s 2.470s zeus20 188755968 true 3.500s 2.238s zeus14 156315648
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 4.546s 2.857s 205938688 zeus07 1 true 3.710s 2.473s zeus23 191840256 true 3.803s 2.455s zeus15 158834688
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 4.750s 2.926s 207212544 zeus02 1 true 3.893s 2.565s zeus05 194605056 true 3.588s 2.350s zeus02 159989760
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 4.556s 2.886s 207855616 zeus11 1 true 3.788s 2.486s zeus14 191488000 true 3.590s 2.344s zeus19 159965184
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 4.697s 2.914s 207609856 zeus07 1 true 3.669s 2.472s zeus06 192512000 true 3.575s 2.306s zeus23 157908992
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 4.501s 2.798s 204132352 zeus07 1 true 3.948s 2.582s zeus19 191557632 true 3.371s 2.170s zeus01 157110272
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 4.786s 3.174s 204169216 zeus08 1 true 3.993s 2.568s zeus22 194088960 true 3.731s 2.409s zeus07 158334976
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 4.644s 2.921s 203677696 zeus18 1 true 4.123s 2.726s zeus17 192552960 true 3.419s 2.206s zeus05 156004352
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 4.640s 2.927s 203894784 zeus18 1 true 3.865s 2.551s zeus10 189947904 true 3.655s 2.332s zeus03 160362496
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 4.644s 2.940s 202072064 zeus21 1 true 4.037s 2.653s zeus20 187191296 true 3.391s 2.211s zeus24 157696000
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 4.745s 2.965s 207073280 zeus24 1 true 3.937s 2.542s zeus11 195002368 true 3.637s 2.352s zeus04 159531008
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 4.358s 2.748s 197369856 zeus01 1 true 3.856s 2.511s zeus13 188432384 true 3.361s 2.175s zeus06 159817728
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 4.747s 2.985s 203071488 zeus17 1 true 3.672s 2.409s zeus15 190922752 true 3.547s 2.419s zeus21 153796608
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 4.471s 2.827s 199720960 zeus18 1 true 3.701s 2.443s zeus19 190296064 true 3.515s 2.321s zeus08 158269440
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 4.873s 3.084s 204840960 zeus04 1 true 3.661s 2.425s zeus12 188624896 true 3.579s 2.368s zeus08 155316224
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-flyvideo.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.751s 3.176s 202588160 zeus13 1 true 3.884s 2.514s zeus14 192720896 true 3.652s 2.330s zeus07 159776768
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-fusionhdtv-mce.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.540s 2.819s 203161600 zeus23 1 true 3.747s 2.449s zeus19 192499712 true 3.440s 2.265s zeus18 158797824
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 4.727s 2.913s 204296192 zeus18 1 true 4.029s 2.547s zeus15 193978368 true 3.345s 2.156s zeus05 150773760
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 4.399s 2.790s 197877760 zeus01 1 true 3.676s 2.447s zeus22 192061440 true 3.379s 2.219s zeus20 154308608
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 4.569s 2.848s 202539008 zeus16 1 true 3.694s 2.452s zeus20 188149760 true 3.622s 2.302s zeus18 159518720
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 5.292s 3.238s 211038208 zeus06 2 true 4.040s 2.637s zeus18 195203072 true 3.452s 2.261s zeus09 160858112
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 4.499s 2.791s 203112448 zeus19 1 true 4.069s 2.611s zeus05 193044480 true 3.563s 2.324s zeus07 160014336
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 4.841s 3.016s 204644352 zeus16 1 true 3.963s 2.597s zeus06 190779392 true 3.333s 2.194s zeus01 158564352
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 4.979s 3.007s 208572416 zeus22 1 true 3.884s 2.561s zeus17 191938560 true 3.317s 2.193s zeus16 155316224
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 4.633s 2.887s 206106624 zeus09 1 true 3.795s 2.476s zeus17 190312448 true 3.602s 2.406s zeus03 160550912
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 5.171s 3.143s 209342464 zeus09 3 true 4.274s 2.826s zeus14 193216512 true 3.778s 2.458s zeus12 160395264
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 4.707s 2.937s 203526144 zeus06 1 true 3.816s 2.520s zeus22 195497984 true 3.805s 2.421s zeus22 162930688
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 5.051s 3.213s 204873728 zeus16 1 true 3.775s 2.418s zeus05 190439424 true 3.452s 2.269s zeus01 158437376
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 4.493s 2.853s 200175616 zeus01 1 true 3.696s 2.433s zeus24 190730240 true 3.412s 2.212s zeus02 156450816
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-kworld-plus-tv-analog.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.796s 2.965s 200146944 zeus12 1 true 3.682s 2.463s zeus03 191889408 true 3.435s 2.202s zeus14 155049984
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 4.699s 2.941s 210817024 zeus22 1 true 3.566s 2.367s zeus01 189890560 true 3.459s 2.205s zeus14 158646272
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 4.717s 2.887s 201629696 zeus16 2 true 3.855s 2.521s zeus24 192094208 true 3.395s 2.196s zeus10 151666688
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 4.996s 3.098s 203894784 zeus17 1 true 3.651s 2.468s zeus06 190455808 true 3.500s 2.285s zeus12 158466048
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-manli.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.542s 2.799s 203669504 zeus14 1 true 3.688s 2.487s zeus18 190664704 true 3.407s 2.258s zeus17 157229056
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 4.982s 3.058s 203370496 zeus14 2 true 4.070s 2.617s zeus09 191774720 true 3.441s 2.253s zeus14 158744576
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 4.815s 2.968s 200015872 zeus15 1 true 3.923s 2.573s zeus24 191209472 true 3.325s 2.147s zeus14 154501120
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 4.859s 3.073s 197750784 zeus20 1 true 4.000s 2.560s zeus12 190771200 true 3.411s 2.198s zeus22 160346112
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 4.849s 3.021s 202117120 zeus22 1 true 3.700s 2.444s zeus08 190599168 true 3.419s 2.211s zeus08 155209728
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-msi-tvanywhere.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.604s 2.893s 205967360 zeus03 1 true 3.780s 2.481s zeus18 190951424 true 3.573s 2.281s zeus19 157835264
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 4.687s 2.899s 204537856 zeus19 1 true 4.094s 2.638s zeus24 192389120 true 3.676s 2.435s zeus10 155410432
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 4.873s 3.080s 203984896 zeus05 1 true 3.979s 2.556s zeus23 192851968 true 3.321s 2.183s zeus16 156147712
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 4.906s 3.119s 204767232 zeus23 1 true 3.851s 2.511s zeus17 191086592 true 3.514s 2.292s zeus03 158642176
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-npgtech.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.913s 3.044s 197677056 zeus05 1 true 3.706s 2.443s zeus05 191000576 true 3.368s 2.201s zeus04 158380032
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 4.616s 2.914s 198561792 zeus05 1 true 3.619s 2.388s zeus15 190935040 true 3.408s 2.211s zeus23 159383552
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 4.718s 2.972s 201900032 zeus10 1 true 3.768s 2.489s zeus23 192696320 true 3.513s 2.329s zeus16 155480064
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 4.879s 2.968s 207290368 zeus06 2 true 3.631s 2.425s zeus21 189198336 true 3.432s 2.207s zeus13 155246592
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 4.650s 2.899s 207859712 zeus15 1 true 3.722s 2.435s zeus12 187834368 true 3.667s 2.335s zeus07 160038912
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 4.634s 2.886s 206065664 zeus11 1 true 4.139s 2.740s zeus20 187998208 true 3.305s 2.169s zeus20 156004352
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 4.746s 2.986s 196767744 zeus10 1 true 4.015s 2.597s zeus21 193212416 true 3.465s 2.262s zeus11 162054144
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 5.110s 3.138s 204750848 zeus09 1 true 3.858s 2.507s zeus05 187183104 true 3.555s 2.285s zeus24 157437952
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 4.571s 2.861s 198819840 zeus13 1 true 3.896s 2.527s zeus12 188215296 true 3.504s 2.265s zeus03 160333824
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-powercolor-real-angel.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.512s 2.873s 200249344 zeus12 1 true 3.652s 2.425s zeus03 189898752 true 3.496s 2.261s zeus11 160104448
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-proteus-2309.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.815s 2.986s 200830976 zeus05 1 true 3.823s 2.517s zeus04 191844352 true 3.747s 2.544s zeus23 156954624
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 5.098s 3.091s 207585280 zeus16 1 true 3.778s 2.462s zeus14 192417792 true 3.476s 2.221s zeus13 157270016
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 4.721s 2.882s 203587584 zeus23 1 true 4.076s 2.664s zeus24 192937984 true 3.631s 2.336s zeus23 156778496
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 4.707s 2.934s 206864384 zeus12 1 true 3.777s 2.522s zeus10 188276736 true 3.451s 2.274s zeus09 158191616
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 4.538s 2.934s 199487488 zeus20 1 true 3.790s 2.496s zeus17 190353408 true 3.569s 2.257s zeus07 160940032
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 4.581s 2.870s 203780096 zeus04 1 true 3.683s 2.417s zeus21 188710912 true 3.446s 2.301s zeus09 156721152
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 4.505s 2.796s 204914688 zeus22 1 true 3.863s 2.487s zeus19 189255680 true 3.302s 2.181s zeus13 156307456
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 4.784s 2.978s 203853824 zeus09 1 true 3.699s 2.452s zeus03 192065536 true 3.393s 2.208s zeus19 156463104
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 5.045s 3.071s 209174528 zeus08 1 true 3.577s 2.393s zeus17 190984192 true 3.371s 2.181s zeus04 158261248
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 4.918s 3.049s 207409152 zeus24 1 true 3.822s 2.555s zeus04 193044480 true 3.437s 2.247s zeus18 161726464
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-terratec-slim-2.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.788s 2.952s 204259328 zeus14 1 true 3.764s 2.476s zeus06 194043904 true 3.539s 2.334s zeus07 158650368
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 4.548s 2.859s 204607488 zeus06 1 true 3.815s 2.491s zeus13 188170240 true 3.542s 2.295s zeus23 156803072
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 4.880s 2.970s 205815808 zeus19 1 true 3.658s 2.403s zeus07 191713280 true 3.514s 2.320s zeus05 154509312
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-tivo.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.770s 3.014s 204226560 zeus11 1 true 3.639s 2.420s zeus03 190369792 true 3.480s 2.244s zeus16 153915392
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 4.709s 2.924s 204431360 zeus13 1 true 3.934s 2.553s zeus11 193896448 true 3.684s 2.369s zeus13 156745728
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--rc--keymaps--rc-trekstor.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.811s 2.998s 204992512 zeus11 1 true 4.096s 2.631s zeus07 191107072 true 3.356s 2.169s zeus05 156418048
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 4.936s 3.055s 205684736 zeus14 1 true 4.020s 2.598s zeus12 191463424 true 3.473s 2.265s zeus21 156258304
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 4.384s 2.773s 202448896 zeus04 1 true 3.729s 2.469s zeus14 188035072 true 3.620s 2.368s zeus02 160034816
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 4.914s 3.093s 206430208 zeus18 1 true 3.647s 2.433s zeus21 190455808 true 3.873s 2.582s zeus18 160239616
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 4.727s 2.888s 203046912 zeus13 1 true 3.891s 2.609s zeus13 189612032 true 3.860s 2.432s zeus17 162197504
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 4.988s 3.091s 205524992 zeus19 1 true 3.790s 2.499s zeus05 191037440 true 3.508s 2.299s zeus21 153952256
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 4.819s 3.015s 208633856 zeus22 1 true 3.772s 2.474s zeus22 196210688 true 3.481s 2.205s zeus08 159596544
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 4.569s 2.873s 205967360 zeus06 1 true 3.883s 2.509s zeus10 189997056 true 3.357s 2.185s zeus05 157110272
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 151.803s 77.881s 4988682240 zeus09 1 true 28.273s 15.522s zeus09 714977280 true 10.490s 6.005s zeus10 292970496
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 9.583s 5.453s 292855808 zeus05 1 true 6.302s 3.930s zeus11 252559360 true 6.368s 3.804s zeus07 225226752
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 901.957s 453.441s 6253195264 zeus14 2 error (recursion) 17.423s 9.613s zeus21 457805824 error (recursion) 12.790s 7.118s zeus12 330391552
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 20.415s 11.118s 488177664 zeus14 1 true 6.466s 4.137s zeus06 250970112 true 5.873s 3.681s zeus06 213991424
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 13.428s 7.418s 351301632 zeus06 1 true 6.327s 3.978s zeus18 251981824 true 5.907s 3.663s zeus08 208490496
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 85.669s 43.617s 2543493120 zeus05 1 true 8.219s 5.089s zeus16 278904832 true 6.100s 3.692s zeus24 220377088
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 60.688s 31.076s 1277440000 zeus17 1 true 10.045s 5.954s zeus15 280186880 true 6.431s 3.927s zeus21 224874496
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 14.645s 7.973s 379633664 zeus01 1 true 6.470s 4.119s zeus16 247001088 true 5.591s 3.533s zeus23 213921792
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 37.806s 19.654s 648966144 zeus15 1 true 18.920s 10.418s zeus15 527024128 true 7.820s 4.683s zeus04 237195264
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 74.808s 38.185s 2227519488 zeus16 1 true 17.190s 9.643s zeus02 443125760 true 6.722s 4.234s zeus18 206389248
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 6.930s 4.126s 238399488 zeus10 1 true 4.567s 2.989s zeus21 209612800 true 4.284s 2.693s zeus17 174743552
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 178.456s 90.280s 5456240640 zeus23 1 true 13.061s 7.435s zeus19 378728448 true 8.121s 4.884s zeus07 246149120
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 25.237s 13.393s 647794688 zeus18 1 true 7.259s 4.449s zeus18 259018752 true 4.881s 3.120s zeus01 181768192
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 6.686s 3.948s 232534016 zeus20 1 true 4.979s 3.257s zeus18 209915904 true 4.255s 2.688s zeus14 173252608
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--mfd--tps6105x.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 21.715s 11.569s 530616320 zeus16 1 true 6.186s 3.993s zeus04 234319872 true 5.460s 3.426s zeus14 219688960
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 8.965s 5.123s 264830976 zeus10 1 true 5.172s 3.357s zeus11 223166464 true 4.558s 2.935s zeus16 183902208
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 13.426s 7.460s 342777856 zeus08 1 true 5.636s 3.692s zeus21 227618816 true 5.196s 3.414s zeus08 185790464
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 10.920s 6.139s 306806784 zeus06 1 true 6.295s 3.962s zeus15 238710784 true 5.426s 3.358s zeus04 196845568
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 17.713s 9.603s 399810560 zeus19 1 true 7.065s 4.433s zeus13 245260288 true 5.478s 3.399s zeus15 190394368
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 36.421s 20.053s 1276407808 zeus12 1 true 7.491s 4.689s zeus07 262471680 true 5.502s 3.471s zeus18 203104256
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 20.229s 10.842s 503488512 zeus07 1 true 6.025s 3.849s zeus02 234344448 true 5.362s 3.381s zeus15 191139840
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 11.418s 6.475s 315977728 zeus02 1 true 7.248s 4.523s zeus23 251478016 true 5.538s 3.521s zeus23 195289088
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 7.456s 4.296s 242892800 zeus13 1 true 4.352s 2.833s zeus19 198922240 true 4.014s 2.639s zeus17 160624640
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 12.992s 7.413s 351457280 zeus01 1 true 6.846s 4.323s zeus04 244576256 true 5.449s 3.400s zeus08 193527808
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 9.848s 5.597s 282972160 zeus03 1 true 5.397s 3.530s zeus05 221626368 true 4.691s 3.010s zeus10 182272000
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 8.998s 5.174s 274722816 zeus20 1 true 5.422s 3.513s zeus03 228130816 true 5.445s 3.417s zeus17 193966080
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 5.880s 3.622s 229507072 zeus20 1 true 4.913s 3.156s zeus14 211259392 true 4.689s 2.923s zeus21 178151424
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 timeout 904.264s 454.554s 9598595072 zeus18 2 error (recursion) 5.537s 3.505s zeus13 219787264 error (recursion) 5.383s 3.347s zeus21 186101760
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 27.054s 14.242s 642342912 zeus06 1 true 8.648s 5.144s zeus22 284213248 true 7.035s 4.305s zeus08 223281152
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 999.356s 502.186s 9098964992 zeus02 - true 11.347s 6.532s zeus09 327962624 true 8.000s 4.742s zeus17 231915520
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 20.652s 11.424s 627961856 zeus04 1 true 5.341s 3.485s zeus15 221200384 true 4.388s 2.785s zeus12 171786240
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 23.293s 13.356s 651337728 zeus04 1 true 6.765s 4.108s zeus14 245653504 true 6.344s 3.808s zeus20 216367104
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 23.598s 12.472s 625696768 zeus21 1 true 9.081s 5.434s zeus15 267718656 true 5.903s 3.667s zeus23 201093120
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--mtd--devices--mtdram.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.925s 4.134s 240652288 zeus23 1 true 5.534s 3.538s zeus13 215367680 true 4.247s 2.762s zeus03 176553984
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--mtd--devices--phram.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 13.959s 7.647s 386592768 zeus22 1 true 7.886s 4.792s zeus13 254423040 true 4.976s 3.268s zeus24 185384960
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--mtd--devices--slram.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 40.495s 20.970s 799629312 zeus06 1 true 8.438s 5.100s zeus08 282624000 true 6.282s 3.838s zeus04 207085568
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--mtd--ftl.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 941.595s 473.118s 8761528320 zeus16 1 true 22.124s 12.102s zeus07 646496256 true 8.520s 5.049s zeus07 265158656
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--mtd--inftl.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 903.481s 453.874s 7897985024 zeus14 1 error (recursion) 9.735s 5.624s zeus06 285663232 error (recursion) 9.024s 5.183s zeus16 246648832
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--mtd--maps--intel_vr_nor.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 14.947s 8.173s 396066816 zeus19 1 true 8.949s 5.319s zeus12 286531584 true 5.415s 3.391s zeus03 202473472
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--mtd--maps--netsc520.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.369s 3.300s 214151168 zeus12 1 true 4.428s 2.924s zeus03 205692928 true 3.934s 2.562s zeus08 167313408
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--mtd--maps--nettel.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.632s 4.029s 236896256 zeus08 1 true 5.125s 3.351s zeus06 220807168 true 4.649s 2.963s zeus17 180125696
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--mtd--maps--sbc_gxx.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 20.697s 11.009s 573923328 zeus05 1 true 5.088s 3.394s zeus24 214736896 true 4.347s 2.803s zeus20 175996928
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--mtd--maps--ts5500_flash.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.734s 3.487s 224989184 zeus11 1 true 4.404s 2.875s zeus16 200232960 true 3.982s 2.595s zeus20 166588416
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--mtd--mtdblock_ro.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.116s 4.301s 237932544 zeus17 1 true 4.523s 3.003s zeus23 202227712 true 4.184s 2.634s zeus04 169512960
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--mtd--mtdoops.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 48.773s 25.159s 734126080 zeus17 2 true 9.262s 5.450s zeus15 280199168 true 6.695s 4.095s zeus03 213229568
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--mtd--nftl.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 900.937s 452.629s 7315243008 zeus08 1 error (recursion) 8.972s 5.231s zeus08 280150016 error (recursion) 8.761s 5.043s zeus15 247681024
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--mtd--onenand--onenand_sim.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 12.151s 6.794s 334131200 zeus23 1 true 6.487s 4.088s zeus18 245444608 true 5.932s 3.742s zeus11 201236480
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--mtd--tests--mtd_oobtest.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 900.987s 453.226s 8905273344 zeus09 1 true 24.529s 13.366s zeus15 662847488 true 8.587s 4.958s zeus07 234434560
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--mtd--tests--mtd_pagetest.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 952.821s 479.456s 9248157696 zeus19 1 true 12.664s 7.348s zeus20 349503488 true 7.022s 4.401s zeus12 215318528
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--mtd--tests--mtd_subpagetest.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 939.359s 472.734s 9178406912 zeus09 1 true 11.971s 6.994s zeus09 340160512 true 6.846s 4.152s zeus16 213106688
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--mtd--ubi--gluebi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 34.876s 18.211s 647110656 zeus18 1 true 7.143s 4.452s zeus11 249688064 true 5.880s 3.696s zeus19 200228864
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--arcnet--arc-rawmode.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 14.108s 7.751s 396730368 zeus04 1 true 6.693s 4.245s zeus11 257331200 true 6.353s 3.913s zeus08 243539968
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--arcnet--com20020_cs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 51.017s 26.292s 1268883456 zeus20 1 true 10.782s 6.256s zeus14 320016384 true 7.315s 4.359s zeus05 234467328
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--arcnet--rfc1051.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 12.635s 7.026s 320516096 zeus08 1 true 7.732s 4.706s zeus03 263417856 true 6.700s 4.019s zeus13 243920896
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--arcnet--rfc1201.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 28.527s 15.009s 654483456 zeus02 1 true 13.807s 7.822s zeus17 424873984 true 9.666s 5.554s zeus09 283303936
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--irda--act200l-sir.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 12.773s 7.082s 337911808 zeus23 1 true 6.673s 4.099s zeus09 250023936 true 6.064s 3.678s zeus06 221503488
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--irda--esi-sir.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 9.033s 5.198s 283975680 zeus08 1 true 6.175s 3.868s zeus20 239321088 true 6.055s 3.614s zeus14 211853312
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--irda--girbil-sir.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 12.276s 6.793s 328085504 zeus15 1 true 6.573s 4.186s zeus19 246251520 true 5.973s 3.642s zeus23 222044160
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--irda--litelink-sir.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 14.170s 7.691s 353349632 zeus15 1 true 6.182s 3.842s zeus08 245305344 true 6.085s 3.719s zeus16 216100864
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--irda--ma600-sir.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 13.746s 7.727s 335314944 zeus02 2 true 6.082s 3.883s zeus17 247361536 true 6.194s 3.744s zeus02 216477696
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--irda--mcp2120-sir.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 12.340s 6.844s 315666432 zeus17 1 true 6.284s 3.935s zeus11 252833792 true 6.258s 3.815s zeus07 221396992
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--irda--old_belkin-sir.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 9.551s 5.483s 285085696 zeus01 2 true 6.166s 3.936s zeus16 244756480 true 5.782s 3.560s zeus16 215838720
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--irda--tekram-sir.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 12.336s 6.852s 312086528 zeus23 2 true 6.007s 3.820s zeus15 246468608 true 6.020s 3.657s zeus07 222748672
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--phy--amd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.872s 4.060s 240177152 zeus08 1 true 5.121s 3.320s zeus06 219877376 true 5.196s 3.233s zeus07 191156224
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--phy--broadcom.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 129.205s 65.517s 4703133696 zeus05 2 true 22.887s 12.650s zeus09 684118016 true 12.929s 7.499s zeus16 345223168
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--phy--cicada.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.062s 4.183s 261935104 zeus04 1 true 5.756s 3.577s zeus03 239812608 true 5.859s 3.566s zeus04 213184512
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--phy--davicom.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 10.538s 5.900s 304959488 zeus18 1 true 6.440s 4.069s zeus12 243445760 true 6.208s 3.752s zeus05 216932352
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--phy--et1011c.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 8.655s 5.033s 287449088 zeus06 1 true 6.005s 3.712s zeus20 235134976 true 5.541s 3.408s zeus13 212135936
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--phy--icplus.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.872s 4.569s 265641984 zeus05 1 true 5.831s 3.649s zeus13 244064256 true 5.981s 3.632s zeus15 216477696
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--phy--lxt.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 10.730s 5.967s 299261952 zeus17 1 true 6.514s 4.065s zeus09 249835520 true 5.884s 3.634s zeus20 216236032
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--phy--marvell.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 10.395s 5.925s 311771136 zeus06 1 true 6.852s 4.159s zeus01 249069568 true 6.662s 4.074s zeus11 250343424
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--phy--micrel.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 11.139s 6.263s 313167872 zeus03 1 true 6.437s 4.052s zeus09 236531712 true 5.284s 3.371s zeus01 199344128
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--phy--national.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 10.271s 5.793s 296198144 zeus18 1 true 6.473s 4.059s zeus19 249901056 true 6.205s 3.783s zeus17 214142976
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--phy--qsemi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 8.175s 4.698s 269836288 zeus10 1 true 5.872s 3.738s zeus19 241856512 true 5.578s 3.456s zeus16 212570112
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--phy--realtek.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.352s 3.846s 233607168 zeus05 1 true 4.684s 3.057s zeus16 213331968 true 4.574s 2.878s zeus08 186580992
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--phy--smsc.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 11.638s 6.438s 328859648 zeus09 1 true 7.427s 4.440s zeus13 257359872 true 6.169s 3.799s zeus09 226947072
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--phy--spi_ks8995.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 18.390s 9.866s 437714944 zeus12 1 true 10.332s 6.198s zeus07 303210496 true 5.577s 3.432s zeus16 194039808
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--phy--ste10Xp.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 9.860s 5.596s 286470144 zeus05 1 true 6.443s 3.967s zeus13 243527680 true 6.189s 3.780s zeus14 216444928
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--phy--vitesse.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.575s 3.955s 236412928 zeus10 1 true 5.204s 3.354s zeus13 214642688 true 4.698s 3.010s zeus11 193921024
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--ppp--bsd_comp.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 30.405s 15.995s 649715712 zeus21 1 true 14.173s 8.092s zeus15 494960640 true 6.779s 4.085s zeus10 206872576
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--ppp--ppp_mppe.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 85.673s 43.694s 1308958720 zeus07 1 true 26.378s 14.332s zeus18 675856384 true 11.231s 6.500s zeus01 276426752
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--sungem_phy.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 901.595s 453.148s 7814311936 zeus08 1 error (recursion) 7.273s 4.418s zeus11 253988864 error (recursion) 6.512s 3.918s zeus05 219131904
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--team--team_mode_activebackup.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 14.481s 7.868s 359657472 zeus08 2 true 6.331s 3.927s zeus22 245927936 true 6.018s 3.642s zeus13 210489344
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--team--team_mode_roundrobin.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 24.091s 13.312s 650133504 zeus01 1 true 6.454s 4.039s zeus12 249901056 true 5.767s 3.526s zeus17 215195648
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--tokenring--abyss.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 52.042s 26.783s 772005888 zeus18 1 true 27.550s 15.977s zeus15 696340480 true 9.264s 5.515s zeus18 264740864
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--usb--cdc_subset.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.518s 4.385s 262594560 zeus10 1 true 5.725s 3.571s zeus10 239747072 true 5.508s 3.384s zeus08 215937024
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--usb--plusb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 8.256s 4.865s 268632064 zeus12 1 true 6.002s 3.747s zeus22 246849536 true 5.763s 3.548s zeus06 219312128
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--wireless--airo_cs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 14.317s 7.820s 346968064 zeus16 1 true 7.384s 4.517s zeus24 256425984 true 6.204s 3.698s zeus01 217247744
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--wireless--ath--ath6kl--ath6kl_usb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 24.538s 13.137s 626978816 zeus05 1 true 9.950s 5.857s zeus15 304316416 true 7.564s 4.532s zeus11 259543040
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--wireless--mwifiex--mwifiex_pcie.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 901.088s 452.697s 7949373440 zeus08 1 true 35.306s 18.947s zeus14 751329280 true 13.946s 7.876s zeus17 362196992
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--wireless--orinoco--orinoco_nortel.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 19.757s 10.613s 504172544 zeus09 1 true 8.936s 5.324s zeus23 284471296 true 6.265s 3.756s zeus09 224124928
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--wireless--orinoco--orinoco_pci.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 15.375s 8.486s 402280448 zeus06 1 true 6.942s 4.262s zeus01 252317696 true 6.377s 3.832s zeus24 222810112
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--wireless--orinoco--orinoco_tmd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 11.224s 6.253s 307273728 zeus05 1 true 6.987s 4.321s zeus24 249688064 true 5.949s 3.569s zeus20 218304512
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--wireless--wl1251--wl1251_spi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 19.468s 10.426s 436748288 zeus12 1 true 9.656s 5.724s zeus09 298766336 true 6.839s 4.156s zeus21 232464384
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--net--wireless--wl12xx--wl12xx_sdio.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 28.407s 14.942s 654401536 zeus03 1 true 10.663s 6.197s zeus08 320454656 true 7.908s 4.654s zeus11 242331648
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--parport--parport_cs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 15.714s 8.570s 370900992 zeus14 1 true 7.171s 4.413s zeus10 258355200 true 5.727s 3.515s zeus22 206831616
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--pci--hotplug--cpcihp_generic.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 12.050s 6.744s 322347008 zeus06 1 true 8.317s 5.120s zeus18 272846848 true 5.967s 3.684s zeus16 209539072
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--pci--ioapic.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 8.555s 4.953s 271978496 zeus23 1 true 5.738s 3.650s zeus15 227979264 true 4.846s 3.029s zeus20 190697472
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--pci--pci-stub.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.591s 4.461s 251592704 zeus22 1 true 4.733s 3.162s zeus17 207687680 true 4.387s 2.816s zeus22 179675136
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--platform--x86--asus-nb-wmi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.565s 3.963s 244920320 zeus18 1 true 5.066s 3.227s zeus15 214806528 true 4.671s 2.962s zeus03 191193088
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--platform--x86--dell-wmi-aio.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 9.156s 5.252s 274567168 zeus11 1 true 5.091s 3.388s zeus19 223174656 true 4.731s 3.016s zeus18 196120576
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--platform--x86--intel_menlow.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 17.237s 9.376s 426704896 zeus22 1 true 7.304s 4.530s zeus22 263639040 true 6.432s 3.896s zeus11 218120192
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--platform--x86--mxm-wmi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.286s 3.866s 236425216 zeus22 1 true 5.103s 3.181s zeus13 212324352 true 4.602s 2.916s zeus06 196816896
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--platform--x86--panasonic-laptop.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 67.334s 34.469s 1379655680 zeus15 1 true 11.685s 6.634s zeus10 335884288 true 6.631s 4.019s zeus21 225640448
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--platform--x86--topstar-laptop.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 15.569s 8.531s 410021888 zeus22 2 true 5.537s 3.601s zeus21 225153024 true 4.991s 3.193s zeus20 196636672
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--platform--x86--toshiba_bluetooth.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 9.236s 5.285s 282214400 zeus18 1 true 5.006s 3.320s zeus23 219594752 true 4.751s 3.040s zeus02 189706240
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--platform--x86--xo15-ebook.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 11.134s 6.251s 315097088 zeus20 1 true 5.745s 3.720s zeus24 232833024 true 4.960s 3.142s zeus07 198787072
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--power--max8903_charger.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 46.272s 23.843s 716353536 zeus23 2 true 11.182s 6.398s zeus08 310210560 true 6.058s 3.687s zeus13 189927424
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--power--test_power.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 108.653s 60.586s 4836880384 zeus16 2 true 6.214s 4.001s zeus24 233148416 true 6.269s 3.852s zeus18 207003648
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--power--wm831x_backup.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 9.657s 5.537s 276348928 zeus13 1 true 6.124s 3.846s zeus20 224849920 true 4.533s 2.880s zeus03 182611968
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--power--wm831x_power.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 60.053s 30.791s 949514240 zeus07 1 true 11.475s 6.577s zeus18 334041088 true 5.958s 3.683s zeus18 202407936
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--pps--clients--pps-ktimer.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.815s 3.535s 220475392 zeus18 1 true 4.272s 2.785s zeus15 197619712 true 4.140s 2.557s zeus19 165982208
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--pps--clients--pps-ldisc.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.521s 3.965s 241025024 zeus06 1 true 5.077s 3.279s zeus19 222060544 true 4.668s 2.951s zeus11 189865984
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--regulator--gpio-regulator.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 18.643s 10.046s 503271424 zeus20 1 true 10.721s 6.326s zeus12 339808256 true 5.901s 3.789s zeus23 203239424
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--regulator--max1586.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 58.139s 29.840s 1292509184 zeus13 1 true 6.625s 4.277s zeus23 242724864 true 5.278s 3.300s zeus07 193314816
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--regulator--max8649.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 20.710s 11.150s 604921856 zeus02 1 true 8.535s 5.130s zeus01 292626432 true 5.338s 3.380s zeus05 195088384
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--regulator--userspace-consumer.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.686s 4.440s 252162048 zeus21 1 true 5.731s 3.664s zeus06 225034240 true 4.438s 2.788s zeus02 175177728
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--regulator--virtual.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 8.371s 4.867s 268075008 zeus21 1 true 5.763s 3.663s zeus15 223645696 true 5.078s 3.132s zeus09 183619584
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--regulator--wm831x-dcdc.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 48.899s 25.271s 762003456 zeus03 1 true 23.844s 12.963s zeus19 707637248 true 9.016s 5.391s zeus09 266035200
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--regulator--wm831x-isink.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 13.156s 7.288s 350781440 zeus08 1 true 8.034s 4.934s zeus06 274575360 true 5.170s 3.270s zeus20 188481536
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--regulator--wm831x-ldo.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 30.927s 16.211s 682110976 zeus17 1 true 17.054s 9.485s zeus03 642584576 true 8.070s 4.849s zeus16 252121088
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--regulator--wm8400-regulator.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 15.930s 8.630s 452669440 zeus10 1 true 7.220s 4.471s zeus14 255307776 true 5.464s 3.382s zeus24 191623168
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--rtc--rtc-da9052.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 16.127s 8.822s 406880256 zeus11 1 true 8.461s 5.113s zeus17 273612800 true 5.588s 3.576s zeus11 196366336
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--rtc--rtc-ds1390.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 12.547s 7.048s 323895296 zeus08 1 true 7.754s 4.693s zeus18 259829760 true 5.278s 3.268s zeus12 200220672
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--rtc--rtc-ds1553.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 20.032s 10.760s 490364928 zeus09 1 true 10.090s 5.878s zeus20 299175936 true 6.540s 3.939s zeus20 214061056
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--rtc--rtc-ds3232.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 19.137s 10.242s 495259648 zeus19 1 true 11.531s 6.742s zeus24 344117248 true 6.575s 4.007s zeus04 227008512
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--rtc--rtc-ds3234.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 17.641s 9.481s 420298752 zeus02 1 true 7.785s 4.780s zeus10 256311296 true 5.236s 3.323s zeus09 196747264
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--rtc--rtc-m41t93.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 28.009s 15.038s 639647744 zeus15 1 true 9.570s 5.738s zeus14 277331968 true 5.889s 3.627s zeus18 216711168
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--rtc--rtc-m41t94.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 22.122s 11.988s 538779648 zeus06 1 true 8.265s 4.965s zeus16 263516160 true 6.083s 3.840s zeus02 205438976
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--rtc--rtc-m48t86.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 9.463s 5.359s 280797184 zeus13 1 true 6.133s 3.826s zeus10 233742336 true 5.362s 3.435s zeus15 188825600
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--rtc--rtc-max6902.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 13.888s 7.717s 342220800 zeus19 1 true 7.828s 4.781s zeus24 257007616 true 5.181s 3.242s zeus02 195166208
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--rtc--rtc-mc13xxx.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 33.259s 17.376s 662450176 zeus21 2 true 8.219s 4.965s zeus14 268554240 true 5.909s 3.640s zeus07 201330688
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--rtc--rtc-pcap.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 10.778s 6.064s 324677632 zeus13 1 true 5.451s 3.554s zeus18 224559104 true 4.748s 3.080s zeus19 186183680
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--rtc--rtc-pcf2123.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 54.843s 28.892s 1265254400 zeus10 1 true 12.059s 6.927s zeus05 343019520 true 6.627s 4.086s zeus11 222121984
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--rtc--rtc-r9701.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 59.306s 30.386s 774619136 zeus04 1 true 12.922s 7.304s zeus07 353038336 true 6.349s 3.951s zeus11 209371136
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--rtc--rtc-rs5c348.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 16.637s 8.996s 447922176 zeus11 1 true 9.383s 5.496s zeus14 289869824 true 5.617s 3.508s zeus16 208519168
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--rtc--rtc-stk17ta8.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 21.124s 11.306s 501145600 zeus05 1 true 10.749s 6.198s zeus20 301854720 true 6.885s 4.078s zeus03 216358912
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--rtc--rtc-test.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 9.214s 5.276s 271392768 zeus04 1 true 5.530s 3.538s zeus15 222326784 true 4.862s 3.193s zeus11 188915712
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--rtc--rtc-v3020.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 137.103s 69.487s 4992233472 zeus04 1 true 23.421s 13.235s zeus08 656785408 true 7.881s 4.676s zeus05 232898560
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--rtc--rtc-wm831x.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 17.274s 9.421s 430747648 zeus04 1 true 8.043s 4.893s zeus24 273641472 true 5.955s 3.767s zeus22 195080192
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--scsi--dmx3191d.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 902.638s 453.584s 8039088128 zeus03 1 true 14.099s 8.001s zeus07 381911040 true 9.561s 5.516s zeus10 276324352
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--scsi--iscsi_boot_sysfs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 52.916s 27.591s 2351017984 zeus09 2 error (recursion) 5.928s 3.711s zeus19 223588352 error (recursion) 5.521s 3.505s zeus17 183459840
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--scsi--pcmcia--sym53c500_cs.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 231.131s 116.713s 5791789056 zeus06 1 true 12.447s 7.083s zeus17 374505472 true 8.682s 5.110s zeus15 257294336
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--scsi--qlogicfas408.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 903.234s 454.181s 9369874432 zeus03 1 true 11.238s 6.659s zeus03 320925696 true 9.244s 5.398s zeus22 283672576
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--scsi--scsi_wait_scan.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 4.374s 2.751s 200192000 zeus15 1 true 3.640s 2.383s zeus21 187084800 true 3.549s 2.304s zeus04 154451968
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--spi--spi-tle62x0.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 27.901s 14.731s 656322560 zeus11 1 true 5.674s 3.659s zeus06 231829504 true 5.174s 3.213s zeus18 197816320
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--staging--android--switch--switch_class.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.144s 3.748s 234926080 zeus07 1 true 5.064s 3.284s zeus02 214183936 true 4.633s 2.943s zeus06 184049664
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--staging--android--switch--switch_gpio.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 8.046s 4.669s 257314816 zeus05 1 true 6.095s 3.798s zeus12 225525760 true 4.489s 2.862s zeus12 171454464
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--staging--comedi--drivers--8255.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 31.587s 16.528s 740605952 zeus08 1 true 6.921s 4.353s zeus09 246775808 true 5.701s 3.481s zeus02 186331136
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--staging--comedi--drivers--adl_pci7230.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 13.833s 7.806s 451133440 zeus04 1 true 6.230s 3.979s zeus21 233365504 true 5.052s 3.242s zeus18 187346944
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--staging--comedi--drivers--adl_pci7296.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 14.569s 8.214s 492306432 zeus09 1 true 6.336s 4.021s zeus08 237379584 true 4.854s 3.105s zeus14 186298368
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--staging--comedi--drivers--adl_pci7432.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 9.053s 5.222s 271953920 zeus15 1 true 6.715s 4.179s zeus14 237604864 true 5.355s 3.375s zeus16 188829696
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--staging--comedi--drivers--adl_pci8164.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 14.519s 8.153s 534118400 zeus08 1 true 6.672s 4.185s zeus12 241229824 true 5.213s 3.229s zeus22 194195456
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--staging--comedi--drivers--comedi_bond.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 48.337s 24.938s 1400127488 zeus10 1 true 9.727s 5.778s zeus09 306933760 true 5.266s 3.315s zeus10 191819776
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--staging--comedi--drivers--comedi_parport.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 13.990s 7.718s 390971392 zeus16 1 true 8.094s 4.933s zeus14 269770752 true 5.583s 3.522s zeus13 187105280
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--staging--comedi--drivers--unioxx5.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 38.990s 20.227s 747593728 zeus09 1 true 6.312s 4.056s zeus15 233353216 true 5.619s 3.441s zeus03 196587520
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--staging--iio--addac--adt7316-i2c.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 16.051s 8.880s 441647104 zeus17 1 true 5.132s 3.372s zeus10 218099712 true 4.684s 2.949s zeus14 184954880
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--staging--iio--addac--adt7316-spi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 23.473s 12.423s 633237504 zeus14 1 true 6.665s 4.228s zeus12 236290048 true 4.762s 3.076s zeus14 185876480
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--staging--iio--dds--ad5930.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.644s 4.474s 256081920 zeus17 1 true 5.367s 3.423s zeus05 216858624 true 4.916s 3.179s zeus15 186912768
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--staging--iio--dds--ad9832.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 24.769s 13.206s 640868352 zeus06 1 true 17.423s 9.612s zeus22 472465408 true 6.675s 4.030s zeus10 217972736
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--staging--iio--dds--ad9850.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.982s 4.162s 250871808 zeus03 1 true 5.483s 3.475s zeus22 223170560 true 4.364s 2.816s zeus11 182894592
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--staging--iio--dds--ad9852.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 9.747s 5.533s 286687232 zeus10 1 true 5.911s 3.775s zeus01 222818304 true 5.226s 3.282s zeus04 188743680
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--staging--iio--dds--ad9910.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 14.720s 8.120s 390217728 zeus05 1 true 6.358s 4.088s zeus06 247214080 true 5.212s 3.394s zeus11 194265088
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--staging--iio--dds--ad9951.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 11.071s 6.227s 322015232 zeus07 1 true 5.656s 3.610s zeus08 228745216 true 5.026s 3.239s zeus22 193048576
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--staging--iio--iio_dummy_evgen.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 7.305s 4.353s 250949632 zeus02 1 true 4.870s 3.199s zeus02 213856256 true 4.432s 2.849s zeus18 183078912
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--staging--iio--kfifo_buf.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.726s 3.470s 224665600 zeus14 1 true 4.716s 3.035s zeus04 204472320 true 4.254s 2.738s zeus11 177070080
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--staging--iio--meter--ade7854-i2c.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 9.137s 5.394s 278642688 zeus06 1 true 5.918s 3.735s zeus05 229974016 true 5.043s 3.241s zeus11 194981888
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--staging--iio--resolver--ad2s90.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.605s 4.010s 235663360 zeus13 1 true 5.424s 3.439s zeus09 218763264 true 4.568s 2.954s zeus08 182431744
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--staging--iio--ring_sw.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 8.663s 5.013s 278249472 zeus21 1 true 6.004s 3.796s zeus23 232157184 true 5.937s 3.638s zeus22 207097856
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--staging--media--cxd2099--cxd2099.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 83.762s 42.857s 2371653632 zeus20 1 true 19.401s 10.629s zeus21 616751104 true 8.577s 4.993s zeus04 237658112
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--staging--phison--phison.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 9.032s 5.204s 283381760 zeus12 1 true 5.676s 3.616s zeus21 243417088 true 5.511s 3.381s zeus21 215687168
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--staging--serqt_usb2--serqt_usb2.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 796.150s 400.712s 7393501184 zeus20 1 true 21.254s 11.632s zeus14 656486400 true 11.002s 6.285s zeus06 289591296
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--staging--speakup--speakup_acntsa.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 6.720s 3.951s 232759296 zeus20 1 true 4.418s 2.882s zeus01 197341184 true 4.377s 2.877s zeus02 166522880
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--staging--speakup--speakup_bns.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.327s 3.297s 215367680 zeus23 1 true 4.084s 2.631s zeus13 190455808 true 3.972s 2.507s zeus05 160477184
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--staging--speakup--speakup_dummy.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 5.413s 3.302s 216248320 zeus23 1 true 4.073s 2.620s zeus21 195571712 true 4.017s 2.550s zeus17 163168256
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--staging--speakup--speakup_ltlk.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 11.082s 6.112s 310501376 zeus13 1 true 4.663s 3.049s zeus14 202489856 true 4.416s 2.823s zeus20 165576704
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--staging--speakup--speakup_soft.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c true 56.390s 28.911s 953913344 zeus21 1 true 7.047s 4.380s zeus02 255561728 true 6.087s 3.738s zeus23 218357760