benchmark-80.dat

[(1,1,Estimate {estPoint = 9.976395855385608e-7, estLowerBound = 9.974700678317964e-7, estUpperBound = 9.978243979518375e-7, estConfidenceLevel = 0.95}),(2,1,Estimate {estPoint = 5.182008680451049e-6, estLowerBound = 5.17762536675147e-6, estUpperBound = 5.187120574381438e-6, estConfidenceLevel = 0.95}),(3,1,Estimate {estPoint = 2.4318160010848243e-5, estLowerBound = 2.4310866215935263e-5, estUpperBound = 2.4326345205417397e-5, estConfidenceLevel = 0.95}),(4,1,Estimate {estPoint = 1.0134413094513647e-4, estLowerBound = 1.0125432576448135e-4, estUpperBound = 1.0154745001400137e-4, estConfidenceLevel = 0.95}),(5,2,Estimate {estPoint = 3.899475193786045e-4, estLowerBound = 3.8980142315864533e-4, estUpperBound = 3.9012286781700057e-4, estConfidenceLevel = 0.95}),(6,4,Estimate {estPoint = 1.2820843708179804e-3, estLowerBound = 1.2727884667766243e-3, estUpperBound = 1.297717634812151e-3, estConfidenceLevel = 0.95}),(7,8,Estimate {estPoint = 3.5860865730375944e-3, estLowerBound = 3.5799549269530514e-3, estUpperBound = 3.608363379294703e-3, estConfidenceLevel = 0.95}),(8,16,Estimate {estPoint = 8.402313851597962e-3, estLowerBound = 8.384041090695358e-3, estUpperBound = 8.487575906639563e-3, estConfidenceLevel = 0.95}),(9,32,Estimate {estPoint = 1.8784319771934836e-2, estLowerBound = 1.8759830523107045e-2, estUpperBound = 1.882784334050846e-2, estConfidenceLevel = 0.95}),(10,64,Estimate {estPoint = 3.97566967387092e-2, estLowerBound = 3.9680491050843585e-2, estUpperBound = 3.9990946106976226e-2, estConfidenceLevel = 0.95}),(11,128,Estimate {estPoint = 8.304278968548114e-2, estLowerBound = 8.28789462435401e-2, estUpperBound = 8.359425969145687e-2, estConfidenceLevel = 0.95}),(12,256,Estimate {estPoint = 0.17149253458910443, estLowerBound = 0.17136251425849047, estUpperBound = 0.17180432756491712, estConfidenceLevel = 0.95}),(13,512,Estimate {estPoint = 0.3502415523815839, estLowerBound = 0.349935909253637, estUpperBound = 0.3505028145207188, estConfidenceLevel = 0.95}),(14,1025,Estimate {estPoint = 0.7065993079608451, estLowerBound = 0.7059085884349412, estUpperBound = 0.7072640010063217, estConfidenceLevel = 0.95}),(15,2052,Estimate {estPoint = 1.4207846643302944, estLowerBound = 1.418598025557677, estUpperBound = 1.4219966099209973, estConfidenceLevel = 0.95})]