Tool CPAchecker 1.4-svn 17283M
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-12 13:43:32 CEST
Run set Predicate (LA) Verification Predicate (LA) 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 -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 analysis.traversal.byAutomatonVariable=__DISTANCE_TO_VIOLATION -setprop cpa.automaton.treatErrorsAsTargets=false -setprop WitnessAutomaton.cpa.automaton.treatErrorsAsTargets=true -setprop parser.transformTokensToLines=false -setprop spec.matchOriginLine=true -setprop spec.matchOffset=true -setprop spec.matchAssumeCase=true -setprop spec.matchSourcecodeData=false -setprop spec.strictMatching=false -setprop cpa.composite.inCPAEnabledAnalysis=true -skipRecursion -spec test/results/cpachecker-predicate-generate-witnesses.2015-07-12_1151.logfiles/Predicate.${sourcefile_name}.files/workspace/CPAchecker/output/witness.graphml
../../sv-benchmarks/c/ status cputime walltime host memUsage Line coverage Condition coverage status cputime walltime host memUsage Line coverage Condition coverage
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) 9.349s 5.471s zeus23 342790144 0.131 0.174
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) 28.275s 19.497s zeus22 695758848 0.565 0.589
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) 40.757s 30.206s zeus09 784572416 0.411 0.424
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) 8.336s 5.260s zeus24 293576704 0.338 0.242
ssh-simplified/s3_clnt_1_false-unreach-call.cil.c false(reach) 9.816s 6.394s zeus07 333021184 0.993 0.989 false(reach) 9.059s 5.595s zeus18 292507648 0.990 0.414
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) 9.077s 5.352s zeus08 313380864 0.990 0.494
ssh-simplified/s3_clnt_3_false-unreach-call.cil.c false(reach) 10.578s 6.861s zeus23 348958720 0.993 0.989 false(reach) 9.734s 5.811s zeus07 314851328 0.991 0.471
ssh-simplified/s3_clnt_4_false-unreach-call.cil.c false(reach) 9.458s 6.187s zeus01 315383808 0.993 0.989 false(reach) 8.765s 5.426s zeus24 298418176 0.989 0.414
ssh-simplified/s3_srvr_10_false-unreach-call.cil.c false(reach) 5.172s 3.365s zeus04 246403072 0.993 0.990 false(reach) 6.727s 4.027s zeus23 246448128 0.989 0.196
ssh-simplified/s3_srvr_11_false-unreach-call.cil.c false(reach) 145.320s 137.655s zeus12 747700224 0.993 0.991 false(reach) 8.370s 5.163s zeus10 298172416 0.991 0.528
ssh-simplified/s3_srvr_12_false-unreach-call.cil.c false(reach) 91.964s 85.189s zeus17 720621568 0.993 0.992 false(reach) 8.084s 4.899s zeus06 293158912 0.990 0.439
ssh-simplified/s3_srvr_13_false-unreach-call.cil.c false(reach) 12.596s 8.003s zeus04 378261504 0.993 0.991 false(reach) 7.629s 4.553s zeus11 284680192 0.990 0.394
ssh-simplified/s3_srvr_14_false-unreach-call.cil.c false(reach) 7.146s 4.617s zeus01 280862720 0.993 0.991 false(reach) 6.694s 4.026s zeus07 258265088 0.990 0.287
ssh-simplified/s3_srvr_1_false-unreach-call.cil.c false(reach) 7.972s 5.146s zeus08 307867648 0.993 0.990 false(reach) 7.277s 4.345s zeus08 271364096 0.989 0.500
ssh-simplified/s3_srvr_2_false-unreach-call.cil.c false(reach) 8.611s 5.570s zeus24 322531328 0.992 0.990 false(reach) 7.871s 4.969s zeus18 283041792 0.990 0.531
ssh-simplified/s3_srvr_6_false-unreach-call.cil.c false(reach) 4.837s 3.108s zeus18 225808384 0.993 0.526 false(reach) 6.324s 3.790s zeus23 246235136 0.086 0.026
locks/test_locks_14_false-unreach-call.c false(reach) 4.262s 2.822s zeus13 223502336 0.985 1.000 false(reach) 5.567s 3.630s zeus10 228274176 0.985 0.791
locks/test_locks_15_false-unreach-call.c false(reach) 4.304s 2.953s zeus06 221122560 0.986 1.000 false(reach) 5.361s 3.420s zeus17 223481856 0.986 0.391
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 false(reach) 48.965s 25.063s zeus19 1406111744 0.172 0.002
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 false(reach) 16.603s 9.480s zeus02 663670784 0.639 0.153
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 false(reach) 17.020s 9.555s zeus14 679264256 0.518 0.102
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 false(reach) 29.419s 15.685s zeus01 772300800 0.393 0.019
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 false(reach) 17.885s 10.178s zeus17 680386560 0.549 0.116
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 false(reach) 17.445s 9.814s zeus18 654987264 0.683 0.072
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 false(reach) 11.865s 7.206s zeus05 466706432 0.947 0.660
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 false(reach) 13.384s 7.643s zeus06 554086400 0.823 0.414
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 false(reach) 16.470s 9.449s zeus14 656064512 0.705 0.118
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 false(reach) 13.700s 7.931s zeus10 609120256 0.835 0.264
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 false(reach) 14.967s 8.643s zeus21 631750656 0.821 0.264
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 false(reach) 11.749s 7.037s zeus22 518160384 0.784 0.234
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 false(reach) 12.542s 7.178s zeus16 492183552 0.713 0.128
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 false(reach) 18.359s 10.526s zeus17 714702848 0.819 0.430
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 false(reach) 24.919s 13.403s zeus13 715579392 0.279 0.052
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 false(reach) 43.499s 27.743s zeus22 1533960192 0.505 0.007
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 false(reach) 13.956s 7.864s zeus09 644841472 0.619 0.308
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 false(reach) 17.153s 9.987s zeus11 697323520 0.456 0.083
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 false(reach) 20.375s 11.161s zeus02 671461376 0.209 0.027
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 false(reach) 19.676s 10.835s zeus08 688197632 0.524 0.123
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 false(reach) 45.259s 24.542s zeus02 1581248512 0.112 0.013
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 false(reach) 38.290s 20.988s zeus14 823144448 0.280 0.015
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 false(reach) 12.512s 7.183s zeus13 542212096 0.673 0.091
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 false(reach) 26.999s 14.618s zeus11 749944832 0.258 0.043
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 false(reach) 18.525s 10.665s zeus04 699817984 0.639 0.333
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 false(reach) 16.914s 9.461s zeus16 670048256 0.682 0.118
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 false(reach) 24.246s 13.467s zeus24 745725952 0.604 0.043
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 false(reach) 47.437s 25.687s zeus24 1409564672 0.188 0.011
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 false(reach) 20.351s 11.116s zeus20 679895040 0.579 0.038
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 false(reach) 30.543s 16.599s zeus08 1172307968 0.262 0.008
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 false(reach) 17.237s 9.391s zeus12 678125568 0.649 0.032
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 false(reach) 11.152s 6.486s zeus20 440037376 0.814 0.092
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 false(reach) 11.165s 6.548s zeus17 434372608 0.814 0.092
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 false(reach) 7.087s 4.371s zeus16 292356096 0.838 0.517
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 false(reach) 15.255s 8.558s zeus15 663048192 0.610 0.095
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 false(reach) 12.794s 7.356s zeus20 560951296 0.717 0.151
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 false(reach) 7.476s 4.428s zeus04 317124608 0.733 0.040
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 false(reach) 9.446s 5.534s zeus21 371687424 0.607 0.032
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 false(reach) 11.008s 6.357s zeus07 443760640 0.516 0.020
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 false(reach) 8.035s 4.958s zeus24 312328192 0.771 0.056
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 false(reach) 10.472s 5.913s zeus23 425992192 0.660 0.023
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 false(reach) 15.261s 9.088s zeus09 634109952 0.825 0.073
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 false(reach) 21.282s 11.850s zeus13 676814848 0.566 0.039
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 false(reach) 15.872s 8.829s zeus04 677437440 0.669 0.089
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 false(reach) 15.103s 8.421s zeus09 658305024 0.734 0.071
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 false(reach) 60.288s 31.666s zeus09 1552556032 0.168 0.038
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 timeout 1001.375s 749.465s zeus03 14207025152 - -
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 false(reach) 24.529s 15.178s zeus07 728780800 0.697 0.288
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 false(reach) 12.822s 7.503s zeus06 536338432 0.696 0.142
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 false(reach) 31.638s 17.483s zeus01 1139093504 0.375 0.019
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 false(reach) 12.153s 6.981s zeus11 484110336 0.771 0.103
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 false(reach) 35.070s 19.528s zeus21 1364078592 0.391 0.052
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 false(reach) 24.293s 13.229s zeus12 734531584 0.490 0.049
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 false(reach) 52.193s 26.968s zeus04 1052495872 0.151 0.013
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 false(reach) 40.677s 22.309s zeus08 1382785024 0.316 0.043
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 false(reach) 15.258s 8.600s zeus09 649609216 0.484 0.062
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 false(reach) 12.105s 7.033s zeus02 499552256 0.738 0.138
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 false(reach) 10.129s 5.842s zeus07 410988544 0.960 0.397
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 false(reach) 14.932s 8.666s zeus18 641183744 0.896 0.311
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 false(reach) 12.942s 7.388s zeus12 522858496 0.945 0.364
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 false(reach) 16.719s 9.632s zeus18 655757312 0.808 0.195
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 false(reach) 15.475s 8.619s zeus19 652124160 0.854 0.292
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 timeout 912.027s 890.872s zeus10 9412018176 - -
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 false(reach) 12.850s 7.497s zeus06 517132288 0.950 0.267
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 false(reach) 12.419s 6.981s zeus04 512970752 0.964 0.364
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 24.194s 13.497s zeus15 693080064 0.979 0.884
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 false(reach) 12.665s 7.183s zeus18 526860288 0.953 0.462
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 false(reach) 14.659s 8.225s zeus02 665194496 0.812 0.205
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 false(reach) 17.034s 9.446s zeus24 678084608 0.889 0.199
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 false(reach) 16.968s 9.606s zeus09 674480128 0.848 0.241
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 121.712s 99.165s zeus02 5477249024 0.981 0.947
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 false(reach) 14.500s 8.050s zeus19 679362560 0.849 0.163
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 20.554s 11.293s zeus19 649531392 0.726 0.088
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 false(reach) 59.187s 43.612s zeus04 1403949056 0.988 0.952
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 false(reach) 18.025s 10.165s zeus23 678293504 0.804 0.065
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 false(reach) 14.846s 8.901s zeus06 629923840 0.838 0.356
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 false(reach) 13.755s 7.902s zeus23 629940224 0.692 0.107
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 false(reach) 12.533s 7.033s zeus16 507609088 0.965 0.589
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 false(reach) 12.756s 7.198s zeus10 500854784 0.968 0.593
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 false(reach) 26.216s 13.991s zeus01 697958400 0.405 0.046
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 false(reach) 31.809s 17.909s zeus08 939163648 0.542 0.049
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 false(reach) 19.085s 11.064s zeus22 663547904 0.687 0.100
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 false(reach) 14.975s 8.464s zeus19 652705792 0.715 0.145
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 false(reach) 14.383s 8.215s zeus12 633470976 0.878 0.264
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 false(reach) 11.848s 7.129s zeus14 498450432 0.916 0.081
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 false(reach) 15.619s 8.842s zeus21 667107328 0.708 0.040
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 false(reach) 10.006s 5.876s zeus06 378748928 0.805 0.211
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 30.384s 17.182s zeus03 773025792 0.871 0.718
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 false(reach) 8.260s 5.485s zeus10 312741888 0.831 0.585
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 false(reach) 12.354s 7.240s zeus20 506195968 0.973 0.282
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 false(reach) 12.065s 7.050s zeus05 508211200 0.973 0.282
eca-rers2012/Problem01_label15_false-unreach-call.c false(reach) 18.711s 10.750s zeus07 672444416 1.000 1.000 false(reach) 13.474s 7.480s zeus22 411684864 0.242 0.252
eca-rers2012/Problem01_label20_false-unreach-call.c false(reach) 21.757s 12.463s zeus15 728551424 1.000 1.000 false(reach) 13.057s 7.490s zeus12 424185856 0.242 0.289
eca-rers2012/Problem01_label21_false-unreach-call.c false(reach) 19.268s 11.313s zeus07 695406592 1.000 1.000 false(reach) 13.570s 7.556s zeus02 420274176 0.246 0.302
eca-rers2012/Problem01_label32_false-unreach-call.c false(reach) 20.463s 12.027s zeus03 692989952 1.000 1.000 false(reach) 12.527s 6.969s zeus15 424849408 0.246 0.264
eca-rers2012/Problem01_label33_false-unreach-call.c false(reach) 20.220s 11.817s zeus24 692432896 1.000 1.000 false(reach) 13.357s 7.433s zeus06 410877952 0.244 0.258
eca-rers2012/Problem01_label35_false-unreach-call.c false(reach) 18.791s 10.819s zeus09 678756352 1.000 1.000 false(reach) 14.105s 7.835s zeus01 406720512 0.240 0.242
eca-rers2012/Problem01_label37_false-unreach-call.c false(reach) 20.106s 11.680s zeus11 722853888 1.000 1.000 false(reach) 13.226s 7.662s zeus24 423616512 0.238 0.290
eca-rers2012/Problem01_label38_false-unreach-call.c false(reach) 19.496s 11.336s zeus15 686104576 1.000 1.000 false(reach) 13.651s 7.733s zeus17 422735872 0.244 0.278
eca-rers2012/Problem01_label44_false-unreach-call.c false(reach) 17.868s 10.308s zeus01 573198336 1.000 1.000 false(reach) 14.059s 7.702s zeus17 399532032 0.232 0.253
eca-rers2012/Problem01_label47_false-unreach-call.c false(reach) 20.713s 12.425s zeus09 711966720 1.000 1.000 false(reach) 13.960s 7.743s zeus14 420274176 0.244 0.272
eca-rers2012/Problem01_label50_false-unreach-call.c false(reach) 19.024s 11.119s zeus17 691126272 1.000 1.000 false(reach) 13.289s 7.762s zeus14 399781888 0.238 0.236
eca-rers2012/Problem01_label56_false-unreach-call.c false(reach) 19.434s 11.687s zeus07 704897024 1.000 1.000 false(reach) 14.252s 7.967s zeus18 421715968 0.246 0.268
eca-rers2012/Problem01_label57_false-unreach-call.c false(reach) 20.511s 12.171s zeus17 713777152 1.000 1.000 false(reach) 13.496s 7.681s zeus02 423534592 0.248 0.306
eca-rers2012/Problem02_label13_false-unreach-call.c false(reach) 12.735s 7.772s zeus23 471937024 1.000 1.000 false(reach) 11.413s 6.516s zeus21 368091136 0.233 0.245
eca-rers2012/Problem02_label16_false-unreach-call.c false(reach) 13.010s 7.816s zeus16 429449216 1.000 1.000 false(reach) 10.492s 6.017s zeus03 356306944 0.235 0.170
eca-rers2012/Problem02_label43_false-unreach-call.c false(reach) 13.461s 8.061s zeus07 449155072 1.000 1.000 false(reach) 11.018s 6.355s zeus22 350879744 0.227 0.216
eca-rers2012/Problem02_label44_false-unreach-call.c false(reach) 15.812s 9.106s zeus19 501174272 1.000 1.000 false(reach) 11.488s 6.628s zeus12 370921472 0.233 0.258
eca-rers2012/Problem02_label45_false-unreach-call.c false(reach) 17.967s 10.562s zeus18 645922816 1.000 1.000 false(reach) 13.324s 7.743s zeus06 402726912 0.227 0.277
eca-rers2012/Problem02_label50_false-unreach-call.c false(reach) 17.366s 10.021s zeus14 580399104 1.000 1.000 false(reach) 13.537s 7.607s zeus09 393134080 0.223 0.282
eca-rers2012/Problem02_label59_false-unreach-call.c false(reach) 17.950s 10.261s zeus14 643858432 1.000 1.000 false(reach) 13.814s 7.761s zeus14 405364736 0.227 0.301
eca-rers2012/Problem03_label09_false-unreach-call.c false(reach) 35.542s 22.621s zeus12 1056022528 1.000 1.000 false(reach) 20.783s 11.630s zeus19 648855552 0.149 0.354
eca-rers2012/Problem03_label13_false-unreach-call.c false(reach) 31.973s 19.779s zeus18 839020544 1.000 1.000 false(reach) 19.874s 11.206s zeus06 639135744 0.152 0.341
eca-rers2012/Problem03_label26_false-unreach-call.c false(reach) 29.818s 17.791s zeus16 826474496 1.000 1.000 false(reach) 19.474s 10.586s zeus11 657379328 0.147 0.299
eca-rers2012/Problem03_label27_false-unreach-call.c false(reach) 32.641s 19.582s zeus05 854151168 1.000 1.000 false(reach) 21.626s 12.096s zeus15 636719104 0.149 0.324
eca-rers2012/Problem03_label28_false-unreach-call.c false(reach) 32.267s 19.763s zeus11 853504000 1.000 1.000 false(reach) 19.953s 11.012s zeus01 628629504 0.149 0.323
eca-rers2012/Problem03_label31_false-unreach-call.c false(reach) 35.099s 21.302s zeus14 851218432 1.000 1.000 false(reach) 21.072s 11.695s zeus19 635879424 0.147 0.341
eca-rers2012/Problem03_label35_false-unreach-call.c false(reach) 34.340s 22.375s zeus21 872116224 1.000 1.000 false(reach) 20.899s 11.770s zeus01 646451200 0.148 0.367
eca-rers2012/Problem03_label37_false-unreach-call.c false(reach) 29.085s 17.803s zeus02 851251200 1.000 1.000 false(reach) 19.189s 10.828s zeus14 658620416 0.145 0.288
eca-rers2012/Problem03_label39_false-unreach-call.c false(reach) 35.217s 22.326s zeus16 878882816 1.000 1.000 false(reach) 22.644s 12.425s zeus07 651034624 0.149 0.350
eca-rers2012/Problem03_label43_false-unreach-call.c false(reach) 32.774s 20.229s zeus09 830767104 1.000 1.000 false(reach) 18.510s 10.239s zeus08 660094976 0.149 0.275
eca-rers2012/Problem03_label45_false-unreach-call.c false(reach) 36.313s 23.496s zeus04 890179584 1.000 1.000 false(reach) 22.998s 12.691s zeus03 652177408 0.147 0.368
eca-rers2012/Problem03_label50_false-unreach-call.c false(reach) 31.989s 20.415s zeus16 843255808 1.000 1.000 false(reach) 20.586s 11.594s zeus18 647004160 0.149 0.340
eca-rers2012/Problem03_label52_false-unreach-call.c false(reach) 35.502s 22.773s zeus21 855945216 1.000 1.000 false(reach) 21.338s 11.873s zeus08 651915264 0.147 0.355
eca-rers2012/Problem04_label04_false-unreach-call.c false(reach) 295.854s 272.206s zeus03 5921636352 1.000 1.000 false(reach) 43.336s 24.290s zeus17 1593327616 0.184 0.442
eca-rers2012/Problem04_label06_false-unreach-call.c false(reach) 186.359s 162.985s zeus19 5826822144 1.000 1.000 false(reach) 40.517s 23.174s zeus01 1623748608 0.184 0.455
eca-rers2012/Problem04_label09_false-unreach-call.c false(reach) 154.113s 132.445s zeus04 5306564608 1.000 1.000 false(reach) 43.258s 23.777s zeus03 1591152640 0.184 0.440
eca-rers2012/Problem04_label11_false-unreach-call.c false(reach) 273.228s 249.840s zeus18 6087716864 1.000 1.000 false(reach) 38.344s 21.505s zeus13 1591427072 0.184 0.436
eca-rers2012/Problem04_label12_false-unreach-call.c false(reach) 231.899s 208.912s zeus13 6447411200 1.000 1.000 false(reach) 44.103s 24.916s zeus09 1624530944 0.184 0.456
eca-rers2012/Problem04_label13_false-unreach-call.c false(reach) 152.708s 131.054s zeus01 5107253248 1.000 1.000 false(reach) 41.060s 22.661s zeus22 1613295616 0.186 0.447
eca-rers2012/Problem04_label14_false-unreach-call.c false(reach) 132.896s 112.165s zeus03 5648896000 1.000 1.000 false(reach) 43.311s 24.210s zeus08 1601794048 0.185 0.450
eca-rers2012/Problem04_label15_false-unreach-call.c false(reach) 134.439s 112.528s zeus14 4971016192 1.000 1.000 false(reach) 41.163s 23.209s zeus12 1597693952 0.187 0.451
eca-rers2012/Problem04_label17_false-unreach-call.c false(reach) 124.861s 104.203s zeus08 4681953280 1.000 1.000 false(reach) 42.191s 23.214s zeus10 1485332480 0.184 0.441
eca-rers2012/Problem04_label18_false-unreach-call.c false(reach) 140.992s 117.100s zeus03 5081755648 1.000 1.000 false(reach) 42.705s 24.190s zeus07 1597288448 0.185 0.447
eca-rers2012/Problem04_label19_false-unreach-call.c false(reach) 207.040s 184.120s zeus23 6325874688 1.000 1.000 false(reach) 43.393s 24.380s zeus18 1614589952 0.183 0.453
eca-rers2012/Problem04_label26_false-unreach-call.c false(reach) 156.237s 133.503s zeus10 5867892736 1.000 1.000 false(reach) 41.218s 23.196s zeus13 1597788160 0.184 0.442
eca-rers2012/Problem04_label27_false-unreach-call.c false(reach) 144.935s 122.888s zeus16 4318208000 1.000 1.000 false(reach) 41.685s 23.306s zeus04 1600241664 0.187 0.448
eca-rers2012/Problem04_label31_false-unreach-call.c false(reach) 156.862s 134.623s zeus09 5849354240 1.000 1.000 false(reach) 38.056s 21.367s zeus05 1609625600 0.183 0.443
eca-rers2012/Problem04_label32_false-unreach-call.c false(reach) 135.684s 113.447s zeus12 5066108928 1.000 1.000 false(reach) 41.370s 22.796s zeus12 1583943680 0.184 0.445
eca-rers2012/Problem04_label35_false-unreach-call.c false(reach) 131.072s 109.385s zeus23 4922142720 1.000 1.000 false(reach) 41.625s 22.945s zeus21 1590353920 0.185 0.450
eca-rers2012/Problem04_label36_false-unreach-call.c false(reach) 149.534s 127.126s zeus11 5236498432 1.000 1.000 false(reach) 43.250s 24.120s zeus19 1596305408 0.185 0.450
eca-rers2012/Problem04_label38_false-unreach-call.c false(reach) 133.773s 111.159s zeus23 5698170880 1.000 1.000 false(reach) 41.758s 23.522s zeus06 1623994368 0.184 0.449
eca-rers2012/Problem04_label39_false-unreach-call.c false(reach) 186.698s 163.373s zeus03 5936594944 1.000 1.000 false(reach) 39.535s 22.386s zeus06 1611833344 0.183 0.456
eca-rers2012/Problem04_label40_false-unreach-call.c false(reach) 147.970s 125.220s zeus03 5981032448 1.000 1.000 false(reach) 40.484s 22.867s zeus20 1619632128 0.184 0.450
eca-rers2012/Problem04_label45_false-unreach-call.c false(reach) 142.733s 118.992s zeus20 5466304512 1.000 1.000 false(reach) 41.278s 22.829s zeus24 1607110656 0.184 0.443
eca-rers2012/Problem04_label52_false-unreach-call.c false(reach) 188.406s 165.130s zeus03 5875277824 1.000 1.000 false(reach) 44.465s 25.428s zeus17 1617440768 0.184 0.463
eca-rers2012/Problem04_label55_false-unreach-call.c false(reach) 162.177s 139.844s zeus02 4948176896 1.000 1.000 false(reach) 39.215s 21.867s zeus16 1602465792 0.185 0.434
eca-rers2012/Problem04_label58_false-unreach-call.c false(reach) 147.004s 124.996s zeus02 5842046976 1.000 1.000 false(reach) 40.955s 23.088s zeus13 1609617408 0.184 0.444
eca-rers2012/Problem05_label00_false-unreach-call.c false(reach) 178.270s 155.072s zeus11 4850470912 1.000 1.000 false(reach) 45.979s 25.384s zeus09 1610096640 0.159 0.313
eca-rers2012/Problem05_label11_false-unreach-call.c false(reach) 170.489s 147.622s zeus24 5265559552 1.000 1.000 false(reach) 42.577s 23.749s zeus17 1635758080 0.161 0.321
eca-rers2012/Problem05_label13_false-unreach-call.c false(reach) 240.726s 216.211s zeus20 5784756224 1.000 1.000 false(reach) 47.402s 26.485s zeus19 1841360896 0.160 0.317
eca-rers2012/Problem05_label15_false-unreach-call.c false(reach) 230.109s 205.025s zeus07 5631348736 1.000 1.000 false(reach) 45.058s 24.926s zeus10 1646202880 0.161 0.326
eca-rers2012/Problem05_label18_false-unreach-call.c false(reach) 395.602s 369.262s zeus22 5734342656 1.000 1.000 false(reach) 44.278s 24.838s zeus06 1624092672 0.160 0.331
eca-rers2012/Problem05_label24_false-unreach-call.c false(reach) 212.852s 188.653s zeus03 5679906816 1.000 1.000 false(reach) 45.094s 24.610s zeus07 1605296128 0.162 0.326
eca-rers2012/Problem05_label26_false-unreach-call.c false(reach) 195.855s 172.237s zeus09 5665476608 1.000 1.000 false(reach) 46.500s 25.854s zeus04 1657270272 0.161 0.330
eca-rers2012/Problem05_label30_false-unreach-call.c false(reach) 178.892s 154.540s zeus24 5050085376 1.000 1.000 false(reach) 44.107s 24.241s zeus16 1602461696 0.161 0.321
eca-rers2012/Problem05_label32_false-unreach-call.c false(reach) 197.752s 171.156s zeus17 5638807552 1.000 1.000 false(reach) 47.092s 26.389s zeus13 1816592384 0.160 0.318
eca-rers2012/Problem05_label33_false-unreach-call.c false(reach) 260.328s 234.596s zeus23 5743476736 1.000 1.000 false(reach) 44.615s 24.508s zeus08 1625153536 0.160 0.309
eca-rers2012/Problem05_label37_false-unreach-call.c false(reach) 390.218s 364.454s zeus18 5863698432 1.000 1.000 false(reach) 47.804s 26.369s zeus07 1693605888 0.161 0.344
eca-rers2012/Problem05_label38_false-unreach-call.c false(reach) 198.617s 174.180s zeus09 5639835648 1.000 1.000 false(reach) 43.305s 23.565s zeus06 1641746432 0.160 0.316
eca-rers2012/Problem05_label39_false-unreach-call.c false(reach) 199.828s 173.413s zeus18 5592498176 1.000 1.000 false(reach) 47.125s 25.976s zeus16 1672589312 0.160 0.343
eca-rers2012/Problem05_label40_false-unreach-call.c false(reach) 204.321s 180.036s zeus09 5795385344 1.000 1.000 false(reach) 47.255s 25.655s zeus07 1624838144 0.161 0.331
eca-rers2012/Problem05_label41_false-unreach-call.c false(reach) 191.778s 167.812s zeus10 5673611264 1.000 1.000 false(reach) 44.836s 24.638s zeus20 1637396480 0.161 0.319
eca-rers2012/Problem05_label44_false-unreach-call.c false(reach) 180.404s 157.314s zeus06 5634121728 1.000 1.000 false(reach) 45.105s 25.120s zeus13 1641201664 0.161 0.336
eca-rers2012/Problem05_label47_false-unreach-call.c false(reach) 237.423s 212.353s zeus20 5781540864 1.000 1.000 false(reach) 43.246s 23.758s zeus11 1606930432 0.161 0.331
eca-rers2012/Problem05_label48_false-unreach-call.c false(reach) 197.384s 173.479s zeus05 5701341184 1.000 1.000 false(reach) 45.465s 25.533s zeus08 1645019136 0.160 0.305
eca-rers2012/Problem05_label51_false-unreach-call.c false(reach) 206.060s 181.567s zeus19 5594255360 1.000 1.000 false(reach) 47.889s 27.198s zeus13 1779576832 0.160 0.314
eca-rers2012/Problem05_label55_false-unreach-call.c false(reach) 169.920s 145.083s zeus09 5698535424 1.000 1.000 false(reach) 42.399s 23.189s zeus14 1639092224 0.160 0.315
eca-rers2012/Problem05_label57_false-unreach-call.c false(reach) 239.704s 215.165s zeus20 5810282496 1.000 1.000 false(reach) 44.855s 24.719s zeus05 1649524736 0.160 0.317
eca-rers2012/Problem05_label58_false-unreach-call.c false(reach) 179.784s 157.424s zeus22 5643866112 1.000 1.000 false(reach) 43.875s 24.126s zeus24 1601015808 0.160 0.307
eca-rers2012/Problem06_label00_false-unreach-call.c false(reach) 143.405s 118.560s zeus20 3800059904 1.000 1.000 false(reach) 42.358s 23.542s zeus15 1566871552 0.112 0.280
eca-rers2012/Problem06_label01_false-unreach-call.c false(reach) 142.015s 118.997s zeus10 3643039744 1.000 1.000 false(reach) 40.780s 22.126s zeus04 1552076800 0.111 0.308
eca-rers2012/Problem06_label02_false-unreach-call.c false(reach) 206.454s 181.016s zeus22 3756351488 1.000 1.000 false(reach) 44.850s 24.201s zeus16 1563009024 0.112 0.290
eca-rers2012/Problem06_label04_false-unreach-call.c false(reach) 198.620s 172.934s zeus22 4200587264 1.000 1.000 false(reach) 36.198s 19.754s zeus23 1560014848 0.112 0.288
eca-rers2012/Problem06_label05_false-unreach-call.c false(reach) 144.711s 122.475s zeus13 3851161600 1.000 1.000 false(reach) 40.117s 21.937s zeus11 1560154112 0.113 0.288
eca-rers2012/Problem06_label09_false-unreach-call.c false(reach) 155.151s 132.611s zeus02 3719532544 1.000 1.000 false(reach) 37.333s 20.027s zeus10 1424879616 0.114 0.249
eca-rers2012/Problem06_label10_false-unreach-call.c false(reach) 158.178s 135.428s zeus18 3781656576 1.000 1.000 false(reach) 38.942s 21.287s zeus01 1433866240 0.113 0.265
eca-rers2012/Problem06_label11_false-unreach-call.c false(reach) 186.305s 159.453s zeus18 3483660288 1.000 1.000 false(reach) 39.171s 21.338s zeus23 1439293440 0.111 0.276
eca-rers2012/Problem06_label12_false-unreach-call.c false(reach) 158.524s 134.781s zeus21 3772190720 1.000 1.000 false(reach) 40.108s 21.848s zeus05 1542770688 0.111 0.281
eca-rers2012/Problem06_label15_false-unreach-call.c false(reach) 139.916s 115.805s zeus23 3447074816 1.000 1.000 false(reach) 41.227s 22.822s zeus12 1570873344 0.113 0.289
eca-rers2012/Problem06_label20_false-unreach-call.c false(reach) 139.821s 117.792s zeus02 3631353856 1.000 1.000 false(reach) 37.672s 20.397s zeus03 1433595904 0.113 0.260
eca-rers2012/Problem06_label21_false-unreach-call.c false(reach) 163.949s 142.002s zeus21 3801448448 1.000 1.000 false(reach) 41.667s 22.720s zeus01 1552916480 0.111 0.308
eca-rers2012/Problem06_label24_false-unreach-call.c false(reach) 159.616s 134.513s zeus04 3953348608 1.000 1.000 false(reach) 40.256s 22.037s zeus21 1550348288 0.114 0.291
eca-rers2012/Problem06_label27_false-unreach-call.c false(reach) 155.675s 130.478s zeus23 3615465472 1.000 1.000 false(reach) 39.226s 21.236s zeus09 1438519296 0.113 0.268
eca-rers2012/Problem06_label29_false-unreach-call.c false(reach) 154.322s 132.202s zeus23 3749765120 1.000 1.000 false(reach) 37.211s 20.204s zeus20 1422807040 0.114 0.248
eca-rers2012/Problem06_label33_false-unreach-call.c false(reach) 151.369s 128.404s zeus13 3419144192 1.000 1.000 false(reach) 38.416s 20.405s zeus05 1406017536 0.114 0.240
eca-rers2012/Problem06_label36_false-unreach-call.c false(reach) 128.010s 105.226s zeus23 3308593152 1.000 1.000 false(reach) 40.373s 21.965s zeus05 1455022080 0.112 0.256
eca-rers2012/Problem06_label37_false-unreach-call.c false(reach) 136.994s 113.097s zeus19 3711000576 1.000 1.000 false(reach) 36.492s 20.124s zeus16 1428119552 0.112 0.259
eca-rers2012/Problem06_label38_false-unreach-call.c false(reach) 154.618s 130.812s zeus02 3481038848 1.000 1.000 false(reach) 39.518s 21.404s zeus05 1427660800 0.112 0.259
eca-rers2012/Problem06_label44_false-unreach-call.c false(reach) 161.870s 134.936s zeus07 3639451648 1.000 1.000 false(reach) 40.973s 22.130s zeus12 1561313280 0.111 0.298
eca-rers2012/Problem06_label47_false-unreach-call.c false(reach) 149.241s 125.372s zeus09 3318964224 1.000 1.000 false(reach) 39.359s 21.164s zeus03 1414844416 0.114 0.249
eca-rers2012/Problem06_label48_false-unreach-call.c false(reach) 139.213s 116.363s zeus24 3634053120 1.000 1.000 false(reach) 41.900s 23.086s zeus03 1563398144 0.112 0.309
eca-rers2012/Problem06_label56_false-unreach-call.c false(reach) 165.161s 139.132s zeus19 3883913216 1.000 1.000 false(reach) 38.005s 20.562s zeus10 1420120064 0.114 0.241
eca-rers2012/Problem06_label58_false-unreach-call.c false(reach) 157.151s 133.049s zeus15 3576274944 1.000 1.000 false(reach) 39.563s 21.948s zeus10 1559494656 0.114 0.310
eca-rers2012/Problem06_label59_false-unreach-call.c false(reach) 183.474s 158.315s zeus13 4179685376 1.000 1.000 false(reach) 37.950s 20.903s zeus24 1546051584 0.113 0.295
eca-rers2012/Problem10_label46_false-unreach-call.c false(reach) 8.388s 5.353s zeus12 323186688 1.000 1.000 false(reach) 9.298s 5.362s zeus04 329302016 0.221 0.152
eca-rers2012/Problem10_label47_false-unreach-call.c false(reach) 28.289s 23.628s zeus22 587669504 1.000 1.000 false(reach) 13.338s 7.462s zeus19 388091904 0.357 0.423
eca-rers2012/Problem10_label55_false-unreach-call.c false(reach) 40.272s 35.758s zeus19 556662784 1.000 1.000 false(reach) 14.038s 7.863s zeus14 390983680 0.368 0.448
eca-rers2012/Problem10_label58_false-unreach-call.c false(reach) 569.583s 564.904s zeus11 946278400 1.000 1.000 rejected 9.201s 5.269s zeus06 322936832 0.359 0.149
eca-rers2012/Problem14_label14_false-unreach-call.c false(reach) 25.206s 16.506s zeus11 671064064 1.000 1.000 rejected 12.593s 7.179s zeus10 383225856 0.298 0.177
eca-rers2012/Problem16_label00_false-unreach-call.c false(reach) 266.994s 261.963s zeus04 774991872 1.000 1.000 false(reach) 13.346s 7.541s zeus15 496189440 0.120 0.103
eca-rers2012/Problem10_label43_true-unreach-call.c false(reach) 8.325s 5.493s zeus02 327864320 1.000 1.000 rejected 8.727s 4.933s zeus04 303906816 0.359 0.149
eca-rers2012/Problem10_label44_true-unreach-call.c false(reach) 9.032s 5.735s zeus15 351342592 1.000 1.000 false(reach) 10.032s 5.868s zeus10 336584704 0.221 0.167
eca-rers2012/Problem10_label45_true-unreach-call.c false(reach) 8.400s 5.454s zeus20 338046976 1.000 1.000 false(reach) 9.560s 5.508s zeus11 331808768 0.221 0.159
eca-rers2012/Problem10_label56_true-unreach-call.c false(reach) 506.516s 501.274s zeus03 1011761152 1.000 1.000 false(reach) 15.148s 8.202s zeus08 394027008 0.368 0.449
eca-rers2012/Problem14_label04_true-unreach-call.c false(reach) 30.068s 22.391s zeus20 726581248 1.000 1.000 false(reach) 13.359s 7.928s zeus23 436170752 0.251 0.358
eca-rers2012/Problem14_label09_true-unreach-call.c false(reach) 45.532s 36.549s zeus24 781139968 1.000 1.000 rejected 12.624s 7.030s zeus16 382701568 0.298 0.178
eca-rers2012/Problem14_label59_true-unreach-call.c false(reach) 23.887s 14.564s zeus01 736546816 1.000 1.000 false(reach) 13.526s 7.874s zeus20 443281408 0.295 0.394
eca-rers2012/Problem16_label02_true-unreach-call.c false(reach) 13.348s 8.696s zeus05 483840000 1.000 1.000 false(reach) 12.915s 7.319s zeus15 498348032 0.120 0.119
heap-manipulation/bubble_sort_linux_false-unreach-call.i false(reach) 5.672s 3.696s zeus09 229916672 0.907 0.458 false(reach) 6.497s 3.864s zeus24 269750272 0.904 0.458
heap-manipulation/merge_sort_false-unreach-call.i false(reach) 4.763s 3.144s zeus10 217767936 0.874 0.357 false(reach) 5.711s 3.624s zeus22 241557504 0.871 0.357
heap-manipulation/sll_to_dll_rev_false-unreach-call.i false(reach) 5.119s 3.401s zeus21 231100416 0.878 0.444 false(reach) 5.618s 3.669s zeus12 242425856 0.875 0.444
list-properties/alternating_list_false-unreach-call.i false(reach) 4.445s 2.979s zeus04 216977408 0.993 1.000 false(reach) 5.702s 3.504s zeus24 236945408 0.990 0.875
list-properties/list_flag_false-unreach-call.i false(reach) 4.471s 2.997s zeus17 213368832 0.997 1.000 false(reach) 5.439s 3.434s zeus04 229367808 0.990 0.875
list-properties/list_search_false-unreach-call.i false(reach) 5.025s 3.450s zeus22 231620608 1.000 1.000 false(reach) 6.107s 3.941s zeus11 246366208 0.997 1.000
list-properties/simple_false-unreach-call.i false(reach) 4.779s 3.132s zeus10 212168704 0.997 1.000 false(reach) 5.254s 3.233s zeus20 232206336 0.993 1.000
list-properties/splice_false-unreach-call.i false(reach) 4.588s 3.076s zeus11 217460736 0.997 1.000 false(reach) 5.749s 3.470s zeus15 246620160 0.978 0.818
ldv-regression/1_3.c_false-unreach-call.i false(reach) 3.492s 2.349s zeus11 197316608 0.950 1.000 false(reach) 4.074s 3.036s zeus10 198733824 0.950 1.000
ldv-regression/alt_test.c_false-unreach-call.i false(reach) 5.049s 3.198s zeus22 220717056 0.997 1.000 false(reach) 5.840s 3.622s zeus14 242364416 0.997 1.000
ldv-regression/callfpointer.c_false-unreach-call.i false(reach) 3.445s 2.227s zeus16 194846720 0.800 0.750 false(reach) 3.585s 2.533s zeus14 202371072 0.800 0.750
ldv-regression/fo_test.c_false-unreach-call.i false(reach) 4.680s 2.995s zeus12 208883712 0.994 1.000 false(reach) 5.845s 3.552s zeus02 232878080 0.994 1.000
ldv-regression/mutex_lock_int.c_false-unreach-call.i false(reach) 3.321s 2.215s zeus11 197185536 0.778 0.500 false(reach) 4.025s 2.557s zeus13 199806976 0.778 0.500
ldv-regression/mutex_lock_struct.c_false-unreach-call.i false(reach) 3.394s 2.252s zeus05 194392064 0.833 0.500 false(reach) 3.768s 2.462s zeus14 204685312 0.833 0.500
ldv-regression/recursive_list.c_false-unreach-call.i false(reach) 3.700s 2.456s zeus15 206954496 1.000 1.000 false(reach) 4.047s 2.806s zeus24 208437248 1.000 1.000
ldv-regression/rule57_ebda_blast.c_false-unreach-call.i false(reach) 3.837s 2.540s zeus24 206467072 1.000 1.000 false(reach) 4.386s 3.010s zeus18 213737472 0.682 0.667
ldv-regression/rule60_list2.c_false-unreach-call_1.i false(reach) 4.510s 3.021s zeus20 220323840 0.996 1.000 false(reach) 5.190s 3.228s zeus03 223682560 0.991 1.000
ldv-regression/stateful_check_false-unreach-call.i false(reach) 4.665s 3.142s zeus09 217583616 1.000 1.000 false(reach) 4.657s 3.496s zeus24 213745664 0.870 0.857
ldv-regression/test_while_int.c_false-unreach-call.i false(reach) 3.672s 2.459s zeus15 198303744 1.000 1.000 false(reach) 3.938s 2.538s zeus02 204181504 0.917 1.000
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) 3.772s 2.486s zeus02 203595776 0.909 1.000
ldv-regression/test_union.c_true-unreach-call_1.i false(reach) 3.552s 2.308s zeus01 195149824 1.000 1.000 false(reach) 3.810s 2.444s zeus08 196452352 1.000 1.000
ddv-machzwd/ddv_machzwd_all_false-unreach-call.i false(reach) 62.095s 56.434s zeus20 905007104 0.540 0.097 false(reach) 30.255s 21.941s zeus14 837287936 0.498 0.023
ddv-machzwd/ddv_machzwd_inw_false-unreach-call.i false(reach) 64.241s 58.421s zeus09 892432384 0.544 0.089 false(reach) 30.641s 21.979s zeus22 827936768 0.504 0.025
ddv-machzwd/ddv_machzwd_outb_false-unreach-call.i false(reach) 62.947s 57.295s zeus13 885420032 0.544 0.089 false(reach) 29.548s 21.852s zeus12 828141568 0.504 0.025
loops/array_false-unreach-call.i false(reach) 3.665s 2.464s zeus24 207089664 1.000 1.000 false(reach) 3.768s 2.737s zeus13 203939840 0.929 1.000
loops/bubble_sort_false-unreach-call.i false(reach) 5.861s 3.824s zeus12 262393856 0.413 0.292 false(reach) 6.888s 4.492s zeus06 269553664 0.411 0.292
loops/count_up_down_false-unreach-call_true-termination.i false(reach) 3.628s 2.346s zeus14 192491520 0.909 1.000 false(reach) 3.811s 2.452s zeus06 203194368 0.909 1.000
loops/eureka_01_false-unreach-call.i false(reach) 61.757s 56.367s zeus16 682369024 1.000 1.000 false(reach) 8.253s 5.378s zeus08 303722496 0.979 1.000
loops/for_bounded_loop1_false-unreach-call_true-termination.i false(reach) 3.631s 2.423s zeus13 197726208 1.000 1.000 false(reach) 4.405s 2.734s zeus09 205164544 1.000 1.000
loops/invert_string_false-unreach-call.i false(reach) 6.896s 5.003s zeus22 248356864 1.000 1.000 false(reach) 5.994s 3.988s zeus18 232849408 1.000 1.000
loops/linear_search_false-unreach-call.i false(reach) 3.672s 2.419s zeus05 204857344 0.933 1.000 false(reach) 3.951s 2.533s zeus08 207294464 0.933 0.600
loops/matrix_false-unreach-call_true-termination.i false(reach) 6.628s 4.879s zeus08 554975232 1.000 1.000 false(reach) 6.868s 4.846s zeus21 601403392 0.947 1.000
loops/nec11_false-unreach-call.i false(reach) 3.799s 2.483s zeus04 195420160 0.889 0.667 false(reach) 3.888s 2.530s zeus10 202784768 0.889 0.667
loops/nec20_false-unreach-call.i false(reach) 4.096s 2.650s zeus22 204668928 1.000 1.000 false(reach) 4.385s 2.857s zeus11 214933504 0.696 0.600
loops/s3_false-unreach-call.i false(reach) 17.333s 13.180s zeus12 455151616 0.988 0.966 false(reach) 9.258s 5.491s zeus09 336883712 0.988 0.511
loops/string_false-unreach-call.i false(reach) 5.996s 4.286s zeus08 230916096 0.971 0.923 false(reach) 5.329s 3.530s zeus20 232013824 0.971 0.846
loops/sum01_bug02_false-unreach-call_true-termination.i false(reach) 4.941s 3.309s zeus01 214872064 1.000 1.000 false(reach) 5.311s 3.826s zeus11 222457856 0.900 1.000
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) 4.022s 2.736s zeus06 208887808 0.889 1.000
loops/sum01_false-unreach-call_true-termination.i false(reach) 5.991s 4.197s zeus17 229666816 1.000 1.000 false(reach) 4.293s 2.813s zeus22 210612224 0.889 1.000
loops/sum03_false-unreach-call_true-termination.i false(reach) 6.789s 4.718s zeus21 246599680 1.000 1.000 false(reach) 5.981s 3.882s zeus11 239001600 1.000 1.000
loops/sum04_false-unreach-call_true-termination.i false(reach) 5.491s 3.720s zeus08 212193280 1.000 1.000 false(reach) 3.929s 2.821s zeus23 209657856 0.889 1.000
loops/sum_array_false-unreach-call.i false(reach) 5.548s 3.810s zeus15 238915584 1.000 1.000 false(reach) 5.033s 3.385s zeus17 248725504 0.929 1.000
loops/terminator_01_false-unreach-call_false-termination.i false(reach) 3.888s 2.592s zeus23 191799296 0.889 1.000 false(reach) 3.811s 2.459s zeus22 203444224 0.889 1.000
loops/terminator_02_false-unreach-call_true-termination.i false(reach) 3.422s 2.240s zeus14 191209472 0.950 0.750 false(reach) 3.883s 2.608s zeus21 203784192 0.950 0.500
loops/terminator_03_false-unreach-call_true-termination.i false(reach) 3.860s 2.453s zeus14 194600960 1.000 1.000 false(reach) 4.305s 2.663s zeus15 205479936 0.909 0.833
loops/trex01_false-unreach-call_true-termination.i false(reach) 3.642s 2.364s zeus05 194768896 0.391 0.500 false(reach) 3.908s 2.475s zeus09 201437184 0.391 0.500
loops/trex02_false-unreach-call_true-termination.i false(reach) 3.214s 2.153s zeus11 194023424 0.833 0.667 false(reach) 3.847s 2.656s zeus05 196460544 0.833 0.667
loops/trex03_false-unreach-call_true-termination.i false(reach) 3.385s 2.240s zeus23 198033408 0.875 0.778 false(reach) 3.804s 2.622s zeus04 201519104 0.875 0.556
loops/verisec_NetBSD-libc__loop_false-unreach-call.i false(reach) 3.445s 2.278s zeus10 192118784 0.882 1.000 false(reach) 3.574s 2.483s zeus22 207560704 0.824 1.000
loops/verisec_OpenSER__cases1_stripFullBoth_arr_false-unreach-call.i false(reach) 4.115s 2.900s zeus05 211968000 0.953 1.000 false(reach) 4.799s 3.310s zeus23 214130688 0.930 1.000
loops/vogal_false-unreach-call.i false(reach) 12.561s 9.915s zeus19 305807360 1.000 1.000 false(reach) 7.493s 4.939s zeus22 268861440 0.964 1.000
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) 3.885s 2.653s zeus15 203902976 0.929 1.000
loops/count_up_down_true-unreach-call_true-termination.i false(reach) 3.325s 2.212s zeus14 194260992 0.909 1.000 false(reach) 3.412s 2.457s zeus06 202596352 0.909 1.000
loops/linear_sea.ch_true-unreach-call.i false(reach) 3.623s 2.391s zeus08 205565952 0.929 1.000 false(reach) 4.357s 2.739s zeus15 210022400 0.929 0.750
loops/trex03_true-unreach-call.i false(reach) 3.780s 2.415s zeus06 205574144 0.875 0.778 false(reach) 3.808s 2.540s zeus11 206360576 0.875 0.778
loop-acceleration/diamond_false-unreach-call1.i false(reach) 118.020s 110.976s zeus22 1309884416 1.000 1.000 false(reach) 5.740s 3.720s zeus03 243970048 0.923 1.000
loop-acceleration/multivar_false-unreach-call1.i false(reach) 3.511s 2.245s zeus05 189534208 0.900 1.000 false(reach) 3.796s 2.602s zeus10 198119424 0.900 1.000
loop-acceleration/phases_false-unreach-call2.i false(reach) 3.375s 2.246s zeus10 191029248 0.929 0.750 false(reach) 3.604s 2.344s zeus13 204537856 0.929 0.750
loop-acceleration/simple_false-unreach-call2.i false(reach) 3.445s 2.244s zeus02 199589888 0.875 1.000 false(reach) 3.560s 2.841s zeus24 200548352 0.875 1.000
loop-acceleration/simple_false-unreach-call3.i false(reach) 3.456s 2.240s zeus05 193253376 0.889 1.000 false(reach) 3.728s 2.527s zeus13 204521472 0.889 1.000
loop-acceleration/underapprox_false-unreach-call1.i false(reach) 4.128s 2.881s zeus10 203608064 1.000 1.000 false(reach) 4.873s 3.237s zeus21 209612800 0.900 1.000
loop-acceleration/underapprox_false-unreach-call2.i false(reach) 4.164s 2.930s zeus06 208642048 1.000 1.000 false(reach) 4.463s 3.158s zeus12 206364672 0.900 1.000
loop-acceleration/diamond_true-unreach-call1.i false(reach) 159.100s 151.433s zeus20 794906624 1.000 1.000 false(reach) 154.800s 144.940s zeus20 1580257280 0.923 1.000
loop-acceleration/phases_true-unreach-call2.i false(reach) 3.477s 2.267s zeus23 205049856 1.000 1.000 false(reach) 4.084s 2.570s zeus01 205463552 0.929 1.000
loop-invgen/id_trans_false-unreach-call.i false(reach) 3.563s 2.397s zeus15 202575872 1.000 1.000 false(reach) 3.902s 2.478s zeus08 205234176 0.938 1.000
loop-invgen/half_2_true-unreach-call.i false(reach) 3.594s 2.325s zeus20 194764800 0.947 1.000 false(reach) 4.023s 2.550s zeus14 204791808 0.895 1.000
loop-invgen/heapsort_true-unreach-call.i false(reach) 3.669s 2.399s zeus02 200634368 0.978 0.727 false(reach) 4.183s 2.608s zeus12 204587008 0.935 0.727
loop-lit/mcmillan2006_true-unreach-call.c.i false(reach) 4.629s 3.254s zeus15 217489408 1.000 1.000 false(reach) 3.946s 2.717s zeus24 210345984 1.000 1.000
loop-new/gauss_sum_true-unreach-call.i false(reach) 3.489s 2.351s zeus11 197844992 1.000 1.000 false(reach) 3.831s 2.367s zeus10 206512128 0.909 1.000
product-lines/elevator_spec14_product20_false-unreach-call.cil.c false(reach) 170.593s 162.055s zeus18 975736832 0.530 0.743 false(reach) 11.668s 6.691s zeus10 430936064 0.272 0.296
product-lines/elevator_spec14_product24_false-unreach-call.cil.c false(reach) 175.368s 165.401s zeus11 1035472896 0.545 0.759 false(reach) 13.008s 7.433s zeus07 459304960 0.282 0.313
product-lines/elevator_spec14_product28_false-unreach-call.cil.c false(reach) 179.646s 169.911s zeus20 975601664 0.541 0.760 false(reach) 12.055s 7.130s zeus03 435126272 0.271 0.295
product-lines/elevator_spec14_product32_false-unreach-call.cil.c false(reach) 198.928s 188.714s zeus12 1059680256 0.557 0.776 false(reach) 11.840s 7.012s zeus14 441475072 0.281 0.312
product-lines/elevator_spec14_productSimulator_false-unreach-call.cil.c false(reach) 288.571s 278.466s zeus02 1720934400 0.572 0.780 false(reach) 13.386s 7.639s zeus13 470274048 0.283 0.308
product-lines/elevator_spec1_product18_false-unreach-call.cil.c false(reach) 651.039s 636.454s zeus12 1025015808 0.587 0.790 false(reach) 12.351s 7.299s zeus11 449044480 0.324 0.313
product-lines/elevator_spec1_product26_false-unreach-call.cil.c false(reach) 519.652s 505.021s zeus02 1038508032 0.598 0.807 false(reach) 12.763s 7.230s zeus05 449744896 0.322 0.312
product-lines/elevator_spec2_product18_false-unreach-call.cil.c false(reach) 577.128s 564.063s zeus15 1047035904 0.585 0.790 false(reach) 12.264s 7.265s zeus24 443285504 0.321 0.313
product-lines/elevator_spec2_product20_false-unreach-call.cil.c false(reach) 635.967s 621.553s zeus02 1086279680 0.590 0.792 false(reach) 13.906s 7.805s zeus02 460214272 0.327 0.318
product-lines/elevator_spec2_product22_false-unreach-call.cil.c false(reach) 804.883s 789.462s zeus24 1194668032 0.599 0.805 false(reach) 12.377s 7.083s zeus13 450428928 0.331 0.329
product-lines/elevator_spec2_product24_false-unreach-call.cil.c false(reach) 214.743s 200.484s zeus05 1158725632 0.604 0.807 false(reach) 14.083s 8.177s zeus16 475287552 0.336 0.334
product-lines/elevator_spec3_product03_false-unreach-call.cil.c false(reach) 94.329s 86.337s zeus21 841469952 0.572 0.743 false(reach) 15.147s 8.992s zeus02 510500864 0.210 0.265
product-lines/elevator_spec3_product11_false-unreach-call.cil.c false(reach) 112.069s 102.883s zeus17 846589952 0.583 0.759 false(reach) 16.158s 9.016s zeus05 527822848 0.209 0.265
product-lines/elevator_spec3_product19_false-unreach-call.cil.c false(reach) 126.747s 118.284s zeus14 883347456 0.583 0.759 false(reach) 15.526s 8.798s zeus16 511922176 0.214 0.268
product-lines/elevator_spec3_product20_false-unreach-call.cil.c false(reach) 148.863s 138.450s zeus20 947154944 0.584 0.758 false(reach) 14.980s 8.488s zeus15 529985536 0.217 0.271
product-lines/elevator_spec3_product23_false-unreach-call.cil.c false(reach) 149.228s 139.369s zeus08 917282816 0.597 0.774 false(reach) 15.536s 8.768s zeus12 533327872 0.220 0.271
product-lines/elevator_spec3_product24_false-unreach-call.cil.c false(reach) 170.361s 160.234s zeus07 1097940992 0.598 0.773 false(reach) 15.615s 9.276s zeus06 536465408 0.224 0.274
product-lines/elevator_spec3_product27_false-unreach-call.cil.c false(reach) 130.338s 121.364s zeus05 867262464 0.594 0.775 false(reach) 15.097s 8.650s zeus12 522543104 0.213 0.267
product-lines/elevator_spec3_product28_false-unreach-call.cil.c false(reach) 176.453s 167.140s zeus03 963436544 0.595 0.774 false(reach) 14.468s 8.243s zeus19 524296192 0.217 0.270
product-lines/elevator_spec3_product31_false-unreach-call.cil.c false(reach) 185.275s 176.182s zeus01 951300096 0.607 0.790 false(reach) 15.545s 8.700s zeus21 530993152 0.219 0.270
product-lines/elevator_spec3_product32_false-unreach-call.cil.c false(reach) 197.824s 187.611s zeus11 1113063424 0.608 0.789 false(reach) 15.315s 8.701s zeus07 556867584 0.225 0.276
product-lines/elevator_spec3_productSimulator_false-unreach-call.cil.c false(reach) 331.887s 321.049s zeus12 1645137920 0.620 0.792 false(reach) 15.342s 8.882s zeus17 553046016 0.216 0.273
product-lines/elevator_spec9_product32_false-unreach-call.cil.c false(reach) 187.455s 173.105s zeus20 1071714304 0.609 0.822 false(reach) 15.162s 8.433s zeus12 488538112 0.331 0.357
product-lines/email_spec0_product16_false-unreach-call.cil.c false(reach) 18.320s 11.753s zeus23 536596480 0.569 0.502 false(reach) 11.228s 6.680s zeus11 422256640 0.400 0.272
product-lines/email_spec0_product21_false-unreach-call.cil.c false(reach) 27.701s 20.012s zeus23 701702144 0.640 0.676 false(reach) 11.255s 6.668s zeus10 412741632 0.392 0.258
product-lines/email_spec0_product22_false-unreach-call.cil.c false(reach) 18.940s 12.883s zeus11 542756864 0.586 0.529 false(reach) 11.593s 6.607s zeus11 417263616 0.392 0.262
product-lines/email_spec0_product26_false-unreach-call.cil.c false(reach) 32.182s 23.295s zeus16 693706752 0.656 0.702 false(reach) 11.864s 7.220s zeus07 433225728 0.407 0.290
product-lines/email_spec0_product31_false-unreach-call.cil.c false(reach) 25.460s 16.461s zeus03 649744384 0.609 0.560 false(reach) 11.458s 6.560s zeus23 436432896 0.393 0.262
product-lines/email_spec0_product33_false-unreach-call.cil.c false(reach) 23.136s 15.641s zeus10 642646016 0.625 0.586 false(reach) 11.828s 6.763s zeus11 433856512 0.397 0.273
product-lines/email_spec0_product34_false-unreach-call.cil.c false(reach) 40.534s 31.245s zeus09 717664256 0.677 0.731 false(reach) 11.317s 6.990s zeus06 439767040 0.408 0.289
product-lines/email_spec0_product35_false-unreach-call.cil.c false(reach) 32.750s 24.189s zeus13 718786560 0.692 0.756 false(reach) 12.297s 7.029s zeus11 447533056 0.400 0.280
product-lines/email_spec0_productSimulator_false-unreach-call.cil.c false(reach) 443.919s 425.775s zeus11 5353558016 0.728 0.788 false(reach) 13.461s 7.926s zeus08 470786048 0.416 0.295
product-lines/email_spec11_product15_false-unreach-call.cil.c false(reach) 20.128s 13.810s zeus16 533245952 0.544 0.494 false(reach) 11.170s 6.396s zeus15 413249536 0.388 0.251
product-lines/email_spec11_product20_false-unreach-call.cil.c false(reach) 29.824s 22.147s zeus03 690528256 0.615 0.668 false(reach) 11.216s 6.662s zeus21 423211008 0.404 0.279
product-lines/email_spec11_product22_false-unreach-call.cil.c false(reach) 20.252s 13.680s zeus01 536690688 0.587 0.529 false(reach) 11.311s 6.814s zeus10 413040640 0.388 0.250
product-lines/email_spec11_product26_false-unreach-call.cil.c false(reach) 40.133s 30.861s zeus21 710488064 0.657 0.702 false(reach) 11.637s 7.156s zeus10 423886848 0.403 0.278
product-lines/email_spec11_product30_false-unreach-call.cil.c false(reach) 21.362s 14.263s zeus22 579530752 0.567 0.544 false(reach) 11.217s 6.660s zeus11 419598336 0.393 0.262
product-lines/email_spec11_product32_false-unreach-call.cil.c false(reach) 33.546s 25.010s zeus07 726863872 0.636 0.715 false(reach) 11.436s 6.888s zeus06 437620736 0.408 0.289
product-lines/email_spec11_product33_false-unreach-call.cil.c false(reach) 29.720s 21.228s zeus08 688820224 0.625 0.586 false(reach) 11.203s 7.030s zeus24 429277184 0.404 0.281
product-lines/email_spec11_product35_false-unreach-call.cil.c false(reach) 48.702s 39.363s zeus14 721006592 0.692 0.756 false(reach) 12.132s 7.163s zeus02 448667648 0.407 0.288
product-lines/email_spec1_product14_false-unreach-call.cil.c false(reach) 18.505s 11.912s zeus03 546222080 0.585 0.631 false(reach) 12.213s 6.944s zeus01 435965952 0.410 0.287
product-lines/email_spec1_product15_false-unreach-call.cil.c false(reach) 13.857s 9.087s zeus10 461975552 0.538 0.492 false(reach) 11.304s 6.673s zeus02 430919680 0.402 0.279
product-lines/email_spec1_product16_false-unreach-call.cil.c false(reach) 20.172s 14.674s zeus12 529170432 0.570 0.504 false(reach) 12.801s 7.571s zeus15 450842624 0.451 0.303
product-lines/email_spec1_product20_false-unreach-call.cil.c false(reach) 21.019s 14.293s zeus01 643686400 0.609 0.665 false(reach) 12.111s 6.830s zeus15 438181888 0.414 0.302
product-lines/email_spec1_product21_false-unreach-call.cil.c false(reach) 24.023s 16.072s zeus13 672374784 0.641 0.678 false(reach) 11.989s 6.772s zeus14 436707328 0.415 0.302
product-lines/email_spec1_product22_false-unreach-call.cil.c false(reach) 16.408s 10.778s zeus11 514998272 0.587 0.531 false(reach) 11.329s 6.650s zeus15 437071872 0.428 0.306
product-lines/email_spec1_product26_false-unreach-call.cil.c false(reach) 26.166s 17.839s zeus22 685260800 0.657 0.703 false(reach) 12.322s 7.300s zeus21 448634880 0.419 0.317
product-lines/email_spec1_product29_false-unreach-call.cil.c false(reach) 24.252s 15.792s zeus20 684892160 0.619 0.691 false(reach) 12.369s 7.061s zeus11 456556544 0.432 0.333
product-lines/email_spec1_product30_false-unreach-call.cil.c false(reach) 17.783s 11.482s zeus09 554819584 0.568 0.546 false(reach) 12.808s 7.537s zeus12 458604544 0.431 0.325
product-lines/email_spec1_product31_false-unreach-call.cil.c false(reach) 17.842s 11.400s zeus17 644411392 0.610 0.562 false(reach) 14.052s 8.098s zeus16 480780288 0.478 0.333
product-lines/email_spec1_product32_false-unreach-call.cil.c false(reach) 24.554s 16.046s zeus22 682000384 0.637 0.716 false(reach) 13.123s 7.518s zeus24 471810048 0.435 0.348
product-lines/email_spec1_product33_false-unreach-call.cil.c false(reach) 19.763s 12.683s zeus15 579481600 0.626 0.588 false(reach) 12.790s 7.401s zeus10 465444864 0.444 0.332
product-lines/email_spec1_product34_false-unreach-call.cil.c false(reach) 26.735s 18.218s zeus03 699228160 0.678 0.732 false(reach) 13.099s 7.391s zeus03 469938176 0.437 0.348
product-lines/email_spec1_product35_false-unreach-call.cil.c false(reach) 28.164s 19.786s zeus03 696274944 0.693 0.757 false(reach) 13.433s 7.901s zeus23 469823488 0.441 0.363
product-lines/email_spec1_productSimulator_false-unreach-call.cil.c false(reach) 119.584s 103.980s zeus15 2968018944 0.728 0.789 false(reach) 14.183s 8.120s zeus15 483246080 0.443 0.332
product-lines/email_spec27_product17_false-unreach-call.cil.c false(reach) 21.694s 14.376s zeus03 676818944 0.604 0.660 false(reach) 12.950s 7.621s zeus18 462651392 0.423 0.340
product-lines/email_spec27_product18_false-unreach-call.cil.c false(reach) 17.181s 11.522s zeus11 516022272 0.552 0.512 false(reach) 12.827s 7.609s zeus04 453341184 0.422 0.307
product-lines/email_spec27_product19_false-unreach-call.cil.c false(reach) 16.682s 11.226s zeus04 552263680 0.582 0.520 false(reach) 14.073s 7.831s zeus21 473706496 0.450 0.316
product-lines/email_spec27_product23_false-unreach-call.cil.c false(reach) 25.659s 17.514s zeus24 682491904 0.623 0.686 false(reach) 14.204s 8.058s zeus20 474562560 0.427 0.355
product-lines/email_spec27_product24_false-unreach-call.cil.c false(reach) 16.961s 11.221s zeus05 553963520 0.598 0.547 false(reach) 12.818s 7.578s zeus21 462536704 0.427 0.318
product-lines/email_spec27_product25_false-unreach-call.cil.c false(reach) 27.098s 18.166s zeus06 687554560 0.652 0.694 false(reach) 14.572s 8.142s zeus17 481787904 0.428 0.355
product-lines/email_spec27_product27_false-unreach-call.cil.c false(reach) 29.019s 20.352s zeus09 685797376 0.668 0.720 false(reach) 14.820s 8.391s zeus18 483418112 0.432 0.370
product-lines/email_spec27_product29_false-unreach-call.cil.c false(reach) 26.991s 18.464s zeus05 682168320 0.625 0.699 false(reach) 15.425s 8.591s zeus20 497954816 0.436 0.369
product-lines/email_spec27_product30_false-unreach-call.cil.c false(reach) 18.676s 12.052s zeus07 661463040 0.575 0.554 false(reach) 14.729s 8.411s zeus16 497672192 0.440 0.337
product-lines/email_spec27_product31_false-unreach-call.cil.c false(reach) 20.424s 13.143s zeus17 679825408 0.611 0.562 false(reach) 14.759s 8.324s zeus21 506400768 0.472 0.349
product-lines/email_spec27_product32_false-unreach-call.cil.c false(reach) 27.074s 18.707s zeus11 698363904 0.643 0.724 false(reach) 15.186s 8.501s zeus12 505274368 0.440 0.384
product-lines/email_spec27_product33_false-unreach-call.cil.c false(reach) 20.755s 13.518s zeus24 673910784 0.627 0.588 false(reach) 14.570s 8.162s zeus20 498614272 0.444 0.348
product-lines/email_spec27_product34_false-unreach-call.cil.c false(reach) 30.393s 20.780s zeus07 708259840 0.679 0.732 false(reach) 14.843s 8.743s zeus15 509640704 0.441 0.384
product-lines/email_spec27_product35_false-unreach-call.cil.c false(reach) 31.658s 21.934s zeus06 705245184 0.694 0.757 false(reach) 15.794s 8.808s zeus01 511787008 0.445 0.398
product-lines/email_spec3_product13_false-unreach-call.cil.c false(reach) 8.308s 5.193s zeus09 342106112 0.401 0.275 false(reach) 10.294s 5.921s zeus06 394256384 0.347 0.189
product-lines/email_spec3_product17_false-unreach-call.cil.c false(reach) 8.543s 5.322s zeus07 359837696 0.410 0.290 false(reach) 10.198s 5.859s zeus20 391602176 0.351 0.196
product-lines/email_spec3_product18_false-unreach-call.cil.c false(reach) 8.440s 5.238s zeus03 345747456 0.399 0.273 false(reach) 10.759s 6.238s zeus20 395632640 0.345 0.188
product-lines/email_spec3_product19_false-unreach-call.cil.c false(reach) 8.383s 5.211s zeus03 348786688 0.399 0.273 false(reach) 9.841s 5.821s zeus04 396918784 0.345 0.188
product-lines/email_spec3_product23_false-unreach-call.cil.c false(reach) 8.460s 5.255s zeus20 350994432 0.407 0.289 false(reach) 10.793s 6.340s zeus03 414498816 0.350 0.195
product-lines/email_spec3_product24_false-unreach-call.cil.c false(reach) 8.490s 5.291s zeus18 349655040 0.397 0.272 false(reach) 10.334s 6.130s zeus13 395358208 0.344 0.187
product-lines/email_spec3_product25_false-unreach-call.cil.c false(reach) 8.866s 5.536s zeus23 361390080 0.407 0.289 false(reach) 10.757s 6.326s zeus05 412491776 0.350 0.195
product-lines/email_spec3_product27_false-unreach-call.cil.c false(reach) 8.421s 5.264s zeus04 346370048 0.405 0.287 false(reach) 10.626s 6.057s zeus16 405028864 0.348 0.194
product-lines/email_spec3_product28_false-unreach-call.cil.c false(reach) 9.195s 5.744s zeus22 372011008 0.423 0.317 false(reach) 10.608s 6.277s zeus24 409272320 0.356 0.213
product-lines/email_spec3_product29_false-unreach-call.cil.c false(reach) 8.853s 5.609s zeus05 369487872 0.431 0.332 false(reach) 10.788s 6.122s zeus18 411172864 0.360 0.220
product-lines/email_spec3_product30_false-unreach-call.cil.c false(reach) 9.167s 5.803s zeus19 367960064 0.420 0.316 false(reach) 10.738s 6.199s zeus12 407683072 0.354 0.212
product-lines/email_spec3_product31_false-unreach-call.cil.c false(reach) 8.836s 5.524s zeus03 364859392 0.421 0.316 false(reach) 10.821s 6.679s zeus24 410583040 0.354 0.212
product-lines/email_spec3_product32_false-unreach-call.cil.c false(reach) 9.058s 5.687s zeus09 373878784 0.428 0.331 false(reach) 11.591s 6.913s zeus18 417583104 0.358 0.219
product-lines/email_spec3_product33_false-unreach-call.cil.c false(reach) 9.026s 5.626s zeus23 369135616 0.418 0.315 false(reach) 11.456s 6.727s zeus21 410648576 0.352 0.211
product-lines/email_spec3_product34_false-unreach-call.cil.c false(reach) 9.068s 5.762s zeus16 373334016 0.428 0.331 false(reach) 11.352s 6.446s zeus06 419008512 0.358 0.219
product-lines/email_spec3_product35_false-unreach-call.cil.c false(reach) 9.200s 5.776s zeus15 370847744 0.425 0.329 false(reach) 11.017s 6.513s zeus06 422387712 0.356 0.218
product-lines/email_spec3_productSimulator_false-unreach-call.cil.c false(reach) 26.174s 16.125s zeus19 716587008 0.602 0.486 false(reach) 11.902s 6.778s zeus08 443908096 0.360 0.221
product-lines/email_spec4_product18_false-unreach-call.cil.c false(reach) 13.477s 8.946s zeus11 457732096 0.545 0.504 false(reach) 11.776s 6.988s zeus13 431398912 0.386 0.234
product-lines/email_spec4_product19_false-unreach-call.cil.c false(reach) 15.790s 10.093s zeus06 527777792 0.581 0.520 false(reach) 11.600s 6.656s zeus24 436232192 0.417 0.246
product-lines/email_spec4_product23_false-unreach-call.cil.c false(reach) 20.783s 13.333s zeus19 556240896 0.616 0.678 false(reach) 11.234s 6.525s zeus15 427511808 0.392 0.245
product-lines/email_spec4_product24_false-unreach-call.cil.c false(reach) 15.836s 10.316s zeus01 515715072 0.597 0.547 false(reach) 11.238s 6.776s zeus07 436621312 0.421 0.257
product-lines/email_spec4_product25_false-unreach-call.cil.c false(reach) 22.420s 14.948s zeus11 665051136 0.651 0.694 false(reach) 12.086s 7.036s zeus14 445685760 0.423 0.257
product-lines/email_spec4_product27_false-unreach-call.cil.c false(reach) 23.142s 15.634s zeus11 679145472 0.667 0.720 false(reach) 12.123s 6.920s zeus24 457003008 0.426 0.268
product-lines/email_spec4_product30_false-unreach-call.cil.c false(reach) 16.299s 10.333s zeus15 533204992 0.568 0.546 false(reach) 12.109s 6.976s zeus19 439853056 0.395 0.253
product-lines/email_spec4_product31_false-unreach-call.cil.c false(reach) 17.795s 11.636s zeus03 575049728 0.610 0.562 false(reach) 12.907s 7.668s zeus04 463622144 0.436 0.269
product-lines/email_spec4_product32_false-unreach-call.cil.c false(reach) 23.654s 15.820s zeus01 683032576 0.637 0.716 false(reach) 11.708s 6.832s zeus19 456232960 0.401 0.264
product-lines/email_spec4_product33_false-unreach-call.cil.c false(reach) 18.985s 12.127s zeus07 631828480 0.626 0.588 false(reach) 13.044s 7.568s zeus07 472469504 0.439 0.280
product-lines/email_spec4_product34_false-unreach-call.cil.c false(reach) 26.854s 18.745s zeus09 716087296 0.678 0.732 false(reach) 15.376s 8.641s zeus17 481452032 0.440 0.280
product-lines/email_spec4_product35_false-unreach-call.cil.c false(reach) 27.841s 19.620s zeus18 709156864 0.693 0.757 false(reach) 12.894s 7.365s zeus19 465113088 0.406 0.275
product-lines/email_spec4_productSimulator_false-unreach-call.cil.c false(reach) 161.182s 142.980s zeus03 3364356096 0.728 0.789 false(reach) 12.845s 7.308s zeus22 480346112 0.402 0.277
product-lines/email_spec6_product12_false-unreach-call.cil.c false(reach) 13.403s 8.777s zeus05 460795904 0.516 0.457 false(reach) 11.363s 6.526s zeus21 405188608 0.385 0.239
product-lines/email_spec6_product14_false-unreach-call.cil.c false(reach) 21.335s 13.585s zeus03 530874368 0.589 0.631 false(reach) 11.178s 6.688s zeus24 415449088 0.390 0.246
product-lines/email_spec6_product15_false-unreach-call.cil.c false(reach) 15.207s 9.619s zeus02 464596992 0.542 0.492 false(reach) 11.740s 6.672s zeus20 424820736 0.384 0.238
product-lines/email_spec6_product16_false-unreach-call.cil.c false(reach) 14.675s 9.478s zeus23 471158784 0.574 0.504 false(reach) 11.283s 6.999s zeus04 408875008 0.383 0.238
product-lines/email_spec6_product20_false-unreach-call.cil.c false(reach) 19.571s 13.267s zeus24 546115584 0.613 0.665 false(reach) 10.751s 6.215s zeus01 410681344 0.386 0.245
product-lines/email_spec6_product21_false-unreach-call.cil.c false(reach) 21.516s 14.010s zeus16 578396160 0.645 0.678 false(reach) 10.995s 6.572s zeus05 418738176 0.388 0.245
product-lines/email_spec6_product22_false-unreach-call.cil.c false(reach) 15.278s 9.791s zeus05 472248320 0.591 0.531 false(reach) 11.700s 6.712s zeus20 406224896 0.381 0.237
product-lines/email_spec6_product26_false-unreach-call.cil.c false(reach) 23.447s 15.487s zeus05 576606208 0.660 0.703 false(reach) 11.480s 7.145s zeus21 425861120 0.386 0.244
product-lines/email_spec6_product28_false-unreach-call.cil.c false(reach) 13.609s 8.895s zeus06 462385152 0.553 0.520 false(reach) 10.816s 6.266s zeus09 415088640 0.383 0.246
product-lines/email_spec6_product29_false-unreach-call.cil.c false(reach) 22.381s 14.278s zeus21 570036224 0.622 0.691 false(reach) 11.108s 6.395s zeus12 417779712 0.387 0.253
product-lines/email_spec6_product30_false-unreach-call.cil.c false(reach) 16.714s 10.626s zeus19 507645952 0.572 0.546 false(reach) 11.541s 6.662s zeus22 429223936 0.382 0.245
product-lines/email_spec6_product31_false-unreach-call.cil.c false(reach) 16.271s 10.540s zeus09 500031488 0.614 0.562 false(reach) 11.247s 6.446s zeus15 419229696 0.381 0.245
product-lines/email_spec6_product32_false-unreach-call.cil.c false(reach) 23.328s 14.594s zeus15 559333376 0.640 0.716 false(reach) 11.874s 6.723s zeus21 431656960 0.386 0.252
product-lines/email_spec6_product33_false-unreach-call.cil.c false(reach) 16.714s 10.938s zeus08 505151488 0.629 0.588 false(reach) 11.474s 6.811s zeus04 420548608 0.379 0.244
product-lines/email_spec6_product34_false-unreach-call.cil.c false(reach) 21.938s 14.511s zeus08 581025792 0.681 0.732 false(reach) 12.180s 7.260s zeus14 432320512 0.385 0.252
product-lines/email_spec6_product35_false-unreach-call.cil.c false(reach) 24.119s 16.376s zeus18 670466048 0.696 0.757 false(reach) 12.547s 7.155s zeus16 436555776 0.384 0.251
product-lines/email_spec6_productSimulator_false-unreach-call.cil.c false(reach) 129.881s 113.494s zeus14 3054882816 0.730 0.789 false(reach) 12.563s 7.115s zeus11 468283392 0.402 0.263
product-lines/email_spec7_product28_false-unreach-call.cil.c false(reach) 15.049s 9.763s zeus01 488902656 0.547 0.518 false(reach) 11.380s 6.582s zeus04 419680256 0.390 0.259
product-lines/email_spec7_product29_false-unreach-call.cil.c false(reach) 22.450s 14.594s zeus19 582053888 0.618 0.690 false(reach) 11.638s 6.648s zeus19 435224576 0.394 0.266
product-lines/email_spec7_product30_false-unreach-call.cil.c false(reach) 15.368s 10.015s zeus05 482406400 0.567 0.544 false(reach) 11.187s 6.546s zeus15 420646912 0.377 0.238
product-lines/email_spec7_product31_false-unreach-call.cil.c false(reach) 16.814s 10.565s zeus09 509886464 0.609 0.560 false(reach) 11.327s 6.799s zeus23 423976960 0.388 0.258
product-lines/email_spec7_product32_false-unreach-call.cil.c false(reach) 23.496s 16.252s zeus03 657920000 0.636 0.715 false(reach) 11.376s 6.652s zeus22 437563392 0.391 0.265
product-lines/email_spec7_product33_false-unreach-call.cil.c false(reach) 17.314s 11.024s zeus15 513798144 0.625 0.586 false(reach) 11.745s 6.777s zeus20 425967616 0.386 0.257
product-lines/email_spec7_product34_false-unreach-call.cil.c false(reach) 23.773s 16.164s zeus09 667852800 0.677 0.731 false(reach) 11.424s 6.664s zeus14 432017408 0.392 0.265
product-lines/email_spec7_product35_false-unreach-call.cil.c false(reach) 24.608s 16.683s zeus17 659009536 0.692 0.756 false(reach) 11.756s 7.350s zeus23 438407168 0.389 0.264
product-lines/email_spec7_productSimulator_false-unreach-call.cil.c false(reach) 165.099s 147.994s zeus24 3235495936 0.727 0.788 false(reach) 13.132s 7.378s zeus17 480190464 0.424 0.306
product-lines/email_spec8_product15_false-unreach-call.cil.c false(reach) 13.815s 9.098s zeus12 472915968 0.540 0.492 false(reach) 12.053s 6.941s zeus03 436518912 0.426 0.295
product-lines/email_spec8_product16_false-unreach-call.cil.c false(reach) 14.318s 9.593s zeus12 511991808 0.573 0.504 false(reach) 12.880s 7.674s zeus04 450220032 0.454 0.303
product-lines/email_spec8_product20_false-unreach-call.cil.c false(reach) 24.204s 15.690s zeus14 663482368 0.612 0.665 false(reach) 11.614s 7.079s zeus14 440467456 0.432 0.306
product-lines/email_spec8_product21_false-unreach-call.cil.c false(reach) 29.178s 20.459s zeus18 714305536 0.643 0.678 false(reach) 12.552s 7.166s zeus02 457736192 0.459 0.314
product-lines/email_spec8_product22_false-unreach-call.cil.c false(reach) 17.691s 11.530s zeus08 550449152 0.590 0.531 false(reach) 12.166s 7.155s zeus02 449916928 0.457 0.314
product-lines/email_spec8_product26_false-unreach-call.cil.c false(reach) 27.456s 19.240s zeus07 708149248 0.659 0.703 false(reach) 12.765s 7.520s zeus14 465428480 0.462 0.325
product-lines/email_spec8_product30_false-unreach-call.cil.c false(reach) 18.760s 12.166s zeus04 561172480 0.571 0.546 false(reach) 12.763s 7.445s zeus15 461012992 0.443 0.321
product-lines/email_spec8_product31_false-unreach-call.cil.c false(reach) 18.017s 11.718s zeus24 639340544 0.612 0.562 false(reach) 13.467s 7.731s zeus18 490971136 0.481 0.333
product-lines/email_spec8_product32_false-unreach-call.cil.c false(reach) 30.241s 21.563s zeus18 714485760 0.639 0.716 false(reach) 13.304s 7.720s zeus20 471625728 0.447 0.332
product-lines/email_spec8_product33_false-unreach-call.cil.c false(reach) 19.046s 11.915s zeus21 658231296 0.628 0.588 false(reach) 14.735s 8.195s zeus12 486756352 0.483 0.344
product-lines/email_spec8_product34_false-unreach-call.cil.c false(reach) 29.852s 20.465s zeus12 717688832 0.680 0.732 false(reach) 14.991s 8.369s zeus14 500191232 0.484 0.344
product-lines/email_spec8_product35_false-unreach-call.cil.c false(reach) 31.747s 22.051s zeus12 724029440 0.694 0.757 false(reach) 15.281s 8.684s zeus17 496779264 0.487 0.355
product-lines/email_spec8_productSimulator_false-unreach-call.cil.c false(reach) 188.702s 169.732s zeus09 3464749056 0.730 0.789 false(reach) 13.557s 7.644s zeus16 486621184 0.454 0.336
product-lines/email_spec9_product15_false-unreach-call.cil.c false(reach) 13.499s 8.907s zeus16 476897280 0.540 0.492 false(reach) 11.794s 6.925s zeus16 435347456 0.426 0.295
product-lines/email_spec9_product16_false-unreach-call.cil.c false(reach) 14.705s 9.697s zeus24 522199040 0.573 0.504 false(reach) 12.963s 7.553s zeus14 447201280 0.454 0.303
product-lines/email_spec9_product20_false-unreach-call.cil.c false(reach) 23.800s 15.435s zeus24 672137216 0.612 0.665 false(reach) 11.679s 6.820s zeus23 444182528 0.432 0.306
product-lines/email_spec9_product21_false-unreach-call.cil.c false(reach) 28.801s 20.235s zeus04 696066048 0.643 0.678 false(reach) 12.807s 7.617s zeus08 463396864 0.459 0.314
product-lines/email_spec9_product22_false-unreach-call.cil.c false(reach) 16.826s 10.887s zeus03 520130560 0.590 0.531 false(reach) 12.578s 7.270s zeus08 437096448 0.431 0.306
product-lines/email_spec9_product26_false-unreach-call.cil.c false(reach) 27.403s 18.915s zeus12 710356992 0.659 0.703 false(reach) 13.039s 7.360s zeus13 466296832 0.462 0.325
product-lines/email_spec9_product30_false-unreach-call.cil.c false(reach) 18.154s 11.686s zeus11 557174784 0.571 0.546 false(reach) 12.800s 7.862s zeus11 466219008 0.443 0.321
product-lines/email_spec9_product31_false-unreach-call.cil.c false(reach) 17.953s 11.710s zeus22 645668864 0.612 0.562 false(reach) 13.887s 8.070s zeus04 488738816 0.481 0.333
product-lines/email_spec9_product32_false-unreach-call.cil.c false(reach) 31.363s 22.064s zeus22 716668928 0.639 0.716 false(reach) 13.854s 7.814s zeus13 471429120 0.447 0.332
product-lines/email_spec9_product33_false-unreach-call.cil.c false(reach) 19.023s 11.971s zeus13 656400384 0.628 0.588 false(reach) 14.032s 8.204s zeus23 486912000 0.483 0.344
product-lines/email_spec9_product34_false-unreach-call.cil.c false(reach) 26.716s 18.696s zeus06 713183232 0.680 0.732 false(reach) 14.605s 8.205s zeus24 498237440 0.484 0.344
product-lines/email_spec9_product35_false-unreach-call.cil.c false(reach) 31.757s 21.936s zeus01 724406272 0.694 0.757 false(reach) 14.789s 8.449s zeus03 501379072 0.487 0.355
product-lines/email_spec9_productSimulator_false-unreach-call.cil.c false(reach) 156.543s 139.513s zeus02 3459375104 0.730 0.789 false(reach) 13.937s 7.934s zeus23 489578496 0.454 0.336
product-lines/minepump_spec1_product33_false-unreach-call.cil.c false(reach) 5.313s 3.433s zeus10 225640448 0.357 0.545 false(reach) 6.022s 3.947s zeus11 244969472 0.284 0.455
product-lines/minepump_spec1_product34_false-unreach-call.cil.c false(reach) 5.298s 3.433s zeus11 233390080 0.363 0.545 false(reach) 6.385s 4.005s zeus15 249729024 0.290 0.455
product-lines/minepump_spec1_product35_false-unreach-call.cil.c false(reach) 5.491s 3.486s zeus18 234004480 0.368 0.559 false(reach) 6.133s 3.733s zeus07 244760576 0.286 0.471
product-lines/minepump_spec1_product36_false-unreach-call.cil.c false(reach) 5.489s 3.497s zeus14 230477824 0.374 0.559 false(reach) 6.411s 3.919s zeus23 256200704 0.289 0.471
product-lines/minepump_spec1_product37_false-unreach-call.cil.c false(reach) 5.480s 3.521s zeus21 237252608 0.375 0.571 false(reach) 6.204s 3.961s zeus14 246448128 0.287 0.486
product-lines/minepump_spec1_product38_false-unreach-call.cil.c false(reach) 5.610s 3.608s zeus20 235540480 0.380 0.571 false(reach) 6.414s 3.750s zeus11 250060800 0.293 0.457
product-lines/minepump_spec1_product39_false-unreach-call.cil.c false(reach) 5.596s 3.623s zeus11 234590208 0.382 0.583 false(reach) 6.464s 4.013s zeus10 249380864 0.289 0.472
product-lines/minepump_spec1_product40_false-unreach-call.cil.c false(reach) 5.810s 3.692s zeus22 236064768 0.388 0.583 false(reach) 6.390s 3.942s zeus18 249315328 0.292 0.472
product-lines/minepump_spec1_product41_false-unreach-call.cil.c false(reach) 6.344s 4.090s zeus23 262991872 0.368 0.559 false(reach) 6.876s 4.307s zeus06 261066752 0.310 0.529
product-lines/minepump_spec1_product42_false-unreach-call.cil.c false(reach) 6.515s 4.281s zeus17 255954944 0.373 0.559 false(reach) 6.749s 3.956s zeus18 256012288 0.312 0.529
product-lines/minepump_spec1_product43_false-unreach-call.cil.c false(reach) 6.876s 4.372s zeus09 254496768 0.379 0.571 false(reach) 6.555s 3.964s zeus05 256749568 0.311 0.514
product-lines/minepump_spec1_product44_false-unreach-call.cil.c false(reach) 6.235s 4.086s zeus02 261648384 0.384 0.571 false(reach) 6.787s 4.192s zeus22 257249280 0.317 0.514
product-lines/minepump_spec1_product49_false-unreach-call.cil.c false(reach) 5.770s 3.691s zeus03 237367296 0.383 0.583 false(reach) 6.059s 3.727s zeus19 244744192 0.281 0.472
product-lines/minepump_spec1_product50_false-unreach-call.cil.c false(reach) 6.176s 3.890s zeus20 233050112 0.388 0.583 false(reach) 6.194s 3.888s zeus23 250548224 0.287 0.444
product-lines/minepump_spec1_product51_false-unreach-call.cil.c false(reach) 6.072s 3.811s zeus04 238235648 0.390 0.595 false(reach) 6.687s 4.110s zeus17 245612544 0.283 0.459
product-lines/minepump_spec1_product52_false-unreach-call.cil.c false(reach) 5.753s 3.692s zeus02 238260224 0.395 0.595 false(reach) 6.274s 4.005s zeus23 254857216 0.286 0.459
product-lines/minepump_spec1_product53_false-unreach-call.cil.c false(reach) 6.108s 3.866s zeus23 248954880 0.396 0.605 false(reach) 6.689s 3.981s zeus04 248418304 0.284 0.474
product-lines/minepump_spec1_product54_false-unreach-call.cil.c false(reach) 6.470s 4.064s zeus09 252329984 0.401 0.605 false(reach) 6.357s 3.838s zeus21 248733696 0.290 0.447
product-lines/minepump_spec1_product55_false-unreach-call.cil.c false(reach) 6.091s 3.916s zeus24 249819136 0.403 0.615 false(reach) 6.666s 3.968s zeus04 248492032 0.286 0.436
product-lines/minepump_spec1_product56_false-unreach-call.cil.c false(reach) 6.062s 3.882s zeus24 249139200 0.408 0.615 false(reach) 6.392s 3.875s zeus17 253018112 0.289 0.462
product-lines/minepump_spec1_productSimulator_false-unreach-call.cil.c false(reach) 8.336s 5.181s zeus02 289046528 0.460 0.674 false(reach) 7.185s 4.251s zeus12 265342976 0.318 0.435
product-lines/minepump_spec2_product33_false-unreach-call.cil.c false(reach) 6.411s 4.160s zeus22 256503808 0.366 0.559 false(reach) 6.867s 4.292s zeus13 261603328 0.305 0.529
product-lines/minepump_spec2_product34_false-unreach-call.cil.c false(reach) 6.413s 4.117s zeus02 254005248 0.372 0.559 false(reach) 6.994s 4.167s zeus15 260435968 0.311 0.529
product-lines/minepump_spec2_product35_false-unreach-call.cil.c false(reach) 6.449s 4.080s zeus03 263405568 0.377 0.571 false(reach) 6.542s 4.143s zeus18 254910464 0.306 0.514
product-lines/minepump_spec2_product36_false-unreach-call.cil.c false(reach) 6.394s 4.069s zeus14 256401408 0.383 0.571 false(reach) 6.439s 4.062s zeus14 256131072 0.309 0.514
product-lines/minepump_spec2_product41_false-unreach-call.cil.c false(reach) 7.293s 4.726s zeus11 281505792 0.377 0.571 false(reach) 7.629s 4.834s zeus09 268988416 0.318 0.543
product-lines/minepump_spec2_product42_false-unreach-call.cil.c false(reach) 7.262s 4.690s zeus16 280035328 0.382 0.571 false(reach) 7.300s 4.401s zeus04 266473472 0.324 0.543
product-lines/minepump_spec2_product43_false-unreach-call.cil.c false(reach) 7.994s 5.431s zeus03 286830592 0.388 0.583 false(reach) 7.408s 4.512s zeus13 264986624 0.319 0.528
product-lines/minepump_spec2_product44_false-unreach-call.cil.c false(reach) 7.514s 4.837s zeus24 284479488 0.393 0.583 false(reach) 7.597s 4.716s zeus05 263430144 0.321 0.528
product-lines/minepump_spec2_productSimulator_false-unreach-call.cil.c false(reach) 13.777s 7.850s zeus12 386760704 0.467 0.681 false(reach) 7.538s 4.594s zeus12 282873856 0.335 0.489
product-lines/minepump_spec3_product01_false-unreach-call.cil.c false(reach) 4.802s 3.170s zeus06 223997952 0.335 0.500 false(reach) 6.219s 3.926s zeus05 239108096 0.265 0.400
product-lines/minepump_spec3_product02_false-unreach-call.cil.c false(reach) 4.839s 3.171s zeus11 225415168 0.341 0.500 false(reach) 6.299s 3.675s zeus21 238063616 0.272 0.367
product-lines/minepump_spec3_product03_false-unreach-call.cil.c false(reach) 4.928s 3.246s zeus07 225939456 0.347 0.516 false(reach) 6.110s 3.831s zeus06 238628864 0.269 0.419
product-lines/minepump_spec3_product04_false-unreach-call.cil.c false(reach) 4.862s 3.147s zeus09 223551488 0.353 0.516 false(reach) 6.001s 3.785s zeus11 240533504 0.272 0.419
product-lines/minepump_spec3_product05_false-unreach-call.cil.c false(reach) 5.060s 3.300s zeus08 226373632 0.352 0.531 false(reach) 5.957s 4.098s zeus18 239640576 0.269 0.406
product-lines/minepump_spec3_product06_false-unreach-call.cil.c false(reach) 4.915s 3.250s zeus17 224448512 0.358 0.531 false(reach) 5.969s 3.724s zeus05 238194688 0.272 0.406
product-lines/minepump_spec3_product07_false-unreach-call.cil.c false(reach) 4.830s 3.209s zeus07 222593024 0.360 0.545 false(reach) 6.462s 3.900s zeus16 238620672 0.271 0.394
product-lines/minepump_spec3_product08_false-unreach-call.cil.c false(reach) 5.229s 3.405s zeus01 227053568 0.366 0.545 false(reach) 6.407s 3.841s zeus22 246120448 0.268 0.394
product-lines/minepump_spec3_product09_false-unreach-call.cil.c false(reach) 4.897s 3.226s zeus18 225857536 0.332 0.484 false(reach) 6.567s 4.007s zeus07 251211776 0.263 0.387
product-lines/minepump_spec3_product10_false-unreach-call.cil.c false(reach) 4.929s 3.264s zeus20 219955200 0.338 0.484 false(reach) 5.933s 3.750s zeus15 239816704 0.269 0.355
product-lines/minepump_spec3_product11_false-unreach-call.cil.c false(reach) 4.739s 3.189s zeus16 225685504 0.344 0.500 false(reach) 5.684s 3.465s zeus19 239456256 0.267 0.406
product-lines/minepump_spec3_product12_false-unreach-call.cil.c false(reach) 5.029s 3.339s zeus19 224141312 0.350 0.500 false(reach) 5.977s 3.845s zeus23 240472064 0.270 0.406
product-lines/minepump_spec3_product13_false-unreach-call.cil.c false(reach) 4.813s 3.157s zeus18 227422208 0.349 0.515 false(reach) 5.995s 3.725s zeus23 239222784 0.266 0.394
product-lines/minepump_spec3_product14_false-unreach-call.cil.c false(reach) 5.410s 3.678s zeus23 231342080 0.355 0.515 false(reach) 6.284s 4.031s zeus11 246472704 0.269 0.394
product-lines/minepump_spec3_product15_false-unreach-call.cil.c false(reach) 5.691s 3.775s zeus23 227364864 0.357 0.529 false(reach) 5.909s 3.628s zeus06 244121600 0.268 0.382
product-lines/minepump_spec3_product16_false-unreach-call.cil.c false(reach) 4.840s 3.174s zeus16 228515840 0.363 0.529 false(reach) 6.423s 4.062s zeus11 245743616 0.266 0.382
product-lines/minepump_spec3_product17_false-unreach-call.cil.c false(reach) 5.240s 3.323s zeus03 232202240 0.361 0.545 false(reach) 5.953s 3.786s zeus24 249511936 0.263 0.394
product-lines/minepump_spec3_product18_false-unreach-call.cil.c false(reach) 5.194s 3.322s zeus20 228765696 0.366 0.545 false(reach) 6.220s 3.673s zeus04 245080064 0.266 0.394
product-lines/minepump_spec3_product19_false-unreach-call.cil.c false(reach) 5.165s 3.289s zeus16 229916672 0.368 0.559 false(reach) 6.109s 3.627s zeus20 247042048 0.265 0.382
product-lines/minepump_spec3_product20_false-unreach-call.cil.c false(reach) 5.420s 3.497s zeus18 227303424 0.374 0.559 false(reach) 6.394s 3.831s zeus19 242331648 0.263 0.382
product-lines/minepump_spec3_product21_false-unreach-call.cil.c false(reach) 5.551s 3.505s zeus19 233644032 0.375 0.571 false(reach) 6.138s 3.710s zeus19 242663424 0.266 0.400
product-lines/minepump_spec3_product22_false-unreach-call.cil.c false(reach) 5.725s 3.698s zeus14 231968768 0.380 0.571 false(reach) 6.571s 3.947s zeus03 247013376 0.269 0.400
product-lines/minepump_spec3_product23_false-unreach-call.cil.c false(reach) 5.518s 3.495s zeus24 239661056 0.382 0.583 false(reach) 6.239s 3.769s zeus22 249040896 0.268 0.389
product-lines/minepump_spec3_product24_false-unreach-call.cil.c false(reach) 5.286s 3.443s zeus09 232316928 0.388 0.583 false(reach) 6.286s 3.789s zeus05 245813248 0.259 0.361
product-lines/minepump_spec3_product25_false-unreach-call.cil.c false(reach) 5.080s 3.287s zeus13 227594240 0.357 0.529 false(reach) 5.972s 3.899s zeus13 244523008 0.261 0.382
product-lines/minepump_spec3_product26_false-unreach-call.cil.c false(reach) 5.232s 3.336s zeus02 232288256 0.363 0.529 false(reach) 6.024s 3.695s zeus11 245305344 0.264 0.382
product-lines/minepump_spec3_product27_false-unreach-call.cil.c false(reach) 5.176s 3.297s zeus22 234237952 0.365 0.543 false(reach) 6.398s 3.841s zeus07 246607872 0.263 0.371
product-lines/minepump_spec3_product28_false-unreach-call.cil.c false(reach) 5.236s 3.339s zeus01 227151872 0.371 0.543 false(reach) 6.397s 3.735s zeus20 250068992 0.260 0.371
product-lines/minepump_spec3_product29_false-unreach-call.cil.c false(reach) 5.422s 3.483s zeus11 232824832 0.372 0.556 false(reach) 6.361s 3.751s zeus07 247275520 0.264 0.389
product-lines/minepump_spec3_product30_false-unreach-call.cil.c false(reach) 5.281s 3.395s zeus08 235397120 0.377 0.556 false(reach) 6.194s 3.879s zeus23 245837824 0.267 0.389
product-lines/minepump_spec3_product31_false-unreach-call.cil.c false(reach) 5.887s 3.752s zeus07 236560384 0.379 0.568 false(reach) 6.025s 3.636s zeus05 241467392 0.266 0.378
product-lines/minepump_spec3_product32_false-unreach-call.cil.c false(reach) 5.448s 3.501s zeus01 231493632 0.384 0.568 false(reach) 6.480s 3.804s zeus23 246919168 0.257 0.351
product-lines/minepump_spec3_product35_false-unreach-call.cil.c false(reach) 5.657s 3.771s zeus13 225939456 0.377 0.571 false(reach) 6.167s 3.821s zeus22 245096448 0.258 0.371
product-lines/minepump_spec3_product36_false-unreach-call.cil.c false(reach) 5.461s 3.532s zeus07 230629376 0.382 0.571 false(reach) 6.134s 4.022s zeus18 242606080 0.261 0.371
product-lines/minepump_spec3_product39_false-unreach-call.cil.c false(reach) 5.843s 3.693s zeus20 232816640 0.391 0.595 false(reach) 6.045s 3.784s zeus23 244678656 0.255 0.351
product-lines/minepump_spec3_product40_false-unreach-call.cil.c false(reach) 5.866s 3.768s zeus10 228769792 0.396 0.595 false(reach) 6.223s 3.877s zeus02 250683392 0.258 0.351
product-lines/minepump_spec3_product43_false-unreach-call.cil.c false(reach) 5.577s 3.532s zeus03 234467328 0.388 0.583 false(reach) 6.401s 4.170s zeus18 251944960 0.256 0.361
product-lines/minepump_spec3_product44_false-unreach-call.cil.c false(reach) 5.533s 3.529s zeus02 228790272 0.393 0.583 false(reach) 6.126s 3.647s zeus05 244518912 0.259 0.361
product-lines/minepump_spec3_product47_false-unreach-call.cil.c false(reach) 6.068s 3.828s zeus18 244826112 0.396 0.605 false(reach) 5.887s 3.500s zeus17 243572736 0.253 0.342
product-lines/minepump_spec3_product48_false-unreach-call.cil.c false(reach) 5.985s 3.787s zeus20 239009792 0.401 0.605 false(reach) 6.032s 3.609s zeus23 244903936 0.255 0.342
product-lines/minepump_spec3_product51_false-unreach-call.cil.c false(reach) 5.494s 3.569s zeus24 234594304 0.396 0.605 false(reach) 6.346s 3.740s zeus09 252104704 0.250 0.342
product-lines/minepump_spec3_product52_false-unreach-call.cil.c false(reach) 5.511s 3.572s zeus02 234029056 0.401 0.605 false(reach) 6.394s 3.722s zeus08 246554624 0.253 0.342
product-lines/minepump_spec3_product55_false-unreach-call.cil.c false(reach) 5.944s 3.788s zeus10 236658688 0.409 0.625 false(reach) 6.398s 3.756s zeus03 249982976 0.246 0.325
product-lines/minepump_spec3_product56_false-unreach-call.cil.c false(reach) 5.891s 3.772s zeus09 246259712 0.414 0.625 false(reach) 6.407s 3.820s zeus01 245723136 0.249 0.325
product-lines/minepump_spec3_product59_false-unreach-call.cil.c false(reach) 5.993s 3.792s zeus22 235401216 0.406 0.615 false(reach) 6.254s 3.666s zeus14 247132160 0.247 0.333
product-lines/minepump_spec3_product60_false-unreach-call.cil.c false(reach) 5.569s 3.560s zeus20 237023232 0.411 0.615 false(reach) 6.397s 3.830s zeus12 249954304 0.250 0.333
product-lines/minepump_spec3_product63_false-unreach-call.cil.c false(reach) 6.063s 3.888s zeus08 244150272 0.414 0.634 false(reach) 6.215s 3.854s zeus18 245850112 0.244 0.317
product-lines/minepump_spec3_product64_false-unreach-call.cil.c false(reach) 6.121s 3.954s zeus21 241573888 0.419 0.634 false(reach) 6.423s 3.899s zeus05 242999296 0.247 0.317
product-lines/minepump_spec3_productSimulator_false-unreach-call.cil.c false(reach) 7.699s 4.862s zeus09 282660864 0.466 0.681 false(reach) 6.655s 4.352s zeus10 261681152 0.297 0.340
product-lines/minepump_spec4_product33_false-unreach-call.cil.c false(reach) 6.196s 4.031s zeus08 257744896 0.355 0.545 false(reach) 6.758s 4.035s zeus04 252207104 0.293 0.485
product-lines/minepump_spec4_product34_false-unreach-call.cil.c false(reach) 6.430s 4.123s zeus03 262516736 0.361 0.545 false(reach) 6.812s 3.997s zeus03 265633792 0.296 0.485
product-lines/minepump_spec4_product35_false-unreach-call.cil.c false(reach) 6.661s 4.242s zeus11 262529024 0.367 0.559 false(reach) 6.617s 3.964s zeus21 256634880 0.300 0.500
product-lines/minepump_spec4_product36_false-unreach-call.cil.c false(reach) 6.577s 4.197s zeus15 262479872 0.372 0.559 false(reach) 6.599s 3.913s zeus16 263593984 0.301 0.471
product-lines/minepump_spec4_product37_false-unreach-call.cil.c false(reach) 6.839s 4.455s zeus11 277839872 0.378 0.571 false(reach) 7.137s 4.222s zeus02 261713920 0.312 0.514
product-lines/minepump_spec4_product38_false-unreach-call.cil.c false(reach) 7.077s 4.563s zeus09 277037056 0.384 0.571 false(reach) 6.657s 4.229s zeus13 260775936 0.314 0.514
product-lines/minepump_spec4_product39_false-unreach-call.cil.c false(reach) 7.464s 4.702s zeus05 276361216 0.386 0.583 false(reach) 7.348s 4.402s zeus05 264904704 0.320 0.528
product-lines/minepump_spec4_product40_false-unreach-call.cil.c false(reach) 7.130s 4.588s zeus06 278953984 0.391 0.583 false(reach) 6.757s 4.218s zeus08 269029376 0.319 0.500
product-lines/minepump_spec4_product41_false-unreach-call.cil.c false(reach) 6.428s 4.181s zeus17 261332992 0.371 0.559 false(reach) 6.587s 4.290s zeus18 258940928 0.310 0.500
product-lines/minepump_spec4_product42_false-unreach-call.cil.c false(reach) 6.819s 4.333s zeus22 268197888 0.377 0.559 false(reach) 6.863s 4.473s zeus06 264364032 0.316 0.500
product-lines/minepump_spec4_product43_false-unreach-call.cil.c false(reach) 6.942s 4.441s zeus08 265506816 0.383 0.571 false(reach) 6.987s 4.300s zeus17 260907008 0.311 0.486
product-lines/minepump_spec4_product44_false-unreach-call.cil.c false(reach) 7.185s 4.604s zeus18 271785984 0.388 0.571 false(reach) 6.760s 4.432s zeus18 262316032 0.324 0.514
product-lines/minepump_spec4_product45_false-unreach-call.cil.c false(reach) 7.218s 4.645s zeus03 290004992 0.384 0.583 false(reach) 6.853s 4.322s zeus02 264482816 0.318 0.528
product-lines/minepump_spec4_product46_false-unreach-call.cil.c false(reach) 7.317s 4.693s zeus03 287551488 0.389 0.583 false(reach) 7.474s 4.602s zeus08 271495168 0.324 0.528
product-lines/minepump_spec4_product47_false-unreach-call.cil.c false(reach) 7.200s 4.670s zeus13 287338496 0.391 0.595 false(reach) 7.320s 4.837s zeus03 270962688 0.319 0.514
product-lines/minepump_spec4_product48_false-unreach-call.cil.c false(reach) 7.540s 4.877s zeus18 286334976 0.396 0.595 false(reach) 7.139s 4.181s zeus02 267546624 0.325 0.514
product-lines/minepump_spec4_productSimulator_false-unreach-call.cil.c false(reach) 13.912s 8.089s zeus02 401354752 0.463 0.674 false(reach) 7.731s 4.594s zeus19 282714112 0.326 0.457
systemc/kundu1_false-unreach-call_false-termination.cil.c false(reach) 10.707s 7.289s zeus24 374751232 0.969 1.000 false(reach) 7.815s 4.711s zeus18 290447360 0.836 0.829
systemc/kundu2_false-unreach-call_false-termination.cil.c false(reach) 8.988s 5.953s zeus02 324857856 0.981 1.000 false(reach) 7.444s 4.591s zeus11 282546176 0.872 0.936
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) 5.093s 3.156s zeus07 228450304 0.446 0.240
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) 5.508s 3.338s zeus11 236138496 0.536 0.441
systemc/pipeline_false-unreach-call_false-termination.cil.c false(reach) 827.023s 813.044s zeus22 808693760 0.998 1.000 false(reach) 15.296s 9.292s zeus23 669970432 0.921 0.919
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) 6.823s 4.420s zeus15 253624320 0.829 0.800
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) 7.959s 4.598s zeus09 281337856 0.826 0.800
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) 8.764s 5.219s zeus22 307425280 0.824 0.800
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) 9.377s 5.549s zeus19 333029376 0.822 0.800
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) 11.777s 6.819s zeus19 377192448 0.821 0.800
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) 11.961s 7.076s zeus22 417734656 0.820 0.800
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) 12.511s 7.337s zeus10 448520192 0.820 0.800
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) 13.557s 7.875s zeus15 496939008 0.819 0.800
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) 14.186s 8.660s zeus13 544194560 0.819 0.800
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) 15.504s 8.978s zeus02 671621120 0.818 0.800
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) 16.018s 9.983s zeus06 699867136 0.818 0.800
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) 18.289s 10.873s zeus13 741355520 0.818 0.800
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) 18.487s 10.924s zeus05 741199872 0.818 0.800
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) 17.909s 10.497s zeus21 730284032 0.817 0.798
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) 18.058s 10.526s zeus17 733380608 0.817 0.798
systemc/toy1_false-unreach-call_false-termination.cil.c false(reach) 14.043s 9.178s zeus22 425922560 0.994 1.000 false(reach) 9.008s 5.258s zeus12 293818368 0.908 0.928
systemc/toy2_false-unreach-call_false-termination.cil.c false(reach) 10.435s 6.669s zeus14 351703040 0.994 1.000 false(reach) 8.587s 5.141s zeus20 294723584 0.906 0.926
systemc/transmitter.01_false-unreach-call_false-termination.cil.c false(reach) 4.699s 3.149s zeus16 233046016 0.900 0.806 false(reach) 5.718s 3.542s zeus17 240488448 0.799 0.710
systemc/transmitter.02_false-unreach-call_false-termination.cil.c false(reach) 6.079s 3.939s zeus07 272261120 0.909 0.826 false(reach) 6.939s 4.431s zeus21 261160960 0.805 0.761
systemc/transmitter.03_false-unreach-call_false-termination.cil.c false(reach) 7.182s 4.646s zeus11 314261504 0.916 0.836 false(reach) 7.817s 5.186s zeus10 281747456 0.807 0.770
systemc/transmitter.04_false-unreach-call_false-termination.cil.c false(reach) 8.073s 5.272s zeus22 362340352 0.920 0.842 false(reach) 8.902s 5.358s zeus24 319901696 0.807 0.776
systemc/transmitter.05_false-unreach-call_false-termination.cil.c false(reach) 9.611s 6.227s zeus17 418672640 0.923 0.846 false(reach) 9.971s 5.742s zeus18 350715904 0.808 0.780
systemc/transmitter.06_false-unreach-call_false-termination.cil.c false(reach) 10.706s 6.868s zeus10 497311744 0.925 0.849 false(reach) 11.907s 6.945s zeus01 390934528 0.808 0.783
systemc/transmitter.07_false-unreach-call_false-termination.cil.c false(reach) 12.362s 8.175s zeus03 630296576 0.927 0.851 false(reach) 12.108s 7.206s zeus02 425975808 0.809 0.785
systemc/transmitter.08_false-unreach-call_false-termination.cil.c false(reach) 13.800s 9.078s zeus23 666599424 0.928 0.853 false(reach) 13.053s 7.598s zeus14 466087936 0.809 0.787
systemc/transmitter.09_false-unreach-call_false-termination.cil.c false(reach) 15.451s 10.338s zeus12 674873344 0.930 0.854 false(reach) 14.225s 8.209s zeus07 515477504 0.809 0.788
systemc/transmitter.10_false-unreach-call_false-termination.cil.c false(reach) 17.597s 12.221s zeus08 684195840 0.931 0.855 false(reach) 14.791s 8.719s zeus17 650252288 0.809 0.789
systemc/transmitter.11_false-unreach-call_false-termination.cil.c false(reach) 23.205s 15.972s zeus18 734576640 0.931 0.856 false(reach) 16.137s 9.406s zeus23 684081152 0.810 0.790
systemc/transmitter.12_false-unreach-call_false-termination.cil.c false(reach) 23.115s 16.101s zeus11 760549376 0.932 0.857 false(reach) 17.362s 10.596s zeus03 712822784 0.810 0.791
systemc/transmitter.13_false-unreach-call_false-termination.cil.c false(reach) 28.503s 20.088s zeus16 775618560 0.933 0.858 false(reach) 18.133s 10.743s zeus22 728670208 0.810 0.791
systemc/transmitter.15_false-unreach-call_false-termination.cil.c false(reach) 7.605s 4.873s zeus18 323502080 0.701 0.621 false(reach) 9.778s 5.706s zeus02 337690624 0.518 0.483
systemc/transmitter.16_false-unreach-call_false-termination.cil.c false(reach) 8.865s 5.434s zeus22 374718464 0.700 0.619 false(reach) 10.354s 5.936s zeus18 368349184 0.539 0.487
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) 7.905s 4.741s zeus18 304005120 0.682 0.529
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) 8.062s 4.826s zeus13 301289472 0.681 0.524
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) 9.985s 5.834s zeus04 347725824 0.752 0.647
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) 9.690s 5.690s zeus14 346218496 0.751 0.644
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) 9.827s 5.792s zeus09 346284032 0.699 0.577
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) 10.099s 5.910s zeus20 344014848 0.737 0.660
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) 20.240s 12.319s zeus23 670236672 0.989 1.000
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) 12.923s 7.850s zeus07 433987584 0.805 0.718
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) 10.192s 6.096s zeus16 340520960 0.801 0.823
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) 9.268s 5.549s zeus17 322211840 0.789 0.789
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) 8.402s 5.035s zeus22 300388352 0.788 0.824
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) 8.240s 5.079s zeus17 300097536 0.787 0.822
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) 10.325s 6.222s zeus11 358092800 0.804 0.853
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) 9.727s 5.903s zeus07 336207872 0.807 0.851
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) 9.856s 5.870s zeus01 328876032 0.798 0.842
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) 10.327s 6.373s zeus04 344858624 0.827 0.804
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) 8.081s 5.084s zeus15 304623616 0.826 0.800
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) 9.963s 5.886s zeus14 329609216 0.780 0.679
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) 8.092s 5.071s zeus18 297910272 0.779 0.673
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) 10.456s 6.415s zeus04 344190976 0.876 0.952
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) 8.341s 5.016s zeus07 300879872 0.876 0.951
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) 9.073s 5.499s zeus15 318550016 0.783 0.820
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) 8.333s 4.912s zeus21 313290752 0.780 0.818
seq-pthread/cs_lazy_false-unreach-call.i false(reach) 197.406s 193.200s zeus06 673267712 0.930 0.848 timeout 952.701s 878.437s zeus18 7812460544 0.933 0.848
seq-pthread/cs_read_write_lock_false-unreach-call.i false(reach) 893.664s 888.530s zeus08 866672640 0.843 0.606 timeout 1001.994s 834.255s zeus01 9194708992 - -
seq-pthread/cs_stack_false-unreach-call.i false(reach) 38.635s 32.943s zeus21 528609280 0.944 0.861 timeout 1001.997s 869.892s zeus03 9952391168 - -
seq-pthread/cs_dekker_true-unreach-call.i false(reach) 30.874s 27.770s zeus12 405897216 0.783 0.475 timeout 916.016s 863.813s zeus24 5923315712 0.785 0.475
seq-pthread/cs_lamport_true-unreach-call.i false(reach) 32.807s 29.883s zeus21 417865728 0.692 0.355 timeout 914.319s 886.117s zeus10 5822730240 0.694 0.355
seq-pthread/cs_peterson_true-unreach-call.i false(reach) 27.031s 24.096s zeus24 402690048 0.830 0.524 timeout 919.600s 866.735s zeus02 6896779264 0.832 0.524
seq-pthread/cs_read_write_lock_true-unreach-call.i false(reach) 858.395s 853.349s zeus12 875794432 0.845 0.614 timeout 1001.974s 831.700s zeus21 9177042944 - -
seq-pthread/cs_stateful_true-unreach-call.i false(reach) 57.327s 53.375s zeus23 523247616 0.932 0.847 timeout 1002.020s 865.340s zeus22 9056526336 - -
seq-pthread/cs_szymanski_true-unreach-call.i false(reach) 29.938s 27.002s zeus14 417906688 0.748 0.390 timeout 918.460s 863.400s zeus14 6939828224 0.750 0.390
ntdrivers/diskperf_false-unreach-call.i.cil.c false(reach) 15.088s 10.689s zeus14 460374016 0.835 0.652 false(reach) 13.198s 7.868s zeus24 544989184 0.669 0.163
ntdrivers/floppy_false-unreach-call.i.cil.c false(reach) 23.017s 15.288s zeus09 660373504 0.554 0.377 false(reach) 14.406s 8.061s zeus08 659079168 0.365 0.076
ntdrivers/kbfiltr_false-unreach-call.i.cil.c false(reach) 8.771s 5.590s zeus10 308776960 0.898 0.797 false(reach) 10.069s 5.755s zeus01 368496640 0.720 0.301
ssh/s3_clnt.blast.01_false-unreach-call.i.cil.c false(reach) 11.871s 7.589s zeus23 371679232 0.988 0.966 false(reach) 8.393s 5.223s zeus03 296919040 0.988 0.477
ssh/s3_clnt.blast.02_false-unreach-call.i.cil.c false(reach) 11.055s 6.955s zeus13 364437504 0.988 0.966 false(reach) 8.110s 5.328s zeus18 299433984 0.988 0.483
ssh/s3_clnt.blast.03_false-unreach-call.i.cil.c false(reach) 10.566s 6.719s zeus23 337465344 0.988 0.966 false(reach) 8.563s 5.285s zeus18 299601920 0.988 0.483
ssh/s3_clnt.blast.04_false-unreach-call.i.cil.c false(reach) 9.368s 6.045s zeus05 321175552 0.988 0.966 false(reach) 8.070s 4.946s zeus11 300716032 0.988 0.483
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) 8.197s 4.949s zeus24 310018048 0.980 0.485
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) 8.531s 5.114s zeus15 289644544 0.980 0.475
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) 7.982s 4.787s zeus03 293904384 0.980 0.475
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) 8.398s 4.901s zeus03 302583808 0.980 0.525
ssh/s3_srvr.blast.06_false-unreach-call.i.cil.c false(reach) 14.300s 8.993s zeus19 433852416 0.981 0.957 false(reach) 9.052s 5.241s zeus06 316334080 0.981 0.556
ssh/s3_srvr.blast.07_false-unreach-call.i.cil.c false(reach) 10.653s 6.784s zeus02 363208704 0.980 0.953 false(reach) 8.464s 4.985s zeus23 311361536 0.980 0.538
ssh/s3_srvr.blast.08_false-unreach-call.i.cil.c false(reach) 16.513s 10.683s zeus08 508424192 0.980 0.953 false(reach) 10.074s 5.816s zeus23 343080960 0.980 0.642
ssh/s3_srvr.blast.09_false-unreach-call.i.cil.c false(reach) 10.296s 6.705s zeus23 375316480 0.980 0.953 false(reach) 9.042s 5.288s zeus04 313352192 0.980 0.547
ssh/s3_srvr.blast.10_false-unreach-call.i.cil.c false(reach) 15.999s 10.286s zeus10 490844160 0.980 0.951 false(reach) 10.060s 5.843s zeus02 336338944 0.980 0.592
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) 8.393s 5.001s zeus21 300154880 0.980 0.415
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) 8.963s 5.249s zeus05 302166016 0.980 0.481
ssh/s3_srvr.blast.13_false-unreach-call.i.cil.c false(reach) 10.165s 6.614s zeus06 360615936 0.980 0.953 false(reach) 8.740s 5.117s zeus10 311050240 0.980 0.538
ssh/s3_srvr.blast.14_false-unreach-call.i.cil.c false(reach) 11.036s 7.160s zeus04 378736640 0.980 0.955 false(reach) 9.021s 5.499s zeus16 314683392 0.980 0.550
ssh/s3_srvr.blast.15_false-unreach-call.i.cil.c false(reach) 16.812s 11.043s zeus01 496476160 0.980 0.954 false(reach) 9.657s 5.587s zeus09 326881280 0.980 0.532
ssh/s3_srvr.blast.16_false-unreach-call.i.cil.c false(reach) 10.469s 6.795s zeus19 378314752 0.981 0.956 false(reach) 9.111s 5.357s zeus06 314036224 0.981 0.553
../../sv-benchmarks/c/ status cputime walltime host memUsage Line coverage Condition coverage status cputime walltime host memUsage Line coverage Condition coverage
total tasks 634 39344.340 34425.289 - 670999031808 480.236 468.542 634 20231.415 15073.864 - 444867059712 314.689 262.611
    correct results 596 36706.258 32031.986 - 649416404992 448.683 442.585 585 8836.316 5106.513 - 324154953728 287.168 243.960
        correct true 0 - - - - - - 0 - - - - - -
        correct false 596 36706.258 32031.986 - 649416404992 448.683 442.585 585 8836.316 5106.513 - 324154953728 287.168 243.960
    incorrect results 38 2638.082 2393.304 - 21582626816 31.553 25.957 30 612.627 401.776 - 17331621888 18.656 12.769
        incorrect true 0 - - - - - - 0 - - - - - -
        incorrect false 38 2638.082 2393.304 - 21582626816 31.553 25.957 30 612.627 401.776 - 17331621888 18.656 12.769
score (634 tasks, max score: 672) 368 - - - - - - 405 - - - - - -
Run set Predicate (LA) Verification Predicate (LA) Validation