iters=5 new-facts=1 prior-facts=1 | | mean | 324.718-324.581=0.137 | | σ | 0.030-0.057=-0.027 | | min | 324.666-324.479=0.186 | | max | 324.742-324.612=0.130 |
| | mean | 2829.000-2748.000=81.000 | | σ | 0.000 | | min | 2829.000-2748.000=81.000 | | max | 2829.000-2748.000=81.000 |
| | mean | 0.424-0.433=-0.009 | | σ | 0.003-0.009=-0.006 | | min | 0.422-0.427=-0.005 | | max | 0.429-0.444=-0.015 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.253-1985.142=0.112 | | σ | 0.016-0.011=0.005 | | min | 1985.231-1985.124=0.107 | | max | 1985.271-1985.150=0.121 |
| | mean | 2829.000-2748.000=81.000 | | σ | 0.000 | | min | 2829.000-2748.000=81.000 | | max | 2829.000-2748.000=81.000 |
| | mean | 2.641-2.652=-0.011 | | σ | 0.119-0.123=-0.004 | | min | 2.555-2.557=-0.002 | | max | 2.830-2.830=-0.000 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.858-4808.637=0.221 | | σ | 7.671-7.473=0.198 | | min | 4805.385-4805.270=0.115 | | max | 4822.580-4822.005=0.576 |
| | mean | 2829.000-2748.000=81.000 | | σ | 0.000 | | min | 2829.000-2748.000=81.000 | | max | 2829.000-2748.000=81.000 |
| | mean | 8.828-9.060=-0.232 | | σ | 0.122-0.224=-0.101 | | min | 8.650-8.816=-0.166 | | max | 8.988-9.391=-0.403 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.459-4996.337=0.122 | | σ | 0.025-0.019=0.005 | | min | 4996.421-4996.310=0.111 | | max | 4996.482-4996.358=0.124 |
| | mean | 3063.400-3002.600=60.800 | | σ | 306.458-299.870=6.589 | | min | 2829.000-2748.000=81.000 | | max | 3537.000-3449.000=88.000 |
| | mean | 8.495-8.496=-0.000 | | σ | 0.126-0.091=0.035 | | min | 8.334-8.440=-0.106 | | max | 8.682-8.656=0.026 |
|