Tool CPAchecker 1.4-svn 17283M UltimateAutomizer r14553
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-57-generic
System CPU: Intel Xeon E5-2650 v2 @ 2.60 GHz with 32 cores, frequency: 2.6 GHz; RAM: 135 GB
Date of execution 2015-07-12 11:51:01 CEST 2015-07-14 13:59:07 CEST
Run set Predicate (LA) Verification UltimateAutomizer Validation
Options -noout -disable-java-assertions -heap 13000M -predicateAnalysis-LA -setprop cfa.useMultiEdges=false -setprop cpa.predicate.solver=MATHSAT5 -setprop cpa.value.optimizeBooleanVariables=false -setprop cfa.simplifyCfa=false -setprop cfa.allowBranchSwapping=false -setprop cpa.predicate.ignoreIrrelevantVariables=false -setprop counterexample.export.assumptions.assumeLinearArithmetics=true -setprop coverage.enabled=false -setprop coverage.mode=TRANSFER -setprop coverage.export=true -setprop coverage.file=coverage.info -setprop parser.transformTokensToLines=false -setprop cpa.arg.errorPath.graphml=witness.graphml -setprop cpa.arg.errorPath.automaton=errorpath.${sourcefile_name}.spc -setprop counterexample.export.assumptions.includeConstantsForPointers=false
../../sv-benchmarks/c/ status cputime walltime host memUsage Line coverage Condition coverage status cputime walltime host memUsage LineCoverage
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-termination.cil.c false(reach) 12.245s 8.739s zeus23 346787840 0.997 0.984 false(reach) 14.005s 7.916s zeus21 329981952 152.4229074889868
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-termination.cil.c false(reach) 8.747s 5.926s zeus05 297701376 0.992 1.000 false(reach) 14.892s 8.280s zeus16 346873856 407.4803149606299
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-termination.cil.c false(reach) 10.078s 6.868s zeus09 331755520 0.994 1.000 false(reach) 15.373s 8.630s zeus13 341417984 297.6680384087791
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-termination.cil.c false(reach) 6.807s 4.508s zeus02 267694080 0.994 0.980 false(reach) 12.166s 6.785s zeus21 320192512 376.4705882352941
ssh-simplified/s3_clnt_1_false-unreach-call.cil.c false(reach) 9.816s 6.394s zeus07 333021184 0.993 0.989 false(reach) 13.366s 7.427s zeus10 320126976 404.58015267175574
ssh-simplified/s3_clnt_2_false-unreach-call_true-termination.cil.c false(reach) 9.189s 5.947s zeus23 332640256 0.993 0.989 false(reach) 13.677s 7.698s zeus05 317816832 405.30303030303025
ssh-simplified/s3_clnt_3_false-unreach-call.cil.c false(reach) 10.578s 6.861s zeus23 348958720 0.993 0.989 false(reach) 13.795s 7.853s zeus15 332992512 432.6241134751773
ssh-simplified/s3_clnt_4_false-unreach-call.cil.c false(reach) 9.458s 6.187s zeus01 315383808 0.993 0.989 false(reach) 13.447s 7.538s zeus06 324272128 405.30303030303025
ssh-simplified/s3_srvr_10_false-unreach-call.cil.c false(reach) 5.172s 3.365s zeus04 246403072 0.993 0.990 false(reach) 10.604s 5.952s zeus10 297930752 370.7482993197279
ssh-simplified/s3_srvr_11_false-unreach-call.cil.c false(reach) 145.320s 137.655s zeus12 747700224 0.993 0.991 false(reach) 14.554s 8.029s zeus18 356913152 393.1034482758621
ssh-simplified/s3_srvr_12_false-unreach-call.cil.c false(reach) 91.964s 85.189s zeus17 720621568 0.993 0.992 false(reach) 14.627s 8.128s zeus11 330854400 347.5609756097561
ssh-simplified/s3_srvr_13_false-unreach-call.cil.c false(reach) 12.596s 8.003s zeus04 378261504 0.993 0.991 false(reach) 14.482s 8.045s zeus10 329494528 379.19463087248323
ssh-simplified/s3_srvr_14_false-unreach-call.cil.c false(reach) 7.146s 4.617s zeus01 280862720 0.993 0.991 false(reach) 12.086s 6.772s zeus21 315301888 377.55102040816325
ssh-simplified/s3_srvr_1_false-unreach-call.cil.c false(reach) 7.972s 5.146s zeus08 307867648 0.993 0.990 false(reach) 13.861s 7.702s zeus22 338759680 372.3404255319149
ssh-simplified/s3_srvr_2_false-unreach-call.cil.c false(reach) 8.611s 5.570s zeus24 322531328 0.992 0.990 false(reach) 13.245s 7.388s zeus12 332615680 382.6714801444043
ssh-simplified/s3_srvr_6_false-unreach-call.cil.c false(reach) 4.837s 3.108s zeus18 225808384 0.993 0.526 false(reach) 9.587s 5.542s zeus05 293388288 243.5897435897436
locks/test_locks_14_false-unreach-call.c false(reach) 4.262s 2.822s zeus13 223502336 0.985 1.000 false(reach) 9.398s 5.385s zeus06 298721280 974.5762711864406
locks/test_locks_15_false-unreach-call.c false(reach) 4.304s 2.953s zeus06 221122560 0.986 1.000 false(reach) 8.711s 4.938s zeus06 296534016 801.5873015873017
ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko_false-unreach-call.cil.out.i.pp.i false(reach) 27.499s 15.110s zeus05 723296256 0.173 0.004 rejected 27.947s 16.066s zeus15 518266880 0.0
ldv-linux-3.0/module_get_put-drivers-block-loop.ko_false-unreach-call.cil.out.i.pp.i false(reach) 24.786s 14.775s zeus12 694071296 0.790 0.461 rejected 26.192s 16.780s zeus06 519974912 0.0
ldv-linux-3.0/module_get_put-drivers-block-pktcdvd.ko_false-unreach-call.cil.out.i.pp.i false(reach) 13.029s 7.655s zeus14 466935808 0.531 0.128 rejected 37.924s 25.037s zeus10 792166400 0.0
ldv-linux-3.0/module_get_put-drivers-isdn-mISDN-mISDN_core.ko_false-unreach-call.cil.out.i.pp.i false(reach) 27.178s 16.064s zeus14 731492352 0.428 0.041 unknown 11.834s 6.369s zeus12 304029696 -
ldv-linux-3.0/module_get_put-drivers-net-ppp_generic.ko_false-unreach-call.cil.out.i.pp.i false(reach) 15.624s 9.104s zeus22 522358784 0.608 0.255 rejected 32.471s 20.558s zeus03 524419072 0.0
ldv-linux-3.0/module_get_put-drivers-net-wan-farsync.ko_false-unreach-call.cil.out.i.pp.i false(reach) 61.011s 45.182s zeus04 1550991360 0.926 0.789 unknown 12.715s 6.976s zeus04 294178816 -
ldv-linux-3.0/usb_urb-drivers-hid-usbhid-usbmouse.ko_false-unreach-call.cil.out.i.pp.i false(reach) 12.759s 8.282s zeus23 411709440 0.979 0.872 unknown 7.673s 4.362s zeus15 232394752 -
ldv-linux-3.0/usb_urb-drivers-input-misc-keyspan_remote.ko_false-unreach-call.cil.out.i.pp.i false(reach) 83.766s 72.687s zeus22 791085056 0.871 0.540 unknown 7.284s 4.073s zeus21 234393600 -
ldv-linux-3.0/usb_urb-drivers-media-dvb-ttusb-dec-ttusb_dec.ko_false-unreach-call.cil.out.i.pp.i false(reach) 12.620s 7.620s zeus12 469303296 0.757 0.226 unknown 8.638s 4.718s zeus07 250470400 -
ldv-linux-3.0/usb_urb-drivers-net-can-usb-ems_usb.ko_false-unreach-call.cil.out.i.pp.i false(reach) 89.610s 77.248s zeus02 1173807104 0.908 0.589 unknown 8.597s 5.010s zeus15 239247360 -
ldv-linux-3.0/usb_urb-drivers-net-usb-catc.ko_false-unreach-call.cil.out.i.pp.i false(reach) 88.441s 75.990s zeus16 910065664 0.923 0.620 unknown 7.651s 4.282s zeus17 244252672 -
ldv-linux-3.0/usb_urb-drivers-staging-lirc-lirc_imon.ko_false-unreach-call.cil.out.i.pp.i false(reach) 20.915s 12.643s zeus02 546996224 0.869 0.570 unknown 7.330s 4.029s zeus20 232800256 -
ldv-linux-3.0/usb_urb-drivers-usb-misc-iowarrior.ko_false-unreach-call.cil.out.i.pp.i false(reach) 9.892s 6.143s zeus07 358846464 0.733 0.212 unknown 7.449s 4.085s zeus03 242688000 -
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 false(reach) 29.415s 21.298s zeus17 732585984 0.906 0.602 unknown 34.685s 24.890s zeus13 527429632 19.216555801921658
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) 147.483s 138.462s zeus12 622333952 0.282 0.071 unknown 12.053s 6.350s zeus06 294813696 -
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) 38.723s 27.043s zeus10 1012523008 0.527 0.028 unknown 16.532s 8.818s zeus13 318451712 -
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) 10.974s 6.571s zeus11 403857408 0.674 0.417 unknown 12.734s 7.041s zeus15 296128512 -
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.215s 11.320s zeus15 564125696 0.757 0.672 unknown 14.698s 7.826s zeus02 303718400 -
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) 13.888s 8.027s zeus19 495276032 0.210 0.030 unknown 14.992s 8.013s zeus03 307871744 -
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) 19.129s 11.043s zeus03 575905792 0.693 0.610 unknown 13.775s 7.292s zeus12 307818496 -
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 false(reach) 34.092s 19.935s zeus03 913379328 0.114 0.016 unknown 23.988s 12.390s zeus19 369971200 -
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) 244.315s 229.624s zeus01 826949632 0.292 0.044 unknown 14.706s 7.814s zeus06 306163712 -
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.769s 6.096s zeus18 340705280 0.676 0.130 unknown 9.480s 4.913s zeus23 288481280 -
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) 20.107s 11.364s zeus09 686944256 0.259 0.045 unknown 17.604s 9.251s zeus19 306720768 -
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 false(reach) 15.978s 9.989s zeus19 670269440 0.670 0.393 unknown 10.049s 5.655s zeus22 286982144 -
ldv-linux-3.4-simple/32_1_cilled_true-unreach-call_ok_nondet_linux-3.4-32_1-drivers--media--dvb--dvb-usb--dvb-usb-az6007.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c false(reach) 17.254s 10.651s zeus20 535248896 0.802 0.429 unknown 13.201s 7.106s zeus15 300634112 -
ldv-linux-3.7.3/main0_false-unreach-call_drivers-vhost-tcm_vhost-ko--32_7a--linux-3.7.3.c false(reach) 20.246s 11.444s zeus07 660668416 0.648 0.160 unknown 19.922s 10.464s zeus17 342798336 -
ldv-linux-3.7.3/main15_false-unreach-call_drivers-usb-core-usbcore-ko--32_7a--linux-3.7.3.c false(reach) 43.788s 25.728s zeus06 919142400 0.199 0.026 unknown 16.685s 8.863s zeus24 346386432 -
ldv-linux-3.7.3/main1_false-unreach-call_drivers-vhost-vhost_net-ko--32_7a--linux-3.7.3.c false(reach) 14.362s 8.130s zeus21 479944704 0.579 0.040 unknown 17.283s 9.195s zeus24 310001664 -
ldv-linux-3.7.3/main4_false-unreach-call_drivers-scsi-mpt2sas-mpt2sas-ko--32_7a--linux-3.7.3.c false(reach) 26.478s 16.256s zeus05 695967744 0.264 0.010 unknown 21.551s 11.286s zeus21 519790592 -
ldv-linux-3.7.3/linux-3.10-rc1-43_1a-bitvector-drivers--atm--he.ko-ldv_main0_true-unreach-call.cil.out.c false(reach) 24.554s 13.473s zeus18 692633600 0.817 0.497 rejected 37.865s 23.927s zeus19 796639232 0.0
ldv-commit-tester/m0_false-unreach-call_drivers-block-virtio_blk-ko--101_1a--39a1d13-1.c false(reach) 8.710s 5.252s zeus11 321257472 0.834 0.183 timeout 905.646s 884.673s zeus10 4988420096 -
ldv-commit-tester/m0_false-unreach-call_drivers-block-virtio_blk-ko--101_1a--39a1d13.c false(reach) 9.022s 5.473s zeus08 321732608 0.835 0.192 timeout 905.520s 885.052s zeus15 4974010368 -
ldv-commit-tester/m0_false-unreach-call_drivers-hwmon-s3c-hwmon-ko--130_7a--af3071a-1.c false(reach) 5.479s 3.564s zeus10 241991680 0.864 0.655 rejected 9.615s 5.831s zeus21 324640768 0.0
ldv-commit-tester/m0_false-unreach-call_drivers-media-rc-imon--32_7a--a9e7fb5-1.c false(reach) 26.181s 18.086s zeus12 685232128 0.741 0.329 rejected 25.500s 15.800s zeus19 519876608 0.0
ldv-commit-tester/m0_false-unreach-call_drivers-net-slip-ko--108_1a--1b0b0ac-1.c false(reach) 11.973s 7.186s zeus18 404840448 0.916 0.752 rejected 25.254s 16.145s zeus04 519761920 0.0
ldv-commit-tester/m0_false-unreach-call_drivers-staging-comedi-drivers-ni_6527-ko--107_1a--adbbc36-1.c false(reach) 7.161s 4.348s zeus12 249950208 0.866 0.330 rejected 19.410s 13.468s zeus18 386740224 0.0
ldv-commit-tester/m0_false-unreach-call_drivers-staging-comedi-drivers-ni_65xx-ko--107_1a--adbbc36-1.c false(reach) 7.681s 4.737s zeus20 277864448 0.811 0.355 rejected 17.528s 10.760s zeus22 477782016 0.0
ldv-commit-tester/m0_false-unreach-call_drivers-staging-comedi-drivers-ni_660x-ko--107_1a--adbbc36-1.c false(reach) 10.187s 6.215s zeus08 336232448 0.782 0.426 rejected 21.638s 13.412s zeus18 512057344 0.0
ldv-commit-tester/m0_false-unreach-call_drivers-staging-comedi-drivers-ni_670x-ko--107_1a--adbbc36-1.c false(reach) 6.045s 3.851s zeus24 252088320 0.891 0.408 rejected 12.216s 7.533s zeus12 330194944 0.0
ldv-commit-tester/m0_false-unreach-call_drivers-staging-comedi-drivers-ni_pcidio-ko--107_1a--adbbc36-1.c false(reach) 28.344s 18.960s zeus14 1229344768 0.893 0.515 rejected 23.105s 15.508s zeus18 488054784 0.0
ldv-commit-tester/m0_false-unreach-call_sound-oss-opl3-ko--111_1a--42f9f8d-1.c false(reach) 27.024s 16.463s zeus14 710696960 0.908 0.578 unknown 6.705s 3.867s zeus13 227414016 -
ldv-commit-tester/main0_false-unreach-call_drivers-media-video-tlg2300-poseidon-ko--32_7a--4a349aa-1.c false(reach) 44.931s 36.251s zeus13 727511040 0.648 0.228 unknown 15.958s 8.386s zeus14 302825472 -
ldv-commit-tester/main3_false-unreach-call_drivers-staging-usbip-vhci-hcd-ko--132_1a--927c3fa.c false(reach) 12.916s 7.751s zeus15 449748992 0.801 0.475 unknown 13.365s 7.176s zeus21 337805312 -
ldv-consumption/32_7a_cilled_false-unreach-call_linux-3.8-rc1-32_7a-drivers--net--can--softing--softing.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c false(reach) 18.721s 10.510s zeus22 535998464 0.843 0.473 unknown 8.205s 4.506s zeus05 285159424 -
ldv-consumption/32_7a_cilled_false-unreach-call_linux-3.8-rc1-32_7a-fs--ceph--ceph.ko-ldv_main11_sequence_infinite_withcheck_stateful.cil.out.c false(reach) 129.756s 101.561s zeus20 1313103872 0.182 0.060 unknown 27.447s 13.618s zeus07 375320576 -
ldv-consumption/32_7a_cilled_false-unreach-call_linux-3.8-rc1-drivers--hwmon--abituguru3.ko-main.cil.out.c false(reach) 477.238s 457.310s zeus04 5232320512 0.926 0.801 unknown 12.660s 7.587s zeus11 301285376 -
ldv-consumption/32_7a_cilled_false-unreach-call_linux-3.8-rc1-drivers--media--rc--rc-core.ko-main.cil.out.c false(reach) 23.937s 16.106s zeus11 671096832 0.697 0.288 rejected 17.013s 10.032s zeus03 425451520 0.0
ldv-consumption/32_7a_cilled_false-unreach-call_linux-3.8-rc1-drivers--pcmcia--pcmcia_rsrc.ko-main.cil.out.c false(reach) 15.905s 9.901s zeus01 537329664 0.906 0.719 unknown 8.649s 4.891s zeus07 299094016 -
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-32_7a-drivers--media--dvb-core--dvb-core.ko-ldv_main5_sequence_infinite_withcheck_stateful.cil.out.c false(reach) 46.772s 36.521s zeus22 705310720 0.375 0.020 unknown 16.846s 8.940s zeus16 334028800 -
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-32_7a-drivers--media--v4l2-core--videobuf-dma-contig.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c false(reach) 93.817s 82.674s zeus12 869126144 0.937 0.660 rejected 19.054s 11.673s zeus13 486895616 0.0
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-32_7a-drivers--net--ethernet--chelsio--cxgb4--cxgb4.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c false(reach) 27.988s 15.961s zeus11 777920512 0.402 0.069 unknown 29.648s 15.469s zeus24 530735104 -
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-32_7a-drivers--pcmcia--pcmcia.ko-ldv_main2_sequence_infinite_withcheck_stateful.cil.out.c false(reach) 18.442s 10.603s zeus19 628994048 0.499 0.064 unknown 14.799s 7.907s zeus06 303656960 -
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-32_7a-fs--ceph--ceph.ko-ldv_main7_sequence_infinite_withcheck_stateful.cil.out.c false(reach) 47.477s 25.662s zeus05 839548928 0.165 0.027 unknown 27.004s 13.487s zeus18 364838912 -
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-32_7a-net--netfilter--ipvs--ip_vs.ko-ldv_main13_sequence_infinite_withcheck_stateful.cil.out.c false(reach) 221.710s 200.833s zeus03 1454886912 0.394 0.144 unknown 21.923s 11.483s zeus13 544980992 -
ldv-consumption/32_7a_cilled_true-unreach-call_linux-3.8-rc1-32_7a-sound--core--snd-rawmidi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c false(reach) 33.294s 24.502s zeus21 676347904 0.501 0.092 unknown 11.970s 6.536s zeus09 299868160 -
ldv-linux-3.12-rc1/linux-3.12-rc1.tar.xz-144_2a-drivers--input--tablet--gtco.ko-entry_point_false-unreach-call.cil.out.c false(reach) 13.823s 8.811s zeus07 431894528 0.952 0.730 rejected 19.813s 11.872s zeus22 479203328 0.0
ldv-linux-3.12-rc1/linux-3.12-rc1.tar.xz-144_2a-drivers--staging--media--go7007--go7007-loader.ko-entry_point_false-unreach-call.cil.out.c false(reach) 9.773s 6.149s zeus12 330813440 0.977 0.619 rejected 13.443s 7.920s zeus10 349941760 0.0
ldv-linux-3.12-rc1/linux-3.12-rc1.tar.xz-144_2a-drivers--usb--wusbcore--wusb-cbaf.ko-entry_point_false-unreach-call.cil.out.c false(reach) 18.498s 12.073s zeus17 646815744 0.983 0.798 rejected 20.787s 12.252s zeus24 477421568 0.0
ldv-linux-3.16-rc1/205_9a_array_unsafes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--arcnet--rfc1201.ko-entry_point_false-unreach-call.cil.out.c false(reach) 12.873s 7.784s zeus09 427732992 0.987 0.929 rejected 23.021s 15.073s zeus24 573353984 0.0
ldv-linux-3.16-rc1/205_9a_array_unsafes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--phy--dp83640.ko-entry_point_false-unreach-call.cil.out.c false(reach) 36.202s 24.640s zeus22 776372224 0.944 0.840 unknown 11.261s 6.161s zeus04 299196416 -
ldv-linux-3.16-rc1/205_9a_array_unsafes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--ppp--ppp_synctty.ko-entry_point_false-unreach-call.cil.out.c false(reach) 72.731s 57.651s zeus07 1485209600 0.985 0.929 unknown 11.597s 6.242s zeus18 299311104 -
ldv-linux-3.16-rc1/205_9a_array_unsafes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--usb--cdc_ncm.ko-entry_point_false-unreach-call.cil.out.c false(reach) 119.053s 102.676s zeus04 2756501504 0.983 0.967 unknown 15.312s 8.051s zeus06 304730112 -
ldv-linux-3.16-rc1/205_9a_array_unsafes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--usb--cx82310_eth.ko-entry_point_false-unreach-call.cil.out.c false(reach) 21.800s 13.196s zeus24 650240000 0.980 0.878 rejected 16.508s 9.979s zeus22 485871616 0.0
ldv-linux-3.16-rc1/205_9a_array_unsafes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--usb--gl620a.ko-entry_point_false-unreach-call.cil.out.c false(reach) 15.233s 9.270s zeus21 465428480 0.980 0.857 rejected 16.204s 9.863s zeus17 479789056 0.0
ldv-linux-3.16-rc1/205_9a_array_unsafes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--wan--hdlc_cisco.ko-entry_point_false-unreach-call.cil.out.c false(reach) 23.934s 15.160s zeus07 714203136 0.979 0.884 rejected 16.326s 9.935s zeus19 478466048 0.0
ldv-linux-3.16-rc1/205_9a_array_unsafes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--wan--hdlc_x25.ko-entry_point_false-unreach-call.cil.out.c false(reach) 60.832s 47.280s zeus15 844738560 0.977 0.769 rejected 14.443s 8.994s zeus04 407937024 0.0
ldv-linux-3.16-rc1/205_9a_array_unsafes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--wan--lapbether.ko-entry_point_false-unreach-call.cil.out.c false(reach) 38.319s 27.312s zeus03 770719744 0.989 0.954 unknown 13.010s 6.907s zeus16 297181184 -
ldv-linux-3.16-rc1/205_9a_array_unsafes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--wireless--ath--ath6kl--ath6kl_usb.ko-entry_point_false-unreach-call.cil.out.c false(reach) 68.350s 53.392s zeus02 1382653952 0.979 0.909 unknown 11.569s 6.232s zeus08 297918464 -
ldv-linux-3.16-rc1/205_9a_array_unsafes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--wireless--libertas--usb8xxx.ko-entry_point_false-unreach-call.cil.out.c false(reach) 33.999s 23.321s zeus06 779898880 0.886 0.476 rejected 20.045s 11.817s zeus06 488280064 0.0
ldv-linux-3.16-rc1/205_9a_array_unsafes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--wireless--mwifiex--mwifiex_sdio.ko-entry_point_false-unreach-call.cil.out.c false(reach) 46.685s 34.954s zeus07 965857280 0.981 0.947 rejected 41.189s 27.266s zeus18 785887232 0.0
ldv-linux-3.16-rc1/205_9a_array_unsafes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--wireless--mwifiex--mwifiex_usb.ko-entry_point_false-unreach-call.cil.out.c false(reach) 86.681s 70.374s zeus23 2471419904 0.940 0.784 unknown 13.282s 7.048s zeus10 304386048 -
ldv-linux-3.16-rc1/205_9a_array_unsafes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--wireless--rsi--rsi_91x.ko-entry_point_false-unreach-call.cil.out.c false(reach) 226.420s 206.138s zeus01 4993679360 0.826 0.535 rejected 21.329s 12.191s zeus03 441196544 0.0
ldv-linux-3.16-rc1/43_2a_bitvector_linux-3.16-rc1.tar.xz-43_2a-drivers--media--platform--timblogiw.ko-entry_point_false-unreach-call.cil.out.c false(reach) 82.986s 72.877s zeus23 902877184 0.988 0.957 unknown 13.946s 7.638s zeus16 736497664 -
ldv-linux-3.16-rc1/43_2a_bitvector_linux-3.16-rc1.tar.xz-43_2a-drivers--net--wireless--orinoco--orinoco_usb.ko-entry_point_false-unreach-call.cil.out.c false(reach) 17.086s 10.289s zeus04 653791232 0.864 0.383 unknown 12.229s 6.500s zeus21 306024448 -
ldv-linux-3.16-rc1/43_2a_bitvector_linux-3.16-rc1.tar.xz-43_2a-drivers--scsi--megaraid--megaraid_mm.ko-entry_point_false-unreach-call.cil.out.c false(reach) 38.372s 28.338s zeus14 755085312 0.883 0.552 rejected 19.741s 11.906s zeus21 485117952 0.0
ldv-linux-3.16-rc1/43_2a_bitvector_linux-3.16-rc1.tar.xz-43_2a-drivers--usb--host--max3421-hcd.ko-entry_point_false-unreach-call.cil.out.c false(reach) 15.649s 9.969s zeus11 480002048 0.796 0.511 unknown 11.174s 6.129s zeus04 295682048 -
ldv-linux-3.16-rc1/205_9a_array_safes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--arcnet--capmode.ko-entry_point_true-unreach-call.cil.out.c false(reach) 21.589s 14.048s zeus21 630145024 0.986 0.875 unknown 9.298s 5.151s zeus05 300826624 -
ldv-linux-3.16-rc1/205_9a_array_safes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--arcnet--rfc1051.ko-entry_point_true-unreach-call.cil.out.c false(reach) 11.106s 6.789s zeus05 389419008 0.986 0.870 rejected 20.818s 13.750s zeus21 575733760 0.0
ldv-linux-3.16-rc1/43_2a_bitvector_linux-3.16-rc1.tar.xz-43_2a-drivers--block--skd.ko-entry_point_true-unreach-call.cil.out.c false(reach) 45.949s 29.744s zeus22 862691328 0.737 0.573 rejected 67.547s 46.316s zeus05 1368166400 0.0
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--net--ethernet--nvidia--forcedeth.ko-entry_point_true-unreach-call.cil.out.c false(reach) 26.336s 16.128s zeus03 789336064 0.580 0.104 unknown 22.968s 12.084s zeus12 370429952 -
ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--usb--class--cdc-acm.ko-entry_point_true-unreach-call.cil.out.c false(reach) 128.074s 116.728s zeus08 1319251968 0.904 0.823 unknown 14.509s 7.755s zeus23 310906880 -
ldv-validator-v0.6/linux-stable-1b0b0ac-1-108_1a-drivers--net--slip.ko-entry_point_false-unreach-call.cil.out.c false(reach) 31.385s 21.744s zeus05 762204160 0.994 0.978 rejected 26.487s 16.434s zeus03 524537856 0.0
ldv-validator-v0.6/linux-stable-1dfa93a-1-100_1a-drivers--usb--serial--kobil_sct.ko-entry_point_false-unreach-call.cil.out.c false(reach) 69.477s 59.251s zeus16 827535360 0.973 0.830 rejected 20.181s 12.076s zeus10 492294144 0.0
ldv-validator-v0.6/linux-stable-4ed3cba-1-100_1a-drivers--usb--serial--qcserial.ko-entry_point_false-unreach-call.cil.out.c false(reach) 9.590s 6.016s zeus02 351940608 0.921 0.228 rejected 21.317s 12.654s zeus24 511418368 0.0
ldv-validator-v0.6/linux-stable-5742d35-1-136_1a-drivers--usb--serial--ti_usb_3410_5052.ko-entry_point_false-unreach-call.cil.out.c false(reach) 24.832s 14.926s zeus21 723222528 0.967 0.756 timeout 905.587s 882.077s zeus09 5000159232 -
ldv-validator-v0.6/linux-stable-9ec4f65-1-110_1a-drivers--rtc--rtc-tegra.ko-entry_point_false-unreach-call.cil.out.c false(reach) 14.169s 9.087s zeus11 402808832 0.914 0.780 rejected 12.438s 7.558s zeus21 326627328 0.0
ldv-validator-v0.6/linux-stable-a9e7fb5-1-32_7a-drivers--media--rc--imon.ko-entry_point_false-unreach-call.cil.out.c false(reach) 307.138s 293.202s zeus21 1118355456 0.950 0.894 rejected 32.454s 21.303s zeus21 609583104 0.0
ldv-validator-v0.6/linux-stable-af3071a-1-130_7a-drivers--hwmon--s3c-hwmon.ko-entry_point_false-unreach-call.cil.out.c false(reach) 7.074s 4.431s zeus19 268967936 0.882 0.732 rejected 10.055s 6.012s zeus12 322666496 0.0
ldv-validator-v0.6/linux-stable-c0cc359-1-104_1a-drivers--usb--serial--qcserial.ko-entry_point_false-unreach-call.cil.out.c false(reach) 15.052s 10.683s zeus09 441413632 0.996 0.983 rejected 20.135s 11.784s zeus11 503898112 0.0
ldv-validator-v0.6/linux-stable-c0cc359-104_1a-drivers--usb--serial--qcserial.ko-entry_point_false-unreach-call.cil.out.c false(reach) 15.042s 10.764s zeus11 447500288 0.996 0.983 rejected 20.043s 11.981s zeus18 500715520 0.0
eca-rers2012/Problem01_label15_false-unreach-call.c false(reach) 18.711s 10.750s zeus07 672444416 1.000 1.000 false(reach) 19.263s 10.703s zeus06 606142464 69.12442396313365
eca-rers2012/Problem01_label20_false-unreach-call.c false(reach) 21.757s 12.463s zeus15 728551424 1.000 1.000 false(reach) 20.199s 11.115s zeus01 603942912 69.12442396313365
eca-rers2012/Problem01_label21_false-unreach-call.c false(reach) 19.268s 11.313s zeus07 695406592 1.000 1.000 false(reach) 19.537s 11.147s zeus04 591671296 69.12442396313365
eca-rers2012/Problem01_label32_false-unreach-call.c false(reach) 20.463s 12.027s zeus03 692989952 1.000 1.000 false(reach) 19.297s 10.709s zeus11 598032384 69.12442396313365
eca-rers2012/Problem01_label33_false-unreach-call.c false(reach) 20.220s 11.817s zeus24 692432896 1.000 1.000 false(reach) 18.934s 10.674s zeus06 591024128 69.12442396313365
eca-rers2012/Problem01_label35_false-unreach-call.c false(reach) 18.791s 10.819s zeus09 678756352 1.000 1.000 false(reach) 19.076s 10.488s zeus02 535289856 69.12442396313365
eca-rers2012/Problem01_label37_false-unreach-call.c false(reach) 20.106s 11.680s zeus11 722853888 1.000 1.000 false(reach) 27.100s 15.402s zeus15 608317440 69.12442396313365
eca-rers2012/Problem01_label38_false-unreach-call.c false(reach) 19.496s 11.336s zeus15 686104576 1.000 1.000 false(reach) 21.018s 11.499s zeus19 617246720 69.12442396313365
eca-rers2012/Problem01_label44_false-unreach-call.c false(reach) 17.868s 10.308s zeus01 573198336 1.000 1.000 false(reach) 19.821s 10.829s zeus21 540549120 69.12442396313365
eca-rers2012/Problem01_label47_false-unreach-call.c false(reach) 20.713s 12.425s zeus09 711966720 1.000 1.000 false(reach) 18.685s 10.486s zeus11 578797568 69.12442396313365
eca-rers2012/Problem01_label50_false-unreach-call.c false(reach) 19.024s 11.119s zeus17 691126272 1.000 1.000 false(reach) 17.622s 9.905s zeus13 532500480 69.12442396313365
eca-rers2012/Problem01_label56_false-unreach-call.c false(reach) 19.434s 11.687s zeus07 704897024 1.000 1.000 false(reach) 19.344s 10.724s zeus08 603152384 69.12442396313365
eca-rers2012/Problem01_label57_false-unreach-call.c false(reach) 20.511s 12.171s zeus17 713777152 1.000 1.000 false(reach) 20.737s 11.501s zeus03 602898432 69.12442396313365
eca-rers2012/Problem02_label13_false-unreach-call.c false(reach) 12.735s 7.772s zeus23 471937024 1.000 1.000 false(reach) 18.758s 10.420s zeus22 531668992 52.63157894736842
eca-rers2012/Problem02_label16_false-unreach-call.c false(reach) 13.010s 7.816s zeus16 429449216 1.000 1.000 false(reach) 17.054s 9.355s zeus03 349806592 52.63157894736842
eca-rers2012/Problem02_label43_false-unreach-call.c false(reach) 13.461s 8.061s zeus07 449155072 1.000 1.000 false(reach) 16.675s 9.269s zeus11 420876288 52.63157894736842
eca-rers2012/Problem02_label44_false-unreach-call.c false(reach) 15.812s 9.106s zeus19 501174272 1.000 1.000 false(reach) 16.506s 9.255s zeus22 544776192 52.63157894736842
eca-rers2012/Problem02_label45_false-unreach-call.c false(reach) 17.967s 10.562s zeus18 645922816 1.000 1.000 false(reach) 20.398s 11.250s zeus01 614707200 52.63157894736842
eca-rers2012/Problem02_label50_false-unreach-call.c false(reach) 17.366s 10.021s zeus14 580399104 1.000 1.000 false(reach) 19.353s 10.766s zeus11 606740480 52.63157894736842
eca-rers2012/Problem02_label59_false-unreach-call.c false(reach) 17.950s 10.261s zeus14 643858432 1.000 1.000 false(reach) 20.370s 11.295s zeus17 615636992 52.63157894736842
eca-rers2012/Problem03_label09_false-unreach-call.c false(reach) 35.542s 22.621s zeus12 1056022528 1.000 1.000 false(reach) 57.036s 31.927s zeus24 2212978688 70.46070460704607
eca-rers2012/Problem03_label13_false-unreach-call.c false(reach) 31.973s 19.779s zeus18 839020544 1.000 1.000 false(reach) 56.338s 31.227s zeus12 1890844672 70.46070460704607
eca-rers2012/Problem03_label26_false-unreach-call.c false(reach) 29.818s 17.791s zeus16 826474496 1.000 1.000 false(reach) 30.908s 17.605s zeus20 1404473344 70.46070460704607
eca-rers2012/Problem03_label27_false-unreach-call.c false(reach) 32.641s 19.582s zeus05 854151168 1.000 1.000 false(reach) 41.820s 23.706s zeus03 1899630592 70.46070460704607
eca-rers2012/Problem03_label28_false-unreach-call.c false(reach) 32.267s 19.763s zeus11 853504000 1.000 1.000 false(reach) 47.800s 26.887s zeus09 1912639488 70.46070460704607
eca-rers2012/Problem03_label31_false-unreach-call.c false(reach) 35.099s 21.302s zeus14 851218432 1.000 1.000 false(reach) 70.823s 40.401s zeus15 1897639936 70.46070460704607
eca-rers2012/Problem03_label35_false-unreach-call.c false(reach) 34.340s 22.375s zeus21 872116224 1.000 1.000 false(reach) 55.209s 31.291s zeus17 2236792832 70.46070460704607
eca-rers2012/Problem03_label37_false-unreach-call.c false(reach) 29.085s 17.803s zeus02 851251200 1.000 1.000 false(reach) 29.362s 16.749s zeus05 1073700864 45.392953929539296
eca-rers2012/Problem03_label39_false-unreach-call.c false(reach) 35.217s 22.326s zeus16 878882816 1.000 1.000 false(reach) 59.067s 32.878s zeus21 2199957504 70.46070460704607
eca-rers2012/Problem03_label43_false-unreach-call.c false(reach) 32.774s 20.229s zeus09 830767104 1.000 1.000 false(reach) 27.609s 15.784s zeus06 1071292416 45.392953929539296
eca-rers2012/Problem03_label45_false-unreach-call.c false(reach) 36.313s 23.496s zeus04 890179584 1.000 1.000 false(reach) 52.521s 30.147s zeus18 2246459392 70.46070460704607
eca-rers2012/Problem03_label50_false-unreach-call.c false(reach) 31.989s 20.415s zeus16 843255808 1.000 1.000 false(reach) 55.489s 30.985s zeus18 1891414016 70.46070460704607
eca-rers2012/Problem03_label52_false-unreach-call.c false(reach) 35.502s 22.773s zeus21 855945216 1.000 1.000 false(reach) 58.062s 32.853s zeus03 2248683520 70.46070460704607
eca-rers2012/Problem04_label04_false-unreach-call.c false(reach) 295.854s 272.206s zeus03 5921636352 1.000 1.000 false(reach) 538.713s 307.596s zeus20 7285923840 6.666666666666667
eca-rers2012/Problem04_label06_false-unreach-call.c false(reach) 186.359s 162.985s zeus19 5826822144 1.000 1.000 false(reach) 564.938s 326.859s zeus23 7371575296 6.666666666666667
eca-rers2012/Problem04_label09_false-unreach-call.c false(reach) 154.113s 132.445s zeus04 5306564608 1.000 1.000 false(reach) 550.057s 309.569s zeus14 7350235136 6.666666666666667
eca-rers2012/Problem04_label11_false-unreach-call.c false(reach) 273.228s 249.840s zeus18 6087716864 1.000 1.000 false(reach) 406.589s 238.662s zeus02 6877605888 6.666666666666667
eca-rers2012/Problem04_label12_false-unreach-call.c false(reach) 231.899s 208.912s zeus13 6447411200 1.000 1.000 false(reach) 601.994s 347.859s zeus23 7896408064 6.666666666666667
eca-rers2012/Problem04_label13_false-unreach-call.c false(reach) 152.708s 131.054s zeus01 5107253248 1.000 1.000 false(reach) 415.033s 244.916s zeus21 6877999104 6.666666666666667
eca-rers2012/Problem04_label14_false-unreach-call.c false(reach) 132.896s 112.165s zeus03 5648896000 1.000 1.000 false(reach) 552.522s 315.791s zeus24 7345991680 6.666666666666667
eca-rers2012/Problem04_label15_false-unreach-call.c false(reach) 134.439s 112.528s zeus14 4971016192 1.000 1.000 false(reach) 449.789s 265.413s zeus02 6661267456 6.666666666666667
eca-rers2012/Problem04_label17_false-unreach-call.c false(reach) 124.861s 104.203s zeus08 4681953280 1.000 1.000 false(reach) 513.524s 289.420s zeus14 7174918144 6.666666666666667
eca-rers2012/Problem04_label18_false-unreach-call.c false(reach) 140.992s 117.100s zeus03 5081755648 1.000 1.000 false(reach) 542.565s 307.563s zeus02 7186161664 6.666666666666667
eca-rers2012/Problem04_label19_false-unreach-call.c false(reach) 207.040s 184.120s zeus23 6325874688 1.000 1.000 false(reach) 483.056s 296.602s zeus16 7147761664 6.666666666666667
eca-rers2012/Problem04_label26_false-unreach-call.c false(reach) 156.237s 133.503s zeus10 5867892736 1.000 1.000 false(reach) 529.900s 301.606s zeus22 7363870720 6.666666666666667
eca-rers2012/Problem04_label27_false-unreach-call.c false(reach) 144.935s 122.888s zeus16 4318208000 1.000 1.000 false(reach) 428.852s 257.126s zeus22 6785789952 6.666666666666667
eca-rers2012/Problem04_label31_false-unreach-call.c false(reach) 156.862s 134.623s zeus09 5849354240 1.000 1.000 false(reach) 565.870s 324.565s zeus08 7414067200 6.666666666666667
eca-rers2012/Problem04_label32_false-unreach-call.c false(reach) 135.684s 113.447s zeus12 5066108928 1.000 1.000 false(reach) 405.817s 239.114s zeus22 6912958464 6.666666666666667
eca-rers2012/Problem04_label35_false-unreach-call.c false(reach) 131.072s 109.385s zeus23 4922142720 1.000 1.000 false(reach) 405.699s 239.037s zeus04 6866726912 6.666666666666667
eca-rers2012/Problem04_label36_false-unreach-call.c false(reach) 149.534s 127.126s zeus11 5236498432 1.000 1.000 false(reach) 534.002s 302.130s zeus07 7187140608 6.666666666666667
eca-rers2012/Problem04_label38_false-unreach-call.c false(reach) 133.773s 111.159s zeus23 5698170880 1.000 1.000 false(reach) 546.939s 310.979s zeus20 7331434496 6.666666666666667
eca-rers2012/Problem04_label39_false-unreach-call.c false(reach) 186.698s 163.373s zeus03 5936594944 1.000 1.000 false(reach) 663.219s 372.941s zeus06 8019611648 6.666666666666667
eca-rers2012/Problem04_label40_false-unreach-call.c false(reach) 147.970s 125.220s zeus03 5981032448 1.000 1.000 false(reach) 449.628s 271.363s zeus12 6997831680 6.666666666666667
eca-rers2012/Problem04_label45_false-unreach-call.c false(reach) 142.733s 118.992s zeus20 5466304512 1.000 1.000 false(reach) 391.378s 230.071s zeus19 6824054784 6.666666666666667
eca-rers2012/Problem04_label52_false-unreach-call.c false(reach) 188.406s 165.130s zeus03 5875277824 1.000 1.000 false(reach) 602.350s 347.770s zeus04 8086192128 6.666666666666667
eca-rers2012/Problem04_label55_false-unreach-call.c false(reach) 162.177s 139.844s zeus02 4948176896 1.000 1.000 false(reach) 546.096s 308.306s zeus19 7343276032 6.666666666666667
eca-rers2012/Problem04_label58_false-unreach-call.c false(reach) 147.004s 124.996s zeus02 5842046976 1.000 1.000 false(reach) 646.682s 366.568s zeus17 7991873536 6.666666666666667
eca-rers2012/Problem05_label00_false-unreach-call.c false(reach) 178.270s 155.072s zeus11 4850470912 1.000 1.000 false(reach) 289.951s 187.810s zeus05 4938469376 1.708752610594266
eca-rers2012/Problem05_label11_false-unreach-call.c false(reach) 170.489s 147.622s zeus24 5265559552 1.000 1.000 false(reach) 295.722s 191.110s zeus03 5549891584 1.708752610594266
eca-rers2012/Problem05_label13_false-unreach-call.c false(reach) 240.726s 216.211s zeus20 5784756224 1.000 1.000 false(reach) 317.516s 211.892s zeus05 5703680000 1.708752610594266
eca-rers2012/Problem05_label15_false-unreach-call.c false(reach) 230.109s 205.025s zeus07 5631348736 1.000 1.000 false(reach) 299.962s 193.883s zeus13 5526601728 1.708752610594266
eca-rers2012/Problem05_label18_false-unreach-call.c false(reach) 395.602s 369.262s zeus22 5734342656 1.000 1.000 false(reach) 303.459s 195.346s zeus20 5452210176 1.708752610594266
eca-rers2012/Problem05_label24_false-unreach-call.c false(reach) 212.852s 188.653s zeus03 5679906816 1.000 1.000 false(reach) 271.423s 171.024s zeus09 4782280704 1.708752610594266
eca-rers2012/Problem05_label26_false-unreach-call.c false(reach) 195.855s 172.237s zeus09 5665476608 1.000 1.000 false(reach) 292.383s 187.925s zeus07 5723955200 1.708752610594266
eca-rers2012/Problem05_label30_false-unreach-call.c false(reach) 178.892s 154.540s zeus24 5050085376 1.000 1.000 false(reach) 283.983s 180.038s zeus03 4926791680 1.708752610594266
eca-rers2012/Problem05_label32_false-unreach-call.c false(reach) 197.752s 171.156s zeus17 5638807552 1.000 1.000 false(reach) 427.197s 263.816s zeus05 5353435136 1.708752610594266
eca-rers2012/Problem05_label33_false-unreach-call.c false(reach) 260.328s 234.596s zeus23 5743476736 1.000 1.000 false(reach) 296.133s 194.428s zeus22 5455527936 1.708752610594266
eca-rers2012/Problem05_label37_false-unreach-call.c false(reach) 390.218s 364.454s zeus18 5863698432 1.000 1.000 false(reach) 425.024s 262.541s zeus10 5252009984 1.708752610594266
eca-rers2012/Problem05_label38_false-unreach-call.c false(reach) 198.617s 174.180s zeus09 5639835648 1.000 1.000 false(reach) 277.352s 177.342s zeus05 5207953408 1.708752610594266
eca-rers2012/Problem05_label39_false-unreach-call.c false(reach) 199.828s 173.413s zeus18 5592498176 1.000 1.000 false(reach) 401.982s 248.350s zeus24 5244563456 1.708752610594266
eca-rers2012/Problem05_label40_false-unreach-call.c false(reach) 204.321s 180.036s zeus09 5795385344 1.000 1.000 false(reach) 275.737s 174.997s zeus13 5161582592 1.708752610594266
eca-rers2012/Problem05_label41_false-unreach-call.c false(reach) 191.778s 167.812s zeus10 5673611264 1.000 1.000 false(reach) 265.574s 167.397s zeus13 4868665344 1.708752610594266
eca-rers2012/Problem05_label44_false-unreach-call.c false(reach) 180.404s 157.314s zeus06 5634121728 1.000 1.000 false(reach) 371.424s 227.133s zeus03 4994301952 1.708752610594266
eca-rers2012/Problem05_label47_false-unreach-call.c false(reach) 237.423s 212.353s zeus20 5781540864 1.000 1.000 false(reach) 295.245s 192.929s zeus04 4952383488 1.708752610594266
eca-rers2012/Problem05_label48_false-unreach-call.c false(reach) 197.384s 173.479s zeus05 5701341184 1.000 1.000 false(reach) 299.091s 195.556s zeus10 5240913920 1.708752610594266
eca-rers2012/Problem05_label51_false-unreach-call.c false(reach) 206.060s 181.567s zeus19 5594255360 1.000 1.000 false(reach) 400.290s 252.813s zeus16 5716828160 1.708752610594266
eca-rers2012/Problem05_label55_false-unreach-call.c false(reach) 169.920s 145.083s zeus09 5698535424 1.000 1.000 false(reach) 304.946s 198.076s zeus17 5341954048 1.708752610594266
eca-rers2012/Problem05_label57_false-unreach-call.c false(reach) 239.704s 215.165s zeus20 5810282496 1.000 1.000 false(reach) 309.874s 200.113s zeus09 5388500992 1.708752610594266
eca-rers2012/Problem05_label58_false-unreach-call.c false(reach) 179.784s 157.424s zeus22 5643866112 1.000 1.000 false(reach) 277.781s 174.285s zeus11 4969947136 1.708752610594266
eca-rers2012/Problem06_label00_false-unreach-call.c false(reach) 143.405s 118.560s zeus20 3800059904 1.000 1.000 false(reach) 327.998s 191.574s zeus08 5363634176 6.944444444444444
eca-rers2012/Problem06_label01_false-unreach-call.c false(reach) 142.015s 118.997s zeus10 3643039744 1.000 1.000 false(reach) 342.660s 199.300s zeus06 5263073280 6.944444444444444
eca-rers2012/Problem06_label02_false-unreach-call.c false(reach) 206.454s 181.016s zeus22 3756351488 1.000 1.000 false(reach) 323.897s 187.307s zeus01 5264281600 6.944444444444444
eca-rers2012/Problem06_label04_false-unreach-call.c false(reach) 198.620s 172.934s zeus22 4200587264 1.000 1.000 false(reach) 320.061s 190.094s zeus21 5088374784 6.944444444444444
eca-rers2012/Problem06_label05_false-unreach-call.c false(reach) 144.711s 122.475s zeus13 3851161600 1.000 1.000 false(reach) 242.333s 148.026s zeus03 5398626304 6.944444444444444
eca-rers2012/Problem06_label09_false-unreach-call.c false(reach) 155.151s 132.611s zeus02 3719532544 1.000 1.000 false(reach) 211.351s 123.288s zeus13 4189843456 6.944444444444444
eca-rers2012/Problem06_label10_false-unreach-call.c false(reach) 158.178s 135.428s zeus18 3781656576 1.000 1.000 false(reach) 230.045s 139.038s zeus20 4836597760 6.944444444444444
eca-rers2012/Problem06_label11_false-unreach-call.c false(reach) 186.305s 159.453s zeus18 3483660288 1.000 1.000 false(reach) 224.892s 135.164s zeus07 4720857088 6.944444444444444
eca-rers2012/Problem06_label12_false-unreach-call.c false(reach) 158.524s 134.781s zeus21 3772190720 1.000 1.000 false(reach) 344.857s 200.252s zeus07 5495738368 6.944444444444444
eca-rers2012/Problem06_label15_false-unreach-call.c false(reach) 139.916s 115.805s zeus23 3447074816 1.000 1.000 false(reach) 216.903s 130.500s zeus01 5155209216 6.944444444444444
eca-rers2012/Problem06_label20_false-unreach-call.c false(reach) 139.821s 117.792s zeus02 3631353856 1.000 1.000 false(reach) 218.757s 127.676s zeus12 4337184768 6.944444444444444
eca-rers2012/Problem06_label21_false-unreach-call.c false(reach) 163.949s 142.002s zeus21 3801448448 1.000 1.000 false(reach) 374.368s 211.903s zeus01 5135650816 6.944444444444444
eca-rers2012/Problem06_label24_false-unreach-call.c false(reach) 159.616s 134.513s zeus04 3953348608 1.000 1.000 false(reach) 238.624s 144.200s zeus14 5055438848 6.944444444444444
eca-rers2012/Problem06_label27_false-unreach-call.c false(reach) 155.675s 130.478s zeus23 3615465472 1.000 1.000 false(reach) 233.150s 138.017s zeus12 4912959488 6.944444444444444
eca-rers2012/Problem06_label29_false-unreach-call.c false(reach) 154.322s 132.202s zeus23 3749765120 1.000 1.000 false(reach) 212.050s 123.521s zeus20 4098752512 6.944444444444444
eca-rers2012/Problem06_label33_false-unreach-call.c false(reach) 151.369s 128.404s zeus13 3419144192 1.000 1.000 false(reach) 190.927s 109.053s zeus18 3969310720 6.944444444444444
eca-rers2012/Problem06_label36_false-unreach-call.c false(reach) 128.010s 105.226s zeus23 3308593152 1.000 1.000 false(reach) 226.050s 134.730s zeus11 4748161024 6.944444444444444
eca-rers2012/Problem06_label37_false-unreach-call.c false(reach) 136.994s 113.097s zeus19 3711000576 1.000 1.000 false(reach) 240.691s 145.919s zeus18 4966916096 6.944444444444444
eca-rers2012/Problem06_label38_false-unreach-call.c false(reach) 154.618s 130.812s zeus02 3481038848 1.000 1.000 false(reach) 229.724s 137.030s zeus24 4783730688 6.944444444444444
eca-rers2012/Problem06_label44_false-unreach-call.c false(reach) 161.870s 134.936s zeus07 3639451648 1.000 1.000 false(reach) 329.090s 191.494s zeus18 5321191424 6.944444444444444
eca-rers2012/Problem06_label47_false-unreach-call.c false(reach) 149.241s 125.372s zeus09 3318964224 1.000 1.000 false(reach) 194.980s 116.468s zeus18 4166160384 6.944444444444444
eca-rers2012/Problem06_label48_false-unreach-call.c false(reach) 139.213s 116.363s zeus24 3634053120 1.000 1.000 false(reach) 343.927s 201.573s zeus08 5400731648 6.944444444444444
eca-rers2012/Problem06_label56_false-unreach-call.c false(reach) 165.161s 139.132s zeus19 3883913216 1.000 1.000 false(reach) 194.469s 113.380s zeus06 3957874688 6.944444444444444
eca-rers2012/Problem06_label58_false-unreach-call.c false(reach) 157.151s 133.049s zeus15 3576274944 1.000 1.000 false(reach) 337.089s 196.828s zeus08 5154930688 6.944444444444444
eca-rers2012/Problem06_label59_false-unreach-call.c false(reach) 183.474s 158.315s zeus13 4179685376 1.000 1.000 false(reach) 325.816s 189.118s zeus10 5102989312 6.944444444444444
eca-rers2012/Problem10_label46_false-unreach-call.c false(reach) 8.388s 5.353s zeus12 323186688 1.000 1.000 false(reach) 13.485s 7.583s zeus04 328581120 233.87096774193546
eca-rers2012/Problem10_label47_false-unreach-call.c false(reach) 28.289s 23.628s zeus22 587669504 1.000 1.000 rejected 156.929s 148.349s zeus17 527032320 327.9569892473118
eca-rers2012/Problem10_label55_false-unreach-call.c false(reach) 40.272s 35.758s zeus19 556662784 1.000 1.000 false(reach) 16.448s 8.960s zeus11 453677056 327.9569892473118
eca-rers2012/Problem10_label58_false-unreach-call.c false(reach) 569.583s 564.904s zeus11 946278400 1.000 1.000 rejected 13.880s 7.763s zeus06 339152896 397.84946236559136
eca-rers2012/Problem14_label14_false-unreach-call.c false(reach) 25.206s 16.506s zeus11 671064064 1.000 1.000 rejected 16.588s 9.373s zeus06 509448192 313.6593591905565
eca-rers2012/Problem16_label00_false-unreach-call.c false(reach) 266.994s 261.963s zeus04 774991872 1.000 1.000 rejected 31.727s 23.129s zeus03 430497792 117.2106824925816
eca-rers2012/Problem10_label43_true-unreach-call.c false(reach) 8.325s 5.493s zeus02 327864320 1.000 1.000 rejected 13.702s 7.670s zeus05 337104896 397.84946236559136
eca-rers2012/Problem10_label44_true-unreach-call.c false(reach) 9.032s 5.735s zeus15 351342592 1.000 1.000 rejected 15.810s 8.877s zeus08 344653824 233.87096774193546
eca-rers2012/Problem10_label45_true-unreach-call.c false(reach) 8.400s 5.454s zeus20 338046976 1.000 1.000 rejected 15.344s 8.657s zeus05 343035904 233.87096774193546
eca-rers2012/Problem10_label56_true-unreach-call.c false(reach) 506.516s 501.274s zeus03 1011761152 1.000 1.000 rejected 18.781s 11.311s zeus12 515641344 327.9569892473118
eca-rers2012/Problem14_label04_true-unreach-call.c false(reach) 30.068s 22.391s zeus20 726581248 1.000 1.000 rejected 17.818s 9.923s zeus10 525856768 193.92917369308603
eca-rers2012/Problem14_label09_true-unreach-call.c false(reach) 45.532s 36.549s zeus24 781139968 1.000 1.000 rejected 17.303s 9.552s zeus16 507834368 313.6593591905565
eca-rers2012/Problem14_label59_true-unreach-call.c false(reach) 23.887s 14.564s zeus01 736546816 1.000 1.000 rejected 17.777s 9.957s zeus11 521408512 193.92917369308603
eca-rers2012/Problem16_label02_true-unreach-call.c false(reach) 13.348s 8.696s zeus05 483840000 1.000 1.000 rejected 20.028s 11.519s zeus01 483590144 117.2106824925816
heap-manipulation/bubble_sort_linux_false-unreach-call.i false(reach) 5.672s 3.696s zeus09 229916672 0.907 0.458 false(reach) 11.038s 6.226s zeus22 307531776 537.0370370370371
heap-manipulation/merge_sort_false-unreach-call.i false(reach) 4.763s 3.144s zeus10 217767936 0.874 0.357 false(reach) 11.314s 6.638s zeus15 293556224 192.30769230769232
heap-manipulation/sll_to_dll_rev_false-unreach-call.i false(reach) 5.119s 3.401s zeus21 231100416 0.878 0.444 false(reach) 9.316s 5.478s zeus21 302088192 431.37254901960785
list-properties/alternating_list_false-unreach-call.i false(reach) 4.445s 2.979s zeus04 216977408 0.993 1.000 false(reach) 6.441s 3.912s zeus18 284336128 454.5454545454545
list-properties/list_flag_false-unreach-call.i false(reach) 4.471s 2.997s zeus17 213368832 0.997 1.000 false(reach) 6.411s 3.836s zeus01 281391104 562.5
list-properties/list_search_false-unreach-call.i false(reach) 5.025s 3.450s zeus22 231620608 1.000 1.000 false(reach) 147.050s 139.431s zeus15 757379072 947.3684210526316
list-properties/simple_false-unreach-call.i false(reach) 4.779s 3.132s zeus10 212168704 0.997 1.000 false(reach) 6.721s 3.777s zeus05 281251840 615.3846153846155
list-properties/splice_false-unreach-call.i false(reach) 4.588s 3.076s zeus11 217460736 0.997 1.000 false(reach) 8.124s 4.630s zeus24 308477952 400.0
ldv-regression/1_3.c_false-unreach-call.i false(reach) 3.492s 2.349s zeus11 197316608 0.950 1.000 false(reach) 6.280s 3.680s zeus03 280961024 909.090909090909
ldv-regression/alt_test.c_false-unreach-call.i false(reach) 5.049s 3.198s zeus22 220717056 0.997 1.000 false(reach) 7.067s 4.360s zeus21 287518720 785.7142857142857
ldv-regression/callfpointer.c_false-unreach-call.i false(reach) 3.445s 2.227s zeus16 194846720 0.800 0.750 false(reach) 5.219s 3.240s zeus16 240218112 833.3333333333334
ldv-regression/fo_test.c_false-unreach-call.i false(reach) 4.680s 2.995s zeus12 208883712 0.994 1.000 unknown 5.118s 3.017s zeus02 208703488 -
ldv-regression/mutex_lock_int.c_false-unreach-call.i false(reach) 3.321s 2.215s zeus11 197185536 0.778 0.500 false(reach) 5.734s 3.437s zeus08 245751808 800.0
ldv-regression/mutex_lock_struct.c_false-unreach-call.i false(reach) 3.394s 2.252s zeus05 194392064 0.833 0.500 false(reach) 5.239s 3.241s zeus20 244248576 800.0
ldv-regression/recursive_list.c_false-unreach-call.i false(reach) 3.700s 2.456s zeus15 206954496 1.000 1.000 false(reach) 6.414s 3.617s zeus22 281419776 1000.0
ldv-regression/rule57_ebda_blast.c_false-unreach-call.i false(reach) 3.837s 2.540s zeus24 206467072 1.000 1.000 false(reach) 6.538s 4.003s zeus21 285343744 727.2727272727273
ldv-regression/rule60_list2.c_false-unreach-call_1.i false(reach) 4.510s 3.021s zeus20 220323840 0.996 1.000 false(reach) 12.525s 7.406s zeus09 338907136 833.3333333333334
ldv-regression/stateful_check_false-unreach-call.i false(reach) 4.665s 3.142s zeus09 217583616 1.000 1.000 false(reach) 9.260s 5.319s zeus09 301109248 386.3636363636364
ldv-regression/test_while_int.c_false-unreach-call.i false(reach) 3.672s 2.459s zeus15 198303744 1.000 1.000 false(reach) 5.308s 3.321s zeus03 241803264 833.3333333333334
ldv-regression/test_while_int.c_false-unreach-call_1.i false(reach) 4.071s 2.679s zeus18 204320768 1.000 1.000 false(reach) 5.727s 3.499s zeus10 244027392 800.0
ldv-regression/test_union.c_true-unreach-call_1.i false(reach) 3.552s 2.308s zeus01 195149824 1.000 1.000 rejected 5.332s 3.243s zeus20 238698496 1000.0
ddv-machzwd/ddv_machzwd_all_false-unreach-call.i false(reach) 62.095s 56.434s zeus20 905007104 0.540 0.097 unknown 5.703s 3.300s zeus01 208220160 -
ddv-machzwd/ddv_machzwd_inw_false-unreach-call.i false(reach) 64.241s 58.421s zeus09 892432384 0.544 0.089 unknown 5.830s 3.419s zeus22 212312064 -
ddv-machzwd/ddv_machzwd_outb_false-unreach-call.i false(reach) 62.947s 57.295s zeus13 885420032 0.544 0.089 unknown 5.676s 3.353s zeus18 205402112 -
loops/array_false-unreach-call.i false(reach) 3.665s 2.464s zeus24 207089664 1.000 1.000 false(reach) 5.635s 3.586s zeus18 245723136 727.2727272727273
loops/bubble_sort_false-unreach-call.i false(reach) 5.861s 3.824s zeus12 262393856 0.413 0.292 timeout 905.292s 896.173s zeus24 1099931648 -
loops/count_up_down_false-unreach-call_true-termination.i false(reach) 3.628s 2.346s zeus14 192491520 0.909 1.000 false(reach) 5.335s 3.329s zeus24 244854784 1000.0
loops/eureka_01_false-unreach-call.i false(reach) 61.757s 56.367s zeus16 682369024 1.000 1.000 false(reach) 11.851s 6.689s zeus12 302776320 533.3333333333334
loops/for_bounded_loop1_false-unreach-call_true-termination.i false(reach) 3.631s 2.423s zeus13 197726208 1.000 1.000 false(reach) 5.762s 3.554s zeus06 250929152 923.0769230769231
loops/invert_string_false-unreach-call.i false(reach) 6.896s 5.003s zeus22 248356864 1.000 1.000 false(reach) 6.985s 4.069s zeus06 295624704 352.94117647058823
loops/linear_search_false-unreach-call.i false(reach) 3.672s 2.419s zeus05 204857344 0.933 1.000 rejected 82.204s 77.495s zeus12 436658176 1000.0
loops/matrix_false-unreach-call_true-termination.i false(reach) 6.628s 4.879s zeus08 554975232 1.000 1.000 false(reach) 7.071s 4.163s zeus10 293560320 666.6666666666666
loops/nec11_false-unreach-call.i false(reach) 3.799s 2.483s zeus04 195420160 0.889 0.667 false(reach) 5.293s 3.355s zeus14 245985280 916.6666666666666
loops/nec20_false-unreach-call.i false(reach) 4.096s 2.650s zeus22 204668928 1.000 1.000 false(reach) 5.448s 3.398s zeus11 249257984 421.05263157894734
loops/s3_false-unreach-call.i false(reach) 17.333s 13.180s zeus12 455151616 0.988 0.966 rejected 14.436s 8.295s zeus13 336941056 314.6067415730337
loops/string_false-unreach-call.i false(reach) 5.996s 4.286s zeus08 230916096 0.971 0.923 unknown 7.683s 4.482s zeus21 298123264 173.91304347826087
loops/sum01_bug02_false-unreach-call_true-termination.i false(reach) 4.941s 3.309s zeus01 214872064 1.000 1.000 false(reach) 8.906s 5.111s zeus19 300937216 625.0
loops/sum01_bug02_sum01_bug02_base.case_false-unreach-call_true-termination.i false(reach) 3.819s 2.607s zeus23 210116608 1.000 1.000 false(reach) 7.078s 4.354s zeus06 286334976 571.4285714285714
loops/sum01_false-unreach-call_true-termination.i false(reach) 5.991s 4.197s zeus17 229666816 1.000 1.000 false(reach) 8.860s 5.106s zeus03 302452736 571.4285714285714
loops/sum03_false-unreach-call_true-termination.i false(reach) 6.789s 4.718s zeus21 246599680 1.000 1.000 false(reach) 8.373s 4.784s zeus09 298401792 1000.0
loops/sum04_false-unreach-call_true-termination.i false(reach) 5.491s 3.720s zeus08 212193280 1.000 1.000 false(reach) 7.547s 4.403s zeus24 297025536 571.4285714285714
loops/sum_array_false-unreach-call.i false(reach) 5.548s 3.810s zeus15 238915584 1.000 1.000 false(reach) 6.851s 3.904s zeus19 289644544 384.61538461538464
loops/terminator_01_false-unreach-call_false-termination.i false(reach) 3.888s 2.592s zeus23 191799296 0.889 1.000 false(reach) 5.585s 3.356s zeus13 246530048 1000.0
loops/terminator_02_false-unreach-call_true-termination.i false(reach) 3.422s 2.240s zeus14 191209472 0.950 0.750 false(reach) 5.627s 3.570s zeus18 248401920 1000.0
loops/terminator_03_false-unreach-call_true-termination.i false(reach) 3.860s 2.453s zeus14 194600960 1.000 1.000 false(reach) 6.443s 3.600s zeus01 282116096 1000.0
loops/trex01_false-unreach-call_true-termination.i false(reach) 3.642s 2.364s zeus05 194768896 0.391 0.500 false(reach) 5.402s 3.411s zeus05 252768256 538.4615384615385
loops/trex02_false-unreach-call_true-termination.i false(reach) 3.214s 2.153s zeus11 194023424 0.833 0.667 false(reach) 5.549s 3.349s zeus03 245948416 1000.0
loops/trex03_false-unreach-call_true-termination.i false(reach) 3.385s 2.240s zeus23 198033408 0.875 0.778 false(reach) 5.915s 3.434s zeus02 278196224 750.0
loops/verisec_NetBSD-libc__loop_false-unreach-call.i false(reach) 3.445s 2.278s zeus10 192118784 0.882 1.000 false(reach) 7.907s 4.804s zeus01 310456320 818.1818181818182
loops/verisec_OpenSER__cases1_stripFullBoth_arr_false-unreach-call.i false(reach) 4.115s 2.900s zeus05 211968000 0.953 1.000 false(reach) 14.598s 8.090s zeus01 339075072 333.3333333333333
loops/vogal_false-unreach-call.i false(reach) 12.561s 9.915s zeus19 305807360 1.000 1.000 false(reach) 181.018s 135.369s zeus21 5423902720 190.47619047619045
loops/while_infinite_loop_4_false-unreach-call_true-termination.i false(reach) 3.448s 2.256s zeus12 192122880 0.929 1.000 false(reach) 5.241s 3.244s zeus13 238911488 875.0
loops/count_up_down_true-unreach-call_true-termination.i false(reach) 3.325s 2.212s zeus14 194260992 0.909 1.000 rejected 9.478s 5.967s zeus12 304836608 1000.0
loops/linear_sea.ch_true-unreach-call.i false(reach) 3.623s 2.391s zeus08 205565952 0.929 1.000 rejected 50.931s 46.363s zeus07 447934464 1000.0
loops/trex03_true-unreach-call.i false(reach) 3.780s 2.415s zeus06 205574144 0.875 0.778 rejected 6.549s 3.856s zeus16 281923584 750.0
loop-acceleration/diamond_false-unreach-call1.i false(reach) 118.020s 110.976s zeus22 1309884416 1.000 1.000 false(reach) 312.123s 283.442s zeus21 4767612928 625.0
loop-acceleration/multivar_false-unreach-call1.i false(reach) 3.511s 2.245s zeus05 189534208 0.900 1.000 false(reach) 5.124s 3.189s zeus08 243777536 1000.0
loop-acceleration/phases_false-unreach-call2.i false(reach) 3.375s 2.246s zeus10 191029248 0.929 0.750 false(reach) 5.605s 3.448s zeus18 242733056 1000.0
loop-acceleration/simple_false-unreach-call2.i false(reach) 3.445s 2.244s zeus02 199589888 0.875 1.000 false(reach) 5.235s 3.237s zeus11 241967104 1000.0
loop-acceleration/simple_false-unreach-call3.i false(reach) 3.456s 2.240s zeus05 193253376 0.889 1.000 false(reach) 5.229s 3.312s zeus02 244518912 1000.0
loop-acceleration/underapprox_false-unreach-call1.i false(reach) 4.128s 2.881s zeus10 203608064 1.000 1.000 false(reach) 8.610s 4.898s zeus22 287735808 571.4285714285714
loop-acceleration/underapprox_false-unreach-call2.i false(reach) 4.164s 2.930s zeus06 208642048 1.000 1.000 false(reach) 9.359s 5.229s zeus24 290828288 571.4285714285714
loop-acceleration/diamond_true-unreach-call1.i false(reach) 159.100s 151.433s zeus20 794906624 1.000 1.000 timeout 905.657s 825.626s zeus16 6156742656 -
loop-acceleration/phases_true-unreach-call2.i false(reach) 3.477s 2.267s zeus23 205049856 1.000 1.000 rejected 5.397s 3.344s zeus01 246517760 666.6666666666666
loop-invgen/id_trans_false-unreach-call.i false(reach) 3.563s 2.397s zeus15 202575872 1.000 1.000 false(reach) 7.127s 4.133s zeus23 289378304 1000.0
loop-invgen/half_2_true-unreach-call.i false(reach) 3.594s 2.325s zeus20 194764800 0.947 1.000 unknown 4.749s 2.842s zeus18 204849152 -
loop-invgen/heapsort_true-unreach-call.i false(reach) 3.669s 2.399s zeus02 200634368 0.978 0.727 rejected 6.356s 3.789s zeus12 285110272 527.7777777777778
loop-lit/mcmillan2006_true-unreach-call.c.i false(reach) 4.629s 3.254s zeus15 217489408 1.000 1.000 rejected 39.653s 23.584s zeus21 770658304 1000.0
loop-new/gauss_sum_true-unreach-call.i false(reach) 3.489s 2.351s zeus11 197844992 1.000 1.000 rejected 35.574s 25.683s zeus22 982560768 666.6666666666666
product-lines/elevator_spec14_product20_false-unreach-call.cil.c false(reach) 170.593s 162.055s zeus18 975736832 0.530 0.743 false(reach) 28.908s 16.148s zeus03 517779456 177.10843373493975
product-lines/elevator_spec14_product24_false-unreach-call.cil.c false(reach) 175.368s 165.401s zeus11 1035472896 0.545 0.759 false(reach) 32.139s 18.076s zeus19 563986432 168.3848797250859
product-lines/elevator_spec14_product28_false-unreach-call.cil.c false(reach) 179.646s 169.911s zeus20 975601664 0.541 0.760 false(reach) 27.861s 15.645s zeus18 516276224 173.81228273464657
product-lines/elevator_spec14_product32_false-unreach-call.cil.c false(reach) 198.928s 188.714s zeus12 1059680256 0.557 0.776 false(reach) 28.744s 16.116s zeus22 516915200 165.56291390728478
product-lines/elevator_spec14_productSimulator_false-unreach-call.cil.c false(reach) 288.571s 278.466s zeus02 1720934400 0.572 0.780 false(reach) 31.794s 19.082s zeus12 718028800 177.75467775467777
product-lines/elevator_spec1_product18_false-unreach-call.cil.c false(reach) 651.039s 636.454s zeus12 1025015808 0.587 0.790 false(reach) 33.075s 19.747s zeus03 828067840 355.95238095238096
product-lines/elevator_spec1_product26_false-unreach-call.cil.c false(reach) 519.652s 505.021s zeus02 1038508032 0.598 0.807 false(reach) 32.276s 19.547s zeus08 813268992 343.2835820895522
product-lines/elevator_spec2_product18_false-unreach-call.cil.c false(reach) 577.128s 564.063s zeus15 1047035904 0.585 0.790 false(reach) 31.303s 18.558s zeus17 743776256 363.9618138424821
product-lines/elevator_spec2_product20_false-unreach-call.cil.c false(reach) 635.967s 621.553s zeus02 1086279680 0.590 0.792 false(reach) 31.730s 19.019s zeus18 824090624 362.26851851851853
product-lines/elevator_spec2_product22_false-unreach-call.cil.c false(reach) 804.883s 789.462s zeus24 1194668032 0.599 0.805 false(reach) 32.129s 18.932s zeus16 796065792 357.9545454545455
product-lines/elevator_spec2_product24_false-unreach-call.cil.c false(reach) 214.743s 200.484s zeus05 1158725632 0.604 0.807 false(reach) 31.199s 18.650s zeus18 694878208 357.9295154185022
product-lines/elevator_spec3_product03_false-unreach-call.cil.c false(reach) 94.329s 86.337s zeus21 841469952 0.572 0.743 false(reach) 39.453s 23.406s zeus04 605372416 298.7598647125141
product-lines/elevator_spec3_product11_false-unreach-call.cil.c false(reach) 112.069s 102.883s zeus17 846589952 0.583 0.759 false(reach) 33.766s 19.803s zeus01 806899712 287.74617067833697
product-lines/elevator_spec3_product19_false-unreach-call.cil.c false(reach) 126.747s 118.284s zeus14 883347456 0.583 0.759 false(reach) 41.501s 24.553s zeus09 891215872 287.89531079607417
product-lines/elevator_spec3_product20_false-unreach-call.cil.c false(reach) 148.863s 138.450s zeus20 947154944 0.584 0.758 false(reach) 41.966s 25.809s zeus05 889192448 296.137339055794
product-lines/elevator_spec3_product23_false-unreach-call.cil.c false(reach) 149.228s 139.369s zeus08 917282816 0.597 0.774 rejected 34.292s 21.448s zeus16 832860160 277.54677754677755
product-lines/elevator_spec3_product24_false-unreach-call.cil.c false(reach) 170.361s 160.234s zeus07 1097940992 0.598 0.773 rejected 33.311s 20.889s zeus13 839544832 282.7868852459016
product-lines/elevator_spec3_product27_false-unreach-call.cil.c false(reach) 130.338s 121.364s zeus05 867262464 0.594 0.775 false(reach) 29.809s 17.533s zeus07 628375552 280.2950474183351
product-lines/elevator_spec3_product28_false-unreach-call.cil.c false(reach) 176.453s 167.140s zeus03 963436544 0.595 0.774 false(reach) 35.817s 21.373s zeus02 862527488 286.9022869022869
product-lines/elevator_spec3_product31_false-unreach-call.cil.c false(reach) 185.275s 176.182s zeus01 951300096 0.607 0.790 rejected 32.927s 20.890s zeus13 825798656 269.42482341069626
product-lines/elevator_spec3_product32_false-unreach-call.cil.c false(reach) 197.824s 187.611s zeus11 1113063424 0.608 0.789 false(reach) 39.042s 23.548s zeus21 856625152 274.9003984063745
product-lines/elevator_spec3_productSimulator_false-unreach-call.cil.c false(reach) 331.887s 321.049s zeus12 1645137920 0.620 0.792 false(reach) 33.775s 20.556s zeus13 818872320 277.77777777777777
product-lines/elevator_spec9_product32_false-unreach-call.cil.c false(reach) 187.455s 173.105s zeus20 1071714304 0.609 0.822 false(reach) 33.186s 19.633s zeus16 778485760 351.8716577540107
product-lines/email_spec0_product16_false-unreach-call.cil.c false(reach) 18.320s 11.753s zeus23 536596480 0.569 0.502 false(reach) 22.825s 12.677s zeus22 515862528 292.52782193958666
product-lines/email_spec0_product21_false-unreach-call.cil.c false(reach) 27.701s 20.012s zeus23 701702144 0.640 0.676 false(reach) 22.395s 12.638s zeus11 523272192 193.09462915601023
product-lines/email_spec0_product22_false-unreach-call.cil.c false(reach) 18.940s 12.883s zeus11 542756864 0.586 0.529 false(reach) 23.261s 12.870s zeus09 511311872 221.5568862275449
product-lines/email_spec0_product26_false-unreach-call.cil.c false(reach) 32.182s 23.295s zeus16 693706752 0.656 0.702 false(reach) 21.689s 11.991s zeus10 505753600 249.08869987849334
product-lines/email_spec0_product31_false-unreach-call.cil.c false(reach) 25.460s 16.461s zeus03 649744384 0.609 0.560 false(reach) 22.899s 12.650s zeus22 488177664 188.10511756569846
product-lines/email_spec0_product33_false-unreach-call.cil.c false(reach) 23.136s 15.641s zeus10 642646016 0.625 0.586 false(reach) 20.682s 11.505s zeus11 500998144 202.6315789473684
product-lines/email_spec0_product34_false-unreach-call.cil.c false(reach) 40.534s 31.245s zeus09 717664256 0.677 0.731 false(reach) 22.980s 12.749s zeus20 525307904 179.22374429223746
product-lines/email_spec0_product35_false-unreach-call.cil.c false(reach) 32.750s 24.189s zeus13 718786560 0.692 0.756 false(reach) 23.823s 13.502s zeus06 520417280 179.62760131434828
product-lines/email_spec0_productSimulator_false-unreach-call.cil.c false(reach) 443.919s 425.775s zeus11 5353558016 0.728 0.788 false(reach) 27.759s 15.906s zeus06 555749376 202.83975659229208
product-lines/email_spec11_product15_false-unreach-call.cil.c false(reach) 20.128s 13.810s zeus16 533245952 0.544 0.494 false(reach) 22.893s 12.183s zeus24 384163840 237.37373737373738
product-lines/email_spec11_product20_false-unreach-call.cil.c false(reach) 29.824s 22.147s zeus03 690528256 0.615 0.668 false(reach) 21.362s 11.978s zeus06 506236928 209.89304812834226
product-lines/email_spec11_product22_false-unreach-call.cil.c false(reach) 20.252s 13.680s zeus01 536690688 0.587 0.529 false(reach) 18.582s 10.370s zeus08 419012608 209.2675635276532
product-lines/email_spec11_product26_false-unreach-call.cil.c false(reach) 40.133s 30.861s zeus21 710488064 0.657 0.702 false(reach) 26.807s 14.273s zeus05 487739392 195.38834951456312
product-lines/email_spec11_product30_false-unreach-call.cil.c false(reach) 21.362s 14.263s zeus22 579530752 0.567 0.544 false(reach) 23.703s 13.440s zeus24 517242880 221.3855421686747
product-lines/email_spec11_product32_false-unreach-call.cil.c false(reach) 33.546s 25.010s zeus07 726863872 0.636 0.715 false(reach) 21.697s 12.162s zeus02 504795136 260.3911980440098
product-lines/email_spec11_product33_false-unreach-call.cil.c false(reach) 29.720s 21.228s zeus08 688820224 0.625 0.586 false(reach) 20.714s 11.688s zeus11 502804480 248.6910994764398
product-lines/email_spec11_product35_false-unreach-call.cil.c false(reach) 48.702s 39.363s zeus14 721006592 0.692 0.756 false(reach) 22.438s 12.517s zeus03 529653760 189.95633187772927
product-lines/email_spec1_product14_false-unreach-call.cil.c false(reach) 18.505s 11.912s zeus03 546222080 0.585 0.631 rejected 12.393s 7.106s zeus08 334733312 0.0
product-lines/email_spec1_product15_false-unreach-call.cil.c false(reach) 13.857s 9.087s zeus10 461975552 0.538 0.492 rejected 11.958s 6.761s zeus02 332742656 0.0
product-lines/email_spec1_product16_false-unreach-call.cil.c false(reach) 20.172s 14.674s zeus12 529170432 0.570 0.504 rejected 11.436s 6.728s zeus07 335249408 0.0
product-lines/email_spec1_product20_false-unreach-call.cil.c false(reach) 21.019s 14.293s zeus01 643686400 0.609 0.665 rejected 12.091s 7.024s zeus20 332324864 0.0
product-lines/email_spec1_product21_false-unreach-call.cil.c false(reach) 24.023s 16.072s zeus13 672374784 0.641 0.678 rejected 12.769s 7.193s zeus24 332812288 0.0
product-lines/email_spec1_product22_false-unreach-call.cil.c false(reach) 16.408s 10.778s zeus11 514998272 0.587 0.531 rejected 12.231s 6.978s zeus16 332472320 0.0
product-lines/email_spec1_product26_false-unreach-call.cil.c false(reach) 26.166s 17.839s zeus22 685260800 0.657 0.703 rejected 13.718s 7.765s zeus04 331202560 0.0
product-lines/email_spec1_product29_false-unreach-call.cil.c false(reach) 24.252s 15.792s zeus20 684892160 0.619 0.691 rejected 13.036s 7.466s zeus09 336650240 0.0
product-lines/email_spec1_product30_false-unreach-call.cil.c false(reach) 17.783s 11.482s zeus09 554819584 0.568 0.546 rejected 12.045s 6.875s zeus12 331005952 0.0
product-lines/email_spec1_product31_false-unreach-call.cil.c false(reach) 17.842s 11.400s zeus17 644411392 0.610 0.562 rejected 12.601s 7.246s zeus21 344113152 0.0
product-lines/email_spec1_product32_false-unreach-call.cil.c false(reach) 24.554s 16.046s zeus22 682000384 0.637 0.716 rejected 13.598s 7.653s zeus17 335785984 0.0
product-lines/email_spec1_product33_false-unreach-call.cil.c false(reach) 19.763s 12.683s zeus15 579481600 0.626 0.588 rejected 12.149s 7.002s zeus10 334782464 0.0
product-lines/email_spec1_product34_false-unreach-call.cil.c false(reach) 26.735s 18.218s zeus03 699228160 0.678 0.732 rejected 13.529s 7.685s zeus06 336977920 0.0
product-lines/email_spec1_product35_false-unreach-call.cil.c false(reach) 28.164s 19.786s zeus03 696274944 0.693 0.757 rejected 12.842s 7.384s zeus05 331096064 0.0
product-lines/email_spec1_productSimulator_false-unreach-call.cil.c false(reach) 119.584s 103.980s zeus15 2968018944 0.728 0.789 rejected 14.325s 8.099s zeus21 331927552 0.0
product-lines/email_spec27_product17_false-unreach-call.cil.c false(reach) 21.694s 14.376s zeus03 676818944 0.604 0.660 false(reach) 22.634s 12.677s zeus11 529571840 211.2482853223594
product-lines/email_spec27_product18_false-unreach-call.cil.c false(reach) 17.181s 11.522s zeus11 516022272 0.552 0.512 rejected 11.449s 6.669s zeus21 333082624 0.0
product-lines/email_spec27_product19_false-unreach-call.cil.c false(reach) 16.682s 11.226s zeus04 552263680 0.582 0.520 rejected 12.508s 7.145s zeus13 341733376 0.0
product-lines/email_spec27_product23_false-unreach-call.cil.c false(reach) 25.659s 17.514s zeus24 682491904 0.623 0.686 rejected 12.561s 7.198s zeus16 336945152 0.0
product-lines/email_spec27_product24_false-unreach-call.cil.c false(reach) 16.961s 11.221s zeus05 553963520 0.598 0.547 rejected 12.567s 7.217s zeus12 341241856 0.0
product-lines/email_spec27_product25_false-unreach-call.cil.c false(reach) 27.098s 18.166s zeus06 687554560 0.652 0.694 false(reach) 23.379s 13.051s zeus02 531480576 188.42364532019704
product-lines/email_spec27_product27_false-unreach-call.cil.c false(reach) 29.019s 20.352s zeus09 685797376 0.668 0.720 false(reach) 26.396s 14.621s zeus20 508628992 219.33962264150944
product-lines/email_spec27_product29_false-unreach-call.cil.c false(reach) 26.991s 18.464s zeus05 682168320 0.625 0.699 rejected 13.284s 7.511s zeus13 333955072 0.0
product-lines/email_spec27_product30_false-unreach-call.cil.c false(reach) 18.676s 12.052s zeus07 661463040 0.575 0.554 rejected 12.598s 7.287s zeus05 333803520 0.0
product-lines/email_spec27_product31_false-unreach-call.cil.c false(reach) 20.424s 13.143s zeus17 679825408 0.611 0.562 rejected 12.292s 7.164s zeus06 338620416 0.0
product-lines/email_spec27_product32_false-unreach-call.cil.c false(reach) 27.074s 18.707s zeus11 698363904 0.643 0.724 rejected 13.952s 7.790s zeus21 331276288 0.0
product-lines/email_spec27_product33_false-unreach-call.cil.c false(reach) 20.755s 13.518s zeus24 673910784 0.627 0.588 rejected 13.553s 7.591s zeus19 335872000 0.0
product-lines/email_spec27_product34_false-unreach-call.cil.c false(reach) 30.393s 20.780s zeus07 708259840 0.679 0.732 rejected 14.666s 8.164s zeus05 335847424 0.0
product-lines/email_spec27_product35_false-unreach-call.cil.c false(reach) 31.658s 21.934s zeus06 705245184 0.694 0.757 rejected 13.654s 7.656s zeus12 338444288 0.0
product-lines/email_spec3_product13_false-unreach-call.cil.c false(reach) 8.308s 5.193s zeus09 342106112 0.401 0.275 false(reach) 16.425s 9.132s zeus24 347803648 221.83708838821488
product-lines/email_spec3_product17_false-unreach-call.cil.c false(reach) 8.543s 5.322s zeus07 359837696 0.410 0.290 false(reach) 19.938s 10.999s zeus09 378048512 202.99727520435968
product-lines/email_spec3_product18_false-unreach-call.cil.c false(reach) 8.440s 5.238s zeus03 345747456 0.399 0.273 false(reach) 16.355s 9.063s zeus05 345370624 223.83252818035427
product-lines/email_spec3_product19_false-unreach-call.cil.c false(reach) 8.383s 5.211s zeus03 348786688 0.399 0.273 false(reach) 16.252s 9.243s zeus19 344506368 197.91666666666666
product-lines/email_spec3_product23_false-unreach-call.cil.c false(reach) 8.460s 5.255s zeus20 350994432 0.407 0.289 false(reach) 19.195s 10.735s zeus21 392699904 206.98576972833118
product-lines/email_spec3_product24_false-unreach-call.cil.c false(reach) 8.490s 5.291s zeus18 349655040 0.397 0.272 false(reach) 21.797s 12.577s zeus15 366612480 381.15330520393815
product-lines/email_spec3_product25_false-unreach-call.cil.c false(reach) 8.866s 5.536s zeus23 361390080 0.407 0.289 false(reach) 19.341s 10.910s zeus04 401707008 186.21523579201934
product-lines/email_spec3_product27_false-unreach-call.cil.c false(reach) 8.421s 5.264s zeus04 346370048 0.405 0.287 false(reach) 19.555s 10.906s zeus06 402612224 354.1666666666667
product-lines/email_spec3_product28_false-unreach-call.cil.c false(reach) 9.195s 5.744s zeus22 372011008 0.423 0.317 false(reach) 18.115s 10.039s zeus06 366886912 205.2877138413686
product-lines/email_spec3_product29_false-unreach-call.cil.c false(reach) 8.853s 5.609s zeus05 369487872 0.431 0.332 false(reach) 19.560s 10.836s zeus09 415961088 191.72932330827066
product-lines/email_spec3_product30_false-unreach-call.cil.c false(reach) 9.167s 5.803s zeus19 367960064 0.420 0.316 false(reach) 18.161s 10.227s zeus05 381624320 208.45481049562684
product-lines/email_spec3_product31_false-unreach-call.cil.c false(reach) 8.836s 5.524s zeus03 364859392 0.421 0.316 false(reach) 20.581s 11.380s zeus18 390561792 183.40026773761713
product-lines/email_spec3_product32_false-unreach-call.cil.c false(reach) 9.058s 5.687s zeus09 373878784 0.428 0.331 false(reach) 20.093s 11.243s zeus18 438411264 195.47079856972584
product-lines/email_spec3_product33_false-unreach-call.cil.c false(reach) 9.026s 5.626s zeus23 369135616 0.418 0.315 false(reach) 18.484s 10.387s zeus06 387133440 380.40712468193385
product-lines/email_spec3_product34_false-unreach-call.cil.c false(reach) 9.068s 5.762s zeus16 373334016 0.428 0.331 false(reach) 20.138s 11.174s zeus02 440098816 175.55555555555554
product-lines/email_spec3_product35_false-unreach-call.cil.c false(reach) 9.200s 5.776s zeus15 370847744 0.425 0.329 false(reach) 20.693s 11.509s zeus22 444596224 356.3829787234042
product-lines/email_spec3_productSimulator_false-unreach-call.cil.c false(reach) 26.174s 16.125s zeus19 716587008 0.602 0.486 false(reach) 27.018s 15.011s zeus12 544256000 199.20713577799802
product-lines/email_spec4_product18_false-unreach-call.cil.c false(reach) 13.477s 8.946s zeus11 457732096 0.545 0.504 rejected 12.170s 6.871s zeus06 337358848 0.0
product-lines/email_spec4_product19_false-unreach-call.cil.c false(reach) 15.790s 10.093s zeus06 527777792 0.581 0.520 rejected 12.838s 7.193s zeus01 336547840 0.0
product-lines/email_spec4_product23_false-unreach-call.cil.c false(reach) 20.783s 13.333s zeus19 556240896 0.616 0.678 rejected 12.347s 7.151s zeus16 338714624 0.0
product-lines/email_spec4_product24_false-unreach-call.cil.c false(reach) 15.836s 10.316s zeus01 515715072 0.597 0.547 rejected 12.103s 6.918s zeus22 336539648 0.0
product-lines/email_spec4_product25_false-unreach-call.cil.c false(reach) 22.420s 14.948s zeus11 665051136 0.651 0.694 rejected 13.124s 7.384s zeus11 332374016 0.0
product-lines/email_spec4_product27_false-unreach-call.cil.c false(reach) 23.142s 15.634s zeus11 679145472 0.667 0.720 rejected 13.641s 7.694s zeus13 333250560 0.0
product-lines/email_spec4_product30_false-unreach-call.cil.c false(reach) 16.299s 10.333s zeus15 533204992 0.568 0.546 rejected 11.754s 6.775s zeus14 336838656 0.0
product-lines/email_spec4_product31_false-unreach-call.cil.c false(reach) 17.795s 11.636s zeus03 575049728 0.610 0.562 rejected 12.419s 7.114s zeus19 333692928 0.0
product-lines/email_spec4_product32_false-unreach-call.cil.c false(reach) 23.654s 15.820s zeus01 683032576 0.637 0.716 rejected 13.555s 7.702s zeus01 334315520 0.0
product-lines/email_spec4_product33_false-unreach-call.cil.c false(reach) 18.985s 12.127s zeus07 631828480 0.626 0.588 rejected 12.983s 7.393s zeus22 341786624 0.0
product-lines/email_spec4_product34_false-unreach-call.cil.c false(reach) 26.854s 18.745s zeus09 716087296 0.678 0.732 rejected 12.861s 7.332s zeus06 332652544 0.0
product-lines/email_spec4_product35_false-unreach-call.cil.c false(reach) 27.841s 19.620s zeus18 709156864 0.693 0.757 rejected 13.453s 7.493s zeus14 335355904 0.0
product-lines/email_spec4_productSimulator_false-unreach-call.cil.c false(reach) 161.182s 142.980s zeus03 3364356096 0.728 0.789 rejected 15.001s 8.412s zeus13 338907136 0.0
product-lines/email_spec6_product12_false-unreach-call.cil.c false(reach) 13.403s 8.777s zeus05 460795904 0.516 0.457 false(reach) 21.885s 12.167s zeus15 454475776 240.87591240875915
product-lines/email_spec6_product14_false-unreach-call.cil.c false(reach) 21.335s 13.585s zeus03 530874368 0.589 0.631 false(reach) 21.446s 12.006s zeus13 521420800 218.25962910128388
product-lines/email_spec6_product15_false-unreach-call.cil.c false(reach) 15.207s 9.619s zeus02 464596992 0.542 0.492 false(reach) 19.969s 11.038s zeus05 412405760 228.7145242070117
product-lines/email_spec6_product16_false-unreach-call.cil.c false(reach) 14.675s 9.478s zeus23 471158784 0.574 0.504 false(reach) 21.201s 11.781s zeus07 499126272 202.78637770897834
product-lines/email_spec6_product20_false-unreach-call.cil.c false(reach) 19.571s 13.267s zeus24 546115584 0.613 0.665 false(reach) 21.209s 11.677s zeus10 452308992 276.59574468085106
product-lines/email_spec6_product21_false-unreach-call.cil.c false(reach) 21.516s 14.010s zeus16 578396160 0.645 0.678 false(reach) 22.917s 12.412s zeus18 493457408 190.0
product-lines/email_spec6_product22_false-unreach-call.cil.c false(reach) 15.278s 9.791s zeus05 472248320 0.591 0.531 false(reach) 19.839s 11.106s zeus07 407146496 270.46783625730995
product-lines/email_spec6_product26_false-unreach-call.cil.c false(reach) 23.447s 15.487s zeus05 576606208 0.660 0.703 false(reach) 21.495s 11.895s zeus02 488509440 201.43027413587606
product-lines/email_spec6_product28_false-unreach-call.cil.c false(reach) 13.609s 8.895s zeus06 462385152 0.553 0.520 false(reach) 21.450s 11.977s zeus17 498872320 206.57276995305165
product-lines/email_spec6_product29_false-unreach-call.cil.c false(reach) 22.381s 14.278s zeus21 570036224 0.622 0.691 false(reach) 23.938s 13.567s zeus15 523898880 193.4260429835651
product-lines/email_spec6_product30_false-unreach-call.cil.c false(reach) 16.714s 10.626s zeus19 507645952 0.572 0.546 false(reach) 20.842s 11.728s zeus06 446832640 210.91445427728613
product-lines/email_spec6_product31_false-unreach-call.cil.c false(reach) 16.271s 10.540s zeus09 500031488 0.614 0.562 false(reach) 21.536s 12.018s zeus15 447614976 185.13513513513513
product-lines/email_spec6_product32_false-unreach-call.cil.c false(reach) 23.328s 14.594s zeus15 559333376 0.640 0.716 false(reach) 22.971s 12.678s zeus06 510451712 196.87875150060026
product-lines/email_spec6_product33_false-unreach-call.cil.c false(reach) 16.714s 10.938s zeus08 505151488 0.629 0.588 false(reach) 19.749s 10.968s zeus14 448823296 245.5012853470437
product-lines/email_spec6_product34_false-unreach-call.cil.c false(reach) 21.938s 14.511s zeus08 581025792 0.681 0.732 false(reach) 23.883s 13.320s zeus03 523792384 176.73378076062642
product-lines/email_spec6_product35_false-unreach-call.cil.c false(reach) 24.119s 16.376s zeus18 670466048 0.696 0.757 false(reach) 22.279s 12.381s zeus11 508366848 226.98072805139185
product-lines/email_spec6_productSimulator_false-unreach-call.cil.c false(reach) 129.881s 113.494s zeus14 3054882816 0.730 0.789 false(reach) 28.545s 16.014s zeus06 550739968 194.6107784431138
product-lines/email_spec7_product28_false-unreach-call.cil.c false(reach) 15.049s 9.763s zeus01 488902656 0.547 0.518 false(reach) 20.398s 11.264s zeus05 430764032 211.63166397415188
product-lines/email_spec7_product29_false-unreach-call.cil.c false(reach) 22.450s 14.594s zeus19 582053888 0.618 0.690 false(reach) 23.612s 13.156s zeus13 520110080 196.89119170984458
product-lines/email_spec7_product30_false-unreach-call.cil.c false(reach) 15.368s 10.015s zeus05 482406400 0.567 0.544 false(reach) 20.410s 11.240s zeus11 425562112 290.9090909090909
product-lines/email_spec7_product31_false-unreach-call.cil.c false(reach) 16.814s 10.565s zeus09 509886464 0.609 0.560 false(reach) 25.421s 13.677s zeus10 441143296 188.3656509695291
product-lines/email_spec7_product32_false-unreach-call.cil.c false(reach) 23.496s 16.252s zeus03 657920000 0.636 0.715 false(reach) 20.218s 11.287s zeus08 505380864 200.24570024570025
product-lines/email_spec7_product33_false-unreach-call.cil.c false(reach) 17.314s 11.024s zeus15 513798144 0.625 0.586 false(reach) 19.902s 11.118s zeus22 472207360 201.3157894736842
product-lines/email_spec7_product34_false-unreach-call.cil.c false(reach) 23.773s 16.164s zeus09 667852800 0.677 0.731 false(reach) 21.674s 12.172s zeus14 502067200 179.22374429223746
product-lines/email_spec7_product35_false-unreach-call.cil.c false(reach) 24.608s 16.683s zeus17 659009536 0.692 0.756 false(reach) 22.910s 12.762s zeus16 501395456 190.1639344262295
product-lines/email_spec7_productSimulator_false-unreach-call.cil.c false(reach) 165.099s 147.994s zeus24 3235495936 0.727 0.788 false(reach) 31.681s 17.902s zeus08 714924032 202.83975659229208
product-lines/email_spec8_product15_false-unreach-call.cil.c false(reach) 13.815s 9.098s zeus12 472915968 0.540 0.492 rejected 11.924s 6.782s zeus06 336211968 0.0
product-lines/email_spec8_product16_false-unreach-call.cil.c false(reach) 14.318s 9.593s zeus12 511991808 0.573 0.504 rejected 12.012s 6.857s zeus06 332406784 0.0
product-lines/email_spec8_product20_false-unreach-call.cil.c false(reach) 24.204s 15.690s zeus14 663482368 0.612 0.665 rejected 12.277s 7.054s zeus05 333467648 0.0
product-lines/email_spec8_product21_false-unreach-call.cil.c false(reach) 29.178s 20.459s zeus18 714305536 0.643 0.678 rejected 13.330s 7.554s zeus03 342814720 0.0
product-lines/email_spec8_product22_false-unreach-call.cil.c false(reach) 17.691s 11.530s zeus08 550449152 0.590 0.531 rejected 11.797s 6.851s zeus02 335339520 0.0
product-lines/email_spec8_product26_false-unreach-call.cil.c false(reach) 27.456s 19.240s zeus07 708149248 0.659 0.703 rejected 13.318s 7.473s zeus22 329752576 0.0
product-lines/email_spec8_product30_false-unreach-call.cil.c false(reach) 18.760s 12.166s zeus04 561172480 0.571 0.546 rejected 11.808s 6.821s zeus21 329043968 0.0
product-lines/email_spec8_product31_false-unreach-call.cil.c false(reach) 18.017s 11.718s zeus24 639340544 0.612 0.562 rejected 15.481s 9.056s zeus04 330784768 0.0
product-lines/email_spec8_product32_false-unreach-call.cil.c false(reach) 30.241s 21.563s zeus18 714485760 0.639 0.716 rejected 13.561s 7.722s zeus18 332161024 0.0
product-lines/email_spec8_product33_false-unreach-call.cil.c false(reach) 19.046s 11.915s zeus21 658231296 0.628 0.588 rejected 13.893s 7.778s zeus10 337129472 0.0
product-lines/email_spec8_product34_false-unreach-call.cil.c false(reach) 29.852s 20.465s zeus12 717688832 0.680 0.732 rejected 13.895s 7.821s zeus07 334704640 0.0
product-lines/email_spec8_product35_false-unreach-call.cil.c false(reach) 31.747s 22.051s zeus12 724029440 0.694 0.757 rejected 14.125s 7.910s zeus19 330354688 0.0
product-lines/email_spec8_productSimulator_false-unreach-call.cil.c false(reach) 188.702s 169.732s zeus09 3464749056 0.730 0.789 rejected 14.704s 8.089s zeus07 339673088 0.0
product-lines/email_spec9_product15_false-unreach-call.cil.c false(reach) 13.499s 8.907s zeus16 476897280 0.540 0.492 rejected 11.924s 6.713s zeus05 337108992 0.0
product-lines/email_spec9_product16_false-unreach-call.cil.c false(reach) 14.705s 9.697s zeus24 522199040 0.573 0.504 rejected 13.808s 8.243s zeus04 333549568 0.0
product-lines/email_spec9_product20_false-unreach-call.cil.c false(reach) 23.800s 15.435s zeus24 672137216 0.612 0.665 rejected 12.339s 7.005s zeus16 335921152 0.0
product-lines/email_spec9_product21_false-unreach-call.cil.c false(reach) 28.801s 20.235s zeus04 696066048 0.643 0.678 rejected 13.173s 7.491s zeus14 331481088 0.0
product-lines/email_spec9_product22_false-unreach-call.cil.c false(reach) 16.826s 10.887s zeus03 520130560 0.590 0.531 rejected 12.246s 6.980s zeus13 338325504 0.0
product-lines/email_spec9_product26_false-unreach-call.cil.c false(reach) 27.403s 18.915s zeus12 710356992 0.659 0.703 rejected 13.479s 7.622s zeus12 335286272 0.0
product-lines/email_spec9_product30_false-unreach-call.cil.c false(reach) 18.154s 11.686s zeus11 557174784 0.571 0.546 rejected 11.723s 6.796s zeus02 335896576 0.0
product-lines/email_spec9_product31_false-unreach-call.cil.c false(reach) 17.953s 11.710s zeus22 645668864 0.612 0.562 rejected 12.569s 7.276s zeus22 332374016 0.0
product-lines/email_spec9_product32_false-unreach-call.cil.c false(reach) 31.363s 22.064s zeus22 716668928 0.639 0.716 rejected 12.454s 7.171s zeus01 332623872 0.0
product-lines/email_spec9_product33_false-unreach-call.cil.c false(reach) 19.023s 11.971s zeus13 656400384 0.628 0.588 rejected 12.803s 7.329s zeus16 337756160 0.0
product-lines/email_spec9_product34_false-unreach-call.cil.c false(reach) 26.716s 18.696s zeus06 713183232 0.680 0.732 rejected 13.714s 7.728s zeus07 331120640 0.0
product-lines/email_spec9_product35_false-unreach-call.cil.c false(reach) 31.757s 21.936s zeus01 724406272 0.694 0.757 rejected 13.825s 7.775s zeus07 337244160 0.0
product-lines/email_spec9_productSimulator_false-unreach-call.cil.c false(reach) 156.543s 139.513s zeus02 3459375104 0.730 0.789 rejected 15.466s 8.602s zeus18 330657792 0.0
product-lines/minepump_spec1_product33_false-unreach-call.cil.c false(reach) 5.313s 3.433s zeus10 225640448 0.357 0.545 false(reach) 9.114s 5.036s zeus21 309022720 795.9183673469388
product-lines/minepump_spec1_product34_false-unreach-call.cil.c false(reach) 5.298s 3.433s zeus11 233390080 0.363 0.545 false(reach) 9.194s 5.260s zeus09 305868800 792.0792079207921
product-lines/minepump_spec1_product35_false-unreach-call.cil.c false(reach) 5.491s 3.486s zeus18 234004480 0.368 0.559 false(reach) 9.315s 5.215s zeus05 309649408 815.5339805825242
product-lines/minepump_spec1_product36_false-unreach-call.cil.c false(reach) 5.489s 3.497s zeus14 230477824 0.374 0.559 false(reach) 9.296s 5.239s zeus13 308097024 785.0467289719626
product-lines/minepump_spec1_product37_false-unreach-call.cil.c false(reach) 5.480s 3.521s zeus21 237252608 0.375 0.571 false(reach) 8.372s 4.809s zeus12 311410688 733.9449541284404
product-lines/minepump_spec1_product38_false-unreach-call.cil.c false(reach) 5.610s 3.608s zeus20 235540480 0.380 0.571 false(reach) 8.623s 4.966s zeus18 304017408 732.1428571428571
product-lines/minepump_spec1_product39_false-unreach-call.cil.c false(reach) 5.596s 3.623s zeus11 234590208 0.382 0.583 false(reach) 9.606s 5.402s zeus12 301350912 761.0619469026549
product-lines/minepump_spec1_product40_false-unreach-call.cil.c false(reach) 5.810s 3.692s zeus22 236064768 0.388 0.583 false(reach) 8.768s 4.842s zeus05 306548736 735.0427350427351
product-lines/minepump_spec1_product41_false-unreach-call.cil.c false(reach) 6.344s 4.090s zeus23 262991872 0.368 0.559 false(reach) 11.174s 6.537s zeus13 329367552 771.4285714285714
product-lines/minepump_spec1_product42_false-unreach-call.cil.c false(reach) 6.515s 4.281s zeus17 255954944 0.373 0.559 false(reach) 9.274s 5.251s zeus13 309948416 750.0
product-lines/minepump_spec1_product43_false-unreach-call.cil.c false(reach) 6.876s 4.372s zeus09 254496768 0.379 0.571 false(reach) 9.864s 5.502s zeus06 300371968 756.7567567567568
product-lines/minepump_spec1_product44_false-unreach-call.cil.c false(reach) 6.235s 4.086s zeus02 261648384 0.384 0.571 false(reach) 9.323s 5.288s zeus22 306876416 763.1578947368422
product-lines/minepump_spec1_product49_false-unreach-call.cil.c false(reach) 5.770s 3.691s zeus03 237367296 0.383 0.583 false(reach) 9.077s 5.166s zeus03 310677504 677.9661016949152
product-lines/minepump_spec1_product50_false-unreach-call.cil.c false(reach) 6.176s 3.890s zeus20 233050112 0.388 0.583 false(reach) 10.652s 6.041s zeus18 317595648 677.685950413223
product-lines/minepump_spec1_product51_false-unreach-call.cil.c false(reach) 6.072s 3.811s zeus04 238235648 0.390 0.595 false(reach) 10.702s 6.056s zeus03 315269120 704.9180327868853
product-lines/minepump_spec1_product52_false-unreach-call.cil.c false(reach) 5.753s 3.692s zeus02 238260224 0.395 0.595 false(reach) 9.041s 5.031s zeus02 303824896 688.0
product-lines/minepump_spec1_product53_false-unreach-call.cil.c false(reach) 6.108s 3.866s zeus23 248954880 0.396 0.605 false(reach) 8.580s 4.914s zeus13 312246272 645.6692913385826
product-lines/minepump_spec1_product54_false-unreach-call.cil.c false(reach) 6.470s 4.064s zeus09 252329984 0.401 0.605 false(reach) 9.123s 5.183s zeus08 304246784 646.1538461538462
product-lines/minepump_spec1_product55_false-unreach-call.cil.c false(reach) 6.091s 3.916s zeus24 249819136 0.403 0.615 false(reach) 9.558s 5.403s zeus05 306401280 648.854961832061
product-lines/minepump_spec1_product56_false-unreach-call.cil.c false(reach) 6.062s 3.882s zeus24 249139200 0.408 0.615 false(reach) 9.840s 5.621s zeus10 303710208 651.851851851852
product-lines/minepump_spec1_productSimulator_false-unreach-call.cil.c false(reach) 8.336s 5.181s zeus02 289046528 0.460 0.674 rejected 8.118s 4.672s zeus19 298938368 0.0
product-lines/minepump_spec2_product33_false-unreach-call.cil.c false(reach) 6.411s 4.160s zeus22 256503808 0.366 0.559 false(reach) 9.566s 5.274s zeus11 305938432 790.4761904761905
product-lines/minepump_spec2_product34_false-unreach-call.cil.c false(reach) 6.413s 4.117s zeus02 254005248 0.372 0.559 false(reach) 9.303s 5.285s zeus18 299573248 766.3551401869158
product-lines/minepump_spec2_product35_false-unreach-call.cil.c false(reach) 6.449s 4.080s zeus03 263405568 0.377 0.571 false(reach) 9.844s 5.617s zeus01 304975872 792.7927927927929
product-lines/minepump_spec2_product36_false-unreach-call.cil.c false(reach) 6.394s 4.069s zeus14 256401408 0.383 0.571 false(reach) 9.561s 5.541s zeus13 303906816 780.7017543859649
product-lines/minepump_spec2_product41_false-unreach-call.cil.c false(reach) 7.293s 4.726s zeus11 281505792 0.377 0.571 false(reach) 9.975s 5.609s zeus06 309501952 756.7567567567568
product-lines/minepump_spec2_product42_false-unreach-call.cil.c false(reach) 7.262s 4.690s zeus16 280035328 0.382 0.571 false(reach) 9.820s 5.520s zeus12 306896896 739.1304347826086
product-lines/minepump_spec2_product43_false-unreach-call.cil.c false(reach) 7.994s 5.431s zeus03 286830592 0.388 0.583 false(reach) 11.142s 6.397s zeus04 300961792 771.1864406779662
product-lines/minepump_spec2_product44_false-unreach-call.cil.c false(reach) 7.514s 4.837s zeus24 284479488 0.393 0.583 false(reach) 10.393s 5.913s zeus07 306233344 760.3305785123968
product-lines/minepump_spec2_productSimulator_false-unreach-call.cil.c false(reach) 13.777s 7.850s zeus12 386760704 0.467 0.681 rejected 8.338s 4.717s zeus12 298213376 0.0
product-lines/minepump_spec3_product01_false-unreach-call.cil.c false(reach) 4.802s 3.170s zeus06 223997952 0.335 0.500 false(reach) 8.373s 4.799s zeus10 311078912 878.0487804878048
product-lines/minepump_spec3_product02_false-unreach-call.cil.c false(reach) 4.839s 3.171s zeus11 225415168 0.341 0.500 false(reach) 7.904s 4.575s zeus12 304455680 869.047619047619
product-lines/minepump_spec3_product03_false-unreach-call.cil.c false(reach) 4.928s 3.246s zeus07 225939456 0.347 0.516 false(reach) 8.621s 4.951s zeus06 306102272 839.0804597701149
product-lines/minepump_spec3_product04_false-unreach-call.cil.c false(reach) 4.862s 3.147s zeus09 223551488 0.353 0.516 false(reach) 8.791s 4.948s zeus13 310804480 820.2247191011236
product-lines/minepump_spec3_product05_false-unreach-call.cil.c false(reach) 5.060s 3.300s zeus08 226373632 0.352 0.531 false(reach) 8.623s 4.894s zeus07 310472704 750.0
product-lines/minepump_spec3_product06_false-unreach-call.cil.c false(reach) 4.915s 3.250s zeus17 224448512 0.358 0.531 false(reach) 8.236s 4.636s zeus17 302878720 726.3157894736843
product-lines/minepump_spec3_product07_false-unreach-call.cil.c false(reach) 4.830s 3.209s zeus07 222593024 0.360 0.545 false(reach) 8.043s 4.677s zeus06 311197696 789.4736842105264
product-lines/minepump_spec3_product08_false-unreach-call.cil.c false(reach) 5.229s 3.405s zeus01 227053568 0.366 0.545 false(reach) 8.427s 4.782s zeus07 308224000 757.5757575757576
product-lines/minepump_spec3_product09_false-unreach-call.cil.c false(reach) 4.897s 3.226s zeus18 225857536 0.332 0.484 false(reach) 8.115s 4.593s zeus06 306298880 876.5432098765432
product-lines/minepump_spec3_product10_false-unreach-call.cil.c false(reach) 4.929s 3.264s zeus20 219955200 0.338 0.484 false(reach) 8.280s 4.777s zeus19 309952512 869.047619047619
product-lines/minepump_spec3_product11_false-unreach-call.cil.c false(reach) 4.739s 3.189s zeus16 225685504 0.344 0.500 false(reach) 9.035s 5.206s zeus18 309886976 839.0804597701149
product-lines/minepump_spec3_product12_false-unreach-call.cil.c false(reach) 5.029s 3.339s zeus19 224141312 0.350 0.500 false(reach) 8.609s 4.930s zeus06 304046080 811.1111111111111
product-lines/minepump_spec3_product13_false-unreach-call.cil.c false(reach) 4.813s 3.157s zeus18 227422208 0.349 0.515 false(reach) 8.577s 4.873s zeus22 308633600 750.0
product-lines/minepump_spec3_product14_false-unreach-call.cil.c false(reach) 5.410s 3.678s zeus23 231342080 0.355 0.515 false(reach) 8.642s 4.940s zeus03 305897472 734.0425531914893
product-lines/minepump_spec3_product15_false-unreach-call.cil.c false(reach) 5.691s 3.775s zeus23 227364864 0.357 0.529 false(reach) 8.582s 5.051s zeus10 312475648 773.1958762886599
product-lines/minepump_spec3_product16_false-unreach-call.cil.c false(reach) 4.840s 3.174s zeus16 228515840 0.363 0.529 false(reach) 9.121s 5.155s zeus13 308568064 757.5757575757576
product-lines/minepump_spec3_product17_false-unreach-call.cil.c false(reach) 5.240s 3.323s zeus03 232202240 0.361 0.545 false(reach) 8.086s 4.609s zeus10 306741248 683.1683168316832
product-lines/minepump_spec3_product18_false-unreach-call.cil.c false(reach) 5.194s 3.322s zeus20 228765696 0.366 0.545 false(reach) 8.557s 4.853s zeus09 308740096 657.1428571428571
product-lines/minepump_spec3_product19_false-unreach-call.cil.c false(reach) 5.165s 3.289s zeus16 229916672 0.368 0.559 false(reach) 8.268s 4.743s zeus05 310063104 721.1538461538462
product-lines/minepump_spec3_product20_false-unreach-call.cil.c false(reach) 5.420s 3.497s zeus18 227303424 0.374 0.559 false(reach) 8.659s 4.972s zeus01 304553984 694.4444444444445
product-lines/minepump_spec3_product21_false-unreach-call.cil.c false(reach) 5.551s 3.505s zeus19 233644032 0.375 0.571 false(reach) 8.448s 4.838s zeus20 306528256 645.4545454545455
product-lines/minepump_spec3_product22_false-unreach-call.cil.c false(reach) 5.725s 3.698s zeus14 231968768 0.380 0.571 false(reach) 8.513s 4.914s zeus06 304111616 628.3185840707964
product-lines/minepump_spec3_product23_false-unreach-call.cil.c false(reach) 5.518s 3.495s zeus24 239661056 0.382 0.583 false(reach) 11.096s 6.354s zeus21 326529024 675.438596491228
product-lines/minepump_spec3_product24_false-unreach-call.cil.c false(reach) 5.286s 3.443s zeus09 232316928 0.388 0.583 false(reach) 8.131s 4.641s zeus11 308944896 606.8376068376068
product-lines/minepump_spec3_product25_false-unreach-call.cil.c false(reach) 5.080s 3.287s zeus13 227594240 0.357 0.529 false(reach) 8.360s 4.759s zeus21 308322304 683.1683168316832
product-lines/minepump_spec3_product26_false-unreach-call.cil.c false(reach) 5.232s 3.336s zeus02 232288256 0.363 0.529 false(reach) 8.440s 4.892s zeus24 310165504 663.4615384615385
product-lines/minepump_spec3_product27_false-unreach-call.cil.c false(reach) 5.176s 3.297s zeus22 234237952 0.365 0.543 false(reach) 8.389s 4.790s zeus12 303853568 707.5471698113207
product-lines/minepump_spec3_product28_false-unreach-call.cil.c false(reach) 5.236s 3.339s zeus01 227151872 0.371 0.543 false(reach) 8.077s 4.667s zeus24 309850112 694.4444444444445
product-lines/minepump_spec3_product29_false-unreach-call.cil.c false(reach) 5.422s 3.483s zeus11 232824832 0.372 0.556 false(reach) 8.671s 4.848s zeus22 309370880 645.4545454545455
product-lines/minepump_spec3_product30_false-unreach-call.cil.c false(reach) 5.281s 3.395s zeus08 235397120 0.377 0.556 false(reach) 8.892s 4.958s zeus19 309379072 628.3185840707964
product-lines/minepump_spec3_product31_false-unreach-call.cil.c false(reach) 5.887s 3.752s zeus07 236560384 0.379 0.568 false(reach) 11.383s 6.554s zeus21 327413760 675.438596491228
product-lines/minepump_spec3_product32_false-unreach-call.cil.c false(reach) 5.448s 3.501s zeus01 231493632 0.384 0.568 false(reach) 8.338s 4.816s zeus24 305577984 606.8376068376068
product-lines/minepump_spec3_product35_false-unreach-call.cil.c false(reach) 5.657s 3.771s zeus13 225939456 0.377 0.571 false(reach) 11.358s 6.362s zeus08 318050304 678.5714285714286
product-lines/minepump_spec3_product36_false-unreach-call.cil.c false(reach) 5.461s 3.532s zeus07 230629376 0.382 0.571 false(reach) 9.082s 5.143s zeus13 305483776 666.6666666666666
product-lines/minepump_spec3_product39_false-unreach-call.cil.c false(reach) 5.843s 3.693s zeus20 232816640 0.391 0.595 false(reach) 8.896s 4.980s zeus16 311615488 591.6666666666666
product-lines/minepump_spec3_product40_false-unreach-call.cil.c false(reach) 5.866s 3.768s zeus10 228769792 0.396 0.595 false(reach) 8.568s 4.929s zeus24 309280768 577.2357723577236
product-lines/minepump_spec3_product43_false-unreach-call.cil.c false(reach) 5.577s 3.532s zeus03 234467328 0.388 0.583 false(reach) 9.781s 5.566s zeus04 305950720 649.5726495726497
product-lines/minepump_spec3_product44_false-unreach-call.cil.c false(reach) 5.533s 3.529s zeus02 228790272 0.393 0.583 false(reach) 8.592s 4.884s zeus24 309710848 628.099173553719
product-lines/minepump_spec3_product47_false-unreach-call.cil.c false(reach) 6.068s 3.828s zeus18 244826112 0.396 0.605 false(reach) 8.948s 5.109s zeus03 312090624 577.2357723577236
product-lines/minepump_spec3_product48_false-unreach-call.cil.c false(reach) 5.985s 3.787s zeus20 239009792 0.401 0.605 false(reach) 10.815s 6.086s zeus05 316006400 568.0
product-lines/minepump_spec3_product51_false-unreach-call.cil.c false(reach) 5.494s 3.569s zeus24 234594304 0.396 0.605 false(reach) 8.542s 4.987s zeus22 313257984 546.1538461538461
product-lines/minepump_spec3_product52_false-unreach-call.cil.c false(reach) 5.511s 3.572s zeus02 234029056 0.401 0.605 false(reach) 11.188s 6.408s zeus05 312000512 537.8787878787879
product-lines/minepump_spec3_product55_false-unreach-call.cil.c false(reach) 5.944s 3.788s zeus10 236658688 0.409 0.625 false(reach) 8.764s 4.899s zeus03 308195328 514.4927536231884
product-lines/minepump_spec3_product56_false-unreach-call.cil.c false(reach) 5.891s 3.772s zeus09 246259712 0.414 0.625 false(reach) 10.830s 6.093s zeus18 317571072 503.5460992907801
product-lines/minepump_spec3_product59_false-unreach-call.cil.c false(reach) 5.993s 3.792s zeus22 235401216 0.406 0.615 false(reach) 8.588s 4.840s zeus11 313073664 522.0588235294118
product-lines/minepump_spec3_product60_false-unreach-call.cil.c false(reach) 5.569s 3.560s zeus20 237023232 0.411 0.615 false(reach) 8.666s 4.933s zeus20 311513088 507.1428571428571
product-lines/minepump_spec3_product63_false-unreach-call.cil.c false(reach) 6.063s 3.888s zeus08 244150272 0.414 0.634 false(reach) 11.191s 6.278s zeus18 315408384 503.5460992907801
product-lines/minepump_spec3_product64_false-unreach-call.cil.c false(reach) 6.121s 3.954s zeus21 241573888 0.419 0.634 false(reach) 8.831s 4.861s zeus12 307097600 493.0555555555556
product-lines/minepump_spec3_productSimulator_false-unreach-call.cil.c false(reach) 7.699s 4.862s zeus09 282660864 0.466 0.681 false(reach) 12.103s 6.837s zeus02 341901312 545.9770114942529
product-lines/minepump_spec4_product33_false-unreach-call.cil.c false(reach) 6.196s 4.031s zeus08 257744896 0.355 0.545 false(reach) 9.334s 5.335s zeus05 306102272 757.5757575757576
product-lines/minepump_spec4_product34_false-unreach-call.cil.c false(reach) 6.430s 4.123s zeus03 262516736 0.361 0.545 false(reach) 9.387s 5.327s zeus02 306298880 725.4901960784314
product-lines/minepump_spec4_product35_false-unreach-call.cil.c false(reach) 6.661s 4.242s zeus11 262529024 0.367 0.559 false(reach) 10.609s 6.027s zeus24 304500736 761.9047619047618
product-lines/minepump_spec4_product36_false-unreach-call.cil.c false(reach) 6.577s 4.197s zeus15 262479872 0.372 0.559 false(reach) 10.164s 5.719s zeus11 302387200 750.0
product-lines/minepump_spec4_product37_false-unreach-call.cil.c false(reach) 6.839s 4.455s zeus11 277839872 0.378 0.571 false(reach) 12.670s 7.237s zeus12 328073216 675.438596491228
product-lines/minepump_spec4_product38_false-unreach-call.cil.c false(reach) 7.077s 4.563s zeus09 277037056 0.384 0.571 false(reach) 10.141s 5.755s zeus05 305676288 655.1724137931034
product-lines/minepump_spec4_product39_false-unreach-call.cil.c false(reach) 7.464s 4.702s zeus05 276361216 0.386 0.583 false(reach) 10.991s 6.286s zeus03 309854208 694.9152542372882
product-lines/minepump_spec4_product40_false-unreach-call.cil.c false(reach) 7.130s 4.588s zeus06 278953984 0.391 0.583 false(reach) 10.930s 6.193s zeus19 302694400 685.9504132231406
product-lines/minepump_spec4_product41_false-unreach-call.cil.c false(reach) 6.428s 4.181s zeus17 261332992 0.371 0.559 false(reach) 9.656s 5.515s zeus18 306905088 772.7272727272727
product-lines/minepump_spec4_product42_false-unreach-call.cil.c false(reach) 6.819s 4.333s zeus22 268197888 0.377 0.559 false(reach) 11.685s 6.694s zeus07 333692928 752.2123893805309
product-lines/minepump_spec4_product43_false-unreach-call.cil.c false(reach) 6.942s 4.441s zeus08 265506816 0.383 0.571 false(reach) 9.683s 5.503s zeus06 295899136 793.1034482758621
product-lines/minepump_spec4_product44_false-unreach-call.cil.c false(reach) 7.185s 4.604s zeus18 271785984 0.388 0.571 false(reach) 10.953s 6.134s zeus18 307171328 764.7058823529411
product-lines/minepump_spec4_product45_false-unreach-call.cil.c false(reach) 7.218s 4.645s zeus03 290004992 0.384 0.583 false(reach) 10.744s 6.054s zeus09 303886336 752.1367521367521
product-lines/minepump_spec4_product46_false-unreach-call.cil.c false(reach) 7.317s 4.693s zeus03 287551488 0.389 0.583 false(reach) 9.799s 5.570s zeus09 303054848 725.0
product-lines/minepump_spec4_product47_false-unreach-call.cil.c false(reach) 7.200s 4.670s zeus13 287338496 0.391 0.595 false(reach) 11.407s 6.413s zeus03 305799168 770.4918032786885
product-lines/minepump_spec4_product48_false-unreach-call.cil.c false(reach) 7.540s 4.877s zeus18 286334976 0.396 0.595 false(reach) 11.017s 6.364s zeus06 302936064 750.0
product-lines/minepump_spec4_productSimulator_false-unreach-call.cil.c false(reach) 13.912s 8.089s zeus02 401354752 0.463 0.674 rejected 7.831s 4.542s zeus01 294129664 0.0
systemc/kundu1_false-unreach-call_false-termination.cil.c false(reach) 10.707s 7.289s zeus24 374751232 0.969 1.000 false(reach) 17.507s 9.612s zeus11 349822976 647.0588235294118
systemc/kundu2_false-unreach-call_false-termination.cil.c false(reach) 8.988s 5.953s zeus02 324857856 0.981 1.000 false(reach) 15.986s 8.815s zeus22 354672640 619.7916666666666
systemc/pc_sfifo_1_false-unreach-call_false-termination.cil.c false(reach) 3.907s 2.544s zeus17 210120704 0.487 0.280 false(reach) 7.853s 4.688s zeus15 284684288 432.2033898305085
systemc/pc_sfifo_2_false-unreach-call_false-termination.cil.c false(reach) 4.232s 2.845s zeus03 219906048 0.646 0.588 false(reach) 12.549s 7.302s zeus19 326795264 605.6338028169014
systemc/pipeline_false-unreach-call_false-termination.cil.c false(reach) 827.023s 813.044s zeus22 808693760 0.998 1.000 false(reach) 362.281s 258.938s zeus23 6584225792 846.9945355191257
systemc/token_ring.01_false-unreach-call_false-termination.cil.c false(reach) 5.748s 3.771s zeus18 265998336 0.903 0.825 false(reach) 17.810s 9.885s zeus22 411062272 527.027027027027
systemc/token_ring.02_false-unreach-call_false-termination.cil.c false(reach) 7.225s 4.668s zeus14 300158976 0.911 0.836 false(reach) 20.815s 12.350s zeus18 475852800 572.1649484536082
systemc/token_ring.03_false-unreach-call_false-termination.cil.c false(reach) 7.593s 5.012s zeus08 342855680 0.917 0.843 false(reach) 30.950s 17.700s zeus01 750977024 558.3333333333334
systemc/token_ring.04_false-unreach-call_false-termination.cil.c false(reach) 9.448s 6.222s zeus07 400883712 0.921 0.847 false(reach) 41.456s 23.171s zeus22 787775488 573.4265734265734
systemc/token_ring.05_false-unreach-call_false-termination.cil.c false(reach) 11.132s 7.463s zeus19 474136576 0.924 0.850 false(reach) 45.975s 26.173s zeus22 827330560 548.1927710843374
systemc/token_ring.06_false-unreach-call_false-termination.cil.c false(reach) 13.259s 9.161s zeus14 553496576 0.926 0.852 false(reach) 54.239s 32.030s zeus01 1371217920 685.1851851851852
systemc/token_ring.07_false-unreach-call_false-termination.cil.c false(reach) 17.593s 12.535s zeus08 652111872 0.928 0.854 false(reach) 67.425s 41.562s zeus05 1406828544 691.0377358490566
systemc/token_ring.08_false-unreach-call_false-termination.cil.c false(reach) 23.594s 18.431s zeus23 661786624 0.929 0.855 false(reach) 70.066s 43.806s zeus01 1788665856 695.7446808510638
systemc/token_ring.09_false-unreach-call_false-termination.cil.c false(reach) 38.687s 32.682s zeus24 680108032 0.930 0.856 false(reach) 80.106s 52.325s zeus18 2505330688 699.6124031007752
systemc/token_ring.10_false-unreach-call_false-termination.cil.c false(reach) 79.335s 71.930s zeus16 739721216 0.931 0.857 false(reach) 87.882s 59.438s zeus12 2546978816 702.846975088968
systemc/token_ring.11_false-unreach-call_false-termination.cil.c false(reach) 141.751s 133.534s zeus01 763125760 0.932 0.858 false(reach) 107.590s 76.013s zeus09 3784757248 705.5921052631578
systemc/token_ring.12_false-unreach-call_false-termination.cil.c false(reach) 314.598s 303.417s zeus09 781021184 0.933 0.859 false(reach) 113.242s 81.073s zeus09 3861508096 707.9510703363915
systemc/token_ring.13_false-unreach-call_false-termination.cil.c false(reach) 519.338s 508.187s zeus15 785985536 0.933 0.859 false(reach) 122.662s 90.180s zeus17 3981500416 710.0
systemc/token_ring.14_false-unreach-call_false-termination.cil.c false(reach) 469.089s 458.173s zeus11 794910720 0.932 0.857 false(reach) 121.538s 88.732s zeus20 3880615936 713.1901840490798
systemc/token_ring.15_false-unreach-call_false-termination.cil.c false(reach) 770.434s 759.530s zeus01 846626816 0.933 0.858 false(reach) 121.516s 88.889s zeus13 3966205952 714.8997134670487
systemc/toy1_false-unreach-call_false-termination.cil.c false(reach) 14.043s 9.178s zeus22 425922560 0.994 1.000 false(reach) 34.908s 18.382s zeus11 614223872 625.4826254826255
systemc/toy2_false-unreach-call_false-termination.cil.c false(reach) 10.435s 6.669s zeus14 351703040 0.994 1.000 false(reach) 34.844s 18.456s zeus20 540033024 675.78125
systemc/transmitter.01_false-unreach-call_false-termination.cil.c false(reach) 4.699s 3.149s zeus16 233046016 0.900 0.806 false(reach) 13.672s 7.788s zeus13 334606336 568.0
systemc/transmitter.02_false-unreach-call_false-termination.cil.c false(reach) 6.079s 3.939s zeus07 272261120 0.909 0.826 false(reach) 20.682s 11.605s zeus12 485437440 582.3529411764706
systemc/transmitter.03_false-unreach-call_false-termination.cil.c false(reach) 7.182s 4.646s zeus11 314261504 0.916 0.836 false(reach) 20.885s 12.327s zeus05 488718336 613.953488372093
systemc/transmitter.04_false-unreach-call_false-termination.cil.c false(reach) 8.073s 5.272s zeus22 362340352 0.920 0.842 false(reach) 32.754s 18.525s zeus19 771899392 588.4615384615385
systemc/transmitter.05_false-unreach-call_false-termination.cil.c false(reach) 9.611s 6.227s zeus17 418672640 0.923 0.846 false(reach) 41.193s 23.649s zeus19 806793216 573.7704918032787
systemc/transmitter.06_false-unreach-call_false-termination.cil.c false(reach) 10.706s 6.868s zeus10 497311744 0.925 0.849 false(reach) 49.131s 27.810s zeus08 1033809920 728.5714285714286
systemc/transmitter.07_false-unreach-call_false-termination.cil.c false(reach) 12.362s 8.175s zeus03 630296576 0.927 0.851 false(reach) 80.520s 51.781s zeus04 1399906304 731.6455696202531
systemc/transmitter.08_false-unreach-call_false-termination.cil.c false(reach) 13.800s 9.078s zeus23 666599424 0.928 0.853 false(reach) 68.943s 42.170s zeus16 1397944320 734.0909090909091
systemc/transmitter.09_false-unreach-call_false-termination.cil.c false(reach) 15.451s 10.338s zeus12 674873344 0.930 0.854 false(reach) 74.096s 46.033s zeus01 2338623488 736.0824742268042
systemc/transmitter.10_false-unreach-call_false-termination.cil.c false(reach) 17.597s 12.221s zeus08 684195840 0.931 0.855 false(reach) 81.111s 53.918s zeus22 2501316608 737.7358490566037
systemc/transmitter.11_false-unreach-call_false-termination.cil.c false(reach) 23.205s 15.972s zeus18 734576640 0.931 0.856 false(reach) 88.381s 60.165s zeus13 2543566848 739.1304347826086
systemc/transmitter.12_false-unreach-call_false-termination.cil.c false(reach) 23.115s 16.101s zeus11 760549376 0.932 0.857 false(reach) 109.010s 77.218s zeus10 3879235584 740.3225806451613
systemc/transmitter.13_false-unreach-call_false-termination.cil.c false(reach) 28.503s 20.088s zeus16 775618560 0.933 0.858 false(reach) 127.489s 93.322s zeus08 3965153280 741.3533834586467
systemc/transmitter.15_false-unreach-call_false-termination.cil.c false(reach) 7.605s 4.873s zeus18 323502080 0.701 0.621 false(reach) 48.257s 30.648s zeus06 1329491968 569.9248120300751
systemc/transmitter.16_false-unreach-call_false-termination.cil.c false(reach) 8.865s 5.434s zeus22 374718464 0.700 0.619 false(reach) 62.819s 39.378s zeus05 1368039424 578.5007072135785
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.BOUNDED-10.pals.c false(reach) 7.218s 4.740s zeus16 304259072 1.000 1.000 false(reach) 22.853s 13.978s zeus21 512557056 680.7909604519774
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(reach) 7.475s 4.829s zeus16 301367296 1.000 1.000 false(reach) 22.352s 13.294s zeus18 480919552 682.7195467422096
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_1.ufo.BOUNDED-10.pals.c false(reach) 38.747s 34.863s zeus07 501575680 1.000 1.000 false(reach) 36.365s 22.206s zeus11 807399424 683.7606837606837
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_1.ufo.UNBOUNDED.pals.c false(reach) 38.535s 34.497s zeus01 500379648 1.000 1.000 false(reach) 32.552s 19.504s zeus24 764420096 682.8571428571428
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_2.ufo.BOUNDED-10.pals.c false(reach) 37.138s 33.054s zeus06 500645888 1.000 1.000 false(reach) 28.283s 17.160s zeus19 717692928 686.4406779661016
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_2.ufo.UNBOUNDED.pals.c false(reach) 35.858s 32.067s zeus08 488861696 1.000 1.000 false(reach) 25.585s 15.008s zeus19 519286784 685.5524079320113
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.BOUNDED-10.pals.c false(reach) 58.559s 46.921s zeus02 988520448 1.000 1.000 false(reach) 25.388s 13.830s zeus14 549916672 711.038961038961
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(reach) 47.517s 35.463s zeus09 778358784 1.000 1.000 false(reach) 26.888s 14.457s zeus06 548425728 706.8403908794788
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c false(reach) 81.433s 77.390s zeus03 653533184 1.000 1.000 false(reach) 59.060s 41.767s zeus11 1311805440 678.4452296819788
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(reach) 80.231s 76.387s zeus05 659189760 1.000 1.000 false(reach) 47.917s 33.437s zeus13 1313722368 677.3049645390071
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals.c false(reach) 14.431s 11.089s zeus07 416948224 1.000 1.000 false(reach) 19.770s 11.292s zeus12 474791936 664.3598615916954
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(reach) 14.465s 11.131s zeus21 413384704 1.000 1.000 false(reach) 21.212s 12.768s zeus04 481955840 663.1944444444445
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals.c false(reach) 84.357s 80.296s zeus24 656650240 1.000 1.000 false(reach) 76.450s 56.620s zeus02 1861951488 664.3598615916954
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c false(reach) 862.613s 856.760s zeus08 725745664 1.000 1.000 false(reach) 42.264s 29.450s zeus22 846319616 663.1944444444445
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c false(reach) 80.890s 76.978s zeus19 652853248 1.000 1.000 false(reach) 64.422s 48.314s zeus04 1307045888 663.1944444444445
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c false(reach) 21.936s 17.873s zeus12 647983104 1.000 1.000 false(reach) 61.370s 45.901s zeus15 1304969216 654.0880503144654
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(reach) 24.457s 20.466s zeus23 645832704 1.000 1.000 false(reach) 15.444s 8.657s zeus19 357425152 651.8987341772153
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.BOUNDED-6.pals.c false(reach) 58.519s 54.650s zeus03 688148480 1.000 1.000 false(reach) 18.148s 10.327s zeus15 354582528 666.6666666666666
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(reach) 44.874s 40.804s zeus20 682508288 1.000 1.000 false(reach) 17.081s 9.565s zeus05 357638144 664.516129032258
seq-mthreaded/pals_lcr.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c false(reach) 9.930s 6.624s zeus11 368238592 1.000 1.000 false(reach) 17.513s 9.690s zeus21 341377024 675.8620689655172
seq-mthreaded/pals_lcr.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(reach) 16.942s 13.466s zeus16 627802112 1.000 1.000 false(reach) 21.343s 12.884s zeus04 485380096 673.6111111111112
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals.c false(reach) 35.590s 32.253s zeus03 613146624 1.000 1.000 false(reach) 33.210s 21.406s zeus20 756588544 651.7571884984026
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(reach) 70.695s 67.167s zeus17 642433024 1.000 1.000 false(reach) 35.769s 23.823s zeus09 784486400 650.6410256410256
seq-pthread/cs_lazy_false-unreach-call.i false(reach) 197.406s 193.200s zeus06 673267712 0.930 0.848 false(reach) 22.590s 13.390s zeus15 462516224 594.4055944055943
seq-pthread/cs_read_write_lock_false-unreach-call.i false(reach) 893.664s 888.530s zeus08 866672640 0.843 0.606 rejected 10.475s 5.887s zeus18 297222144 0.0
seq-pthread/cs_stack_false-unreach-call.i false(reach) 38.635s 32.943s zeus21 528609280 0.944 0.861 unknown 5.767s 3.424s zeus05 216616960 -
seq-pthread/cs_dekker_true-unreach-call.i false(reach) 30.874s 27.770s zeus12 405897216 0.783 0.475 rejected 9.755s 5.555s zeus22 297373696 0.0
seq-pthread/cs_lamport_true-unreach-call.i false(reach) 32.807s 29.883s zeus21 417865728 0.692 0.355 rejected 9.712s 5.568s zeus10 290869248 0.0
seq-pthread/cs_peterson_true-unreach-call.i false(reach) 27.031s 24.096s zeus24 402690048 0.830 0.524 rejected 9.187s 5.233s zeus22 293400576 0.0
seq-pthread/cs_read_write_lock_true-unreach-call.i false(reach) 858.395s 853.349s zeus12 875794432 0.845 0.614 rejected 10.509s 5.869s zeus16 299356160 0.0
seq-pthread/cs_stateful_true-unreach-call.i false(reach) 57.327s 53.375s zeus23 523247616 0.932 0.847 false(reach) 21.244s 12.284s zeus09 486146048 472.97297297297297
seq-pthread/cs_szymanski_true-unreach-call.i false(reach) 29.938s 27.002s zeus14 417906688 0.748 0.390 rejected 9.383s 5.301s zeus20 296796160 0.0
ntdrivers/diskperf_false-unreach-call.i.cil.c false(reach) 15.088s 10.689s zeus14 460374016 0.835 0.652 unknown 15.080s 8.663s zeus09 337633280 233.0508474576271
ntdrivers/floppy_false-unreach-call.i.cil.c false(reach) 23.017s 15.288s zeus09 660373504 0.554 0.377 unknown 6.969s 3.933s zeus05 233218048 -
ntdrivers/kbfiltr_false-unreach-call.i.cil.c false(reach) 8.771s 5.590s zeus10 308776960 0.898 0.797 rejected 11.096s 6.593s zeus24 327999488 0.0
ssh/s3_clnt.blast.01_false-unreach-call.i.cil.c false(reach) 11.871s 7.589s zeus23 371679232 0.988 0.966 rejected 13.540s 7.854s zeus04 342581248 305.08474576271186
ssh/s3_clnt.blast.02_false-unreach-call.i.cil.c false(reach) 11.055s 6.955s zeus13 364437504 0.988 0.966 unknown 25.475s 19.837s zeus07 368021504 306.3583815028902
ssh/s3_clnt.blast.03_false-unreach-call.i.cil.c false(reach) 10.566s 6.719s zeus23 337465344 0.988 0.966 rejected 12.838s 7.364s zeus18 339406848 312.1387283236994
ssh/s3_clnt.blast.04_false-unreach-call.i.cil.c false(reach) 9.368s 6.045s zeus05 321175552 0.988 0.966 rejected 13.535s 7.726s zeus10 334606336 312.1387283236994
ssh/s3_srvr.blast.01_false-unreach-call.i.cil.c false(reach) 8.295s 5.301s zeus03 310857728 0.980 0.950 false(reach) 16.641s 9.646s zeus09 346005504 315.0
ssh/s3_srvr.blast.02_false-unreach-call.i.cil.c false(reach) 8.024s 5.086s zeus02 309358592 0.980 0.950 false(reach) 15.780s 9.162s zeus06 339492864 326.53061224489795
ssh/s3_srvr.blast.03_false-unreach-call.i.cil.c false(reach) 8.063s 5.115s zeus20 303304704 0.980 0.950 false(reach) 17.692s 10.677s zeus12 343642112 326.53061224489795
ssh/s3_srvr.blast.04_false-unreach-call.i.cil.c false(reach) 8.496s 5.400s zeus07 313839616 0.980 0.950 false(reach) 28.366s 21.545s zeus20 340217856 331.63265306122446
ssh/s3_srvr.blast.06_false-unreach-call.i.cil.c false(reach) 14.300s 8.993s zeus19 433852416 0.981 0.957 unknown 76.134s 59.062s zeus06 1411850240 283.8427947598253
ssh/s3_srvr.blast.07_false-unreach-call.i.cil.c false(reach) 10.653s 6.784s zeus02 363208704 0.980 0.953 unknown 76.908s 59.914s zeus11 1470099456 317.0731707317073
ssh/s3_srvr.blast.08_false-unreach-call.i.cil.c false(reach) 16.513s 10.683s zeus08 508424192 0.980 0.953 unknown 24.705s 19.603s zeus11 432959488 314.0096618357488
ssh/s3_srvr.blast.09_false-unreach-call.i.cil.c false(reach) 10.296s 6.705s zeus23 375316480 0.980 0.953 unknown 24.981s 19.517s zeus08 354246656 317.0731707317073
ssh/s3_srvr.blast.10_false-unreach-call.i.cil.c false(reach) 15.999s 10.286s zeus10 490844160 0.980 0.951 unknown 35.072s 26.347s zeus15 571265024 323.38308457711446
ssh/s3_srvr.blast.11_false-unreach-call.i.cil.c false(reach) 9.827s 6.186s zeus12 334127104 0.980 0.953 false(reach) 32.532s 25.797s zeus21 350150656 317.0731707317073
ssh/s3_srvr.blast.12_false-unreach-call.i.cil.c false(reach) 11.508s 7.321s zeus11 371777536 0.980 0.954 false(reach) 23.270s 15.545s zeus03 432209920 303.3175355450237
ssh/s3_srvr.blast.13_false-unreach-call.i.cil.c false(reach) 10.165s 6.614s zeus06 360615936 0.980 0.953 unknown 78.991s 62.120s zeus23 1460281344 317.0731707317073
ssh/s3_srvr.blast.14_false-unreach-call.i.cil.c false(reach) 11.036s 7.160s zeus04 378736640 0.980 0.955 unknown 26.993s 20.551s zeus18 404733952 299.5391705069124
ssh/s3_srvr.blast.15_false-unreach-call.i.cil.c false(reach) 16.812s 11.043s zeus01 496476160 0.980 0.954 unknown 33.000s 24.861s zeus11 537059328 300.46948356807513
ssh/s3_srvr.blast.16_false-unreach-call.i.cil.c false(reach) 10.469s 6.795s zeus19 378314752 0.981 0.956 unknown 29.228s 21.758s zeus12 510341120 291.4798206278027
../../sv-benchmarks/c/ status cputime walltime host memUsage Line coverage Condition coverage status cputime walltime host memUsage LineCoverage
total tasks 634 39344.340 34425.289 - 670999031808 480.236 468.542 634 42944.662 27696.153 - 743386099712 191111.204395714533900
    correct results 596 36706.258 32031.986 - 649416404992 448.683 442.585 418 34626.011 20919.882 - 637102583808 174287.957255670504142
        correct true 0 - - - - - - 0 - - - - -
        correct false 596 36706.258 32031.986 - 649416404992 448.683 442.585 418 34626.011 20919.882 - 637102583808 174287.957255670504142
    incorrect results 38 2638.082 2393.304 - 21582626816 31.553 25.957 1 21.244 12.284 - 486146048 472.97297297297297
        incorrect true 0 - - - - - - 0 - - - - -
        incorrect false 38 2638.082 2393.304 - 21582626816 31.553 25.957 1 21.244 12.284 - 486146048 472.97297297297297
score (634 tasks, max score: 672) 368 - - - - - - 412 - - - - -
Run set Predicate (LA) Verification UltimateAutomizer Validation