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-53-generic Linux 3.13.0-52-generic
System CPU: Intel Xeon E5-2650 v2 @ 2.60 GHz with 32 cores, frequency: 2.6 GHz; RAM: 135 GB
Run set cpachecker-kInduction-no-inv.CPAchecker no-inv k-Induction cpachecker-kInduction-static-0-1.CPAchecker static(0,1,true) kInduction (CPA InvGen) cpachecker-kInduction-static-8-2.CPAchecker static(8,2,true) kInduction (CPA InvGen) cpachecker-kInduction-static-16-2.CPAchecker static(16,2,true) kInduction (CPA InvGen) cpachecker-kInduction-static-16-2-no-widening.CPAchecker static(16,2,false) kInduction (CPA InvGen) cpachecker-kInduction.CPAchecker cont.-ref. k-Induction (k-Ind InvGen) cpachecker-kInduction.CPAchecker cont.-ref. k-Induction (CPA InvGen) cpachecker-kInduction.CPAchecker cont.-ref. k-Induction (both)
Options -noout -disable-java-assertions -heap 13000M -bmc-induction -setprop cfa.useMultiEdges=true -setprop bmc.addInvariantsByAI=false -setprop bmc.addInvariantsByInduction=false -setprop cpa.predicate.solver=SMTINTERPOL -noout -disable-java-assertions -heap 13000M -setprop cfa.useMultiEdges=true -bmc-induction -setprop invariantGeneration.config=config/invariantGeneration/invariantGeneration-static-0-1.properties -setprop bmc.addInvariantsByAI=true -setprop bmc.addInvariantsByInduction=false -setprop cpa.predicate.solver=SMTINTERPOL -noout -disable-java-assertions -heap 13000M -setprop cfa.useMultiEdges=true -bmc-induction -setprop invariantGeneration.config=config/invariantGeneration/invariantGeneration-static-8-2.properties -setprop bmc.addInvariantsByAI=true -setprop bmc.addInvariantsByInduction=false -setprop cpa.predicate.solver=SMTINTERPOL -noout -disable-java-assertions -heap 13000M -setprop cfa.useMultiEdges=true -bmc-induction -setprop invariantGeneration.config=config/invariantGeneration/invariantGeneration-static-16-2.properties -setprop bmc.addInvariantsByAI=true -setprop bmc.addInvariantsByInduction=false -setprop cpa.predicate.solver=SMTINTERPOL -noout -disable-java-assertions -heap 13000M -setprop cfa.useMultiEdges=true -bmc-induction -setprop invariantGeneration.config=config/invariantGeneration/invariantGeneration-static-16-2-no-widening.properties -setprop bmc.addInvariantsByAI=true -setprop bmc.addInvariantsByInduction=false -setprop cpa.predicate.solver=SMTINTERPOL -noout -disable-java-assertions -heap 13000M -bmc-induction -setprop cfa.useMultiEdges=true -setprop bmc.addInvariantsByAI=false -setprop bmc.addInvariantsByInduction=true -setprop cpa.predicate.solver=SMTINTERPOL -noout -disable-java-assertions -heap 13000M -bmc-induction -setprop cfa.useMultiEdges=true -setprop bmc.addInvariantsByAI=true -setprop bmc.addInvariantsByInduction=false -setprop cpa.predicate.solver=SMTINTERPOL -noout -disable-java-assertions -heap 13000M -bmc-induction -setprop cfa.useMultiEdges=true -setprop bmc.addInvariantsByAI=true -setprop bmc.addInvariantsByInduction=true -setprop cpa.predicate.solver=SMTINTERPOL
../svcomp15/ status cputime walltime host memUsage k status cputime walltime host memUsage k status cputime walltime memUsage host k status cputime walltime memUsage host k status cputime walltime host memUsage k status cputime walltime memUsage host k status cputime walltime memUsage host k status cputime walltime memUsage host k
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-termination.cil.c false(reach) 20.543s 11.767s zeus17 591220736 1 false(reach) 35.614s 18.922s zeus09 633815040 1 false(reach) 32.711s 17.722s 626855936 zeus03 1 false(reach) 35.280s 18.691s 633253888 zeus23 1 false(reach) 27.718s 15.258s zeus22 632639488 1 false(reach) 22.865s 13.105s 577982464 zeus23 1 false(reach) 35.288s 18.723s 637407232 zeus02 1 false(reach) 37.532s 19.775s 659304448 zeus20 1
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-termination.cil.c false(reach) 18.314s 10.266s zeus17 540635136 1 false(reach) 22.870s 12.603s zeus12 576028672 1 false(reach) 25.455s 13.990s 578019328 zeus04 1 false(reach) 24.757s 13.627s 578154496 zeus17 1 false(reach) 24.911s 13.456s zeus16 572600320 1 false(reach) 24.429s 13.219s 560533504 zeus23 1 false(reach) 24.064s 13.189s 592404480 zeus06 1 false(reach) 29.909s 15.903s 593051648 zeus13 1
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-termination.cil.c false(reach) 19.534s 11.202s zeus14 572399616 1 false(reach) 31.833s 16.855s zeus17 593793024 1 false(reach) 33.236s 17.830s 603324416 zeus23 1 false(reach) 30.416s 16.291s 596205568 zeus23 1 false(reach) 30.198s 16.218s zeus01 607453184 1 false(reach) 28.011s 15.289s 598728704 zeus06 1 false(reach) 28.937s 15.790s 610897920 zeus24 1 false(reach) 46.027s 23.746s 651419648 zeus22 1
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-termination.cil.c false(reach) 8.286s 4.986s zeus12 244633600 1 false(reach) 8.666s 5.081s zeus19 259014656 1 false(reach) 8.386s 5.028s 256786432 zeus16 1 false(reach) 8.259s 4.944s 252043264 zeus14 1 false(reach) 8.439s 5.055s zeus09 251666432 1 false(reach) 8.479s 5.125s 252784640 zeus22 1 false(reach) 8.335s 4.971s 247271424 zeus12 1 false(reach) 8.112s 4.844s 252981248 zeus17 1
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-termination.cil.c true 11.540s 6.720s zeus15 301322240 1 true 21.553s 11.443s zeus20 516272128 1 true 21.513s 11.431s 510881792 zeus24 1 true 20.117s 10.720s 504160256 zeus24 1 true 21.212s 11.342s zeus06 592445440 1 true 15.707s 8.638s 390234112 zeus22 1 true 22.699s 12.157s 582230016 zeus14 1 true 24.172s 12.756s 617148416 zeus09 1
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-termination.cil.c timeout 903.857s 873.678s zeus14 4883501056 415 true 21.261s 11.183s zeus07 502054912 1 true 26.271s 13.733s 629968896 zeus22 5 true 30.523s 15.969s 655605760 zeus15 16 true 23.089s 12.144s zeus04 632836096 3 true 15.274s 8.246s 346226688 zeus09 1 true 21.144s 11.163s 526389248 zeus11 1 true 26.811s 14.023s 539787264 zeus23 1
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-termination.cil.c true 8.613s 5.058s zeus15 240529408 1 true 13.748s 7.482s zeus24 353595392 1 true 13.171s 7.186s 328142848 zeus17 1 true 14.278s 7.731s 334811136 zeus18 1 true 13.550s 7.324s zeus12 350793728 1 true 12.267s 6.754s 312586240 zeus24 1 true 14.779s 7.994s 365719552 zeus03 1 true 16.635s 8.916s 419614720 zeus11 1
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-termination.cil.c true 10.618s 6.087s zeus18 267165696 1 true 18.794s 10.011s zeus10 460427264 1 true 19.321s 10.291s 448282624 zeus22 1 true 17.260s 9.261s 416460800 zeus16 1 true 19.230s 10.360s zeus14 537178112 1 true 14.244s 7.751s 355049472 zeus17 1 true 19.377s 10.303s 483237888 zeus18 1 true 24.347s 12.874s 611282944 zeus15 1
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-termination.cil.c true 4.772s 3.040s zeus02 193425408 1 true 4.991s 3.092s zeus22 192356352 1 true 4.803s 3.060s 184295424 zeus16 1 true 4.893s 3.104s 192856064 zeus19 1 true 4.982s 3.202s zeus17 189497344 1 true 4.796s 3.083s 190431232 zeus16 1 true 4.915s 3.097s 191070208 zeus24 1 true 5.036s 3.149s 190107648 zeus19 1
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-termination.cil.c true 5.983s 3.683s zeus10 200613888 1 true 5.889s 3.688s zeus18 201437184 1 true 6.214s 3.752s 201867264 zeus03 1 true 6.099s 3.782s 201031680 zeus19 1 true 6.035s 3.673s zeus22 202960896 1 true 6.118s 3.796s 203169792 zeus06 1 true 6.097s 3.692s 196599808 zeus14 1 true 6.161s 3.803s 198471680 zeus12 1
ssh-simplified/s3_clnt_1_false-unreach-call.cil.c false(reach) 15.732s 8.635s zeus24 406679552 6 false(reach) 21.412s 11.231s zeus22 446590976 6 false(reach) 35.133s 18.137s 661790720 zeus16 6 false(reach) 30.799s 15.994s 643334144 zeus24 6 false(reach) 29.185s 15.187s zeus12 676655104 6 false(reach) 24.914s 13.054s 596611072 zeus04 6 false(reach) 30.940s 16.087s 643403776 zeus05 6 false(reach) 38.061s 19.654s 648474624 zeus08 6
ssh-simplified/s3_clnt_2_false-unreach-call_true-termination.cil.c false(reach) 15.890s 8.728s zeus17 397737984 6 false(reach) 23.448s 12.294s zeus17 493469696 6 false(reach) 27.012s 14.090s 649031680 zeus07 6 false(reach) 25.114s 13.134s 649736192 zeus02 6 false(reach) 28.161s 14.661s zeus07 643883008 6 false(reach) 21.031s 11.098s 542552064 zeus07 6 false(reach) 28.221s 14.741s 651849728 zeus06 6 false(reach) 34.826s 18.004s 652877824 zeus09 6
ssh-simplified/s3_clnt_3_false-unreach-call.cil.c false(reach) 16.095s 8.799s zeus22 408301568 6 false(reach) 26.269s 13.703s zeus18 529317888 6 false(reach) 26.783s 13.983s 651055104 zeus01 6 false(reach) 28.348s 14.762s 647753728 zeus05 6 false(reach) 26.457s 13.838s zeus17 645836800 6 false(reach) 21.095s 11.114s 587190272 zeus12 6 false(reach) 35.646s 18.440s 654651392 zeus12 6 false(reach) 40.383s 20.863s 651948032 zeus18 6
ssh-simplified/s3_clnt_4_false-unreach-call.cil.c false(reach) 16.845s 9.181s zeus09 410648576 6 false(reach) 29.372s 15.298s zeus10 498860032 6 false(reach) 26.783s 13.952s 635125760 zeus05 6 false(reach) 28.665s 14.923s 639926272 zeus23 6 false(reach) 28.411s 14.765s zeus15 641855488 6 false(reach) 22.588s 11.889s 551211008 zeus14 6 false(reach) 30.035s 15.606s 645431296 zeus15 6 false(reach) 40.045s 20.659s 651288576 zeus23 6
ssh-simplified/s3_srvr_10_false-unreach-call.cil.c false(reach) 5.006s 3.206s zeus11 202973184 1 false(reach) 6.343s 3.711s zeus07 224387072 1 false(reach) 6.643s 3.873s 222621696 zeus24 1 false(reach) 6.395s 3.764s 217690112 zeus09 1 false(reach) 6.517s 3.772s zeus19 222806016 1 false(reach) 6.120s 3.662s 218054656 zeus08 1 false(reach) 6.159s 3.617s 218439680 zeus24 1 false(reach) 7.164s 4.153s 238403584 zeus16 1
ssh-simplified/s3_srvr_11_false-unreach-call.cil.c false(reach) 22.789s 12.366s zeus07 626556928 7 false(reach) 30.125s 15.693s zeus04 658366464 7 false(reach) 38.621s 19.965s 681291776 zeus20 7 false(reach) 37.726s 19.488s 686243840 zeus14 7 false(reach) 36.166s 18.730s zeus21 672636928 7 false(reach) 39.057s 20.229s 696528896 zeus08 7 false(reach) 37.704s 19.447s 675930112 zeus22 7 false(reach) 56.403s 28.856s 697843712 zeus17 7
ssh-simplified/s3_srvr_12_false-unreach-call.cil.c false(reach) 20.132s 10.995s zeus06 612098048 6 false(reach) 36.941s 19.042s zeus17 644579328 6 false(reach) 35.427s 18.326s 685871104 zeus07 6 false(reach) 37.950s 19.599s 672604160 zeus22 6 false(reach) 34.018s 17.593s zeus07 989622272 6 false(reach) 34.368s 17.773s 655761408 zeus03 6 false(reach) 41.245s 21.228s 654495744 zeus07 6 false(reach) 52.071s 26.678s 696619008 zeus05 6
ssh-simplified/s3_srvr_13_false-unreach-call.cil.c false(reach) 15.508s 8.501s zeus01 355995648 4 false(reach) 23.122s 12.138s zeus08 461041664 4 false(reach) 23.678s 12.421s 529920000 zeus10 4 false(reach) 27.848s 14.585s 587579392 zeus09 4 false(reach) 22.970s 12.076s zeus14 641859584 4 false(reach) 19.766s 10.432s 503951360 zeus13 4 false(reach) 24.977s 13.047s 542334976 zeus20 4 false(reach) 29.692s 15.423s 640532480 zeus12 4
ssh-simplified/s3_srvr_14_false-unreach-call.cil.c false(reach) 8.177s 4.887s zeus19 236851200 2 false(reach) 12.024s 6.572s zeus18 307417088 2 false(reach) 11.717s 6.419s 317788160 zeus04 2 false(reach) 12.738s 7.006s 322871296 zeus08 2 false(reach) 11.178s 6.150s zeus23 305213440 2 false(reach) 11.807s 6.471s 292294656 zeus12 2 false(reach) 12.583s 6.864s 324698112 zeus04 2 false(reach) 15.691s 8.452s 368816128 zeus18 2
ssh-simplified/s3_srvr_1_false-unreach-call.cil.c false(reach) 12.600s 7.137s zeus23 315826176 4 false(reach) 21.182s 11.196s zeus21 421330944 4 false(reach) 19.573s 10.333s 478068736 zeus18 4 false(reach) 21.269s 11.212s 485855232 zeus17 4 false(reach) 18.872s 9.978s zeus08 626237440 4 false(reach) 16.908s 9.047s 392855552 zeus15 4 false(reach) 22.441s 11.763s 469999616 zeus12 4 false(reach) 22.698s 11.942s 503914496 zeus23 4
ssh-simplified/s3_srvr_2_false-unreach-call.cil.c false(reach) 12.561s 7.059s zeus03 321179648 4 false(reach) 20.011s 10.588s zeus05 410677248 4 false(reach) 20.497s 10.863s 487718912 zeus02 4 false(reach) 22.465s 11.805s 494088192 zeus11 4 false(reach) 19.926s 10.566s zeus06 645103616 4 false(reach) 17.415s 9.335s 394522624 zeus02 4 false(reach) 20.574s 10.898s 464080896 zeus18 4 false(reach) 24.084s 12.635s 513032192 zeus18 4
ssh-simplified/s3_srvr_6_false-unreach-call.cil.c false(reach) 4.884s 3.159s zeus16 199000064 1 false(reach) 5.950s 3.539s zeus11 218411008 1 false(reach) 5.998s 3.593s 215515136 zeus15 1 false(reach) 6.371s 3.786s 216719360 zeus15 1 false(reach) 5.933s 3.516s zeus22 220012544 1 false(reach) 6.360s 3.743s 220315648 zeus22 1 false(reach) 6.088s 3.597s 219639808 zeus24 1 false(reach) 7.008s 4.079s 236474368 zeus20 1
ssh-simplified/s3_clnt_1_true-unreach-call.cil.c true 18.546s 10.108s zeus05 589578240 7 true 23.734s 12.461s zeus11 620539904 7 true 33.257s 17.171s 673533952 zeus09 7 true 41.848s 21.493s 772759552 zeus17 7 true 31.272s 16.219s zeus13 843268096 7 true 34.079s 17.639s 648425472 zeus03 7 true 39.442s 20.345s 710688768 zeus18 7 true 41.855s 21.547s 689582080 zeus16 7
ssh-simplified/s3_clnt_2_true-unreach-call_true-termination.cil.c true 19.650s 10.652s zeus21 617857024 7 true 26.028s 13.672s zeus24 632778752 7 true 34.523s 17.854s 681480192 zeus04 7 true 35.354s 18.302s 680263680 zeus24 7 true 36.093s 18.709s zeus02 808525824 7 true 24.895s 13.034s 637845504 zeus10 7 true 33.824s 17.499s 670658560 zeus15 7 true 42.670s 21.900s 681902080 zeus17 7
ssh-simplified/s3_clnt_3_true-unreach-call.cil.c true 18.322s 10.052s zeus08 613134336 7 true 27.617s 14.458s zeus22 636874752 7 true 33.559s 17.334s 681742336 zeus13 7 true 33.396s 17.287s 677961728 zeus13 7 true 37.625s 19.532s zeus15 795336704 7 true 27.827s 14.592s 650899456 zeus06 7 true 38.739s 19.973s 670584832 zeus14 7 true 43.656s 22.448s 694804480 zeus06 7
ssh-simplified/s3_clnt_4_true-unreach-call.cil.c true 18.161s 9.990s zeus01 603758592 7 true 24.695s 13.041s zeus14 625860608 7 true 35.301s 18.249s 679641088 zeus09 7 true 31.760s 16.488s 674521088 zeus15 7 true 35.503s 18.372s zeus17 680738816 7 true 28.629s 15.091s 654004224 zeus10 7 true 40.312s 20.740s 695201792 zeus05 7 true 47.874s 24.542s 691965952 zeus04 7
ssh-simplified/s3_srvr_1_true-unreach-call.cil.c timeout 901.847s 857.386s zeus02 6028173312 59 timeout 901.560s 852.107s zeus05 6034903040 59 true 174.167s 89.041s 4673982464 zeus12 23 true 128.485s 65.908s 4666683392 zeus17 21 true 71.142s 36.612s zeus20 2351656960 15 timeout 902.124s 452.464s 5983301632 zeus02 42 true 38.309s 19.734s 675565568 zeus08 6 true 62.608s 31.998s 706322432 zeus04 6
ssh-simplified/s3_srvr_1a_true-unreach-call.cil.c true 13.824s 7.571s zeus19 335601664 9 true 13.997s 7.701s zeus18 345321472 9 true 17.240s 9.114s 401174528 zeus13 7 true 16.188s 8.638s 411553792 zeus04 7 true 12.535s 6.788s zeus03 324313088 5 true 9.904s 5.491s 260972544 zeus23 5 true 9.691s 5.358s 268197888 zeus11 4 true 11.808s 6.427s 300646400 zeus03 5
ssh-simplified/s3_srvr_1b_true-unreach-call_false-termination.cil.c true 4.009s 2.620s zeus16 180125696 2 true 4.910s 2.989s zeus24 199036928 2 true 4.943s 3.046s 197828608 zeus15 2 true 4.794s 2.900s 193044480 zeus17 2 true 4.459s 2.785s zeus23 195481600 1 true 5.225s 3.197s 197459968 zeus19 2 true 5.100s 3.077s 203362304 zeus01 2 true 6.045s 3.602s 222752768 zeus11 2
ssh-simplified/s3_srvr_2_true-unreach-call.cil.c timeout 901.554s 859.321s zeus02 6011219968 59 timeout 901.330s 852.168s zeus10 5997522944 58 true 137.589s 69.904s 4696109056 zeus04 22 true 230.705s 116.649s 4889456640 zeus01 27 true 32.938s 17.223s zeus14 1197072384 7 timeout 901.449s 847.713s 5980205056 zeus14 59 true 52.124s 26.927s 1257504768 zeus07 11 true 75.406s 38.403s 1358540800 zeus24 12
ssh-simplified/s3_srvr_3_true-unreach-call.cil.c timeout 901.769s 856.905s zeus14 5990363136 60 timeout 901.724s 854.675s zeus02 6026194944 59 true 163.600s 85.424s 4795953152 zeus18 24 true 132.118s 67.119s 4672966656 zeus18 22 true 188.305s 96.223s zeus05 4820086784 25 timeout 901.402s 853.893s 6052151296 zeus13 58 true 59.439s 30.409s 1686564864 zeus18 12 true 76.122s 38.706s 1288650752 zeus16 12
ssh-simplified/s3_srvr_4_true-unreach-call.cil.c timeout 901.318s 857.487s zeus17 6028206080 59 timeout 901.268s 853.136s zeus20 6017896448 59 true 154.269s 79.216s 4721033216 zeus05 23 true 126.905s 64.953s 4661411840 zeus24 21 true 74.328s 38.059s zeus07 2362703872 15 timeout 901.537s 452.276s 6035120128 zeus15 42 true 54.293s 27.785s 1216241664 zeus14 11 true 85.072s 43.214s 2342510592 zeus06 12
ssh-simplified/s3_srvr_6_true-unreach-call.cil.c timeout 903.303s 857.279s zeus23 6076235776 55 timeout 902.074s 852.719s zeus17 6092398592 56 timeout 901.159s 451.994s 5980151808 zeus20 41 timeout 901.725s 452.310s 6086926336 zeus05 39 true 676.136s 346.128s zeus08 5755015168 36 timeout 901.853s 452.520s 6087749632 zeus02 40 true 112.172s 56.815s 4448153600 zeus09 17 true 171.592s 86.539s 4808171520 zeus23 17
ssh-simplified/s3_srvr_7_true-unreach-call.cil.c timeout 901.521s 858.858s zeus18 6053564416 57 timeout 901.370s 850.500s zeus24 6035087360 57 true 489.688s 246.112s 5223952384 zeus19 33 timeout 901.849s 452.417s 5871611904 zeus09 41 timeout 901.662s 452.187s zeus14 6080307200 41 timeout 901.776s 452.376s 6004760576 zeus02 40 true 52.801s 27.026s 1215565824 zeus12 9 true 88.135s 44.722s 2317758464 zeus15 12
ssh-simplified/s3_srvr_8_true-unreach-call.cil.c timeout 901.433s 856.470s zeus13 6033141760 57 timeout 901.119s 850.912s zeus05 6014201856 59 true 178.789s 91.745s 4754108416 zeus24 23 true 124.907s 63.727s 4710854656 zeus21 20 true 50.252s 25.931s zeus15 2277138432 12 timeout 901.638s 452.264s 5961822208 zeus02 41 true 62.266s 31.771s 1260290048 zeus09 12 true 79.208s 40.254s 2136014848 zeus02 12
locks/test_locks_14_false-unreach-call.c false(reach) 5.179s 3.322s zeus15 201654272 1 false(reach) 6.527s 3.799s zeus06 227426304 1 false(reach) 6.787s 3.917s 231669760 zeus21 1 false(reach) 7.280s 4.214s 227491840 zeus11 1 false(reach) 6.638s 3.893s zeus07 228945920 1 false(reach) 6.425s 3.765s 226263040 zeus02 1 false(reach) 7.238s 4.158s 237699072 zeus19 1 false(reach) 7.912s 4.532s 245669888 zeus17 1
locks/test_locks_15_false-unreach-call.c false(reach) 5.427s 3.374s zeus13 210837504 1 false(reach) 7.018s 4.041s zeus14 228659200 1 false(reach) 7.338s 4.190s 232898560 zeus04 1 false(reach) 7.690s 4.366s 236068864 zeus17 1 false(reach) 7.288s 4.216s zeus01 231251968 1 false(reach) 7.391s 4.250s 239562752 zeus23 1 false(reach) 7.612s 4.341s 237432832 zeus04 1 false(reach) 8.356s 4.692s 267386880 zeus05 1
locks/test_locks_10_true-unreach-call.c true 4.708s 3.066s zeus11 196681728 1 true 5.691s 3.439s zeus22 210202624 1 true 6.675s 3.815s 220241920 zeus12 1 true 6.374s 3.734s 211750912 zeus09 1 true 6.811s 3.956s zeus15 214925312 1 true 6.578s 4.003s 217923584 zeus04 1 true 6.319s 3.708s 215277568 zeus13 1 true 8.124s 4.656s 247439360 zeus18 1
locks/test_locks_11_true-unreach-call_false-termination.c true 5.087s 3.311s zeus07 196366336 1 true 6.280s 3.807s zeus04 207564800 1 true 6.815s 3.940s 217075712 zeus20 1 true 7.236s 4.173s 220237824 zeus03 1 true 6.504s 3.779s zeus16 224260096 1 true 6.587s 3.818s 221638656 zeus19 1 true 6.694s 3.887s 216309760 zeus01 1 true 8.074s 4.617s 247746560 zeus23 1
locks/test_locks_12_true-unreach-call_false-termination.c true 4.982s 3.246s zeus03 197046272 1 true 6.099s 3.607s zeus20 208330752 1 true 6.829s 3.947s 213995520 zeus14 1 true 6.951s 4.045s 216805376 zeus10 1 true 7.396s 4.258s zeus06 236703744 1 true 7.313s 4.212s 222011392 zeus10 1 true 6.824s 3.964s 220049408 zeus01 1 true 8.182s 4.631s 243027968 zeus16 1
locks/test_locks_13_true-unreach-call.c true 5.177s 3.333s zeus24 201650176 1 true 5.966s 3.605s zeus18 213549056 1 true 7.452s 4.254s 236777472 zeus22 1 true 7.415s 4.288s 224882688 zeus10 1 true 7.388s 4.190s zeus14 236679168 1 true 7.561s 4.348s 227876864 zeus15 1 true 7.191s 4.194s 222388224 zeus21 1 true 8.972s 5.096s 256962560 zeus04 1
locks/test_locks_14_true-unreach-call.c true 5.478s 3.689s zeus21 203268096 1 true 6.563s 3.862s zeus12 214802432 1 true 7.882s 4.559s 228478976 zeus14 1 true 7.270s 4.156s 225181696 zeus20 1 true 8.140s 4.646s zeus18 253976576 1 true 7.308s 4.239s 230780928 zeus16 1 true 7.663s 4.386s 232247296 zeus02 1 true 8.856s 4.985s 258949120 zeus03 1
locks/test_locks_15_true-unreach-call_false-termination.c true 5.679s 3.562s zeus11 203464704 1 true 7.053s 4.127s zeus14 216457216 1 true 8.321s 4.823s 236498944 zeus03 1 true 8.834s 5.237s 235524096 zeus12 1 true 8.262s 4.658s zeus08 253652992 1 true 8.152s 4.697s 239484928 zeus03 1 true 7.663s 4.437s 238116864 zeus07 1 true 9.178s 5.131s 263229440 zeus24 1
locks/test_locks_5_true-unreach-call_false-termination.c true 3.911s 2.615s zeus03 181026816 1 true 4.425s 2.799s zeus08 193200128 1 true 5.051s 3.110s 198045696 zeus24 1 true 5.127s 3.102s 195973120 zeus15 1 true 4.938s 2.998s zeus21 196329472 1 true 4.741s 3.017s 196399104 zeus03 1 true 5.288s 3.162s 204673024 zeus23 1 true 5.564s 3.300s 220762112 zeus21 1
locks/test_locks_6_true-unreach-call_false-termination.c true 4.138s 2.745s zeus07 189399040 1 true 4.603s 2.902s zeus13 190836736 1 true 5.216s 3.122s 197472256 zeus23 1 true 5.057s 3.025s 200957952 zeus24 1 true 5.523s 3.270s zeus19 202186752 1 true 4.792s 2.954s 198635520 zeus02 1 true 5.433s 3.279s 206102528 zeus11 1 true 5.781s 3.409s 214568960 zeus24 1
locks/test_locks_7_true-unreach-call_false-termination.c true 4.536s 2.938s zeus15 185417728 1 true 5.187s 3.233s zeus07 203153408 1 true 5.417s 3.251s 199503872 zeus23 1 true 5.846s 3.510s 204673024 zeus21 1 true 5.223s 3.203s zeus13 194527232 1 true 5.149s 3.121s 198414336 zeus09 1 true 5.633s 3.363s 203411456 zeus13 1 true 6.321s 3.679s 224395264 zeus01 1
locks/test_locks_8_true-unreach-call_false-termination.c true 4.243s 2.801s zeus23 187338752 1 true 5.130s 3.172s zeus15 203055104 1 true 6.178s 3.619s 205897728 zeus04 1 true 6.205s 3.633s 209182720 zeus10 1 true 6.062s 3.552s zeus10 212119552 1 true 5.608s 3.313s 207462400 zeus09 1 true 5.826s 3.444s 212557824 zeus03 1 true 6.410s 3.738s 224874496 zeus22 1
locks/test_locks_9_true-unreach-call.c true 4.512s 3.028s zeus13 185769984 1 true 5.595s 3.416s zeus22 203993088 1 true 6.294s 3.647s 215588864 zeus21 1 true 6.457s 3.799s 210370560 zeus17 1 true 6.414s 3.737s zeus08 216236032 1 true 6.079s 3.564s 209162240 zeus13 1 true 6.077s 3.560s 214708224 zeus18 1 true 6.722s 3.919s 229576704 zeus18 1
ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko_false-unreach-call.cil.out.i.pp.i false(reach) 42.670s 22.067s zeus11 680079360 1 false(reach) 52.591s 27.014s zeus07 791404544 1 false(reach) 47.300s 24.138s 791900160 zeus04 1 false(reach) 47.433s 24.435s 783257600 zeus04 1 false(reach) 48.168s 24.618s zeus23 784977920 1 false(reach) 46.184s 23.757s 684879872 zeus20 1 false(reach) 31.378s 16.692s 774365184 zeus20 1 false(reach) 49.431s 25.337s 789594112 zeus16 1
ldv-linux-3.0/module_get_put-drivers-block-loop.ko_false-unreach-call.cil.out.i.pp.i timeout 903.081s 660.969s zeus11 11241988096 1 timeout 945.947s 475.737s zeus12 9081569280 1 timeout 900.995s 453.064s 9082281984 zeus06 1 timeout 900.755s 452.869s 9081905152 zeus02 1 timeout 901.565s 453.270s zeus17 9033752576 1 timeout 901.375s 453.706s 10366504960 zeus19 1 timeout 901.717s 453.823s 9078751232 zeus17 1 timeout 901.892s 453.276s 9222004736 zeus04 1
ldv-linux-3.0/module_get_put-drivers-block-pktcdvd.ko_false-unreach-call.cil.out.i.pp.i false(reach) 19.231s 10.986s zeus14 641728512 1 false(reach) 20.414s 11.320s zeus08 652095488 1 false(reach) 20.380s 11.401s 645390336 zeus14 1 false(reach) 21.114s 11.793s 652521472 zeus11 1 false(reach) 20.521s 11.530s zeus07 646197248 1 false(reach) 31.109s 16.286s 662212608 zeus06 1 false(reach) 20.395s 11.489s 652283904 zeus15 1 false(reach) 31.931s 16.739s 658743296 zeus19 1
ldv-linux-3.0/module_get_put-drivers-isdn-gigaset-gigaset.ko_false-unreach-call.cil.out.i.pp.i timeout 904.648s 651.610s zeus18 11204628480 1 timeout 999.580s 699.675s zeus04 12058460160 - timeout 954.723s 693.166s 11728531456 zeus06 1 timeout 927.549s 649.916s 12131377152 zeus14 1 timeout 900.947s 662.742s zeus08 11075543040 1 timeout 906.913s 455.970s 8474279936 zeus04 1 timeout 902.739s 667.117s 11270942720 zeus18 1 timeout 999.462s 502.061s 8568139776 zeus18 -
ldv-linux-3.0/module_get_put-drivers-isdn-mISDN-mISDN_core.ko_false-unreach-call.cil.out.i.pp.i timeout 999.700s 726.058s zeus12 11051286528 - timeout 900.773s 672.353s zeus17 10527637504 1 timeout 999.546s 719.754s 10850959360 zeus18 - timeout 902.301s 674.005s 10240692224 zeus07 1 timeout 946.725s 475.894s zeus11 8642490368 1 timeout 999.156s 723.019s 10843279360 zeus03 - timeout 901.191s 453.063s 7924666368 zeus14 1 timeout 901.194s 452.939s 8153464832 zeus10 1
ldv-linux-3.0/module_get_put-drivers-net-ppp_generic.ko_false-unreach-call.cil.out.i.pp.i false(reach) 27.593s 14.866s zeus13 656969728 1 false(reach) 51.799s 26.593s zeus17 756797440 1 false(reach) 44.406s 22.842s 755286016 zeus12 1 false(reach) 50.499s 25.930s 758267904 zeus14 1 false(reach) 48.997s 25.248s zeus13 723787776 1 false(reach) 43.314s 22.542s 734429184 zeus16 1 false(reach) 49.667s 25.668s 766320640 zeus23 1 false(reach) 65.647s 33.570s 852537344 zeus20 1
ldv-linux-3.0/module_get_put-drivers-net-wan-farsync.ko_false-unreach-call.cil.out.i.pp.i timeout 967.372s 665.860s zeus17 11584688128 1 timeout 904.587s 585.359s zeus11 9205653504 1 timeout 900.775s 582.688s 10224762880 zeus10 1 timeout 900.971s 581.017s 9158041600 zeus20 1 timeout 901.376s 452.944s zeus15 9516195840 1 timeout 901.578s 453.807s 9418907648 zeus23 1 timeout 901.413s 453.315s 8655331328 zeus03 1 timeout 967.587s 486.591s 9189781504 zeus15 1
ldv-linux-3.0/module_get_put-drivers-tty-synclink_gt.ko_false-unreach-call.cil.out.i.pp.i false(reach) 44.184s 25.437s zeus24 1331773440 1 false(reach) 78.071s 39.634s zeus14 1697771520 1 false(reach) 83.061s 42.411s 1982164992 zeus12 1 false(reach) 84.110s 42.792s 1895661568 zeus04 1 false(reach) 78.308s 39.952s zeus22 2482434048 1 false(reach) 73.793s 37.921s 2095022080 zeus08 1 false(reach) 82.237s 41.892s 1996390400 zeus17 1 false(reach) 96.319s 48.931s 2591760384 zeus14 1
ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko_false-unreach-call.cil.out.i.pp.i timeout 916.290s 658.350s zeus15 9854705664 1 timeout 913.730s 691.237s zeus10 10044985344 1 timeout 914.468s 693.712s 10379890688 zeus19 1 timeout 911.317s 663.054s 9468878848 zeus04 1 timeout 916.129s 691.236s zeus14 10048548864 1 timeout 910.048s 460.312s 9515421696 zeus21 1 timeout 911.834s 665.167s 9256861696 zeus22 1 timeout 906.949s 458.681s 9297768448 zeus21 1
ldv-linux-3.0/usb_urb-drivers-hid-usbhid-usbmouse.ko_false-unreach-call.cil.out.i.pp.i false(reach) 19.254s 10.561s zeus16 487387136 3 false(reach) 32.251s 16.881s zeus09 648204288 3 false(reach) 39.987s 20.835s 658251776 zeus08 3 false(reach) 32.342s 16.861s 646713344 zeus03 3 false(reach) 31.942s 16.760s zeus02 653135872 3 false(reach) 22.385s 11.958s 573296640 zeus15 3 false(reach) 32.951s 17.255s 653570048 zeus17 3 false(reach) 37.532s 19.481s 654471168 zeus23 3
ldv-linux-3.0/usb_urb-drivers-input-misc-keyspan_remote.ko_false-unreach-call.cil.out.i.pp.i timeout 906.717s 682.952s zeus08 10746449920 9 timeout 918.744s 691.993s zeus05 10783367168 9 timeout 914.660s 703.081s 10414133248 zeus13 - timeout 914.526s 710.173s 10969063424 zeus10 - timeout 904.825s 455.963s zeus03 8229523456 7 timeout 905.746s 707.521s 10468679680 zeus10 9 timeout 902.060s 453.517s 8099893248 zeus08 8 timeout 904.990s 455.115s 8105123840 zeus10 8
ldv-linux-3.0/usb_urb-drivers-media-dvb-ttusb-dec-ttusb_dec.ko_false-unreach-call.cil.out.i.pp.i false(reach) 13.736s 7.777s zeus20 395866112 1 false(reach) 18.168s 9.833s zeus07 465928192 1 false(reach) 18.432s 9.971s 457297920 zeus11 1 false(reach) 18.166s 9.774s 463855616 zeus09 1 false(reach) 15.285s 8.426s zeus24 434245632 1 false(reach) 19.634s 10.581s 456548352 zeus01 1 false(reach) 17.725s 9.682s 459161600 zeus09 1 false(reach) 24.706s 13.171s 526540800 zeus01 1
ldv-linux-3.0/usb_urb-drivers-net-can-usb-ems_usb.ko_false-unreach-call.cil.out.i.pp.i false(reach) 15.242s 8.622s zeus21 516018176 1 false(reach) 21.053s 11.253s zeus16 546537472 1 false(reach) 20.321s 10.903s 548790272 zeus10 1 false(reach) 19.753s 10.650s 543154176 zeus03 1 false(reach) 20.572s 11.029s zeus14 545730560 1 false(reach) 19.785s 10.666s 542912512 zeus07 1 false(reach) 20.325s 10.966s 540073984 zeus11 1 false(reach) 23.872s 12.705s 564072448 zeus12 1
ldv-linux-3.0/usb_urb-drivers-net-usb-catc.ko_false-unreach-call.cil.out.i.pp.i exception 14.217s 8.103s zeus14 370327552 - exception 23.436s 12.430s zeus08 619991040 - exception 24.009s 12.765s 593309696 zeus04 - exception 22.974s 12.173s 592588800 zeus23 - exception 24.093s 12.833s zeus06 634089472 - exception 19.505s 10.480s 481357824 zeus14 - exception 23.169s 12.305s 611708928 zeus05 - exception 30.555s 16.040s 659484672 zeus22 -
ldv-linux-3.0/usb_urb-drivers-staging-lirc-lirc_imon.ko_false-unreach-call.cil.out.i.pp.i false(reach) 24.196s 13.288s zeus17 585113600 2 false(reach) 41.218s 21.350s zeus13 726417408 2 false(reach) 42.178s 21.880s 701538304 zeus06 2 false(reach) 44.894s 23.192s 697020416 zeus01 2 false(reach) 35.762s 18.596s zeus02 681984000 2 false(reach) 33.654s 17.597s 673579008 zeus02 2 false(reach) 44.021s 22.692s 719532032 zeus02 2 false(reach) 50.996s 26.257s 717266944 zeus08 2
ldv-linux-3.0/usb_urb-drivers-usb-misc-iowarrior.ko_false-unreach-call.cil.out.i.pp.i false(reach) 11.319s 6.573s zeus15 324251648 1 false(reach) 15.256s 8.348s zeus09 382447616 1 false(reach) 14.624s 8.002s 382734336 zeus06 1 false(reach) 16.277s 8.922s 395706368 zeus10 1 false(reach) 16.611s 8.992s zeus12 402755584 1 false(reach) 14.562s 7.992s 380604416 zeus24 1 false(reach) 16.056s 8.659s 393486336 zeus17 1 false(reach) 18.078s 9.703s 443604992 zeus24 1
ldv-linux-3.0/module_get_put-drivers-atm-eni.ko_true-unreach-call.cil.out.i.pp.i timeout 901.452s 649.546s zeus23 10418356224 1 timeout 901.217s 670.903s zeus11 10857156608 1 timeout 904.701s 695.821s 10968383488 zeus24 1 timeout 901.393s 670.555s 10378502144 zeus11 1 timeout 905.364s 700.698s zeus23 10627592192 1 timeout 901.668s 453.368s 8406634496 zeus12 1 timeout 901.453s 664.937s 9685770240 zeus06 1 timeout 901.785s 453.342s 8104312832 zeus15 1
ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko_true-unreach-call.cil.out.i.pp.i timeout 901.955s 669.699s zeus13 11313573888 1 timeout 900.851s 452.910s zeus02 8069054464 1 timeout 901.680s 452.807s 8056037376 zeus04 1 timeout 901.284s 452.759s 8239235072 zeus11 1 timeout 901.784s 453.450s zeus06 8450994176 1 timeout 901.681s 453.517s 8883855360 zeus24 1 timeout 903.590s 454.233s 8178401280 zeus17 1 timeout 907.144s 455.877s 8599732224 zeus12 1
ldv-linux-3.0/module_get_put-drivers-block-paride-pt.ko_true-unreach-call.cil.out.i.pp.i timeout 904.339s 628.721s zeus07 10671697920 2 timeout 924.613s 464.909s zeus07 9001594880 2 timeout 999.373s 501.871s 9002319872 zeus12 - timeout 933.788s 469.587s 8936120320 zeus10 2 timeout 916.239s 460.780s zeus04 8846196736 2 timeout 903.412s 504.197s 11003158528 zeus02 2 timeout 902.520s 453.677s 8957538304 zeus13 2 timeout 901.908s 453.585s 8945864704 zeus17 2
ldv-linux-3.0/module_get_put-drivers-bluetooth-btmrvl.ko_true-unreach-call.cil.out.i.pp.i timeout 901.682s 707.627s zeus21 10811850752 3 timeout 901.391s 654.920s zeus09 9954422784 3 timeout 901.418s 674.428s 10518872064 zeus10 3 timeout 902.456s 649.960s 9682296832 zeus12 3 timeout 901.724s 691.935s zeus02 10732888064 3 true 290.252s 208.245s 6335397888 zeus07 2 timeout 901.567s 665.329s 9399607296 zeus20 3 true 303.402s 212.620s 6238265344 zeus12 2
ldv-linux-3.0/module_get_put-drivers-char-ipmi-ipmi_watchdog.ko_true-unreach-call.cil.out.i.pp.i timeout 903.557s 652.703s zeus22 10777784320 2 timeout 901.444s 658.607s zeus05 10460454912 2 timeout 901.361s 662.117s 10475216896 zeus13 2 timeout 901.415s 672.858s 9403891712 zeus06 2 timeout 901.187s 676.848s zeus21 9419149312 2 timeout 927.936s 468.394s 11040718848 zeus12 2 timeout 903.870s 659.313s 10505359360 zeus22 2 timeout 902.239s 454.473s 11265069056 zeus15 2
ldv-linux-3.0/module_get_put-drivers-gpu-drm-i915-i915.ko_true-unreach-call.cil.out.i.pp.i timeout 900.981s 630.170s zeus17 9521451008 1 timeout 905.828s 587.049s zeus12 9545396224 1 timeout 901.154s 563.801s 9097633792 zeus15 1 timeout 902.220s 567.156s 9112399872 zeus11 1 timeout 903.759s 588.703s zeus17 9324900352 1 timeout 904.490s 456.014s 9388257280 zeus07 1 timeout 904.784s 572.068s 8904396800 zeus24 1 timeout 997.195s 502.353s 9057845248 zeus15 1
ldv-linux-3.0/module_get_put-drivers-hid-hid-magicmouse.ko_true-unreach-call.cil.out.i.pp.i timeout 901.182s 752.194s zeus02 8464351232 1 timeout 901.747s 756.355s zeus05 8686419968 1 timeout 900.882s 756.739s 8441774080 zeus21 1 timeout 900.807s 753.934s 8367730688 zeus24 1 timeout 900.830s 759.940s zeus14 8530010112 1 timeout 901.473s 453.640s 9069105152 zeus18 1 timeout 957.167s 766.984s 9082241024 zeus18 1 timeout 900.866s 453.221s 9161166848 zeus01 1
ldv-linux-3.0/module_get_put-drivers-hwmon-it87.ko_true-unreach-call.cil.out.i.pp.i timeout 934.401s 659.710s zeus08 12253548544 5 true 85.267s 52.402s zeus20 2867716096 3 true 85.973s 53.383s 2869338112 zeus10 3 true 88.642s 53.914s 2715713536 zeus11 3 true 86.201s 56.938s zeus05 2639421440 3 true 37.199s 19.811s 755736576 zeus01 2 true 93.124s 58.449s 2877812736 zeus07 3 true 58.955s 30.291s 896475136 zeus22 2
ldv-linux-3.0/module_get_put-drivers-net-atl1c-atl1c.ko_true-unreach-call.cil.out.i.pp.i timeout 930.331s 681.120s zeus17 11329228800 1 timeout 900.905s 452.742s zeus11 7832682496 1 timeout 903.438s 454.090s 7938646016 zeus21 1 timeout 901.036s 452.880s 8148017152 zeus01 1 timeout 901.141s 452.940s zeus10 7436513280 1 timeout 987.681s 496.995s 9297223680 zeus11 1 timeout 901.435s 452.994s 7977107456 zeus05 1 timeout 999.541s 502.141s 9158885376 zeus23 -
ldv-linux-3.0/module_get_put-drivers-net-pppox.ko_true-unreach-call.cil.out.i.pp.i timeout 901.081s 869.159s zeus02 6072426496 86 timeout 901.457s 867.285s zeus10 6073159680 86 timeout 901.618s 870.166s 6049161216 zeus08 85 timeout 901.190s 869.864s 6053412864 zeus19 85 timeout 901.755s 452.360s zeus16 5724360704 62 true 8.981s 5.114s 270643200 zeus19 2 timeout 901.885s 452.395s 5674356736 zeus01 62 true 10.201s 5.735s 307748864 zeus21 2
ldv-linux-3.0/module_get_put-drivers-net-sis900.ko_true-unreach-call.cil.out.i.pp.i timeout 902.594s 659.331s zeus13 9713627136 1 timeout 903.235s 454.251s zeus23 8829108224 1 timeout 901.684s 453.404s 8805892096 zeus19 1 timeout 901.587s 453.486s 8935456768 zeus08 1 timeout 945.154s 475.332s zeus21 8986742784 1 timeout 900.787s 453.636s 9827356672 zeus10 1 timeout 901.166s 453.067s 8817254400 zeus02 1 timeout 903.691s 454.530s 9150832640 zeus04 1
ldv-linux-3.0/module_get_put-drivers-scsi-megaraid.ko_true-unreach-call.cil.out.i.pp.i timeout 982.978s 684.521s zeus17 12150640640 1 timeout 901.865s 453.284s zeus22 9085366272 1 timeout 902.101s 453.448s 8946061312 zeus05 1 timeout 901.412s 453.271s 9211637760 zeus21 1 timeout 930.689s 467.882s zeus01 8663269376 1 timeout 902.699s 454.154s 10308726784 zeus14 1 timeout 901.422s 453.213s 9044987904 zeus06 1 timeout 901.398s 453.250s 9172996096 zeus19 1
ldv-linux-3.0/module_get_put-drivers-staging-et131x-et131x.ko_true-unreach-call.cil.out.i.pp.i timeout 901.238s 672.081s zeus16 11092008960 1 timeout 922.368s 463.865s zeus22 9095774208 1 timeout 914.998s 460.294s 9091080192 zeus05 1 timeout 908.154s 456.937s 9071497216 zeus18 1 timeout 979.084s 492.424s zeus04 8795443200 1 timeout 900.946s 453.593s 9742368768 zeus01 1 timeout 901.550s 453.686s 8834076672 zeus03 1 timeout 909.585s 457.471s 9050894336 zeus09 1
ldv-linux-3.0/module_get_put-drivers-video-aty-aty128fb.ko_true-unreach-call.cil.out.i.pp.i timeout 999.721s 673.284s zeus03 11486720000 - timeout 901.695s 453.506s zeus03 8896872448 1 timeout 901.912s 453.561s 8983773184 zeus24 1 timeout 901.189s 455.884s 9020821504 zeus03 1 timeout 901.350s 598.212s zeus01 9621901312 1 timeout 905.437s 455.616s 9941491712 zeus22 1 timeout 901.483s 453.455s 8993009664 zeus05 1 timeout 963.704s 484.410s 9222365184 zeus05 1
ldv-linux-3.0/usb_urb-drivers-input-tablet-kbtab.ko_true-unreach-call.cil.out.i.pp.i timeout 901.376s 857.591s zeus15 6045925376 30 timeout 901.565s 853.897s zeus24 6061195264 31 timeout 901.867s 853.604s 6074236928 zeus08 31 timeout 901.608s 854.064s 6030716928 zeus07 30 timeout 901.654s 855.265s zeus03 6038740992 29 timeout 901.732s 858.700s 6035869696 zeus11 31 timeout 901.446s 825.286s 6042132480 zeus01 28 timeout 901.430s 820.747s 6021746688 zeus15 27
ldv-linux-3.0/usb_urb-drivers-media-video-c-qcam.ko_true-unreach-call.cil.out.i.pp.i timeout 901.170s 656.632s zeus18 11765411840 2 timeout 901.307s 453.405s zeus17 9025753088 1 timeout 901.244s 453.322s 8987987968 zeus20 1 timeout 901.388s 453.204s 8910815232 zeus06 1 timeout 970.596s 488.234s zeus04 8900382720 1 timeout 901.733s 453.792s 9543348224 zeus22 1 timeout 901.112s 453.178s 8898871296 zeus24 1 timeout 902.850s 454.113s 9239752704 zeus23 1
ldv-linux-3.0/usb_urb-drivers-media-video-msp3400.ko_true-unreach-call.cil.out.i.pp.i timeout 947.965s 642.504s zeus12 11405258752 2 timeout 929.166s 467.655s zeus21 8869842944 2 timeout 970.522s 488.437s 8840781824 zeus23 2 timeout 901.277s 453.242s 8417890304 zeus24 2 timeout 904.992s 454.894s zeus17 8490463232 2 timeout 901.723s 454.119s 9390632960 zeus17 1 timeout 901.326s 453.023s 8513290240 zeus13 2 timeout 901.296s 453.293s 8695332864 zeus24 1
ldv-linux-3.0/usb_urb-drivers-misc-c2port-core.ko_true-unreach-call.cil.out.i.pp.i timeout 904.483s 625.720s zeus08 10106408960 8 true 160.414s 85.292s zeus05 5120978944 4 true 162.510s 84.871s 5136613376 zeus11 4 true 155.092s 83.120s 5112369152 zeus20 4 timeout 901.847s 453.542s zeus15 8785059840 8 true 50.278s 29.024s 1371639808 zeus16 2 true 152.968s 81.707s 5107425280 zeus02 4 true 83.897s 42.831s 2573434880 zeus12 2
ldv-linux-3.0/usb_urb-drivers-mtd-sm_ftl.ko_true-unreach-call.cil.out.i.pp.i timeout 900.874s 696.308s zeus03 10093944832 1 timeout 919.691s 693.988s zeus16 10504314880 1 timeout 930.833s 719.886s 10550800384 zeus18 1 timeout 901.209s 702.198s 9673666560 zeus12 1 timeout 901.008s 719.750s zeus20 10323771392 1 timeout 904.697s 455.163s 8723734528 zeus10 1 timeout 900.983s 701.193s 10043285504 zeus15 1 timeout 901.798s 453.751s 9233162240 zeus05 1
ldv-linux-3.0/usb_urb-drivers-scsi-dc395x.ko_true-unreach-call.cil.out.i.pp.i timeout 904.477s 668.733s zeus11 10572820480 1 timeout 902.355s 453.885s zeus13 8742748160 1 timeout 931.183s 468.398s 8718995456 zeus13 1 timeout 902.406s 453.912s 8775987200 zeus12 1 timeout 902.941s 454.108s zeus14 8608043008 1 timeout 901.839s 454.073s 8886796288 zeus19 1 timeout 952.189s 479.007s 8741552128 zeus15 1 timeout 901.561s 453.332s 8623439872 zeus11 1
ldv-linux-3.0/usb_urb-drivers-usb-serial-ir-usb.ko_true-unreach-call.cil.out.i.pp.i timeout 902.441s 729.362s zeus01 9515061248 20 timeout 902.267s 725.768s zeus24 9677996032 20 timeout 904.509s 738.249s 9256955904 zeus08 21 timeout 904.612s 734.763s 9506058240 zeus19 20 timeout 902.373s 453.862s zeus23 7519027200 16 true 27.691s 14.576s 649265152 zeus12 2 timeout 907.780s 456.954s 7243988992 zeus16 16 true 49.943s 25.742s 736718848 zeus24 2
ldv-linux-3.0/usb_urb-drivers-usb-serial-whiteheat.ko_true-unreach-call.cil.out.i.pp.i timeout 999.564s 686.477s zeus09 11405971456 - timeout 921.186s 617.465s zeus20 11630366720 1 timeout 964.929s 637.011s 11565854720 zeus17 1 timeout 903.294s 625.239s 10792407040 zeus09 1 timeout 901.660s 453.528s zeus12 8993636352 1 timeout 904.143s 455.270s 9781678080 zeus23 1 timeout 901.717s 453.679s 8995762176 zeus18 1 timeout 901.401s 453.487s 9252347904 zeus21 1
ldv-linux-3.0/usb_urb-drivers-uwb-i1480-dfu-i1480-dfu-usb.ko_true-unreach-call.cil.out.i.pp.i timeout 901.262s 675.880s zeus19 10290335744 1 timeout 901.071s 693.611s zeus09 10222669824 1 timeout 926.849s 691.711s 10291208192 zeus24 1 timeout 951.440s 697.836s 10327228416 zeus08 1 timeout 901.108s 696.248s zeus12 10380386304 1 timeout 956.654s 481.432s 8933511168 zeus04 1 timeout 901.329s 695.741s 10357796864 zeus05 1 timeout 901.282s 453.629s 8873938944 zeus22 1
ldv-linux-3.0/usb_urb-drivers-vhost-vhost_net.ko_true-unreach-call.cil.out.i.pp.i timeout 901.592s 685.950s zeus07 11400384512 1 timeout 944.245s 474.599s zeus12 9184399360 1 timeout 917.056s 461.131s 8988794880 zeus01 1 timeout 967.994s 486.568s 8899469312 zeus18 1 timeout 984.842s 495.009s zeus02 9252417536 1 timeout 901.284s 453.550s 10257399808 zeus16 1 timeout 908.136s 456.799s 9117323264 zeus02 1 timeout 901.288s 453.163s 9173684224 zeus04 1
ldv-linux-3.0/usb_urb-drivers-video-arkfb.ko_true-unreach-call.cil.out.i.pp.i timeout 999.656s 666.611s zeus09 11686952960 - timeout 999.641s 703.950s zeus22 12257505280 - timeout 999.547s 705.454s 11943124992 zeus13 - timeout 901.723s 648.685s 11568144384 zeus02 2 timeout 999.683s 694.147s zeus21 12258627584 - timeout 901.581s 453.762s 10727636992 zeus17 1 timeout 902.487s 673.863s 10934095872 zeus11 2 timeout 901.152s 453.167s 9501904896 zeus17 1
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--gpu--drm--vmwgfx--vmwgfx.ko-ldv_main3_sequence_infinite_withcheck_stateful.cil.out.c timeout 999.689s 855.790s zeus01 9681244160 - timeout 999.445s 840.871s zeus17 9382506496 - timeout 999.299s 846.614s 9573699584 zeus20 - timeout 999.425s 845.065s 9318182912 zeus05 - timeout 999.453s 857.586s zeus07 9623183360 - timeout 999.419s 538.556s 7995396096 zeus22 - timeout 999.862s 842.914s 10268966912 zeus02 - timeout 999.257s 539.801s 8014901248 zeus15 -
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--input--mouse--synaptics_usb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 903.277s 831.743s zeus01 6702403584 5 timeout 903.041s 833.154s zeus14 6374780928 5 timeout 903.495s 828.598s 6666117120 zeus08 5 timeout 913.751s 843.337s 6428635136 zeus20 5 timeout 903.536s 730.887s zeus02 6286659584 5 timeout 904.121s 736.612s 7060094976 zeus12 5 timeout 903.582s 740.650s 6632476672 zeus18 5 timeout 904.438s 673.319s 6443630592 zeus24 5
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--input--mousedev.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c false(reach) 31.594s 17.245s zeus16 748105728 1 false(reach) 32.926s 18.258s zeus03 730677248 1 false(reach) 32.670s 17.961s 746983424 zeus20 1 false(reach) 33.550s 18.600s 729075712 zeus17 1 false(reach) 34.404s 18.949s zeus20 739688448 1 false(reach) 44.940s 23.929s 839819264 zeus12 1 false(reach) 34.640s 19.114s 723247104 zeus21 1 false(reach) 50.224s 26.468s 925323264 zeus08 1
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--isdn--capi--kernelcapi.ko-ldv_main3_sequence_infinite_withcheck_stateful.cil.out.c false(reach) 26.849s 14.777s zeus07 665972736 1 false(reach) 33.856s 17.757s zeus24 670973952 1 false(reach) 34.137s 17.802s 677625856 zeus07 1 false(reach) 30.942s 16.262s 679350272 zeus08 1 false(reach) 32.379s 17.006s zeus15 668942336 1 false(reach) 34.161s 17.716s 674541568 zeus21 1 false(reach) 33.692s 17.642s 670720000 zeus18 1 false(reach) 44.928s 23.027s 735584256 zeus14 1
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--media--dvb--dvb-usb--dvb-usb-dib0700.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c false(reach) 30.994s 16.725s zeus12 790552576 1 false(reach) 42.078s 22.152s zeus12 783892480 1 false(reach) 41.703s 21.795s 781721600 zeus05 1 false(reach) 40.739s 21.370s 782372864 zeus20 1 false(reach) 42.419s 22.226s zeus05 780845056 1 false(reach) 42.870s 22.555s 793567232 zeus16 1 false(reach) 41.726s 21.975s 779153408 zeus24 1 false(reach) 59.117s 30.582s 790331392 zeus24 1
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--media--video--cpia2--cpia2.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c false(reach) 129.157s 91.786s zeus15 5014102016 1 false(reach) 267.049s 134.716s zeus12 5457051648 1 false(reach) 267.421s 135.102s 5462638592 zeus23 1 false(reach) 275.627s 139.246s 5457371136 zeus19 1 false(reach) 275.315s 139.046s zeus02 5312061440 1 false(reach) 270.582s 136.511s 5495255040 zeus12 1 false(reach) 270.848s 136.839s 5465579520 zeus04 1 false(reach) 425.502s 214.459s 6054047744 zeus15 1
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--media--video--mem2mem_testdev.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c false(reach) 14.360s 8.112s zeus06 570253312 1 false(reach) 23.712s 12.653s zeus03 635953152 1 false(reach) 22.429s 11.975s 638672896 zeus07 1 false(reach) 22.030s 11.774s 642129920 zeus17 1 false(reach) 22.211s 11.943s zeus11 638660608 1 false(reach) 18.546s 10.090s 647548928 zeus20 1 false(reach) 22.743s 12.122s 634036224 zeus14 1 false(reach) 27.224s 14.324s 643637248 zeus12 1
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--media--video--vivi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c false(reach) 18.484s 10.215s zeus12 511483904 1 false(reach) 27.193s 14.283s zeus02 645414912 1 false(reach) 29.617s 15.518s 657473536 zeus07 1 false(reach) 27.332s 14.353s 661569536 zeus12 1 false(reach) 30.259s 15.753s zeus14 655949824 1 false(reach) 25.128s 13.344s 644956160 zeus23 1 false(reach) 27.244s 14.461s 654462976 zeus04 1 false(reach) 36.440s 18.969s 652955648 zeus24 1
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--mtd--chips--cfi_cmdset_0001.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c false(reach) 16.124s 8.837s zeus22 386404352 1 false(reach) 18.605s 9.943s zeus07 468807680 1 false(reach) 18.560s 9.964s 461275136 zeus22 1 false(reach) 19.670s 10.460s 461836288 zeus14 1 false(reach) 18.257s 9.892s zeus15 464232448 1 false(reach) 17.652s 9.522s 450510848 zeus09 1 false(reach) 18.731s 10.050s 468369408 zeus24 1 false(reach) 22.141s 11.721s 520015872 zeus20 1
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--net--phy--dp83640.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c false(reach) 18.700s 10.349s zeus20 468725760 1 false(reach) 28.014s 14.694s zeus06 633581568 1 false(reach) 28.665s 14.910s 629719040 zeus10 1 false(reach) 26.234s 13.759s 624656384 zeus21 1 false(reach) 24.511s 13.034s zeus22 625651712 1 false(reach) 26.773s 13.959s 618090496 zeus24 1 false(reach) 27.713s 14.637s 626860032 zeus10 1 false(reach) 32.200s 16.774s 655736832 zeus04 1
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--net--wireless--p54--p54usb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c false(reach) 18.413s 10.381s zeus18 639176704 1 false(reach) 19.281s 10.732s zeus13 637702144 1 false(reach) 19.046s 10.618s 640831488 zeus21 1 false(reach) 19.465s 10.977s 642949120 zeus04 1 false(reach) 18.167s 10.342s zeus02 639672320 1 false(reach) 25.374s 13.472s 687235072 zeus11 1 false(reach) 19.428s 10.824s 640126976 zeus20 1 false(reach) 25.474s 13.450s 688119808 zeus24 1
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--scsi--libfc--libfc.ko-ldv_main5_sequence_infinite_withcheck_stateful.cil.out.c timeout 999.489s 864.860s zeus12 8900710400 - timeout 999.336s 853.777s zeus23 8738865152 - timeout 999.435s 859.289s 8846000128 zeus13 - timeout 999.386s 851.552s 8750440448 zeus22 - timeout 998.830s 863.574s zeus02 8750260224 - timeout 999.494s 543.094s 7645564928 zeus19 - timeout 998.589s 852.381s 8755666944 zeus23 - timeout 999.310s 541.878s 7581306880 zeus16 -
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--staging--keucr--keucr.ko-ldv_main1_sequence_infinite_withcheck_stateful.cil.out.c false(reach) 43.129s 22.576s zeus11 675106816 1 false(reach) 34.766s 18.497s zeus21 672043008 1 false(reach) 44.399s 23.144s 668602368 zeus24 1 false(reach) 46.395s 24.184s 670441472 zeus13 1 false(reach) 44.770s 23.490s zeus04 670097408 1 false(reach) 55.887s 28.603s 779677696 zeus04 1 false(reach) 46.131s 23.975s 671502336 zeus09 1 false(reach) 58.896s 30.068s 770588672 zeus24 1
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--usb--image--microtek.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c false(reach) 9.034s 5.301s zeus11 287571968 1 false(reach) 11.232s 6.315s zeus19 324403200 1 false(reach) 11.614s 6.547s 327299072 zeus09 1 false(reach) 11.579s 6.487s 323784704 zeus10 1 false(reach) 11.746s 6.600s zeus01 328540160 1 false(reach) 11.344s 6.442s 323248128 zeus11 1 false(reach) 11.442s 6.404s 326553600 zeus13 1 false(reach) 13.324s 7.387s 364113920 zeus17 1
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--usb--storage--usb-storage.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c false(reach) 52.909s 28.427s zeus10 1244295168 1 false(reach) 53.600s 28.774s zeus02 1239257088 1 false(reach) 57.659s 30.544s 839565312 zeus05 1 false(reach) 55.211s 29.524s 839041024 zeus11 1 false(reach) 55.080s 29.341s zeus22 828960768 1 false(reach) 74.503s 37.857s 1435103232 zeus22 1 false(reach) 53.836s 28.787s 1253044224 zeus18 1 false(reach) 76.261s 38.841s 1374253056 zeus14 1
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--vhost--vhost_net.ko-ldv_main1_sequence_infinite_withcheck_stateful.cil.out.c false(reach) 46.376s 25.163s zeus24 1311199232 1 false(reach) 65.294s 33.595s zeus19 1309970432 1 false(reach) 66.429s 34.317s 1317949440 zeus03 1 false(reach) 68.014s 35.025s 1302282240 zeus19 1 false(reach) 62.263s 32.345s zeus04 1271123968 1 false(reach) 63.853s 32.831s 1450041344 zeus13 1 false(reach) 71.883s 36.999s 1300111360 zeus07 1 false(reach) 81.161s 41.591s 1424502784 zeus15 1
ldv-linux-3.4-simple/32_7_cilled_false-unreach-call_const_ok_linux-32_1-drivers--video--aty--atyfb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 907.597s 671.834s zeus04 9898418176 1 timeout 988.365s 746.067s zeus07 10932477952 1 timeout 903.807s 705.708s 10684411904 zeus07 1 timeout 905.904s 706.426s 10560069632 zeus13 1 timeout 903.591s 713.500s zeus22 10503122944 1 timeout 912.119s 458.432s 8944668672 zeus13 1 timeout 904.042s 712.613s 10866487296 zeus03 1 timeout 962.061s 484.473s 8968110080 zeus19 1
ldv-linux-3.4-simple/43_1a_cilled_false-unreach-call_ok_linux-43_1a-drivers--misc--sgi-xp--xpc.ko-ldv_main3_sequence_infinite_withcheck_stateful.cil.out.c timeout 936.264s 677.534s zeus22 10219360256 1 timeout 937.236s 714.276s zeus04 10586456064 1 timeout 938.421s 706.945s 10477920256 zeus23 1 timeout 938.492s 702.837s 10664980480 zeus19 1 timeout 999.406s 732.416s zeus03 11345408000 - timeout 928.690s 472.873s 9047494656 zeus01 1 timeout 999.615s 737.576s 11118686208 zeus01 - timeout 930.399s 473.632s 8979206144 zeus22 1
ldv-linux-3.4-simple/43_1a_cilled_false-unreach-call_ok_linux-43_1a-drivers--net--wireless--orinoco--orinoco_usb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 900.936s 718.351s zeus07 9719472128 1 timeout 901.260s 721.592s zeus16 9427279872 1 timeout 901.003s 729.919s 10036219904 zeus15 1 timeout 901.120s 693.537s 9131089920 zeus08 1 timeout 901.447s 744.072s zeus09 9283166208 1 timeout 902.519s 453.589s 7191912448 zeus22 1 timeout 901.269s 678.028s 9029615616 zeus01 1 timeout 901.257s 452.858s 7102615552 zeus21 1
ldv-linux-3.4-simple/43_1a_cilled_false-unreach-call_ok_linux-43_1a-drivers--scsi--dpt_i2o.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 905.670s 669.361s zeus12 10513502208 1 timeout 920.877s 463.502s zeus18 8860692480 1 timeout 918.590s 462.197s 8627204096 zeus04 1 timeout 962.443s 484.441s 8705789952 zeus03 1 timeout 903.994s 454.551s zeus08 7323885568 1 timeout 902.502s 454.207s 9761980416 zeus06 1 timeout 902.668s 454.239s 8781520896 zeus19 1 timeout 908.808s 457.271s 8870023168 zeus02 1
ldv-linux-3.4-simple/43_1a_cilled_false-unreach-call_ok_linux-43_1a-drivers--scsi--megaraid--megaraid_mm.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 901.665s 681.657s zeus01 10774142976 2 timeout 902.357s 567.891s zeus20 8678080512 2 timeout 901.675s 550.852s 8749543424 zeus12 2 timeout 901.397s 544.292s 8711577600 zeus11 2 timeout 904.145s 619.150s zeus20 8554991616 2 timeout 902.048s 453.773s 8700289024 zeus14 2 timeout 902.095s 453.593s 8301453312 zeus17 2 timeout 901.534s 452.795s 8208863232 zeus22 1
ldv-linux-3.4-simple/43_1a_cilled_false-unreach-call_ok_linux-43_1a-drivers--usb--gadget--mv_udc.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c false(reach) 145.790s 111.835s zeus09 5002145792 1 false(reach) 169.612s 136.887s zeus24 4973834240 1 false(reach) 157.182s 123.937s 4990820352 zeus24 1 false(reach) 170.816s 133.635s 5015953408 zeus15 1 false(reach) 147.160s 115.198s zeus17 4964331520 1 false(reach) 215.802s 139.766s 5610532864 zeus13 1 false(reach) 198.948s 163.339s 4977860608 zeus15 1 false(reach) 250.618s 163.664s 5532626944 zeus05 1
ldv-linux-3.4-simple/43_1a_cilled_false-unreach-call_ok_linux-43_1a-drivers--usb--gadget--pch_udc.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 901.426s 757.124s zeus08 8658616320 1 timeout 901.277s 757.816s zeus07 8492113920 1 timeout 901.276s 756.186s 8334311424 zeus11 1 timeout 901.297s 764.247s 8533307392 zeus16 1 timeout 901.464s 743.279s zeus08 8352677888 1 timeout 902.086s 452.974s 6694604800 zeus20 1 timeout 902.691s 753.987s 8213229568 zeus01 1 timeout 902.111s 453.018s 6552408064 zeus08 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--acpi--apei--einj.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 902.055s 782.625s zeus23 7670620160 56 true 19.607s 10.546s zeus21 463831040 1 true 21.152s 11.204s 490643456 zeus23 1 true 20.910s 11.201s 486981632 zeus14 1 timeout 901.781s 452.868s zeus10 7412015104 41 timeout 904.696s 786.447s 8136134656 zeus06 58 true 19.896s 10.708s 464293888 zeus02 1 true 28.949s 15.243s 656773120 zeus24 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--acpi--bgrt.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 910.227s 817.472s zeus07 6154428416 133 true 7.046s 4.152s zeus21 247119872 1 true 7.101s 4.277s 239341568 zeus17 1 true 7.325s 4.351s 246775808 zeus19 1 true 6.645s 4.031s zeus20 231014400 1 true 9.925s 5.651s 273346560 zeus13 3 true 6.899s 4.095s 239570944 zeus14 1 true 7.962s 4.601s 257982464 zeus05 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--acpi--container.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 904.920s 855.007s zeus11 6048010240 103 true 7.089s 4.249s zeus10 251367424 1 true 8.056s 4.733s 258179072 zeus16 1 true 8.345s 4.851s 262549504 zeus07 1 true 7.967s 4.729s zeus20 254394368 1 true 10.522s 5.924s 292937728 zeus04 2 true 7.340s 4.339s 253804544 zeus04 1 true 8.423s 5.162s 275501056 zeus08 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--acpi--ec_sys.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 912.711s 735.694s zeus03 10092404736 - true 10.754s 6.203s zeus02 311439360 1 true 16.019s 8.817s 371765248 zeus16 1 true 16.251s 8.823s 376262656 zeus15 1 true 15.411s 8.516s zeus04 391925760 1 true 30.310s 15.905s 660656128 zeus02 2 true 10.750s 6.202s 319107072 zeus14 1 true 14.544s 8.065s 368214016 zeus05 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--acpi--fan.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 901.397s 852.755s zeus19 6111338496 54 true 10.351s 5.828s zeus09 283140096 1 true 11.419s 6.399s 295526400 zeus20 1 true 13.511s 7.418s 336982016 zeus22 2 true 11.950s 6.702s zeus02 299192320 1 true 16.686s 9.049s 451555328 zeus15 2 true 11.246s 6.306s 306638848 zeus22 1 true 11.582s 6.489s 315019264 zeus03 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--ata--pata_marvell.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 901.621s 852.174s zeus21 6169350144 23 true 8.146s 4.711s zeus22 266416128 1 true 12.970s 7.104s 328765440 zeus04 1 true 13.451s 7.403s 322871296 zeus20 1 true 12.745s 7.053s zeus01 327974912 1 true 17.096s 9.208s 546983936 zeus14 2 true 8.233s 4.775s 264880128 zeus16 1 true 12.828s 7.076s 341663744 zeus08 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--ata--pata_netcell.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 901.376s 865.181s zeus08 6032457728 173 true 7.311s 4.256s zeus13 250740736 1 true 8.656s 4.973s 259817472 zeus13 1 true 8.714s 4.962s 270843904 zeus24 2 true 8.113s 4.661s zeus19 263032832 1 true 9.340s 5.264s 278921216 zeus14 2 true 6.762s 4.056s 254701568 zeus11 1 true 7.749s 4.565s 266633216 zeus22 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--atm--adummy.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 904.193s 839.437s zeus11 6256046080 82 true 11.968s 6.625s zeus09 314662912 2 true 11.759s 6.526s 304492544 zeus10 2 true 11.743s 6.542s 308506624 zeus23 2 true 10.243s 5.796s zeus16 291835904 1 true 12.537s 6.963s 334422016 zeus12 2 true 11.379s 6.391s 305348608 zeus09 2 true 13.106s 7.241s 347693056 zeus10 2
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--auxdisplay--cfag12864b.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 903.752s 689.691s zeus12 10430164992 31 true 13.328s 7.322s zeus17 372346880 1 true 14.344s 7.863s 386019328 zeus05 1 true 404.087s 206.943s 6200303616 zeus23 20 true 102.158s 53.559s zeus01 4921544704 12 true 18.095s 9.720s 525778944 zeus14 2 true 13.183s 7.238s 373313536 zeus09 1 true 18.336s 9.853s 479068160 zeus14 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--auxdisplay--cfag12864bfb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 902.505s 856.642s zeus24 6125740032 100 true 7.603s 4.437s zeus09 255078400 1 true 8.321s 4.851s 257024000 zeus09 1 true 8.992s 5.145s 268832768 zeus19 1 true 8.619s 5.027s zeus10 261115904 1 true 11.552s 6.424s 303071232 zeus08 2 true 7.206s 4.324s 246980608 zeus08 1 true 8.260s 4.810s 269819904 zeus15 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--auxdisplay--ks0108.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 901.975s 874.074s zeus08 4817117184 1072 true 5.535s 3.376s zeus08 210735104 1 true 5.447s 3.362s 209268736 zeus06 1 true 5.662s 3.437s 209104896 zeus12 2 true 5.644s 3.485s zeus09 208334848 1 true 6.417s 3.944s 218181632 zeus01 3 true 5.316s 3.241s 207745024 zeus01 1 true 5.926s 3.590s 223789056 zeus24 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--block--paride--aten.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 964.942s 733.259s zeus04 10523705344 4 true 51.023s 27.987s zeus16 1375277056 1 true 68.194s 35.195s 2456580096 zeus20 2 true 65.997s 33.768s 2127884288 zeus18 1 timeout 902.112s 453.151s zeus21 7148634112 3 true 136.606s 96.685s 5393117184 zeus12 2 true 54.310s 29.781s 1362984960 zeus07 1 true 84.706s 43.209s 2477342720 zeus21 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--block--paride--bpck.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 904.350s 689.887s zeus14 8898715648 1 timeout 901.529s 452.971s zeus15 7500197888 1 timeout 901.818s 453.057s 7661854720 zeus18 1 timeout 901.678s 453.005s 7398785024 zeus23 1 timeout 901.905s 453.070s zeus04 7840980992 1 timeout 901.687s 453.382s 8443469824 zeus04 1 timeout 903.597s 453.904s 7730184192 zeus07 1 timeout 901.515s 452.730s 8117571584 zeus15 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--block--paride--comm.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 903.264s 733.163s zeus05 9675730944 2 true 186.651s 147.043s zeus04 5544529920 1 true 191.575s 141.894s 5591097344 zeus16 1 true 190.520s 139.521s 5618958336 zeus19 1 timeout 902.058s 453.356s zeus11 7223447552 2 timeout 901.439s 519.338s 8915890176 zeus18 2 true 176.463s 136.824s 5625364480 zeus05 1 true 456.652s 230.043s 6616825856 zeus12 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--block--paride--dstr.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 901.839s 722.884s zeus18 8777834496 2 true 220.771s 177.260s zeus05 5841178624 1 true 298.119s 214.772s 5993914368 zeus23 1 true 291.704s 215.461s 6004039680 zeus18 1 timeout 902.178s 453.035s zeus08 6752690176 2 timeout 902.302s 453.660s 8566718464 zeus09 2 true 221.350s 178.535s 5833695232 zeus07 1 true 601.096s 303.086s 6874685440 zeus19 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--block--paride--epat.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 901.001s 671.434s zeus10 8684920832 1 timeout 977.391s 491.162s zeus21 8695676928 1 timeout 901.546s 452.846s 8387076096 zeus23 1 timeout 901.037s 452.648s 8580046848 zeus21 1 timeout 901.538s 452.920s zeus16 7190286336 1 timeout 901.526s 453.056s 8367886336 zeus06 1 timeout 999.443s 501.905s 8631504896 zeus09 - timeout 901.426s 452.671s 8216309760 zeus19 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--block--paride--epia.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 901.726s 693.206s zeus01 9685524480 2 true 582.041s 406.095s zeus09 8086769664 1 timeout 988.073s 555.150s 9002082304 zeus14 1 timeout 999.282s 502.007s 8795897856 zeus07 - timeout 901.714s 452.939s zeus22 8091525120 1 timeout 993.323s 499.660s 8823996416 zeus19 1 true 720.988s 495.572s 7619616768 zeus06 1 timeout 999.454s 501.992s 8710586368 zeus16 -
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--block--paride--fit2.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 904.767s 686.265s zeus19 10950279168 7 true 31.861s 16.952s zeus04 660385792 1 true 42.010s 21.783s 714608640 zeus17 1 true 38.110s 19.780s 709419008 zeus08 1 timeout 902.680s 453.944s zeus18 8327516160 6 true 55.142s 31.532s 1832615936 zeus11 2 true 32.637s 17.233s 668835840 zeus17 1 true 46.157s 23.775s 729083904 zeus05 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--block--paride--fit3.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 901.445s 706.293s zeus16 8652611584 2 true 75.622s 52.708s zeus16 4715196416 1 true 85.892s 57.893s 4716027904 zeus01 1 true 84.572s 56.764s 4725055488 zeus09 1 timeout 901.318s 452.639s zeus04 7041642496 2 timeout 903.057s 651.153s 8445706240 zeus16 2 true 73.219s 50.995s 4723990528 zeus03 1 true 85.565s 58.473s 4708634624 zeus06 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--block--paride--friq.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 901.482s 728.141s zeus17 8648699904 2 true 618.799s 497.403s zeus16 7671422976 1 true 720.075s 550.533s 7546331136 zeus04 1 true 690.544s 544.876s 7736344576 zeus16 1 timeout 901.415s 452.513s zeus02 6704930816 1 timeout 901.823s 453.163s 7207583744 zeus24 1 true 675.726s 538.150s 7391412224 zeus16 1 timeout 900.874s 452.658s 7655268352 zeus19 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--block--paride--frpw.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 901.460s 746.594s zeus04 9382014976 2 true 619.385s 503.394s zeus15 7512588288 1 true 707.823s 548.829s 7452291072 zeus12 1 true 672.664s 538.996s 7771881472 zeus18 1 timeout 901.074s 452.285s zeus24 6699417600 1 timeout 901.300s 452.855s 8088625152 zeus09 1 true 661.926s 528.256s 7258591232 zeus24 1 timeout 900.994s 452.673s 7474282496 zeus07 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--block--paride--kbic.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 922.539s 733.444s zeus06 8821702656 2 true 799.716s 638.153s zeus19 8189583360 1 timeout 957.712s 712.787s 8515928064 zeus08 1 true 798.092s 638.861s 8113762304 zeus20 1 timeout 901.363s 452.707s zeus23 6785667072 1 timeout 901.618s 453.240s 7115776000 zeus15 1 true 810.250s 640.891s 8228831232 zeus09 1 timeout 901.919s 453.078s 7649734656 zeus18 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--block--paride--ktti.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 902.096s 678.235s zeus11 10541694976 6 true 39.977s 20.708s zeus13 717987840 1 true 44.534s 22.995s 1278189568 zeus01 2 true 48.507s 24.984s 1281482752 zeus01 2 timeout 902.579s 453.585s zeus08 7614730240 5 true 63.215s 36.600s 2498301952 zeus22 2 true 40.312s 21.008s 718475264 zeus10 1 true 54.672s 28.059s 1301405696 zeus21 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--block--paride--on20.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 902.242s 757.217s zeus21 8771248128 5 true 57.636s 34.267s zeus16 2410975232 1 true 72.890s 41.277s 2479071232 zeus19 1 true 70.260s 39.459s 2465095680 zeus16 1 timeout 901.934s 452.830s zeus16 6869344256 4 true 154.465s 101.029s 5275000832 zeus13 2 true 60.557s 35.746s 2463346688 zeus19 1 true 101.051s 51.391s 3922026496 zeus24 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--block--paride--on26.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 901.268s 813.831s zeus01 7403524096 1 timeout 901.019s 740.989s zeus13 7096020992 1 timeout 901.159s 677.974s 7013478400 zeus23 1 timeout 967.962s 723.912s 7022583808 zeus09 1 timeout 901.923s 452.853s zeus15 6184448000 1 timeout 901.508s 452.546s 6581530624 zeus01 1 timeout 901.155s 744.928s 7194312704 zeus17 1 timeout 901.328s 452.354s 6641033216 zeus12 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--char--hw_random--virtio-rng.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 902.201s 652.203s zeus22 10706808832 4 timeout 902.168s 650.802s zeus15 10809466880 4 timeout 903.132s 645.111s 10397720576 zeus08 4 timeout 902.210s 658.480s 10641272832 zeus12 4 timeout 906.278s 672.906s zeus15 10969280512 4 true 37.649s 19.561s 697126912 zeus13 2 timeout 903.294s 667.852s 10106388480 zeus12 4 true 36.112s 19.156s 693813248 zeus23 2
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--char--ipmi--ipmi_poweroff.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 901.228s 619.380s zeus16 9220222976 6 true 59.344s 30.432s zeus24 1376473088 2 true 78.423s 44.179s 2658045952 zeus11 3 true 78.076s 44.246s 2652336128 zeus03 3 true 164.515s 104.531s zeus11 5183840256 4 true 47.485s 24.671s 1284935680 zeus12 2 true 56.893s 29.156s 1374711808 zeus05 2 true 80.222s 40.915s 1807110144 zeus07 2
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--char--ramoops.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 901.897s 871.963s zeus12 4845428736 1077 true 6.080s 3.764s zeus16 218542080 1 true 6.435s 3.977s 223010816 zeus13 1 true 6.052s 3.672s 218120192 zeus20 2 true 5.785s 3.538s zeus13 217661440 1 true 6.906s 4.141s 235814912 zeus21 3 true 5.778s 3.546s 217821184 zeus12 1 true 7.110s 4.287s 240766976 zeus07 2
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--char--tpm--tpm_nsc.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 901.603s 657.737s zeus06 10776616960 2 true 101.513s 71.710s zeus09 5012791296 1 true 103.918s 75.704s 4944355328 zeus21 1 true 98.819s 70.183s 4924329984 zeus04 1 timeout 902.161s 453.698s zeus01 8914640896 2 timeout 922.679s 580.300s 10157158400 zeus17 2 true 104.679s 75.402s 4994822144 zeus16 1 true 263.207s 132.870s 6063431680 zeus06 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--char--uv_mmtimer.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 903.549s 870.433s zeus21 5984415744 65 true 12.442s 6.885s zeus16 380055552 1 true 13.536s 7.514s 406024192 zeus22 2 true 13.180s 7.251s 376799232 zeus02 2 true 12.231s 6.786s zeus21 365355008 1 true 14.367s 7.865s 427081728 zeus02 2 true 14.156s 7.692s 390238208 zeus13 2 true 16.477s 8.914s 461844480 zeus17 2
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--clocksource--cs5535-clockevt.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 901.613s 870.674s zeus02 5694812160 181 true 7.557s 4.271s zeus20 235663360 2 true 8.463s 4.787s 250990592 zeus16 2 true 8.451s 4.762s 253358080 zeus13 2 true 7.301s 4.178s zeus13 232730624 1 true 9.581s 5.393s 269262848 zeus07 2 true 7.250s 4.174s 234545152 zeus10 1 true 10.128s 5.638s 294473728 zeus07 2
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--cpufreq--cpufreq_powersave.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 903.995s 856.946s zeus17 5964554240 218 true 5.268s 3.219s zeus21 206561280 1 true 5.026s 3.076s 208310272 zeus19 1 true 5.074s 3.118s 207069184 zeus17 1 true 5.109s 3.179s zeus23 204607488 1 true 7.093s 4.178s 233938944 zeus16 3 true 5.183s 3.182s 203673600 zeus09 1 true 5.803s 3.455s 222650368 zeus01 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--cpufreq--pcc-cpufreq.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 902.158s 686.304s zeus05 9536380928 11 true 21.871s 12.170s zeus05 643678208 1 true 21.622s 11.893s 645451776 zeus02 1 true 20.933s 11.670s 641908736 zeus10 1 true 37.014s 19.270s zeus05 700248064 1 true 35.578s 18.479s 742014976 zeus14 1 true 22.354s 12.405s 639533056 zeus12 1 true 28.616s 15.198s 642002944 zeus07 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--edac--mce_amd_inj.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 901.164s 764.045s zeus15 8234840064 30 true 7.015s 4.112s zeus24 232153088 1 true 7.568s 4.388s 236974080 zeus24 1 true 7.619s 4.407s 240967680 zeus22 1 true 7.563s 4.513s zeus05 229908480 1 true 11.121s 6.145s 319201280 zeus13 2 true 7.409s 4.270s 229642240 zeus05 1 true 8.581s 4.858s 257097728 zeus08 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--firmware--google--gsmi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 901.967s 695.160s zeus01 8707391488 8 true 483.970s 255.843s zeus16 6421876736 5 true 525.121s 272.572s 6459981824 zeus03 5 true 568.770s 292.231s 6685982720 zeus20 5 timeout 902.477s 453.473s zeus17 7555010560 6 true 74.327s 41.247s 4662235136 zeus04 2 true 504.352s 267.395s 6550896640 zeus04 5 true 125.500s 63.678s 4966961152 zeus01 2
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--firmware--google--memconsole.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 902.125s 773.575s zeus05 7508996096 85 true 6.565s 3.878s zeus15 223580160 1 true 6.231s 3.681s 222593024 zeus10 1 true 6.490s 3.860s 221749248 zeus20 1 timeout 902.496s 453.534s zeus04 7703031808 61 true 12.067s 6.640s 331177984 zeus15 2 true 6.510s 3.907s 227762176 zeus08 1 true 7.511s 4.390s 249421824 zeus19 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--gpio--gpio-74x164.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 903.212s 833.481s zeus01 6138347520 43 true 8.152s 4.770s zeus01 267243520 1 true 11.239s 6.241s 308482048 zeus07 1 true 10.419s 5.925s 302698496 zeus01 1 true 13.085s 7.173s zeus13 327860224 1 true 13.096s 7.196s 388800512 zeus01 1 true 8.773s 5.025s 264515584 zeus19 1 true 12.801s 7.082s 339316736 zeus20 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--gpio--gpio-max7301.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 901.793s 859.942s zeus11 6007848960 118 true 6.047s 3.661s zeus16 219389952 1 true 5.945s 3.651s 223576064 zeus22 1 true 7.213s 4.252s 235724800 zeus19 1 true 6.219s 3.734s zeus20 216342528 1 true 7.973s 4.723s 262254592 zeus23 2 true 5.999s 3.684s 218124288 zeus14 1 true 7.017s 4.243s 241336320 zeus19 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--gpio--gpio-mc33880.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 903.126s 833.195s zeus17 6181994496 46 true 11.064s 6.171s zeus05 308518912 1 true 11.017s 6.267s 313364480 zeus09 1 true 15.010s 8.183s 359198720 zeus15 1 true 8.672s 4.974s zeus20 273936384 1 true 13.221s 7.262s 373452800 zeus14 1 true 11.211s 6.338s 310718464 zeus16 1 true 13.058s 7.192s 346173440 zeus02 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--gpio--gpio-tps65912.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 902.732s 874.440s zeus22 5853069312 67 true 6.866s 4.102s zeus05 225771520 1 true 8.152s 4.672s 254603264 zeus02 1 true 8.627s 4.934s 254103552 zeus07 1 true 7.091s 4.167s zeus19 233189376 1 true 12.754s 7.060s 361512960 zeus02 2 true 6.311s 3.834s 222375936 zeus11 1 true 7.686s 4.442s 246026240 zeus20 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--gpio--gpio-wm831x.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 903.379s 752.851s zeus24 8517394432 15 true 16.593s 9.006s zeus18 479432704 1 true 21.492s 11.431s 542019584 zeus18 1 true 22.566s 11.984s 533856256 zeus03 1 timeout 902.177s 453.664s zeus17 7423913984 11 true 29.274s 15.387s 694517760 zeus11 2 true 15.615s 8.637s 475348992 zeus03 1 true 24.747s 13.076s 644849664 zeus19 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--gpu--drm--drm_usb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 901.633s 874.778s zeus17 5191176192 954 true 6.898s 4.154s zeus09 246239232 1 true 6.801s 4.005s 248823808 zeus10 1 true 6.636s 4.003s 244436992 zeus24 1 true 6.658s 3.915s zeus02 243441664 1 true 7.615s 4.448s 255381504 zeus11 2 true 7.036s 4.065s 242135040 zeus10 1 true 7.491s 4.437s 262524928 zeus16 2
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--gpu--drm--i2c--sil164.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 908.564s 745.769s zeus13 8296448000 10 true 23.260s 12.341s zeus22 526475264 1 true 42.458s 22.534s 717541376 zeus06 1 true 45.514s 24.234s 1255985152 zeus12 1 true 43.281s 22.771s zeus02 768450560 1 true 57.171s 30.346s 2496475136 zeus13 2 true 23.786s 12.635s 531832832 zeus07 1 true 28.816s 15.194s 638197760 zeus16 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--gpu--drm--tdfx--tdfx.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 902.193s 878.185s zeus09 4798586880 1071 true 6.035s 3.653s zeus06 236933120 1 true 6.143s 3.731s 241721344 zeus06 1 true 6.464s 4.045s 236269568 zeus23 1 true 6.042s 3.656s zeus08 235335680 1 true 7.006s 4.159s 243146752 zeus22 2 true 6.493s 3.821s 237449216 zeus13 1 true 7.168s 4.250s 251240448 zeus17 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--gpu--stub--poulsbo.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 901.642s 873.221s zeus23 5203120128 394 true 5.932s 3.674s zeus17 221433856 1 true 6.039s 3.722s 225763328 zeus11 1 true 6.105s 3.759s 227184640 zeus06 1 true 6.386s 3.904s zeus08 228511744 1 true 6.984s 4.150s 231186432 zeus15 2 true 6.059s 3.741s 221356032 zeus15 1 true 6.256s 3.824s 232374272 zeus20 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-cherry.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 903.814s 818.314s zeus10 6101250048 110 true 6.551s 3.925s zeus20 229707776 1 true 6.822s 4.052s 234725376 zeus17 1 true 6.882s 4.109s 231264256 zeus17 1 true 6.527s 3.919s zeus02 230162432 1 true 11.518s 6.408s 317403136 zeus06 2 true 6.594s 3.936s 227897344 zeus01 1 true 8.456s 4.930s 263938048 zeus15 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-chicony.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 901.540s 862.294s zeus21 5939286016 147 true 12.463s 6.954s zeus12 326377472 1 true 13.081s 7.200s 326393856 zeus23 1 true 12.680s 7.000s 326705152 zeus04 1 true 12.434s 6.888s zeus08 319741952 1 true 17.858s 9.645s 485355520 zeus22 2 true 12.153s 6.751s 324890624 zeus09 1 true 14.186s 7.815s 372867072 zeus23 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-elecom.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 901.837s 826.720s zeus04 6026399744 202 true 5.423s 3.367s zeus09 212836352 1 true 5.744s 3.528s 212811776 zeus01 1 true 5.740s 3.544s 218615808 zeus18 1 true 5.809s 3.658s zeus19 216047616 1 true 7.753s 4.515s 248209408 zeus02 3 true 5.599s 3.406s 218664960 zeus03 1 true 5.957s 3.652s 222674944 zeus20 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-ezkey.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 901.307s 857.126s zeus23 6096310272 98 true 6.240s 3.801s zeus09 227889152 1 true 6.286s 3.841s 229134336 zeus11 1 true 6.413s 3.878s 228085760 zeus09 1 true 6.163s 3.788s zeus20 223731712 1 true 11.215s 6.340s 309764096 zeus01 2 true 6.343s 3.810s 227905536 zeus23 1 true 7.393s 4.370s 250077184 zeus07 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-gyration.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 901.515s 862.679s zeus16 5917274112 115 true 10.586s 5.960s zeus11 305553408 1 true 11.616s 6.525s 313225216 zeus03 1 true 11.722s 6.522s 311058432 zeus01 1 true 11.632s 6.434s zeus10 305889280 1 true 15.185s 8.272s 444661760 zeus20 2 true 11.233s 6.248s 306270208 zeus15 1 true 12.861s 7.112s 343269376 zeus06 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-kensington.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 901.361s 869.235s zeus03 5708582912 214 true 6.002s 3.663s zeus12 217485312 1 true 5.723s 3.509s 218529792 zeus06 1 true 5.721s 3.554s 219406336 zeus24 1 true 5.644s 3.486s zeus17 217300992 1 true 8.157s 4.813s 257114112 zeus21 2 true 5.793s 3.578s 217378816 zeus17 1 true 6.137s 3.718s 231940096 zeus01 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-keytouch.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 901.421s 813.076s zeus16 6071840768 495 true 5.823s 3.564s zeus02 219598848 1 true 5.649s 3.439s 216604672 zeus23 1 true 5.761s 3.554s 221175808 zeus22 1 true 5.541s 3.466s zeus08 214618112 1 true 5.982s 3.679s 223100928 zeus01 2 true 6.023s 3.707s 217333760 zeus16 1 true 6.323s 3.861s 228659200 zeus12 2
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-lcpower.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 901.596s 865.228s zeus02 5571633152 163 true 7.480s 4.410s zeus05 239636480 1 true 8.266s 4.857s 262750208 zeus24 1 true 8.635s 5.004s 266768384 zeus21 1 true 7.011s 4.150s zeus03 240627712 1 true 12.398s 7.126s 342679552 zeus08 2 true 8.283s 4.853s 254496768 zeus15 1 true 10.209s 5.744s 286851072 zeus13 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-monterey.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 902.862s 861.651s zeus09 6100832256 137 true 6.776s 4.032s zeus11 239960064 1 true 7.152s 4.288s 233271296 zeus12 1 true 6.806s 4.027s 240566272 zeus22 1 true 7.155s 4.265s zeus23 234168320 1 true 11.326s 6.317s 315117568 zeus24 2 true 7.095s 4.231s 233340928 zeus21 1 true 9.473s 5.449s 275554304 zeus06 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-ortek.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 901.637s 849.582s zeus12 5991985152 157 true 5.525s 3.421s zeus24 215740416 1 true 5.530s 3.408s 215613440 zeus04 1 true 5.568s 3.399s 214552576 zeus14 1 true 5.633s 3.512s zeus03 214781952 1 true 7.869s 4.839s 248455168 zeus21 2 true 5.488s 3.374s 213155840 zeus12 1 true 6.171s 3.754s 229224448 zeus06 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-petalynx.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 901.922s 830.645s zeus11 6099668992 87 true 8.886s 5.062s zeus05 262520832 1 true 13.336s 7.386s 325017600 zeus04 1 true 13.382s 7.320s 325816320 zeus09 1 true 11.402s 6.379s zeus06 309501952 1 true 17.110s 9.491s 455020544 zeus10 2 true 8.911s 5.095s 261660672 zeus07 1 true 10.753s 6.033s 299319296 zeus24 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-primax.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 903.432s 665.908s zeus24 11041718272 7 timeout 902.240s 665.427s zeus18 11005632512 7 timeout 902.291s 698.332s 10401918976 zeus24 7 timeout 902.542s 678.285s 11099975680 zeus09 7 timeout 905.430s 687.747s zeus07 9871437824 7 true 38.718s 20.219s 700219392 zeus01 2 timeout 906.831s 658.949s 9656987648 zeus15 7 true 41.767s 21.708s 712851456 zeus14 2
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-saitek.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 901.120s 805.437s zeus20 6082932736 105 true 5.447s 3.370s zeus15 214593536 1 true 5.644s 3.497s 219246592 zeus08 1 true 5.642s 3.471s 220155904 zeus01 1 true 6.005s 3.690s zeus10 218914816 1 true 9.843s 5.601s 275587072 zeus05 2 true 5.871s 3.760s 212869120 zeus20 1 true 6.213s 3.751s 237150208 zeus24 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-samsung.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 901.177s 846.749s zeus14 6041395200 59 true 12.670s 7.023s zeus13 326295552 1 true 18.032s 9.659s 421265408 zeus15 1 true 17.306s 9.360s 421273600 zeus15 1 true 16.667s 9.061s zeus06 398532608 1 true 23.004s 12.209s 641384448 zeus22 2 true 12.797s 7.077s 329883648 zeus09 1 true 16.473s 8.942s 393912320 zeus15 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-speedlink.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 901.534s 869.917s zeus20 5784211456 375 true 5.725s 3.538s zeus22 221278208 1 true 5.896s 3.677s 220041216 zeus02 1 true 6.071s 3.713s 224161792 zeus16 1 true 5.991s 3.711s zeus18 221130752 1 true 7.306s 4.326s 245866496 zeus18 3 true 6.009s 3.740s 226369536 zeus21 1 true 6.220s 3.772s 235708416 zeus02 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-sunplus.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 901.977s 798.215s zeus04 6170095616 101 true 6.086s 3.710s zeus21 223227904 1 true 6.410s 3.829s 223227904 zeus19 1 true 6.283s 3.786s 224063488 zeus07 1 true 6.211s 3.756s zeus20 220635136 1 true 11.583s 6.509s 309415936 zeus04 2 true 6.243s 3.787s 225099776 zeus01 1 true 7.568s 4.469s 252280832 zeus19 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-tivo.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 919.267s 856.148s zeus14 6060900352 - true 8.064s 4.627s zeus23 248094720 1 true 8.305s 4.851s 257253376 zeus17 1 true 9.143s 5.250s 267874304 zeus08 1 true 7.449s 4.417s zeus06 235454464 1 true 10.752s 6.090s 299872256 zeus20 2 true 7.553s 4.483s 236781568 zeus10 1 true 8.741s 5.069s 268877824 zeus12 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-topseed.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 901.546s 857.086s zeus10 6064590848 144 true 12.163s 6.768s zeus14 330440704 1 true 12.509s 6.884s 333291520 zeus21 1 true 16.225s 8.963s 396103680 zeus18 2 true 13.050s 7.249s zeus09 331300864 1 true 17.764s 9.559s 496467968 zeus14 2 true 11.691s 6.501s 324292608 zeus01 1 true 14.907s 8.132s 387596288 zeus22 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-twinhan.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 901.722s 849.201s zeus12 6059581440 115 true 16.241s 8.820s zeus03 420876288 1 true 15.589s 8.486s 422313984 zeus16 1 true 16.228s 8.792s 431828992 zeus15 1 true 12.504s 6.952s zeus06 329994240 1 true 23.228s 12.327s 635195392 zeus04 2 true 15.329s 8.374s 427921408 zeus02 1 true 20.197s 10.800s 516059136 zeus19 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-uclogic.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 915.009s 871.488s zeus23 6032945152 248 true 6.677s 4.023s zeus20 229109760 1 true 18.435s 9.880s 439631872 zeus04 9 true 6.803s 4.047s 231342080 zeus21 1 true 13.872s 7.593s zeus16 352419840 6 true 8.197s 4.833s 257982464 zeus22 2 true 6.563s 3.958s 230412288 zeus01 1 true 7.794s 4.600s 258437120 zeus24 2
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-wacom.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 902.125s 687.012s zeus21 10254831616 3 timeout 901.747s 673.788s zeus05 10422972416 3 timeout 902.179s 677.054s 10412965888 zeus14 3 timeout 902.075s 682.663s 10417258496 zeus07 3 timeout 901.731s 692.353s zeus11 10425393152 3 true 629.590s 387.365s 7474094080 zeus23 2 timeout 902.016s 677.920s 10456449024 zeus12 3 true 717.436s 445.654s 7829356544 zeus11 2
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-waltop.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 902.862s 785.704s zeus09 8432291840 14 timeout 938.673s 813.321s zeus14 8619073536 14 timeout 903.294s 789.444s 8411877376 zeus08 14 timeout 904.925s 796.228s 7935180800 zeus07 14 timeout 903.515s 789.394s zeus14 8036487168 14 true 36.198s 18.831s 680181760 zeus13 3 timeout 907.340s 789.416s 8404037632 zeus17 14 true 40.828s 21.176s 694099968 zeus20 3
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hid--hid-zydacron.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 911.279s 677.533s zeus15 10590740480 6 timeout 901.750s 658.532s zeus14 10269929472 6 timeout 912.759s 683.405s 10410430464 zeus17 6 timeout 904.178s 661.842s 10211328000 zeus19 6 timeout 934.831s 680.378s zeus01 10118426624 6 true 58.073s 29.832s 2442784768 zeus21 2 timeout 901.663s 665.307s 10273861632 zeus22 6 true 57.437s 29.730s 2396393472 zeus13 2
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hwmon--ads7871.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 901.331s 789.094s zeus08 6843060224 75 true 8.270s 4.812s zeus20 263155712 1 true 14.010s 7.701s 355307520 zeus10 1 true 13.669s 7.546s 352178176 zeus12 1 true 11.139s 6.308s zeus15 312655872 1 true 14.881s 8.175s 417554432 zeus24 1 true 8.468s 5.000s 262807552 zeus16 1 true 10.701s 6.060s 306913280 zeus10 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hwmon--asus_atk0110.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 901.141s 670.107s zeus17 10596638720 1 timeout 901.330s 551.723s zeus06 9299808256 1 timeout 901.588s 453.122s 8551706624 zeus17 1 timeout 901.499s 453.215s 9132625920 zeus17 1 timeout 901.262s 452.874s zeus02 7951134720 1 timeout 901.435s 453.287s 9127092224 zeus04 1 timeout 901.237s 548.140s 8888078336 zeus17 1 timeout 901.148s 452.963s 8721473536 zeus07 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hwmon--emc1403.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 909.186s 851.899s zeus17 6068314112 76 true 9.274s 5.301s zeus02 271798272 1 true 9.800s 5.600s 273539072 zeus03 1 true 11.539s 6.522s 291258368 zeus18 1 true 9.717s 5.615s zeus05 282357760 1 true 13.851s 7.676s 370774016 zeus15 2 true 8.053s 4.752s 253267968 zeus17 1 true 10.837s 6.155s 304967680 zeus21 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hwmon--gpio-fan.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 901.337s 662.913s zeus24 10579124224 2 true 119.760s 90.282s zeus12 5439033344 1 true 126.408s 94.267s 5432999936 zeus05 1 true 127.159s 93.511s 5445009408 zeus16 1 timeout 901.976s 453.215s zeus18 8660008960 2 timeout 901.535s 527.898s 9301504000 zeus07 2 true 117.709s 88.455s 5455216640 zeus12 1 true 323.302s 163.128s 6304452608 zeus03 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hwmon--max1111.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 902.731s 833.522s zeus07 5968461824 47 true 7.331s 4.332s zeus03 251379712 1 true 8.156s 4.780s 257064960 zeus17 1 true 7.919s 4.623s 257818624 zeus19 1 true 7.329s 4.337s zeus06 253104128 1 true 14.130s 7.760s 407425024 zeus08 2 true 6.700s 4.020s 240799744 zeus19 1 true 8.004s 4.717s 258580480 zeus05 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hwmon--pcf8591.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 904.333s 838.970s zeus06 6102904832 51 true 9.904s 5.656s zeus07 289738752 1 true 11.756s 6.566s 298688512 zeus10 1 true 13.139s 7.275s 337395712 zeus21 2 true 11.231s 6.300s zeus08 305008640 1 true 12.862s 7.142s 378896384 zeus15 2 true 10.365s 5.920s 290152448 zeus06 1 true 12.159s 6.841s 326807552 zeus06 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hwmon--pmbus--max16064.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 901.392s 873.358s zeus15 5299113984 249 true 5.608s 3.480s zeus06 213274624 1 true 6.621s 3.915s 224669696 zeus24 2 true 6.799s 4.045s 223248384 zeus10 1 true 6.068s 3.705s zeus09 218980352 1 true 7.198s 4.238s 242163712 zeus04 2 true 5.944s 3.649s 220639232 zeus07 1 true 7.183s 4.308s 239575040 zeus24 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hwmon--pmbus--max8688.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 901.446s 871.023s zeus22 6048235520 119 true 6.284s 3.774s zeus05 219037696 1 true 7.629s 4.495s 245809152 zeus03 1 true 7.812s 4.565s 242352128 zeus05 1 true 7.369s 4.388s zeus24 244768768 1 true 10.430s 5.904s 294428672 zeus05 2 true 6.342s 3.900s 221343744 zeus01 1 true 7.407s 4.353s 250798080 zeus03 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--hwmon--smsc47b397.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 901.562s 841.478s zeus24 6083502080 103 true 12.700s 7.083s zeus24 317243392 1 true 13.103s 7.251s 322113536 zeus20 1 true 12.396s 6.881s 331591680 zeus10 1 true 12.877s 7.239s zeus22 320700416 1 timeout 902.518s 847.802s 6085873664 zeus08 109 true 12.346s 6.838s 315383808 zeus17 1 true 14.446s 7.941s 354582528 zeus03 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--i2c--algos--i2c-algo-pca.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 905.785s 674.058s zeus18 10376110080 2 true 598.702s 305.994s zeus18 7456870400 2 true 673.223s 347.794s 7452008448 zeus01 2 true 647.371s 335.549s 7590109184 zeus14 2 timeout 902.031s 453.690s zeus13 8192004096 2 timeout 902.130s 453.684s 8895860736 zeus06 2 true 639.984s 330.295s 7519858688 zeus24 2 timeout 901.780s 453.427s 8869810176 zeus08 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--i2c--busses--i2c-diolan-u2c.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 962.382s 683.428s zeus13 11091734528 2 true 161.922s 89.256s zeus23 5170139136 1 timeout 901.201s 628.422s 9961410560 zeus21 2 timeout 912.987s 640.811s 10244890624 zeus18 - timeout 903.172s 453.818s zeus20 8181501952 2 timeout 901.467s 553.833s 8915759104 zeus17 2 true 163.667s 90.389s 5339152384 zeus12 1 true 322.429s 162.786s 5999017984 zeus03 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--i2c--busses--i2c-stub.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 902.486s 673.813s zeus23 10382204928 4 true 40.084s 21.876s zeus19 1149648896 1 true 40.887s 22.281s 1269637120 zeus16 1 true 39.095s 21.382s 1179852800 zeus03 1 timeout 901.599s 452.957s zeus18 7115399168 3 true 44.842s 23.276s 1387872256 zeus01 1 true 39.108s 21.311s 1145135104 zeus17 1 true 64.469s 33.043s 1410584576 zeus02 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--i2c--busses--i2c-tiny-usb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 929.049s 769.769s zeus13 8783507456 13 true 24.558s 13.023s zeus20 638177280 1 true 34.216s 17.834s 663973888 zeus08 1 true 31.172s 16.326s 657506304 zeus03 1 timeout 914.802s 459.692s zeus03 7275278336 10 true 24.448s 12.943s 653475840 zeus12 1 true 25.674s 13.570s 639860736 zeus10 1 true 37.937s 19.759s 715341824 zeus08 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--i2c--i2c-smbus.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 904.270s 850.600s zeus08 6137466880 62 true 9.070s 5.247s zeus03 270905344 1 true 11.073s 6.215s 293683200 zeus21 1 true 11.396s 6.434s 288051200 zeus20 1 true 10.800s 6.134s zeus10 290418688 1 true 12.319s 6.868s 352595968 zeus04 2 true 9.143s 5.285s 271867904 zeus12 1 true 10.197s 5.846s 299634688 zeus01 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--ide--cmd640.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 999.663s 732.061s zeus02 11237801984 - true 303.307s 153.878s zeus21 5974540288 3 true 295.132s 150.762s 5993828352 zeus05 3 true 549.149s 289.520s 7312527360 zeus18 4 true 303.963s 154.810s zeus15 5941936128 3 true 96.077s 56.401s 4887855104 zeus03 2 true 294.411s 149.755s 5964374016 zeus11 3 true 192.432s 97.201s 5362417664 zeus09 2
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--ide--ide-pnp.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 906.501s 768.071s zeus05 8566472704 33 true 14.957s 8.046s zeus07 343379968 1 true 16.249s 8.802s 374292480 zeus16 1 true 15.469s 8.335s 377372672 zeus10 1 true 15.527s 8.376s zeus24 369496064 1 true 19.065s 10.151s 538533888 zeus11 2 true 12.816s 7.165s 336543744 zeus16 1 true 15.656s 8.484s 411815936 zeus22 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--gameport--lightning.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 911.132s 643.805s zeus08 11843993600 - true 124.041s 86.031s zeus10 5348757504 2 true 132.292s 94.179s 5363798016 zeus18 2 true 124.355s 86.864s 5342793728 zeus19 2 timeout 901.147s 518.449s zeus03 9125482496 3 true 105.477s 73.655s 5395800064 zeus11 2 true 125.821s 86.231s 5335691264 zeus10 2 true 145.084s 92.479s 5246439424 zeus08 2
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--joystick--magellan.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 901.923s 668.337s zeus15 10424127488 9 true 24.965s 13.191s zeus18 632504320 1 true 27.054s 14.260s 651497472 zeus20 1 true 26.647s 14.010s 655949824 zeus19 1 true 31.982s 16.651s zeus10 708550656 2 true 35.873s 19.246s 1281126400 zeus09 2 true 23.505s 12.573s 635723776 zeus06 1 true 31.144s 16.302s 646045696 zeus19 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--joystick--spaceball.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 902.056s 724.188s zeus01 8666361856 11 true 22.367s 12.204s zeus15 639352832 1 true 28.400s 14.974s 647217152 zeus12 1 true 29.930s 15.673s 653676544 zeus21 1 true 31.383s 16.422s zeus21 656863232 1 true 36.432s 19.277s 1243930624 zeus19 2 true 23.746s 12.880s 638500864 zeus16 1 true 35.486s 18.567s 660922368 zeus10 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--joystick--spaceorb.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 901.929s 654.283s zeus12 11030339584 5 true 38.074s 21.139s zeus19 1256488960 1 true 44.275s 24.361s 1258631168 zeus05 1 true 43.692s 23.524s 1259655168 zeus12 1 timeout 901.322s 452.748s zeus21 7639511040 4 true 83.893s 50.003s 4969181184 zeus20 2 true 37.348s 21.000s 1262206976 zeus15 1 true 65.235s 33.393s 1542488064 zeus24 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--joystick--stinger.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 902.217s 867.970s zeus05 6007394304 45 true 9.948s 5.626s zeus17 281284608 1 true 13.994s 7.639s 342863872 zeus14 1 true 15.650s 8.544s 348454912 zeus19 1 true 10.843s 6.142s zeus20 288141312 1 true 18.993s 10.306s 524484608 zeus13 2 true 9.959s 5.664s 281407488 zeus15 1 true 11.385s 6.373s 305799168 zeus03 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--joystick--turbografx.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 901.156s 630.803s zeus11 9816514560 2 true 142.938s 113.094s zeus16 5276758016 1 true 121.985s 89.603s 5145653248 zeus24 1 true 135.010s 102.659s 5136232448 zeus21 1 timeout 901.638s 452.939s zeus20 8374022144 2 timeout 931.892s 544.138s 9680437248 zeus07 2 true 116.991s 86.154s 5291982848 zeus14 1 true 339.779s 171.217s 6087655424 zeus08 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--joystick--twidjoy.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 901.528s 649.669s zeus19 10135068672 4 true 26.588s 14.384s zeus17 655151104 1 true 32.323s 16.995s 657268736 zeus08 1 true 34.587s 18.192s 713150464 zeus22 1 timeout 902.361s 453.564s zeus21 8173465600 4 true 68.920s 45.686s 2754023424 zeus23 2 true 27.946s 15.229s 663351296 zeus06 1 true 43.027s 22.294s 734490624 zeus02 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--joystick--warrior.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 901.852s 866.103s zeus08 6015008768 26 true 13.759s 7.576s zeus19 334585856 1 true 18.380s 9.882s 487944192 zeus04 1 true 19.416s 10.410s 470335488 zeus12 1 true 19.036s 10.233s zeus13 496979968 1 true 28.234s 14.891s 653692928 zeus20 2 true 13.766s 7.630s 334835712 zeus08 1 true 15.799s 8.570s 422764544 zeus07 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--joystick--zhenhua.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 901.620s 849.428s zeus17 5952176128 49 true 8.889s 5.141s zeus07 264642560 1 true 11.990s 6.661s 308076544 zeus10 1 true 12.261s 6.787s 303349760 zeus20 1 true 10.890s 6.149s zeus09 296263680 1 true 15.254s 8.304s 424927232 zeus20 2 true 8.432s 4.874s 266715136 zeus06 1 true 10.446s 5.961s 289058816 zeus11 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--keyboard--gpio_keys_polled.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 915.359s 695.090s zeus21 10398703616 - true 30.318s 16.208s zeus05 661192704 1 true 31.522s 16.678s 660844544 zeus04 1 true 31.227s 16.734s 660066304 zeus17 1 timeout 901.980s 453.370s zeus06 7810236416 5 true 35.600s 18.538s 1254445056 zeus14 1 true 28.047s 15.102s 652607488 zeus07 1 true 24.579s 13.292s 647168000 zeus10 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--keyboard--newtonkbd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 923.240s 787.386s zeus21 9429700608 53 true 11.281s 6.348s zeus24 308580352 1 true 13.652s 7.520s 341336064 zeus08 1 true 13.815s 7.603s 340525056 zeus23 1 true 70.026s 36.593s zeus18 4465221632 11 true 16.304s 8.892s 492367872 zeus03 2 true 11.425s 6.433s 308768768 zeus09 1 true 14.397s 7.895s 378970112 zeus12 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--keyboard--stowaway.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 901.364s 760.952s zeus16 8847040512 54 true 11.890s 6.649s zeus24 317579264 1 true 18.328s 9.878s 428752896 zeus13 2 true 18.908s 10.152s 429690880 zeus20 2 true 75.839s 39.809s zeus03 4480712704 12 true 14.973s 8.193s 454311936 zeus17 2 true 11.985s 6.635s 325828608 zeus05 1 true 14.174s 7.754s 384671744 zeus07 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--keyboard--xtkbd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 903.290s 754.292s zeus19 9372848128 53 true 11.418s 6.478s zeus05 305160192 1 true 14.328s 7.854s 340021248 zeus04 1 true 14.935s 8.153s 348811264 zeus21 1 true 12.641s 7.023s zeus11 327331840 1 true 17.074s 9.410s 503496704 zeus07 2 true 11.033s 6.304s 306987008 zeus24 1 true 13.237s 7.313s 352366592 zeus07 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--misc--ab8500-ponkey.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 901.821s 842.853s zeus22 6077030400 69 true 6.539s 3.994s zeus23 225595392 1 true 9.005s 5.171s 275386368 zeus19 1 true 9.200s 5.281s 271691776 zeus06 1 true 7.224s 4.280s zeus24 240209920 1 true 12.750s 7.055s 377638912 zeus08 2 true 6.380s 3.852s 230367232 zeus22 1 true 7.448s 4.365s 244535296 zeus14 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--misc--ad714x-i2c.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 901.443s 853.876s zeus07 6036889600 99 true 6.067s 3.696s zeus16 222978048 1 true 6.661s 4.013s 239943680 zeus19 1 true 7.048s 4.174s 237334528 zeus19 1 true 6.560s 4.017s zeus15 231329792 1 true 8.993s 5.167s 272392192 zeus15 2 true 6.229s 3.798s 227545088 zeus18 1 true 6.831s 4.098s 248279040 zeus18 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--misc--ad714x-spi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 901.320s 859.645s zeus13 6082408448 124 true 6.524s 3.941s zeus13 237568000 1 true 7.835s 4.621s 254259200 zeus04 1 true 7.805s 4.596s 256733184 zeus21 1 true 7.265s 4.355s zeus06 253812736 1 true 9.336s 5.413s 276566016 zeus22 2 true 7.674s 4.554s 250200064 zeus11 1 true 8.569s 5.016s 271781888 zeus23 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--misc--adxl34x-spi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 901.401s 866.660s zeus04 6047895552 73 true 10.681s 6.093s zeus11 293773312 1 true 13.734s 7.554s 335990784 zeus04 2 true 13.419s 7.399s 338763776 zeus05 2 true 11.758s 6.563s zeus19 313790464 1 true 13.937s 7.655s 377442304 zeus09 2 true 11.050s 6.221s 290770944 zeus15 1 true 12.484s 6.907s 336723968 zeus24 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--misc--apanel.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 902.641s 742.864s zeus03 9180762112 25 true 12.425s 7.001s zeus03 315461632 1 true 12.689s 7.092s 314269696 zeus13 1 true 12.351s 6.882s 317517824 zeus09 1 timeout 903.562s 454.076s zeus21 6919630848 20 true 17.920s 9.626s 523948032 zeus21 2 true 11.892s 6.691s 315990016 zeus24 1 true 14.638s 8.027s 376803328 zeus09 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--misc--atlas_btns.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 963.139s 730.684s zeus18 11918098432 20 true 10.341s 5.859s zeus13 299642880 2 true 13.776s 7.568s 348467200 zeus18 2 true 13.898s 7.637s 345550848 zeus05 2 true 12.407s 6.966s zeus16 336588800 2 true 12.837s 7.226s 350375936 zeus22 2 true 13.566s 7.558s 340750336 zeus04 2 true 16.094s 8.739s 409321472 zeus08 2
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--misc--cma3000_d0x_i2c.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 912.360s 871.648s zeus03 6074933248 49 true 6.677s 3.996s zeus23 236765184 1 true 8.303s 4.855s 254418944 zeus01 1 true 8.989s 5.190s 267272192 zeus15 1 true 7.322s 4.388s zeus06 240943104 1 true 12.022s 6.679s 343400448 zeus23 2 true 6.310s 3.820s 230744064 zeus08 1 true 6.725s 4.074s 246013952 zeus20 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--misc--mma8450.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 901.846s 825.528s zeus12 5988532224 125 true 6.734s 4.035s zeus18 244699136 1 true 8.463s 4.875s 259411968 zeus05 1 true 8.512s 4.890s 259792896 zeus16 1 true 8.438s 4.813s zeus12 253677568 1 true 11.346s 6.356s 309465088 zeus03 2 true 6.706s 3.935s 240230400 zeus16 1 true 7.545s 4.361s 253448192 zeus05 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--misc--mpu3050.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 901.900s 849.901s zeus01 6001381376 57 true 10.298s 5.889s zeus09 294666240 1 true 15.507s 8.477s 368312320 zeus11 1 true 15.278s 8.543s 367681536 zeus09 1 true 11.692s 6.480s zeus18 313376768 1 true 17.535s 9.495s 443088896 zeus20 1 true 10.171s 5.809s 293597184 zeus23 1 true 12.636s 7.092s 347181056 zeus11 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--misc--pcap_keys.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 901.303s 860.701s zeus05 6045409280 82 true 7.124s 4.204s zeus01 238166016 1 true 9.401s 5.354s 271319040 zeus24 1 true 10.209s 5.731s 283095040 zeus17 1 true 9.310s 5.542s zeus02 267767808 1 true 11.710s 6.507s 348319744 zeus14 2 true 8.514s 4.969s 254607360 zeus05 1 true 9.005s 5.175s 277041152 zeus20 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--misc--pcf50633-input.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 901.601s 856.870s zeus14 6003781632 110 true 6.096s 3.722s zeus11 229507072 1 true 7.763s 4.526s 250195968 zeus09 1 true 7.994s 4.673s 249470976 zeus08 1 true 6.574s 3.965s zeus20 230772736 1 true 9.629s 5.534s 283512832 zeus10 2 true 6.238s 3.810s 228556800 zeus23 1 true 7.080s 4.225s 247373824 zeus17 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--misc--pcspkr.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 901.312s 858.335s zeus23 6095765504 98 true 8.635s 4.971s zeus23 262279168 1 true 9.778s 5.579s 296808448 zeus04 2 true 9.766s 5.532s 276369408 zeus20 1 true 9.493s 5.424s zeus24 282779648 1 true 10.863s 6.063s 303054848 zeus14 2 true 9.048s 5.179s 268382208 zeus09 1 true 10.490s 5.980s 294236160 zeus21 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--misc--rotary_encoder.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 901.418s 841.821s zeus17 6064308224 29 true 13.900s 7.654s zeus11 363024384 1 true 22.950s 12.213s 537395200 zeus10 1 true 22.329s 11.865s 540549120 zeus01 1 true 19.363s 10.422s zeus14 477036544 1 true 22.060s 11.805s 623276032 zeus16 1 true 14.096s 7.818s 358522880 zeus06 1 true 19.394s 10.381s 464957440 zeus13 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--misc--wm831x-on.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 908.110s 846.339s zeus20 5993226240 61 true 7.589s 4.445s zeus24 250642432 1 true 12.063s 6.744s 305307648 zeus13 1 true 11.537s 6.436s 303943680 zeus16 1 true 9.443s 5.680s zeus24 282890240 1 true 14.206s 7.771s 408260608 zeus13 2 true 7.329s 4.300s 244502528 zeus14 1 true 8.750s 5.140s 263360512 zeus20 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--misc--xen-kbdfront.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 903.435s 673.006s zeus13 9757024256 10 true 7.865s 4.677s zeus23 250109952 1 true 11.924s 6.802s 343343104 zeus04 1 true 8.039s 4.768s 251887616 zeus05 1 true 7.758s 4.672s zeus08 249122816 1 true 27.211s 14.338s 673816576 zeus18 2 true 7.690s 4.573s 252207104 zeus04 1 true 9.546s 5.504s 285016064 zeus22 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--mouse--gpio_mouse.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 901.974s 694.883s zeus05 9837862912 8 true 15.306s 8.458s zeus05 370032640 1 true 17.744s 9.561s 413409280 zeus04 1 true 18.231s 9.816s 422481920 zeus03 1 true 36.965s 19.210s zeus12 712806400 2 true 17.416s 9.467s 512806912 zeus20 1 true 14.573s 8.087s 375451648 zeus09 1 true 20.192s 10.839s 612757504 zeus17 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--mouse--vsxxxaa.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 902.353s 654.494s zeus19 9814069248 4 true 17.357s 9.397s zeus10 396140544 1 true 42.130s 23.772s 1155043328 zeus03 1 true 41.307s 22.789s 757063680 zeus02 1 true 18.692s 10.110s zeus10 442986496 1 true 109.040s 75.094s 5087571968 zeus24 2 true 17.116s 9.269s 397815808 zeus02 1 true 23.501s 12.525s 504369152 zeus08 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--serio--ct82c710.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 901.507s 841.517s zeus21 6013251584 78 true 8.472s 4.906s zeus02 253849600 1 true 9.636s 5.458s 275972096 zeus15 1 true 10.513s 5.860s 277118976 zeus03 1 true 10.949s 6.090s zeus10 293548032 2 true 11.595s 6.714s 303124480 zeus13 2 true 8.711s 5.040s 258031616 zeus17 1 true 9.512s 5.453s 279932928 zeus23 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--serio--parkbd.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 901.915s 874.667s zeus17 4816113664 1055 true 6.785s 4.106s zeus18 232882176 1 true 7.302s 4.309s 235548672 zeus21 2 true 7.136s 4.200s 237821952 zeus13 2 true 6.455s 3.878s zeus10 223526912 1 true 8.932s 5.120s 256888832 zeus12 4 true 6.629s 3.963s 235945984 zeus03 1 true 9.375s 5.683s 270524416 zeus21 3
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--ad7879-spi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 906.989s 800.712s zeus22 7909502976 14 true 22.796s 12.136s zeus19 593428480 1 true 25.709s 13.542s 648798208 zeus09 1 true 24.849s 13.140s 649994240 zeus17 1 true 23.940s 12.695s zeus17 628424704 1 true 31.592s 16.525s 700936192 zeus12 2 true 22.911s 12.208s 606461952 zeus08 1 true 32.140s 16.852s 659628032 zeus01 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--cyttsp_spi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 908.061s 745.465s zeus23 9726459904 10 true 31.277s 16.313s zeus22 658444288 1 true 31.014s 16.181s 705208320 zeus10 1 true 29.189s 15.352s 703864832 zeus06 1 true 69.201s 36.162s zeus04 2420056064 3 true 36.609s 19.603s 1280450560 zeus18 2 true 30.601s 15.964s 654352384 zeus12 1 true 38.155s 19.811s 712232960 zeus19 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--dynapro.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 905.321s 841.505s zeus07 6171226112 43 true 10.933s 6.248s zeus16 302342144 1 true 12.833s 7.100s 317730816 zeus13 1 true 13.591s 7.440s 327712768 zeus08 1 true 12.128s 6.735s zeus19 319324160 1 true 18.431s 9.913s 491315200 zeus13 2 true 9.200s 5.275s 276115456 zeus08 1 true 10.999s 6.154s 301203456 zeus05 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--eeti_ts.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 906.052s 850.913s zeus22 6098595840 55 true 9.306s 5.361s zeus11 285843456 1 true 13.897s 7.677s 340828160 zeus13 1 true 9.375s 5.369s 280526848 zeus10 1 true 9.585s 5.463s zeus15 281800704 1 timeout 902.265s 858.658s 6045581312 zeus17 56 true 8.945s 5.160s 281186304 zeus18 1 true 11.124s 6.228s 314191872 zeus03 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--egalax_ts.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 903.338s 727.862s zeus05 9404448768 12 true 23.594s 12.521s zeus09 524161024 1 true 30.826s 16.175s 632492032 zeus19 1 true 28.486s 14.944s 637882368 zeus17 1 true 23.188s 12.329s zeus20 620777472 1 true 22.105s 11.759s 652541952 zeus09 1 true 23.798s 12.608s 523988992 zeus18 1 true 28.199s 14.798s 654753792 zeus02 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--fujitsu_ts.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 913.068s 854.800s zeus12 5937188864 41 true 8.913s 5.097s zeus13 256696320 1 true 13.536s 7.471s 320647168 zeus06 1 true 12.046s 6.682s 309305344 zeus19 1 true 9.030s 5.216s zeus16 268402688 1 true 14.761s 8.133s 382644224 zeus11 1 true 8.928s 5.179s 270737408 zeus22 1 true 9.871s 5.622s 294506496 zeus22 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--gunze.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 906.857s 844.346s zeus10 6017380352 38 true 9.277s 5.321s zeus20 268181504 1 true 10.630s 6.063s 292159488 zeus23 1 true 13.899s 7.599s 331218944 zeus15 1 true 10.333s 5.852s zeus14 277385216 1 true 22.413s 11.926s 546455552 zeus14 2 true 9.715s 5.540s 274030592 zeus07 1 true 11.356s 6.396s 310661120 zeus18 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--hampshire.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 904.794s 839.481s zeus14 6150127616 44 true 9.505s 5.393s zeus04 281669632 1 true 13.486s 7.413s 334450688 zeus23 1 true 14.125s 7.778s 342417408 zeus11 1 true 13.299s 7.364s zeus06 345378816 1 true 18.628s 9.983s 521998336 zeus13 2 true 9.745s 5.612s 281059328 zeus03 1 true 11.755s 6.630s 317575168 zeus20 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--inexio.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 908.623s 851.048s zeus05 6087516160 45 true 8.639s 4.971s zeus15 260194304 1 true 12.146s 6.722s 315072512 zeus07 1 true 12.339s 6.828s 311836672 zeus10 1 true 8.444s 5.003s zeus01 263036928 1 true 16.599s 8.995s 468439040 zeus21 2 true 8.654s 5.012s 266416128 zeus15 1 true 9.739s 5.524s 290873344 zeus24 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--max11801_ts.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 902.726s 776.678s zeus02 7969038336 21 true 8.166s 4.826s zeus11 267440128 1 true 13.975s 7.640s 376369152 zeus07 1 true 14.198s 7.797s 374632448 zeus05 1 true 10.020s 5.858s zeus21 280834048 1 true 16.714s 9.062s 512348160 zeus17 1 true 8.715s 5.019s 267001856 zeus12 1 true 10.023s 5.697s 292773888 zeus12 1
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--input--touchscreen--mk712.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c timeout 901.610s 873.951s zeus19 5378134016 330 true 8.489s 4.938s zeus16 263770112 1 true 9.921s 5.659s 288022528 zeus11 2 true 11.645s 6.582s 296005632