Tool CPAchecker 1.4-svn 17223M
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 2
Host [zeus01; zeus02; zeus03; zeus04; zeus05; zeus06; zeus07; zeus08; zeus09; zeus10; zeus11; zeus12; zeus13; zeus14; zeus15; zeus16; zeus17; zeus18; zeus19; zeus20; zeus21; zeus22; zeus23; zeus24]
OS Linux 3.13.0-55-generic
System CPU: Intel Xeon E5-2650 v2 @ 2.60 GHz with 32 cores, frequency: 2.6 GHz; RAM: 135 GB
Date of execution 2015-07-05 11:33:48 CEST
Run set random length-short domain-good-short domain-precise-good-short domain-good-long domain-precise-good-long domain-good-width-narrow-short assignments-fewest-short assignments-fewest-long assumptions-fewest-short assumptions-fewest-long assumptions-most-short assumptions-most-long pivot-shallow-short pivot-shallow-long pivot-deep-short pivot-deep-long
Options -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=RANDOM -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=LENGTH_SHORT -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 -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_PRECISE_GOOD_SHORT -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_LONG -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_PRECISE_GOOD_LONG -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_WIDTH_NARROW_SHORT -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=ASSIGNMENTS_FEWEST_SHORT -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=ASSIGNMENTS_FEWEST_LONG -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=ASSUMPTIONS_FEWEST_SHORT -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=ASSUMPTIONS_FEWEST_LONG -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=ASSUMPTIONS_MOST_SHORT -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=ASSUMPTIONS_MOST_LONG -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=PIVOT_SHALLOW_SHORT -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=PIVOT_SHALLOW_LONG -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=PIVOT_DEEP_SHORT -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=PIVOT_DEEP_LONG
../svcomp15/ status cputime walltime host memUsage 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 status cputime walltime host memUsage 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 status cputime walltime host memUsage 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 status cputime walltime host memUsage 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 status cputime walltime host memUsage 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 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) 182.516s 170.223s zeus06 3652313088 169.503s 0.546s 10 51.423s false(reach) 191.247s 177.997s zeus14 3658399744 177.326s 0.491s 10 54.105s false(reach) 194.318s 182.201s zeus06 3651993600 181.511s 0.516s 10 59.125s false(reach) 180.495s 168.283s zeus10 3646201856 167.589s 0.565s 10 52.358s false(reach) 166.983s 155.360s zeus14 3633508352 154.661s 0.581s 8 50.033s false(reach) 189.556s 176.995s zeus04 3654561792 176.267s 0.516s 10 55.492s false(reach) 190.225s 177.809s zeus05 3657871360 177.126s 0.527s 10 55.124s false(reach) 191.058s 178.588s zeus17 3645337600 177.880s 0.546s 11 57.912s false(reach) 177.030s 164.915s zeus18 3638538240 164.192s 0.604s 8 57.320s false(reach) 193.760s 181.680s zeus04 3643199488 180.961s 0.582s 11 57.709s false(reach) 181.651s 169.647s zeus19 3637018624 168.927s 0.613s 8 59.750s false(reach) 185.180s 172.924s zeus03 3662684160 172.238s 0.524s 10 53.122s false(reach) 169.797s 157.903s zeus24 3626057728 157.202s 0.561s 7 53.028s false(reach) 184.846s 172.852s zeus08 3658993664 172.112s 0.606s 10 53.676s false(reach) 187.285s 174.649s zeus04 3652157440 173.929s 0.519s 10 52.685s false(reach) 172.354s 160.675s zeus17 3631808512 159.960s 0.608s 8 51.104s false(reach) 169.436s 157.791s zeus13 3636961280 157.109s 0.626s 8 54.924s
bitvector/byte_add_1_true-unreach-call.i true 167.265s 155.615s zeus09 3458932736 154.979s 0.401s 13 126.031s true 196.404s 182.581s zeus10 3460149248 181.857s 0.434s 13 149.095s true 168.010s 156.347s zeus09 3459149824 155.742s 0.377s 13 128.152s true 161.972s 149.387s zeus14 3455897600 148.761s 0.385s 13 121.520s true 311.539s 298.729s zeus21 3654864896 298.121s 0.920s 16 112.200s true 159.740s 147.935s zeus04 3459043328 147.325s 0.352s 13 119.660s true 161.130s 148.491s zeus08 3462483968 147.890s 0.372s 13 119.283s true 161.338s 150.100s zeus04 3453415424 149.481s 0.401s 14 120.415s true 327.930s 315.356s zeus22 3648733184 314.746s 0.835s 16 124.686s true 162.281s 150.767s zeus19 3457642496 150.156s 0.404s 14 121.325s true 342.138s 328.854s zeus04 3650646016 328.230s 0.934s 16 130.449s true 261.440s 248.195s zeus18 3652538368 247.567s 0.554s 16 128.025s true 330.160s 316.488s zeus04 3670986752 315.870s 0.859s 15 122.557s true 164.743s 152.788s zeus19 3462799360 152.144s 0.383s 13 125.443s true 202.600s 188.472s zeus18 3494555648 187.668s 0.475s 15 144.149s true 243.308s 231.298s zeus05 3634466816 230.653s 0.600s 14 120.925s true 329.087s 316.377s zeus09 3668180992 315.746s 0.892s 16 118.753s
bitvector/byte_add_2_true-unreach-call.i true 165.485s 153.345s zeus01 3495948288 152.675s 0.512s 13 124.057s true 260.405s 246.837s zeus19 3655004160 246.240s 0.551s 16 126.014s true 255.211s 242.181s zeus05 3661783040 241.567s 0.537s 16 125.271s true 302.549s 286.816s zeus20 3645558784 285.979s 1.104s 16 139.511s true 181.257s 169.836s zeus16 3545989120 169.194s 0.437s 16 129.164s true 265.676s 252.839s zeus13 3657109504 252.226s 0.664s 16 130.513s true 252.701s 240.029s zeus01 3653861376 239.425s 0.552s 16 124.579s true 273.856s 260.893s zeus21 3644727296 260.291s 0.566s 17 133.979s true 195.235s 184.016s zeus04 3465330688 183.378s 0.474s 16 141.897s true 263.750s 251.242s zeus22 3647565824 250.634s 0.567s 17 131.439s true 178.466s 166.900s zeus06 3542360064 166.251s 0.409s 16 125.273s true 276.722s 263.953s zeus13 3664273408 263.357s 0.505s 16 139.702s true 347.588s 333.244s zeus22 3655356416 332.606s 0.827s 15 134.879s true 266.122s 253.117s zeus07 3650748416 252.486s 0.547s 16 134.428s true 346.685s 333.717s zeus09 3661639680 333.088s 0.836s 18 120.745s true 232.916s 220.769s zeus08 3630538752 220.151s 0.562s 14 116.498s true 330.139s 316.946s zeus18 3667935232 316.305s 0.966s 16 123.376s
bitvector/gcd_1_true-unreach-call.i timeout 902.005s 886.302s zeus03 3589390336 885.093s 1.088s 1 1.125s timeout 901.400s 885.618s zeus15 3604205568 884.470s 1.109s 1 0.988s timeout 901.690s 886.909s zeus19 3593211904 885.954s 1.010s 1 0.966s timeout 901.714s 886.813s zeus18 3721662464 885.884s 0.822s 1 1.038s timeout 901.800s 886.379s zeus18 3604635648 885.409s 0.940s 1 1.072s timeout 901.845s 885.724s zeus20 3725541376 884.701s 1.058s 1 1.028s timeout 901.957s 886.213s zeus02 3597373440 885.032s 1.121s 1 1.037s timeout 901.651s 886.853s zeus19 3601260544 885.906s 0.868s 1 1.099s timeout 901.717s 886.945s zeus13 3602542592 886.040s 0.951s 1 1.095s timeout 901.670s 886.705s zeus09 3608506368 885.802s 0.873s 1 0.991s timeout 901.820s 887.589s zeus03 3588321280 886.530s 1.097s 1 1.029s timeout 901.295s 886.314s zeus01 3595169792 885.367s 0.869s 1 0.937s timeout 901.418s 885.435s zeus03 3602497536 884.393s 1.075s 1 1.002s timeout 901.694s 886.597s zeus14 3593433088 885.653s 0.859s 1 0.971s timeout 901.607s 887.180s zeus09 3600158720 886.247s 0.898s 1 0.983s timeout 901.532s 885.927s zeus03 3587977216 884.840s 1.274s 1 1.012s timeout 901.572s 886.877s zeus03 3717640192 885.978s 0.865s 1 0.993s
bitvector/gcd_2_true-unreach-call.i timeout 901.349s 886.438s zeus21 3597099008 885.507s 0.925s 1 0.196s timeout 901.305s 886.476s zeus18 3596210176 885.526s 0.972s 1 0.202s timeout 901.721s 886.883s zeus06 3581894656 885.936s 0.973s 1 0.208s timeout 901.640s 887.098s zeus21 3582369792 886.182s 0.860s 1 0.207s timeout 901.763s 887.352s zeus17 3594612736 886.417s 0.915s 1 0.195s timeout 901.650s 886.559s zeus16 3598233600 885.617s 0.863s 1 0.206s timeout 901.699s 886.403s zeus06 3589922816 885.487s 0.878s 1 0.192s timeout 901.706s 886.721s zeus11 3608317952 885.806s 0.844s 1 0.195s timeout 901.393s 885.187s zeus02 3602178048 884.156s 1.033s 1 0.226s timeout 901.769s 886.536s zeus23 3596689408 885.599s 0.934s 1 0.211s timeout 901.207s 886.137s zeus24 3588153344 885.238s 0.875s 1 0.196s timeout 901.795s 886.363s zeus08 3586912256 885.438s 0.948s 1 0.208s timeout 901.699s 886.527s zeus07 3727310848 885.555s 0.968s 1 0.209s timeout 901.298s 886.485s zeus24 3596947456 885.560s 1.060s 1 0.207s timeout 901.324s 886.041s zeus04 3718946816 885.059s 0.875s 1 0.216s timeout 901.711s 886.327s zeus18 3604856832 885.392s 0.820s 1 0.197s timeout 901.773s 886.497s zeus06 3723169792 885.557s 0.886s 1 0.205s
bitvector/gcd_3_true-unreach-call.i timeout 901.698s 889.348s zeus11 3572822016 888.422s 0.867s 1 0.139s timeout 901.634s 889.735s zeus05 3569614848 888.757s 0.806s 1 0.136s timeout 901.531s 889.513s zeus01 3576045568 888.580s 0.880s 1 0.140s timeout 901.551s 890.065s zeus11 3591241728 889.134s 0.766s 1 0.140s timeout 901.579s 889.538s zeus20 3578310656 888.598s 0.870s 1 0.145s timeout 901.680s 889.292s zeus16 3581853696 888.361s 0.705s 1 0.137s timeout 901.672s 889.628s zeus09 3582066688 888.689s 0.833s 1 0.139s timeout 901.733s 889.533s zeus11 3587014656 888.588s 0.785s 1 0.138s timeout 901.617s 889.436s zeus07 3575148544 888.500s 0.734s 1 0.133s timeout 901.540s 889.330s zeus07 3583451136 888.377s 0.768s 1 0.141s timeout 901.572s 889.874s zeus21 3582132224 888.931s 0.868s 1 0.139s timeout 901.602s 889.518s zeus23 3585294336 888.583s 0.834s 1 0.137s timeout 901.922s 888.598s zeus15 3575902208 887.481s 0.931s 1 0.147s timeout 901.618s 889.191s zeus17 3583426560 888.230s 0.919s 1 0.139s timeout 901.984s 888.661s zeus02 3578241024 887.507s 1.070s 1 0.155s timeout 901.641s 889.331s zeus01 3575934976 888.369s 0.852s 1 0.145s timeout 901.530s 889.382s zeus16 3582058496 888.439s 0.944s 1 0.139s
bitvector/gcd_4_true-unreach-call.i timeout 901.825s 886.673s zeus13 3596554240 885.706s 0.876s 1 0.057s timeout 901.764s 887.012s zeus21 3597553664 886.020s 0.852s 1 0.057s timeout 901.683s 887.233s zeus01 3590963200 886.268s 0.880s 1 0.058s timeout 901.867s 884.251s zeus20 3625631744 882.883s 1.090s 1 0.080s timeout 901.784s 886.563s zeus18 3605397504 885.597s 0.923s 1 0.057s timeout 901.814s 885.408s zeus04 3620978688 884.367s 0.690s 1 0.065s timeout 901.777s 885.416s zeus23 3620012032 884.462s 0.907s 1 0.058s timeout 901.772s 886.047s zeus17 3608915968 885.092s 0.821s 1 0.057s timeout 901.725s 887.348s zeus23 3596886016 886.380s 1.013s 1 0.057s timeout 901.753s 887.034s zeus08 3592708096 886.067s 0.927s 1 0.057s timeout 901.782s 887.210s zeus14 3608539136 886.210s 0.856s 1 0.057s timeout 901.780s 888.503s zeus17 3608596480 887.530s 0.986s 1 0.261s timeout 901.578s 889.314s zeus12 3607183360 888.339s 0.781s 1 0.251s timeout 901.822s 884.834s zeus20 3617443840 883.596s 1.132s 1 0.062s timeout 901.752s 888.649s zeus17 3601739776 887.689s 0.924s 1 0.256s timeout 901.322s 886.172s zeus17 3596161024 885.194s 0.928s 1 0.057s timeout 901.607s 888.884s zeus11 3608096768 887.896s 0.965s 1 0.255s
bitvector/interleave_bits_true-unreach-call.i true 16.066s 12.786s zeus22 821686272 12.179s 0.001s 2 10.456s true 15.825s 12.550s zeus12 811356160 11.984s 0.007s 2 10.384s true 16.030s 12.658s zeus08 814780416 12.075s 0.005s 2 10.407s true 16.143s 12.835s zeus11 808275968 12.240s 0.010s 2 10.566s true 17.211s 13.525s zeus15 814718976 12.759s 0.013s 2 10.659s true 18.078s 14.278s zeus03 813109248 13.411s 0.011s 2 11.170s true 16.276s 12.864s zeus23 815886336 12.254s 0.004s 2 10.508s true 16.296s 12.797s zeus22 816480256 12.213s 0.001s 2 10.523s true 16.210s 12.900s zeus12 814153728 12.302s 0.006s 2 10.577s true 16.576s 13.201s zeus22 817528832 12.596s 0.006s 2 10.873s true 16.159s 12.771s zeus23 812064768 12.177s 0.005s 2 10.518s true 16.264s 12.846s zeus21 807649280 12.263s 0.008s 2 10.494s true 16.228s 12.853s zeus08 813948928 12.260s 0.005s 2 10.572s true 16.402s 12.976s zeus17 811339776 12.373s 0.005s 2 10.626s true 16.418s 12.993s zeus21 812478464 12.398s 0.004s 2 10.705s true 16.268s 12.892s zeus18 818798592 12.287s 0.007s 2 10.641s true 16.299s 12.934s zeus21 805580800 12.346s 0.007s 2 10.674s
bitvector/jain_1_true-unreach-call.i timeout 901.471s 892.401s zeus02 3437203456 891.546s 0.172s 1 0.085s timeout 901.707s 893.478s zeus14 3435851776 892.809s 0.141s 1 0.076s timeout 901.319s 892.607s zeus12 3436883968 891.934s 0.133s 1 0.088s timeout 901.816s 892.976s zeus10 3547496448 892.306s 0.156s 1 0.081s timeout 900.876s 892.086s zeus18 3547344896 891.403s 0.129s 1 0.079s timeout 901.068s 892.701s zeus19 3422752768 892.011s 0.147s 1 0.077s timeout 902.311s 893.343s zeus20 3436740608 892.453s 0.171s 1 0.093s timeout 901.134s 893.191s zeus16 3437793280 892.532s 0.143s 1 0.074s timeout 900.883s 892.465s zeus24 3437760512 891.804s 0.141s 1 0.073s timeout 901.823s 892.397s zeus22 2239115264 891.726s 0.156s 1 0.078s timeout 901.683s 893.208s zeus19 3437105152 892.540s 0.149s 1 0.078s timeout 901.293s 893.023s zeus11 3424505856 892.344s 0.160s 1 0.079s timeout 900.957s 892.772s zeus10 3435307008 892.116s 0.132s 1 0.075s timeout 901.005s 892.473s zeus17 3539255296 891.811s 0.155s 1 0.077s timeout 901.321s 893.149s zeus21 3418554368 892.506s 0.132s 1 0.073s timeout 902.082s 893.820s zeus14 3422773248 893.102s 0.142s 1 0.085s timeout 901.674s 893.881s zeus22 3440074752 893.194s 0.149s 1 0.077s
bitvector/jain_2_true-unreach-call.i timeout 901.694s 891.833s zeus03 3443576832 891.037s 0.139s 1 0.178s timeout 900.923s 891.750s zeus16 3544567808 891.074s 0.154s 1 0.175s timeout 900.953s 891.605s zeus17 3437416448 890.945s 0.155s 1 0.172s timeout 900.952s 891.878s zeus10 3440586752 891.223s 0.153s 1 0.173s timeout 900.871s 892.308s zeus04 3545092096 891.653s 0.134s 1 0.168s timeout 901.885s 892.234s zeus03 3548794880 891.383s 0.135s 1 0.187s timeout 900.981s 891.624s zeus22 3437457408 890.968s 0.128s 1 0.169s timeout 901.052s 891.675s zeus09 3438755840 890.963s 0.124s 1 0.166s timeout 901.430s 892.512s zeus10 3546005504 891.857s 0.155s 1 0.169s timeout 900.967s 891.499s zeus12 3443580928 890.856s 0.143s 1 0.174s timeout 901.340s 892.248s zeus10 3440517120 891.599s 0.123s 1 0.168s timeout 901.920s 893.034s zeus17 3437637632 892.383s 0.136s 1 0.174s timeout 901.015s 891.308s zeus09 3439984640 890.635s 0.130s 1 0.171s timeout 900.999s 891.375s zeus20 3543154688 890.711s 0.138s 1 0.172s timeout 901.215s 891.474s zeus03 3542405120 890.606s 0.159s 1 0.175s timeout 900.989s 891.475s zeus22 3439091712 890.784s 0.116s 1 0.163s timeout 901.772s 893.218s zeus12 3436523520 892.577s 0.135s 1 0.170s
bitvector/jain_4_true-unreach-call.i timeout 900.903s 891.718s zeus11 3545759744 891.072s 0.135s 1 0.340s timeout 901.062s 892.528s zeus17 3442241536 891.875s 0.125s 1 0.342s timeout 900.895s 891.880s zeus10 3544563712 891.231s 0.133s 1 0.329s timeout 900.953s 891.861s zeus01 3549372416 891.163s 0.121s 1 0.349s timeout 901.285s 891.587s zeus02 3549691904 890.710s 0.148s 1 0.398s timeout 900.978s 891.408s zeus12 3439247360 890.752s 0.152s 1 0.350s timeout 901.084s 891.267s zeus15 3443449856 890.492s 0.161s 1 0.349s timeout 900.865s 892.022s zeus13 3438297088 891.368s 0.123s 1 0.343s timeout 900.875s 891.753s zeus04 3545878528 891.114s 0.118s 1 0.338s timeout 901.842s 893.107s zeus11 3545133056 892.448s 0.124s 1 0.343s timeout 900.908s 891.947s zeus07 3441557504 891.282s 0.131s 1 0.344s timeout 901.226s 890.995s zeus15 3439640576 890.123s 0.157s 1 0.383s timeout 901.240s 891.589s zeus20 3545604096 890.803s 0.121s 1 0.366s timeout 900.974s 891.753s zeus07 3547963392 891.075s 0.112s 1 0.337s timeout 900.883s 891.734s zeus09 3542581248 891.092s 0.129s 1 0.344s timeout 900.866s 891.976s zeus22 3544104960 891.323s 0.105s 1 0.341s timeout 901.162s 891.575s zeus16 3542835200 890.929s 0.139s 1 0.350s
bitvector/jain_5_true-unreach-call.i timeout 901.744s 888.545s zeus21 3629633536 887.440s 1.074s 1 0.052s timeout 901.836s 889.065s zeus04 3624747008 887.948s 0.964s 1 0.052s timeout 901.817s 888.622s zeus05 3644190720 887.475s 1.032s 1 0.053s timeout 901.499s 888.202s zeus11 3636264960 887.039s 1.022s 1 0.054s timeout 901.981s 888.191s zeus20 3615031296 886.967s 1.224s 1 0.064s timeout 901.820s 888.022s zeus11 3632340992 886.893s 0.945s 1 0.057s timeout 901.507s 887.969s zeus07 3628179456 886.821s 1.051s 1 0.056s timeout 901.969s 887.868s zeus22 3629076480 886.676s 0.954s 1 0.060s timeout 901.594s 887.815s zeus02 3625345024 886.621s 1.254s 1 0.067s timeout 902.122s 888.700s zeus11 3633467392 887.500s 1.040s 1 0.051s timeout 901.842s 888.808s zeus01 3634634752 887.703s 0.970s 1 0.052s timeout 901.873s 888.749s zeus09 3614679040 887.644s 1.037s 1 0.054s timeout 901.719s 888.699s zeus05 3622219776 887.617s 1.114s 1 0.051s timeout 901.763s 889.126s zeus09 3622711296 888.041s 0.992s 1 0.053s timeout 901.426s 888.498s zeus13 3635499008 887.411s 1.108s 1 0.051s timeout 901.662s 887.849s zeus02 3631775744 886.623s 1.345s 1 0.058s timeout 901.888s 886.309s zeus03 3616960512 884.826s 1.625s 1 0.101s
bitvector/jain_6_true-unreach-call.i timeout 900.959s 891.585s zeus18 3548385280 890.939s 0.130s 1 0.354s timeout 901.026s 891.910s zeus10 3544944640 891.260s 0.134s 1 0.345s timeout 900.914s 892.170s zeus16 3547926528 891.506s 0.103s 1 0.354s timeout 901.221s 891.699s zeus23 3547754496 891.041s 0.108s 1 0.356s timeout 900.907s 891.985s zeus05 3544211456 891.353s 0.128s 1 0.343s timeout 900.898s 891.866s zeus17 3545120768 891.215s 0.127s 1 0.351s timeout 900.992s 891.971s zeus17 3545554944 891.280s 0.123s 1 0.342s timeout 900.953s 891.713s zeus10 3547414528 891.082s 0.144s 1 0.338s timeout 900.922s 891.598s zeus17 3545038848 890.957s 0.130s 1 0.348s timeout 901.040s 892.130s zeus04 3438964736 891.486s 0.121s 1 0.350s timeout 901.689s 892.363s zeus16 3542913024 891.663s 0.130s 1 0.372s timeout 901.086s 891.122s zeus02 3441721344 890.382s 0.124s 1 0.374s timeout 900.957s 891.940s zeus06 3546337280 891.271s 0.125s 1 0.360s timeout 901.465s 892.893s zeus19 3436974080 892.252s 0.138s 1 0.349s timeout 901.111s 891.994s zeus06 3541893120 891.339s 0.141s 1 0.351s timeout 900.936s 891.707s zeus14 3442577408 891.064s 0.121s 1 0.351s timeout 901.833s 892.114s zeus20 3540869120 891.276s 0.146s 1 0.379s
bitvector/jain_7_true-unreach-call.i timeout 901.190s 891.875s zeus15 3438837760 891.019s 0.143s 1 0.369s timeout 900.957s 891.924s zeus01 3434729472 891.281s 0.134s 1 0.344s timeout 900.972s 891.921s zeus13 3548176384 891.286s 0.136s 1 0.352s timeout 900.847s 891.996s zeus10 3544965120 891.353s 0.150s 1 0.359s timeout 901.062s 891.370s zeus03 3543941120 890.607s 0.142s 1 0.361s timeout 901.656s 892.766s zeus09 3546120192 892.083s 0.146s 1 0.355s timeout 900.989s 891.860s zeus08 3542114304 891.215s 0.125s 1 0.343s timeout 901.841s 889.482s zeus03 3551096832 888.142s 0.196s 1 0.577s timeout 900.921s 891.730s zeus23 3539914752 891.071s 0.138s 1 0.349s timeout 900.945s 891.706s zeus18 3546820608 891.013s 0.148s 1 0.370s timeout 900.928s 891.732s zeus17 3545333760 891.088s 0.132s 1 0.356s timeout 900.992s 891.430s zeus06 3541667840 890.769s 0.138s 1 0.348s timeout 900.967s 891.453s zeus16 3541086208 890.785s 0.123s 1 0.372s timeout 900.969s 891.970s zeus05 3543453696 891.342s 0.130s 1 0.356s timeout 901.853s 892.707s zeus13 3435016192 892.064s 0.128s 1 0.349s timeout 901.556s 891.901s zeus15 3540631552 891.156s 0.144s 1 0.347s timeout 900.872s 892.121s zeus05 3544301568 891.491s 0.151s 1 0.338s
bitvector/modulus_true-unreach-call.i exception 43.600s 42.271s zeus07 199630848 - - - - exception 48.206s 46.758s zeus14 194789376 - - - - exception 53.838s 52.463s zeus20 193531904 - - - - exception 49.250s 47.840s zeus13 193896448 - - - - exception 39.898s 38.408s zeus10 201379840 - - - - exception 44.511s 43.269s zeus01 197718016 - - - - exception 40.873s 39.600s zeus10 197120000 - - - - exception 44.477s 43.185s zeus23 200499200 - - - - exception 38.438s 37.078s zeus15 203214848 - - - - exception 46.537s 45.172s zeus17 200515584 - - - - exception 46.481s 45.233s zeus12 192442368 - - - - exception 51.115s 49.750s zeus16 197373952 - - - - exception 49.928s 48.579s zeus14 203436032 - - - - exception 43.691s 42.282s zeus16 196120576 - - - - exception 47.225s 45.948s zeus18 200527872 - - - - exception 49.403s 48.096s zeus01 196333568 - - - - exception 47.426s 46.199s zeus01 195158016 - - - -
bitvector/num_conversion_1_true-unreach-call.i true 4.163s 2.770s zeus23 189136896 2.194s 0.002s 3 0.641s true 4.196s 2.800s zeus21 185991168 2.219s 0.001s 3 0.635s true 4.255s 2.862s zeus19 188317696 2.254s 0.006s 3 0.611s true 4.253s 2.838s zeus13 185679872 2.248s 0.007s 3 0.632s true 5.762s 4.007s zeus15 191401984 3.044s 0.006s 3 0.866s true 4.164s 2.801s zeus10 183599104 2.200s 0.003s 3 0.630s true 4.185s 2.850s zeus12 184467456 2.225s 0.005s 3 0.631s true 4.040s 2.706s zeus07 190455808 2.099s 0.007s 3 0.614s true 4.592s 3.006s zeus11 193527808 2.394s 0.009s 3 0.729s true 4.196s 2.812s zeus22 190164992 2.197s 0.004s 3 0.620s true 4.350s 2.877s zeus04 194510848 2.290s 0.007s 3 0.712s true 4.817s 3.273s zeus03 188616704 2.548s 0.005s 3 0.689s true 4.371s 2.901s zeus07 191401984 2.270s 0.003s 3 0.736s true 4.128s 2.738s zeus11 190889984 2.165s 0.005s 3 0.621s true 4.591s 2.981s zeus04 190251008 2.399s 0.004s 3 0.727s true 4.935s 3.324s zeus02 190599168 2.535s 0.006s 3 0.665s true 4.357s 2.879s zeus07 193089536 2.253s 0.008s 3 0.735s
bitvector/num_conversion_2_true-unreach-call.i true 57.659s 50.531s zeus13 641208320 49.925s 0.102s 4 42.999s true 65.923s 58.678s zeus06 650924032 58.029s 0.127s 4 49.447s true 66.757s 58.330s zeus03 638013440 57.450s 0.166s 4 48.874s true 64.510s 57.071s zeus23 637952000 56.433s 0.146s 4 48.240s true 59.894s 52.677s zeus12 637566976 52.035s 0.112s 4 44.563s true 66.059s 58.752s zeus11 650956800 58.083s 0.122s 4 49.305s true 61.442s 53.500s zeus09 641064960 52.876s 0.129s 4 45.545s true 61.072s 53.663s zeus14 1081188352 53.034s 0.121s 4 45.093s true 65.794s 58.420s zeus19 639123456 57.772s 0.150s 4 49.721s true 60.001s 52.969s zeus05 639913984 52.321s 0.103s 4 44.860s true 67.303s 59.575s zeus15 641409024 58.753s 0.132s 4 49.777s true 62.728s 55.258s zeus11 643559424 54.617s 0.115s 4 46.142s true 64.591s 57.444s zeus08 637808640 56.784s 0.139s 4 48.491s true 66.592s 59.200s zeus08 640983040 58.578s 0.134s 4 49.801s true 66.211s 58.645s zeus11 640794624 58.020s 0.138s 4 49.571s true 58.291s 51.054s zeus07 637485056 50.402s 0.130s 4 43.773s true 61.702s 54.018s zeus02 639672320 53.280s 0.119s 4 45.042s
bitvector/parity_true-unreach-call.i error (1) 911.018s 898.012s zeus17 4950499328 - - - - error (1) 910.846s 898.245s zeus19 4845694976 - - - - error (1) 911.009s 898.239s zeus08 4779859968 - - - - error (1) 911.018s 899.137s zeus06 4830932992 - - - - error (1) 911.082s 899.526s zeus23 4919447552 - - - - error (1) 911.024s 898.920s zeus11 4639961088 - - - - error (1) 911.006s 898.059s zeus07 4644741120 - - - - error (1) 910.836s 897.428s zeus21 4874178560 - - - - error (1) 910.788s 898.225s zeus09 4626059264 - - - - error (1) 911.175s 898.110s zeus08 4573622272 - - - - error (1) 911.035s 898.635s zeus08 4742086656 - - - - error (1) 910.852s 898.865s zeus08 4862361600 - - - - error (1) 910.922s 898.148s zeus07 4840878080 - - - - error (1) 910.936s 897.982s zeus07 5003862016 - - - - error (1) 910.949s 898.778s zeus19 4834164736 - - - - error (1) 911.034s 898.326s zeus19 4865773568 - - - - error (1) 911.023s 899.052s zeus12 4854611968 - - - -
bitvector/sum02_true-unreach-call.i timeout 901.450s 889.880s zeus07 2427699200 889.006s 0.230s 4 0.837s timeout 901.828s 886.426s zeus20 1291677696 885.232s 0.376s 4 0.832s timeout 901.794s 888.690s zeus15 2439548928 887.596s 0.325s 4 0.866s timeout 901.225s 886.863s zeus15 1454759936 886.048s 0.294s 4 0.650s timeout 902.105s 887.119s zeus02 2028527616 885.860s 0.383s 4 0.785s timeout 901.362s 885.627s zeus03 1484537856 884.608s 0.350s 4 0.800s timeout 901.491s 889.979s zeus06 2501341184 889.166s 0.241s 4 0.838s timeout 901.180s 889.544s zeus07 2434129920 888.698s 0.227s 4 0.642s timeout 901.123s 887.071s zeus01 2114957312 886.258s 0.276s 4 0.658s timeout 901.154s 886.953s zeus20 2134032384 886.164s 0.251s 4 0.653s timeout 901.580s 887.330s zeus24 2061959168 886.503s 0.222s 4 0.697s timeout 901.594s 887.766s zeus07 2087272448 886.889s 0.238s 4 0.815s timeout 901.153s 889.007s zeus17 2429538304 888.195s 0.220s 4 0.799s timeout 901.603s 887.044s zeus22 1624248320 886.167s 0.265s 4 0.646s timeout 901.679s 887.238s zeus02 1615564800 886.281s 0.300s 4 0.685s timeout 901.484s 890.054s zeus12 2441490432 889.240s 0.240s 4 0.814s timeout 901.675s 887.895s zeus13 2074775552 887.092s 0.219s 4 0.626s
bitvector/s3_clnt_1_false-unreach-call.BV.c.cil.c false(reach) 9.509s 6.051s zeus22 284356608 5.376s 0.076s 3 1.670s false(reach) 10.319s 6.754s zeus03 283836416 5.978s 0.077s 3 1.675s false(reach) 11.158s 7.422s zeus06 311947264 6.759s 0.112s 3 2.692s false(reach) 11.272s 7.496s zeus07 310312960 6.773s 0.112s 3 2.647s false(reach) 16.493s 11.179s zeus16 470532096 10.515s 0.136s 7 4.688s false(reach) 11.738s 7.794s zeus09 307474432 7.126s 0.103s 3 2.780s false(reach) 11.739s 7.747s zeus17 303714304 7.056s 0.079s 3 2.772s false(reach) 11.298s 7.429s zeus22 314396672 6.757s 0.112s 3 2.596s false(reach) 20.044s 14.301s zeus20 471846912 13.361s 0.169s 7 5.532s false(reach) 11.545s 7.747s zeus02 303960064 7.087s 0.093s 3 2.811s false(reach) 18.574s 12.703s zeus03 476987392 11.803s 0.179s 7 4.917s false(reach) 9.556s 6.117s zeus07 289255424 5.414s 0.068s 3 1.650s false(reach) 9.668s 6.153s zeus16 281341952 5.477s 0.095s 3 1.683s false(reach) 9.697s 6.204s zeus19 281030656 5.535s 0.081s 3 1.648s false(reach) 11.380s 7.637s zeus07 303005696 6.924s 0.098s 3 2.643s false(reach) 9.666s 6.179s zeus09 281243648 5.509s 0.083s 3 1.608s false(reach) 17.261s 12.044s zeus18 476065792 11.356s 0.133s 7 5.079s
bitvector/s3_clnt_2_false-unreach-call.BV.c.cil.c false(reach) 153.627s 142.223s zeus15 3643805696 141.179s 0.972s 4 53.165s false(reach) 137.367s 126.778s zeus06 3650801664 125.857s 0.726s 4 51.228s false(reach) 130.470s 120.476s zeus22 3647500288 119.271s 0.557s 4 46.197s false(reach) 141.879s 131.515s zeus03 3646156800 130.523s 0.752s 4 52.671s false(reach) 227.337s 215.192s zeus13 3866284032 214.192s 0.882s 5 34.398s false(reach) 131.750s 121.513s zeus16 3649744896 120.597s 0.618s 4 49.059s false(reach) 133.168s 122.666s zeus19 3646431232 121.748s 0.564s 4 51.127s false(reach) 132.813s 122.598s zeus17 3644866560 121.683s 0.553s 4 51.030s false(reach) 63.296s 54.862s zeus12 2894520320 53.938s 0.381s 4 15.655s false(reach) 135.809s 125.223s zeus16 3646734336 124.306s 0.597s 4 51.367s false(reach) 62.232s 53.340s zeus14 2417709056 52.416s 0.444s 4 15.257s false(reach) 134.289s 123.663s zeus02 3639709696 122.754s 0.576s 4 50.948s false(reach) 145.188s 132.761s zeus15 3680456704 131.633s 0.850s 4 50.688s false(reach) 201.476s 186.247s zeus15 3676782592 184.809s 1.545s 4 71.379s false(reach) 151.454s 140.336s zeus15 3652059136 139.268s 0.856s 4 54.511s false(reach) 137.596s 126.280s zeus05 3645136896 125.349s 0.608s 4 53.161s false(reach) 250.536s 237.912s zeus07 3952558080 236.932s 1.386s 9 50.188s
bitvector/s3_clnt_3_false-unreach-call.BV.c.cil.c false(reach) 12.996s 8.837s zeus12 390377472 8.172s 0.097s 9 3.455s false(reach) 12.347s 8.270s zeus23 347090944 7.622s 0.089s 8 3.351s false(reach) 12.096s 8.169s zeus12 350027776 7.528s 0.075s 8 3.237s false(reach) 12.064s 8.117s zeus13 347713536 7.464s 0.071s 8 3.285s false(reach) 13.834s 9.515s zeus09 406335488 8.878s 0.102s 10 3.917s false(reach) 11.882s 7.964s zeus14 347721728 7.322s 0.068s 8 3.237s false(reach) 12.102s 8.247s zeus01 351481856 7.535s 0.065s 8 3.170s false(reach) 12.593s 8.575s zeus12 348127232 7.916s 0.092s 8 3.391s false(reach) 13.612s 9.328s zeus18 406523904 8.680s 0.087s 10 3.919s false(reach) 12.075s 8.077s zeus14 351076352 7.440s 0.074s 8 3.263s false(reach) 13.312s 9.031s zeus05 400199680 8.408s 0.092s 10 3.805s false(reach) 12.360s 8.392s zeus12 359096320 7.765s 0.058s 8 3.365s false(reach) 13.819s 9.519s zeus11 415567872 8.891s 0.115s 10 3.961s false(reach) 12.498s 8.474s zeus16 345862144 7.789s 0.074s 8 3.472s false(reach) 12.970s 8.746s zeus12 392970240 8.109s 0.081s 9 3.525s false(reach) 12.938s 8.625s zeus20 341061632 7.860s 0.103s 8 3.121s false(reach) 12.977s 8.797s zeus07 396816384 8.113s 0.095s 10 3.521s
bitvector/s3_clnt_1_true-unreach-call.BV.c.cil.c true 44.674s 35.782s zeus03 1239650304 34.962s 0.325s 7 8.581s true 37.699s 29.943s zeus08 756195328 29.309s 0.266s 6 6.569s timeout 901.969s 885.861s zeus08 3716124672 884.615s 1.365s 6 50.225s timeout 902.023s 886.477s zeus01 3681890304 885.175s 1.350s 6 51.382s timeout 902.004s 886.722s zeus04 3675713536 885.438s 1.444s 10 48.667s timeout 901.941s 886.856s zeus09 3712884736 885.615s 1.506s 6 45.104s timeout 901.657s 885.561s zeus16 3719561216 884.294s 1.418s 6 50.218s timeout 901.841s 886.444s zeus22 3681849344 885.189s 1.365s 6 46.940s timeout 901.461s 886.042s zeus16 3706863616 884.800s 1.392s 10 57.752s timeout 902.028s 886.132s zeus17 3712950272 884.899s 1.421s 6 54.170s timeout 901.597s 885.658s zeus19 3717910528 884.414s 1.328s 6 55.192s true 20.279s 14.396s zeus13 633876480 13.701s 0.154s 4 3.190s true 19.790s 13.986s zeus04 634241024 13.288s 0.152s 4 3.255s timeout 901.525s 886.108s zeus16 3720896512 884.854s 1.371s 6 53.319s timeout 901.607s 885.932s zeus16 3684855808 884.639s 1.348s 6 49.855s true 19.604s 14.194s zeus01 629596160 13.249s 0.160s 4 3.071s true 22.567s 16.390s zeus12 640131072 15.723s 0.194s 7 4.515s
bitvector/s3_clnt_2_true-unreach-call.BV.c.cil.c true 339.130s 323.802s zeus24 3903594496 323.179s 1.560s 11 41.939s true 105.562s 95.082s zeus06 3718930432 94.421s 0.601s 6 6.679s timeout 902.069s 882.789s zeus17 3907330048 881.479s 2.388s 8 93.962s true 270.265s 257.658s zeus04 3895205888 257.024s 1.317s 9 15.138s timeout 901.870s 882.422s zeus20 3868729344 881.005s 2.803s 5 18.422s true 271.320s 258.839s zeus21 3891322880 258.248s 1.119s 9 14.963s timeout 901.465s 882.191s zeus14 3898605568 880.975s 2.268s 8 91.474s timeout 901.597s 882.463s zeus03 3879927808 881.229s 2.393s 8 93.929s timeout 901.783s 881.982s zeus20 3842744320 880.681s 3.354s 8 143.411s timeout 901.478s 882.611s zeus12 3897528320 881.392s 2.741s 8 95.469s timeout 901.639s 883.091s zeus12 3862454272 881.845s 2.184s 8 140.689s true 51.667s 42.642s zeus21 2451259392 41.960s 0.379s 4 3.638s true 52.387s 43.000s zeus06 2456346624 42.315s 0.395s 4 3.977s timeout 901.750s 880.670s zeus07 3887575040 879.312s 2.475s 8 93.723s timeout 901.500s 882.426s zeus16 3914645504 881.201s 2.258s 8 147.060s true 50.620s 41.642s zeus23 2454179840 40.980s 0.358s 4 3.643s true 44.609s 36.190s zeus16 2444390400 35.564s 0.340s 5 3.033s
bitvector/s3_clnt_3_true-unreach-call.BV.c.cil.c timeout 901.836s 884.471s zeus18 4106506240 883.037s 1.684s 3 1.669s timeout 901.676s 885.437s zeus03 4116275200 884.033s 1.602s 2 0.664s timeout 901.794s 883.990s zeus08 3869396992 882.576s 1.607s 2 0.699s timeout 901.713s 884.537s zeus05 3970863104 883.099s 1.796s 2 0.613s timeout 902.162s 884.673s zeus05 4058918912 883.071s 1.662s 4 2.451s timeout 901.804s 884.804s zeus19 4067889152 883.406s 1.560s 2 0.593s timeout 901.738s 884.566s zeus21 4036513792 883.171s 1.697s 2 0.599s timeout 901.803s 884.781s zeus07 4098060288 883.316s 1.763s 2 0.588s timeout 901.863s 884.188s zeus12 4091457536 882.751s 1.833s 4 2.418s timeout 902.130s 884.159s zeus18 4090671104 882.733s 1.661s 2 0.635s timeout 902.110s 884.269s zeus15 4066803712 882.626s 2.329s 2 0.731s true 197.708s 186.889s zeus16 3779047424 186.220s 0.713s 9 38.464s timeout 901.059s 887.431s zeus06 3784814592 886.661s 0.737s 6 751.789s timeout 902.169s 885.306s zeus04 4109623296 883.866s 1.665s 2 0.679s timeout 901.661s 885.106s zeus24 4058439680 883.669s 1.987s 2 0.646s true 12.048s 7.944s zeus05 357482496 7.334s 0.090s 7 2.822s true 10.476s 6.650s zeus15 281907200 5.930s 0.084s 3 1.682s
bitvector/s3_srvr_1_alt_true-unreach-call.BV.c.cil.c timeout 901.789s 888.318s zeus05 3847716864 887.235s 0.793s 5 714.050s timeout 901.901s 888.279s zeus09 3811876864 887.159s 1.087s 7 596.827s error 630.533s 616.548s zeus16 3890683904 615.759s 1.107s 9 364.901s error 657.991s 643.770s zeus23 3821223936 643.006s 1.136s 9 378.354s timeout 901.286s 884.589s zeus11 3982258176 883.528s 1.851s 7 325.075s error 617.349s 603.860s zeus03 3837517824 603.095s 1.140s 9 360.659s error 606.599s 593.776s zeus24 3832860672 593.042s 1.033s 9 348.817s error 575.065s 560.076s zeus15 3786653696 559.092s 1.257s 7 291.189s error 821.150s 804.717s zeus23 4092870656 803.842s 1.738s 8 314.935s timeout 901.424s 887.131s zeus11 3839340544 886.026s 1.147s 7 622.071s timeout 901.618s 886.257s zeus15 3776659456 884.968s 1.408s 7 606.426s timeout 901.875s 889.159s zeus04 3822465024 888.038s 0.823s 5 713.540s timeout 901.812s 888.698s zeus23 3838623744 887.626s 0.746s 5 708.598s timeout 901.896s 888.232s zeus06 3817271296 887.113s 0.977s 7 608.866s timeout 901.846s 888.309s zeus06 3819016192 887.183s 1.107s 7 616.279s timeout 901.631s 888.388s zeus23 3833810944 887.504s 1.100s 8 694.668s timeout 901.630s 888.374s zeus19 3840679936 887.514s 1.006s 8 692.688s
bitvector/s3_srvr_1_true-unreach-call.BV.c.cil.c true 11.583s 7.384s zeus09 390352896 6.665s 0.134s 4 1.958s true 12.069s 7.560s zeus21 389095424 6.862s 0.134s 4 1.999s true 41.116s 32.477s zeus15 1267281920 31.600s 0.416s 7 3.885s timeout 901.420s 885.448s zeus05 3448750080 884.692s 6.908s 797 465.134s true 64.741s 54.014s zeus12 2295070720 53.305s 0.437s 25 17.887s timeout 901.181s 885.069s zeus05 3509493760 884.467s 6.690s 806 469.958s true 37.758s 29.176s zeus04 1229561856 28.479s 0.317s 7 3.781s timeout 901.174s 885.304s zeus09 3507195904 884.579s 6.224s 771 467.009s timeout 900.981s 883.918s zeus08 3547365376 883.204s 6.112s 670 382.086s true 38.753s 30.777s zeus20 1269297152 30.115s 0.344s 7 4.514s true 65.476s 54.124s zeus15 2245582848 53.189s 0.541s 24 17.974s true 11.847s 7.518s zeus13 389828608 6.810s 0.132s 4 1.954s true 12.062s 7.644s zeus08 398692352 6.948s 0.135s 4 2.020s true 39.333s 31.428s zeus14 1272725504 30.740s 0.369s 7 4.626s true 40.007s 31.938s zeus11 1270820864 31.263s 0.423s 7 4.653s true 11.096s 6.915s zeus24 342867968 6.258s 0.091s 5 2.039s true 11.464s 7.115s zeus12 338092032 6.410s 0.109s 5 2.036s
bitvector/s3_srvr_2_alt_true-unreach-call.BV.c.cil.c true 33.065s 25.252s zeus09 713306112 24.522s 0.233s 5 4.038s timeout 902.383s 885.594s zeus06 4026220544 884.009s 1.681s 2 0.851s true 156.827s 145.470s zeus15 3762200576 144.153s 1.232s 3 2.095s true 131.436s 120.443s zeus06 3741278208 119.381s 0.672s 4 2.505s true 128.536s 117.312s zeus09 3766628352 116.287s 0.692s 5 3.116s true 131.243s 120.070s zeus16 3771637760 119.021s 0.627s 4 2.500s true 133.521s 121.960s zeus18 3743227904 120.889s 0.752s 4 2.472s timeout 901.805s 882.391s zeus16 4010573824 880.944s 1.858s 3 2.014s timeout 901.934s 882.796s zeus22 4120281088 881.345s 1.781s 5 3.172s timeout 901.877s 884.239s zeus07 3895324672 882.742s 1.816s 2 0.952s true 13.934s 9.102s zeus01 509480960 8.417s 0.146s 4 2.413s true 38.190s 30.234s zeus11 1206157312 29.459s 0.256s 5 3.878s true 40.426s 31.839s zeus03 754343936 30.906s 0.317s 5 3.943s true 32.717s 24.924s zeus17 679239680 24.210s 0.246s 5 3.961s true 35.612s 27.612s zeus02 677986304 26.830s 0.313s 5 4.068s true 14.184s 9.199s zeus09 508850176 8.507s 0.149s 4 2.417s true 14.241s 9.318s zeus06 509800448 8.668s 0.168s 4 2.495s
bitvector/s3_srvr_2_true-unreach-call.BV.c.cil.c timeout 902.269s 885.307s zeus10 3838050304 883.815s 1.611s 2 0.885s timeout 901.847s 884.312s zeus20 3782336512 882.878s 1.780s 2 0.897s true 128.251s 117.394s zeus01 3760869376 116.354s 0.651s 3 1.927s true 130.489s 119.116s zeus21 3771035648 118.078s 0.772s 4 2.485s true 130.628s 119.161s zeus11 3735216128 118.118s 0.675s 5 3.165s true 130.688s 119.778s zeus22 3769188352 118.753s 0.631s 4 2.514s true 130.512s 119.662s zeus17 3736207360 118.603s 0.693s 4 2.517s timeout 902.152s 884.451s zeus05 3771969536 883.054s 1.812s 3 1.962s timeout 902.005s 882.709s zeus02 3756199936 881.104s 2.317s 5 3.370s timeout 901.794s 884.551s zeus08 4034580480 883.063s 1.807s 2 0.938s true 14.739s 9.597s zeus10 509427712 8.904s 0.130s 4 2.585s true 24.632s 16.992s zeus07 636428288 16.226s 0.208s 5 3.467s true 24.542s 17.182s zeus21 633200640 16.464s 0.187s 5 3.508s timeout 901.871s 885.283s zeus13 3942387712 883.793s 1.947s 2 0.917s timeout 901.874s 885.060s zeus17 4097667072 883.610s 1.550s 2 0.940s true 14.024s 9.125s zeus06 510935040 8.439s 0.134s 4 2.455s true 14.391s 9.356s zeus09 506023936 8.696s 0.141s 4 2.473s
bitvector/s3_srvr_3_alt_true-unreach-call.BV.c.cil.c true 14.663s 9.429s zeus20 398295040 8.473s 0.179s 4 2.074s true 12.192s 7.620s zeus04 393973760 6.961s 0.137s 4 1.905s true 36.020s 27.456s zeus08 1275527168 26.769s 0.376s 7 3.478s true 37.771s 29.168s zeus13 1267081216 28.403s 0.338s 7 3.863s true 60.530s 50.038s zeus24 2270281728 49.336s 0.503s 25 15.413s true 35.761s 27.259s zeus07 1277566976 26.532s 0.359s 7 3.425s true 38.013s 29.556s zeus21 1233948672 28.871s 0.379s 7 3.864s timeout 901.110s 885.476s zeus18 3520995328 884.799s 6.970s 776 422.520s timeout 901.424s 883.980s zeus07 3563667456 883.229s 6.258s 692 352.453s true 37.971s 29.722s zeus18 1280176128 29.023s 0.349s 7 3.988s true 52.829s 42.464s zeus18 2259415040 41.761s 0.378s 24 14.910s true 12.178s 7.672s zeus10 395755520 7.002s 0.113s 4 1.905s true 12.784s 7.845s zeus12 397094912 7.167s 0.130s 4 1.957s true 38.772s 30.632s zeus23 1274884096 29.966s 0.452s 7 4.389s true 38.459s 30.526s zeus17 1265217536 29.869s 0.340s 7 4.392s true 13.045s 8.634s zeus11 354988032 7.898s 0.091s 5 3.583s true 12.353s 8.111s zeus24 356339712 7.383s 0.128s 5 3.231s
bitvector/s3_srvr_3_true-unreach-call.BV.c.cil.c error 36.483s 27.481s zeus04 1260478464 26.793s 0.400s 13 5.303s true 12.105s 7.563s zeus12 400285696 6.909s 0.126s 4 1.928s true 35.351s 27.279s zeus12 1281945600 26.600s 0.374s 7 3.429s true 35.759s 27.396s zeus12 1244516352 26.545s 0.352s 7 3.379s true 61.286s 50.611s zeus07 2308845568 49.867s 0.420s 25 16.011s true 35.711s 27.394s zeus23 1273188352 26.600s 0.355s 7 3.352s true 37.502s 28.830s zeus21 1269268480 28.075s 0.368s 7 3.876s timeout 901.255s 885.453s zeus01 3514970112 884.794s 6.994s 806 429.832s timeout 901.391s 883.677s zeus10 3542433792 882.950s 6.097s 668 348.401s true 35.991s 27.906s zeus10 1285955584 27.245s 0.364s 7 3.780s true 53.211s 42.847s zeus09 2261786624 42.077s 0.401s 24 14.962s true 12.190s 7.672s zeus23 397365248 7.012s 0.124s 4 1.898s true 12.293s 7.690s zeus10 399060992 7.030s 0.134s 4 1.953s true 38.655s 30.728s zeus16 1268207616 30.043s 0.352s 7 4.408s true 39.499s 31.346s zeus14 1268035584 30.629s 0.318s 7 4.491s true 12.608s 8.199s zeus12 353923072 7.506s 0.132s 5 3.276s true 13.178s 8.857s zeus08 352227328 8.163s 0.107s 5 3.968s
bitvector/soft_float_1_true-unreach-call.c.cil.c timeout 901.845s 894.301s zeus15 2210848768 893.152s 0.215s 1 0.192s timeout 901.932s 896.623s zeus10 2240278528 895.972s 0.135s 1 0.128s timeout 901.321s 895.864s zeus18 2243825664 895.197s 0.149s 1 0.138s timeout 901.068s 894.305s zeus22 1203175424 893.662s 0.162s 1 0.132s timeout 901.151s 895.092s zeus22 2241257472 894.429s 0.152s 1 0.139s timeout 901.687s 895.966s zeus22 2249617408 895.307s 0.138s 1 0.135s timeout 902.669s 895.076s zeus02 2242531328 894.235s 0.127s 1 0.154s timeout 901.436s 893.205s zeus23 3551977472 892.440s 0.333s 1 0.136s timeout 901.424s 893.564s zeus15 3469262848 892.803s 0.321s 1 0.138s timeout 901.373s 893.291s zeus11 3469537280 892.517s 0.364s 1 0.138s timeout 901.404s 893.469s zeus07 3463151616 892.672s 0.345s 1 0.140s timeout 901.913s 888.591s zeus21 709992448 887.954s 0.129s 20 70.446s timeout 901.259s 889.361s zeus09 1269903360 888.745s 0.166s 20 72.612s timeout 901.113s 894.255s zeus08 1194381312 893.579s 0.195s 1 0.133s timeout 901.341s 893.506s zeus12 3551424512 892.752s 0.321s 1 0.130s timeout 902.100s 895.760s zeus08 2237571072 895.093s 0.164s 3 0.920s timeout 901.399s 893.563s zeus18 3445399552 892.791s 0.315s 3 0.909s
bitvector/soft_float_2_true-unreach-call.c.cil.c timeout 901.399s 893.224s zeus11 3556704256 892.468s 0.334s 2 0.545s timeout 901.289s 895.824s zeus07 2243969024 895.123s 0.159s 1 0.157s timeout 902.041s 895.198s zeus03 2240532480 894.375s 0.157s 1 0.181s timeout 902.052s 896.028s zeus15 2216771584 895.353s 0.174s 1 0.162s timeout 902.210s 896.136s zeus01 2242727936 895.475s 0.117s 1 0.166s timeout 901.808s 894.990s zeus18 1154793472 894.316s 0.168s 1 0.160s timeout 902.059s 895.907s zeus07 2240126976 895.225s 0.152s 1 0.160s timeout 901.329s 893.404s zeus07 3472416768 892.608s 0.318s 1 0.157s timeout 901.382s 893.377s zeus24 3465351168 892.567s 0.371s 1 0.166s timeout 901.401s 893.077s zeus12 3547574272 892.318s 0.384s 2 0.311s timeout 901.233s 893.389s zeus22 3469115392 892.622s 0.330s 2 0.306s timeout 901.774s 894.371s zeus18 1175986176 893.713s 0.153s 2 175.600s timeout 901.781s 895.414s zeus12 2225635328 894.750s 0.169s 2 171.535s timeout 901.658s 895.693s zeus11 2243878912 895.041s 0.153s 1 0.153s timeout 901.573s 892.938s zeus07 3476992000 892.084s 0.333s 1 0.165s timeout 901.709s 895.672s zeus23 2220183552 895.016s 0.131s 3 0.613s timeout 901.560s 892.245s zeus09 3559620608 891.476s 0.334s 4 1.385s
bitvector/soft_float_3_true-unreach-call.c.cil.c timeout 901.714s 892.549s zeus03 3466862592 891.540s 0.376s 2 0.330s timeout 902.108s 895.494s zeus13 1166704640 894.843s 0.166s 1 0.159s timeout 902.125s 895.833s zeus08 2246541312 895.162s 0.178s 1 0.159s timeout 901.696s 895.227s zeus02 2213601280 894.410s 0.173s 1 0.190s timeout 901.683s 895.815s zeus22 2232532992 895.155s 0.138s 1 0.159s timeout 901.730s 895.227s zeus19 1169743872 894.595s 0.223s 1 0.157s timeout 901.970s 895.351s zeus12 1091362816 894.705s 0.182s 1 0.152s timeout 901.465s 893.535s zeus16 3477590016 892.772s 0.319s 1 0.157s timeout 901.345s 893.370s zeus23 3470008320 892.612s 0.357s 1 0.157s timeout 901.407s 893.281s zeus23 3552305152 892.491s 0.357s 2 0.288s timeout 901.330s 893.741s zeus01 3465297920 892.983s 0.339s 2 0.294s timeout 901.480s 895.645s zeus14 2226237440 895.001s 0.176s 2 175.739s timeout 901.133s 894.957s zeus09 2225094656 894.293s 0.140s 2 175.438s timeout 902.021s 896.266s zeus04 2243837952 895.589s 0.156s 1 0.151s timeout 901.488s 893.008s zeus24 3551657984 892.258s 0.322s 1 0.149s timeout 902.116s 896.150s zeus06 2250997760 895.491s 0.144s 4 0.917s timeout 901.436s 892.790s zeus23 3476934656 892.038s 0.316s 3 0.886s
bitvector/soft_float_4_true-unreach-call.c.cil.c timeout 901.795s 895.830s zeus07 2231689216 895.134s 0.158s 1 0.125s timeout 902.029s 894.948s zeus17 1196695552 894.285s 0.193s 1 0.125s timeout 902.145s 895.539s zeus02 2227515392 894.764s 0.181s 1 0.131s timeout 901.069s 893.826s zeus03 1178656768 893.028s 0.187s 1 0.134s timeout 902.313s 895.317s zeus02 1196519424 894.494s 0.230s 1 0.143s timeout 902.313s 896.714s zeus06 2231549952 896.048s 0.163s 1 0.120s timeout 901.992s 895.314s zeus09 2246848512 894.596s 0.195s 1 0.140s timeout 901.449s 893.134s zeus16 3471667200 892.361s 0.337s 1 0.124s timeout 901.592s 892.107s zeus20 3554836480 891.164s 0.386s 1 0.154s timeout 901.457s 892.966s zeus14 3464400896 892.184s 0.343s 1 0.127s timeout 901.700s 892.395s zeus20 3469082624 891.543s 0.381s 1 0.139s timeout 902.369s 895.464s zeus11 2215145472 894.807s 0.138s 11 12.787s timeout 902.083s 894.159s zeus07 2244284416 893.474s 0.139s 11 11.376s timeout 901.384s 895.761s zeus08 2246127616 895.088s 0.160s 1 0.125s timeout 901.463s 893.429s zeus08 3474219008 892.666s 0.312s 1 0.121s timeout 902.101s 896.241s zeus18 2232053760 895.580s 0.147s 3 0.857s timeout 901.479s 893.138s zeus21 3475005440 892.357s 0.331s 3 0.830s
bitvector/soft_float_5_true-unreach-call.c.cil.c timeout 901.188s 894.969s zeus13 2232905728 894.327s 0.147s 4 0.909s timeout 901.537s 895.281s zeus22 3419672576 894.605s 0.174s 1 0.159s timeout 901.889s 895.783s zeus09 2242158592 895.114s 0.145s 1 0.157s timeout 901.772s 895.455s zeus13 2239721472 894.789s 0.152s 1 0.160s timeout 900.949s 893.798s zeus08 1094434816 893.150s 0.159s 1 0.161s timeout 902.154s 896.281s zeus09 2245095424 895.629s 0.146s 1 0.156s timeout 901.756s 895.366s zeus05 2247737344 894.703s 0.136s 1 0.161s timeout 901.411s 893.023s zeus22 3474219008 892.250s 0.350s 1 0.161s timeout 901.469s 893.288s zeus24 3441192960 892.529s 0.373s 1 0.163s timeout 901.535s 892.718s zeus08 3555926016 891.909s 0.349s 2 0.315s timeout 901.367s 893.626s zeus22 3554103296 892.825s 0.336s 2 0.292s timeout 901.631s 894.093s zeus02 2222936064 893.102s 0.178s 2 188.711s timeout 901.820s 894.518s zeus12 1183846400 893.875s 0.168s 2 175.194s timeout 901.497s 895.407s zeus13 2241998848 894.761s 0.128s 1 0.159s timeout 901.442s 893.326s zeus07 3476176896 892.502s 0.341s 1 0.164s timeout 901.352s 895.269s zeus21 2230718464 894.603s 0.169s 3 0.573s timeout 901.402s 893.006s zeus17 3477221376 892.262s 0.321s 4 1.388s
bitvector-regression/implicitfloatconversion_false-unreach-call.i false(reach) 3.729s 2.403s zeus15 162213888 1.710s 0.001s 1 0.012s false(reach) 3.255s 2.110s zeus09 163917824 1.526s 0.000s 1 0.011s false(reach) 3.179s 2.099s zeus21 161783808 1.488s 0.000s 1 0.010s false(reach) 3.255s 2.080s zeus23 164810752 1.462s 0.001s 1 0.011s false(reach) 3.374s 2.167s zeus01 165978112 1.566s 0.000s 1 0.010s false(reach) 3.313s 2.183s zeus12 162406400 1.565s 0.000s 1 0.011s false(reach) 4.098s 2.744s zeus03 165400576 1.880s 0.000s 1 0.014s false(reach) 3.066s 2.011s zeus16 159334400 1.414s 0.001s 1 0.010s false(reach) 3.230s 2.112s zeus23 162156544 1.507s 0.000s 1 0.011s false(reach) 3.212s 2.099s zeus13 158556160 1.498s 0.000s 1 0.010s false(reach) 3.271s 2.109s zeus04 166248448 1.508s 0.001s 1 0.010s false(reach) 3.340s 2.167s zeus08 164409344 1.552s 0.001s 1 0.012s false(reach) 3.285s 2.096s zeus16 158801920 1.485s 0.001s 1 0.011s false(reach) 3.090s 2.023s zeus11 165285888 1.439s 0.000s 1 0.010s false(reach) 3.235s 2.069s zeus09 162492416 1.478s 0.000s 1 0.009s false(reach) 3.307s 2.154s zeus06 168701952 1.538s 0.000s 1 0.010s false(reach) 3.501s 2.236s zeus22 167276544 1.611s 0.002s 1 0.010s
bitvector-regression/implicitunsignedconversion_false-unreach-call.i false(reach) 3.195s 2.073s zeus13 160202752 1.482s 0.001s 1 0.019s false(reach) 3.349s 2.185s zeus21 165347328 1.576s 0.001s 1 0.021s false(reach) 3.304s 2.057s zeus16 163065856 1.469s 0.001s 1 0.019s false(reach) 3.062s 2.039s zeus01 160808960 1.437s 0.000s 1 0.020s false(reach) 3.236s 2.067s zeus10 160604160 1.441s 0.000s 1 0.020s false(reach) 3.121s 2.103s zeus08 161538048 1.465s 0.000s 1 0.020s false(reach) 3.424s 2.136s zeus11 165081088 1.526s 0.000s 1 0.020s false(reach) 3.525s 2.234s zeus19 165826560 1.633s 0.000s 1 0.019s false(reach) 3.150s 2.056s zeus23 165363712 1.473s 0.001s 1 0.019s false(reach) 3.513s 2.224s zeus19 165122048 1.618s 0.000s 1 0.020s false(reach) 3.161s 2.051s zeus18 167792640 1.461s 0.001s 1 0.019s false(reach) 3.330s 2.171s zeus04 165416960 1.569s 0.000s 1 0.019s false(reach) 3.281s 2.140s zeus04 165249024 1.529s 0.001s 1 0.020s false(reach) 3.512s 2.418s zeus20 160481280 1.675s 0.001s 1 0.025s false(reach) 3.453s 2.292s zeus03 166256640 1.613s 0.001s 1 0.023s false(reach) 3.193s 2.033s zeus18 168095744 1.437s 0.000s 1 0.020s false(reach) 3.159s 2.036s zeus16 157921280 1.424s 0.001s 1 0.019s
bitvector-regression/integerpromotion_false-unreach-call.i false(reach) 3.563s 2.291s zeus24 173989888 1.680s 0.000s 1 0.032s false(reach) 3.423s 2.230s zeus11 171479040 1.637s 0.000s 1 0.032s false(reach) 3.871s 2.507s zeus21 172859392 1.870s 0.000s 1 0.036s false(reach) 3.620s 2.348s zeus19 168787968 1.732s 0.000s 1 0.033s false(reach) 6.617s 4.509s zeus15 170008576 3.189s 0.000s 1 0.059s false(reach) 3.496s 2.294s zeus13 168648704 1.692s 0.000s 1 0.032s false(reach) 3.564s 2.311s zeus11 173633536 1.687s 0.001s 1 0.032s false(reach) 3.626s 2.325s zeus10 167518208 1.721s 0.001s 1 0.033s false(reach) 3.515s 2.303s zeus24 169902080 1.690s 0.000s 1 0.032s false(reach) 3.553s 2.300s zeus23 168640512 1.693s 0.000s 1 0.033s false(reach) 3.767s 2.364s zeus07 172236800 1.753s 0.000s 1 0.032s false(reach) 3.477s 2.300s zeus21 166367232 1.681s 0.000s 1 0.032s false(reach) 3.677s 2.367s zeus13 166400000 1.734s 0.000s 1 0.032s false(reach) 4.003s 2.673s zeus03 169005056 1.930s 0.000s 1 0.035s false(reach) 3.655s 2.359s zeus18 171458560 1.757s 0.000s 1 0.033s false(reach) 3.520s 2.288s zeus17 167268352 1.686s 0.000s 1 0.033s false(reach) 3.506s 2.266s zeus02 169631744 1.683s 0.000s 1 0.032s
bitvector-regression/signextension2_false-unreach-call.i false(reach) 3.563s 2.304s zeus24 170692608 1.704s 0.000s 1 0.036s false(reach) 3.601s 2.348s zeus01 167206912 1.717s 0.000s 1 0.036s false(reach) 3.602s 2.263s zeus20 166219776 1.654s 0.001s 1 0.037s false(reach) 3.393s 2.212s zeus06 170323968 1.618s 0.001s 1 0.034s false(reach) 4.393s 2.936s zeus02 171663360 2.023s 0.001s 1 0.043s false(reach) 3.441s 2.268s zeus06 169795584 1.656s 0.000s 1 0.035s false(reach) 3.563s 2.329s zeus06 167456768 1.693s 0.000s 1 0.039s false(reach) 3.651s 2.342s zeus11 170893312 1.740s 0.002s 1 0.035s false(reach) 3.695s 2.375s zeus12 166465536 1.765s 0.002s 1 0.035s false(reach) 3.485s 2.255s zeus14 170143744 1.643s 0.000s 1 0.037s false(reach) 3.716s 2.370s zeus04 168783872 1.760s 0.000s 1 0.036s false(reach) 3.578s 2.308s zeus13 167497728 1.705s 0.001s 1 0.038s false(reach) 3.492s 2.275s zeus08 168280064 1.673s 0.000s 1 0.036s false(reach) 3.678s 2.371s zeus06 173076480 1.753s 0.000s 1 0.036s false(reach) 3.589s 2.347s zeus21 166584320 1.709s 0.000s 1 0.039s false(reach) 3.628s 2.338s zeus19 168673280 1.722s 0.000s 1 0.035s false(reach) 3.560s 2.427s zeus10 165642240 1.721s 0.000s 1 0.034s
bitvector-regression/signextension_false-unreach-call.i false(reach) 3.587s 2.319s zeus22 175136768 1.716s 0.001s 1 0.033s false(reach) 3.463s 2.251s zeus05 165691392 1.660s 0.000s 1 0.031s false(reach) 3.617s 2.336s zeus16 166121472 1.742s 0.001s 1 0.036s false(reach) 3.652s 2.358s zeus09 171692032 1.753s 0.000s 1 0.034s false(reach) 4.452s 3.075s zeus15 170561536 2.159s 0.000s 1 0.040s false(reach) 3.656s 2.305s zeus10 166739968 1.688s 0.000s 1 0.032s false(reach) 4.389s 2.989s zeus20 166400000 2.083s 0.001s 1 0.043s false(reach) 3.592s 2.310s zeus13 166191104 1.720s 0.000s 1 0.035s false(reach) 3.658s 2.389s zeus01 167788544 1.768s 0.000s 1 0.035s false(reach) 3.675s 2.326s zeus17 169037824 1.713s 0.001s 1 0.033s false(reach) 3.517s 2.311s zeus24 169086976 1.687s 0.000s 1 0.034s false(reach) 3.611s 2.336s zeus10 165289984 1.709s 0.000s 1 0.035s false(reach) 5.229s 3.501s zeus02 168804352 2.503s 0.001s 1 0.046s false(reach) 3.400s 2.218s zeus12 167555072 1.631s 0.000s 1 0.033s false(reach) 3.747s 2.413s zeus21 167284736 1.799s 0.001s 1 0.034s false(reach) 3.572s 2.326s zeus12 165265408 1.718s 0.000s 1 0.033s false(reach) 4.122s 2.751s zeus02 169259008 1.992s 0.002s 1 0.037s
bitvector-regression/implicitunsignedconversion_true-unreach-call.i true 3.055s 1.995s zeus10 159940608 1.421s 0.001s 1 0.027s true 3.210s 2.103s zeus24 165056512 1.510s 0.000s 1 0.028s true 3.859s 2.665s zeus15 163262464 1.816s 0.000s 1 0.036s true 3.298s 2.108s zeus02 162500608 1.516s 0.000s 1 0.029s true 3.301s 2.160s zeus24 165982208 1.560s 0.000s 1 0.029s true 4.056s 2.740s zeus15 165822464 1.937s 0.000s 1 0.040s true 3.570s 2.215s zeus18 170680320 1.611s 0.000s 1 0.028s true 3.082s 2.031s zeus16 160636928 1.449s 0.000s 1 0.028s true 3.071s 2.024s zeus07 165605376 1.409s 0.000s 1 0.027s true 3.325s 2.123s zeus04 163024896 1.526s 0.000s 1 0.027s true 3.299s 2.118s zeus21 161206272 1.501s 0.000s 1 0.029s true 3.080s 2.057s zeus08 163618816 1.475s 0.000s 1 0.027s true 3.287s 2.141s zeus18 168251392 1.550s 0.000s 1 0.028s true 3.234s 2.143s zeus18 167153664 1.541s 0.000s 1 0.027s true 3.124s 2.049s zeus07 167202816 1.450s 0.000s 1 0.028s true 3.344s 2.161s zeus19 166514688 1.582s 0.001s 1 0.027s true 3.311s 2.164s zeus23 164233216 1.576s 0.001s 1 0.028s
bitvector-regression/integerpromotion_true-unreach-call.i true 3.622s 2.305s zeus08 171565056 1.724s 0.000s 1 0.043s true 3.585s 2.343s zeus24 171483136 1.739s 0.000s 1 0.044s true 3.606s 2.287s zeus05 164233216 1.707s 0.000s 1 0.043s true 3.676s 2.351s zeus07 169648128 1.705s 0.001s 1 0.043s true 3.691s 2.375s zeus18 170463232 1.773s 0.000s 1 0.042s true 3.898s 2.605s zeus02 170409984 1.899s 0.000s 1 0.049s true 3.459s 2.262s zeus17 166854656 1.693s 0.000s 1 0.042s true 3.465s 2.298s zeus04 170049536 1.690s 0.000s 1 0.044s true 3.652s 2.416s zeus11 169148416 1.780s 0.000s 1 0.044s true 3.716s 2.399s zeus18 171786240 1.795s 0.000s 1 0.044s true 3.863s 2.426s zeus17 167256064 1.835s 0.001s 1 0.045s true 3.510s 2.299s zeus13 167145472 1.698s 0.000s 1 0.043s true 3.579s 2.324s zeus11 174034944 1.738s 0.000s 1 0.042s true 3.722s 2.408s zeus18 173223936 1.806s 0.000s 1 0.043s true 3.594s 2.357s zeus06 170975232 1.766s 0.002s 1 0.044s true 3.862s 2.453s zeus04 171593728 1.826s 0.000s 1 0.045s true 3.763s 2.454s zeus19 168558592 1.823s 0.001s 1 0.045s
bitvector-regression/signextension2_true-unreach-call.i true 3.892s 2.467s zeus05 177414144 1.897s 0.003s 4 0.141s true 3.751s 2.454s zeus13 171819008 1.866s 0.002s 4 0.140s true 3.932s 2.570s zeus13 173957120 1.964s 0.002s 4 0.140s true 3.654s 2.392s zeus16 173719552 1.812s 0.002s 4 0.138s true 3.843s 2.473s zeus17 176750592 1.900s 0.003s 4 0.142s true 4.035s 2.586s zeus10 174120960 1.993s 0.002s 4 0.140s true 3.695s 2.441s zeus07 178221056 1.825s 0.003s 4 0.141s true 3.748s 2.417s zeus16 172314624 1.821s 0.002s 4 0.139s true 3.785s 2.396s zeus17 177295360 1.808s 0.004s 4 0.138s true 3.561s 2.364s zeus12 173662208 1.791s 0.002s 4 0.137s true 3.799s 2.450s zeus21 176336896 1.871s 0.002s 4 0.144s true 3.709s 2.486s zeus05 174833664 1.834s 0.001s 4 0.136s true 3.755s 2.425s zeus11 178708480 1.845s 0.001s 4 0.138s true 3.734s 2.406s zeus19 177836032 1.832s 0.000s 4 0.135s true 3.824s 2.444s zeus19 175869952 1.851s 0.000s 4 0.142s true 3.837s 2.540s zeus04 176652288 1.899s 0.000s 4 0.143s true 3.754s 2.454s zeus14 176918528 1.874s 0.001s 4 0.139s
bitvector-regression/signextension_true-unreach-call.i true 3.789s 2.467s zeus05 172818432 1.885s 0.002s 4 0.167s true 3.971s 2.644s zeus20 173182976 1.990s 0.000s 4 0.170s true 3.630s 2.439s zeus06 182042624 1.842s 0.000s 4 0.163s true 3.580s 2.370s zeus13 177373184 1.787s 0.002s 4 0.157s true 3.998s 2.588s zeus09 179314688 1.997s 0.002s 4 0.166s true 4.100s 2.749s zeus15 174731264 2.081s 0.003s 4 0.170s true 3.900s 2.555s zeus14 175603712 1.969s 0.001s 4 0.165s true 3.766s 2.478s zeus21 174481408 1.897s 0.004s 4 0.162s true 3.932s 2.562s zeus04 178700288 1.976s 0.006s 4 0.162s true 3.694s 2.451s zeus21 177176576 1.862s 0.000s 4 0.165s true 3.718s 2.459s zeus06 181223424 1.862s 0.002s 4 0.165s true 3.620s 2.383s zeus10 175628288 1.816s 0.001s 4 0.162s true 4.236s 2.871s zeus15 173776896 2.142s 0.005s 4 0.178s true 3.957s 2.580s zeus07 178946048 1.933s 0.002s 4 0.172s true 4.118s 2.614s zeus16 177369088 1.997s 0.006s 4 0.164s true 3.711s 2.473s zeus16 173293568 1.872s 0.001s 4 0.163s true 3.772s 2.517s zeus11 179859456 1.911s 0.005s 4 0.171s
bitvector-loops/diamond_false-unreach-call2.i false(reach) 4.357s 3.018s zeus20 174702592 2.212s 0.015s 2 0.109s false(reach) 3.633s 2.430s zeus08 177352704 1.807s 0.007s 2 0.084s false(reach) 3.819s 2.509s zeus06 180563968 1.908s 0.007s 2 0.086s false(reach) 3.649s 2.433s zeus03 171831296 1.818s 0.015s 2 0.093s false(reach) 3.954s 2.576s zeus01 177418240 1.942s 0.014s 2 0.089s false(reach) 5.758s 3.932s zeus15 176250880 2.803s 0.013s 2 0.113s false(reach) 3.509s 2.381s zeus23 174067712 1.758s 0.013s 2 0.086s false(reach) 3.582s 2.411s zeus23 175587328 1.788s 0.016s 2 0.084s false(reach) 3.517s 2.433s zeus01 173735936 1.803s 0.014s 2 0.097s false(reach) 3.551s 2.406s zeus11 176828416 1.789s 0.011s 2 0.087s false(reach) 3.850s 2.523s zeus04 173723648 1.893s 0.011s 2 0.082s false(reach) 3.850s 2.673s zeus12 175460352 1.958s 0.013s 2 0.099s false(reach) 4.431s 3.090s zeus03 174309376 2.271s 0.011s 2 0.103s false(reach) 3.925s 2.697s zeus20 173924352 1.958s 0.016s 2 0.101s false(reach) 3.688s 2.447s zeus17 173629440 1.835s 0.011s 2 0.086s false(reach) 3.528s 2.378s zeus18 178814976 1.770s 0.012s 2 0.086s false(reach) 3.894s 2.539s zeus09 176062464 1.927s 0.014s 2 0.089s
bitvector-loops/overflow_false-unreach-call1.i timeout 901.845s 889.510s zeus02 3579535360 888.387s 0.832s 1 0.041s timeout 901.491s 889.926s zeus06 3585798144 889.014s 0.676s 1 0.026s timeout 901.599s 890.143s zeus16 3581587456 889.242s 0.661s 1 0.028s timeout 901.531s 890.449s zeus12 3581751296 889.524s 0.830s 1 0.027s timeout 901.646s 889.428s zeus04 3577536512 888.418s 0.732s 1 0.031s timeout 901.826s 889.744s zeus20 3580256256 888.649s 0.948s 1 0.040s timeout 902.136s 888.871s zeus02 3583246336 887.453s 1.004s 1 0.058s timeout 901.558s 889.977s zeus15 3581321216 889.060s 0.684s 1 0.026s timeout 901.644s 890.291s zeus07 3581296640 889.339s 0.732s 1 0.027s timeout 901.624s 890.177s zeus14 3569393664 889.278s 0.669s 1 0.027s timeout 901.596s 890.211s zeus08 3585011712 889.318s 0.808s 1 0.026s timeout 901.542s 890.306s zeus12 3588476928 889.388s 0.675s 1 0.028s timeout 901.638s 890.089s zeus13 3581865984 889.193s 0.642s 1 0.026s timeout 901.751s 889.128s zeus15 3587182592 888.070s 0.952s 1 0.034s timeout 901.595s 889.753s zeus15 3586117632 888.821s 0.726s 1 0.028s timeout 901.601s 889.829s zeus14 3576094720 888.894s 0.682s 1 0.028s timeout 901.444s 889.850s zeus23 3584282624 888.951s 0.787s 1 0.026s
floats-cdfpl/newton_1_4_false-unreach-call.i false(reach) 147.369s 146.075s zeus11 355487744 145.444s 0.001s 2 143.927s false(reach) 32.313s 30.893s zeus04 312672256 30.282s 0.000s 2 28.618s false(reach) 153.836s 152.491s zeus24 346312704 151.876s 0.001s 2 150.369s false(reach) 152.749s 151.470s zeus21 347295744 150.862s 0.001s 2 149.346s false(reach) 158.178s 156.772s zeus03 345743360 155.947s 0.001s 2 154.185s false(reach) 150.127s 148.773s zeus16 343273472 148.168s 0.001s 2 146.645s false(reach) 155.512s 154.128s zeus22 351543296 153.510s 0.000s 2 151.908s false(reach) 153.594s 152.171s zeus08 344190976 151.559s 0.001s 2 150.001s false(reach) 146.851s 145.565s zeus11 345366528 144.942s 0.002s 2 143.428s false(reach) 34.546s 33.316s zeus18 306806784 32.676s 0.002s 2 31.092s false(reach) 32.455s 31.293s zeus06 306417664 30.622s 0.001s 2 29.041s false(reach) 151.602s 150.138s zeus01 349876224 149.516s 0.001s 2 148.010s false(reach) 154.927s 153.605s zeus13 344322048 152.973s 0.000s 2 151.478s false(reach) 144.512s 143.351s zeus10 344817664 142.725s 0.001s 2 141.262s false(reach) 152.135s 150.693s zeus07 349110272 150.075s 0.000s 2 148.598s false(reach) 31.739s 30.417s zeus21 305983488 29.785s 0.002s 2 28.187s false(reach) 37.574s 36.227s zeus20 301867008 35.434s 0.000s 2 33.520s
floats-cdfpl/newton_1_5_false-unreach-call.i false(reach) 25.595s 24.424s zeus22 308396032 23.818s 0.001s 2 22.315s false(reach) 289.778s 287.965s zeus03 355713024 287.176s 0.003s 2 285.520s false(reach) 268.434s 266.957s zeus23 352296960 266.342s 0.001s 2 264.740s false(reach) 266.629s 265.137s zeus23 354291712 264.526s 0.000s 2 263.054s false(reach) 25.800s 24.602s zeus10 300007424 23.986s 0.003s 2 22.504s false(reach) 27.030s 25.824s zeus02 302297088 25.210s 0.000s 2 23.652s false(reach) 26.635s 25.522s zeus10 303816704 24.914s 0.001s 2 23.422s false(reach) 27.246s 25.987s zeus02 300396544 25.248s 0.002s 2 23.496s false(reach) 282.777s 281.361s zeus05 347881472 280.756s 0.001s 2 279.258s false(reach) 283.090s 281.552s zeus16 352337920 280.943s 0.001s 2 279.347s false(reach) 26.889s 25.575s zeus08 301682688 24.966s 0.000s 2 23.322s false(reach) 25.962s 24.672s zeus19 305020928 24.049s 0.003s 2 22.426s false(reach) 26.270s 25.083s zeus07 303738880 24.448s 0.004s 2 22.948s false(reach) 266.622s 265.107s zeus17 351592448 264.490s 0.002s 2 262.929s false(reach) 260.065s 258.625s zeus18 358596608 258.041s 0.001s 2 256.617s false(reach) 280.244s 278.648s zeus18 359735296 278.030s 0.002s 2 276.445s false(reach) 27.656s 26.401s zeus14 304852992 25.769s 0.002s 2 24.107s
floats-cdfpl/newton_1_6_false-unreach-call.i false(reach) 20.469s 19.211s zeus14 300507136 18.587s 0.001s 2 17.037s false(reach) 15.283s 14.188s zeus09 302125056 13.586s 0.001s 2 12.129s false(reach) 19.637s 18.490s zeus09 299356160 17.887s 0.003s 2 16.370s false(reach) 21.413s 20.292s zeus01 305811456 19.682s 0.002s 2 18.197s false(reach) 20.262s 19.086s zeus10 305688576 18.483s 0.000s 2 16.939s false(reach) 16.668s 15.515s zeus01 304893952 14.890s 0.002s 2 13.343s false(reach) 16.615s 15.552s zeus16 298237952 14.953s 0.002s 2 13.511s false(reach) 20.405s 19.188s zeus19 305852416 18.572s 0.002s 2 17.041s false(reach) 21.049s 19.884s zeus22 301912064 19.265s 0.001s 2 17.731s false(reach) 19.937s 18.522s zeus15 302993408 17.827s 0.001s 2 16.017s false(reach) 16.747s 15.529s zeus03 305303552 14.724s 0.003s 2 13.059s false(reach) 20.576s 19.482s zeus12 296517632 18.880s 0.003s 2 17.415s false(reach) 18.393s 17.091s zeus03 302993408 16.321s 0.001s 2 14.539s false(reach) 17.597s 16.271s zeus07 311238656 15.613s 0.000s 2 14.047s false(reach) 16.849s 15.696s zeus06 301748224 15.072s 0.002s 2 13.543s false(reach) 20.068s 18.974s zeus12 301170688 18.362s 0.001s 2 16.872s false(reach) 23.136s 21.729s zeus20 299143168 20.814s 0.000s 2 18.994s
floats-cdfpl/newton_1_7_false-unreach-call.i false(reach) 138.632s 137.165s zeus17 324300800 136.562s 0.001s 2 135.036s false(reach) 155.289s 153.869s zeus02 319356928 153.138s 0.000s 2 151.493s false(reach) 277.990s 276.612s zeus13 363237376 276.010s 0.000s 2 274.514s false(reach) 134.192s 132.609s zeus14 321069056 131.991s 0.001s 2 130.374s false(reach) 282.719s 280.864s zeus15 363642880 280.103s 0.001s 2 278.334s false(reach) 246.963s 245.666s zeus01 355270656 245.065s 0.001s 2 243.621s false(reach) 266.539s 264.904s zeus22 365830144 264.303s 0.000s 2 262.814s false(reach) 258.745s 257.567s zeus05 359510016 256.959s 0.001s 2 255.494s false(reach) 281.331s 279.849s zeus06 367767552 279.227s 0.002s 2 277.688s false(reach) 264.149s 262.758s zeus01 358060032 262.139s 0.000s 2 260.689s false(reach) 266.811s 265.240s zeus10 361717760 264.642s 0.001s 2 263.172s false(reach) 142.267s 140.974s zeus17 317136896 140.364s 0.000s 2 138.834s false(reach) 257.632s 256.159s zeus12 369733632 255.563s 0.002s 2 254.039s false(reach) 146.916s 145.334s zeus20 312840192 144.465s 0.002s 2 142.503s false(reach) 140.229s 138.977s zeus02 325988352 138.371s 0.003s 2 136.849s false(reach) 275.616s 274.114s zeus07 365379584 273.484s 0.001s 2 271.988s false(reach) 252.628s 251.282s zeus10 363630592 250.657s 0.003s 2 249.184s
floats-cdfpl/newton_1_8_false-unreach-call.i false(reach) 97.978s 96.675s zeus03 330977280 96.077s 0.001s 2 94.546s false(reach) 102.402s 101.107s zeus24 337444864 100.504s 0.000s 2 98.883s false(reach) 87.681s 86.396s zeus16 329601024 85.782s 0.003s 2 84.324s false(reach) 96.773s 95.399s zeus10 329228288 94.795s 0.004s 2 93.243s false(reach) 97.776s 96.385s zeus09 331636736 95.774s 0.001s 2 94.216s false(reach) 96.307s 95.055s zeus22 331980800 94.449s 0.002s 2 92.917s false(reach) 92.869s 91.686s zeus13 330129408 91.085s 0.001s 2 89.642s false(reach) 93.249s 92.072s zeus23 332263424 91.474s 0.002s 2 89.974s false(reach) 92.473s 91.196s zeus10 329011200 90.576s 0.000s 2 89.024s false(reach) 126.417s 124.626s zeus15 331333632 123.453s 0.002s 2 121.272s false(reach) 101.818s 100.568s zeus19 335224832 99.953s 0.001s 2 98.433s false(reach) 83.809s 82.514s zeus17 331702272 81.880s 0.001s 2 80.354s false(reach) 105.403s 103.911s zeus18 338665472 103.294s 0.001s 2 101.652s false(reach) 100.033s 98.856s zeus23 333762560 98.241s 0.000s 2 96.680s false(reach) 86.279s 84.846s zeus14 333271040 84.238s 0.002s 2 82.700s false(reach) 97.300s 96.055s zeus01 331141120 95.446s 0.001s 2 93.990s false(reach) 94.822s 93.410s zeus21 332607488 92.792s 0.000s 2 91.217s
floats-cdfpl/newton_2_6_false-unreach-call.i false(reach) 627.995s 625.480s zeus08 572424192 624.843s 0.003s 2 623.260s false(reach) 661.469s 659.716s zeus09 568864768 659.085s 0.001s 2 657.474s timeout 901.197s 898.411s zeus10 574013440 897.808s 0.005s 2 896.308s timeout 901.157s 898.854s zeus18 594911232 898.212s 0.002s 2 896.608s false(reach) 635.647s 632.865s zeus15 570523648 632.068s 0.005s 2 630.100s timeout 901.233s 899.238s zeus19 590213120 898.580s 0.005s 2 897.020s timeout 901.177s 899.214s zeus17 588247040 898.593s 0.004s 2 897.105s false(reach) 605.832s 603.693s zeus01 570068992 603.058s 0.003s 2 601.531s timeout 901.142s 898.818s zeus22 579678208 898.198s 0.003s 2 896.671s timeout 901.135s 899.637s zeus22 575692800 899.014s 0.001s 2 897.450s false(reach) 674.282s 672.252s zeus01 572280832 671.615s 0.002s 2 670.166s timeout 901.543s 898.635s zeus02 573632512 897.779s 0.004s 2 895.927s false(reach) 645.727s 643.544s zeus20 570376192 642.930s 0.004s 2 641.452s timeout 901.245s 898.612s zeus03 582295552 897.980s 0.003s 2 896.469s timeout 901.197s 898.732s zeus07 584179712 898.057s 0.003s 2 896.455s false(reach) 622.773s 620.866s zeus24 571006976 620.205s 0.001s 2 618.537s timeout 901.213s 898.675s zeus09 591265792 898.043s 0.002s 2 896.463s
floats-cdfpl/newton_2_7_false-unreach-call.i timeout 901.194s 899.112s zeus23 605937664 898.486s 0.002s 2 897.006s timeout 901.259s 898.795s zeus14 600813568 898.146s 0.005s 2 896.465s timeout 901.246s 898.778s zeus14 597921792 898.140s 0.001s 2 896.539s timeout 901.248s 899.057s zeus09 603111424 898.426s 0.004s 2 896.894s timeout 901.216s 898.701s zeus16 656449536 898.076s 0.003s 2 896.614s timeout 901.214s 899.145s zeus07 599031808 898.485s 0.000s 2 897.014s timeout 901.301s 898.818s zeus04 664588288 898.171s 0.001s 2 896.528s timeout 901.165s 898.514s zeus24 594800640 897.884s 0.004s 2 896.355s timeout 901.174s 898.701s zeus01 659914752 898.050s 0.001s 2 896.577s timeout 901.233s 899.075s zeus14 600420352 898.428s 0.002s 2 896.904s timeout 901.191s 898.936s zeus13 598765568 898.305s 0.000s 2 896.801s timeout 901.195s 898.684s zeus18 596779008 898.072s 0.002s 2 896.548s timeout 901.243s 898.814s zeus11 678252544 898.159s 0.002s 2 896.625s timeout 901.243s 898.702s zeus23 598667264 898.060s 0.002s 2 896.495s timeout 901.177s 899.052s zeus07 605446144 898.393s 0.003s 2 896.819s timeout 901.139s 899.181s zeus23 602411008 898.532s 0.001s 2 896.958s timeout 901.157s 898.854s zeus14 597307392 898.235s 0.002s 2 896.652s
floats-cdfpl/newton_2_8_false-unreach-call.i timeout 901.311s 898.294s zeus02 477618176 897.622s 0.002s 1 896.050s timeout 901.185s 899.353s zeus04 480018432 898.729s 0.000s 1 897.161s timeout 901.163s 899.247s zeus17 472006656 898.626s 0.000s 1 897.164s timeout 901.156s 899.521s zeus14 480313344 898.897s 0.001s 1 897.422s timeout 901.123s 899.234s zeus13 475738112 898.614s 0.001s 1 897.091s timeout 901.196s 898.966s zeus06 478539776 898.355s 0.000s 1 896.853s timeout 901.244s 898.245s zeus18 482725888 897.622s 0.000s 1 896.073s timeout 901.187s 898.759s zeus05 469803008 898.116s 0.003s 1 896.571s timeout 901.252s 899.055s zeus01 479854592 898.433s 0.001s 1 896.981s timeout 901.205s 899.154s zeus19 478404608 898.550s 0.002s 1 897.052s timeout 901.200s 899.554s zeus07 482578432 898.908s 0.001s 1 897.387s timeout 901.119s 899.322s zeus18 479092736 898.682s 0.002s 1 897.114s timeout 901.193s 898.589s zeus01 476598272 897.968s 0.003s 1 896.450s timeout 901.261s 898.767s zeus12 475164672 898.154s 0.000s 1 896.619s timeout 901.140s 899.105s zeus24 485089280 898.467s 0.001s 1 896.837s timeout 901.143s 899.317s zeus04 473706496 898.693s 0.001s 1 897.172s timeout 901.184s 898.954s zeus12 479055872 898.342s 0.000s 1 896.840s
floats-cdfpl/newton_3_6_false-unreach-call.i timeout 901.391s 897.461s zeus11 1625899008 896.809s 0.003s 2 895.110s timeout 901.392s 897.650s zeus11 1633677312 897.022s 0.004s 2 895.501s timeout 901.385s 897.883s zeus18 1642295296 897.232s 0.003s 2 895.644s timeout 901.738s 896.454s zeus02 1495154688 895.703s 0.000s 2 893.888s timeout 901.707s 896.857s zeus03 1617547264 896.036s 0.006s 2 894.155s timeout 901.420s 897.616s zeus22 1640026112 896.975s 0.003s 2 895.355s timeout 901.402s 897.755s zeus08 1608404992 897.097s 0.006s 2 895.554s timeout 901.407s 897.632s zeus09 1497481216 896.993s 0.001s 2 895.441s timeout 901.431s 897.468s zeus19 1629515776 896.842s 0.004s 2 895.285s timeout 901.442s 897.500s zeus19 1641103360 896.840s 0.007s 2 895.215s timeout 901.451s 897.576s zeus06 1508032512 896.935s 0.002s 2 895.404s timeout 901.481s 897.431s zeus23 1648500736 896.762s 0.005s 2 895.221s timeout 901.363s 897.752s zeus19 1643839488 897.096s 0.003s 2 895.543s timeout 901.409s 897.475s zeus10 1602400256 896.827s 0.001s 2 895.301s timeout 901.354s 897.529s zeus22 1505386496 896.897s 0.004s 2 895.361s timeout 901.371s 897.539s zeus04 1638825984 896.877s 0.007s 2 895.376s timeout 901.422s 897.281s zeus18 1618190336 896.637s 0.002s 2 895.032s
floats-cdfpl/newton_3_7_false-unreach-call.i false(reach) 512.453s 509.260s zeus22 1568514048 508.635s 0.004s 2 507.074s false(reach) 507.977s 505.091s zeus10 1570172928 504.472s 0.002s 2 502.974s false(reach) 516.711s 513.482s zeus21 1571344384 512.862s 0.003s 2 511.390s false(reach) 592.570s 589.441s zeus24 1578414080 588.834s 0.005s 2 587.363s false(reach) 607.897s 604.187s zeus21 1575616512 603.560s 0.004s 2 602.018s false(reach) 531.775s 528.638s zeus18 1575849984 527.986s 0.004s 2 526.460s false(reach) 528.659s 525.200s zeus02 1573228544 524.391s 0.004s 2 522.694s false(reach) 652.557s 647.443s zeus02 1577107456 646.637s 0.001s 2 644.721s false(reach) 609.708s 606.150s zeus13 1575043072 605.512s 0.000s 2 603.981s false(reach) 603.189s 600.003s zeus16 1574670336 599.361s 0.001s 2 597.869s false(reach) 535.822s 533.042s zeus23 1569857536 532.417s 0.001s 2 530.875s false(reach) 600.542s 597.275s zeus13 1578184704 596.648s 0.007s 2 595.149s false(reach) 570.255s 567.069s zeus12 1578139648 566.450s 0.003s 2 564.988s false(reach) 531.015s 527.692s zeus07 1078521856 527.033s 0.002s 2 525.511s false(reach) 505.805s 502.289s zeus22 1567465472 501.645s 0.003s 2 500.130s false(reach) 602.837s 599.389s zeus21 1578463232 598.749s 0.005s 2 597.233s false(reach) 615.414s 611.978s zeus16 1578536960 611.355s 0.001s 2 609.881s
floats-cdfpl/newton_3_8_false-unreach-call.i false(reach) 173.952s 170.936s zeus11 1054261248 170.301s 0.008s 2 168.666s false(reach) 168.153s 165.016s zeus19 1550475264 164.384s 0.003s 2 162.705s false(reach) 195.376s 191.674s zeus03 1056288768 190.565s 0.004s 2 188.209s false(reach) 542.426s 538.968s zeus18 1586032640 538.330s 0.008s 2 536.677s false(reach) 169.196s 166.314s zeus10 1552125952 165.670s 0.003s 2 164.092s false(reach) 163.677s 160.721s zeus02 1550204928 160.115s 0.006s 2 158.611s false(reach) 178.419s 175.510s zeus06 1551413248 174.871s 0.001s 2 173.336s false(reach) 513.112s 509.797s zeus23 1580449792 509.139s 0.003s 2 507.569s false(reach) 542.723s 539.383s zeus18 1586720768 538.713s 0.002s 2 537.100s false(reach) 598.904s 594.378s zeus03 1582292992 593.572s 0.003s 2 591.591s false(reach) 540.594s 536.948s zeus07 1584443392 536.292s 0.000s 2 534.736s false(reach) 177.760s 174.474s zeus03 1548570624 173.729s 0.002s 2 172.025s false(reach) 164.712s 161.907s zeus05 1553506304 161.277s 0.003s 2 159.742s false(reach) 543.534s 540.109s zeus01 1583915008 539.475s 0.002s 2 537.979s false(reach) 551.243s 547.708s zeus13 1583964160 547.067s 0.001s 2 545.548s false(reach) 188.429s 184.836s zeus12 1552539648 184.108s 0.004s 2 182.313s false(reach) 542.470s 539.036s zeus04 1585676288 538.407s 0.000s 2 536.810s
floats-cdfpl/sine_1_false-unreach-call.i false(reach) 295.395s 293.993s zeus06 320000000 293.376s 0.000s 2 291.892s false(reach) 250.979s 249.363s zeus08 318504960 248.740s 0.001s 2 247.129s false(reach) 277.950s 276.369s zeus22 319127552 275.714s 0.000s 2 274.178s false(reach) 275.955s 274.436s zeus07 322969600 273.742s 0.001s 2 272.228s false(reach) 276.669s 275.404s zeus09 313417728 274.809s 0.000s 2 273.354s false(reach) 320.073s 318.578s zeus11 321327104 317.978s 0.001s 2 316.538s false(reach) 304.249s 302.419s zeus10 318337024 301.725s 0.002s 2 299.951s timeout 901.005s 898.271s zeus08 324980736 897.668s 0.000s 1 896.146s timeout 901.039s 898.106s zeus17 321343488 897.505s 0.001s 1 896.060s false(reach) 291.949s 290.424s zeus21 314806272 289.827s 0.003s 2 288.365s false(reach) 269.015s 267.454s zeus14 318599168 266.845s 0.001s 2 265.349s timeout 901.086s 898.737s zeus03 321015808 898.025s 0.001s 1 896.155s timeout 901.058s 898.903s zeus04 323395584 898.246s 0.000s 1 896.662s timeout 900.986s 898.755s zeus02 318271488 898.164s 0.000s 1 896.586s timeout 900.919s 898.657s zeus05 319295488 898.057s 0.001s 1 896.504s false(reach) 237.478s 236.034s zeus13 313683968 235.448s 0.001s 2 234.024s false(reach) 249.631s 248.165s zeus22 319086592 247.578s 0.001s 2 246.187s
floats-cdfpl/sine_2_false-unreach-call.i false(reach) 187.769s 186.257s zeus17 289951744 185.662s 0.000s 2 184.261s false(reach) 222.622s 221.453s zeus07 293871616 220.809s 0.000s 2 219.361s false(reach) 331.945s 330.315s zeus19 390283264 329.700s 0.000s 2 328.201s false(reach) 234.584s 233.090s zeus02 293322752 232.483s 0.001s 2 230.923s false(reach) 346.875s 345.248s zeus21 390242304 344.660s 0.000s 2 343.206s false(reach) 208.829s 207.401s zeus11 293670912 206.785s 0.000s 2 205.154s false(reach) 220.847s 219.301s zeus20 293076992 218.489s 0.000s 2 216.799s timeout 901.056s 898.639s zeus19 397389824 898.010s 0.000s 3 830.537s false(reach) 862.162s 859.661s zeus13 312524800 859.032s 0.002s 3 788.927s false(reach) 346.787s 344.880s zeus12 394072064 344.201s 0.000s 2 342.430s false(reach) 207.291s 206.008s zeus21 293474304 205.407s 0.002s 2 203.840s false(reach) 857.853s 855.471s zeus10 311042048 854.870s 0.001s 3 779.982s false(reach) 805.359s 803.590s zeus12 312152064 802.970s 0.001s 3 733.915s false(reach) 789.740s 787.737s zeus17 314101760 787.125s 0.000s 3 721.374s false(reach) 852.482s 850.099s zeus05 309944320 849.489s 0.002s 3 777.650s false(reach) 234.595s 233.020s zeus18 293109760 232.413s 0.000s 2 230.882s false(reach) 207.285s 205.873s zeus16 292765696 205.240s 0.001s 2 203.619s
floats-cdfpl/sine_3_false-unreach-call.i timeout 900.973s 898.790s zeus24 287588352 898.191s 0.000s 1 896.703s false(reach) 88.808s 87.318s zeus20 266469376 86.526s 0.000s 2 84.623s false(reach) 99.663s 98.345s zeus13 271142912 97.733s 0.000s 2 96.199s false(reach) 81.850s 80.742s zeus24 273801216 80.156s 0.000s 2 78.685s false(reach) 76.690s 75.449s zeus23 275075072 74.842s 0.002s 2 73.367s false(reach) 107.318s 106.218s zeus18 273063936 105.601s 0.003s 2 104.172s false(reach) 87.893s 86.517s zeus04 273776640 85.900s 0.001s 2 84.282s timeout 900.928s 898.605s zeus22 292675584 898.002s 0.000s 1 896.441s timeout 900.994s 899.131s zeus06 289521664 898.521s 0.001s 1 897.035s false(reach) 83.936s 82.613s zeus01 272199680 81.995s 0.000s 2 80.460s false(reach) 79.869s 78.601s zeus07 274493440 77.965s 0.000s 2 76.492s timeout 900.992s 898.714s zeus24 287670272 898.109s 0.000s 1 896.578s timeout 901.167s 898.081s zeus03 299409408 897.381s 0.001s 1 895.792s timeout 901.080s 898.587s zeus20 284983296 897.887s 0.000s 1 896.302s timeout 900.958s 898.846s zeus18 292364288 898.238s 0.000s 1 896.769s false(reach) 87.180s 86.076s zeus23 267345920 85.474s 0.003s 2 84.026s false(reach) 82.907s 81.445s zeus03 273657856 80.571s 0.001s 2 78.638s
floats-cdfpl/square_1_false-unreach-call.i false(reach) 291.360s 289.682s zeus05 283721728 289.090s 0.001s 3 235.993s false(reach) 545.593s 543.416s zeus14 291921920 542.797s 0.002s 3 492.343s false(reach) 541.516s 539.697s zeus21 295452672 539.091s 0.000s 3 492.206s false(reach) 291.776s 289.866s zeus15 281300992 289.055s 0.001s 3 236.092s false(reach) 251.517s 250.097s zeus22 279183360 249.472s 0.002s 3 200.671s false(reach) 340.577s 338.744s zeus12 283009024 338.137s 0.001s 3 287.687s false(reach) 279.946s 278.188s zeus22 299450368 277.550s 0.004s 3 198.223s false(reach) 603.634s 601.643s zeus24 292249600 601.026s 0.003s 3 542.770s false(reach) 322.066s 320.259s zeus09 294977536 319.646s 0.001s 3 219.591s false(reach) 285.160s 283.540s zeus14 283779072 282.935s 0.000s 3 238.078s false(reach) 277.083s 275.577s zeus22 285040640 274.966s 0.001s 3 226.147s false(reach) 323.658s 322.310s zeus01 282464256 321.700s 0.000s 3 268.229s false(reach) 266.475s 264.914s zeus04 282992640 264.298s 0.000s 3 211.160s false(reach) 376.154s 374.544s zeus06 298905600 373.927s 0.006s 3 287.980s false(reach) 311.598s 309.899s zeus21 296022016 309.291s 0.000s 3 225.621s false(reach) 268.775s 267.284s zeus01 280137728 266.623s 0.002s 3 215.252s false(reach) 318.006s 316.455s zeus22 300720128 315.852s 0.001s 3 224.442s
floats-cdfpl/square_2_false-unreach-call.i false(reach) 769.624s 767.507s zeus04 372432896 766.836s 0.001s 3 682.204s false(reach) 637.747s 635.306s zeus04 300548096 634.703s 0.000s 3 518.051s false(reach) 353.415s 351.658s zeus11 305295360 351.043s 0.001s 3 251.401s false(reach) 501.935s 499.943s zeus11 374788096 499.337s 0.002s 3 417.603s false(reach) 842.254s 838.601s zeus20 306802688 837.509s 0.003s 3 724.109s false(reach) 453.763s 451.758s zeus08 306130944 451.068s 0.000s 3 362.169s false(reach) 502.347s 500.201s zeus04 303517696 499.567s 0.000s 3 391.396s false(reach) 578.195s 576.618s zeus14 309252096 576.019s 0.000s 3 455.198s false(reach) 608.978s 607.041s zeus24 310132736 606.430s 0.003s 3 526.347s false(reach) 450.947s 448.943s zeus07 314228736 448.314s 0.000s 3 314.832s false(reach) 616.565s 614.294s zeus10 306593792 613.666s 0.000s 3 531.801s false(reach) 613.605s 611.241s zeus09 304779264 610.629s 0.000s 3 477.216s false(reach) 573.227s 570.680s zeus02 307707904 569.926s 0.003s 3 461.246s false(reach) 339.017s 337.375s zeus22 309850112 336.749s 0.003s 3 223.023s false(reach) 310.502s 308.916s zeus04 309415936 308.301s 0.001s 3 197.540s false(reach) 347.532s 345.772s zeus22 311463936 345.155s 0.000s 3 225.701s false(reach) 319.567s 317.981s zeus10 307798016 317.369s 0.000s 3 230.438s
floats-cdfpl/square_3_false-unreach-call.i false(reach) 456.595s 454.145s zeus02 338825216 453.321s 0.002s 3 260.388s false(reach) 687.559s 685.301s zeus10 338444288 684.688s 0.001s 3 536.738s false(reach) 403.891s 402.035s zeus12 332275712 401.428s 0.002s 3 264.818s false(reach) 629.966s 627.155s zeus20 336125952 626.273s 0.000s 3 485.631s false(reach) 464.497s 462.434s zeus17 335470592 461.828s 0.000s 3 325.534s false(reach) 450.325s 448.666s zeus02 338960384 448.085s 0.000s 3 279.413s false(reach) 441.807s 440.086s zeus15 332697600 439.472s 0.000s 3 306.643s false(reach) 595.559s 593.499s zeus23 340295680 592.883s 0.001s 3 471.382s false(reach) 436.910s 435.170s zeus09 337518592 434.574s 0.002s 3 253.998s false(reach) 593.529s 591.606s zeus13 334565376 591.010s 0.000s 3 448.895s false(reach) 664.653s 662.804s zeus10 334061568 662.165s 0.000s 3 533.769s false(reach) 450.183s 447.882s zeus15 339853312 447.136s 0.004s 3 280.757s false(reach) 447.468s 446.023s zeus09 338513920 445.415s 0.001s 3 314.250s false(reach) 384.938s 383.237s zeus10 333279232 382.529s 0.000s 3 243.402s false(reach) 592.461s 590.621s zeus24 337657856 590.013s 0.001s 3 467.593s false(reach) 435.080s 433.241s zeus12 333221888 432.636s 0.000s 3 305.584s false(reach) 649.658s 647.394s zeus17 332673024 646.776s 0.001s 3 479.768s
floats-cdfpl/newton_1_1_true-unreach-call.i timeout 901.076s 898.727s zeus14 550002688 898.115s 0.000s 2 896.524s timeout 901.057s 899.030s zeus01 458342400 898.409s 0.000s 2 896.967s timeout 901.119s 898.878s zeus16 456028160 898.259s 0.002s 2 896.814s timeout 901.014s 898.893s zeus06 462012416 898.257s 0.003s 2 896.763s timeout 901.052s 899.162s zeus16 456298496 898.516s 0.000s 2 897.032s timeout 901.104s 899.222s zeus01 459239424 898.584s 0.000s 2 897.133s timeout 901.077s 899.028s zeus17 543416320 898.417s 0.001s 2 896.960s timeout 901.103s 898.597s zeus06 457322496 897.964s 0.000s 2 896.469s timeout 901.073s 899.002s zeus08 465043456 898.395s 0.001s 2 896.944s timeout 901.121s 898.977s zeus17 546729984 898.341s 0.003s 2 896.817s timeout 901.366s 897.937s zeus15 544653312 897.165s 0.000s 2 895.362s timeout 901.035s 898.877s zeus14 444641280 898.266s 0.002s 2 896.772s timeout 901.385s 898.465s zeus03 464715776 897.626s 0.001s 2 895.740s timeout 901.275s 898.616s zeus15 542105600 897.796s 0.002s 2 895.926s timeout 901.083s 899.125s zeus08 455286784 898.506s 0.001s 2 896.954s timeout 901.074s 899.251s zeus07 459911168 898.577s 0.003s 2 897.088s timeout 901.045s 899.070s zeus19 460656640 898.464s 0.000s 2 896.969s
floats-cdfpl/newton_1_2_true-unreach-call.i timeout 901.005s 899.263s zeus07 548556800 898.621s 0.001s 2 897.143s timeout 901.109s 898.692s zeus14 555622400 898.083s 0.000s 2 896.579s timeout 901.112s 898.591s zeus07 474189824 897.921s 0.001s 2 896.298s timeout 901.119s 899.028s zeus17 545075200 898.406s 0.000s 2 896.939s timeout 901.363s 898.575s zeus02 549167104 897.766s 0.002s 2 895.972s timeout 901.121s 898.589s zeus15 462364672 897.957s 0.000s 2 896.381s timeout 901.059s 899.081s zeus04 472444928 898.433s 0.002s 2 896.868s timeout 901.144s 898.692s zeus14 549715968 898.034s 0.001s 2 896.433s timeout 901.128s 898.615s zeus17 552251392 897.985s 0.003s 2 896.469s timeout 901.089s 899.091s zeus19 468918272 898.459s 0.003s 2 896.868s timeout 901.076s 898.978s zeus12 549023744 898.357s 0.000s 2 896.884s timeout 901.064s 898.915s zeus07 467034112 898.256s 0.000s 2 896.646s timeout 901.038s 899.358s zeus21 468193280 898.759s 0.001s 2 897.317s timeout 901.131s 898.816s zeus05 547958784 898.175s 0.001s 2 896.674s timeout 901.383s 898.304s zeus15 544272384 897.434s 0.002s 2 895.433s timeout 901.069s 898.649s zeus13 465166336 898.027s 0.001s 2 896.497s timeout 901.048s 898.694s zeus22 548671488 898.073s 0.000s 2 896.614s
floats-cdfpl/newton_1_3_true-unreach-call.i timeout 901.086s 898.724s zeus22 455106560 898.099s 0.001s 2 896.610s timeout 901.127s 898.863s zeus19 443686912 898.226s 0.003s 2 896.736s timeout 901.103s 898.806s zeus04 577425408 898.175s 0.000s 2 896.733s timeout 901.031s 899.263s zeus18 449138688 898.638s 0.002s 2 897.134s timeout 901.087s 899.542s zeus01 694775808 898.833s 0.000s 2 897.337s timeout 901.095s 898.374s zeus10 588955648 897.758s 0.001s 2 896.323s timeout 901.080s 898.830s zeus11 439242752 898.211s 0.002s 2 896.692s timeout 901.079s 899.065s zeus10 586903552 898.419s 0.002s 2 896.933s timeout 901.077s 898.713s zeus08 447746048 898.107s 0.001s 2 896.644s timeout 901.121s 898.759s zeus08 579870720 898.113s 0.002s 2 896.606s timeout 901.074s 899.235s zeus13 440700928 898.614s 0.002s 2 897.154s timeout 901.061s 899.042s zeus04 443670528 898.417s 0.001s 2 896.924s timeout 901.028s 899.000s zeus04 453238784 898.397s 0.002s 2 896.872s timeout 901.407s 897.615s zeus15 582328320 896.811s 0.002s 2 894.835s timeout 901.134s 898.685s zeus18 587104256 898.026s 0.002s 2 896.436s timeout 901.095s 898.660s zeus18 587550720 898.032s 0.001s 2 896.453s timeout 901.267s 898.246s zeus15 581869568 897.469s 0.001s 2 895.757s
floats-cdfpl/newton_2_1_true-unreach-call.i timeout 901.262s 899.170s zeus01 539299840 898.516s 0.004s 2 897.002s timeout 901.138s 899.006s zeus14 533635072 898.383s 0.002s 2 896.880s timeout 901.142s 898.919s zeus07 542662656 898.255s 0.002s 2 896.794s timeout 901.195s 898.750s zeus13 702058496 898.113s 0.002s 2 896.558s timeout 901.415s 898.918s zeus15 538746880 898.098s 0.004s 2 896.224s timeout 901.145s 899.324s zeus18 541937664 898.717s 0.004s 2 897.209s timeout 901.257s 899.095s zeus14 535977984 898.461s 0.001s 2 896.887s timeout 901.165s 899.138s zeus01 713850880 898.506s 0.003s 2 897.052s timeout 901.285s 898.626s zeus22 717438976 897.968s 0.006s 2 896.319s timeout 901.179s 899.005s zeus10 707792896 898.365s 0.004s 2 896.859s timeout 901.305s 898.504s zeus12 529866752 897.860s 0.003s 2 896.324s timeout 901.229s 899.068s zeus19 537796608 898.441s 0.002s 2 896.904s timeout 901.198s 898.756s zeus05 538783744 898.149s 0.000s 2 896.707s timeout 901.215s 898.860s zeus07 537882624 898.205s 0.001s 2 896.759s timeout 901.229s 899.239s zeus10 691310592 898.606s 0.001s 2 896.983s timeout 901.429s 898.437s zeus02 536924160 897.624s 0.001s 2 895.488s timeout 901.364s 898.510s zeus15 531017728 897.745s 0.003s 2 895.829s
floats-cdfpl/newton_2_2_true-unreach-call.i timeout 901.137s 899.288s zeus22 632197120 898.666s 0.001s 2 897.163s timeout 901.252s 898.989s zeus04 644775936 898.351s 0.001s 2 896.781s timeout 901.342s 898.965s zeus20 639348736 898.231s 0.003s 2 896.598s timeout 901.192s 899.027s zeus04 621219840 898.378s 0.002s 2 896.689s timeout 901.187s 898.749s zeus24 634441728 898.114s 0.001s 2 896.614s timeout 901.237s 898.644s zeus19 672546816 897.994s 0.003s 2 896.440s timeout 901.572s 898.646s zeus15 628461568 897.687s 0.002s 2 895.489s timeout 901.339s 898.006s zeus20 675573760 897.242s 0.001s 2 895.562s timeout 901.208s 899.183s zeus09 643911680 898.551s 0.001s 2 896.997s timeout 901.206s 899.454s zeus19 643842048 898.814s 0.003s 2 897.158s timeout 901.458s 897.813s zeus03 631582720 897.024s 0.002s 2 895.195s timeout 901.236s 898.531s zeus13 652558336 897.881s 0.003s 2 896.289s timeout 901.231s 899.077s zeus12 622256128 898.443s 0.006s 2 896.834s timeout 901.314s 898.427s zeus17 638631936 897.794s 0.003s 2 896.219s timeout 901.154s 899.339s zeus21 629116928 898.731s 0.004s 2 897.207s timeout 901.116s 899.284s zeus08 634384384 898.662s 0.000s 2 897.163s timeout 901.202s 898.651s zeus17 630595584 897.994s 0.002s 2 896.405s
floats-cdfpl/newton_2_3_true-unreach-call.i timeout 901.138s 899.193s zeus24 586244096 898.559s 0.001s 2 897.035s timeout 901.182s 899.041s zeus22 594018304 898.403s 0.003s 2 896.778s timeout 901.199s 899.087s zeus17 599334912 898.478s 0.001s 2 897.016s timeout 901.193s 898.252s zeus13 593784832 897.630s 0.000s 2 896.047s timeout 901.223s 898.939s zeus02 590893056 898.303s 0.001s 2 896.703s timeout 901.149s 898.898s zeus22 582266880 898.270s 0.002s 2 896.645s timeout 901.208s 898.856s zeus09 562921472 898.217s 0.001s 2 896.629s timeout 901.192s 898.943s zeus17 584687616 898.316s 0.002s 2 896.732s timeout 901.676s 897.875s zeus03 567365632 896.900s 0.003s 2 894.901s timeout 901.239s 898.746s zeus16 587853824 898.081s 0.003s 2 896.562s timeout 901.175s 899.073s zeus02 583143424 898.455s 0.003s 2 896.934s timeout 901.248s 898.574s zeus10 587894784 897.944s 0.002s 2 896.455s timeout 901.213s 898.898s zeus07 603136000 898.249s 0.001s 2 896.701s timeout 901.148s 898.800s zeus09 587784192 898.186s 0.001s 2 896.629s timeout 901.166s 899.226s zeus21 607092736 898.602s 0.000s 2 897.097s timeout 901.256s 898.442s zeus20 580251648 897.737s 0.002s 2 896.026s timeout 901.183s 898.815s zeus19 589258752 898.191s 0.003s 2 896.597s
floats-cdfpl/newton_2_4_true-unreach-call.i timeout 901.161s 898.670s zeus05 517394432 898.061s 0.000s 1 896.562s timeout 901.527s 898.588s zeus02 522612736 897.731s 0.000s 1 895.925s timeout 901.129s 899.144s zeus10 514678784 898.526s 0.001s 1 897.050s timeout 901.175s 898.995s zeus09 520519680 898.376s 0.003s 1 896.892s timeout 901.142s 898.793s zeus07 520470528 898.149s 0.001s 1 896.666s timeout 901.217s 899.046s zeus07 516542464 898.382s 0.002s 1 896.926s timeout 901.224s 898.794s zeus01 521007104 898.175s 0.001s 1 896.730s timeout 901.336s 898.608s zeus02 518221824 897.935s 0.002s 1 896.367s timeout 901.252s 898.882s zeus04 514605056 898.254s 0.000s 1 896.762s timeout 901.224s 899.054s zeus22 525410304 898.429s 0.000s 1 896.874s timeout 901.256s 899.185s zeus21 517668864 898.552s 0.001s 1 897.095s timeout 901.107s 899.293s zeus17 516603904 898.685s 0.001s 1 897.204s timeout 901.133s 899.324s zeus23 522575872 898.712s 0.001s 1 897.226s timeout 901.235s 898.814s zeus12 515026944 898.209s 0.001s 1 896.698s timeout 901.380s 898.204s zeus03 520081408 897.470s 0.002s 1 895.764s timeout 901.233s 898.981s zeus01 521502720 898.332s 0.002s 1 896.691s timeout 901.161s 899.289s zeus23 517652480 898.675s 0.001s 1 897.212s
floats-cdfpl/newton_2_5_true-unreach-call.i timeout 901.287s 898.615s zeus15 550195200 897.939s 0.002s 2 896.294s timeout 901.205s 899.066s zeus19 545402880 898.428s 0.001s 2 896.924s timeout 901.172s 898.250s zeus05 552919040 897.634s 0.001s 2 896.075s timeout 901.165s 899.191s zeus06 559689728 898.545s 0.001s 2 897.085s timeout 901.171s 898.842s zeus09 565800960 898.228s 0.004s 2 896.730s timeout 901.950s 898.248s zeus03 576262144 897.052s 0.001s 2 894.667s timeout 901.126s 898.813s zeus08 566288384 898.187s 0.001s 2 896.539s timeout 901.452s 898.410s zeus20 577519616 897.597s 0.004s 2 895.705s timeout 901.161s 899.040s zeus18 595804160 898.400s 0.001s 2 896.814s timeout 901.137s 898.802s zeus12 567287808 898.182s 0.002s 2 896.720s timeout 901.172s 898.687s zeus16 568102912 898.046s 0.004s 2 896.526s timeout 901.218s 898.803s zeus09 568930304 898.160s 0.001s 2 896.628s timeout 901.190s 899.172s zeus13 597299200 898.529s 0.004s 2 896.953s timeout 901.203s 898.779s zeus16 583864320 898.134s 0.004s 2 896.523s timeout 901.223s 898.558s zeus11 569126912 897.935s 0.003s 2 896.454s timeout 901.263s 898.349s zeus22 605253632 897.712s 0.006s 2 896.133s timeout 901.201s 899.200s zeus19 568954880 898.564s 0.001s 2 897.063s
floats-cdfpl/newton_3_1_true-unreach-call.i timeout 901.308s 897.944s zeus05 1563234304 897.327s 0.000s 2 895.675s timeout 901.369s 897.860s zeus18 1190567936 897.229s 0.002s 2 895.672s timeout 901.304s 898.345s zeus17 1520750592 897.699s 0.005s 2 896.174s timeout 901.405s 897.484s zeus08 1521115136 896.837s 0.004s 2 895.184s timeout 901.476s 897.675s zeus01 1516965888 897.012s 0.005s 2 895.378s timeout 901.390s 897.519s zeus18 1563054080 896.888s 0.001s 2 895.316s timeout 901.415s 897.710s zeus09 1556611072 897.046s 0.003s 2 895.466s timeout 901.440s 897.474s zeus05 1530130432 896.805s 0.005s 2 895.136s timeout 901.437s 897.261s zeus15 1513811968 896.623s 0.004s 2 895.067s timeout 901.379s 897.492s zeus11 1510342656 896.856s 0.003s 2 895.364s timeout 901.432s 897.773s zeus18 1544028160 897.140s 0.002s 2 895.530s timeout 901.396s 897.849s zeus04 1532989440 897.218s 0.002s 2 895.736s timeout 901.400s 897.910s zeus11 1519845376 897.259s 0.004s 2 895.774s timeout 901.456s 897.854s zeus18 1513111552 897.195s 0.002s 2 895.601s timeout 901.362s 897.852s zeus24 1520062464 897.201s 0.002s 2 895.599s timeout 901.391s 897.413s zeus10 1522110464 896.765s 0.002s 2 895.153s timeout 901.411s 897.852s zeus05 1555615744 897.203s 0.004s 2 895.650s
floats-cdfpl/newton_3_2_true-unreach-call.i timeout 901.479s 897.137s zeus09 1522065408 896.471s 0.001s 2 894.879s timeout 901.420s 897.050s zeus13 1506086912 896.410s 0.001s 2 894.801s timeout 901.415s 897.482s zeus14 1540444160 896.823s 0.001s 2 895.276s timeout 901.462s 897.479s zeus19 1544654848 896.841s 0.002s 2 895.279s timeout 901.420s 897.846s zeus14 1189163008 897.214s 0.001s 2 895.677s timeout 901.360s 897.530s zeus09 1541947392 896.895s 0.009s 2 895.387s timeout 901.387s 897.338s zeus22 1537114112 896.684s 0.004s 2 895.188s timeout 901.372s 897.870s zeus12 1509253120 897.235s 0.004s 2 895.726s timeout 901.393s 897.757s zeus18 1516150784 897.109s 0.004s 2 895.607s timeout 901.504s 897.844s zeus11 1538985984 897.197s 0.004s 2 895.634s timeout 901.472s 897.567s zeus24 1524375552 896.928s 0.002s 2 895.359s timeout 901.400s 897.560s zeus09 1539715072 896.935s 0.002s 2 895.439s timeout 901.320s 898.170s zeus05 1510166528 897.547s 0.001s 2 896.028s timeout 901.448s 897.864s zeus04 1516879872 897.192s 0.007s 2 895.572s timeout 901.356s 898.046s zeus19 1190760448 897.415s 0.003s 2 895.807s timeout 901.416s 897.511s zeus18 1506926592 896.863s 0.006s 2 895.300s timeout 901.320s 898.127s zeus05 1515290624 897.491s 0.004s 2 896.002s
floats-cdfpl/newton_3_3_true-unreach-call.i timeout 901.724s 897.207s zeus03 1524654080 896.303s 0.003s 2 894.515s timeout 901.390s 897.688s zeus08 1536155648 897.059s 0.002s 2 895.539s timeout 901.424s 897.550s zeus06 1514143744 896.926s 0.005s 2 895.407s timeout 901.734s 897.155s zeus03 1505312768 896.343s 0.001s 2 894.600s timeout 901.394s 897.931s zeus10 1531797504 897.283s 0.001s 2 895.771s timeout 901.604s 897.258s zeus20 1511206912 896.509s 0.006s 2 894.774s timeout 901.430s 897.064s zeus04 1513201664 896.420s 0.006s 2 894.821s timeout 901.413s 897.980s zeus08 1537912832 897.339s 0.005s 2 895.827s timeout 901.361s 897.578s zeus18 1520820224 896.935s 0.009s 2 895.390s timeout 901.397s 897.550s zeus10 1513840640 896.919s 0.002s 2 895.421s timeout 901.390s 897.816s zeus01 1512611840 897.171s 0.003s 2 895.595s timeout 901.442s 897.242s zeus22 1515610112 896.572s 0.005s 2 894.900s timeout 901.332s 897.833s zeus12 1516244992 897.194s 0.003s 2 895.653s timeout 901.345s 898.009s zeus09 1515511808 897.378s 0.005s 2 895.845s timeout 901.459s 897.902s zeus09 1512333312 897.266s 0.007s 2 895.688s timeout 901.454s 897.209s zeus21 1515585536 896.559s 0.004s 2 895.097s timeout 901.370s 898.159s zeus18 1540341760 897.526s 0.002s 2 896.013s
floats-cdfpl/newton_3_4_true-unreach-call.i timeout 901.505s 897.776s zeus21 1193013248 897.150s 0.000s 1 895.666s timeout 901.630s 897.543s zeus15 1195958272 896.815s 0.001s 1 895.105s timeout 901.444s 898.106s zeus11 1200701440 897.464s 0.003s 1 895.981s timeout 901.392s 898.296s zeus16 1206419456 897.666s 0.001s 1 896.209s timeout 901.374s 897.850s zeus04 1211047936 897.196s 0.002s 1 895.575s timeout 901.568s 897.826s zeus03 1196343296 897.091s 0.000s 1 895.470s timeout 901.636s 897.114s zeus20 1197363200 896.379s 0.001s 1 894.638s timeout 901.413s 898.073s zeus16 1194172416 897.442s 0.000s 1 895.874s timeout 901.629s 897.871s zeus02 1196843008 897.068s 0.001s 1 895.425s timeout 901.406s 898.073s zeus09 1199280128 897.429s 0.003s 1 895.809s timeout 901.463s 898.451s zeus10 1203666944 897.811s 0.000s 1 896.334s timeout 901.417s 897.839s zeus05 1209790464 897.222s 0.001s 1 895.731s timeout 901.908s 897.649s zeus02 1189818368 896.681s 0.001s 1 894.787s timeout 901.430s 897.955s zeus17 1210052608 897.315s 0.001s 1 895.796s timeout 901.487s 897.934s zeus01 1213362176 897.282s 0.001s 1 895.777s timeout 901.345s 898.489s zeus24 1198653440 897.856s 0.000s 1 896.312s timeout 901.452s 897.943s zeus10 1183473664 897.305s 0.003s 1 895.829s
floats-cdfpl/newton_3_5_true-unreach-call.i timeout 901.348s 897.809s zeus06 1475731456 897.139s 0.004s 2 895.591s timeout 901.442s 897.519s zeus19 1472794624 896.881s 0.003s 2 895.378s timeout 901.379s 897.799s zeus22 1483829248 897.131s 0.004s 2 895.539s timeout 901.371s 897.988s zeus06 1472503808 897.341s 0.003s 2 895.775s timeout 901.365s 898.114s zeus03 1484128256 897.477s 0.005s 2 895.944s timeout 901.492s 897.848s zeus23 1477066752 897.190s 0.007s 2 895.704s timeout 901.370s 897.580s zeus03 1477427200 896.936s 0.004s 2 895.320s timeout 901.499s 898.031s zeus02 1468596224 897.310s 0.006s 2 895.706s timeout 901.474s 897.319s zeus01 1474531328 896.673s 0.003s 2 895.221s timeout 901.465s 896.820s zeus05 1468272640 896.171s 0.003s 2 894.492s timeout 901.440s 897.654s zeus11 1483517952 897.013s 0.004s 2 895.428s timeout 901.424s 897.972s zeus05 1472872448 897.332s 0.004s 2 895.854s timeout 901.409s 897.667s zeus09 1473572864 897.034s 0.004s 2 895.452s timeout 901.441s 897.697s zeus14 1134632960 897.050s 0.001s 2 895.416s timeout 901.430s 896.963s zeus14 1462964224 896.314s 0.001s 2 894.739s timeout 901.329s 897.710s zeus12 1481584640 897.097s 0.007s 2 895.607s timeout 901.473s 897.931s zeus08 1476628480 897.268s 0.003s 2 895.727s
floats-cdfpl/sine_4_true-unreach-call.i timeout 900.971s 898.471s zeus19 391737344 897.846s 0.001s 2 896.317s timeout 900.963s 898.936s zeus22 400736256 898.319s 0.000s 2 896.744s timeout 901.274s 898.233s zeus15 395358208 897.405s 0.000s 2 895.608s timeout 900.968s 898.851s zeus22 447143936 898.228s 0.002s 2 896.705s timeout 900.949s 898.889s zeus04 436813824 898.285s 0.000s 2 896.785s timeout 901.017s 899.007s zeus07 391061504 898.363s 0.000s 2 896.927s timeout 900.966s 898.487s zeus19 392486912 897.883s 0.001s 2 896.363s timeout 901.002s 898.461s zeus16 276914176 897.845s 0.001s 1 896.410s timeout 901.026s 898.277s zeus23 283459584 897.685s 0.000s 1 820.761s timeout 901.319s 897.777s zeus15 443797504 896.929s 0.001s 2 894.909s timeout 901.038s 898.728s zeus24 391979008 898.087s 0.000s 2 896.566s timeout 901.245s 898.576s zeus03 278867968 897.703s 0.000s 1 895.751s timeout 900.971s 898.623s zeus16 278228992 898.020s 0.000s 1 858.483s timeout 901.156s 898.651s zeus15 279572480 897.955s 0.000s 1 896.287s timeout 901.604s 897.949s zeus03 283860992 896.866s 0.000s 1 894.588s timeout 901.206s 898.416s zeus03 383750144 897.676s 0.000s 2 896.090s timeout 901.002s 898.648s zeus07 440098816 898.013s 0.001s 2 896.510s
floats-cdfpl/sine_5_true-unreach-call.i timeout 901.029s 898.670s zeus24 353779712 898.064s 0.000s 2 896.611s timeout 901.044s 898.687s zeus23 354611200 898.037s 0.001s 2 896.538s timeout 900.966s 898.700s zeus18 344006656 898.098s 0.001s 2 896.684s timeout 900.981s 898.696s zeus10 349650944 898.068s 0.001s 2 896.518s timeout 900.960s 898.977s zeus12 352747520 898.359s 0.000s 2 896.885s timeout 900.989s 898.546s zeus17 349569024 897.946s 0.000s 2 896.478s timeout 901.011s 898.707s zeus12 343298048 898.108s 0.000s 2 896.601s timeout 901.021s 898.316s zeus10 275668992 897.694s 0.000s 1 896.231s timeout 900.904s 898.871s zeus06 280698880 898.267s 0.000s 1 896.835s timeout 901.308s 898.183s zeus15 346165248 897.394s 0.001s 2 895.625s timeout 901.061s 898.574s zeus18 349839360 897.949s 0.000s 2 896.325s timeout 900.989s 898.613s zeus19 279396352 898.017s 0.001s 1 896.580s timeout 900.964s 899.041s zeus15 276275200 898.425s 0.001s 1 896.972s timeout 901.020s 898.734s zeus18 283713536 898.121s 0.001s 1 896.660s timeout 900.984s 898.444s zeus12 278593536 897.848s 0.002s 1 896.415s timeout 900.968s 899.010s zeus07 348135424 898.371s 0.002s 2 896.849s timeout 900.998s 899.197s zeus19 346456064 898.577s 0.000s 2 897.079s
floats-cdfpl/sine_6_true-unreach-call.i timeout 901.020s 898.218s zeus08 278757376 897.622s 0.000s 1 896.191s timeout 901.253s 898.017s zeus20 380026880 897.276s 0.001s 2 895.667s timeout 900.925s 899.386s zeus16 372703232 898.760s 0.000s 2 897.274s timeout 901.036s 898.645s zeus19 393388032 898.033s 0.001s 2 896.563s timeout 900.954s 899.332s zeus22 378064896 898.706s 0.000s 2 897.268s timeout 901.019s 899.071s zeus08 392433664 898.410s 0.000s 2 896.855s timeout 901.247s 898.443s zeus15 393170944 897.641s 0.001s 2 895.873s timeout 900.980s 898.802s zeus18 326979584 898.206s 0.002s 1 833.982s timeout 900.945s 898.726s zeus08 282308608 898.141s 0.000s 1 860.523s timeout 901.000s 898.259s zeus21 401231872 897.656s 0.000s 2 896.032s timeout 900.951s 898.854s zeus05 376250368 898.229s 0.001s 2 896.749s timeout 900.934s 898.282s zeus18 287674368 897.711s 0.001s 1 823.191s timeout 901.022s 898.721s zeus03 280276992 898.107s 0.002s 2 792.618s timeout 900.980s 898.536s zeus12 281473024 897.928s 0.001s 1 896.409s timeout 900.943s 898.481s zeus16 279474176 897.896s 0.000s 2 796.119s timeout 901.317s 898.500s zeus15 389181440 897.622s 0.002s 2 895.884s timeout 900.977s 898.797s zeus07 377032704 898.155s 0.000s 2 896.763s
floats-cdfpl/sine_7_true-unreach-call.i timeout 901.021s 898.498s zeus05 304922624 897.902s 0.001s 2 635.720s timeout 901.413s 897.833s zeus02 425947136 896.932s 0.001s 2 894.871s timeout 901.063s 898.615s zeus19 430219264 897.988s 0.000s 2 896.540s timeout 900.990s 898.645s zeus21 421531648 898.026s 0.000s 2 896.539s timeout 900.987s 898.974s zeus04 425992192 898.338s 0.001s 2 896.808s timeout 900.977s 898.511s zeus07 474525696 897.881s 0.000s 2 896.322s timeout 901.134s 898.174s zeus10 422449152 897.473s 0.003s 2 895.760s timeout 901.407s 897.545s zeus20 307638272 896.745s 0.001s 2 672.871s timeout 901.151s 897.964s zeus20 301535232 897.298s 0.003s 2 697.555s timeout 900.988s 898.699s zeus06 432599040 898.086s 0.001s 2 896.534s timeout 901.753s 897.750s zeus20 421957632 896.530s 0.000s 2 894.145s timeout 900.949s 898.420s zeus17 305123328 897.816s 0.002s 3 629.237s timeout 900.963s 898.953s zeus06 310050816 898.323s 0.002s 3 642.834s timeout 900.886s 898.530s zeus09 301625344 897.946s 0.003s 1 712.221s timeout 900.970s 897.775s zeus14 311431168 897.189s 0.001s 2 630.331s timeout 900.998s 898.996s zeus23 427687936 898.385s 0.000s 2 896.937s timeout 901.179s 898.404s zeus15 429244416 897.673s 0.000s 2 896.042s
floats-cdfpl/sine_8_true-unreach-call.i timeout 901.020s 898.413s zeus03 358068224 897.783s 0.001s 2 896.249s timeout 901.060s 898.608s zeus01 351948800 897.976s 0.000s 2 896.550s timeout 900.996s 898.506s zeus18 348561408 897.884s 0.001s 2 896.398s timeout 900.865s 899.029s zeus22 366145536 898.446s 0.001s 2 896.950s timeout 901.020s 898.802s zeus01 357769216 898.198s 0.003s 2 896.715s timeout 900.988s 898.691s zeus18 364343296 898.071s 0.000s 2 896.609s timeout 901.013s 898.231s zeus18 405299200 897.626s 0.001s 2 896.130s timeout 900.933s 898.704s zeus04 303824896 898.109s 0.001s 1 896.650s timeout 901.003s 898.532s zeus05 300011520 897.936s 0.000s 1 896.465s timeout 900.927s 899.627s zeus14 359071744 899.011s 0.001s 2 897.525s timeout 901.370s 897.759s zeus15 357826560 896.895s 0.003s 2 895.033s timeout 900.927s 898.903s zeus13 299323392 898.318s 0.001s 1 896.904s timeout 900.986s 898.585s zeus19 302600192 897.997s 0.000s 1 896.567s timeout 900.994s 898.514s zeus23 306790400 897.915s 0.000s 1 896.460s timeout 900.937s 898.734s zeus24 306749440 898.133s 0.001s 1 896.681s timeout 900.990s 898.999s zeus10 354095104 898.383s 0.000s 2 896.855s timeout 900.941s 898.888s zeus19 361443328 898.285s 0.000s 2 896.807s
floats-cdfpl/square_4_true-unreach-call.i timeout 901.450s 898.421s zeus20 440721408 897.434s 0.004s 3 757.319s timeout 900.978s 898.280s zeus09 355958784 897.672s 0.000s 3 747.206s timeout 901.241s 898.046s zeus02 356085760 897.272s 0.001s 3 697.317s timeout 901.020s 898.772s zeus24 397275136 898.146s 0.000s 3 757.244s timeout 900.999s 898.607s zeus06 391704576 897.975s 0.002s 3 707.073s timeout 901.045s 898.523s zeus04 346787840 897.904s 0.000s 3 744.541s timeout 901.010s 898.986s zeus14 399228928 898.352s 0.002s 3 724.544s timeout 901.046s 898.648s zeus05 404144128 898.040s 0.001s 3 749.435s timeout 900.995s 898.509s zeus18 417423360 897.886s 0.002s 3 755.887s timeout 901.016s 898.762s zeus02 412889088 898.156s 0.000s 3 754.822s timeout 901.310s 898.262s zeus03 433000448 897.379s 0.001s 3 743.736s timeout 900.986s 898.700s zeus07 346693632 898.048s 0.000s 3 754.413s timeout 900.919s 898.955s zeus04 341831680 898.345s 0.002s 3 756.377s timeout 901.057s 898.446s zeus24 368676864 897.829s 0.002s 3 751.497s timeout 901.058s 898.449s zeus21 346034176 897.846s 0.001s 3 759.365s timeout 900.995s 898.726s zeus06 384704512 898.115s 0.003s 3 738.892s timeout 900.988s 898.371s zeus17 364113920 897.761s 0.000s 3 742.979s
floats-cdfpl/square_5_true-unreach-call.i timeout 901.209s 898.321s zeus02 411615232 897.511s 0.002s 3 800.950s timeout 901.036s 898.589s zeus18 452943872 897.946s 0.000s 3 849.201s timeout 900.999s 898.646s zeus14 419450880 898.043s 0.002s 3 848.924s timeout 900.998s 898.665s zeus14 387182592 898.054s 0.000s 3 848.015s timeout 900.939s 898.699s zeus23 431149056 898.087s 0.002s 3 853.033s timeout 900.953s 898.954s zeus10 446590976 898.349s 0.000s 3 848.291s timeout 901.062s 898.429s zeus23 454975488 897.787s 0.002s 3 824.307s timeout 901.082s 898.151s zeus15 483667968 897.514s 0.001s 3 798.343s timeout 901.057s 898.488s zeus14 415649792 897.870s 0.003s 3 847.099s timeout 901.014s 898.782s zeus07 431443968 898.131s 0.002s 3 822.103s timeout 900.993s 898.703s zeus16 371781632 898.095s 0.003s 3 854.900s timeout 901.008s 898.816s zeus23 349151232 898.188s 0.001s 3 797.895s timeout 900.992s 898.951s zeus24 415653888 898.315s 0.002s 3 851.894s timeout 900.963s 899.192s zeus19 471101440 898.588s 0.002s 3 843.032s timeout 901.043s 898.410s zeus21 379600896 897.789s 0.001s 3 810.012s timeout 901.034s 898.337s zeus19 436441088 897.724s 0.001s 3 842.431s timeout 901.204s 898.357s zeus15 424820736 897.570s 0.000s 3 808.403s
floats-cdfpl/square_6_true-unreach-call.i timeout 900.998s 898.777s zeus05 401768448 898.182s 0.000s 3 864.359s timeout 901.010s 899.014s zeus09 367476736 898.399s 0.001s 3 864.364s timeout 901.024s 898.237s zeus11 383471616 897.629s 0.002s 3 864.453s timeout 901.470s 897.784s zeus15 386961408 896.767s 0.000s 3 863.342s timeout 901.008s 899.080s zeus10 347025408 898.462s 0.000s 3 865.886s timeout 901.004s 898.368s zeus08 459972608 897.734s 0.002s 3 826.659s timeout 901.077s 898.343s zeus09 504373248 897.724s 0.002s 3 835.453s timeout 901.031s 898.802s zeus03 437997568 898.174s 0.001s 3 868.315s timeout 900.961s 898.753s zeus10 350511104 898.149s 0.001s 3 864.656s timeout 900.948s 899.321s zeus07 363884544 898.684s 0.002s 3 867.476s timeout 900.955s 898.918s zeus08 489017344 898.291s 0.001s 3 868.311s timeout 901.035s 898.522s zeus17 437682176 897.899s 0.000s 3 867.431s timeout 901.036s 898.732s zeus12 489549824 898.121s 0.000s 3 864.427s timeout 901.039s 898.262s zeus19 434221056 897.640s 0.001s 3 864.929s timeout 901.091s 897.942s zeus22 339222528 897.326s 0.001s 3 860.838s timeout 900.964s 898.776s zeus04 368820224 898.153s 0.003s 3 823.475s timeout 901.366s 898.020s zeus15 382160896 897.090s 0.000s 3 861.017s
floats-cdfpl/square_7_true-unreach-call.i timeout 900.987s 898.658s zeus22 357347328 898.054s 0.001s 3 775.213s timeout 900.980s 898.914s zeus09 414126080 898.317s 0.001s 3 740.386s timeout 901.045s 898.080s zeus14 410759168 897.472s 0.003s 3 765.212s timeout 901.007s 898.499s zeus14 389353472 897.890s 0.000s 3 753.833s timeout 901.067s 898.395s zeus18 411594752 897.752s 0.000s 3 765.241s timeout 901.272s 898.363s zeus03 412495872 897.490s 0.001s 3 733.965s timeout 900.963s 898.990s zeus13 353570816 898.363s 0.001s 3 779.979s timeout 901.074s 898.179s zeus10 352993280 897.535s 0.000s 3 777.693s timeout 901.082s 898.265s zeus23 414072832 897.637s 0.001s 3 778.295s timeout 900.958s 898.525s zeus08 358068224 897.912s 0.001s 3 716.531s timeout 901.052s 898.448s zeus08 412553216 897.824s 0.003s 3 774.145s timeout 900.999s 898.784s zeus16 423882752 898.148s 0.003s 3 772.963s timeout 901.070s 898.461s zeus21 444973056 897.835s 0.001s 3 754.547s timeout 900.973s 898.632s zeus22 552620032 898.020s 0.002s 3 764.431s timeout 900.982s 898.479s zeus17 414003200 897.885s 0.002s 3 744.279s timeout 901.030s 898.566s zeus10 354246656 897.930s 0.001s 3 786.682s timeout 900.981s 898.608s zeus01 400932864 897.996s 0.002s 3 772.273s
floats-cdfpl/square_8_true-unreach-call.i timeout 900.917s 899.253s zeus09 530432000 898.643s 0.000s 2 390.127s timeout 900.945s 898.969s zeus24 535760896 898.334s 0.000s 2 435.193s timeout 900.989s 898.761s zeus18 587591680 898.163s 0.000s 2 186.587s timeout 900.965s 898.798s zeus11 497557504 898.200s 0.000s 2 452.695s timeout 901.015s 898.557s zeus18 584826880 897.915s 0.000s 2 263.832s timeout 900.991s 898.719s zeus14 539213824 898.106s 0.001s 2 390.073s timeout 901.186s 898.255s zeus02 578150400 897.505s 0.001s 2 198.838s timeout 900.993s 898.877s zeus23 490831872 898.283s 0.000s 2 501.264s timeout 901.557s 897.608s zeus20 579973120 896.567s 0.002s 2 239.629s timeout 901.340s 897.803s zeus02 581873664 896.908s 0.003s 2 236.430s timeout 901.040s 898.581s zeus07 536485888 897.925s 0.000s 2 391.842s timeout 901.004s 898.717s zeus17 578260992 898.125s 0.003s 2 258.556s timeout 901.023s 898.319s zeus05 508698624 897.715s 0.001s 2 463.879s timeout 901.055s 898.337s zeus12 578625536 897.748s 0.002s 2 259.601s timeout 901.103s 898.582s zeus20 522280960 897.888s 0.002s 2 452.631s timeout 900.977s 898.405s zeus23 459395072 897.799s 0.001s 2 512.888s timeout 901.003s 898.988s zeus01 578703360 898.394s 0.000s 2 273.873s
floats-cbmc-regression/float-flags-simp1_true-unreach-call.i false(reach) 6.100s 3.968s zeus07 244314112 3.290s 0.013s 13 1.282s false(reach) 6.324s 4.090s zeus19 243650560 3.445s 0.008s 13 1.298s false(reach) 6.318s 4.005s zeus21 245559296 3.364s 0.008s 13 1.332s false(reach) 6.175s 4.004s zeus08 245972992 3.369s 0.008s 13 1.316s false(reach) 6.644s 4.352s zeus15 244158464 3.598s 0.008s 13 1.293s false(reach) 6.291s 4.026s zeus14 242270208 3.387s 0.009s 13 1.300s false(reach) 6.182s 4.024s zeus09 246759424 3.377s 0.011s 13 1.311s false(reach) 6.628s 4.446s zeus15 242970624 3.675s 0.012s 13 1.363s false(reach) 7.395s 4.927s zeus03 244224000 4.158s 0.009s 13 1.518s false(reach) 6.057s 3.930s zeus11 242774016 3.295s 0.006s 13 1.307s false(reach) 6.283s 4.045s zeus04 241217536 3.403s 0.007s 13 1.311s false(reach) 6.287s 4.080s zeus22 246341632 3.422s 0.012s 13 1.310s false(reach) 6.420s 4.162s zeus08 243683328 3.510s 0.006s 13 1.333s false(reach) 6.836s 4.573s zeus15 246464512 3.747s 0.013s 13 1.345s false(reach) 5.989s 3.957s zeus21 240041984 3.325s 0.007s 13 1.302s false(reach) 6.157s 3.991s zeus08 241201152 3.335s 0.005s 13 1.278s false(reach) 6.166s 4.031s zeus20 243957760 3.376s 0.010s 13 1.340s
floats-cbmc-regression/float-no-simp1_true-unreach-call.i true 3.492s 2.348s zeus02 165564416 1.656s 0.000s 1 0.033s true 3.474s 2.210s zeus17 164835328 1.596s 0.000s 1 0.028s true 3.254s 2.158s zeus12 158228480 1.552s 0.000s 1 0.031s true 3.191s 2.091s zeus22 164339712 1.484s 0.000s 1 0.028s true 3.423s 2.146s zeus10 162983936 1.548s 0.000s 1 0.028s true 3.160s 2.056s zeus13 158121984 1.484s 0.000s 1 0.027s true 3.386s 2.175s zeus19 166703104 1.581s 0.001s 1 0.028s true 3.259s 2.141s zeus06 167268352 1.544s 0.000s 1 0.028s true 3.434s 2.227s zeus09 164851712 1.634s 0.000s 1 0.027s true 3.160s 2.075s zeus13 158892032 1.489s 0.000s 1 0.027s true 3.342s 2.176s zeus24 165142528 1.591s 0.000s 1 0.028s true 3.174s 2.117s zeus04 163414016 1.521s 0.000s 1 0.030s true 3.348s 2.159s zeus24 168099840 1.585s 0.000s 1 0.027s true 3.298s 2.184s zeus07 166129664 1.527s 0.000s 1 0.029s true 3.578s 2.434s zeus15 164302848 1.678s 0.000s 1 0.032s true 3.473s 2.186s zeus24 164261888 1.602s 0.000s 1 0.027s true 3.159s 2.102s zeus12 161136640 1.505s 0.000s 1 0.027s
floats-cbmc-regression/float-no-simp2_true-unreach-call.i false(reach) 180.397s 178.381s zeus03 219791360 177.768s 0.006s 4 174.018s false(reach) 190.095s 188.029s zeus21 232591360 187.432s 0.002s 5 180.974s false(reach) 189.194s 187.072s zeus01 214126592 186.367s 0.004s 4 182.527s false(reach) 179.434s 177.639s zeus08 218636288 177.039s 0.005s 4 173.410s false(reach) 185.575s 183.427s zeus05 221085696 182.792s 0.003s 4 178.980s false(reach) 181.811s 179.889s zeus20 210321408 179.220s 0.002s 4 175.380s false(reach) 178.017s 175.937s zeus22 223092736 175.285s 0.002s 4 171.552s false(reach) 270.051s 267.642s zeus18 243920896 267.018s 0.004s 6 258.650s false(reach) 273.352s 270.822s zeus14 242749440 270.215s 0.003s 6 261.846s false(reach) 194.903s 192.736s zeus02 227045376 191.957s 0.001s 5 185.201s false(reach) 188.085s 185.909s zeus12 224911360 185.306s 0.001s 4 181.464s false(reach) 385.875s 382.973s zeus22 250806272 382.360s 0.002s 6 372.302s false(reach) 385.873s 383.158s zeus12 246591488 382.509s 0.005s 6 372.444s false(reach) 276.475s 274.250s zeus18 249118720 273.610s 0.002s 6 265.049s false(reach) 381.268s 378.744s zeus13 240721920 378.149s 0.002s 6 368.408s false(reach) 178.977s 177.075s zeus17 213835776 176.472s 0.002s 4 172.779s false(reach) 181.975s 179.892s zeus08 222650368 179.297s 0.003s 4 175.638s
floats-cbmc-regression/float-no-simp3_true-unreach-call.i true 3.218s 2.134s zeus24 164888576 1.521s 0.000s 1 0.027s true 3.499s 2.292s zeus12 161587200 1.653s 0.000s 1 0.030s true 3.211s 2.089s zeus23 163807232 1.504s 0.000s 1 0.026s true 3.277s 2.112s zeus16 160641024 1.522s 0.000s 1 0.026s true 3.134s 2.065s zeus17 163131392 1.483s 0.001s 1 0.026s true 3.096s 2.035s zeus11 166924288 1.442s 0.000s 1 0.025s true 3.125s 2.111s zeus16 163299328 1.509s 0.000s 1 0.028s true 3.040s 2.005s zeus12 163053568 1.437s 0.000s 1 0.025s true 3.303s 2.144s zeus11 168493056 1.560s 0.001s 1 0.026s true 3.843s 2.650s zeus03 161288192 1.857s 0.000s 1 0.035s true 3.033s 2.034s zeus21 162443264 1.449s 0.001s 1 0.025s true 3.097s 2.063s zeus04 167022592 1.462s 0.000s 1 0.027s true 3.234s 2.074s zeus14 161071104 1.492s 0.000s 1 0.025s true 3.179s 2.110s zeus11 163917824 1.517s 0.000s 1 0.026s true 3.133s 2.055s zeus13 162037760 1.461s 0.000s 1 0.026s true 4.011s 2.788s zeus03 166486016 1.927s 0.000s 1 0.043s true 3.056s 2.036s zeus06 170094592 1.456s 0.000s 1 0.027s
floats-cbmc-regression/float-no-simp4_true-unreach-call.i true 110.090s 103.746s zeus10 649744384 103.134s 0.020s 22 99.974s true 103.639s 97.194s zeus08 646504448 96.615s 0.019s 22 93.610s true 102.560s 96.204s zeus24 652320768 95.606s 0.024s 22 92.548s true 106.620s 100.214s zeus01 655155200 99.604s 0.022s 22 96.605s true 105.144s 98.740s zeus18 650850304 98.143s 0.019s 22 95.023s true 104.664s 98.295s zeus18 649469952 97.705s 0.021s 22 94.673s true 100.538s 94.037s zeus05 652148736 93.455s 0.021s 22 90.397s true 107.528s 101.065s zeus04 650133504 100.445s 0.023s 23 97.068s true 107.308s 100.880s zeus16 646434816 100.285s 0.019s 23 97.083s true 100.978s 94.818s zeus23 648155136 94.212s 0.020s 22 91.180s true 114.759s 108.199s zeus06 653037568 107.597s 0.023s 23 104.328s true 106.139s 99.608s zeus12 649129984 99.017s 0.023s 22 95.820s true 114.078s 107.632s zeus05 651145216 107.031s 0.027s 23 103.857s true 116.798s 110.008s zeus15 648347648 109.180s 0.029s 23 105.441s true 116.670s 110.167s zeus14 658624512 109.584s 0.028s 23 106.409s true 105.551s 99.068s zeus19 656199680 98.440s 0.034s 22 95.302s true 114.179s 106.412s zeus03 658010112 105.497s 0.031s 22 101.596s
floats-cbmc-regression/float-no-simp6_true-unreach-call.i true 3.207s 2.143s zeus07 168275968 1.500s 0.001s 3 0.056s true 3.364s 2.171s zeus01 163430400 1.552s 0.002s 3 0.058s true 3.380s 2.192s zeus13 167018496 1.593s 0.001s 3 0.059s true 3.242s 2.091s zeus22 173248512 1.506s 0.003s 3 0.055s true 3.391s 2.153s zeus19 165556224 1.564s 0.001s 3 0.056s true 3.234s 2.126s zeus14 163426304 1.547s 0.002s 3 0.055s true 3.527s 2.311s zeus23 168812544 1.700s 0.001s 3 0.058s true 3.316s 2.152s zeus18 170631168 1.535s 0.003s 3 0.056s true 3.297s 2.177s zeus07 170582016 1.528s 0.000s 3 0.055s true 3.345s 2.161s zeus13 161705984 1.546s 0.001s 3 0.058s true 3.448s 2.204s zeus09 168972288 1.606s 0.001s 3 0.055s true 3.489s 2.235s zeus24 170254336 1.650s 0.000s 3 0.057s true 3.345s 2.177s zeus19 165347328 1.576s 0.001s 3 0.057s true 3.460s 2.187s zeus14 163909632 1.599s 0.000s 3 0.055s true 3.307s 2.126s zeus13 163725312 1.521s 0.002s 3 0.060s true 3.268s 2.140s zeus08 163287040 1.543s 0.001s 3 0.057s true 3.363s 2.208s zeus18 167567360 1.602s 0.000s 3 0.058s
floats-cbmc-regression/float-no-simp7_true-unreach-call.i true 3.290s 2.175s zeus24 163729408 1.547s 0.000s 1 0.028s true 3.155s 2.088s zeus08 165380096 1.490s 0.000s 1 0.028s true 3.329s 2.152s zeus04 166887424 1.566s 0.000s 1 0.028s true 3.204s 2.110s zeus03 167927808 1.504s 0.001s 1 0.027s true 3.202s 2.086s zeus12 166850560 1.507s 0.001s 1 0.027s true 3.166s 2.029s zeus16 159268864 1.449s 0.002s 1 0.027s true 3.303s 2.161s zeus17 163688448 1.557s 0.000s 1 0.029s true 3.309s 2.150s zeus19 167170048 1.550s 0.000s 1 0.029s true 3.296s 2.140s zeus09 163799040 1.574s 0.001s 1 0.026s true 3.291s 2.108s zeus01 165498880 1.520s 0.000s 1 0.028s true 3.756s 2.560s zeus20 158535680 1.792s 0.000s 1 0.037s true 3.133s 2.053s zeus11 164360192 1.468s 0.000s 1 0.028s true 3.160s 2.099s zeus11 164593664 1.490s 0.000s 1 0.028s true 4.197s 2.843s zeus03 170283008 1.877s 0.000s 1 0.053s true 3.089s 2.074s zeus04 166596608 1.475s 0.000s 1 0.028s true 3.292s 2.107s zeus10 158916608 1.520s 0.000s 1 0.027s true 3.294s 2.125s zeus18 168828928 1.550s 0.000s 1 0.027s
floats-cbmc-regression/float-no-simp8_true-unreach-call.i true 3.951s 2.657s zeus10 188325888 2.087s 0.001s 2 0.350s true 3.990s 2.717s zeus03 193642496 2.130s 0.002s 2 0.377s true 4.125s 2.708s zeus14 191918080 2.127s 0.000s 2 0.364s true 4.121s 2.777s zeus18 189612032 2.184s 0.001s 2 0.374s true 4.227s 2.769s zeus19 192929792 2.180s 0.001s 2 0.372s true 4.247s 2.818s zeus05 186224640 2.232s 0.003s 2 0.378s true 4.008s 2.707s zeus19 190197760 2.127s 0.000s 2 0.373s true 3.938s 2.682s zeus16 186912768 2.100s 0.001s 2 0.381s true 4.654s 3.190s zeus03 189169664 2.439s 0.000s 2 0.389s true 4.162s 2.775s zeus16 182935552 2.179s 0.002s 2 0.378s true 3.933s 2.672s zeus01 190685184 2.077s 0.001s 2 0.376s true 4.164s 2.779s zeus09 189296640 2.195s 0.001s 2 0.371s true 4.256s 2.820s zeus21 191049728 2.214s 0.001s 2 0.373s true 4.026s 2.721s zeus10 187531264 2.127s 0.001s 2 0.375s true 4.008s 2.716s zeus10 193638400 2.146s 0.001s 2 0.362s true 4.092s 2.754s zeus05 187097088 2.180s 0.001s 2 0.376s true 4.664s 3.224s zeus15 185995264 2.457s 0.002s 2 0.381s
floats-cbmc-regression/float-rounding1_true-unreach-call.i false(reach) 4.131s 2.709s zeus04 186146816 2.101s 0.000s 2 0.302s false(reach) 4.091s 2.726s zeus21 189251584 2.128s 0.000s 2 0.309s false(reach) 4.013s 2.675s zeus06 186732544 2.063s 0.000s 2 0.306s false(reach) 4.549s 3.137s zeus03 186834944 2.321s 0.001s 2 0.336s false(reach) 4.180s 2.768s zeus04 186773504 2.139s 0.000s 2 0.305s false(reach) 4.106s 2.691s zeus23 187072512 2.085s 0.002s 2 0.312s false(reach) 4.852s 3.335s zeus15 187056128 2.498s 0.000s 2 0.330s false(reach) 4.076s 2.623s zeus16 182460416 2.021s 0.002s 2 0.308s false(reach) 3.842s 2.598s zeus06 189874176 1.990s 0.001s 2 0.299s false(reach) 4.075s 2.707s zeus12 185831424 2.094s 0.002s 2 0.316s false(reach) 4.033s 2.647s zeus23 189399040 2.046s 0.002s 2 0.305s false(reach) 3.948s 2.683s zeus06 187510784 2.046s 0.000s 2 0.304s false(reach) 3.937s 2.632s zeus17 184918016 2.019s 0.001s 2 0.309s false(reach) 4.091s 2.724s zeus23 187994112 2.084s 0.001s 2 0.302s false(reach) 4.917s 3.439s zeus20 187187200 2.540s 0.001s 2 0.338s false(reach) 3.949s 2.644s zeus10 185364480 2.022s 0.000s 2 0.304s false(reach) 4.023s 2.642s zeus18 189964288 2.034s 0.003s 2 0.306s
floats-cbmc-regression/float-to-double1_true-unreach-call.i true 4.390s 3.078s zeus23 188190720 2.493s 0.003s 2 0.755s true 4.355s 3.097s zeus08 190554112 2.516s 0.002s 2 0.762s true 4.367s 3.051s zeus21 188239872 2.475s 0.003s 2 0.765s true 4.508s 3.152s zeus12 186572800 2.562s 0.003s 2 0.784s true 4.628s 3.173s zeus24 189628416 2.575s 0.000s 2 0.753s true 5.142s 3.622s zeus15 189169664 2.929s 0.003s 2 0.794s true 4.856s 3.449s zeus03 192110592 2.753s 0.002s 2 0.788s true 4.476s 3.138s zeus12 184201216 2.551s 0.002s 2 0.792s true 4.526s 3.149s zeus03 192217088 2.554s 0.001s 2 0.772s true 4.626s 3.205s zeus22 195112960 2.599s 0.000s 2 0.763s true 4.840s 3.425s zeus02 190820352 2.760s 0.002s 2 0.782s true 4.439s 3.059s zeus17 194277376 2.470s 0.003s 2 0.726s true 4.415s 3.117s zeus02 192163840 2.538s 0.000s 2 0.782s true 4.428s 3.104s zeus23 187506688 2.522s 0.003s 2 0.772s true 4.369s 3.128s zeus01 192593920 2.514s 0.002s 2 0.769s true 4.440s 3.099s zeus19 187334656 2.516s 0.003s 2 0.759s true 4.833s 3.473s zeus20 187179008 2.732s 0.001s 2 0.782s
floats-cbmc-regression/float-to-double2_true-unreach-call.i true 3.222s 2.090s zeus11 164909056 1.510s 0.000s 1 0.026s true 3.653s 2.415s zeus20 164876288 1.731s 0.000s 1 0.032s true 3.396s 2.213s zeus16 158310400 1.610s 0.000s 1 0.028s true 3.355s 2.132s zeus22 166834176 1.544s 0.000s 1 0.026s true 3.456s 2.227s zeus02 166473728 1.641s 0.000s 1 0.027s true 3.147s 2.079s zeus06 164409344 1.491s 0.000s 1 0.027s true 4.987s 3.421s zeus03 164761600 2.342s 0.001s 1 0.062s true 3.142s 2.078s zeus16 162312192 1.495s 0.000s 1 0.027s true 3.111s 2.063s zeus11 165273600 1.464s 0.000s 1 0.027s true 3.328s 2.161s zeus01 165507072 1.540s 0.001s 1 0.028s true 3.099s 2.023s zeus10 160587776 1.440s 0.001s 1 0.027s true 3.180s 2.046s zeus12 159911936 1.455s 0.002s 1 0.027s true 3.195s 2.060s zeus21 160673792 1.482s 0.001s 1 0.027s true 3.334s 2.196s zeus24 165732352 1.587s 0.001s 1 0.028s true 3.252s 2.150s zeus07 165961728 1.529s 0.000s 1 0.027s true 3.720s 2.489s zeus15 164827136 1.751s 0.002s 1 0.032s true 3.879s 2.628s zeus03 161402880 1.777s 0.001s 1 0.036s
floats-cbmc-regression/float-zero-sum1_true-unreach-call.i true 3.405s 2.194s zeus23 173965312 1.618s 0.001s 1 0.096s true 3.335s 2.211s zeus01 177266688 1.610s 0.001s 1 0.096s true 4.107s 2.867s zeus03 174395392 2.041s 0.001s 1 0.125s true 3.511s 2.297s zeus24 176631808 1.705s 0.000s 1 0.100s true 3.302s 2.184s zeus12 174682112 1.599s 0.000s 1 0.099s true 3.167s 2.124s zeus10 169701376 1.533s 0.000s 1 0.096s true 3.559s 2.325s zeus22 176041984 1.709s 0.000s 1 0.101s true 3.304s 2.160s zeus10 170721280 1.569s 0.001s 1 0.100s true 3.255s 2.156s zeus05 169672704 1.561s 0.000s 1 0.101s true 3.259s 2.117s zeus07 177074176 1.499s 0.000s 1 0.097s true 3.207s 2.140s zeus06 175845376 1.558s 0.002s 1 0.095s true 3.522s 2.350s zeus23 176283648 1.707s 0.001s 1 0.100s true 3.457s 2.247s zeus19 176918528 1.664s 0.000s 1 0.098s true 3.404s 2.233s zeus04 177823744 1.638s 0.000s 1 0.100s true 3.099s 2.120s zeus11 178462720 1.528s 0.001s 1 0.098s true 3.429s 2.266s zeus15 177291264 1.665s 0.000s 1 0.100s true 3.398s 2.240s zeus16 171274240 1.627s 0.000s 1 0.104s
floats-cbmc-regression/float11_true-unreach-call.i true 3.327s 2.121s zeus19 162643968 1.533s 0.000s 0 - true 3.683s 2.413s zeus02 161705984 1.742s 0.000s 0 - true 3.265s 2.091s zeus22 164683776 1.493s 0.000s 0 - true 2.970s 1.938s zeus05 156880896 1.384s 0.000s 0 - true 4.467s 3.011s zeus02 158269440 2.142s 0.000s 0 - true 3.115s 2.015s zeus23 161751040 1.430s 0.000s 0 - true 3.100s 2.052s zeus01 157396992 1.450s 0.000s 0 - true 3.201s 2.093s zeus24 155992064 1.490s 0.000s 0 - true 3.088s 2.024s zeus13 155209728 1.430s 0.000s 0 - true 3.759s 2.498s zeus02 157462528 1.785s 0.000s 0 - true 3.591s 2.509s zeus09 161878016 1.622s 0.000s 0 - true 3.351s 2.143s zeus22 164159488 1.566s 0.000s 0 - true 3.151s 2.050s zeus23 160849920 1.464s 0.000s 0 - true 3.245s 2.092s zeus22 164782080 1.510s 0.000s 0 - true 3.246s 2.064s zeus13 157552640 1.465s 0.000s 0 - true 3.257s 2.091s zeus05 158384128 1.494s 0.000s 0 - true 3.232s 2.064s zeus08 161988608 1.480s 0.001s 0 -
floats-cbmc-regression/float12_true-unreach-call.i true 3.531s 2.458s zeus07 175882240 1.829s 0.000s 1 0.320s true 4.373s 3.037s zeus02 174501888 2.258s 0.000s 1 0.332s true 3.501s 2.414s zeus01 171646976 1.821s 0.001s 1 0.310s true 4.006s 2.850s zeus15 173920256 2.097s 0.001s 1 0.321s true 3.667s 2.443s zeus04 174489600 1.862s 0.000s 1 0.308s true 4.178s 2.928s zeus03 172392448 2.204s 0.000s 1 0.331s true 3.785s 2.547s zeus24 171757568 1.957s 0.001s 1 0.315s true 3.661s 2.495s zeus19 174739456 1.905s 0.000s 1 0.313s true 3.503s 2.409s zeus07 172953600 1.797s 0.001s 1 0.309s true 3.579s 2.422s zeus10 170356736 1.847s 0.000s 1 0.305s true 4.113s 2.680s zeus22 180244480 2.068s 0.001s 1 0.331s true 3.540s 2.423s zeus10 172945408 1.832s 0.002s 1 0.313s true 3.534s 2.403s zeus04 171827200 1.790s 0.001s 1 0.320s true 3.838s 2.514s zeus24 174112768 1.925s 0.000s 1 0.305s true 3.603s 2.435s zeus05 174317568 1.864s 0.000s 1 0.310s true 3.617s 2.463s zeus08 171884544 1.864s 0.000s 1 0.313s true 3.420s 2.379s zeus21 172109824 1.798s 0.000s 1 0.313s
floats-cbmc-regression/float13_true-unreach-call.i true 3.371s 2.213s zeus09 168710144 1.620s 0.003s 3 0.083s true 3.524s 2.282s zeus06 173264896 1.689s 0.000s 3 0.080s true 3.504s 2.274s zeus11 174948352 1.692s 0.002s 3 0.084s true 3.439s 2.190s zeus23 170500096 1.591s 0.001s 3 0.084s true 3.325s 2.212s zeus19 170356736 1.619s 0.001s 3 0.085s true 3.310s 2.195s zeus23 169934848 1.594s 0.001s 3 0.083s true 4.010s 2.614s zeus10 168493056 1.943s 0.003s 3 0.093s true 3.521s 2.388s zeus15 168378368 1.722s 0.000s 3 0.091s true 3.519s 2.308s zeus10 164917248 1.715s 0.003s 3 0.087s true 3.439s 2.262s zeus07 169517056 1.620s 0.002s 3 0.084s true 3.589s 2.278s zeus22 171286528 1.693s 0.001s 3 0.082s true 3.288s 2.200s zeus24 169177088 1.606s 0.001s 3 0.083s true 3.717s 2.532s zeus15 170770432 1.807s 0.003s 3 0.092s true 3.216s 2.113s zeus21 168304640 1.527s 0.001s 3 0.078s true 3.517s 2.276s zeus16 167092224 1.693s 0.003s 3 0.079s true 3.341s 2.190s zeus07 172482560 1.578s 0.000s 3 0.083s true 3.305s 2.145s zeus13 164749312 1.555s 0.001s 3 0.079s
floats-cbmc-regression/float14_true-unreach-call.i true 3.920s 2.590s zeus10 180592640 2.002s 0.001s 2 0.280s true 3.915s 2.631s zeus23 186306560 2.030s 0.005s 2 0.280s true 4.881s 3.315s zeus15 186912768 2.546s 0.000s 2 0.328s true 3.964s 2.680s zeus14 182362112 2.084s 0.001s 2 0.296s true 3.942s 2.623s zeus07 183304192 2.017s 0.002s 2 0.293s true 3.942s 2.687s zeus07 183943168 2.011s 0.001s 2 0.295s true 3.914s 2.587s zeus18 187879424 1.992s 0.002s 2 0.281s true 3.940s 2.679s zeus23 184549376 2.072s 0.003s 2 0.295s true 4.912s 3.437s zeus03 183463936 2.610s 0.004s 2 0.351s true 4.168s 2.876s zeus03 184266752 2.164s 0.003s 2 0.297s true 4.041s 2.702s zeus18 187740160 2.088s 0.004s 2 0.287s true 3.849s 2.566s zeus21 177995776 1.985s 0.001s 2 0.290s true 3.860s 2.614s zeus23 182980608 2.001s 0.004s 2 0.289s true 4.079s 2.669s zeus16 180379648 2.064s 0.001s 2 0.288s true 4.344s 2.833s zeus21 182468608 2.223s 0.001s 2 0.303s true 3.990s 2.667s zeus11 186404864 2.047s 0.003s 2 0.298s true 3.942s 2.639s zeus03 183578624 2.046s 0.002s 2 0.297s
floats-cbmc-regression/float18_true-unreach-call.i true 4.526s 2.884s zeus17 191361024 2.284s 0.004s 2 0.401s true 4.223s 2.783s zeus22 187183104 2.194s 0.004s 2 0.395s true 5.625s 3.909s zeus20 191254528 2.895s 0.006s 2 0.529s true 4.253s 2.841s zeus01 186998784 2.204s 0.004s 2 0.423s true 4.251s 2.790s zeus18 188981248 2.197s 0.003s 2 0.402s true 4.037s 2.726s zeus11 189534208 2.133s 0.001s 2 0.400s true 4.220s 2.796s zeus17 187277312 2.206s 0.010s 2 0.393s true 4.149s 2.746s zeus01 190750720 2.147s 0.004s 2 0.396s timeout 901.594s 889.744s zeus10 3586801664 888.833s 0.871s 1 0.074s true 4.289s 2.798s zeus23 192458752 2.193s 0.004s 2 0.396s timeout 901.630s 889.748s zeus19 3578052608 888.830s 0.758s 1 0.074s true 4.440s 2.882s zeus19 189587456 2.297s 0.001s 2 0.395s timeout 901.492s 890.252s zeus14 3583590400 889.355s 0.849s 1 0.073s true 4.481s 2.889s zeus07 186494976 2.265s 0.006s 2 0.398s timeout 901.522s 890.294s zeus06 3582578688 889.358s 0.972s 1 0.073s true 4.286s 2.797s zeus13 187854848 2.180s 0.003s 2 0.402s timeout 901.523s 890.356s zeus14 3582922752 889.408s 0.794s 1 0.072s
floats-cbmc-regression/float19_true-unreach-call.i true 4.045s 2.659s zeus14 186286080 2.071s 0.001s 1 0.285s true 3.814s 2.562s zeus17 184619008 1.971s 0.002s 1 0.281s true 3.885s 2.629s zeus23 185581568 2.036s 0.002s 1 0.286s true 3.843s 2.574s zeus05 180838400 1.995s 0.003s 1 0.285s true 3.840s 2.558s zeus01 183169024 1.966s 0.001s 1 0.286s true 3.864s 2.587s zeus05 179515392 2.009s 0.001s 1 0.285s true 3.994s 2.663s zeus23 186392576 2.071s 0.003s 1 0.292s true 4.189s 2.775s zeus14 185348096 2.176s 0.000s 1 0.292s true 3.983s 2.672s zeus18 189898752 2.076s 0.000s 1 0.275s true 3.879s 2.648s zeus01 180699136 2.007s 0.000s 1 0.280s true 4.159s 2.708s zeus14 186548224 2.125s 0.004s 1 0.281s true 4.539s 3.028s zeus15 183775232 2.360s 0.001s 1 0.293s true 4.284s 2.785s zeus14 184569856 2.158s 0.003s 1 0.301s true 4.110s 2.736s zeus05 183414784 2.137s 0.000s 1 0.292s true 3.926s 2.630s zeus05 182296576 2.047s 0.000s 1 0.300s true 3.889s 2.615s zeus05 180903936 2.024s 0.000s 1 0.280s true 3.888s 2.603s zeus14 187105280 2.025s 0.000s 1 0.284s
floats-cbmc-regression/float1_true-unreach-call.i true 3.393s 2.167s zeus22 165994496 1.578s 0.000s 1 0.026s true 3.139s 2.062s zeus07 164253696 1.434s 0.000s 1 0.026s true 3.190s 2.081s zeus10 156585984 1.478s 0.000s 1 0.027s true 3.351s 2.187s zeus21 160382976 1.554s 0.002s 1 0.027s true 3.295s 2.135s zeus12 161656832 1.565s 0.000s 1 0.026s true 3.427s 2.182s zeus19 162713600 1.588s 0.000s 1 0.027s true 3.178s 2.115s zeus24 164077568 1.519s 0.000s 1 0.029s true 3.088s 2.068s zeus05 160387072 1.477s 0.000s 1 0.028s true 3.137s 2.082s zeus10 161165312 1.491s 0.000s 1 0.027s true 3.314s 2.146s zeus19 165113856 1.564s 0.002s 1 0.027s true 3.149s 2.063s zeus07 166858752 1.454s 0.000s 1 0.027s true 3.111s 2.053s zeus10 159166464 1.463s 0.000s 1 0.027s true 3.680s 2.389s zeus07 163672064 1.720s 0.000s 1 0.033s true 3.203s 2.079s zeus16 158597120 1.497s 0.001s 1 0.026s true 3.160s 2.068s zeus22 167366656 1.467s 0.000s 1 0.026s true 3.193s 2.096s zeus13 158400512 1.511s 0.000s 1 0.027s true 3.301s 2.147s zeus18 165548032 1.558s 0.000s 1 0.026s
floats-cbmc-regression/float20_true-unreach-call.i true 4.220s 2.831s zeus20 180731904 2.142s 0.001s 3 0.366s true 3.842s 2.542s zeus24 184221696 1.952s 0.000s 3 0.345s true 3.741s 2.519s zeus24 178970624 1.925s 0.001s 3 0.343s true 4.227s 2.841s zeus15 184270848 2.164s 0.001s 3 0.361s true 3.636s 2.446s zeus17 180617216 1.853s 0.000s 3 0.349s true 3.550s 2.452s zeus10 176283648 1.865s 0.001s 3 0.355s true 3.610s 2.473s zeus01 181514240 1.872s 0.002s 3 0.347s true 4.161s 2.846s zeus10 178810880 2.162s 0.003s 3 0.410s true 3.501s 2.381s zeus21 176300032 1.799s 0.000s 3 0.345s true 4.050s 2.661s zeus09 181301248 2.056s 0.001s 3 0.366s true 3.844s 2.530s zeus24 181198848 1.924s 0.001s 3 0.356s true 3.708s 2.438s zeus19 182247424 1.851s 0.001s 3 0.341s true 3.927s 2.647s zeus06 183648256 2.024s 0.001s 3 0.356s true 3.869s 2.563s zeus24 183582720 1.966s 0.002s 3 0.354s true 3.653s 2.468s zeus17 176680960 1.882s 0.003s 3 0.352s true 3.494s 2.364s zeus01 180977664 1.780s 0.002s 3 0.344s true 4.758s 3.331s zeus02 180158464 2.426s 0.001s 3 0.378s
floats-cbmc-regression/float22_true-unreach-call.i true 4.958s 3.562s zeus24 194838528 2.962s 0.005s 4 1.293s true 4.905s 3.476s zeus24 194887680 2.909s 0.006s 4 1.232s true 5.008s 3.475s zeus21 192032768 2.884s 0.003s 4 1.216s true 4.872s 3.500s zeus16 191127552 2.896s 0.004s 4 1.273s true 5.499s 3.973s zeus20 197959680 3.217s 0.002s 4 1.321s true 4.845s 3.441s zeus18 198791168 2.854s 0.003s 4 1.237s true 4.971s 3.571s zeus13 194686976 2.939s 0.004s 4 1.260s true 4.792s 3.450s zeus07 195428352 2.828s 0.002s 4 1.252s true 4.845s 3.446s zeus11 194248704 2.855s 0.004s 4 1.250s true 4.844s 3.458s zeus24 195313664 2.877s 0.000s 4 1.240s true 5.688s 4.059s zeus03 196653056 3.269s 0.003s 4 1.297s true 5.135s 3.617s zeus22 198209536 3.005s 0.003s 4 1.232s true 5.586s 3.951s zeus02 194146304 3.212s 0.003s 4 1.324s true 4.837s 3.408s zeus19 198029312 2.824s 0.003s 4 1.214s true 4.897s 3.503s zeus24 197689344 2.915s 0.004s 4 1.253s true 4.998s 3.493s zeus17 193306624 2.904s 0.002s 4 1.250s true 6.802s 5.004s zeus02 196857856 4.024s 0.004s 4 1.550s
floats-cbmc-regression/float2_true-unreach-call.i true 3.090s 2.032s zeus21 162553856 1.458s 0.001s 2 0.031s true 3.145s 2.061s zeus01 166633472 1.458s 0.001s 2 0.031s true 3.415s 2.202s zeus14 167870464 1.620s 0.000s 2 0.032s true 3.211s 2.151s zeus21 165183488 1.562s 0.000s 2 0.037s true 3.356s 2.214s zeus06 173793280 1.628s 0.000s 2 0.033s true 3.228s 2.111s zeus22 167227392 1.515s 0.000s 2 0.032s true 3.312s 2.168s zeus11 169279488 1.550s 0.000s 2 0.034s true 3.181s 2.108s zeus13 157315072 1.503s 0.001s 2 0.033s true 3.669s 2.396s zeus15 173006848 1.721s 0.000s 2 0.035s true 3.703s 2.518s zeus20 163901440 1.792s 0.002s 2 0.040s true 3.614s 2.283s zeus23 170450944 1.669s 0.003s 2 0.033s true 3.241s 2.118s zeus24 170389504 1.516s 0.000s 2 0.032s true 3.602s 2.253s zeus17 173035520 1.662s 0.000s 2 0.033s true 3.216s 2.084s zeus07 166445056 1.488s 0.000s 2 0.032s true 3.140s 2.056s zeus16 164868096 1.478s 0.002s 2 0.031s true 3.378s 2.158s zeus19 166797312 1.563s 0.002s 2 0.033s true 3.277s 2.145s zeus08 167378944 1.564s 0.000s 2 0.031s
floats-cbmc-regression/float3_true-unreach-call.i error (parsing failed) 2.962s 1.817s zeus03 117358592 1.220s - - - error (parsing failed) 2.548s 1.555s zeus06 116514816 0.992s - - - error (parsing failed) 2.667s 1.683s zeus03 118648832 1.036s - - - error (parsing failed) 2.938s 1.896s zeus15 113987584 1.156s - - - error (parsing failed) 2.550s 1.573s zeus10 113721344 1.003s - - - error (parsing failed) 2.528s 1.592s zeus06 118710272 1.020s - - - error (parsing failed) 2.620s 1.598s zeus21 112132096 1.013s - - - error (parsing failed) 2.457s 1.542s zeus16 112070656 0.976s - - - error (parsing failed) 2.502s 1.573s zeus03 115654656 1.003s - - - error (parsing failed) 2.603s 1.616s zeus04 114044928 1.029s - - - error (parsing failed) 2.536s 1.573s zeus18 116563968 1.010s - - - error (parsing failed) 2.533s 1.586s zeus12 113328128 1.009s - - - error (parsing failed) 2.716s 1.653s zeus21 117284864 1.099s - - - error (parsing failed) 3.030s 1.886s zeus03 115478528 1.190s - - - error (parsing failed) 2.788s 1.689s zeus21 117755904 1.126s - - - error (parsing failed) 2.536s 1.584s zeus21 114663424 1.006s - - - error (parsing failed) 3.034s 1.895s zeus03 120623104 1.196s - - -
floats-cbmc-regression/float4_true-unreach-call.i false(reach) 400.882s 398.049s zeus06 277999616 397.441s 0.007s 8 359.529s false(reach) 394.577s 391.619s zeus09 272187392 391.021s 0.004s 8 353.649s false(reach) 394.458s 391.443s zeus01 280920064 390.825s 0.002s 8 353.208s false(reach) 402.346s 399.351s zeus18 277708800 398.733s 0.008s 8 360.669s false(reach) 398.852s 395.820s zeus02 282775552 395.217s 0.003s 8 357.426s false(reach) 402.092s 399.239s zeus17 270901248 398.622s 0.003s 8 360.432s false(reach) 394.006s 391.156s zeus21 269819904 390.515s 0.008s 8 353.662s false(reach) 423.941s 420.164s zeus02 273776640 419.241s 0.001s 8 379.713s false(reach) 428.874s 425.556s zeus03 275275776 424.499s 0.007s 8 383.964s false(reach) 398.582s 395.727s zeus08 275185664 395.131s 0.006s 8 357.475s false(reach) 390.027s 387.072s zeus05 275472384 386.461s 0.006s 8 349.378s false(reach) 405.586s 402.348s zeus20 272830464 401.500s 0.003s 8 363.168s false(reach) 401.620s 398.752s zeus19 271908864 398.163s 0.004s 8 360.363s false(reach) 397.369s 394.455s zeus24 279801856 393.851s 0.003s 8 355.750s false(reach) 394.800s 392.096s zeus13 277786624 391.513s 0.002s 8 354.360s false(reach) 409.466s 406.776s zeus06 280064000 406.179s 0.005s 8 367.272s false(reach) 432.009s 429.141s zeus10 272322560 428.525s 0.003s 8 387.762s
floats-cbmc-regression/float5_true-unreach-call.i true 3.687s 2.551s zeus19 177475584 1.930s 0.000s 2 0.382s true 3.467s 2.399s zeus18 183455744 1.818s 0.001s 2 0.376s true 3.572s 2.467s zeus07 181534720 1.844s 0.000s 2 0.384s true 3.705s 2.547s zeus24 176807936 1.945s 0.000s 2 0.397s true 3.649s 2.489s zeus14 176726016 1.876s 0.001s 2 0.376s true 3.713s 2.459s zeus10 177913856 1.853s 0.003s 2 0.361s true 3.535s 2.438s zeus16 175185920 1.852s 0.002s 2 0.373s true 3.644s 2.490s zeus05 173498368 1.880s 0.000s 2 0.377s true 3.925s 2.591s zeus14 179339264 1.996s 0.001s 2 0.385s true 3.540s 2.438s zeus10 173981696 1.860s 0.002s 2 0.372s true 3.490s 2.396s zeus22 178958336 1.809s 0.001s 2 0.377s true 3.672s 2.498s zeus21 175816704 1.902s 0.004s 2 0.381s true 3.484s 2.438s zeus12 174952448 1.833s 0.001s 2 0.370s true 3.442s 2.414s zeus12 177451008 1.831s 0.002s 2 0.366s true 4.726s 3.320s zeus15 179113984 2.501s 0.001s 2 0.416s true 3.843s 2.657s zeus01 178364416 2.021s 0.002s 2 0.380s true 3.671s 2.610s zeus14 176177152 1.935s 0.001s 2 0.371s
floats-cbmc-regression/float6_true-unreach-call.i true 4.816s 3.404s zeus02 173367296 2.445s 0.002s 2 0.158s true 3.424s 2.310s zeus07 176500736 1.634s 0.000s 2 0.116s true 5.563s 3.894s zeus20 177733632 2.763s 0.002s 2 0.168s true 3.251s 2.197s zeus10 174514176 1.600s 0.002s 2 0.111s true 3.873s 2.689s zeus15 170930176 1.886s 0.002s 2 0.134s true 3.369s 2.228s zeus12 171134976 1.645s 0.002s 2 0.116s true 3.309s 2.199s zeus13 172711936 1.615s 0.002s 2 0.116s true 3.427s 2.317s zeus21 171454464 1.696s 0.001s 2 0.117s true 3.463s 2.306s zeus21 174276608 1.714s 0.000s 2 0.117s true 3.452s 2.275s zeus17 176050176 1.675s 0.000s 2 0.116s true 3.465s 2.306s zeus19 173821952 1.717s 0.003s 2 0.117s true 3.522s 2.259s zeus23 177582080 1.671s 0.002s 2 0.112s true 3.409s 2.255s zeus09 173944832 1.656s 0.003s 2 0.118s true 3.428s 2.268s zeus21 173608960 1.660s 0.001s 2 0.115s true 3.600s 2.364s zeus19 177713152 1.766s 0.003s 2 0.114s true 3.254s 2.169s zeus01 175706112 1.583s 0.001s 2 0.112s true 3.544s 2.339s zeus12 174202880 1.742s 0.001s 2 0.115s
floats-cbmc-regression/float7_true-unreach-call.i false(reach) 3.443s 2.185s zeus16 169132032 1.589s 0.000s 1 0.037s false(reach) 3.258s 2.107s zeus09 167366656 1.509s 0.000s 1 0.034s false(reach) 3.079s 2.011s zeus02 167108608 1.431s 0.000s 1 0.035s false(reach) 3.184s 2.090s zeus21 165310464 1.501s 0.001s 1 0.036s false(reach) 3.212s 2.064s zeus23 171663360 1.480s 0.002s 1 0.036s false(reach) 3.194s 2.072s zeus16 165273600 1.477s 0.000s 1 0.036s false(reach) 3.344s 2.212s zeus10 164569088 1.577s 0.000s 1 0.039s false(reach) 3.342s 2.154s zeus13 165019648 1.572s 0.000s 1 0.036s false(reach) 3.105s 2.058s zeus23 170475520 1.470s 0.001s 1 0.036s false(reach) 3.242s 2.074s zeus02 171716608 1.480s 0.000s 1 0.034s false(reach) 3.367s 2.199s zeus17 172998656 1.605s 0.000s 1 0.036s false(reach) 3.381s 2.207s zeus09 171966464 1.597s 0.000s 1 0.037s false(reach) 3.163s 2.118s zeus06 172097536 1.476s 0.000s 1 0.038s false(reach) 3.171s 2.099s zeus01 168247296 1.495s 0.000s 1 0.037s false(reach) 3.286s 2.153s zeus08 170856448 1.556s 0.000s 1 0.037s false(reach) 3.280s 2.132s zeus12 167612416 1.540s 0.000s 1 0.037s false(reach) 3.319s 2.170s zeus04 172220416 1.560s 0.000s 1 0.037s
floats-cbmc-regression/float8_true-unreach-call.i true 129.441s 127.965s zeus17 202022912 127.378s 0.001s 2 124.839s true 134.698s 132.994s zeus04 200757248 132.392s 0.005s 2 129.710s true 129.937s 128.304s zeus07 199188480 127.692s 0.002s 2 125.200s true 132.212s 130.714s zeus05 197406720 130.136s 0.002s 2 127.558s true 136.265s 134.672s zeus10 199745536 134.079s 0.002s 2 131.484s true 132.896s 131.368s zeus21 197431296 130.782s 0.004s 2 128.191s true 132.806s 131.137s zeus12 198262784 130.530s 0.003s 2 127.929s true 131.552s 129.920s zeus05 197246976 129.281s 0.003s 2 126.697s true 128.656s 127.111s zeus24 200302592 126.519s 0.004s 2 123.970s true 140.098s 138.480s zeus11 199847936 137.875s 0.000s 2 135.260s true 133.492s 131.894s zeus23 201314304 131.305s 0.002s 2 128.746s true 153.362s 151.292s zeus13 198406144 150.615s 0.001s 2 147.549s true 132.058s 130.383s zeus12 204210176 129.770s 0.001s 2 127.088s true 132.615s 130.903s zeus05 196837376 130.313s 0.003s 2 127.790s true 135.172s 133.478s zeus08 202792960 132.895s 0.003s 2 130.315s true 134.507s 132.936s zeus22 201506816 132.336s 0.001s 2 129.745s true 133.778s 132.199s zeus21 201265152 131.633s 0.001s 2 129.109s
float-benchs/float_int_inv_square_false-unreach-call.c false(reach) 3.694s 2.411s zeus14 183562240 1.817s 0.001s 2 0.294s false(reach) 3.858s 2.596s zeus24 189435904 1.962s 0.002s 2 0.302s false(reach) 3.646s 2.495s zeus18 188108800 1.859s 0.001s 2 0.314s false(reach) 3.494s 2.401s zeus09 185020416 1.793s 0.002s 2 0.303s false(reach) 3.809s 2.584s zeus19 189943808 1.934s 0.001s 2 0.300s false(reach) 3.554s 2.359s zeus14 184971264 1.766s 0.001s 2 0.301s false(reach) 3.608s 2.444s zeus12 185450496 1.840s 0.001s 2 0.298s false(reach) 3.721s 2.450s zeus15 181116928 1.839s 0.001s 2 0.311s false(reach) 4.198s 3.003s zeus15 184750080 2.173s 0.002s 2 0.326s false(reach) 5.162s 3.666s zeus20 181145600 2.472s 0.002s 2 0.403s false(reach) 3.505s 2.422s zeus12 183422976 1.802s 0.003s 2 0.312s false(reach) 3.749s 2.564s zeus22 191340544 1.902s 0.004s 2 0.292s false(reach) 3.447s 2.337s zeus17 183853056 1.749s 0.001s 2 0.295s false(reach) 3.779s 2.516s zeus09 183738368 1.897s 0.004s 2 0.303s false(reach) 3.523s 2.436s zeus01 179957760 1.808s 0.001s 2 0.303s false(reach) 3.658s 2.469s zeus03 184147968 1.854s 0.005s 2 0.300s false(reach) 3.723s 2.440s zeus13 179396608 1.833s 0.001s 2 0.300s
float-benchs/inv_square_false-unreach-call.c false(reach) 3.477s 2.372s zeus12 183975936 1.779s 0.002s 2 0.292s false(reach) 3.542s 2.405s zeus23 186667008 1.796s 0.003s 2 0.283s false(reach) 3.466s 2.349s zeus01 182972416 1.751s 0.004s 2 0.306s false(reach) 4.505s 3.095s zeus15 184471552 2.205s 0.002s 2 0.307s false(reach) 3.712s 2.497s zeus23 184934400 1.887s 0.001s 2 0.301s false(reach) 3.404s 2.317s zeus13 183287808 1.729s 0.001s 2 0.278s false(reach) 3.694s 2.480s zeus10 183799808 1.879s 0.001s 2 0.306s false(reach) 3.688s 2.514s zeus23 184082432 1.899s 0.004s 2 0.315s false(reach) 8.986s 7.650s zeus22 200310784 7.058s 0.004s 3 4.604s false(reach) 3.816s 2.591s zeus12 184156160 1.926s 0.002s 2 0.307s false(reach) 3.473s 2.413s zeus23 186843136 1.770s 0.000s 2 0.282s false(reach) 9.397s 8.046s zeus22 200560640 7.410s 0.004s 3 4.841s false(reach) 9.308s 8.018s zeus02 192036864 7.322s 0.005s 3 4.805s false(reach) 8.911s 7.700s zeus24 190500864 7.103s 0.006s 3 4.674s false(reach) 9.230s 7.901s zeus22 197062656 7.294s 0.003s 3 4.762s false(reach) 3.610s 2.419s zeus05 180383744 1.826s 0.002s 2 0.306s false(reach) 3.755s 2.482s zeus05 178761728 1.873s 0.002s 2 0.301s
float-benchs/nan_double_false-unreach-call.c false(reach) 3.221s 2.097s zeus13 167727104 1.502s 0.000s 1 0.035s false(reach) 3.315s 2.170s zeus12 169660416 1.573s 0.001s 1 0.034s false(reach) 3.471s 2.389s zeus02 170328064 1.660s 0.000s 1 0.040s false(reach) 3.368s 2.186s zeus12 167223296 1.566s 0.000s 1 0.035s false(reach) 3.134s 2.083s zeus10 169279488 1.485s 0.000s 1 0.035s false(reach) 3.324s 2.173s zeus09 171982848 1.573s 0.000s 1 0.033s false(reach) 3.250s 2.143s zeus06 173916160 1.542s 0.000s 1 0.035s false(reach) 3.380s 2.138s zeus03 173043712 1.544s 0.000s 1 0.034s false(reach) 3.405s 2.173s zeus18 174473216 1.569s 0.000s 1 0.035s false(reach) 3.149s 2.086s zeus10 167010304 1.490s 0.000s 1 0.034s false(reach) 3.115s 2.060s zeus10 171139072 1.478s 0.000s 1 0.033s false(reach) 3.663s 2.453s zeus03 172707840 1.693s 0.000s 1 0.040s false(reach) 3.859s 2.643s zeus20 164610048 1.834s 0.000s 1 0.047s false(reach) 3.443s 2.189s zeus02 173056000 1.597s 0.000s 1 0.033s false(reach) 3.306s 2.163s zeus04 169250816 1.544s 0.000s 1 0.035s false(reach) 3.380s 2.163s zeus11 177844224 1.564s 0.000s 1 0.034s false(reach) 3.496s 2.309s zeus20 166076416 1.640s 0.001s 1 0.038s
float-benchs/nan_float_false-unreach-call.c