Tool CPAchecker 1.4-svn 17201M CPAchecker 1.4-svn 17223M CPAchecker 1.4-svn 17230M CPAchecker 1.4-svn 17259M CPAchecker 1.4-svn 17230M
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] Unknown [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-55-generic Unknown 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 Unknown CPU: Intel Xeon E5-2650 v2 @ 2.60 GHz with 32 cores, frequency: 2.6 GHz; RAM: 135 GB
Date of execution 2015-07-03 13:39:56 CEST 2015-07-05 11:33:48 CEST 2015-07-07 18:02:38 CEST 2015-07-08 23:56:33 CEST 2015-07-08 23:09:57 CEST
Run set symbolic-refiner.symEx-noRefinement symbolic-slicedPrefixes.domain-good-short symbolic-refiner.symEx-predDelegation symbolic-refiner.symEx-delegation-prefixSelection symbolic-refiner.predAnalysis
Options -heap 10000M -noout -setprop log.consoleLevel=WARNING -skipRecursion -valueAnalysis-symbolic -setprop cpa.constraints.lessOrEqualType=SUBSET -heap 10000M -noout -setprop log.consoleLevel=WARNING -skipRecursion -valueAnalysis-symbolic-refiner -setprop cpa.value.symbolic.refinement.strategy=CONSTRAINTS_FIRST -setprop cpa.constraints.lessOrEqualType=SUBSET -setprop cpa.value.refinement.pathSlicing=true -setprop cpa.value.refinement.prefixPreference=DOMAIN_GOOD_SHORT -heap 10000M -noout -setprop log.consoleLevel=WARNING -skipRecursion -valueAnalysis-symbolic-refiner-pred -heap 10000M -noout -setprop log.consoleLevel=WARNING -skipRecursion -valueAnalysis-symbolic-refiner -setprop cpa.value.symbolic.refinement.strategy=CONSTRAINTS_FIRST -setprop cpa.constraints.lessOrEqualType=SUBSET -setprop cegar.refiner=cpa.value.symbolic.refiner.delegation.SymbolicDelegatingRefiner -setprop cpa.value.refinement.pathSlicing=true -setprop cpa.value.refinement.prefixPreference=DOMAIN_GOOD_SHORT -heap 10000M -noout -setprop log.consoleLevel=WARNING -skipRecursion -predicateAnalysis-bitprecise
../svcomp15/ status cputime walltime host memUsage total reached status cputime walltime host memUsage total reached refiners time_refiners status cputime walltime memUsage host total reached refiners time_refiners status cputime walltime host memUsage total reached refiners time_refiners status cputime walltime host memUsage total reached refiners time_refiners
bitvector/byte_add_false-unreach-call.i false(reach) 15.374s 10.945s zeus10 645332992 10.162s 0.134s false(reach) 194.318s 182.201s zeus06 3651993600 181.511s 0.516s 10 59.125s false(reach) 168.772s 155.768s 3708067840 zeus13 155.044s 0.516s 5 1.368s false(reach) 186.534s 174.424s zeus20 3652624384 173.707s 0.594s 10 54.650s false(reach) 24.136s 21.227s zeus07 448606208 20.562s 0.063s 10 0.457s
bitvector/byte_add_1_true-unreach-call.i true 7.243s 4.511s zeus17 288665600 3.913s 0.051s true 168.010s 156.347s zeus09 3459149824 155.742s 0.377s 13 128.152s true 57.150s 45.151s 2332454912 zeus13 44.470s 0.389s 8 1.995s true 175.109s 162.986s zeus24 3463708672 162.336s 0.322s 13 133.706s true 13.195s 10.517s zeus20 513368064 9.924s 0.055s 11 1.008s
bitvector/byte_add_2_true-unreach-call.i true 7.630s 4.809s zeus20 306749440 4.134s 0.038s true 255.211s 242.181s zeus05 3661783040 241.567s 0.537s 16 125.271s true 173.014s 160.007s 3724349440 zeus03 159.344s 0.560s 7 2.077s true 268.532s 255.221s zeus22 3654369280 254.603s 0.515s 16 138.261s true 13.880s 11.167s zeus13 531435520 10.582s 0.058s 11 1.086s
bitvector/gcd_1_true-unreach-call.i true 4.737s 3.716s zeus18 174071808 3.148s 0.003s timeout 901.690s 886.909s zeus19 3593211904 885.954s 1.010s 1 0.966s timeout 901.573s 882.707s 3825381376 zeus19 881.727s 0.987s 1 0.064s timeout 901.605s 886.568s zeus02 3595583488 885.661s 0.855s 1 1.049s true 8.791s 7.597s zeus12 196923392 7.017s 0.003s 4 2.356s
bitvector/gcd_2_true-unreach-call.i true 316.238s 313.907s zeus16 589455360 313.298s 0.017s timeout 901.721s 886.883s zeus06 3581894656 885.936s 0.973s 1 0.208s timeout 901.391s 883.688s 3746529280 zeus10 882.688s 0.844s 1 0.037s timeout 901.672s 886.649s zeus04 3588665344 885.745s 1.146s 1 0.206s true 6.479s 5.246s zeus01 198914048 4.633s 0.012s 4 0.203s
bitvector/gcd_3_true-unreach-call.i true 336.065s 333.490s zeus15 604418048 332.690s 0.012s timeout 901.531s 889.513s zeus01 3576045568 888.580s 0.880s 1 0.140s timeout 901.458s 885.276s 3658776576 zeus18 884.233s 0.961s 1 0.043s timeout 901.649s 889.132s zeus06 3588558848 888.181s 0.871s 1 0.140s true 186.775s 184.972s zeus06 221212672 184.376s 0.005s 3 0.188s
bitvector/gcd_4_true-unreach-call.i true 3.054s 2.004s zeus19 156893184 1.440s 0.001s timeout 901.683s 887.233s zeus01 3590963200 886.268s 0.880s 1 0.058s timeout 901.533s 883.366s 3656368128 zeus17 882.290s 0.893s 1 0.082s timeout 901.756s 885.451s zeus21 3607175168 884.505s 0.945s 1 0.038s true 6.635s 5.025s zeus06 215044096 4.399s 0.019s 8 0.735s
bitvector/interleave_bits_true-unreach-call.i true 3.508s 2.317s zeus17 177999872 1.745s 0.001s true 16.030s 12.658s zeus08 814780416 12.075s 0.005s 2 10.407s true 6.036s 4.584s 235167744 zeus02 3.993s 0.007s 2 1.861s true 16.315s 12.934s zeus17 817799168 12.331s 0.004s 2 10.638s true 17.415s 13.171s zeus03 625364992 12.572s 0.124s 34 4.604s
bitvector/jain_1_true-unreach-call.i error (1) 910.905s 901.382s zeus08 3542876160 - - timeout 901.319s 892.607s zeus12 3436883968 891.934s 0.133s 1 0.088s error 3.367s 2.246s 180613120 zeus10 1.632s 0.000s 2 0.044s timeout 900.908s 892.264s zeus22 3433385984 891.578s 0.145s 1 0.087s true 3.316s 2.196s zeus09 176893952 1.593s 0.003s 3 0.042s
bitvector/jain_2_true-unreach-call.i error (1) 911.010s 901.228s zeus17 3539755008 - - timeout 900.953s 891.605s zeus17 3437416448 890.945s 0.155s 1 0.172s error 3.383s 2.298s 189517824 zeus23 1.675s 0.001s 2 0.065s timeout 900.925s 891.990s zeus19 3436998656 891.345s 0.130s 1 0.165s true 3.386s 2.248s zeus07 184729600 1.610s 0.005s 3 0.053s
bitvector/jain_4_true-unreach-call.i error (1) 911.084s 902.231s zeus24 3544350720 - - timeout 900.895s 891.880s zeus10 3544563712 891.231s 0.133s 1 0.329s error 3.506s 2.335s 189853696 zeus23 1.713s 0.001s 2 0.101s timeout 900.963s 891.348s zeus18 3544649728 890.705s 0.121s 1 0.359s true 3.284s 2.225s zeus01 183664640 1.617s 0.003s 3 0.061s
bitvector/jain_5_true-unreach-call.i timeout 901.903s 888.625s zeus11 3633717248 887.556s 0.890s timeout 901.817s 888.622s zeus05 3644190720 887.475s 1.032s 1 0.053s timeout 902.004s 886.880s 3666423808 zeus03 885.586s 1.016s 1 0.033s timeout 901.509s 887.563s zeus16 3608190976 886.467s 0.969s 1 0.031s timeout 901.571s 887.492s zeus23 1929924608 886.795s 0.371s 132 698.382s
bitvector/jain_6_true-unreach-call.i error (1) 911.053s 901.378s zeus19 3537879040 - - timeout 900.914s 892.170s zeus16 3547926528 891.506s 0.103s 1 0.354s error 3.502s 2.394s 192143360 zeus06 1.746s 0.003s 2 0.115s timeout 900.968s 891.301s zeus19 3439947776 890.672s 0.144s 1 0.361s true 3.369s 2.214s zeus22 182845440 1.606s 0.003s 3 0.058s
bitvector/jain_7_true-unreach-call.i error (1) 911.098s 901.739s zeus08 3538939904 - - timeout 900.972s 891.921s zeus13 3548176384 891.286s 0.136s 1 0.352s error 17.675s 16.488s 192090112 zeus06 15.839s 0.000s 2 14.186s timeout 901.819s 892.275s zeus09 3434385408 891.648s 0.135s 1 0.343s true 5.170s 4.078s zeus24 186724352 3.486s 0.002s 3 1.839s
bitvector/modulus_true-unreach-call.i true 544.363s 535.889s zeus11 860184576 535.240s 0.173s exception 53.838s 52.463s zeus20 193531904 - - - - error (1) 911.187s 903.887s 3162693632 zeus16 - - - - exception 42.703s 41.341s zeus05 198828032 - - - - timeout 900.944s 898.401s zeus13 308731904 897.761s 0.001s 2 1.360s
bitvector/num_conversion_1_true-unreach-call.i true 3.430s 2.195s zeus09 160055296 1.603s 0.000s true 4.255s 2.862s zeus19 188317696 2.254s 0.006s 3 0.611s true 3.699s 2.551s 189485056 zeus16 1.938s 0.003s 3 0.138s true 3.465s 2.276s zeus11 172503040 1.703s 0.007s 3 0.162s true 4.499s 3.062s zeus18 194195456 2.421s 0.019s 10 0.202s
bitvector/num_conversion_2_true-unreach-call.i true 9.701s 6.421s zeus01 374325248 5.789s 0.082s true 66.757s 58.330s zeus03 638013440 57.450s 0.166s 4 48.874s true 15.229s 9.699s 545632256 zeus10 8.993s 0.135s 3 0.350s true 66.690s 59.088s zeus13 1165406208 58.451s 0.122s 4 50.110s true 19.902s 17.498s zeus06 553668608 16.862s 0.023s 10 5.301s
bitvector/parity_true-unreach-call.i error (1) 910.920s 898.842s zeus19 4869976064 - - error (1) 911.009s 898.239s zeus08 4779859968 - - - - error (1) 910.817s 898.099s 4676571136 zeus09 - - - - error (1) 910.987s 899.052s zeus18 4858179584 - - - - timeout 906.568s 897.206s zeus06 2426085376 896.580s 0.078s 21 10.065s
bitvector/sum02_true-unreach-call.i timeout 901.379s 890.229s zeus11 3777441792 889.433s 0.231s timeout 901.794s 888.690s zeus15 2439548928 887.596s 0.325s 4 0.866s timeout 901.646s 887.214s 3203297280 zeus20 886.295s 0.272s 3 0.080s timeout 901.462s 890.012s zeus14 2439413760 889.199s 0.218s 4 0.609s timeout 901.021s 887.244s zeus06 1654964224 886.628s 0.311s 98 204.226s
bitvector/s3_clnt_1_false-unreach-call.BV.c.cil.c false(reach) 235.745s 225.812s zeus22 1258135552 224.720s 0.369s false(reach) 11.158s 7.422s zeus06 311947264 6.759s 0.112s 3 2.692s false(reach) 10.252s 6.469s 328048640 zeus03 5.751s 0.068s 3 0.411s false(reach) 10.007s 6.171s zeus13 280764416 5.519s 0.078s 3 1.384s false(reach) 10.478s 7.468s zeus07 316063744 6.793s 0.078s 5 1.169s
bitvector/s3_clnt_2_false-unreach-call.BV.c.cil.c timeout 901.677s 885.029s zeus22 992088064 883.834s 0.792s false(reach) 130.470s 120.476s zeus22 3647500288 119.271s 0.557s 4 46.197s false(reach) 114.668s 104.040s 3772477440 zeus03 103.030s 0.653s 4 1.296s false(reach) 127.897s 117.051s zeus22 3643277312 116.144s 0.524s 4 46.956s false(reach) 31.109s 26.006s zeus20 513523712 25.385s 0.106s 6 1.465s
bitvector/s3_clnt_3_false-unreach-call.BV.c.cil.c false(reach) 42.551s 36.411s zeus11 655564800 35.513s 0.137s false(reach) 12.096s 8.169s zeus12 350027776 7.528s 0.075s 8 3.237s false(reach) 25.536s 18.147s 648245248 zeus15 17.462s 0.181s 15 0.985s false(reach) 116.403s 106.810s zeus14 695922688 106.115s 0.279s 20 94.906s false(reach) 10.956s 7.585s zeus04 291807232 6.940s 0.089s 6 0.831s
bitvector/s3_clnt_1_true-unreach-call.BV.c.cil.c timeout 901.789s 883.212s zeus15 1132658688 881.732s 1.302s timeout 901.969s 885.861s zeus08 3716124672 884.615s 1.365s 6 50.225s true 35.598s 27.824s 704516096 zeus03 27.152s 0.214s 5 1.075s true 17.532s 12.125s zeus17 525983744 11.432s 0.146s 4 0.476s timeout 901.302s 894.657s zeus14 794189824 893.917s 0.110s 5 0.928s
bitvector/s3_clnt_2_true-unreach-call.BV.c.cil.c timeout 901.679s 885.017s zeus15 1383489536 883.705s 1.211s timeout 902.069s 882.789s zeus17 3907330048 881.479s 2.388s 8 93.962s timeout 902.097s 881.739s 4300603392 zeus15 880.145s 1.883s 4 1.675s true 46.417s 38.573s zeus09 2442108928 37.906s 0.339s 4 0.950s true 687.560s 680.137s zeus03 741126144 679.438s 0.157s 7 1.965s
bitvector/s3_clnt_3_true-unreach-call.BV.c.cil.c timeout 902.073s 885.199s zeus12 1434628096 883.903s 0.948s timeout 901.794s 883.990s zeus08 3869396992 882.576s 1.607s 2 0.699s timeout 902.043s 883.945s 4234379264 zeus22 882.265s 1.583s 2 0.148s timeout 901.831s 884.235s zeus10 4125425664 882.833s 1.648s 2 0.254s timeout 901.130s 893.549s zeus18 743411712 892.925s 0.136s 6 2.555s
bitvector/s3_srvr_1_alt_true-unreach-call.BV.c.cil.c timeout 901.311s 893.749s zeus14 690298880 893.006s 0.174s error 630.533s 616.548s zeus16 3890683904 615.759s 1.107s 9 364.901s timeout 902.338s 882.237s 3928834048 zeus04 880.937s 2.481s 8 3.314s timeout 901.343s 890.745s zeus20 1237139456 889.994s 0.215s 4 879.009s timeout 901.034s 896.774s zeus16 565096448 896.147s 0.077s 4 0.574s
bitvector/s3_srvr_1_true-unreach-call.BV.c.cil.c timeout 901.813s 885.794s zeus05 1247252480 884.688s 0.980s true 41.116s 32.477s zeus15 1267281920 31.600s 0.416s 7 3.885s timeout 901.288s 882.473s 3854729216 zeus13 881.706s 2.235s 11 3.466s timeout 901.070s 887.425s zeus16 684011520 886.661s 0.279s 21 873.678s true 30.975s 23.887s zeus05 690262016 23.135s 0.171s 5 1.558s
bitvector/s3_srvr_2_alt_true-unreach-call.BV.c.cil.c timeout 901.457s 884.568s zeus03 927264768 883.481s 0.719s true 156.827s 145.470s zeus15 3762200576 144.153s 1.232s 3 2.095s timeout 901.992s 883.902s 4044357632 zeus19 882.248s 1.557s 2 0.144s true 127.688s 117.243s zeus14 3745017856 116.186s 0.634s 3 0.735s true 64.280s 58.848s zeus24 662523904 58.215s 0.116s 6 0.909s
bitvector/s3_srvr_2_true-unreach-call.BV.c.cil.c timeout 901.955s 885.737s zeus24 996106240 884.557s 0.731s true 128.251s 117.394s zeus01 3760869376 116.354s 0.651s 3 1.927s timeout 902.095s 883.999s 3830747136 zeus08 882.360s 1.733s 2 0.142s true 124.958s 114.351s zeus14 3757318144 113.213s 0.655s 3 0.747s true 82.107s 75.042s zeus06 715612160 74.317s 0.184s 7 0.999s
bitvector/s3_srvr_3_alt_true-unreach-call.BV.c.cil.c timeout 901.416s 885.313s zeus10 1180512256 884.203s 0.798s true 36.020s 27.456s zeus08 1275527168 26.769s 0.376s 7 3.478s timeout 902.084s 882.368s 3902926848 zeus12 880.822s 2.279s 10 2.306s timeout 901.000s 887.514s zeus24 757112832 886.755s 0.301s 21 873.230s true 60.872s 54.852s zeus12 745545728 54.083s 0.129s 6 1.621s
bitvector/s3_srvr_3_true-unreach-call.BV.c.cil.c timeout 901.448s 885.105s zeus19 1289601024 883.995s 0.893s true 35.351s 27.279s zeus12 1281945600 26.600s 0.374s 7 3.429s timeout 901.915s 882.419s 3892695040 zeus21 880.876s 2.224s 10 2.329s timeout 901.476s 888.840s zeus24 1204604928 888.088s 0.304s 21 874.855s true 60.382s 53.216s zeus15 769781760 52.303s 0.128s 5 1.619s
bitvector/soft_float_1_true-unreach-call.c.cil.c timeout 901.823s 886.908s zeus22 4035223552 885.711s 0.739s timeout 901.321s 895.864s zeus18 2243825664 895.197s 0.149s 1 0.138s timeout 901.406s 893.859s 2269995008 zeus20 893.104s 0.156s 1 0.058s timeout 901.625s 895.700s zeus09 2244939776 895.037s 0.130s 1 0.064s true 17.705s 13.537s zeus14 304386048 12.906s 0.135s 8 0.930s
bitvector/soft_float_2_true-unreach-call.c.cil.c timeout 901.770s 887.124s zeus17 3650445312 886.057s 0.658s timeout 902.041s 895.198s zeus03 2240532480 894.375s 0.157s 1 0.181s timeout 902.137s 894.673s 3460976640 zeus06 893.909s 0.170s 1 0.100s timeout 901.673s 895.508s zeus23 2229882880 894.822s 0.156s 1 0.096s true 201.217s 187.923s zeus09 1236353024 187.117s 0.611s 32 3.714s
bitvector/soft_float_3_true-unreach-call.c.cil.c timeout 901.457s 885.842s zeus20 2395664384 884.727s 0.686s timeout 902.125s 895.833s zeus08 2246541312 895.162s 0.178s 1 0.159s timeout 902.230s 894.767s 2303885312 zeus02 894.014s 0.158s 1 0.095s timeout 901.740s 894.856s zeus01 1084362752 894.209s 0.160s 1 0.089s timeout 912.425s 885.478s zeus03 6449037312 - - - -
bitvector/soft_float_4_true-unreach-call.c.cil.c timeout 901.411s 884.372s zeus12 2653040640 883.359s 0.588s timeout 902.145s 895.539s zeus02 2227515392 894.764s 0.181s 1 0.131s timeout 901.744s 893.622s 2305347584 zeus16 892.854s 0.215s 1 0.057s timeout 902.224s 896.225s zeus19 2228547584 895.542s 0.145s 1 0.061s true 245.077s 242.543s zeus17 283643904 241.905s 0.066s 0 -
bitvector/soft_float_5_true-unreach-call.c.cil.c timeout 901.864s 887.051s zeus02 3056652288 885.822s 0.799s timeout 901.889s 895.783s zeus09 2242158592 895.114s 0.145s 1 0.157s timeout 902.059s 894.690s 2304643072 zeus07 893.932s 0.150s 1 0.098s timeout 901.736s 894.512s zeus13 1168797696 893.859s 0.146s 1 0.095s true 194.511s 181.713s zeus08 1222914048 180.902s 0.572s 32 3.674s
bitvector-regression/implicitfloatconversion_false-unreach-call.i false(reach) 2.961s 1.994s zeus01 156917760 1.388s 0.000s false(reach) 3.179s 2.099s zeus21 161783808 1.488s 0.000s 1 0.010s false(reach) 3.381s 2.245s 184451072 zeus20 1.634s 0.002s 1 0.056s false(reach) 3.279s 2.122s zeus23 167440384 1.538s 0.000s 1 0.012s false(reach) 3.178s 2.125s zeus06 183463936 1.514s 0.000s 1 0.053s
bitvector-regression/implicitunsignedconversion_false-unreach-call.i false(reach) 3.116s 2.022s zeus17 159580160 1.435s 0.000s false(reach) 3.304s 2.057s zeus16 163065856 1.469s 0.001s 1 0.019s false(reach) 3.241s 2.127s 176402432 zeus13 1.537s 0.000s 1 0.040s false(reach) 3.281s 2.058s zeus10 156991488 1.472s 0.001s 1 0.021s false(reach) 3.123s 2.085s zeus18 173948928 1.484s 0.000s 1 0.038s
bitvector-regression/integerpromotion_false-unreach-call.i false(reach) 3.584s 2.269s zeus09 164155392 1.670s 0.000s false(reach) 3.871s 2.507s zeus21 172859392 1.870s 0.000s 1 0.036s false(reach) 3.856s 2.556s 184803328 zeus10 1.917s 0.000s 1 0.058s false(reach) 3.612s 2.323s zeus18 176361472 1.730s 0.000s 1 0.046s false(reach) 3.614s 2.356s zeus10 176652288 1.770s 0.000s 1 0.051s
bitvector-regression/signextension2_false-unreach-call.i false(reach) 4.033s 2.695s zeus20 162869248 1.896s 0.000s false(reach) 3.602s 2.263s zeus20 166219776 1.654s 0.001s 1 0.037s false(reach) 3.794s 2.521s 197619712 zeus18 1.865s 0.001s 1 0.065s false(reach) 3.534s 2.265s zeus19 172883968 1.680s 0.001s 1 0.051s false(reach) 3.803s 2.439s zeus07 182603776 1.795s 0.001s 1 0.056s
bitvector-regression/signextension_false-unreach-call.i false(reach) 3.407s 2.207s zeus17 163491840 1.600s 0.001s false(reach) 3.617s 2.336s zeus16 166121472 1.742s 0.001s 1 0.036s false(reach) 3.921s 2.543s 193060864 zeus03 1.943s 0.001s 1 0.064s false(reach) 3.522s 2.308s zeus01 173367296 1.687s 0.001s 1 0.047s false(reach) 3.591s 2.292s zeus14 177639424 1.703s 0.000s 1 0.063s
bitvector-regression/implicitunsignedconversion_true-unreach-call.i true 3.067s 1.970s zeus23 157343744 1.389s 0.000s true 3.859s 2.665s zeus15 163262464 1.816s 0.000s 1 0.036s true 3.559s 2.337s 182087680 zeus10 1.717s 0.002s 1 0.029s true 3.177s 2.056s zeus23 167055360 1.470s 0.001s 1 0.026s true 3.473s 2.238s zeus17 168669184 1.636s 0.000s 0 -
bitvector-regression/integerpromotion_true-unreach-call.i true 3.377s 2.156s zeus17 161984512 1.584s 0.000s true 3.606s 2.287s zeus05 164233216 1.707s 0.000s 1 0.043s true 3.566s 2.367s 184750080 zeus21 1.767s 0.000s 1 0.029s true 3.584s 2.298s zeus07 169451520 1.687s 0.000s 1 0.041s true 3.673s 2.353s zeus11 176906240 1.766s 0.000s 0 -
bitvector-regression/signextension2_true-unreach-call.i true 3.319s 2.135s zeus01 159584256 1.572s 0.000s true 3.932s 2.570s zeus13 173957120 1.964s 0.002s 4 0.140s true 3.825s 2.481s 188784640 zeus14 1.871s 0.002s 4 0.054s true 3.845s 2.454s zeus20 175837184 1.889s 0.002s 4 0.122s true 3.453s 2.226s zeus08 173641728 1.652s 0.000s 0 -
bitvector-regression/signextension_true-unreach-call.i true 3.394s 2.212s zeus17 163471360 1.620s 0.000s true 3.630s 2.439s zeus06 182042624 1.842s 0.000s 4 0.163s true 4.113s 2.640s 191795200 zeus23 2.017s 0.004s 4 0.063s true 3.865s 2.459s zeus02 177299456 1.879s 0.003s 4 0.138s true 3.483s 2.240s zeus21 172015616 1.658s 0.001s 0 -
bitvector-loops/diamond_false-unreach-call2.i false(reach) 3.565s 2.302s zeus14 165392384 1.685s 0.001s false(reach) 3.819s 2.509s zeus06 180563968 1.908s 0.007s 2 0.086s false(reach) 3.945s 2.680s 196726784 zeus12 2.064s 0.015s 2 0.094s false(reach) 3.605s 2.426s zeus11 174690304 1.813s 0.011s 2 0.097s false(reach) 3.450s 2.317s zeus10 179015680 1.713s 0.000s 3 0.127s
bitvector-loops/overflow_false-unreach-call1.i timeout 901.473s 889.339s zeus21 3588235264 888.481s 0.685s timeout 901.599s 890.143s zeus16 3581587456 889.242s 0.661s 1 0.028s timeout 901.679s 887.308s 3594571776 zeus12 886.323s 0.652s 1 0.029s timeout 901.535s 890.209s zeus02 3568578560 889.302s 0.758s 1 0.026s timeout 900.945s 888.258s zeus24 2495975424 887.570s 0.549s 165 703.938s
floats-cdfpl/newton_1_4_false-unreach-call.i false(reach) 253.177s 251.749s zeus06 345784320 251.139s 0.000s false(reach) 153.836s 152.491s zeus24 346312704 151.876s 0.001s 2 150.369s false(reach) 29.786s 28.660s 786583552 zeus12 28.004s 0.002s 2 26.332s false(reach) 30.904s 29.491s zeus24 295936000 28.879s 0.002s 2 27.333s false(reach) 357.186s 355.420s zeus05 4979896320 354.598s 0.000s 1 299.536s
floats-cdfpl/newton_1_5_false-unreach-call.i false(reach) 266.296s 264.996s zeus19 350208000 264.373s 0.001s false(reach) 268.434s 266.957s zeus23 352296960 266.342s 0.001s 2 264.740s false(reach) 21.338s 20.143s 696668160 zeus10 19.510s 0.001s 2 17.888s false(reach) 264.777s 263.373s zeus24 350695424 262.778s 0.003s 2 261.335s false(reach) 36.648s 35.497s zeus06 763412480 34.874s 0.002s 1 29.097s
floats-cdfpl/newton_1_6_false-unreach-call.i false(reach) 100.186s 99.038s zeus09 328843264 98.451s 0.001s false(reach) 19.637s 18.490s zeus09 299356160 17.887s 0.003s 2 16.370s false(reach) 19.868s 18.648s 636084224 zeus20 17.998s 0.001s 2 16.336s false(reach) 18.249s 17.053s zeus13 292397056 16.418s 0.002s 2 14.839s out of memory 857.080s 854.670s zeus09 15000002560 - - - -
floats-cdfpl/newton_1_7_false-unreach-call.i false(reach) 134.986s 133.399s zeus02 359624704 132.528s 0.000s false(reach) 277.990s 276.612s zeus13 363237376 276.010s 0.000s 2 274.514s false(reach) 37.170s 35.962s 1154105344 zeus03 35.288s 0.003s 2 33.630s false(reach) 11.666s 10.523s zeus10 287100928 9.896s 0.001s 2 8.377s false(reach) 34.759s 33.603s zeus08 619995136 32.997s 0.001s 1 25.371s
floats-cdfpl/newton_1_8_false-unreach-call.i false(reach) 51.951s 50.641s zeus04 311128064 50.026s 0.000s false(reach) 87.681s 86.396s zeus16 329601024 85.782s 0.003s 2 84.324s false(reach) 97.762s 96.427s 2288918528 zeus21 95.707s 0.003s 2 94.062s false(reach) 16.837s 15.692s zeus02 297140224 15.087s 0.001s 2 13.552s false(reach) 58.321s 57.162s zeus18 750071808 56.542s 0.000s 1 45.820s
floats-cdfpl/newton_2_6_false-unreach-call.i false(reach) 568.334s 566.339s zeus19 626302976 565.735s 0.002s timeout 901.197s 898.411s zeus10 574013440 897.808s 0.005s 2 896.308s false(reach) 12.548s 11.398s 509591552 zeus10 10.777s 0.004s 2 9.157s false(reach) 580.782s 578.568s zeus03 610787328 577.947s 0.003s 2 576.425s timeout 908.564s 906.138s zeus02 13877968896 904.870s 0.002s 1 775.347s
floats-cdfpl/newton_2_7_false-unreach-call.i timeout 901.373s 898.170s zeus15 588505088 897.454s 0.000s timeout 901.246s 898.778s zeus14 597921792 898.140s 0.001s 2 896.539s false(reach) 36.563s 35.316s 910655488 zeus13 34.672s 0.005s 2 32.998s timeout 901.313s 899.039s zeus16 571588608 898.386s 0.002s 2 896.880s false(reach) 206.013s 204.572s zeus19 1281880064 203.923s 0.000s 1 132.192s
floats-cdfpl/newton_2_8_false-unreach-call.i timeout 901.198s 898.962s zeus01 696860672 898.353s 0.003s timeout 901.163s 899.247s zeus17 472006656 898.626s 0.000s 1 897.164s false(reach) 136.967s 135.580s 2778472448 zeus02 134.848s 0.001s 2 133.215s timeout 901.301s 898.869s zeus23 667164672 898.222s 0.002s 2 896.730s timeout 907.926s 905.361s zeus13 12923453440 904.144s 0.000s 1 887.602s
floats-cdfpl/newton_3_6_false-unreach-call.i timeout 901.428s 897.141s zeus05 1271799808 896.505s 0.003s timeout 901.385s 897.883s zeus18 1642295296 897.232s 0.003s 2 895.644s out of memory 772.895s 770.459s 15000002560 zeus03 - - - - timeout 901.537s 897.839s zeus20 1116516352 897.211s 0.001s 2 895.702s out of memory 748.471s 746.082s zeus12 15000002560 - - - -
floats-cdfpl/newton_3_7_false-unreach-call.i false(reach) 215.815s 211.965s zeus02 1103351808 210.957s 0.000s false(reach) 516.711s 513.482s zeus21 1571344384 512.862s 0.003s 2 511.390s false(reach) 452.882s 451.268s 10233094144 zeus01 450.217s 0.002s 2 448.577s false(reach) 285.253s 282.601s zeus07 1041764352 281.953s 0.000s 2 280.497s false(reach) 369.327s 367.520s zeus04 6626050048 366.642s 0.000s 1 325.885s
floats-cdfpl/newton_3_8_false-unreach-call.i timeout 901.463s 897.940s zeus10 1198092288 897.315s 0.002s false(reach) 195.376s 191.674s zeus03 1056288768 190.565s 0.004s 2 188.209s false(reach) 418.283s 416.278s 9615458304 zeus15 415.255s 0.003s 2 413.453s false(reach) 507.798s 504.741s zeus21 1050906624 504.103s 0.002s 2 502.563s timeout 907.557s 904.775s zeus14 12504412160 903.613s 0.001s 1 769.602s
floats-cdfpl/sine_1_false-unreach-call.i false(reach) 202.866s 201.542s zeus05 314056704 200.934s 0.001s false(reach) 277.950s 276.369s zeus22 319127552 275.714s 0.000s 2 274.178s false(reach) 39.223s 37.996s 1122308096 zeus08 37.333s 0.000s 2 35.702s false(reach) 71.477s 70.220s zeus06 304848896 69.608s 0.001s 2 68.086s false(reach) 116.136s 114.852s zeus16 2403164160 114.133s 0.000s 1 108.762s
floats-cdfpl/sine_2_false-unreach-call.i false(reach) 400.876s 399.128s zeus21 347561984 398.507s 0.000s false(reach) 331.945s 330.315s zeus19 390283264 329.700s 0.000s 2 328.201s false(reach) 47.711s 46.312s 1193431040 zeus12 45.614s 0.000s 2 43.776s false(reach) 157.547s 156.301s zeus04 290836480 155.708s 0.001s 2 154.252s false(reach) 141.266s 139.873s zeus13 3147780096 139.156s 0.000s 1 125.175s
floats-cdfpl/sine_3_false-unreach-call.i false(reach) 199.753s 198.373s zeus08 318074880 197.750s 0.002s false(reach) 99.663s 98.345s zeus13 271142912 97.733s 0.000s 2 96.199s false(reach) 37.112s 35.946s 1021136896 zeus16 35.289s 0.002s 2 33.751s false(reach) 5.176s 4.094s zeus21 239808512 3.496s 0.000s 2 2.051s false(reach) 533.089s 531.023s zeus06 11812896768 529.899s 0.000s 1 495.353s
floats-cdfpl/square_1_false-unreach-call.i false(reach) 29.692s 28.519s zeus19 241774592 27.915s 0.001s false(reach) 541.516s 539.697s zeus21 295452672 539.091s 0.000s 3 492.206s segmentation fault 12.118s 10.946s 391774208 zeus08 - - - - false(reach) 230.437s 228.884s zeus19 281333760 228.297s 0.001s 3 186.236s false(reach) 434.478s 432.622s zeus04 6511824896 431.737s 0.000s 1 328.341s
floats-cdfpl/square_2_false-unreach-call.i false(reach) 49.489s 48.266s zeus06 263753728 47.657s 0.000s false(reach) 353.415s 351.658s zeus11 305295360 351.043s 0.001s 3 251.401s segmentation fault 13.181s 11.916s 397316096 zeus04 - - - - false(reach) 358.772s 356.979s zeus10 298582016 356.380s 0.003s 3 271.994s false(reach) 57.156s 55.954s zeus12 661897216 55.345s 0.000s 1 29.219s
floats-cdfpl/square_3_false-unreach-call.i false(reach) 79.761s 78.507s zeus10 268951552 77.894s 0.000s false(reach) 403.891s 402.035s zeus12 332275712 401.428s 0.002s 3 264.818s segmentation fault 12.961s 11.836s 398352384 zeus06 - - - - false(reach) 664.495s 662.598s zeus17 337960960 661.975s 0.003s 3 537.948s false(reach) 70.231s 68.873s zeus24 577130496 68.267s 0.001s 1 52.095s
floats-cdfpl/newton_1_1_true-unreach-call.i timeout 901.143s 898.411s zeus11 457797632 897.798s 0.001s timeout 901.119s 898.878s zeus16 456028160 898.259s 0.002s 2 896.814s timeout 908.444s 905.789s 14300246016 zeus03 904.509s 0.004s 2 902.882s timeout 901.025s 899.059s zeus09 445108224 898.455s 0.001s 2 896.978s timeout 901.039s 899.050s zeus12 505782272 898.441s 0.001s 0 -
floats-cdfpl/newton_1_2_true-unreach-call.i timeout 901.057s 899.059s zeus22 544284672 898.448s 0.002s timeout 901.112s 898.591s zeus07 474189824 897.921s 0.001s 2 896.298s out of memory 882.047s 879.794s 15000002560 zeus16 - - - - timeout 901.043s 898.927s zeus21 541683712 898.308s 0.001s 2 896.836s timeout 901.040s 898.923s zeus03 518815744 898.315s 0.001s 0 -
floats-cdfpl/newton_1_3_true-unreach-call.i timeout 901.017s 899.033s zeus22 424161280 898.442s 0.000s timeout 901.103s 898.806s zeus04 577425408 898.175s 0.000s 2 896.733s out of memory 748.598s 746.341s 15000002560 zeus07 - - - - timeout 901.072s 898.955s zeus16 429531136 898.346s 0.000s 2 896.872s timeout 901.103s 898.312s zeus19 545054720 897.711s 0.000s 0 -
floats-cdfpl/newton_2_1_true-unreach-call.i timeout 901.212s 898.652s zeus09 721264640 898.048s 0.001s timeout 901.142s 898.919s zeus07 542662656 898.255s 0.002s 2 896.794s out of memory 867.338s 864.569s 15000002560 zeus06 - - - - timeout 901.196s 898.672s zeus05 725417984 898.048s 0.002s 2 896.493s timeout 901.202s 898.785s zeus02 609738752 898.176s 0.001s 0 -
floats-cdfpl/newton_2_2_true-unreach-call.i timeout 901.219s 898.604s zeus18 651038720 897.998s 0.000s timeout 901.342s 898.965s zeus20 639348736 898.231s 0.003s 2 896.598s out of memory 689.025s 686.928s 15000002560 zeus09 - - - - timeout 901.283s 899.021s zeus15 686530560 898.356s 0.000s 2 896.870s timeout 901.185s 898.718s zeus03 554172416 898.105s 0.001s 0 -
floats-cdfpl/newton_2_3_true-unreach-call.i timeout 901.172s 898.435s zeus05 647651328 897.833s 0.001s timeout 901.199s 899.087s zeus17 599334912 898.478s 0.001s 2 897.016s out of memory 802.819s 800.491s 15000002560 zeus14 - - - - timeout 901.234s 898.928s zeus21 641159168 898.309s 0.002s 2 896.698s timeout 901.145s 899.057s zeus10 584871936 898.455s 0.000s 0 -
floats-cdfpl/newton_2_4_true-unreach-call.i timeout 901.170s 899.022s zeus22 561156096 898.420s 0.001s timeout 901.129s 899.144s zeus10 514678784 898.526s 0.001s 1 897.050s out of memory 669.393s 667.224s 15000002560 zeus07 - - - - timeout 901.211s 899.412s zeus20 538951680 898.809s 0.001s 2 897.348s timeout 901.206s 899.102s zeus23 600592384 898.500s 0.002s 0 -
floats-cdfpl/newton_2_5_true-unreach-call.i timeout 901.118s 899.004s zeus06 584155136 898.414s 0.003s timeout 901.172s 898.250s zeus05 552919040 897.634s 0.001s 2 896.075s out of memory 719.125s 716.712s 15000002560 zeus01 - - - - timeout 901.186s 899.413s zeus11 629334016 898.775s 0.002s 2 897.301s timeout 901.260s 898.786s zeus01 616427520 898.153s 0.000s 0 -
floats-cdfpl/newton_3_1_true-unreach-call.i timeout 901.380s 897.982s zeus11 1207406592 897.361s 0.000s timeout 901.304s 898.345s zeus17 1520750592 897.699s 0.005s 2 896.174s out of memory 683.148s 680.630s 15000002560 zeus07 - - - - timeout 901.467s 898.185s zeus04 1141813248 897.507s 0.005s 2 895.863s timeout 901.336s 898.925s zeus02 640933888 898.333s 0.002s 0 -
floats-cdfpl/newton_3_2_true-unreach-call.i timeout 901.400s 897.616s zeus04 1162444800 896.980s 0.001s timeout 901.415s 897.482s zeus14 1540444160 896.823s 0.001s 2 895.276s out of memory 693.116s 691.245s 15000002560 zeus14 - - - - timeout 901.524s 897.809s zeus14 1125617664 897.183s 0.003s 2 895.649s timeout 901.335s 899.211s zeus02 728170496 898.609s 0.001s 0 -
floats-cdfpl/newton_3_3_true-unreach-call.i timeout 901.401s 898.017s zeus08 1165254656 897.402s 0.000s timeout 901.424s 897.550s zeus06 1514143744 896.926s 0.005s 2 895.407s out of memory 669.148s 666.945s 15000002560 zeus11 - - - - timeout 901.500s 897.547s zeus22 1130455040 896.922s 0.002s 2 895.384s timeout 901.397s 898.857s zeus21 799776768 898.255s 0.000s 0 -
floats-cdfpl/newton_3_4_true-unreach-call.i timeout 901.409s 897.689s zeus19 1272156160 897.047s 0.002s timeout 901.444s 898.106s zeus11 1200701440 897.464s 0.003s 1 895.981s out of memory 740.623s 738.488s 15000002560 zeus03 - - - - timeout 901.399s 897.981s zeus17 1144598528 897.348s 0.002s 2 895.837s timeout 901.350s 899.356s zeus17 676003840 898.751s 0.000s 0 -
floats-cdfpl/newton_3_5_true-unreach-call.i timeout 901.364s 897.637s zeus11 1127108608 897.032s 0.001s timeout 901.379s 897.799s zeus22 1483829248 897.131s 0.004s 2 895.539s out of memory 736.055s 733.524s 15000002560 zeus18 - - - - timeout 901.390s 898.122s zeus19 1101037568 897.500s 0.007s 2 896.006s timeout 901.329s 899.081s zeus02 688132096 898.481s 0.000s 0 -
floats-cdfpl/sine_4_true-unreach-call.i timeout 901.047s 898.343s zeus14 434122752 897.748s 0.000s timeout 901.274s 898.233s zeus15 395358208 897.405s 0.000s 2 895.608s out of memory 657.261s 655.309s 15000002560 zeus04 - - - - timeout 901.042s 898.474s zeus15 394797056 897.861s 0.000s 2 896.440s timeout 901.013s 898.473s zeus13 408649728 897.882s 0.000s 0 -
floats-cdfpl/sine_5_true-unreach-call.i timeout 900.942s 898.717s zeus03 349810688 898.136s 0.000s timeout 900.966s 898.700s zeus18 344006656 898.098s 0.001s 2 896.684s out of memory 642.915s 640.860s 15000002560 zeus10 - - - - timeout 901.056s 898.413s zeus07 348606464 897.772s 0.000s 2 896.217s timeout 901.060s 898.260s zeus05 473124864 897.652s 0.000s 0 -
floats-cdfpl/sine_6_true-unreach-call.i timeout 901.091s 898.503s zeus20 390901760 897.805s 0.000s timeout 900.925s 899.386s zeus16 372703232 898.760s 0.000s 2 897.274s out of memory 615.353s 613.170s 15000002560 zeus14 - - - - timeout 901.082s 898.870s zeus16 392421376 898.248s 0.002s 2 896.676s true 219.908s 218.352s zeus22 347910144 217.760s 0.000s 0 -
floats-cdfpl/sine_7_true-unreach-call.i true 471.284s 469.435s zeus06 349708288 468.858s 0.001s timeout 901.063s 898.615s zeus19 430219264 897.988s 0.000s 2 896.540s out of memory 626.689s 624.605s 15000002560 zeus08 - - - - timeout 901.015s 898.406s zeus23 472805376 897.799s 0.001s 2 896.272s true 750.104s 747.510s zeus01 426541056 746.929s 0.000s 0 -
floats-cdfpl/sine_8_true-unreach-call.i timeout 901.011s 898.254s zeus19 354078720 897.666s 0.001s timeout 900.996s 898.506s zeus18 348561408 897.884s 0.001s 2 896.398s segmentation fault 324.261s 322.724s 8810467328 zeus19 - - - - timeout 901.062s 898.824s zeus02 358760448 898.194s 0.001s 2 896.657s timeout 901.027s 898.330s zeus03 412114944 897.730s 0.000s 0 -
floats-cdfpl/square_4_true-unreach-call.i timeout 900.933s 898.865s zeus13 408944640 898.265s 0.000s timeout 901.241s 898.046s zeus02 356085760 897.272s 0.001s 3 697.317s segmentation fault 11.929s 10.817s 395317248 zeus07 - - - - timeout 900.995s 898.439s zeus24 339902464 897.827s 0.001s 3 747.564s true 560.619s 558.658s zeus18 421359616 558.073s 0.001s 0 -
floats-cdfpl/square_5_true-unreach-call.i timeout 901.033s 898.292s zeus04 441622528 897.687s 0.000s timeout 900.999s 898.646s zeus14 419450880 898.043s 0.002s 3 848.924s segmentation fault 13.693s 12.361s 400183296 zeus23 - - - - timeout 900.996s 898.744s zeus24 428326912 898.125s 0.002s 3 845.506s timeout 901.039s 898.465s zeus23 517947392 897.866s 0.000s 0 -
floats-cdfpl/square_6_true-unreach-call.i timeout 900.986s 898.173s zeus09 418422784 897.594s 0.002s timeout 901.024s 898.237s zeus11 383471616 897.629s 0.002s 3 864.453s segmentation fault 12.917s 11.722s 395149312 zeus20 - - - - timeout 900.953s 899.073s zeus02 395386880 898.469s 0.000s 3 833.025s true 325.250s 323.612s zeus23 373858304 323.012s 0.000s 0 -
floats-cdfpl/square_7_true-unreach-call.i true 372.339s 370.961s zeus06 398262272 370.374s 0.001s timeout 901.045s 898.080s zeus14 410759168 897.472s 0.003s 3 765.212s segmentation fault 13.156s 11.918s 390615040 zeus09 - - - - timeout 900.938s 898.731s zeus10 363560960 898.130s 0.002s 3 764.515s true 398.607s 397.011s zeus04 413937664 396.425s 0.000s 0 -
floats-cdfpl/square_8_true-unreach-call.i true 36.555s 35.456s zeus13 242171904 34.883s 0.000s timeout 900.989s 898.761s zeus18 587591680 898.163s 0.000s 2 186.587s segmentation fault 12.463s 11.342s 391491584 zeus17 - - - - timeout 900.997s 898.771s zeus17 535736320 898.160s 0.001s 2 430.160s true 32.443s 31.143s zeus07 264228864 30.531s 0.000s 0 -
floats-cbmc-regression/float-flags-simp1_true-unreach-call.i false(reach) 4.156s 2.776s zeus08 190238720 2.123s 0.006s false(reach) 6.318s 4.005s zeus21 245559296 3.364s 0.008s 13 1.332s exception 3.928s 2.580s 196837376 zeus13 - - - - false(reach) 5.301s 3.410s zeus23 234278912 2.758s 0.014s 13 0.647s error 4.506s 3.170s zeus13 210882560 2.571s 0.007s 2 0.439s
floats-cbmc-regression/float-no-simp1_true-unreach-call.i true 3.200s 2.028s zeus12 157134848 1.443s 0.000s true 3.254s 2.158s zeus12 158228480 1.552s 0.000s 1 0.031s segmentation fault 3.272s 2.216s 207622144 zeus11 - - - - true 3.196s 2.104s zeus03 165130240 1.522s 0.001s 1 0.026s true 3.090s 1.990s zeus19 170016768 1.427s 0.000s 0 -
floats-cbmc-regression/float-no-simp2_true-unreach-call.i false(reach) 4.935s 3.698s zeus13 184102912 3.088s 0.003s false(reach) 189.194s 187.072s zeus01 214126592 186.367s 0.004s 4 182.527s exception 3.893s 2.480s 198975488 zeus16 - - - - false(reach) 178.999s 176.926s zeus16 229122048 176.306s 0.003s 4 172.581s true 8.521s 7.284s zeus01 207728640 6.689s 0.000s 0 -
floats-cbmc-regression/float-no-simp3_true-unreach-call.i true 3.505s 2.334s zeus15 158011392 1.639s 0.000s true 3.211s 2.089s zeus23 163807232 1.504s 0.000s 1 0.026s exception 3.261s 2.172s 190398464 zeus02 - - - - true 3.319s 2.130s zeus06 166858752 1.556s 0.000s 1 0.026s true 3.289s 2.089s zeus12 169385984 1.497s 0.000s 0 -
floats-cbmc-regression/float-no-simp4_true-unreach-call.i true 4.434s 3.069s zeus15 179306496 2.382s 0.015s true 102.560s 96.204s zeus24 652320768 95.606s 0.024s 22 92.548s exception 3.956s 2.558s 193175552 zeus04 - - - - true 102.565s 96.282s zeus03 645107712 95.679s 0.018s 22 92.569s true 4.787s 3.495s zeus18 205803520 2.858s 0.012s 0 -
floats-cbmc-regression/float-no-simp6_true-unreach-call.i true 3.159s 2.032s zeus13 158314496 1.461s 0.002s true 3.380s 2.192s zeus13 167018496 1.593s 0.001s 3 0.059s false(reach) 3.575s 2.384s 199299072 zeus02 1.753s 0.000s 1 0.114s true 3.415s 2.197s zeus22 169725952 1.608s 0.002s 3 0.048s true 3.181s 2.096s zeus11 174522368 1.512s 0.000s 0 -
floats-cbmc-regression/float-no-simp7_true-unreach-call.i true 3.083s 2.023s zeus01 159006720 1.410s 0.000s true 3.329s 2.152s zeus04 166887424 1.566s 0.000s 1 0.028s exception 3.341s 2.219s 186912768 zeus16 - - - - true 3.137s 2.058s zeus19 162746368 1.467s 0.000s 1 0.026s true 3.218s 2.104s zeus23 170565632 1.503s 0.000s 0 -
floats-cbmc-regression/float-no-simp8_true-unreach-call.i true 3.422s 2.191s zeus10 159977472 1.617s 0.000s true 4.125s 2.708s zeus14 191918080 2.127s 0.000s 2 0.364s exception 3.903s 2.527s 194801664 zeus14 - - - - true 3.766s 2.439s zeus20 172568576 1.852s 0.000s 2 0.100s false(reach) 3.683s 2.453s zeus02 197222400 1.878s 0.000s 1 0.112s
floats-cbmc-regression/float-rounding1_true-unreach-call.i false(reach) 3.751s 2.408s zeus11 166584320 1.794s 0.000s false(reach) 4.013s 2.675s zeus06 186732544 2.063s 0.000s 2 0.306s error 3.566s 2.334s 190267392 zeus06 1.749s 0.000s 0 - false(reach) 3.902s 2.484s zeus16 173740032 1.873s 0.002s 2 0.114s error 3.727s 2.423s zeus11 175325184 1.830s 0.000s 0 -
floats-cbmc-regression/float-to-double1_true-unreach-call.i true 3.459s 2.265s zeus03 172716032 1.693s 0.000s true 4.367s 3.051s zeus21 188239872 2.475s 0.003s 2 0.765s segmentation fault 3.904s 2.589s 202428416 zeus07 - - - - true 4.650s 3.131s zeus13 189747200 2.555s 0.002s 2 0.840s true 3.631s 2.419s zeus02 185974784 1.837s 0.003s 0 -
floats-cbmc-regression/float-to-double2_true-unreach-call.i true 3.078s 2.008s zeus06 157880320 1.397s 0.000s true 3.396s 2.213s zeus16 158310400 1.610s 0.000s 1 0.028s exception 3.233s 2.139s 185167872 zeus08 - - - - true 3.056s 2.015s zeus23 165380096 1.446s 0.000s 1 0.025s true 3.336s 2.165s zeus16 169005056 1.583s 0.000s 0 -
floats-cbmc-regression/float-zero-sum1_true-unreach-call.i true 3.090s 2.045s zeus10 158056448 1.464s 0.000s true 4.107s 2.867s zeus03 174395392 2.041s 0.001s 1 0.125s false(reach) 3.447s 2.268s 184000512 zeus20 1.643s 0.000s 1 0.037s true 3.363s 2.144s zeus17 161415168 1.539s 0.000s 1 0.032s false(reach) 3.366s 2.231s zeus04 176123904 1.595s 0.000s 1 0.039s
floats-cbmc-regression/float11_true-unreach-call.i true 3.725s 2.513s zeus20 156917760 1.762s 0.000s true 3.265s 2.091s zeus22 164683776 1.493s 0.000s 0 - true 3.236s 2.140s 176906240 zeus19 1.553s 0.000s 0 - true 3.121s 2.036s zeus09 160661504 1.464s 0.000s 0 - true 3.117s 2.053s zeus06 169000960 1.454s 0.000s 0 -
floats-cbmc-regression/float12_true-unreach-call.i true 3.120s 2.084s zeus12 167747584 1.501s 0.000s true 3.501s 2.414s zeus01 171646976 1.821s 0.001s 1 0.310s exception 3.173s 2.148s 187727872 zeus22 - - - - true 3.600s 2.489s zeus06 177602560 1.899s 0.000s 1 0.317s true 3.320s 2.129s zeus20 172404736 1.545s 0.002s 0 -
floats-cbmc-regression/float13_true-unreach-call.i true 3.065s 1.981s zeus17 157937664 1.425s 0.001s true 3.504s 2.274s zeus11 174948352 1.692s 0.002s 3 0.084s exception 3.135s 2.118s 184651776 zeus13 - - - - true 3.498s 2.262s zeus14 171356160 1.681s 0.003s 3 0.048s true 3.320s 2.163s zeus15 171577344 1.555s 0.000s 0 -
floats-cbmc-regression/float14_true-unreach-call.i true 3.487s 2.227s zeus09 164859904 1.654s 0.000s true 4.881s 3.315s zeus15 186912768 2.546s 0.000s 2 0.328s exception 3.607s 2.343s 188952576 zeus21 - - - - true 3.689s 2.435s zeus10 168771584 1.852s 0.003s 2 0.108s true 3.728s 2.419s zeus12 173391872 1.836s 0.000s 0 -
floats-cbmc-regression/float18_true-unreach-call.i true 3.510s 2.273s zeus09 166895616 1.689s 0.002s true 5.625s 3.909s zeus20 191254528 2.895s 0.006s 2 0.529s exception 3.791s 2.444s 193191936 zeus14 - - - - true 3.945s 2.564s zeus20 177541120 1.993s 0.004s 2 0.155s exception 4.078s 2.862s zeus03 191295488 - - - -
floats-cbmc-regression/float19_true-unreach-call.i true 3.417s 2.242s zeus13 173723648 1.676s 0.000s true 3.885s 2.629s zeus23 185581568 2.036s 0.002s 1 0.286s exception 3.790s 2.459s 197902336 zeus18 - - - - true 3.875s 2.613s zeus21 184098816 2.032s 0.003s 1 0.300s true 3.596s 2.330s zeus20 175931392 1.763s 0.000s 0 -
floats-cbmc-regression/float1_true-unreach-call.i true 3.220s 2.046s zeus12 160362496 1.483s 0.002s true 3.190s 2.081s zeus10 156585984 1.478s 0.000s 1 0.027s segmentation fault 3.200s 2.131s 194002944 zeus12 - - - - true 3.211s 2.061s zeus09 164171776 1.471s 0.000s 1 0.026s false(reach) 3.498s 2.305s zeus17 191946752 1.695s 0.000s 1 0.225s
floats-cbmc-regression/float20_true-unreach-call.i true 3.325s 2.183s zeus04 169504768 1.597s 0.001s true 3.741s 2.519s zeus24 178970624 1.925s 0.001s 3 0.343s false(reach) 3.383s 2.278s 193269760 zeus02 1.694s 0.000s 1 0.103s true 3.623s 2.459s zeus13 182022144 1.878s 0.004s 3 0.371s false(reach) 3.396s 2.259s zeus02 186814464 1.669s 0.000s 1 0.098s
floats-cbmc-regression/float22_true-unreach-call.i true 3.308s 2.153s zeus18 161865728 1.560s 0.000s true 5.008s 3.475s zeus21 192032768 2.884s 0.003s 4 1.216s error 3.560s 2.354s 189943808 zeus20 1.744s 0.000s 2 0.047s true 3.905s 2.577s zeus11 192421888 1.995s 0.007s 4 0.357s false(reach) 3.576s 2.347s zeus01 182259712 1.745s 0.001s 1 0.104s
floats-cbmc-regression/float2_true-unreach-call.i true 3.137s 2.010s zeus23 158924800 1.432s 0.000s true 3.415s 2.202s zeus14 167870464 1.620s 0.000s 2 0.032s exception 3.297s 2.189s 182550528 zeus07 - - - - true 3.163s 2.086s zeus12 159141888 1.494s 0.000s 2 0.030s true 3.094s 2.030s zeus03 170405888 1.443s 0.000s 0 -
floats-cbmc-regression/float3_true-unreach-call.i error (parsing failed) 2.513s 1.544s zeus21 113958912 0.972s - error (parsing failed) 2.667s 1.683s zeus03 118648832 1.036s - - - error (parsing failed) 2.790s 1.789s 111013888 zeus05 1.098s - - - error (parsing failed) 2.447s 1.536s zeus11 113635328 0.968s - - - error (parsing failed) 2.526s 1.586s zeus16 111534080 1.014s - - -
floats-cbmc-regression/float4_true-unreach-call.i false(reach) 11.152s 9.842s zeus10 202575872 9.218s 0.001s false(reach) 394.458s 391.443s zeus01 280920064 390.825s 0.002s 8 353.208s exception 7.471s 6.111s 376557568 zeus05 - - - - false(reach) 411.329s 408.086s zeus08 300716032 407.477s 0.005s 8 368.919s true 17.019s 15.696s zeus08 221982720 15.096s 0.002s 0 -
floats-cbmc-regression/float5_true-unreach-call.i true 3.710s 2.516s zeus15 170164224 1.841s 0.002s true 3.572s 2.467s zeus07 181534720 1.844s 0.000s 2 0.384s exception 3.288s 2.221s 187170816 zeus21 - - - - true 3.328s 2.246s zeus05 176082944 1.668s 0.001s 2 0.172s true 3.362s 2.219s zeus07 182374400 1.593s 0.000s 0 -
floats-cbmc-regression/float6_true-unreach-call.i true 3.232s 2.134s zeus22 171384832 1.540s 0.000s true 5.563s 3.894s zeus20 177733632 2.763s 0.002s 2 0.168s exception 3.407s 2.286s 187338752 zeus03 - - - - true 3.269s 2.169s zeus11 177545216 1.593s 0.000s 2 0.092s false(reach) 3.369s 2.269s zeus05 182870016 1.682s 0.001s 1 0.069s
floats-cbmc-regression/float7_true-unreach-call.i false(reach) 4.253s 2.913s zeus20 166318080 2.014s 0.000s false(reach) 3.079s 2.011s zeus02 167108608 1.431s 0.000s 1 0.035s false(reach) 3.198s 2.151s 184537088 zeus17 1.561s 0.001s 1 0.059s false(reach) 2.999s 2.001s zeus20 164003840 1.432s 0.000s 1 0.036s false(reach) 3.428s 2.172s zeus18 182657024 1.586s 0.001s 1 0.057s
floats-cbmc-regression/float8_true-unreach-call.i true 4.528s 3.254s zeus11 182583296 2.657s 0.000s true 129.937s 128.304s zeus07 199188480 127.692s 0.002s 2 125.200s segmentation fault 7.799s 6.509s 448491520 zeus10 - - - - true 133.403s 131.826s zeus21 201646080 131.249s 0.004s 2 128.659s true 6.003s 4.588s zeus05 191918080 3.970s 0.001s 0 -
float-benchs/float_int_inv_square_false-unreach-call.c false(reach) 3.399s 2.282s zeus05 173793280 1.697s 0.002s false(reach) 3.646s 2.495s zeus18 188108800 1.859s 0.001s 2 0.314s false(reach) 3.905s 2.609s 207568896 zeus22 1.974s 0.002s 2 0.280s false(reach) 3.341s 2.255s zeus05 185114624 1.663s 0.001s 2 0.190s false(reach) 3.601s 2.437s zeus07 197062656 1.799s 0.001s 1 0.225s
float-benchs/inv_square_false-unreach-call.c false(reach) 3.583s 2.387s zeus09 182079488 1.777s 0.004s false(reach) 3.466s 2.349s zeus01 182972416 1.751s 0.004s 2 0.306s false(reach) 3.768s 2.528s 207605760 zeus03 1.913s 0.002s 2 0.212s false(reach) 3.488s 2.319s zeus03 186781696 1.712s 0.001s 2 0.193s false(reach) 3.540s 2.395s zeus04 191180800 1.793s 0.003s 1 0.214s
float-benchs/nan_double_false-unreach-call.c false(reach) 3.534s 2.420s zeus02 161693696 1.634s 0.000s false(reach) 3.471s 2.389s zeus02 170328064 1.660s 0.000s 1 0.040s false(reach) 3.441s 2.333s 188108800 zeus21 1.693s 0.000s 1 0.060s false(reach) 3.215s 2.079s zeus12 168284160 1.481s 0.001s 1 0.037s false(reach) 3.126s 2.079s zeus02 182292480 1.499s 0.001s 1 0.050s
float-benchs/nan_float_false-unreach-call.c false(reach) 3.181s 2.062s zeus10 161329152 1.465s 0.000s false(reach) 3.286s 2.235s zeus02 169721856 1.576s 0.000s 1 0.036s false(reach) 3.363s 2.199s 189747200 zeus17 1.595s 0.000s 1 0.052s false(reach) 3.161s 2.068s zeus08 172744704 1.486s 0.000s 1 0.033s false(reach) 3.425s 2.210s zeus12 178044928 1.615s 0.000s 1 0.052s
float-benchs/sin_interpolated_index_false-unreach-call.c false(reach) 4.099s 2.925s zeus11 195670016 2.319s 0.002s false(reach) 12.811s 11.414s zeus18 216109056 10.798s 0.004s 3 8.571s error 3.477s 2.301s 177958912 zeus16 1.685s 0.000s 0 - false(reach) 12.116s 10.793s zeus01 211726336 10.194s 0.006s 3 8.030s error 3.501s 2.249s zeus13 171835392 1.674s 0.001s 0 -
float-benchs/inv_square_int_true-unreach-call.c true 3.335s 2.252s zeus06 177278976 1.669s 0.002s true 4.781s 3.488s zeus08 189157376 2.879s 0.003s 2 1.146s segmentation fault 3.412s 2.340s 201564160 zeus02 - - - - true 4.506s 3.289s zeus24 183738368 2.703s 0.003s 2 1.036s true 3.234s 2.146s zeus01 186056704 1.562s 0.001s 0 -
float-benchs/inv_square_true-unreach-call.c true 3.642s 2.516s zeus18 181137408 1.928s 0.002s true 9.076s 7.796s zeus01 191348736 7.199s 0.004s 3 4.936s exception 3.570s 2.406s 199348224 zeus15 - - - - true 9.113s 7.876s zeus12 195145728 7.292s 0.003s 3 5.010s true 3.294s 2.207s zeus23 186347520 1.618s 0.001s 0 -
float-benchs/nan_double_range_true-unreach-call.c true 3.394s 2.161s zeus17 168828928 1.581s 0.000s true 3.557s 2.438s zeus12 170520576 1.857s 0.000s 1 0.338s segmentation fault 3.238s 2.155s 180637696 zeus21 - - - - true 3.584s 2.438s zeus17 171859968 1.856s 0.001s 1 0.330s true 3.134s 2.069s zeus09 171196416 1.495s 0.000s 0 -
float-benchs/nan_float_range_true-unreach-call.c true 3.161s 2.102s zeus04 169721856 1.532s 0.001s true 3.876s 2.609s zeus18 179269632 2.036s 0.001s 1 0.431s segmentation fault 3.592s 2.329s 180932608 zeus15 - - - - true 3.734s 2.579s zeus24 177840128 1.999s 0.001s 1 0.441s true 3.123s 2.055s zeus04 172494848 1.475s 0.000s 0 -
float-benchs/sin_interpolated_bigrange_loose_true-unreach-call.c false(reach) 526.067s 523.722s zeus21 378675200 523.070s 0.005s false(reach) 17.163s 15.753s zeus21 267403264 15.128s 0.009s 2 13.351s error 3.537s 2.271s 178475008 zeus21 1.668s 0.000s 0 - false(reach) 11.697s 10.363s zeus18 273784832 9.737s 0.008s 2 7.946s error 3.408s 2.213s zeus18 175276032 1.611s 0.000s 0 -
float-benchs/sin_interpolated_bigrange_tight_true-unreach-call.c false(reach) 588.565s 586.021s zeus15 423309312 585.299s 0.007s false(reach) 23.510s 22.188s zeus07 293736448 21.533s 0.005s 2 19.846s error 3.556s 2.332s 182730752 zeus11 1.709s 0.000s 0 - false(reach) 8.627s 7.323s zeus17 265322496 6.702s 0.010s 2 4.948s error 3.372s 2.199s zeus21 169508864 1.600s 0.000s 0 -
float-benchs/sin_interpolated_index_true-unreach-call.c error 11.501s 10.283s zeus21 251940864 9.707s 0.004s timeout 901.045s 897.746s zeus16 426934272 897.119s 0.005s 7 865.161s error 3.555s 2.334s 182812672 zeus07 1.674s 0.000s 0 - timeout 901.051s 897.844s zeus14 446337024 897.232s 0.007s 7 860.003s error 3.326s 2.161s zeus14 172142592 1.575s 0.000s 0 -
float-benchs/sin_interpolated_smallrange_true-unreach-call.c false(reach) 68.999s 67.664s zeus03 359383040 67.044s 0.000s false(reach) 163.110s 161.047s zeus23 382443520 160.437s 0.008s 5 157.004s error 3.631s 2.330s 181350400 zeus13 1.733s 0.000s 0 - false(reach) 162.173s 160.170s zeus16 390197248 159.566s 0.013s 5 156.151s error 3.461s 2.210s zeus19 171024384 1.628s 0.000s 0 -
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-termination.cil.c false(reach) 25.179s 18.426s zeus19 628736000 17.375s 0.172s false(reach) 20.752s 13.294s zeus07 641351680 12.509s 0.209s 23 4.727s false(reach) 24.217s 15.383s 665604096 zeus12 14.602s 0.245s 14 1.142s false(reach) 18.365s 11.520s zeus23 619339776 10.769s 0.271s 19 1.351s false(reach) 11.655s 8.277s zeus09 336486400 7.627s 0.066s 2 0.973s
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-termination.cil.c false(reach) 16.955s 11.586s zeus14 627625984 10.717s 0.153s timeout 901.487s 887.769s zeus23 3627180032 886.570s 1.304s 14 2.793s timeout 902.075s 883.096s 3718807552 zeus22 881.686s 1.127s 11 0.646s timeout 901.946s 888.061s zeus12 3611598848 886.842s 1.150s 14 1.006s false(reach) 8.245s 5.724s zeus23 252719104 5.110s 0.047s 3 0.612s
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-termination.cil.c false(reach) 45.924s 38.012s zeus07 725389312 37.054s 0.159s timeout 901.834s 888.114s zeus16 3658997760 886.868s 1.376s 14 4.182s timeout 902.165s 883.130s 3697545216 zeus21 881.762s 1.118s 11 0.628s timeout 901.815s 888.363s zeus01 3606278144 887.194s 1.330s 14 1.112s false(reach) 9.243s 6.624s zeus12 277741568 5.998s 0.076s 3 0.723s
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-termination.cil.c false(reach) 10.545s 6.785s zeus08 300048384 6.024s 0.090s false(reach) 19.094s 12.925s zeus03 542908416 12.041s 0.176s 27 5.708s false(reach) 19.720s 12.239s 536866816 zeus13 11.600s 0.159s 15 0.868s false(reach) 13.204s 7.764s zeus16 431927296 7.058s 0.157s 27 1.344s false(reach) 5.931s 3.969s zeus20 218308608 3.345s 0.027s 1 0.320s
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-termination.cil.c true 26.557s 19.147s zeus05 650821632 18.293s 0.136s timeout 901.753s 882.594s zeus13 2407559168 881.322s 1.466s 80 15.481s timeout 902.770s 880.197s 4125933568 zeus12 878.193s 2.118s 27 1.818s timeout 901.571s 884.988s zeus07 3676708864 883.705s 1.443s 70 2.377s true 11.310s 8.239s zeus24 347381760 7.609s 0.085s 1 0.069s
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-termination.cil.c timeout 901.064s 886.554s zeus21 2400817152 885.742s 0.228s true 225.709s 215.531s zeus02 1207635968 214.847s 0.310s 73 202.880s true 38.058s 28.464s 775852032 zeus24 27.686s 0.490s 29 2.187s true 28.099s 19.175s zeus19 661475328 18.450s 0.289s 77 2.834s true 9.809s 7.351s zeus03 293859328 6.728s 0.076s 1 0.067s
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-termination.cil.c true 16.614s 11.401s zeus08 622018560 10.711s 0.153s timeout 901.938s 887.505s zeus20 3607527424 886.239s 1.522s 14 2.929s timeout 902.118s 883.547s 3750236160 zeus08 882.172s 1.157s 11 0.683s timeout 901.759s 888.683s zeus06 3611385856 887.532s 1.221s 14 0.985s true 7.624s 5.280s zeus22 243486720 4.630s 0.039s 2 0.152s
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-termination.cil.c true 46.896s 38.942s zeus05 682291200 38.153s 0.159s timeout 901.458s 885.450s zeus14 2627989504 884.296s 1.286s 14 4.125s timeout 901.861s 882.949s 3731361792 zeus02 881.603s 1.216s 11 0.640s timeout 901.856s 888.331s zeus09 3651186688 887.185s 1.181s 14 1.052s true 8.863s 6.198s zeus05 279564288 5.580s 0.068s 2 0.159s
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-termination.cil.c true 5.527s 3.471s zeus21 200306688 2.866s 0.046s true 11.033s 6.947s zeus07 356564992 6.269s 0.081s 15 2.223s true 8.646s 5.349s 265900032 zeus19 4.679s 0.082s 10 0.451s true 10.333s 6.165s zeus05 317108224 5.532s 0.097s 15 0.976s true 4.237s 2.834s zeus01 183250944 2.247s 0.012s 0 -
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-termination.cil.c true 9.899s 6.364s zeus23 295669760 5.758s 0.079s true 17.077s 11.037s zeus14 480772096 10.333s 0.140s 15 3.947s true 14.073s 8.258s 379183104 zeus13 7.547s 0.136s 11 0.688s true 13.142s 7.811s zeus02 410980352 7.203s 0.186s 15 1.089s true 5.338s 3.522s zeus04 202194944 2.919s 0.028s 0 -
ssh-simplified/s3_clnt_1_false-unreach-call.cil.c false(reach) 46.971s 39.962s zeus15 653099008 38.571s 0.235s false(reach) 8.365s 5.184s zeus22 258338816 4.474s 0.084s 4 1.063s false(reach) 6.899s 4.346s 254230528 zeus19 3.715s 0.054s 3 0.293s false(reach) 7.315s 4.553s zeus06 244781056 3.864s 0.058s 4 0.733s false(reach) 7.630s 5.091s zeus07 277438464 4.404s 0.060s 4 0.696s
ssh-simplified/s3_clnt_2_false-unreach-call_true-termination.cil.c false(reach) 40.762s 34.730s zeus18 652541952 33.835s 0.133s false(reach) 8.381s 5.165s zeus14 258072576 4.487s 0.084s 4 1.199s false(reach) 6.920s 4.426s 258940928 zeus08 3.800s 0.049s 3 0.322s false(reach) 7.593s 4.644s zeus17 243552256 3.961s 0.052s 4 0.822s false(reach) 8.049s 5.324s zeus08 284209152 4.724s 0.080s 5 0.793s
ssh-simplified/s3_clnt_3_false-unreach-call.cil.c false(reach) 39.868s 34.049s zeus11 643186688 33.169s 0.153s false(reach) 8.406s 5.175s zeus23 263090176 4.498s 0.078s 4 1.248s false(reach) 7.346s 4.597s 252157952 zeus04 3.950s 0.047s 3 0.323s false(reach) 7.761s 4.701s zeus06 250454016 4.035s 0.071s 4 0.796s false(reach) 8.473s 5.823s zeus02 294662144 5.216s 0.103s 5 0.905s
ssh-simplified/s3_clnt_4_false-unreach-call.cil.c false(reach) 38.988s 33.160s zeus11 645361664 32.264s 0.139s false(reach) 8.538s 5.164s zeus19 258269184 4.495s 0.078s 4 1.292s false(reach) 6.913s 4.333s 253202432 zeus09 3.709s 0.035s 3 0.316s false(reach) 7.729s 4.704s zeus21 243998720 4.020s 0.064s 4 0.811s false(reach) 7.912s 5.164s zeus04 270434304 4.521s 0.062s 4 0.672s
ssh-simplified/s3_srvr_10_false-unreach-call.cil.c timeout 901.499s 884.976s zeus05 1266860032 883.773s 1.223s timeout 902.254s 882.893s zeus03 3804471296 881.307s 3.034s 5 2.147s timeout 901.629s 880.421s 4708892672 zeus19 879.425s 3.067s 8 4.800s timeout 901.690s 883.391s zeus12 3854630912 881.970s 1.886s 5 1.172s false(reach) 4.402s 2.964s zeus11 202985472 2.338s 0.013s 1 0.201s
ssh-simplified/s3_srvr_11_false-unreach-call.cil.c timeout 901.307s 886.755s zeus17 1352777728 885.697s 0.825s false(reach) 48.948s 39.682s zeus04 1252765696 38.904s 0.327s 12 20.347s timeout 902.246s 882.551s 3926986752 zeus02 880.890s 1.815s 4 0.994s false(reach) 49.168s 39.115s zeus08 1252876288 38.375s 0.305s 12 20.066s false(reach) 280.507s 272.213s zeus22 717627392 271.389s 0.170s 5 1.195s
ssh-simplified/s3_srvr_12_false-unreach-call.cil.c timeout 901.959s 886.563s zeus02 1292206080 885.384s 0.983s timeout 901.879s 884.021s zeus13 4000882688 882.512s 1.885s 2 4.669s timeout 902.575s 882.597s 4138807296 zeus10 880.841s 1.832s 2 0.331s timeout 901.898s 883.375s zeus18 4172980224 881.891s 1.826s 2 0.812s false(reach) 14.725s 10.322s zeus03 373977088 9.682s 0.096s 4 1.028s
ssh-simplified/s3_srvr_13_false-unreach-call.cil.c timeout 901.687s 885.626s zeus01 803414016 884.615s 0.752s false(reach) 342.743s 329.996s zeus21 3819069440 329.283s 1.279s 14 6.482s timeout 901.876s 880.455s 4332703744 zeus08 879.061s 2.093s 5 2.297s false(reach) 357.309s 343.932s zeus06 3803844608 343.227s 1.156s 12 61.145s false(reach) 15.226s 11.094s zeus01 351707136 10.447s 0.096s 4 0.697s
ssh-simplified/s3_srvr_14_false-unreach-call.cil.c timeout 901.974s 886.370s zeus12 1250885632 885.259s 0.981s timeout 901.757s 884.014s zeus21 4124446720 882.593s 1.830s 4 2.520s timeout 902.340s 883.341s 4041129984 zeus20 881.625s 1.632s 2 0.293s timeout 901.861s 884.330s zeus06 4065804288 882.900s 1.915s 4 1.058s false(reach) 7.584s 4.996s zeus16 260521984 4.336s 0.081s 3 0.327s
ssh-simplified/s3_srvr_1_false-unreach-call.cil.c false(reach) 9.155s 5.899s zeus05 249901056 5.031s 0.042s false(reach) 7.482s 4.600s zeus07 241672192 3.876s 0.042s 4 1.070s false(reach) 5.506s 3.604s 228859904 zeus20 3.003s 0.034s 3 0.310s false(reach) 6.450s 3.954s zeus22 230309888 3.307s 0.053s 4 0.707s false(reach) 6.757s 4.426s zeus17 243412992 3.827s 0.078s 4 0.513s
ssh-simplified/s3_srvr_2_false-unreach-call.cil.c false(reach) 8.434s 5.585s zeus23 253779968 4.730s 0.041s false(reach) 7.108s 4.430s zeus12 237441024 3.756s 0.038s 4 1.037s false(reach) 5.837s 3.757s 227143680 zeus16 3.132s 0.030s 3 0.330s false(reach) 6.173s 3.927s zeus05 227721216 3.298s 0.035s 4 0.607s false(reach) 7.033s 4.576s zeus04 244346880 3.943s 0.045s 4 0.510s
ssh-simplified/s3_srvr_6_false-unreach-call.cil.c false(reach) 4.163s 2.684s zeus11 179236864 2.031s 0.005s false(reach) 4.646s 3.015s zeus08 187006976 2.383s 0.016s 2 0.150s false(reach) 5.027s 3.274s 219627520 zeus06 2.586s 0.015s 2 0.124s false(reach) 4.480s 2.890s zeus03 191647744 2.261s 0.014s 2 0.132s false(reach) 4.189s 2.693s zeus24 188588032 2.104s 0.005s 1 0.075s
ssh-simplified/s3_clnt_1_true-unreach-call.cil.c timeout 901.855s 886.729s zeus11 1270960128 885.624s 0.824s true 21.472s 14.338s zeus22 631631872 13.712s 0.193s 6 5.498s true 17.492s 10.918s 654979072 zeus09 10.262s 0.135s 4 0.868s true 10.313s 6.253s zeus19 316731392 5.591s 0.131s 4 0.448s true 24.728s 19.422s zeus15 512782336 18.763s 0.126s 6 1.369s
ssh-simplified/s3_clnt_2_true-unreach-call_true-termination.cil.c timeout 901.394s 885.953s zeus12 1274949632 884.851s 0.901s true 29.589s 21.672s zeus04 1062453248 21.033s 0.251s 7 7.554s true 21.403s 13.831s 657219584 zeus18 13.038s 0.235s 4 0.845s true 10.447s 6.167s zeus18 329547776 5.507s 0.117s 3 0.422s true 36.815s 31.462s zeus20 668053504 30.821s 0.142s 5 1.202s
ssh-simplified/s3_clnt_3_true-unreach-call.cil.c timeout 901.413s 885.927s zeus16 1242685440 884.804s 0.741s true 30.423s 21.915s zeus13 982208512 21.312s 0.239s 7 7.427s true 18.988s 11.952s 658096128 zeus19 11.299s 0.178s 4 0.795s true 10.118s 6.035s zeus10 318214144 5.350s 0.129s 3 0.431s true 69.805s 64.202s zeus08 684687360 63.546s 0.128s 6 1.344s
ssh-simplified/s3_clnt_4_true-unreach-call.cil.c timeout 901.414s 885.396s zeus03 1161670656 884.295s 0.751s true 19.841s 12.825s zeus14 643661824 12.163s 0.178s 5 3.626s true 17.715s 11.214s 658247680 zeus14 10.590s 0.156s 4 0.789s true 9.748s 5.794s zeus11 295227392 5.045s 0.124s 3 0.356s true 38.339s 32.971s zeus12 677761024 32.328s 0.114s 7 2.014s
ssh-simplified/s3_srvr_1_true-unreach-call.cil.c timeout 901.803s 888.767s zeus07 2377547776 887.585s 0.958s true 91.334s 81.934s zeus24 3611967488 81.226s 0.629s 7 4.930s timeout 901.684s 881.353s 3940814848 zeus17 880.201s 2.964s 10 4.176s true 58.443s 49.969s zeus07 671424512 49.332s 0.170s 5 42.564s true 25.452s 18.857s zeus08 660570112 18.130s 0.255s 5 0.711s
ssh-simplified/s3_srvr_1a_true-unreach-call.cil.c true 6.580s 4.029s zeus07 223469568 3.389s 0.071s true 4.549s 2.937s zeus12 188092416 2.314s 0.029s 3 0.303s true 5.546s 3.568s 211820544 zeus13 2.906s 0.033s 3 0.151s true 6.689s 4.324s zeus14 254181376 3.726s 0.031s 3 1.589s true 6.083s 3.942s zeus06 220422144 3.329s 0.071s 4 0.124s
ssh-simplified/s3_srvr_1b_true-unreach-call_false-termination.cil.c timeout 901.203s 884.709s zeus08 3775664128 883.760s 0.992s true 3.566s 2.412s zeus07 179343360 1.782s 0.010s 3 0.163s true 4.096s 2.758s 199729152 zeus06 2.154s 0.005s 3 0.082s true 4.318s 2.894s zeus02 187179008 2.306s 0.015s 3 0.563s true 3.901s 2.656s zeus05 180805632 2.068s 0.022s 3 0.073s
ssh-simplified/s3_srvr_2_true-unreach-call.cil.c timeout 901.399s 885.771s zeus07 1255780352 884.632s 1.121s true 11.987s 7.287s zeus16 377528320 6.621s 0.148s 3 1.257s true 14.231s 8.570s 445796352 zeus10 7.827s 0.129s 3 0.472s true 12.213s 7.070s zeus19 368795648 6.344s 0.138s 3 0.495s true 22.489s 15.938s zeus01 636358656 15.197s 0.182s 5 0.584s
ssh-simplified/s3_srvr_3_true-unreach-call.cil.c timeout 901.629s 889.040s zeus14 2351345664 887.902s 0.940s true 35.981s 27.534s zeus13 1231216640 26.875s 0.322s 7 3.580s timeout 901.875s 882.598s 3772166144 zeus04 881.215s 2.123s 11 2.660s timeout 900.978s 887.037s zeus17 675319808 886.318s 0.377s 27 868.142s true 21.551s 14.811s zeus05 635973632 14.063s 0.155s 6 0.692s
ssh-simplified/s3_srvr_4_true-unreach-call.cil.c timeout 901.426s 885.448s zeus01 1251840000 884.314s 1.060s true 13.994s 8.893s zeus02 347688960 7.930s 0.143s 4 1.886s true 35.938s 27.619s 1227427840 zeus06 26.708s 0.274s 13 1.750s timeout 901.039s 887.066s zeus13 666034176 886.334s 0.331s 27 870.509s true 28.712s 21.329s zeus20 690872320 20.501s 0.175s 6 1.685s
ssh-simplified/s3_srvr_6_true-unreach-call.cil.c timeout 901.605s 886.097s zeus18 1294364672 884.873s 1.008s timeout 901.659s 881.823s zeus03 4273807360 880.707s 2.690s 4 9.364s timeout 902.099s 883.796s 3821936640 zeus03 882.118s 1.835s 2 0.241s true 704.496s 686.792s zeus21 3899408384 686.134s 1.524s 5 5.769s true 41.912s 33.253s zeus01 716886016 32.149s 0.162s 5 1.580s
ssh-simplified/s3_srvr_7_true-unreach-call.cil.c timeout 901.621s 885.500s zeus15 1253560320 884.247s 1.012s true 21.658s 14.099s zeus24 664801280 13.424s 0.200s 6 3.261s true 23.825s 14.634s 670826496 zeus12 13.925s 0.253s 4 1.049s true 52.807s 44.242s zeus05 660246528 43.609s 0.227s 6 34.268s true 80.480s 73.287s zeus10 717049856 72.479s 0.184s 7 1.639s
ssh-simplified/s3_srvr_8_true-unreach-call.cil.c timeout 901.489s 885.364s zeus10 1000742912 884.228s 0.976s timeout 901.460s 882.444s zeus08 4103073792 881.287s 2.472s 5 5.825s timeout 902.023s 880.865s 4417830912 zeus03 879.319s 2.965s 6 3.315s true 63.608s 54.550s zeus21 1257398272 53.955s 0.294s 5 37.478s true 25.119s 17.889s zeus14 672325632 17.126s 0.145s 5 0.904s
locks/test_locks_14_false-unreach-call.c timeout 901.219s 887.821s zeus09 1887641600 886.864s 0.699s false(reach) 3.876s 2.588s zeus20 172195840 1.910s 0.004s 1 0.111s false(reach) 3.853s 2.558s 196870144 zeus21 1.931s 0.005s 1 0.087s false(reach) 3.828s 2.479s zeus14 172044288 1.855s 0.004s 1 0.127s false(reach) 3.730s 2.486s zeus16 183312384 1.871s 0.007s 1 0.135s
locks/test_locks_15_false-unreach-call.c timeout 901.572s 889.709s zeus24 1787953152 888.797s 0.519s false(reach) 6.293s 4.412s zeus20 170008576 3.049s 0.009s 1 0.202s false(reach) 4.078s 2.713s 197074944 zeus04 2.076s 0.005s 1 0.091s false(reach) 4.027s 2.564s zeus02 172666880 1.930s 0.005s 1 0.134s false(reach) 3.681s 2.508s zeus11 195604480 1.909s 0.006s 1 0.161s
locks/test_locks_10_true-unreach-call.c timeout 901.373s 884.336s zeus23 1051234304 883.239s 1.001s true 36.110s 29.312s zeus11 1306877952 28.505s 0.313s 20 3.041s timeout 901.677s 883.357s 3577614336 zeus03 882.174s 1.630s 17 1.620s true 33.917s 27.572s zeus02 1826349056 26.787s 0.362s 20 1.922s true 3.320s 2.211s zeus05 172158976 1.632s 0.004s 0 -
locks/test_locks_11_true-unreach-call_false-termination.c timeout 901.716s 884.029s zeus15 987127808 882.825s 1.574s true 89.064s 81.811s zeus08 3621715968 80.926s 0.659s 22 3.560s timeout 901.569s 883.651s 3888271360 zeus18 882.450s 1.551s 17 1.593s true 88.208s 81.133s zeus07 3615010816 80.240s 0.699s 22 2.462s true 3.501s 2.322s zeus10 176197632 1.741s 0.005s 0 -
locks/test_locks_12_true-unreach-call_false-termination.c timeout 901.524s 887.148s zeus04 2187456512 885.915s 0.931s true 312.578s 303.207s zeus01 3853651968 302.089s 1.279s 24 4.476s timeout 901.944s 883.771s 3888873472 zeus13 882.594s 1.698s 17 1.627s true 326.141s 316.477s zeus08 3839012864 315.381s 1.563s 24 3.604s true 3.410s 2.264s zeus20 173346816 1.680s 0.002s 0 -
locks/test_locks_13_true-unreach-call.c timeout 901.624s 888.752s zeus24 1894203392 887.662s 0.844s timeout 902.018s 884.629s zeus15 3677880320 883.120s 4.823s 25 6.231s timeout 901.744s 882.878s 3630940160 zeus09 881.673s 1.731s 17 1.707s timeout 901.606s 885.979s zeus01 3771871232 884.733s 2.843s 25 4.563s true 3.488s 2.314s zeus23 180506624 1.718s 0.004s 0 -
locks/test_locks_14_true-unreach-call.c timeout 901.600s 888.486s zeus22 1889681408 887.515s 0.753s timeout 901.969s 886.018s zeus14 3732860928 884.802s 2.609s 25 6.412s timeout 901.580s 882.819s 3718119424 zeus22 881.616s 1.749s 17 1.805s timeout 901.763s 885.902s zeus02 3838210048 884.837s 2.237s 25 5.516s true 3.546s 2.336s zeus23 180727808 1.753s 0.004s 0 -
locks/test_locks_15_true-unreach-call_false-termination.c timeout 901.552s 888.819s zeus20 1890824192 887.840s 0.678s timeout 901.659s 885.800s zeus14 3819356160 884.822s 2.306s 25 6.908s timeout 902.173s 880.631s 3708534784 zeus05 879.175s 2.749s 17 2.048s timeout 901.755s 886.695s zeus04 4017164288 885.667s 2.440s 25 5.628s true 3.746s 2.452s zeus04 179208192 1.851s 0.001s 0 -
locks/test_locks_5_true-unreach-call_false-termination.c timeout 901.423s 886.277s zeus02 2322640896 885.177s 1.036s true 6.475s 4.170s zeus10 219729920 3.545s 0.070s 10 0.974s true 19.053s 12.904s 615817216 zeus21 12.222s 0.141s 10 0.386s true 6.086s 3.875s zeus13 216838144 3.266s 0.037s 10 0.596s true 3.290s 2.168s zeus03 174702592 1.586s 0.003s 0 -
locks/test_locks_6_true-unreach-call_false-termination.c timeout 901.395s 885.234s zeus08 1236975616 884.199s 0.943s true 7.992s 5.108s zeus17 266485760 4.506s 0.079s 12 1.371s true 34.644s 26.479s 917975040 zeus03 25.731s 0.197s 12 0.556s true 7.837s 4.922s zeus24 265129984 4.297s 0.070s 12 0.921s true 3.329s 2.184s zeus06 175448064 1.588s 0.001s 0 -
locks/test_locks_7_true-unreach-call_false-termination.c timeout 901.311s 885.939s zeus09 1020125184 884.897s 0.898s true 11.219s 7.020s zeus08 387108864 6.348s 0.143s 14 1.514s true 88.869s 79.113s 3308462080 zeus11 78.216s 0.358s 14 0.884s true 10.314s 6.320s zeus03 380731392 5.727s 0.141s 14 1.131s true 3.602s 2.292s zeus16 170000384 1.687s 0.005s 0 -
locks/test_locks_8_true-unreach-call_false-termination.c timeout 901.496s 885.527s zeus23 992387072 884.467s 0.978s true 16.463s 10.563s zeus20 629026816 9.811s 0.164s 16 2.279s true 457.572s 443.429s 3802607616 zeus01 442.320s 1.019s 16 1.145s true 14.319s 8.851s zeus04 624168960 8.189s 0.147s 16 1.458s true 3.210s 2.115s zeus01 176676864 1.534s 0.004s 0 -
locks/test_locks_9_true-unreach-call.c timeout 901.318s 885.391s zeus24 1235890176 884.340s 0.980s true 20.703s 14.495s zeus24 658706432 13.785s 0.204s 18 2.539s timeout 901.672s 883.822s 3802570752 zeus06 882.641s 1.769s 17 1.577s true 20.025s 13.599s zeus11 654110720 12.870s 0.249s 18 1.751s true 3.428s 2.253s zeus15 173223936 1.664s 0.002s 0 -
eca-rers2012/Problem01_label15_false-unreach-call.c false(reach) 38.962s 31.435s zeus10 1718968320 29.969s 0.695s false(reach) 44.078s 35.212s zeus18 2063609856 33.851s 0.821s 11 1.521s false(reach) 105.772s 92.533s 3653992448 zeus10 91.128s 1.372s 12 2.436s false(reach) 47.040s 37.270s zeus19 2027089920 35.856s 0.786s 11 1.806s false(reach) 17.840s 10.651s zeus13 666537984 10.001s 0.131s 5 1.740s
eca-rers2012/Problem01_label20_false-unreach-call.c false(reach) 305.471s 260.990s zeus18 4983500800 258.158s 4.218s false(reach) 235.576s 194.025s zeus23 4932386816 191.863s 3.479s 11 1.929s false(reach) 473.064s 420.096s 5252579328 zeus19 396.589s 6.058s 14 7.050s false(reach) 250.388s 201.404s zeus03 4885520384 198.798s 3.515s 11 1.736s false(reach) 19.643s 12.114s zeus06 695291904 11.426s 0.121s 5 1.994s
eca-rers2012/Problem01_label21_false-unreach-call.c false(reach) 41.234s 33.826s zeus16 1729658880 32.238s 0.708s false(reach) 45.553s 36.383s zeus05 2126262272 34.993s 0.790s 11 1.768s false(reach) 107.524s 94.107s 3658641408 zeus22 92.716s 1.414s 12 2.566s false(reach) 45.293s 35.971s zeus17 2088542208 34.611s 0.830s 11 1.502s false(reach) 17.573s 10.674s zeus04 675414016 10.011s 0.114s 5 1.773s
eca-rers2012/Problem01_label32_false-unreach-call.c false(reach) 296.765s 254.192s zeus03 4984786944 251.487s 31.016s false(reach) 254.205s 208.621s zeus10 4892303360 206.311s 3.683s 11 2.035s false(reach) 323.128s 292.898s 4991578112 zeus04 289.649s 4.672s 12 4.357s false(reach) 225.323s 186.314s zeus07 4886585344 184.050s 3.664s 11 1.605s false(reach) 19.521s 12.037s zeus21 691552256 11.365s 0.105s 5 1.982s
eca-rers2012/Problem01_label33_false-unreach-call.c false(reach) 88.960s 79.103s zeus12 3787739136 76.975s 1.491s false(reach) 85.365s 73.696s zeus24 3805278208 71.996s 1.598s 11 2.751s false(reach) 206.960s 190.032s 4495278080 zeus15 188.029s 3.331s 13 3.904s false(reach) 82.011s 70.811s zeus15 3726454784 69.026s 1.593s 11 1.674s false(reach) 17.702s 10.956s zeus24 680579072 10.315s 0.143s 5 1.773s
eca-rers2012/Problem01_label35_false-unreach-call.c false(reach) 39.374s 31.587s zeus18 1683767296 30.065s 0.671s false(reach) 41.272s 32.509s zeus17 1773457408 31.186s 0.732s 11 1.459s false(reach) 85.198s 72.815s 2800250880 zeus06 71.503s 1.213s 11 1.805s false(reach) 45.201s 36.042s zeus14 1750622208 34.673s 0.802s 11 1.451s false(reach) 17.887s 10.461s zeus16 663310336 9.794s 0.111s 4 1.726s
eca-rers2012/Problem01_label37_false-unreach-call.c false(reach) 90.023s 79.537s zeus17 3796078592 77.223s 1.519s false(reach) 84.864s 74.047s zeus21 3765260288 72.233s 1.590s 11 1.848s false(reach) 210.902s 192.396s 4584734720 zeus01 190.489s 3.156s 13 4.366s false(reach) 85.918s 74.264s zeus10 3786526720 72.413s 1.604s 11 1.754s false(reach) 18.534s 11.352s zeus10 691167232 10.682s 0.147s 5 1.900s
eca-rers2012/Problem01_label38_false-unreach-call.c false(reach) 43.165s 35.442s zeus02 1753169920 33.867s 0.820s false(reach) 56.196s 46.537s zeus20 1515208704 45.058s 1.158s 11 1.797s false(reach) 109.005s 95.561s 3662897152 zeus01 94.139s 1.967s 12 2.566s false(reach) 44.374s 35.317s zeus13 1915965440 33.922s 0.766s 11 1.683s false(reach) 17.855s 11.025s zeus03 667107328 10.337s 0.147s 5 1.765s
eca-rers2012/Problem01_label44_false-unreach-call.c false(reach) 16.734s 10.705s zeus13 635654144 9.677s 0.191s false(reach) 19.135s 11.719s zeus14 630607872 10.901s 0.190s 11 1.626s false(reach) 40.771s 30.277s 1304150016 zeus06 29.448s 0.380s 11 1.425s false(reach) 19.391s 11.684s zeus12 631115776 10.865s 0.236s 11 1.558s false(reach) 15.867s 9.395s zeus08 553213952 8.746s 0.099s 4 1.449s
eca-rers2012/Problem01_label47_false-unreach-call.c false(reach) 283.327s 243.597s zeus05 4980723712 240.858s 3.335s false(reach) 300.226s 254.259s zeus03 4878524416 251.480s 5.350s 11 1.882s false(reach) 393.682s 360.394s 5035413504 zeus19 356.829s 5.542s 13 7.187s false(reach) 236.853s 193.483s zeus10 4890415104 191.268s 3.364s 11 1.505s false(reach) 19.585s 12.266s zeus11 687550464 11.612s 0.157s 5 1.988s
eca-rers2012/Problem01_label50_false-unreach-call.c false(reach) 39.752s 32.099s zeus24 1666732032 30.602s 0.687s false(reach) 43.541s 34.473s zeus09 1973514240 33.158s 0.676s 11 1.921s false(reach) 86.157s 73.320s 3275202560 zeus06 71.858s 1.200s 11 1.869s false(reach) 43.792s 34.632s zeus24 1933950976 33.275s 0.848s 11 1.462s false(reach) 17.992s 10.965s zeus07 668921856 10.279s 0.116s 5 1.862s
eca-rers2012/Problem01_label56_false-unreach-call.c false(reach) 89.085s 79.028s zeus01 3787309056 76.832s 1.557s false(reach) 124.045s 111.899s zeus02 3785465856 109.821s 3.176s 11 2.082s false(reach) 170.626s 155.109s 4282568704 zeus16 153.187s 2.751s 12 3.405s false(reach) 83.175s 71.013s zeus04 3819810816 69.262s 1.709s 11 1.418s false(reach) 18.433s 11.422s zeus15 692355072 10.740s 0.123s 5 1.744s
eca-rers2012/Problem01_label57_false-unreach-call.c false(reach) 92.573s 82.548s zeus06 3787874304 80.287s 1.769s false(reach) 90.942s 79.552s zeus08 3795267584 77.696s 1.900s 11 1.891s false(reach) 206.423s 188.806s 4439900160 zeus02 186.910s 2.783s 13 4.299s false(reach) 89.518s 77.077s zeus22 3801399296 75.262s 1.653s 11 1.692s false(reach) 18.270s 11.204s zeus01 677752832 10.528s 0.135s 5 1.690s
eca-rers2012/Problem02_label13_false-unreach-call.c false(reach) 11.015s 6.849s zeus22 395722752 6.027s 0.142s false(reach) 19.880s 12.277s zeus10 628338688 11.473s 0.375s 8 1.480s false(reach) 32.674s 23.461s 1122213888 zeus22 22.717s 0.330s 10 1.011s false(reach) 19.982s 12.033s zeus20 628248576 11.211s 0.236s 8 1.333s false(reach) 12.534s 7.646s zeus01 450584576 6.951s 0.081s 3 1.179s
eca-rers2012/Problem02_label16_false-unreach-call.c false(reach) 12.557s 8.137s zeus20 271790080 6.761s 0.149s false(reach) 17.434s 10.351s zeus11 635666432 9.615s 0.229s 8 1.251s false(reach) 33.581s 24.193s 1229029376 zeus10 23.355s 0.378s 10 0.926s false(reach) 17.740s 10.197s zeus16 622358528 9.450s 0.215s 8 1.135s false(reach) 14.758s 8.505s zeus11 464203776 7.804s 0.110s 3 1.581s
eca-rers2012/Problem02_label43_false-unreach-call.c false(reach) 10.716s 6.655s zeus19 373673984 5.850s 0.174s false(reach) 18.771s 11.485s zeus11 629575680 10.731s 0.248s 8 1.271s false(reach) 25.794s 16.597s 679669760 zeus14 15.890s 0.274s 9 0.759s false(reach) 19.635s 11.852s zeus03 635641856 11.060s 0.268s 8 1.210s false(reach) 14.041s 8.443s zeus23 463441920 7.736s 0.112s 4 1.159s
eca-rers2012/Problem02_label44_false-unreach-call.c false(reach) 9.095s 5.708s zeus12 301019136 4.907s 0.122s false(reach) 18.903s 11.449s zeus04 625311744 10.689s 0.243s 8 1.546s false(reach) 35.706s 25.887s 1266540544 zeus14 25.201s 0.356s 10 1.180s false(reach) 19.686s 11.566s zeus20 631103488 10.774s 0.237s 8 1.319s false(reach) 13.662s 8.185s zeus14 459620352 7.535s 0.106s 4 1.261s
eca-rers2012/Problem02_label45_false-unreach-call.c false(reach) 17.149s 11.536s zeus01 636112896 10.470s 0.230s false(reach) 24.160s 15.693s zeus21 668372992 14.740s 0.337s 8 1.344s false(reach) 48.792s 38.244s 1288413184 zeus02 37.337s 0.581s 10 1.517s false(reach) 23.905s 15.581s zeus05 672141312 14.644s 0.321s 8 1.407s false(reach) 16.765s 9.855s zeus15 571006976 9.187s 0.128s 5 2.071s
eca-rers2012/Problem02_label50_false-unreach-call.c false(reach) 17.994s 11.818s zeus21 634740736 10.752s 0.235s false(reach) 22.225s 14.655s zeus01 679788544 13.743s 0.350s 8 1.293s false(reach) 74.855s 62.904s 1997979648 zeus03 61.926s 0.821s 12 1.906s false(reach) 23.111s 15.326s zeus01 672256000 14.360s 0.319s 8 1.318s false(reach) 15.584s 9.380s zeus02 556568576 8.726s 0.088s 5 1.651s
eca-rers2012/Problem02_label59_false-unreach-call.c false(reach) 22.505s 15.793s zeus15 636686336 14.359s 0.394s false(reach) 22.361s 14.785s zeus14 688353280 13.841s 0.317s 9 1.811s false(reach) 52.414s 40.576s 1332383744 zeus05 39.618s 0.556s 10 1.866s false(reach) 23.062s 14.777s zeus10 678424576 13.834s 0.277s 9 1.606s false(reach) 16.511s 9.736s zeus20 530313216 9.083s 0.118s 4 1.834s
eca-rers2012/Problem03_label09_false-unreach-call.c false(reach) 55.445s 46.673s zeus02 2180018176 44.511s 1.259s false(reach) 99.268s 86.429s zeus11 3606511616 84.556s 2.156s 27 7.940s false(reach) 711.019s 669.998s 5164584960 zeus05 668.380s 10.633s 34 36.925s false(reach) 95.770s 81.251s zeus19 3610693632 79.389s 2.399s 27 6.599s false(reach) 32.988s 22.355s zeus05 873017344 21.422s 0.199s 5 5.039s
eca-rers2012/Problem03_label13_false-unreach-call.c false(reach) 36.110s 27.612s zeus16 1463558144 25.949s 0.672s false(reach) 97.483s 84.181s zeus07 3623960576 81.930s 2.013s 27 9.125s false(reach) 502.306s 474.071s 4934553600 zeus04 472.488s 7.583s 33 26.249s false(reach) 214.102s 195.510s zeus23 4088807424 193.763s 5.657s 27 13.273s false(reach) 32.066s 20.752s zeus12 835051520 19.920s 0.174s 4 4.164s
eca-rers2012/Problem03_label26_false-unreach-call.c false(reach) 29.742s 22.035s zeus07 1313390592 20.603s 0.520s false(reach) 60.694s 48.196s zeus21 2310942720 46.742s 1.141s 27 5.968s false(reach) 393.032s 370.014s 4503437312 zeus17 368.846s 6.057s 33 18.072s false(reach) 60.356s 47.248s zeus08 2349752320 45.855s 1.099s 27 4.185s false(reach) 28.754s 18.159s zeus07 814698496 17.372s 0.163s 4 3.530s
eca-rers2012/Problem03_label27_false-unreach-call.c false(reach) 36.551s 28.068s zeus10 1458671616 26.432s 0.690s false(reach) 95.621s 82.671s zeus12 3630063616 81.033s 2.319s 29 6.941s false(reach) 457.375s 428.822s 4988637184 zeus10 427.271s 6.954s 33 22.566s false(reach) 92.807s 78.505s zeus19 3643076608 76.436s 1.915s 29 6.295s false(reach) 32.457s 20.600s zeus03 834945024 19.731s 0.177s 4 4.026s
eca-rers2012/Problem03_label28_false-unreach-call.c false(reach) 37.787s 29.441s zeus03 1461747712 27.797s 0.678s false(reach) 94.215s 81.568s zeus21 3641991168 80.037s 2.088s 29 7.094s false(reach) 478.431s 448.802s 4938485760 zeus20 447.264s 7.211s 33 25.468s false(reach) 88.906s 75.724s zeus03 3658375168 74.223s 1.894s 29 6.118s false(reach) 30.597s 20.097s zeus20 849735680 19.348s 0.180s 4 4.395s
eca-rers2012/Problem03_label31_false-unreach-call.c false(reach) 36.277s 27.577s zeus03 1462009856 25.888s 0.656s false(reach) 103.143s 90.232s zeus05 3540439040 88.587s 2.258s 29 8.824s false(reach) 483.674s 454.408s 4950491136 zeus01 452.918s 8.479s 33 30.574s false(reach) 105.589s 92.002s zeus18 3625984000 90.430s 2.288s 29 7.109s false(reach) 31.633s 20.787s zeus11 835133440 19.891s 0.195s 4 4.076s
eca-rers2012/Problem03_label35_false-unreach-call.c false(reach) 44.058s 35.039s zeus13 2562600960 32.631s 0.858s false(reach) 108.605s 95.824s zeus23 3598118912 93.865s 2.348s 29 9.904s false(reach) 751.068s 701.187s 5427187712 zeus22 698.803s 11.481s 34 51.394s false(reach) 267.068s 247.700s zeus16 4373610496 245.709s 6.853s 29 15.141s false(reach) 33.740s 22.916s zeus10 855916544 21.942s 0.227s 4 5.090s
eca-rers2012/Problem03_label37_false-unreach-call.c false(reach) 39.938s 31.131s zeus08 1540829184 29.547s 1.063s false(reach) 103.849s 90.265s zeus06 3675533312 88.635s 2.169s 30 8.848s false(reach) 236.110s 214.462s 4403929088 zeus02 212.947s 3.720s 30 11.361s false(reach) 201.860s 184.680s zeus20 4358098944 183.209s 4.854s 30 12.008s false(reach) 28.586s 19.120s zeus03 821198848 18.181s 0.199s 4 4.035s
eca-rers2012/Problem03_label39_false-unreach-call.c false(reach) 55.170s 45.882s zeus02 2227884032 43.627s 1.314s false(reach) 131.220s 117.759s zeus20 3594452992 115.867s 2.838s 29 9.602s false(reach) 636.972s 599.463s 4947308544 zeus08 597.941s 9.841s 33 31.451s false(reach) 133.488s 117.611s zeus15 3750031360 115.836s 3.105s 29 8.484s false(reach) 33.540s 22.796s zeus05 873627648 22.058s 0.208s 5 4.686s
eca-rers2012/Problem03_label43_false-unreach-call.c false(reach) 40.593s 31.932s zeus01 1823129600 30.139s 0.776s false(reach) 84.271s 71.836s zeus07 3590176768 70.118s 1.709s 30 6.980s false(reach) 269.268s 249.365s 4369473536 zeus16 247.856s 4.161s 30 11.676s false(reach) 87.291s 74.177s zeus18 3702054912 72.686s 1.876s 30 5.450s false(reach) 31.633s 20.970s zeus13 832790528 20.075s 0.266s 5 4.294s
eca-rers2012/Problem03_label45_false-unreach-call.c false(reach) 43.927s 34.804s zeus22 2545078272 32.290s 0.813s false(reach) 92.462s 79.136s zeus21 3652206592 77.321s 1.974s 29 8.404s false(reach) 828.302s 779.518s 5301370880 zeus04 777.935s 16.696s 34 44.941s false(reach) 92.720s 77.281s zeus14 3687370752 75.485s 1.786s 29 6.605s false(reach) 36.092s 24.118s zeus15 914542592 23.369s 0.214s 5 4.961s
eca-rers2012/Problem03_label50_false-unreach-call.c false(reach) 37.319s 28.884s zeus05 1457389568 27.196s 0.702s false(reach) 112.149s 98.892s zeus11 3630149632 97.163s 2.508s 29 9.119s false(reach) 492.856s 461.371s 4935344128 zeus06 459.934s 7.221s 33 26.210s false(reach) 109.369s 96.118s zeus12 3642888192 94.471s 2.329s 29 7.163s false(reach) 33.900s 22.125s zeus16 840769536 21.243s 0.185s 4 4.077s
eca-rers2012/Problem03_label52_false-unreach-call.c false(reach) 45.649s 36.686s zeus09 2575613952 34.367s 0.877s false(reach) 122.724s 108.985s zeus22 3705077760 107.258s 2.771s 29 9.793s timeout 902.489s 861.809s 4949032960 zeus23 859.957s 15.184s 31 33.889s false(reach) 118.282s 102.404s zeus18 3748511744 100.724s 2.651s 29 8.384s false(reach) 32.544s 21.656s zeus13 861003776 20.745s 0.181s 4 4.881s
eca-rers2012/Problem04_label04_false-unreach-call.c timeout 909.800s 706.280s zeus05 9532399616 698.104s 16.235s timeout 1031.340s 846.716s zeus10 9551781888 778.060s 22.289s 12 62.770s timeout 906.232s 801.063s 8480038912 zeus07 795.533s 12.894s 9 131.229s timeout 906.966s 793.927s zeus10 9351335936 788.314s 29.560s 12 59.311s false(reach) 158.870s 141.132s zeus03 4429463552 139.994s 0.703s 4 60.978s
eca-rers2012/Problem04_label06_false-unreach-call.c timeout 1117.164s 838.285s zeus04 10119249920 826.336s 49.223s timeout 948.424s 821.811s zeus05 9134141440 816.536s 21.897s 13 75.514s timeout 905.908s 811.051s 8136601600 zeus24 805.914s 11.291s 9 158.679s timeout 908.773s 762.944s zeus20 8285663232 758.079s 78.172s 13 68.971s false(reach) 161.279s 143.889s zeus10 4871831552 142.814s 0.744s 4 57.603s
eca-rers2012/Problem04_label09_false-unreach-call.c timeout 912.630s 741.397s zeus22 9613688832 732.293s 22.876s timeout 908.105s 790.780s zeus23 9485553664 783.974s 43.430s 12 57.154s timeout 906.255s 802.383s 8463699968 zeus14 796.824s 12.716s 9 112.438s timeout 905.462s 759.599s zeus14 8695762944 754.351s 19.317s 12 47.472s false(reach) 158.919s 140.507s zeus11 4629090304 139.294s 0.822s 4 58.601s
eca-rers2012/Problem04_label11_false-unreach-call.c timeout 1201.867s 883.956s zeus21 9977061376 - - timeout 908.228s 784.946s zeus23 9448812544 778.222s 22.724s 12 59.317s timeout 909.996s 783.103s 9113395200 zeus13 775.124s 12.521s 9 83.152s timeout 906.207s 785.923s zeus04 9358782464 780.379s 23.511s 12 54.255s false(reach) 290.914s 270.660s zeus05 4954423296 269.473s 1.051s 4 104.544s
eca-rers2012/Problem04_label12_false-unreach-call.c timeout 908.423s 766.803s zeus02 9190907904 759.846s 19.233s timeout 904.677s 809.056s zeus15 6364110848 805.195s 22.619s 12 103.512s timeout 905.263s 791.497s 8582254592 zeus07 786.986s 9.701s 9 168.205s timeout 905.972s 801.286s zeus09 8990429184 795.947s 20.516s 12 66.806s false(reach) 216.709s 196.953s zeus16 5254246400 195.626s 0.885s 3 86.420s
eca-rers2012/Problem04_label13_false-unreach-call.c timeout 910.067s 703.060s zeus05 9431863296 694.737s 21.024s timeout 906.167s 793.181s zeus23 9446862848 787.577s 29.132s 12 59.457s timeout 945.385s 828.878s 8409247744 zeus05 823.781s 11.528s 9 137.426s timeout 905.432s 780.213s zeus21 8777830400 774.990s 21.856s 12 61.986s false(reach) 166.541s 148.369s zeus23 4540407808 147.267s 0.682s 3 52.781s
eca-rers2012/Problem04_label14_false-unreach-call.c timeout 909.412s 706.830s zeus04 9550594048 698.937s 19.889s timeout 907.830s 802.551s zeus23 9481400320 796.820s 20.324s 13 64.046s timeout 905.580s 801.359s 7855509504 zeus20 796.285s 11.894s 9 168.143s timeout 905.826s 786.246s zeus07 8855515136 780.892s 21.501s 13 58.658s false(reach) 174.246s 156.527s zeus17 4623478784 155.421s 0.748s 3 59.446s
eca-rers2012/Problem04_label15_false-unreach-call.c timeout 910.496s 706.672s zeus01 9378009088 699.625s 16.505s timeout 909.299s 797.338s zeus05 9571463168 789.780s 23.298s 14 29.119s timeout 909.046s 798.392s 8847269888 zeus23 790.907s 12.390s 9 107.956s timeout 907.801s 760.347s zeus02 9669115904 753.612s 21.302s 14 25.904s false(reach) 173.747s 155.090s zeus18 4552605696 153.923s 1.023s 4 56.424s
eca-rers2012/Problem04_label17_false-unreach-call.c timeout 909.526s 702.282s zeus19 9687052288 694.369s 21.376s timeout 907.926s 790.664s zeus24 8672608256 784.269s 25.475s 12 55.319s timeout 909.526s 793.432s 8675020800 zeus18 785.921s 12.461s 9 99.040s timeout 907.912s 750.258s zeus21 8135282688 745.324s 23.476s 12 50.158s false(reach) 259.598s 240.432s zeus02 4867219456 239.270s 0.951s 4 96.090s
eca-rers2012/Problem04_label18_false-unreach-call.c timeout 1046.956s 786.638s zeus12 9984770048 779.671s 19.186s timeout 906.488s 794.679s zeus01 9397170176 789.117s 20.389s 12 60.009s timeout 907.154s 798.595s 8578514944 zeus06 792.533s 11.665s 9 122.982s timeout 907.470s 753.999s zeus12 8263368704 749.020s 21.996s 12 55.468s false(reach) 226.837s 208.369s zeus01 4786663424 207.154s 0.996s 4 84.787s
eca-rers2012/Problem04_label19_false-unreach-call.c timeout 976.257s 751.715s zeus21 9862742016 744.533s 19.856s timeout 907.845s 783.598s zeus14 9353555968 776.857s 24.609s 13 40.766s timeout 938.400s 821.957s 8497295360 zeus02 816.936s 12.686s 9 177.795s timeout 909.808s 755.266s zeus09 9073364992 750.047s 20.438s 13 24.309s false(reach) 281.080s 261.329s zeus23 5243035648 260.187s 1.050s 4 128.700s
eca-rers2012/Problem04_label26_false-unreach-call.c timeout 908.070s 736.823s zeus21 9713754112 729.339s 21.906s timeout 909.310s 750.915s zeus17 8116436992 744.118s 20.986s 12 76.893s timeout 906.203s 800.751s 8376598528 zeus07 795.243s 13.303s 9 133.970s timeout 907.944s 785.737s zeus21 8669040640 780.469s 24.392s 12 52.372s false(reach) 159.209s 141.021s zeus24 4825890816 139.865s 0.764s 4 59.198s
eca-rers2012/Problem04_label27_false-unreach-call.c timeout 910.245s 711.824s zeus13 9211240448 703.396s 37.406s timeout 905.738s 753.968s zeus09 8476016640 748.559s 19.403s 13 32.631s timeout 956.606s 833.546s 8734679040 zeus01 802.718s 11.965s 9 123.204s timeout 907.861s 781.534s zeus08 9930739712 774.686s 23.427s 13 26.816s false(reach) 151.930s 133.569s zeus01 4533301248 132.432s 0.804s 4 53.583s
eca-rers2012/Problem04_label31_false-unreach-call.c timeout 935.099s 722.847s zeus06 9815846912 716.001s 14.917s timeout 906.206s 787.429s zeus18 9295749120 781.865s 23.418s 13 66.652s timeout 908.021s 808.359s 8035004416 zeus16 801.869s 12.176s 9 154.004s timeout 908.477s 786.242s zeus23 9393491968 779.391s 24.474s 13 63.562s false(reach) 254.896s 234.688s zeus12 5154750464 233.592s 0.917s 4 91.353s
eca-rers2012/Problem04_label32_false-unreach-call.c timeout 1113.031s 842.263s zeus19 10116325376 829.971s 18.859s timeout 904.395s 831.060s zeus03 6486700032 827.369s 25.049s 12 66.584s timeout 905.657s 803.348s 7394795520 zeus11 798.443s 11.871s 9 124.869s timeout 908.268s 789.973s zeus10 9651302400 782.994s 24.444s 12 60.062s false(reach) 272.300s 253.065s zeus13 4801540096 251.967s 0.909s 4 99.348s
eca-rers2012/Problem04_label35_false-unreach-call.c timeout 915.047s 725.657s zeus09 9441832960 714.453s 17.419s timeout 907.711s 757.616s zeus17 8088788992 751.515s 47.365s 14 56.443s timeout 906.359s 777.808s 8371736576 zeus12 772.178s 10.333s 9 104.859s timeout 906.128s 789.799s zeus11 9117429760 784.152s 46.336s 14 52.946s false(reach) 255.219s 235.898s zeus08 4805435392 234.777s 1.011s 4 80.860s
eca-rers2012/Problem04_label36_false-unreach-call.c timeout 910.487s 739.404s zeus07 9522782208 731.897s 85.824s timeout 906.113s 788.533s zeus14 9351069696 782.983s 46.472s 14 60.677s timeout 906.917s 803.413s 8613392384 zeus06 797.526s 11.493s 9 136.447s timeout 908.450s 794.551s zeus03 9587773440 787.570s 22.760s 14 53.835s false(reach) 172.245s 154.187s zeus02 4668866560 153.052s 0.656s 3 65.152s
eca-rers2012/Problem04_label38_false-unreach-call.c timeout 1138.812s 832.631s zeus13 10173743104 820.742s 48.424s timeout 928.231s 810.683s zeus09 9012035584 805.208s 24.042s 14 68.344s timeout 907.246s 810.266s 8334508032 zeus17 804.251s 14.522s 9 130.085s timeout 906.002s 800.681s zeus09 8972197888 795.160s 22.824s 14 60.535s false(reach) 258.182s 239.654s zeus05 4988297216 238.526s 1.057s 4 91.432s
eca-rers2012/Problem04_label39_false-unreach-call.c timeout 1025.008s 763.223s zeus03 9922117632 696.998s 19.068s timeout 905.979s 800.246s zeus04 9113096192 794.753s 22.850s 14 67.564s timeout 906.070s 811.846s 8132214784 zeus14 806.398s 11.782s 9 132.241s timeout 908.007s 803.508s zeus02 8944185344 797.011s 28.319s 14 56.356s false(reach) 181.567s 164.245s zeus23 4946644992 163.146s 0.743s 3 64.403s
eca-rers2012/Problem04_label40_false-unreach-call.c timeout 1201.871s 878.584s zeus03 10008690688 - - timeout 908.449s 757.133s zeus08 8648060928 750.485s 20.881s 15 41.786s timeout 949.415s 820.127s 8961519616 zeus18 814.821s 12.607s 9 133.843s timeout 908.546s 754.398s zeus21 8744648704 747.563s 20.508s 15 24.226s false(reach) 175.397s 157.819s zeus09 5082116096 156.611s 0.870s 4 69.857s
eca-rers2012/Problem04_label45_false-unreach-call.c timeout 910.132s 710.718s zeus08 9336233984 702.343s 18.113s timeout 905.862s 771.907s zeus12 8378236928 766.741s 23.443s 14 54.024s timeout 906.364s 801.653s 8578588672 zeus20 796.056s 11.989s 9 118.061s timeout 905.696s 768.814s zeus18 8384352256 763.753s 22.699s 14 56.455s false(reach) 164.458s 146.025s zeus11 4809707520 144.791s 0.838s 4 59.112s
eca-rers2012/Problem04_label52_false-unreach-call.c timeout 1063.523s 811.202s zeus12 10025869312 803.729s 17.043s timeout 905.372s 780.487s zeus17 7847223296 775.762s 24.069s 15 91.760s timeout 906.934s 804.286s 8386826240 zeus07 798.556s 11.968s 9 142.194s timeout 905.788s 800.772s zeus01 8832299008 795.336s 21.538s 15 68.375s false(reach) 164.462s 146.145s zeus08 4872208384 145.041s 0.878s 4 57.279s
eca-rers2012/Problem04_label55_false-unreach-call.c timeout 911.102s 776.539s zeus02 8443203584 767.698s 23.600s timeout 904.315s 821.639s zeus15 6659289088 817.609s 32.927s 14 62.159s timeout 907.257s 775.004s 9106227200 zeus21 768.616s 14.680s 9 90.066s timeout 976.822s 804.501s zeus23 8962576384 799.070s 21.944s 14 63.786s false(reach) 172.062s 153.649s zeus09 4962832384 152.489s 0.768s 4 71.444s
eca-rers2012/Problem04_label58_false-unreach-call.c timeout 1112.099s 838.751s zeus12 10125811712 826.945s 20.447s timeout 903.631s 828.852s zeus20 5801226240 825.610s 27.542s 14 76.087s timeout 906.062s 801.479s 8606916608 zeus11 795.972s 11.982s 9 146.957s timeout 905.525s 785.434s zeus24 9146028032 780.116s 24.096s 14 67.968s false(reach) 190.293s 171.345s zeus04 4913639424 170.215s 0.884s 4 71.641s
eca-rers2012/Problem05_label00_false-unreach-call.c timeout 913.047s 726.183s zeus14 9470132224 717.099s 52.887s timeout 905.762s 794.482s zeus16 8617107456 789.283s 22.783s 12 43.928s timeout 902.984s 789.772s 8434896896 zeus12 787.507s 9.685s 10 192.106s timeout 906.987s 793.508s zeus19 8788615168 788.298s 23.334s 12 40.409s false(reach) 248.250s 226.815s zeus19 4670373888 225.439s 1.148s 5 72.847s
eca-rers2012/Problem05_label01_false-unreach-call.c timeout 909.540s 706.340s zeus03 9605824512 698.267s 79.297s timeout 938.588s 828.119s zeus18 6999404544 824.654s 34.503s 12 54.048s timeout 901.435s 796.601s 8625856512 zeus15 795.839s 11.177s 10 193.190s timeout 918.720s 816.544s zeus07 6831984640 813.257s 22.912s 12 40.977s false(reach) 198.930s 179.929s zeus11 4624711680 178.763s 0.937s 5 67.149s
eca-rers2012/Problem05_label11_false-unreach-call.c timeout 909.360s 715.586s zeus12 9619070976 707.377s 40.765s timeout 937.917s 764.871s zeus11 8670941184 759.584s 26.457s 12 25.838s timeout 904.976s 779.856s 8100364288 zeus04 775.299s 11.098s 9 117.351s timeout 908.162s 779.050s zeus18 9594773504 772.376s 23.837s 12 34.347s false(reach) 227.006s 207.501s zeus06 4660097024 206.317s 0.949s 5 73.831s
eca-rers2012/Problem05_label13_false-unreach-call.c timeout 910.509s 762.867s zeus15 8058716160 754.791s 21.480s timeout 904.955s 803.115s zeus22 7889252352 798.474s 22.700s 12 40.104s timeout 904.561s 798.380s 9266573312 zeus17 794.489s 12.062s 9 141.148s timeout 904.879s 798.254s zeus06 7960494080 793.776s 24.109s 12 50.810s false(reach) 240.392s 220.724s zeus08 4719636480 219.583s 1.008s 5 77.064s
eca-rers2012/Problem05_label15_false-unreach-call.c timeout 909.521s 732.287s zeus11 9673486336 724.857s 19.535s timeout 907.233s 793.303s zeus10 9048178688 787.947s 24.455s 12 30.120s timeout 904.514s 800.271s 8557596672 zeus12 796.166s 11.675s 9 120.081s timeout 907.452s 793.983s zeus13 8883761152 787.815s 22.842s 12 27.041s false(reach) 197.381s 178.976s zeus13 4527091712 177.701s 0.719s 4 72.189s
eca-rers2012/Problem05_label18_false-unreach-call.c timeout 1131.244s 846.112s zeus06 10070347776 833.916s 24.324s timeout 904.955s 793.060s zeus07 7318925312 788.592s 39.428s 12 67.272s timeout 907.505s 820.068s 8721477632 zeus11 817.841s 10.257s 10 219.894s timeout 907.682s 794.619s zeus20 8164581376 788.688s 22.079s 12 42.700s false(reach) 194.954s 173.834s zeus20 4628688896 172.581s 0.932s 5 67.265s
eca-rers2012/Problem05_label24_false-unreach-call.c timeout 911.136s 736.613s zeus04 9613832192 729.240s 19.651s timeout 904.665s 794.770s zeus10 7775014912 790.455s 22.868s 12 53.678s timeout 905.970s 818.753s 7582818304 zeus09 814.547s 11.406s 10 165.039s timeout 904.985s 814.362s zeus19 8115052544 809.685s 23.928s 12 33.513s false(reach) 216.378s 197.737s zeus19 4655751168 196.526s 0.970s 5 66.827s
eca-rers2012/Problem05_label26_false-unreach-call.c timeout 1110.235s 827.518s zeus08 9956077568 820.167s 20.206s timeout 903.215s 808.093s zeus24 6897979392 805.310s 23.902s 12 64.452s timeout 902.709s 794.702s 9355862016 zeus01 792.637s 8.735s 9 152.614s timeout 903.698s 807.923s zeus18 6625583104 804.515s 24.724s 12 45.815s false(reach) 209.000s 189.854s zeus15 4665552896 188.578s 0.941s 5 67.721s
eca-rers2012/Problem05_label30_false-unreach-call.c timeout 910.317s 736.084s zeus14 9632190464 727.470s 22.193s timeout 902.165s 837.266s zeus15 5919981568 835.875s 24.042s 12 53.162s timeout 904.857s 804.845s 8326729728 zeus09 801.448s 28.780s 9 114.077s timeout 904.080s 806.752s zeus15 6749581312 803.244s 24.134s 12 56.073s false(reach) 198.858s 178.649s zeus18 4635660288 177.349s 0.763s 4 65.668s
eca-rers2012/Problem05_label32_false-unreach-call.c timeout 912.154s 716.967s zeus03 9391570944 708.192s 24.136s timeout 903.456s 809.638s zeus14 6589190144 806.653s 21.394s 12 54.140s timeout 903.874s 806.970s 9196171264 zeus01 803.821s 9.609s 9 157.687s timeout 903.713s 801.105s zeus10 6494842880 798.050s 24.248s 12 49.496s false(reach) 209.340s 188.640s zeus18 4750979072 187.463s 1.010s 5 79.495s
eca-rers2012/Problem05_label33_false-unreach-call.c timeout 910.317s 738.216s zeus18 9509666816 729.742s 19.826s timeout 907.348s 799.747s zeus04 9449422848 793.534s 22.225s 12 33.785s timeout 903.680s 807.971s 8479653888 zeus23 804.726s 11.925s 9 125.979s timeout 907.627s 791.595s zeus19 9214386176 786.136s 35.188s 12 29.929s false(reach) 214.647s 194.448s zeus12 4689260544 193.260s 0.973s 5 76.830s
eca-rers2012/Problem05_label36_false-unreach-call.c timeout 911.645s 710.755s zeus12 9605619712 701.753s 41.996s timeout 905.786s 790.860s zeus08 8589701120 785.718s 21.936s 12 40.310s timeout 904.335s 836.288s 5154193408 zeus05 832.626s 15.267s 8 53.772s timeout 906.503s 797.854s zeus04 8615002112 792.339s 29.964s 12 36.263s false(reach) 231.723s 210.617s zeus07 4691673088 209.272s 0.946s 5 70.840s
eca-rers2012/Problem05_label37_false-unreach-call.c timeout 1129.520s 828.581s zeus16 10043437056 816.086s 18.041s timeout 904.154s 811.298s zeus23 6782283776 807.814s 27.435s 12 47.668s timeout 905.258s 806.305s 8583053312 zeus11 802.048s 13.539s 9 149.091s timeout 904.241s 805.714s zeus15 6982148096 802.019s 22.300s 12 44.197s false(reach) 349.147s 329.237s zeus04 4642893824 328.071s 1.030s 5 73.777s
eca-rers2012/Problem05_label38_false-unreach-call.c timeout 911.444s 735.548s zeus06 9742557184 726.136s 20.779s timeout 905.309s 801.128s zeus06 8573554688 796.058s 22.702s 12 44.134s timeout 901.797s 801.878s 9201688576 zeus13 800.897s 9.981s 10 201.345s timeout 906.140s 800.575s zeus12 9257082880 795.021s 24.852s 12 41.255s false(reach) 199.224s 180.222s zeus24 4621254656 178.978s 0.910s 5 66.740s
eca-rers2012/Problem05_label39_false-unreach-call.c timeout 1092.278s 806.435s zeus01 9937608704 799.123s 23.971s timeout 906.006s 816.721s zeus16 7111004160 812.043s 30.285s 12 48.159s timeout 903.340s 805.132s 8658599936 zeus15 802.348s 9.738s 9 159.849s timeout 903.663s 807.829s zeus19 6697570304 804.647s 22.807s 12 54.359s false(reach) 186.220s 167.697s zeus06 4471934976 166.430s 0.731s 4 63.795s
eca-rers2012/Problem05_label40_false-unreach-call.c timeout 1103.555s 817.711s zeus17 9999208448 806.678s 19.234s timeout 901.500s 824.334s zeus03 6230540288 823.217s 24.090s 12 83.900s timeout 903.302s 827.276s 8433590272 zeus05 824.438s 12.015s 9 134.567s timeout 903.681s 791.816s zeus07 6521962496 788.445s 22.636s 12 68.072s false(reach) 205.759s 184.671s zeus07 4658659328 183.477s 1.003s 5 68.685s
eca-rers2012/Problem05_label41_false-unreach-call.c timeout 911.133s 706.856s zeus17 9470021632 698.129s 16.847s timeout 903.757s 809.254s zeus16 6819614720 805.751s 27.591s 12 46.375s timeout 903.086s 799.904s 7867572224 zeus23 797.167s 10.200s 9 123.620s timeout 904.354s 796.283s zeus15 6872420352 792.477s 23.472s 12 62.580s false(reach) 212.959s 193.561s zeus06 4652453888 192.357s 1.005s 5 69.620s
eca-rers2012/Problem05_label44_false-unreach-call.c timeout 910.737s 742.147s zeus01 9605849088 733.421s 47.723s timeout 909.197s 791.992s zeus09 9040596992 784.754s 24.216s 12 26.652s timeout 901.949s 811.831s 9279823872 zeus02 810.308s 9.960s 10 209.081s timeout 1009.148s 842.840s zeus14 9920978944 837.036s 26.232s 12 24.618s false(reach) 177.933s 158.350s zeus22 4490321920 157.147s 0.722s 4 59.685s
eca-rers2012/Problem05_label47_false-unreach-call.c timeout 1016.060s 760.986s zeus19 9779777536 753.711s 15.900s timeout 907.594s 802.647s zeus20 8487583744 796.503s 22.601s 12 32.588s timeout 901.882s 805.087s 9123364864 zeus22 803.896s 10.896s 10 190.947s timeout 917.604s 797.576s zeus01 8963608576 792.488s 35.279s 12 27.764s false(reach) 187.886s 169.087s zeus15 4516237312 167.891s 0.798s 4 68.632s
eca-rers2012/Problem05_label48_false-unreach-call.c timeout 911.503s 739.070s zeus14 9503330304 729.780s 21.158s timeout 910.491s 806.323s zeus23 7566643200 802.253s 27.066s 12 48.790s timeout 904.447s 795.058s 8422420480 zeus16 791.296s 10.710s 9 119.830s timeout 906.088s 805.125s zeus15 7548456960 801.015s 26.788s 12 46.877s timeout 901.393s 882.801s zeus04 3971149824 881.870s 0.734s 4 10.730s
eca-rers2012/Problem05_label51_false-unreach-call.c timeout 1158.770s 863.749s zeus08 10215817216 851.379s 18.908s timeout 904.455s 823.109s zeus03 6364635136 819.385s 27.839s 12 46.671s timeout 906.394s 780.400s 8944861184 zeus08 776.376s 10.275s 9 144.294s timeout 909.208s 759.004s zeus14 9100566528 751.811s 23.244s 12 63.006s false(reach) 261.837s 240.189s zeus05 4643643392 239.057s 1.055s 5 72.191s
eca-rers2012/Problem05_label55_false-unreach-call.c timeout 1070.965s 801.517s zeus21 9842143232 790.082s 19.964s timeout 908.134s 758.836s zeus14 8585109504 752.448s 21.251s 12 33.270s timeout 902.021s 795.310s 8812584960 zeus10 794.005s 9.780s 10 223.682s timeout 906.437s 794.430s zeus11 9517510656 788.351s 24.158s 12 28.830s false(reach) 256.044s 236.729s zeus03 4668493824 235.590s 0.882s 5 74.838s
eca-rers2012/Problem05_label57_false-unreach-call.c timeout 909.980s 712.134s zeus14 9510166528 703.644s 19.149s timeout 908.067s 780.675s zeus22 9914359808 774.045s 24.065s 12 26.656s timeout 904.398s 809.767s 8791396352 zeus20 806.323s 11.560s 10 221.799s timeout 906.609s 770.108s zeus07 9539747840 764.358s 27.161s 12 33.798s false(reach) 209.420s 189.684s zeus15 4899319808 188.568s 0.973s 5 80.942s
eca-rers2012/Problem05_label58_false-unreach-call.c timeout 914.343s 717.599s zeus10 9411018752 708.819s 22.727s timeout 906.749s 794.413s zeus23 9033830400 789.090s 25.266s 12 41.715s timeout 902.523s 802.958s 8533598208 zeus22 800.939s 10.330s 10 170.532s timeout 907.507s 788.308s zeus06 8884609024 781.936s 23.387s 12 37.394s false(reach) 179.087s 160.944s zeus17 4416679936 159.762s 0.708s 4 60.079s
eca-rers2012/Problem06_label00_false-unreach-call.c timeout 912.175s 754.951s zeus08 9537802240 744.452s 19.176s timeout 906.553s 792.186s zeus23 8951115776 785.998s 21.813s 31 39.209s timeout 905.073s 801.528s 7060598784 zeus19 798.053s 13.061s 26 97.197s timeout 906.905s 802.334s zeus01 9090191360 795.820s 24.140s 31 34.221s false(reach) 132.577s 113.870s zeus19 3429978112 112.565s 0.501s 4 50.709s
eca-rers2012/Problem06_label01_false-unreach-call.c timeout 1088.775s 820.937s zeus09 9890582528 812.367s 44.453s timeout 905.778s 805.721s zeus05 7578107904 800.478s 21.584s 31 55.434s timeout 937.640s 820.511s 7320178688 zeus14 818.106s 11.874s 26 108.563s timeout 907.351s 814.795s zeus21 7896051712 808.787s 47.418s 31 42.134s false(reach) 158.450s 138.537s zeus20 3443527680 137.183s 0.653s 5 55.111s
eca-rers2012/Problem06_label02_false-unreach-call.c timeout 1052.474s 786.135s zeus09 9822408704 777.386s 19.046s timeout 906.848s 794.892s zeus23 9153347584 788.437s 25.726s 31 38.877s timeout 905.966s 798.060s 7351115776 zeus14 792.934s 12.823s 26 86.831s timeout 907.786s 794.733s zeus12 9264500736 788.097s 44.531s 31 38.623s false(reach) 231.493s 210.505s zeus14 3448287232 208.889s 0.672s 5 69.157s
eca-rers2012/Problem06_label04_false-unreach-call.c timeout 915.452s 739.513s zeus04 9327259648 729.216s 21.317s timeout 908.675s 739.927s zeus23 7990210560 732.947s 17.398s 31 37.085s timeout 907.523s 802.940s 8267280384 zeus11 796.838s 13.130s 26 84.792s timeout 908.796s 788.632s zeus10 9425530880 780.905s 22.965s 31 37.308s false(reach) 164.378s 144.029s zeus02 3835432960 142.461s 0.556s 4 77.001s
eca-rers2012/Problem06_label05_false-unreach-call.c timeout 909.185s 798.955s zeus02 7304314880 791.382s 25.428s timeout 908.924s 809.998s zeus12 8927023104 802.576s 24.232s 31 42.497s timeout 904.984s 796.549s 6789238784 zeus17 792.819s 11.133s 26 87.363s timeout 906.642s 785.760s zeus12 8342437888 779.845s 22.021s 31 31.874s false(reach) 178.249s 158.603s zeus23 3338932224 157.301s 0.726s 5 47.556s
eca-rers2012/Problem06_label09_false-unreach-call.c timeout 1201.898s 889.560s zeus08 9938980864 - - timeout 905.848s 792.009s zeus06 6501330944 788.020s 21.460s 31 61.702s timeout 903.691s 799.749s 6775894016 zeus23 799.059s 12.180s 26 114.869s timeout 944.669s 808.488s zeus01 7346360320 804.059s 19.265s 31 54.793s false(reach) 180.138s 161.676s zeus07 3672416256 160.552s 0.747s 5 76.826s
eca-rers2012/Problem06_label10_false-unreach-call.c timeout 1086.481s 821.127s zeus08 10044690432 809.065s 46.200s timeout 908.837s 820.781s zeus05 6366842880 817.291s 39.358s 31 56.635s timeout 903.641s 804.181s 7058644992 zeus18 801.043s 10.774s 23 57.313s timeout 903.827s 822.750s zeus12 6171045888 819.175s 19.566s 31 52.166s false(reach) 179.640s 161.115s zeus04 3503689728 159.970s 0.692s 5 60.658s
eca-rers2012/Problem06_label11_false-unreach-call.c timeout 1075.402s 818.188s zeus13 9891061760 809.060s 18.515s timeout 904.013s 826.441s zeus24 6260211712 822.885s 23.146s 31 58.162s timeout 903.527s 790.796s 7125450752 zeus21 787.667s 10.676s 23 55.221s timeout 904.091s 806.200s zeus24 6726836224 802.819s 24.368s 31 51.363s false(reach) 149.231s 130.896s zeus10 3343679488 129.828s 0.693s 5 49.501s
eca-rers2012/Problem06_label12_false-unreach-call.c timeout 1063.635s 795.885s zeus06 9865322496 787.366s 15.866s timeout 904.859s 801.609s zeus07 7040086016 797.143s 21.852s 31 65.007s timeout 905.409s 809.274s 6327951360 zeus20 805.153s 11.768s 26 114.015s timeout 905.272s 806.285s zeus11 7429386240 801.754s 20.275s 31 45.401s false(reach) 165.430s 144.083s zeus08 3730210816 142.505s 0.700s 5 69.329s
eca-rers2012/Problem06_label15_false-unreach-call.c timeout 1059.665s 798.151s zeus07 9868324864 789.465s 16.671s timeout 909.538s 800.580s zeus17 8395935744 793.229s 24.580s 28 44.358s timeout 905.218s 823.843s 6599196672 zeus07 819.981s 11.965s 26 116.486s timeout 939.625s 795.383s zeus19 7911669760 789.984s 21.934s 28 36.644s false(reach) 174.936s 155.476s zeus05 3422113792 153.924s 0.572s 4 52.184s
eca-rers2012/Problem06_label20_false-unreach-call.c timeout 911.806s 740.697s zeus05 9449852928 731.427s 25.449s timeout 903.981s 816.442s zeus01 6046486528 812.733s 21.420s 28 51.990s timeout 903.073s 818.855s 6850527232 zeus19 816.457s 11.835s 26 89.835s timeout 918.617s 818.800s zeus23 6430281728 815.255s 23.924s 28 44.454s false(reach) 167.186s 148.249s zeus09 3777032192 147.087s 0.736s 4 60.742s
eca-rers2012/Problem06_label21_false-unreach-call.c timeout 1201.877s 891.240s zeus10 9971417088 - - timeout 906.535s 792.179s zeus13 8655839232 785.908s 25.128s 26 37.377s timeout 904.191s 810.203s 7057326080 zeus17 806.999s 11.702s 26 100.300s timeout 915.139s 765.288s zeus20 7992655872 760.047s 17.968s 26 32.762s false(reach) 152.748s 134.224s zeus10 3639226368 132.919s 0.604s 4 61.568s
eca-rers2012/Problem06_label24_false-unreach-call.c timeout 1135.281s 855.834s zeus19 10016350208 846.926s 15.981s timeout 911.175s 798.591s zeus22 8667676672 789.805s 23.877s 28 36.552s timeout 905.404s 804.605s 7020826624 zeus13 800.103s 13.058s 26 96.785s timeout 909.103s 795.477s zeus11 8822202368 787.934s 22.143s 28 31.225s false(reach) 159.990s 140.564s zeus09 3530870784 139.039s 0.541s 4 59.418s
eca-rers2012/Problem06_label27_false-unreach-call.c timeout 1201.940s 895.950s zeus16 9855819776 - - timeout 916.497s 833.012s zeus02 6715781120 829.019s 24.302s 29 54.526s timeout 906.190s 817.054s 6635585536 zeus15 812.432s 12.339s 26 95.648s timeout 912.007s 807.056s zeus14 8534134784 801.506s 21.914s 29 40.958s false(reach) 155.105s 136.909s zeus06 3500728320 135.825s 0.643s 4 61.283s
eca-rers2012/Problem06_label29_false-unreach-call.c timeout 1081.318s 818.286s zeus01 9795952640 809.567s 19.764s timeout 909.488s 796.808s zeus13 9117601792 789.059s 22.777s 31 36.552s timeout 956.946s 834.521s 7667838976 zeus11 829.690s 13.187s 26 66.543s timeout 909.365s 799.304s zeus07 9577586688 791.218s 23.988s 31 31.108s false(reach) 144.210s 125.566s zeus17 3407101952 124.486s 0.582s 4 51.008s
eca-rers2012/Problem06_label33_false-unreach-call.c timeout 1093.844s 821.591s zeus21 9937743872 812.486s 41.047s timeout 902.630s 805.393s zeus05 6542807040 803.484s 22.029s 31 76.196s timeout 904.400s 794.779s 6214934528 zeus20 791.156s 9.907s 22 32.780s timeout 902.318s 799.698s zeus21 6366666752 798.043s 23.066s 31 67.362s false(reach) 185.841s 166.559s zeus06 3406110720 165.537s 0.691s 5 52.391s
eca-rers2012/Problem06_label36_false-unreach-call.c timeout 911.530s 759.418s zeus06 9450078208 749.386s 23.074s timeout 907.946s 802.016s zeus06 8511332352 795.228s 35.614s 31 39.960s timeout 902.477s 835.726s 6294093824 zeus05 833.817s 13.270s 25 67.887s timeout 905.645s 760.580s zeus11 7655972864 755.294s 19.738s 31 36.239s false(reach) 161.561s 142.048s zeus17 3490447360 140.978s 0.906s 5 57.195s
eca-rers2012/Problem06_label37_false-unreach-call.c timeout 912.421s 743.075s zeus06 9258758144 734.228s 23.867s timeout 907.410s 801.573s zeus23 8311066624 795.060s 20.982s 31 53.273s timeout 905.103s 806.251s 6670295040 zeus17 802.793s 12.747s 26 75.815s timeout 908.238s 817.114s zeus18 8242098176 810.426s 22.269s 31 45.777s false(reach) 148.739s 129.620s zeus02 3580026880 128.573s 0.713s 5 59.236s
eca-rers2012/Problem06_label38_false-unreach-call.c timeout 908.687s 708.624s zeus10 9730801664 700.209s 65.723s timeout 908.491s 794.371s zeus18 8755953664 787.108s 21.458s 31 34.182s timeout 904.690s 806.815s 6684487680 zeus03 802.823s 12.634s 26 74.365s timeout 909.393s 781.060s zeus17 9003638784 773.306s 20.357s 31 29.272s false(reach) 130.972s 113.220s zeus24 3333025792 112.162s 0.537s 4 46.081s
eca-rers2012/Problem06_label44_false-unreach-call.c timeout 1064.843s 802.053s zeus16 9842933760 793.427s 18.479s timeout 905.905s 819.703s zeus21 6520905728 814.963s 24.660s 28 53.618s timeout 902.484s 813.624s 7311745024 zeus19 811.837s 10.961s 25 91.010s timeout 904.378s 820.503s zeus09 6526627840 816.689s 21.807s 28 48.355s false(reach) 183.574s 164.471s zeus02 3768942592 162.895s 1.011s 4 72.952s
eca-rers2012/Problem06_label47_false-unreach-call.c timeout 913.015s 746.078s zeus04 9559347200 735.176s 18.954s timeout 901.658s 824.145s zeus12 5956399104 823.006s 22.660s 28 74.322s timeout 907.306s 790.484s 6802280448 zeus22 785.018s 9.773s 23 47.328s timeout 902.081s 823.762s zeus19 6374305792 822.412s 23.459s 28 60.652s false(reach) 125.253s 107.028s zeus08 3157254144 105.968s 0.466s 3 41.543s
eca-rers2012/Problem06_label48_false-unreach-call.c timeout 1108.708s 843.756s zeus24 9902100480 835.218s 21.940s timeout 906.107s 803.642s zeus13 7767625728 798.058s 21.187s 28 51.183s timeout 902.380s 817.995s 6882930688 zeus06 816.194s 12.428s 26 105.361s timeout 909.219s 795.051s zeus02 8269316096 787.749s 36.831s 28 37.358s false(reach) 176.287s 157.428s zeus02 3813285888 156.094s 0.604s 4 77.759s
eca-rers2012/Problem06_label56_false-unreach-call.c timeout 1124.293s 855.727s zeus14 9945055232 846.979s 49.044s timeout 903.336s 846.322s zeus20 5724200960 843.402s 27.165s 24 55.723s timeout 906.156s 814.963s 6026633216 zeus12 810.545s 13.059s 26 71.995s timeout 906.517s 810.377s zeus23 6553763840 805.408s 25.133s 26 40.848s false(reach) 181.217s 162.505s zeus19 3692343296 161.438s 0.654s 4 80.548s
eca-rers2012/Problem06_label58_false-unreach-call.c timeout 1089.779s 813.124s zeus03 9890775040 804.500s 17.485s timeout 902.693s 808.510s zeus20 6523645952 806.456s 22.111s 28 69.887s timeout 905.177s 819.407s 6665326592 zeus16 815.390s 13.280s 26 96.226s timeout 903.460s 804.634s zeus15 6827208704 801.983s 23.241s 28 61.106s false(reach) 145.762s 126.523s zeus03 3547762688 124.964s 0.613s 4 53.153s
eca-rers2012/Problem06_label59_false-unreach-call.c timeout 1049.779s 789.540s zeus21 9930342400 781.147s 16.671s timeout 905.957s 847.776s zeus03 6218817536 843.210s 25.323s 31 46.565s timeout 908.573s 820.676s 7376965632 zeus14 813.979s 21.111s 26 102.906s timeout 910.326s 794.527s zeus10 9033289728 788.509s 23.086s 31 38.331s false(reach) 173.954s 154.749s zeus01 3639803904 153.450s 0.646s 5 69.988s
eca-rers2012/Problem07_label03_false-unreach-call.c timeout 911.781s 698.810s zeus04 8402698240 688.914s 43.623s timeout 901.839s 747.643s zeus14 7904960512 746.332s 8.458s 9 420.861s timeout 904.098s 824.832s 7641567232 zeus07 821.860s 5.995s 7 320.339s timeout 901.539s 737.007s zeus21 7405203456 735.823s 8.572s 9 430.714s timeout 903.643s 880.310s zeus11 5164101632 878.580s 2.321s 2 7.953s
eca-rers2012/Problem07_label05_false-unreach-call.c timeout 911.575s 733.315s zeus06 8444821504 724.026s 16.821s error (1) 930.948s 742.076s zeus10 8134017024 - - - - timeout 904.137s 828.934s 7450267648 zeus16 825.900s 5.840s 7 331.916s error (1) 912.120s 731.238s zeus21 8616767488 - - - - timeout 909.048s 885.847s zeus10 5077491712 884.147s 2.122s 2 8.212s
eca-rers2012/Problem07_label06_false-unreach-call.c timeout 911.667s 723.862s zeus11 8565317632 714.361s 18.756s timeout 914.279s 777.546s zeus20 8277594112 774.679s 10.229s 8 383.398s timeout 905.426s 828.806s 7484207104 zeus15 825.294s 5.434s 7 363.423s timeout 902.117s 754.831s zeus15 7552151552 753.368s 12.024s 9 388.707s timeout 903.024s 878.515s zeus01 5259100160 876.398s 3.067s 2 7.938s
eca-rers2012/Problem07_label07_false-unreach-call.c timeout 1201.850s 896.224s zeus01 9795629056 - - timeout 902.522s 714.257s zeus15 8747397120 712.539s 8.118s 8 423.150s timeout 904.121s 824.321s 7507935232 zeus02 821.277s 6.030s 7 339.289s timeout 902.528s 709.109s zeus20 8613298176 707.313s 8.103s 8 421.758s timeout 912.282s 887.717s zeus03 5481783296 - - - -
eca-rers2012/Problem07_label09_false-unreach-call.c timeout 941.782s 761.350s zeus09 9629831168 751.468s 16.367s timeout 901.845s 749.908s zeus05 7858876416 748.663s 11.806s 9 419.680s timeout 904.518s 823.115s 7877251072 zeus18 820.078s 6.152s 7 320.699s timeout 902.396s 748.303s zeus22 7730532352 746.367s 9.698s 9 412.399s timeout 905.829s 880.451s zeus16 5769826304 878.295s 3.269s 3 9.854s
eca-rers2012/Problem07_label11_false-unreach-call.c timeout 913.527s 739.143s zeus14 9296871424 727.658s 21.265s timeout 902.495s 759.804s zeus10 7628632064 757.978s 9.357s 9 403.528s timeout 902.749s 814.477s 7867142144 zeus05 812.333s 5.978s 6 317.652s timeout 902.153s 745.798s zeus02 7746445312 744.359s 10.532s 9 420.520s timeout 904.824s 877.280s zeus10 5477339136 875.190s 3.276s 3 9.173s
eca-rers2012/Problem07_label15_false-unreach-call.c timeout 913.452s 732.637s zeus21 8675840000 721.317s 17.928s timeout 923.817s 749.728s zeus05 7623651328 746.026s 8.324s 9 439.102s timeout 904.385s 824.980s 7493476352 zeus23 821.921s 5.914s 7 328.636s timeout 908.927s 760.343s zeus20 7837147136 758.437s 9.418s 9 398.181s timeout 902.778s 878.802s zeus06 5433511936 877.040s 2.285s 2 7.555s
eca-rers2012/Problem07_label18_false-unreach-call.c timeout 911.547s 713.393s zeus10 8678817792 703.332s 18.523s error (1) 912.592s 740.259s zeus16 8342806528 - - - - timeout 902.992s 826.977s 7381508096 zeus13 824.844s 6.103s 6 336.193s timeout 902.423s 704.577s zeus19 8754081792 703.013s 6.442s 8 438.761s timeout 910.285s 884.974s zeus14 5342924800 882.865s 3.140s 2 8.397s
eca-rers2012/Problem07_label19_false-unreach-call.c timeout 939.485s 801.126s zeus02 7752638464 792.188s 20.767s error (1) 912.256s 734.672s zeus11 8415920128 - - - - timeout 904.016s 822.852s 7624065024 zeus03 819.817s 6.401s 7 304.891s timeout 902.505s 717.134s zeus08 8654995456 715.114s 9.817s 8 409.513s timeout 903.635s 863.646s zeus01 5705867264 861.493s 3.835s 3 20.322s
eca-rers2012/Problem07_label20_false-unreach-call.c timeout 1063.723s 840.785s zeus10 9643069440 830.319s 19.511s timeout 902.078s 755.770s zeus09 7758159872 754.306s 10.143s 9 416.670s timeout 902.746s 837.987s 7538077696 zeus17 836.042s 6.854s 6 362.285s timeout 904.767s 724.596s zeus09 8149827584 721.387s 8.780s 8 406.252s timeout 902.606s 878.991s zeus06 5542699008 877.264s 2.207s 2 8.215s
eca-rers2012/Problem07_label23_false-unreach-call.c timeout 1124.438s 858.745s zeus01 9725227008 848.412s 20.708s timeout 904.863s 762.783s zeus03 8483266560 759.752s 10.176s 8 386.957s timeout 928.115s 837.695s 7652524032 zeus18 835.667s 6.112s 6 347.821s error (1) 930.761s 745.040s zeus20 8679362560 - - - - timeout 912.514s 872.484s zeus11 5967970304 - - - -
eca-rers2012/Problem07_label30_false-unreach-call.c timeout 913.174s 708.380s zeus11 8378798080 697.450s 17.738s error (1) 945.268s 782.308s zeus11 7856979968 - - - - timeout 902.548s 816.576s 7563141120 zeus23 814.564s 5.798s 6 304.940s error (1) 948.400s 776.261s zeus05 7822524416 - - - - timeout 912.123s 889.874s zeus14 4985106432 - - - -
eca-rers2012/Problem07_label31_false-unreach-call.c timeout 910.344s 731.986s zeus18 8924061696 722.187s 24.167s error (1) 915.845s 797.818s zeus02 7771078656 - - - - timeout 904.294s 822.742s 7638065152 zeus12 819.647s 6.138s 7 330.103s error (1) 952.165s 774.500s zeus19 8496857088 - - - - timeout 912.160s 888.309s zeus08 5440729088 - - - -
eca-rers2012/Problem07_label35_false-unreach-call.c timeout 1021.689s 798.540s zeus08 9631879168 788.209s 17.558s error (1) 912.530s 786.327s zeus20 7421231104 - - - - timeout 905.370s 821.025s 7483666432 zeus10 817.586s 6.208s 7 300.176s timeout 903.008s 729.198s zeus13 8810270720 726.865s 9.928s 8 394.008s timeout 912.300s 886.578s zeus07 5249859584 - - - -
eca-rers2012/Problem07_label36_false-unreach-call.c timeout 911.542s 728.088s zeus14 8638431232 718.051s 20.009s timeout 902.117s 758.255s zeus20 8409141248 756.557s 11.458s 6 345.792s timeout 904.592s 824.750s 7658262528 zeus18 821.594s 6.199s 7 335.649s timeout 902.634s 719.241s zeus13 8595357696 716.953s 9.646s 8 407.481s timeout 903.933s 878.693s zeus05 5641084928 876.654s 4.260s 4 18.702s
eca-rers2012/Problem07_label37_false-unreach-call.c timeout 911.060s 741.765s zeus07 8869023744 732.148s 17.424s error (1) 914.427s 763.658s zeus03 8328486912 - - - - timeout 902.464s 820.492s 7822712832 zeus02 818.468s 5.968s 6 323.497s timeout 902.814s 719.224s zeus01 8212586496 717.016s 9.232s 8 406.605s timeout 909.026s 882.919s zeus14 5517307904 880.780s 3.653s 3 9.494s
eca-rers2012/Problem07_label39_false-unreach-call.c timeout 910.783s 730.003s zeus07 8567992320 720.385s 17.829s error (1) 938.847s 777.624s zeus05 7378919424 - - - - timeout 904.550s 816.997s 7706796032 zeus21 813.758s 5.788s 7 331.352s timeout 902.446s 695.736s zeus18 8628113408 694.479s 6.805s 8 443.804s timeout 903.715s 865.065s zeus09 5687955456 862.907s 4.209s 3 17.932s
eca-rers2012/Problem07_label40_false-unreach-call.c timeout 913.814s 748.005s zeus13 9218158592 736.339s 20.639s timeout 901.761s 704.947s zeus02 8624766976 703.711s 6.943s 8 424.538s timeout 904.525s 824.977s 7634345984 zeus17 821.924s 5.824s 7 341.931s timeout 902.633s 717.427s zeus13 8506122240 715.137s 8.760s 8 410.181s timeout 902.855s 879.812s zeus17 5348188160 878.147s 2.274s 2 8.157s
eca-rers2012/Problem07_label42_false-unreach-call.c timeout 911.822s 739.272s zeus14 8681566208 729.215s 16.623s timeout 903.266s 732.892s zeus23 8368508928 730.610s 9.343s 8 392.063s timeout 904.574s 820.209s 7650099200 zeus02 817.054s 6.194s 7 321.263s error (1) 911.838s 764.985s zeus22 8090419200 - - - - timeout 903.226s 877.754s zeus14 5480845312 875.615s 3.114s 2 8.120s
eca-rers2012/Problem07_label44_false-unreach-call.c timeout 913.487s 756.091s zeus09 9374941184 744.281s 18.647s timeout 903.160s 753.263s zeus21 7488360448 750.584s 12.162s 8 388.660s timeout 902.897s 817.909s 7551913984 zeus17 815.900s 6.168s 6 305.480s timeout 903.070s 725.944s zeus14 8660197376 723.309s 9.666s 8 407.431s timeout 903.393s 876.811s zeus07 6373064704 874.828s 3.853s 3 25.308s
eca-rers2012/Problem07_label46_false-unreach-call.c timeout 1041.441s 815.559s zeus19 9720193024 805.389s 20.103s timeout 903.642s 740.331s zeus06 7937073152 737.430s 10.850s 8 404.619s timeout 905.122s 823.579s 7492554752 zeus21 820.067s 6.225s 7 322.064s error (1) 912.101s 759.319s zeus24 7417188352 - - - - timeout 903.179s 879.003s zeus22 5277110272 877.071s 2.728s 2 7.277s
eca-rers2012/Problem07_label47_false-unreach-call.c timeout 911.946s 730.826s zeus08 8920907776 720.279s 17.132s error (1) 914.793s 712.091s zeus24 8796831744 - - - - timeout 904.420s 819.289s 7801958400 zeus17 816.175s 7.427s 7 344.581s error (1) 937.923s 767.836s zeus17 7789408256 - - - - timeout 903.167s 877.908s zeus16 5657387008 875.722s 3.225s 2 8.259s
eca-rers2012/Problem07_label48_false-unreach-call.c timeout 1069.941s 838.980s zeus07 9722437632 828.893s 107.239s timeout 904.707s 725.435s zeus07 8459395072 722.148s 7.783s 8 409.922s timeout 904.186s 821.511s 7799410688 zeus05 818.420s 5.370s 7 347.247s timeout 903.020s 721.532s zeus09 8777887744 719.004s 10.349s 8 403.014s timeout 906.895s 882.471s zeus17 5446651904 880.346s 3.072s 2 8.080s
eca-rers2012/Problem07_label58_false-unreach-call.c timeout 911.554s 774.841s zeus20 8953925632 764.685s 20.678s timeout 903.043s 739.472s zeus01 7928152064 737.047s 7.574s 17 540.887s timeout 904.237s 875.238s 7675559936 zeus03 872.636s 3.121s 10 664.648s timeout 908.800s 742.759s zeus05 7656992768 739.973s 17.388s 17 505.656s timeout 911.395s 886.846s zeus06 5199282176 884.911s 2.583s 2 8.194s
eca-rers2012/Problem08_label01_false-unreach-call.c timeout 912.217s 726.295s zeus05 8512983040 715.351s 19.865s error (1) 917.662s 604.754s zeus16 9269690368 - - - - timeout 904.465s 849.744s 9318252544 zeus11 846.780s 2.948s 4 586.577s error (1) 935.273s 619.811s zeus22 9884364800 - - - - timeout 912.114s 869.937s zeus01 6061993984 - - - -
eca-rers2012/Problem08_label02_false-unreach-call.c timeout 909.748s 695.657s zeus05 7938617344 686.806s 13.167s error (1) 932.198s 622.720s zeus23 10009796608 - - - - timeout 901.971s 841.031s 10002067456 zeus23 839.503s 3.202s 4 554.175s error (1) 916.313s 605.755s zeus21 9669865472 - - - - timeout 903.110s 855.460s zeus23 6247202816 853.662s 4.824s 2 14.657s
eca-rers2012/Problem08_label04_false-unreach-call.c timeout 912.048s 717.090s zeus07 8300240896 707.087s 16.329s error (1) 916.030s 582.758s zeus12 9248972800 - - - - timeout 904.281s 854.042s 9989947392 zeus20 851.401s 3.080s 5 587.729s error (1) 915.688s 591.167s zeus22 9263353856 - - - - timeout 903.241s 856.568s zeus09 6766211072 854.721s 6.368s 3 22.170s
eca-rers2012/Problem08_label05_false-unreach-call.c timeout 910.983s 735.474s zeus02 7570354176 726.592s 18.012s error (1) 953.221s 650.846s zeus20 9036214272 - - - - timeout 907.730s 855.067s 8682774528 zeus05 850.611s 2.927s 4 588.402s error (1) 916.198s 609.016s zeus13 9838694400 - - - - timeout 906.207s 857.851s zeus16 6334959616 856.013s 4.962s 2 15.481s
eca-rers2012/Problem08_label06_false-unreach-call.c timeout 910.858s 743.376s zeus16 8585289728 733.179s 16.868s timeout 907.004s 594.337s zeus08 9118052352 592.079s 1.642s 2 501.712s timeout 903.800s 852.156s 9679523840 zeus20 849.560s 3.101s 5 587.204s error (1) 919.264s 575.007s zeus09 9179832320 - - - - timeout 902.374s 856.021s zeus15 6177579008 854.144s 5.069s 2 14.387s
eca-rers2012/Problem08_label07_false-unreach-call.c timeout 914.079s 734.596s zeus17 8652050432 722.646s 44.444s error (1) 934.298s 618.490s zeus03 9940824064 - - - - timeout 904.163s 856.378s 8700145664 zeus24 853.636s 2.737s 4 615.506s error (1) 916.243s 598.952s zeus23 9189355520 - - - - timeout 911.631s 870.548s zeus09 6077235200 868.093s 4.001s 2 15.383s
eca-rers2012/Problem08_label10_false-unreach-call.c timeout 911.244s 698.751s zeus18 8204414976 689.397s 14.106s error (1) 919.106s 579.897s zeus21 9197346816 - - - - timeout 903.986s 844.671s 10036211712 zeus12 842.057s 3.177s 5 566.749s error (1) 915.149s 581.975s zeus22 9242288128 - - - - timeout 912.173s 868.551s zeus19 6155644928 - - - -
eca-rers2012/Problem08_label13_false-unreach-call.c timeout 912.732s 729.426s zeus01 8593047552 718.058s 24.147s timeout 908.153s 585.019s zeus05 9282826240 582.860s 3.097s 2 498.860s timeout 904.159s 851.800s 9433681920 zeus13 848.898s 2.806s 4 596.337s error (1) 963.065s 598.939s zeus18 9193222144 - - - - timeout 903.898s 858.589s zeus03 6371098624 856.034s 4.603s 2 14.168s
eca-rers2012/Problem08_label15_false-unreach-call.c timeout 1055.490s 845.785s zeus20 7536746496 837.063s 18.776s error (1) 1004.230s 664.622s zeus20 9007394816 - - - - timeout 902.044s 848.732s 9996353536 zeus18 847.341s 2.970s 4 587.255s timeout 901.978s 584.787s zeus01 9268940800 583.631s 1.558s 2 496.275s timeout 909.258s 865.027s zeus16 6085373952 862.479s 4.397s 2 15.469s
eca-rers2012/Problem08_label24_false-unreach-call.c timeout 911.853s 701.506s zeus19 8257351680 691.107s 15.357s error (1) 943.609s 632.576s zeus22 10047643648 - - - - timeout 902.078s 853.357s 9667657728 zeus23 852.020s 3.025s 4 592.937s error (1) 927.452s 617.879s zeus11 9952927744 - - - - timeout 912.244s 869.381s zeus08 6113972224 - - - -
eca-rers2012/Problem08_label25_false-unreach-call.c timeout 912.679s 724.265s zeus12 8496340992 713.068s 14.510s error (1) 914.701s 610.311s zeus20 9123078144 - - - - timeout 901.882s 851.726s 10061418496 zeus19 850.634s 2.936s 4 605.790s error (1) 945.274s 590.799s zeus10 9250725888 - - - - timeout 912.435s 892.632s zeus06 4761866240 - - - -
eca-rers2012/Problem08_label26_false-unreach-call.c timeout 912.192s 720.504s zeus16 8316383232 710.430s 16.179s error (1) 912.710s 613.850s zeus14 10001268736 - - - - timeout 906.807s 857.029s 9904697344 zeus08 852.789s 2.849s 4 597.374s timeout 901.692s 585.040s zeus12 9228734464 584.070s 1.494s 2 503.424s timeout 912.511s 891.985s zeus08 4765954048 - - - -
eca-rers2012/Problem08_label28_false-unreach-call.c timeout 912.495s 725.309s zeus01 8764207104 714.290s 16.686s timeout 915.225s 591.349s zeus23 9187786752 589.106s 1.621s 2 506.511s timeout 907.793s 855.755s 8667406336 zeus05 850.997s 4.330s 4 536.557s error (1) 914.331s 590.426s zeus24 9138765824 - - - - timeout 912.075s 870.650s zeus20 6108274688 - - - -
eca-rers2012/Problem08_label29_false-unreach-call.c timeout 913.167s 718.564s zeus18 8436236288 707.213s 17.942s timeout 901.941s 594.159s zeus24 9245966336 592.583s 2.127s 2 490.208s timeout 902.136s 850.723s 9785778176 zeus04 849.208s 3.066s 4 587.640s error (1) 912.867s 619.997s zeus21 9615122432 - - - - timeout 910.396s 889.756s zeus05 4758736896 887.791s 1.934s 2 8.230s
eca-rers2012/Problem08_label34_false-unreach-call.c timeout 1066.002s 866.921s zeus15 7406698496 859.414s 25.137s error (1) 917.311s 583.519s zeus16 9237565440 - - - - timeout 903.501s 854.247s 9713430528 zeus10 852.792s 3.245s 4 593.042s error (1) 913.945s 614.488s zeus10 9880395776 - - - - timeout 902.299s 879.829s zeus01 4761456640 878.021s 2.844s 2 8.480s
eca-rers2012/Problem08_label37_false-unreach-call.c timeout 914.591s 760.880s zeus22 8944467968 748.402s 19.256s error (1) 914.833s 582.944s zeus19 9317326848 - - - - timeout 901.722s 854.460s 9684226048 zeus14 853.210s 3.060s 4 591.360s error (1) 916.935s 604.653s zeus19 9453215744 - - - - timeout 903.949s 880.875s zeus05 4768583680 878.557s 1.800s 2 8.065s
eca-rers2012/Problem08_label43_false-unreach-call.c timeout 914.273s 712.646s zeus01 8248823808 700.890s 15.096s error (1) 948.776s 629.459s zeus11 10002522112 - - - - timeout 902.099s 851.275s 10044551168 zeus24 849.775s 3.209s 4 581.883s error (1) 914.529s 585.074s zeus22 9232449536 - - - - timeout 904.199s 857.386s zeus24 6463373312 855.592s 4.915s 2 14.166s
eca-rers2012/Problem08_label46_false-unreach-call.c timeout 910.861s 696.208s zeus04 7761473536 687.213s 15.843s error (1) 914.788s 616.252s zeus07 9884454912 - - - - timeout 904.306s 851.635s 9757048832 zeus15 848.845s 3.819s 4 612.861s timeout 901.469s 583.194s zeus09 9254920192 582.286s 1.510s 2 500.346s timeout 904.939s 858.723s zeus12 8652779520 856.807s 4.841s 3 41.607s
eca-rers2012/Problem08_label48_false-unreach-call.c timeout 910.377s 705.839s zeus21 8215228416 696.168s 44.885s error (1) 987.763s 621.038s zeus16 9297702912 - - - - timeout 901.569s 853.153s 9714933760 zeus10 852.210s 2.820s 4 610.666s error (1) 925.626s 609.540s zeus21 9840877568 - - - - timeout 912.106s 868.305s zeus16 6135586816 - - - -
eca-rers2012/Problem08_label49_false-unreach-call.c timeout 912.728s 722.442s zeus21 8642342912 711.301s 17.029s timeout 902.485s 626.604s zeus03 9162461184 624.709s 3.338s 2 458.534s timeout 905.893s 854.144s 9686691840 zeus02 851.302s 2.892s 4 602.550s error (1) 934.556s 617.613s zeus24 9987039232 - - - - timeout 903.214s 852.473s zeus13 6236323840 850.621s 5.193s 2 15.091s
eca-rers2012/Problem08_label50_false-unreach-call.c timeout 908.797s 727.440s zeus20 7334211584 719.352s 105.078s error (1) 914.296s 609.255s zeus12 9951731712 - - - - timeout 907.817s 853.821s 8687775744 zeus19 849.174s 3.069s 4 589.898s error (1) 928.649s 619.736s zeus03 9814347776 - - - - timeout 905.676s 858.439s zeus02 8777330688 857.293s 4.889s 3 60.745s
eca-rers2012/Problem08_label51_false-unreach-call.c timeout 910.891s 732.556s zeus14 8427933696 722.378s 15.068s error (1) 931.394s 622.607s zeus16 9951318016 - - - - timeout 904.430s 858.334s 9653170176 zeus11 855.491s 2.732s 4 610.568s error (1) 938.466s 626.760s zeus06 10018148352 - - - - timeout 902.877s 854.023s zeus20 8793616384 851.923s 5.864s 3 62.016s
eca-rers2012/Problem08_label55_false-unreach-call.c timeout 912.545s 742.750s zeus06 8738754560 731.829s 14.339s error (1) 930.240s 619.306s zeus13 9885900800 - - - - timeout 907.523s 853.778s 8732827648 zeus08 849.442s 2.864s 4 588.808s error (1) 915.967s 607.011s zeus13 9257742336 - - - - timeout 912.459s 875.197s zeus19 6067269632 - - - -
eca-rers2012/Problem08_label59_false-unreach-call.c timeout 913.749s 746.166s zeus01 8999284736 734.069s 17.054s error (1) 931.388s 616.557s zeus05 9796726784 - - - - timeout 904.049s 853.350s 9655447552 zeus24 850.779s 3.273s 5 574.019s error (1) 914.821s 612.654s zeus11 9810714624 - - - - timeout 907.017s 864.333s zeus14 6407360512 861.781s 4.651s 3 18.909s
eca-rers2012/Problem09_label02_false-unreach-call.c timeout 911.499s 724.992s zeus04 8112164864 714.171s 15.545s timeout 906.757s 565.938s zeus14 10177376256 561.707s 3.014s 1 457.266s timeout 904.436s 803.810s 10072301568 zeus06 800.513s 4.273s 3 378.412s error (1) 912.642s 585.327s zeus23 10820673536 - - - - timeout 904.296s 843.682s zeus19 6726848512 840.992s 5.513s 3 24.055s
eca-rers2012/Problem09_label03_false-unreach-call.c timeout 913.980s 720.666s zeus21 8070180864 708.791s 14.309s error (1) 913.222s 579.714s zeus21 10720952320 - - - - timeout 904.483s 820.939s 9954975744 zeus06 817.483s 4.260s 3 403.966s error (1) 912.796s 581.714s zeus19 10861395968 - - - - timeout 904.429s 842.792s zeus07 6750638080 840.139s 5.219s 3 24.205s
eca-rers2012/Problem09_label06_false-unreach-call.c timeout 913.694s 740.796s zeus21 8555175936 729.125s 17.344s error (1) 929.330s 587.672s zeus11 10832977920 - - - - timeout 904.470s 804.572s 10025078784 zeus18 801.120s 4.008s 3 389.383s error (1) 914.109s 586.244s zeus20 10757758976 - - - - timeout 912.377s 871.495s zeus10 6760689664 - - - -
eca-rers2012/Problem09_label08_false-unreach-call.c timeout 911.856s 740.887s zeus04 8501202944 729.653s 14.649s error (1) 915.078s 592.526s zeus14 10855948288 - - - - timeout 904.421s 819.477s 9980579840 zeus18 816.156s 4.270s 3 425.923s error (1) 912.844s 582.664s zeus02 10796138496 - - - - timeout 903.368s 841.224s zeus08 6717206528 838.532s 5.109s 3 23.812s
eca-rers2012/Problem09_label10_false-unreach-call.c timeout 914.738s 753.089s zeus06 9061003264 739.987s 16.249s timeout 902.207s 555.469s zeus23 9993138176 553.660s 1.753s 1 458.026s timeout 904.817s 803.974s 10014019584 zeus19 800.541s 4.003s 3 378.353s error (1) 916.587s 544.559s zeus14 9578749952 - - - - timeout 904.588s 841.873s zeus16 6986285056 839.124s 5.326s 3 24.246s
eca-rers2012/Problem09_label11_false-unreach-call.c timeout 942.055s 756.499s zeus02 7529582592 747.413s 16.349s timeout 901.696s 554.170s zeus23 9802190848 552.864s 1.225s 1 478.202s timeout 904.413s 818.146s 9978290176 zeus02 814.834s 4.223s 3 400.473s error (1) 926.947s 578.085s zeus11 10980462592 - - - - timeout 903.748s 835.810s zeus23 6966579200 833.855s 6.384s 3 24.200s
eca-rers2012/Problem09_label15_false-unreach-call.c timeout 915.220s 740.983s zeus08 8743686144 727.846s 14.520s error (1) 916.336s 578.637s zeus20 10840850432 - - - - timeout 904.620s 841.676s 9803423744 zeus08 838.782s 3.073s 3 570.881s error (1) 913.350s 568.910s zeus10 10848325632 - - - - timeout 903.442s 833.822s zeus24 6895255552 831.879s 7.102s 3 23.723s
eca-rers2012/Problem09_label19_false-unreach-call.c timeout 914.213s 751.473s zeus11 8509628416 739.111s 18.628s error (1) 912.817s 567.709s zeus17 10858426368 - - - - timeout 904.162s 847.423s 9612038144 zeus08 844.702s 3.623s 4 519.420s error (1) 915.012s 548.210s zeus15 9753260032 - - - - timeout 911.411s 843.756s zeus06 6884065280 841.938s 6.268s 3 22.551s
eca-rers2012/Problem09_label20_false-unreach-call.c timeout 914.822s 752.038s zeus18 8825806848 738.945s 15.976s error (1) 913.080s 569.843s zeus09 10654330880 - - - - timeout 903.630s 849.771s 9752244224 zeus15 847.052s 3.853s 4 558.887s error (1) 913.847s 573.314s zeus04 10774401024 - - - - timeout 902.449s 878.455s zeus19 5089947648 876.702s 2.406s 2 9.713s
eca-rers2012/Problem09_label32_false-unreach-call.c timeout 911.468s 733.136s zeus24 8628207616 722.209s 15.799s timeout 906.816s 566.457s zeus23 10206851072 562.265s 3.125s 1 454.551s timeout 903.354s 816.130s 10479259648 zeus03 813.657s 4.419s 2 343.208s timeout 901.433s 544.033s zeus21 9721651200 542.980s 0.965s 1 481.258s timeout 904.534s 843.894s zeus14 6715240448 841.156s 5.349s 3 23.507s
eca-rers2012/Problem09_label34_false-unreach-call.c timeout 911.697s 739.775s zeus13 8352579584 728.864s 17.527s timeout 902.819s 575.026s zeus17 10531393536 572.535s 6.610s 1 427.914s timeout 903.691s 818.403s 10355294208 zeus02 816.472s 5.082s 2 369.516s timeout 902.353s 551.888s zeus10 9923166208 550.333s 1.485s 1 469.798s timeout 902.560s 879.315s zeus07 5160615936 877.511s 2.667s 2 9.691s
eca-rers2012/Problem09_label35_false-unreach-call.c timeout 975.829s 810.882s zeus20 7470592000 801.418s 21.614s timeout 919.364s 590.464s zeus01 10959269888 587.680s 3.070s 1 417.969s timeout 902.881s 816.230s 10334543872 zeus07 813.846s 4.379s 2 359.960s timeout 907.329s 579.680s zeus04 10752987136 576.925s 2.877s 1 413.809s timeout 904.585s 843.485s zeus10 6816980992 840.864s 5.372s 3 23.026s
eca-rers2012/Problem09_label36_false-unreach-call.c timeout 912.218s 687.820s zeus22 7486332928 678.541s 14.254s timeout 904.282s 566.937s zeus22 10400452608 564.679s 2.227s 1 441.331s timeout 903.432s 819.339s 10528538624 zeus06 817.367s 4.044s 2 377.609s timeout 902.587s 543.652s zeus14 9838129152 542.666s 0.993s 1 480.512s timeout 906.888s 834.878s zeus04 7210610688 832.894s 7.093s 3 24.411s
eca-rers2012/Problem09_label38_false-unreach-call.c timeout 915.637s 743.271s zeus24 8777060352 728.910s 16.187s timeout 901.735s 550.456s zeus08 9853014016 549.262s 1.164s 1 481.611s timeout 940.833s 831.480s 10588352512 zeus22 828.966s 5.369s 2 344.026s timeout 905.967s 577.618s zeus12 10490118144 575.096s 2.826s 1 427.294s timeout 907.097s 843.509s zeus14 6856105984 840.752s 6.731s 3 23.764s
eca-rers2012/Problem09_label41_false-unreach-call.c timeout 914.967s 756.331s zeus08 8662269952 743.487s 16.472s timeout 903.918s 576.666s zeus04 10493259776 574.211s 2.705s 1 434.665s timeout 902.545s 815.241s 10443530240 zeus08 813.215s 4.989s 2 362.657s timeout 901.893s 548.330s zeus17 9813602304 546.783s 2.803s 1 465.696s timeout 904.449s 862.532s zeus14 6721007616 860.192s 4.420s 3 24.420s
eca-rers2012/Problem09_label44_false-unreach-call.c timeout 911.646s 682.366s zeus11 7420526592 672.231s 11.003s error (1) 933.103s 581.419s zeus06 10804690944 - - - - timeout 904.609s 820.352s 10126209024 zeus09 816.882s 4.296s 3 428.927s error (1) 924.716s 581.777s zeus10 10698829824 - - - - timeout 910.106s 843.244s zeus14 7084023808 841.284s 6.255s 3 24.575s
eca-rers2012/Problem09_label46_false-unreach-call.c timeout 913.322s 741.592s zeus13 8631148544 729.808s 16.499s error (1) 920.881s 585.788s zeus16 10765262848 - - - - timeout 916.595s 794.836s 10023677952 zeus20 792.117s 4.150s 2 345.706s error (1) 921.254s 551.127s zeus09 9647599616 - - - - timeout 912.242s 840.460s zeus16 6991396864 - - - -
eca-rers2012/Problem09_label47_false-unreach-call.c timeout 910.462s 761.259s zeus02 7425630208 751.449s 16.468s timeout 902.806s 566.243s zeus14 10204405760 564.140s 2.092s 1 455.843s timeout 904.823s 798.354s 9964519424 zeus18 794.801s 3.981s 3 383.769s timeout 902.916s 569.984s zeus17 10296631296 567.646s 2.528s 1 437.585s timeout 903.902s 863.584s zeus05 6731718656 861.310s 4.584s 3 23.560s
eca-rers2012/Problem09_label51_false-unreach-call.c timeout 913.315s 731.711s zeus19 8366546944 719.813s 14.256s error (1) 926.498s 589.889s zeus22 10884878336 - - - - timeout 904.521s 806.392s 10058338304 zeus01 803.082s 22.892s 3 376.738s error (1) 913.016s 578.205s zeus17 10729144320 - - - - timeout 903.380s 833.251s zeus09 7006429184 831.380s 5.999s 3 23.976s
eca-rers2012/Problem09_label53_false-unreach-call.c timeout 914.618s 743.496s zeus08 8597803008 730.503s 14.004s error (1) 1029.307s 670.321s zeus01 10983202816 - - - - timeout 902.563s 823.913s 10107293696 zeus05 821.991s 4.600s 2 376.222s error (1) 917.148s 545.029s zeus16 9661972480 - - - - timeout 905.722s 840.646s zeus19 6785089536 838.719s 6.810s 3 23.248s
eca-rers2012/Problem09_label54_false-unreach-call.c timeout 912.492s 738.087s zeus23 9055105024 726.755s 15.905s error (1) 933.023s 584.461s zeus23 10897059840 - - - - timeout 904.204s 798.479s 9954070528 zeus03 795.197s 4.258s 3 373.570s error (1) 917.063s 578.447s zeus08 10754752512 - - - - timeout 905.342s 832.965s zeus22 7112536064 829.982s 7.800s 3 22.665s
eca-rers2012/Problem09_label56_false-unreach-call.c timeout 913.193s 731.819s zeus16 8586256384 720.033s 14.855s error (1) 929.308s 588.630s zeus01 10759385088 - - - - timeout 923.724s 815.175s 9954168832 zeus10 812.273s 4.524s 2 369.131s error (1) 924.642s 582.273s zeus04 10720825344 - - - - timeout 902.947s 861.280s zeus19 6737297408 859.028s 4.398s 3 23.689s
eca-rers2012/Problem09_label57_false-unreach-call.c timeout 913.835s 733.392s zeus07 8519688192 721.165s 14.698s error (1) 930.349s 588.527s zeus06 10920792064 - - - - timeout 903.350s 800.982s 10027712512 zeus19 798.164s 4.367s 2 369.577s error (1) 912.976s 578.533s zeus23 10797920256 - - - - timeout 912.560s 866.620s zeus09 6961766400 - - - -
eca-rers2012/Problem09_label59_false-unreach-call.c timeout 910.709s 741.366s zeus15 7503712256 731.456s 16.917s error (1) 940.697s 578.819s zeus18 10907582464 - - - - timeout 902.138s 851.708s 9659457536 zeus01 850.408s 2.806s 3 584.008s error (1) 921.435s 566.898s zeus09 10781454336 - - - - timeout 912.337s 866.299s zeus16 6972878848 - - - -
eca-rers2012/Problem10_label12_false-unreach-call.c false(reach) 16.295s 10.230s zeus03 644689920 9.220s 0.221s false(reach) 22.195s 14.256s zeus13 661426176 13.330s 0.298s 7 1.530s false(reach) 76.252s 63.607s 2333220864 zeus24 62.651s 0.805s 10 2.913s false(reach) 23.531s 14.941s zeus17 668463104 13.564s 0.273s 7 1.591s false(reach) 143.459s 137.350s zeus05 928796672 136.592s 0.102s 4 57.547s
eca-rers2012/Problem10_label15_false-unreach-call.c false(reach) 22.818s 15.851s zeus15 713027584 14.346s 0.339s false(reach) 25.240s 17.255s zeus05 861536256 16.217s 0.378s 7 2.155s false(reach) 79.561s 67.093s 2419957760 zeus06 65.934s 0.898s 10 2.971s false(reach) 25.221s 17.164s zeus17 838451200 16.099s 0.328s 7 1.787s false(reach) 86.315s 80.242s zeus18 934670336 79.581s 0.106s 4 54.424s
eca-rers2012/Problem10_label24_false-unreach-call.c false(reach) 22.485s 16.104s zeus01 967639040 14.943s 0.394s false(reach) 27.657s 19.602s zeus22 1278177280 18.607s 0.629s 7 1.864s false(reach) 54.382s 42.477s 1446404096 zeus04 41.454s 0.635s 9 2.154s false(reach) 30.387s 20.801s zeus13 1285394432 19.514s 0.443s 7 1.906s false(reach) 134.347s 128.268s zeus24 931430400 127.584s 0.109s 4 57.613s
eca-rers2012/Problem10_label26_false-unreach-call.c false(reach) 23.147s 16.987s zeus12 1136599040 15.816s 0.371s false(reach) 28.819s 20.779s zeus06 1268420608 19.751s 0.489s 7 1.833s false(reach) 68.016s 56.021s 2433998848 zeus21 54.871s 0.790s 10 2.166s false(reach) 30.216s 21.473s zeus10 1281531904 20.239s 0.432s 7 1.909s false(reach) 146.759s 140.598s zeus08 927895552 139.839s 0.100s 4 60.534s
eca-rers2012/Problem10_label28_false-unreach-call.c false(reach) 18.490s 12.448s zeus23 709226496 11.483s 0.261s false(reach) 24.002s 16.739s zeus06 807219200 15.721s 0.439s 7 1.601s false(reach) 73.732s 61.826s 2422775808 zeus21 60.641s 0.808s 10 3.037s false(reach) 25.076s 16.795s zeus08 790614016 15.673s 0.331s 7 1.640s false(reach) 296.845s 290.366s zeus16 931786752 289.646s 0.108s 4 60.991s
eca-rers2012/Problem10_label29_false-unreach-call.c false(reach) 17.956s 11.836s zeus01 644841472 10.828s 0.269s false(reach) 27.740s 19.738s zeus02 720793600 18.509s 0.508s 7 1.807s false(reach) 92.688s 78.959s 2585989120 zeus17 77.908s 1.226s 9 3.271s false(reach) 24.664s 16.630s zeus24 704446464 15.615s 0.366s 7 1.801s false(reach) 133.580s 127.632s zeus20 924626944 126.843s 0.112s 4 61.187s
eca-rers2012/Problem10_label41_false-unreach-call.c false(reach) 10.716s 6.589s zeus16 365043712 5.750s 0.152s false(reach) 16.434s 9.391s zeus20 593625088 8.386s 0.164s 7 1.218s false(reach) 27.516s 18.227s 712683520 zeus04 17.483s 0.266s 9 1.647s false(reach) 16.491s 9.525s zeus04 590680064 8.565s 0.207s 7 1.126s false(reach) 78.640s 74.772s zeus06 678678528 74.087s 0.071s 3 27.005s
eca-rers2012/Problem10_label42_false-unreach-call.c false(reach) 14.987s 9.012s zeus01 616067072 7.970s 0.164s false(reach) 17.689s 10.670s zeus06 635023360 9.827s 0.180s 7 1.291s false(reach) 32.129s 21.289s 845111296 zeus02 20.431s 0.296s 8 1.346s false(reach) 17.619s 10.500s zeus21 630263808 9.667s 0.201s 7 1.279s false(reach) 53.912s 50.334s zeus08 673247232 49.686s 0.071s 3 25.439s
eca-rers2012/Problem10_label46_false-unreach-call.c false(reach) 8.717s 5.363s zeus24 283512832 4.645s 0.116s false(reach) 14.530s 8.431s zeus13 511266816 7.693s 0.170s 7 1.522s false(reach) 18.175s 10.871s 632471552 zeus17 10.139s 0.143s 7 0.687s false(reach) 14.468s 8.549s zeus06 497598464 7.807s 0.165s 7 1.290s false(reach) 15.409s 12.527s zeus02 498241536 11.879s 0.033s 2 6.325s
eca-rers2012/Problem10_label47_false-unreach-call.c false(reach) 15.751s 9.830s zeus11 640356352 8.889s 0.190s false(reach) 22.067s 14.623s zeus20 621604864 13.561s 0.322s 7 1.648s false(reach) 30.455s 20.496s 693727232 zeus15 19.619s 0.308s 9 1.428s false(reach) 19.999s 12.119s zeus23 635416576 10.906s 0.224s 7 1.415s false(reach) 42.130s 38.223s zeus02 671838208 37.545s 0.085s 3 25.494s
eca-rers2012/Problem10_label48_false-unreach-call.c false(reach) 22.923s 16.533s zeus16 1057230848 15.411s 0.364s false(reach) 28.246s 20.346s zeus07 1269219328 19.274s 0.488s 7 1.523s false(reach) 52.087s 41.135s 2076000256 zeus11 39.940s 0.697s 9 2.283s false(reach) 28.762s 20.426s zeus07 1282473984 19.288s 0.439s 7 1.587s false(reach) 329.480s 322.815s zeus24 924024832 322.121s 0.134s 4 63.029s
eca-rers2012/Problem10_label50_false-unreach-call.c false(reach) 17.350s 10.810s zeus24 640655360 9.742s 0.267s false(reach) 23.281s 14.838s zeus09 669700096 13.838s 0.399s 7 1.730s false(reach) 76.743s 64.146s 2376986624 zeus12 63.260s 0.880s 10 3.307s false(reach) 23.189s 14.739s zeus15 682065920 13.436s 0.281s 7 1.715s false(reach) 299.674s 293.392s zeus10 936513536 292.695s 0.122s 4 62.037s
eca-rers2012/Problem10_label55_false-unreach-call.c false(reach) 13.626s 8.251s zeus17 494366720 7.297s 0.172s false(reach) 19.433s 11.792s zeus22 629182464 10.915s 0.208s 7 1.545s false(reach) 36.259s 25.126s 1250910208 zeus21 24.349s 0.376s 9 1.935s false(reach) 19.327s 11.687s zeus02 631762944 10.761s 0.202s 7 1.479s false(reach) 42.045s 38.414s zeus08 677974016 37.765s 0.094s 3 25.672s
eca-rers2012/Problem10_label57_false-unreach-call.c false(reach) 18.706s 12.525s zeus19 710668288 11.550s 0.316s false(reach) 41.242s 31.175s zeus02 936083456 29.709s 0.902s 7 2.095s false(reach) 76.149s 62.265s 2495606784 zeus02 61.194s 0.916s 9 2.508s false(reach) 27.284s 18.167s zeus05 921108480 17.069s 0.374s 7 1.614s false(reach) 232.765s 226.160s zeus07 927752192 225.406s 0.100s 4 54.796s
eca-rers2012/Problem10_label58_false-unreach-call.c false(reach) 22.393s 16.278s zeus09 976355328 15.102s 0.409s false(reach) 30.261s 21.473s zeus22 814731264 20.408s 0.437s 7 1.761s false(reach) 62.528s 50.208s 2147536896 zeus13 49.005s 0.703s 10 2.341s false(reach) 30.325s 21.078s zeus08 1279340544 19.722s 0.436s 7 1.759s false(reach) 478.186s 471.350s zeus23 931012608 470.536s 0.128s 4 63.279s
eca-rers2012/Problem11_label00_false-unreach-call.c false(reach) 26.500s 19.533s zeus08 1313148928 18.345s 0.443s false(reach) 35.711s 26.657s zeus18 1320792064 25.528s 0.578s 9 2.020s false(reach) 118.456s 101.008s 4034125824 zeus16 99.050s 1.773s 10 4.297s false(reach) 39.328s 29.320s zeus13 1336885248 28.008s 0.699s 9 2.143s timeout 901.826s 893.299s zeus15 1265471488 892.618s 0.124s 4 12.099s
eca-rers2012/Problem11_label08_false-unreach-call.c false(reach) 22.121s 14.982s zeus22 710496256 13.924s 0.374s false(reach) 27.897s 19.305s zeus14 1239371776 18.350s 0.397s 8 2.117s false(reach) 64.066s 50.817s 2388340736 zeus11 49.801s 0.811s 10 2.601s false(reach) 30.877s 20.713s zeus11 776794112 19.476s 0.425s 8 1.883s false(reach) 252.869s 245.524s zeus10 1373876224 244.837s 0.094s 4 204.605s
eca-rers2012/Problem11_label14_false-unreach-call.c false(reach) 17.084s 10.454s zeus18 644993024 9.400s 0.247s false(reach) 22.458s 13.995s zeus13 682627072 13.097s 0.341s 9 1.417s false(reach) 50.944s 38.059s 1302913024 zeus22 37.182s 0.566s 10 2.392s false(reach) 24.303s 14.860s zeus05 676515840 13.508s 0.344s 9 1.526s false(reach) 499.632s 491.643s zeus20 1359970304 490.981s 0.074s 4 198.429s
eca-rers2012/Problem11_label15_false-unreach-call.c false(reach) 22.073s 14.576s zeus09 708091904 13.580s 0.299s false(reach) 31.120s 21.553s zeus24 1225900032 20.465s 0.431s 8 2.402s false(reach) 59.748s 45.981s 2349424640 zeus24 44.657s 0.681s 10 2.137s false(reach) 32.420s 22.367s zeus21 1232093184 21.386s 0.661s 8 2.122s false(reach) 430.121s 422.750s zeus10 1373073408 422.062s 0.090s 4 210.184s
eca-rers2012/Problem11_label20_false-unreach-call.c false(reach) 39.741s 31.724s zeus18 1493655552 30.301s 0.727s false(reach) 54.050s 43.474s zeus24 2401353728 42.119s 1.057s 8 2.140s false(reach) 212.666s 192.056s 4310462464 zeus04 190.659s 2.993s 11 6.117s false(reach) 56.785s 44.542s zeus13 2413973504 42.883s 1.032s 8 2.260s timeout 901.931s 892.878s zeus18 1331978240 892.168s 0.134s 4 11.866s
eca-rers2012/Problem11_label29_false-unreach-call.c false(reach) 18.048s 11.253s zeus23 646406144 10.208s 0.260s false(reach) 23.781s 15.315s zeus03 669929472 14.290s 0.326s 9 1.753s false(reach) 42.863s 31.279s 1300783104 zeus21 30.372s 0.506s 10 2.872s false(reach) 24.838s 15.762s zeus17 672632832 14.415s 0.312s 9 1.598s false(reach) 305.607s 297.768s zeus17 1369100288 297.086s 0.069s 4 181.856s
eca-rers2012/Problem11_label31_false-unreach-call.c false(reach) 29.154s 21.384s zeus05 1318604800 20.161s 0.460s false(reach) 38.026s 28.413s zeus12 1342115840 27.218s 0.758s 9 2.022s false(reach) 114.090s 98.339s 3655086080 zeus12 97.112s 1.620s 10 3.923s false(reach) 37.488s 27.469s zeus04 1344905216 26.348s 0.648s 9 1.898s timeout 902.304s 892.076s zeus01 1844953088 891.365s 0.128s 5 202.397s
eca-rers2012/Problem11_label34_false-unreach-call.c false(reach) 28.217s 20.632s zeus24 1315135488 19.349s 0.466s false(reach) 35.028s 26.251s zeus07 1404243968 25.125s 0.674s 9 1.596s false(reach) 108.126s 92.504s 3612389376 zeus19 91.260s 1.491s 10 3.518s false(reach) 37.253s 27.066s zeus09 1406574592 25.637s 0.638s 9 1.896s timeout 901.850s 893.997s zeus24 1285431296 893.316s 0.105s 4 13.024s
eca-rers2012/Problem11_label36_false-unreach-call.c false(reach) 20.060s 13.279s zeus05 709410816 12.350s 0.298s false(reach) 29.791s 20.697s zeus02 1224994816 19.779s 0.525s 9 1.918s false(reach) 65.312s 51.297s 1308360704 zeus24 50.147s 0.910s 9 2.714s false(reach) 29.060s 19.724s zeus23 732057600 18.776s 0.504s 9 1.619s false(reach) 274.075s 266.346s zeus14 1365458944 265.675s 0.102s 4 196.556s
eca-rers2012/Problem11_label39_false-unreach-call.c false(reach) 35.169s 27.501s zeus03 1464819712 26.163s 0.631s false(reach) 56.968s 46.674s zeus11 2678263808 45.431s 1.121s 9 2.488s false(reach) 227.672s 206.073s 4322930688 zeus15 204.593s 3.560s 11 6.936s false(reach) 54.000s 43.082s zeus14 2588459008 41.323s 1.030s 9 2.534s timeout 902.009s 892.059s zeus13 1346211840 891.358s 0.114s 4 12.280s
eca-rers2012/Problem11_label42_false-unreach-call.c false(reach) 16.926s 10.290s zeus05 641073152 9.162s 0.208s false(reach) 31.237s 21.678s zeus15 710053888 20.343s 0.478s 9 2.101s false(reach) 54.691s 40.424s 1363419136 zeus01 39.544s 0.634s 10 2.460s false(reach) 25.485s 16.251s zeus04 695222272 15.110s 0.337s 9 2.083s false(reach) 506.772s 498.614s zeus17 1383600128 497.933s 0.085s 4 202.839s
eca-rers2012/Problem11_label43_false-unreach-call.c false(reach) 19.809s 13.038s zeus09 709918720 12.093s 0.300s false(reach) 25.607s 17.483s zeus21 699830272 16.526s 0.332s 8 2.089s false(reach) 61.208s 48.753s 2354581504 zeus02 47.832s 0.719s 10 2.264s false(reach) 27.480s 18.213s zeus13 690700288 17.228s 0.595s 8 1.615s false(reach) 319.021s 311.678s zeus07 1370202112 310.954s 0.077s 4 192.711s
eca-rers2012/Problem11_label49_false-unreach-call.c false(reach) 18.359s 11.329s zeus07 644628480 10.355s 0.261s false(reach) 23.428s 15.329s zeus13 667435008 14.428s 0.340s 9 1.619s false(reach) 41.472s 29.365s 1240178688 zeus15 28.423s 0.492s 9 2.130s false(reach) 24.052s 15.115s zeus16 673329152 14.147s 0.308s 9 1.539s false(reach) 314.109s 306.304s zeus02 1393655808 305.619s 0.093s 4 191.963s
eca-rers2012/Problem11_label51_false-unreach-call.c false(reach) 21.436s 14.391s zeus07 708067328 13.241s 0.310s false(reach) 28.537s 19.114s zeus14 769957888 18.068s 0.446s 9 1.991s false(reach) 47.211s 35.297s 1350283264 zeus13 34.298s 0.553s 10 2.981s false(reach) 31.085s 20.957s zeus01 1251147776 19.722s 0.531s 9 1.774s false(reach) 376.878s 368.301s zeus22 1383522304 367.580s 0.080s 4 205.043s
eca-rers2012/Problem11_label58_false-unreach-call.c false(reach) 19.104s 12.245s zeus12 643760128 11.248s 0.269s false(reach) 24.796s 16.959s zeus10 977424384 16.010s 0.377s 8 1.906s false(reach) 62.832s 49.306s 1722097664 zeus03 48.327s 0.770s 10 2.841s false(reach) 25.415s 17.183s zeus03 973053952 16.155s 0.371s 8 1.796s false(reach) 303.879s 296.294s zeus19 1368133632 295.590s 0.113s 4 193.084s
eca-rers2012/Problem12_label00_false-unreach-call.c false(reach) 244.457s 206.664s zeus22 5306757120 203.161s 5.244s timeout 909.282s 776.531s zeus23 9223307264 769.358s 33.162s 6 7.552s timeout 902.191s 760.470s 6546722816 zeus11 759.046s 11.123s 8 29.150s timeout 1183.223s 910.041s zeus01 9546756096 904.339s 67.185s 6 7.783s timeout 905.393s 888.641s zeus12 3849867264 887.380s 0.192s 3 30.522s
eca-rers2012/Problem12_label03_false-unreach-call.c false(reach) 100.549s 86.626s zeus19 4068519936 83.856s 2.400s timeout 908.345s 767.872s zeus21 9046089728 761.319s 21.368s 6 7.162s timeout 903.562s 785.539s 6130130944 zeus16 782.593s 13.361s 9 32.401s timeout 907.136s 736.388s zeus22 9103040512 730.455s 19.995s 6 6.840s timeout 904.982s 888.051s zeus19 3857051648 887.006s 0.193s 3 30.354s
eca-rers2012/Problem12_label06_false-unreach-call.c false(reach) 249.383s 213.018s zeus13 5303984128 209.411s 5.474s timeout 907.952s 734.685s zeus10 8855613440 728.276s 16.498s 6 7.323s timeout 903.137s 812.828s 6912757760 zeus08 810.286s 14.767s 9 34.898s timeout 906.426s 749.058s zeus08 9123872768 743.745s 18.345s 6 7.274s timeout 904.696s 886.650s zeus08 3818917888 885.766s 0.187s 3 27.574s
eca-rers2012/Problem12_label07_false-unreach-call.c false(reach) 346.138s 291.775s zeus11 5577748480 286.305s 7.138s timeout 905.434s 771.438s zeus08 8677298176 766.645s 17.850s 6 24.657s timeout 905.237s 786.113s 7393546240 zeus23 781.396s 14.133s 6 10.858s timeout 905.257s 767.382s zeus10 8579588096 762.500s 22.092s 6 24.564s timeout 905.344s 888.805s zeus13 3835875328 887.568s 0.229s 3 33.354s
eca-rers2012/Problem12_label08_false-unreach-call.c false(reach) 574.961s 523.299s zeus20 5287034880 517.501s 17.958s timeout 907.109s 724.945s zeus06 8626409472 719.883s 20.628s 6 5.226s timeout 928.314s 794.583s 6584819712 zeus10 791.089s 11.873s 7 14.971s timeout 907.043s 698.781s zeus05 8119689216 693.151s 15.979s 6 4.994s timeout 904.863s 889.083s zeus18 3849084928 888.012s 0.209s 3 50.046s
eca-rers2012/Problem12_label10_false-unreach-call.c false(reach) 234.275s 193.116s zeus12 4943319040 189.247s 4.695s timeout 905.744s 775.076s zeus02 9061994496 769.814s 18.794s 6 23.000s timeout 903.931s 787.932s 8291217408 zeus10 784.910s 23.843s 7 21.890s timeout 910.145s 741.889s zeus22 8124555264 734.839s 17.478s 6 23.410s timeout 904.928s 889.662s zeus06 3861684224 888.593s 0.222s 3 35.257s
eca-rers2012/Problem12_label13_false-unreach-call.c false(reach) 264.380s 224.768s zeus23 5299671040 220.252s 5.549s timeout 905.499s 758.782s zeus08 8438677504 753.621s 18.074s 6 9.028s timeout 949.879s 824.277s 7571525632 zeus12 797.286s 12.376s 7 15.564s timeout 1047.420s 823.576s zeus02 9163362304 814.597s 19.851s 6 8.367s timeout 904.931s 888.139s zeus02 3849355264 887.184s 0.241s 3 28.867s
eca-rers2012/Problem12_label19_false-unreach-call.c false(reach) 265.997s 220.751s zeus23 5296197632 217.399s 5.861s timeout 908.806s 747.502s zeus09 8734769152 740.848s 40.371s 6 8.157s timeout 903.585s 792.706s 7352430592 zeus12 789.773s 14.846s 8 29.502s timeout 981.257s 788.456s zeus15 8971849728 783.049s 18.603s 6 7.771s timeout 904.787s 889.245s zeus04 3854938112 888.283s 0.178s 3 28.725s
eca-rers2012/Problem12_label20_false-unreach-call.c false(reach) 224.274s 185.706s zeus13 4949118976 182.734s 5.733s timeout 906.109s 812.788s zeus20 6721339392 809.242s 32.549s 6 14.286s timeout 976.945s 803.396s 8917172224 zeus24 797.108s 14.474s 6 8.462s timeout 905.524s 778.621s zeus23 8900423680 773.621s 20.745s 6 12.797s timeout 904.153s 888.219s zeus03 3808690176 887.214s 0.198s 3 28.427s
eca-rers2012/Problem12_label21_false-unreach-call.c false(reach) 334.785s 296.656s zeus15 5311397888 292.852s 8.247s timeout 918.507s 805.667s zeus02 7262658560 801.684s 24.436s 6 8.136s timeout 902.587s 808.050s 7048146944 zeus23 805.809s 23.966s 9 34.110s timeout 905.977s 751.329s zeus19 8828837888 745.900s 17.019s 6 7.707s timeout 904.501s 886.395s zeus20 3838791680 885.398s 0.212s 3 27.388s
eca-rers2012/Problem12_label25_false-unreach-call.c false(reach) 113.072s 98.581s zeus17 4181258240 95.538s 3.408s timeout 906.992s 734.732s zeus10 9236918272 728.807s 18.254s 6 6.662s timeout 908.358s 798.367s 7734214656 zeus22 791.768s 13.137s 8 19.336s timeout 906.594s 708.077s zeus06 8399806464 702.564s 15.400s 6 6.528s timeout 904.782s 888.880s zeus07 3845230592 887.823s 0.211s 3 31.080s
eca-rers2012/Problem12_label28_false-unreach-call.c false(reach) 121.893s 105.630s zeus17 4336754688 101.636s 2.768s timeout 1055.902s 896.695s zeus02 7426125824 816.355s 26.414s 6 7.446s timeout 903.711s 830.607s 6005673984 zeus16 827.464s 15.868s 10 35.930s timeout 905.505s 707.822s zeus24 7495958528 703.419s 15.760s 6 6.558s timeout 904.910s 888.605s zeus10 3825020928 887.569s 0.234s 3 29.067s
eca-rers2012/Problem12_label30_false-unreach-call.c false(reach) 210.588s 169.625s zeus23 4943040512 166.577s 4.016s timeout 908.258s 776.059s zeus18 8480829440 769.482s 20.549s 6 12.412s timeout 936.683s 777.078s 6724153344 zeus14 773.828s 16.671s 7 17.721s