iters=5 new-facts=1 prior-facts=1 | | mean | 277.202-277.194=0.008 | | σ | 0.007-0.007=-0.001 | | min | 277.192-277.186=0.006 | | max | 277.210-277.201=0.008 |
| | mean | 2690.000-2711.000=-21.000 | | σ | 0.000 | | min | 2690.000-2711.000=-21.000 | | max | 2690.000-2711.000=-21.000 |
| | mean | 0.418-0.404=0.014 | | σ | 0.017-0.006=0.010 | | min | 0.401-0.400=0.001 | | max | 0.441-0.415=0.026 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2174.435-2174.445=-0.010 | | σ | 0.008-0.018=-0.009 | | min | 2174.426-2174.427=-0.001 | | max | 2174.445-2174.475=-0.030 |
| | mean | 2690.000-2711.000=-21.000 | | σ | 0.000 | | min | 2690.000-2711.000=-21.000 | | max | 2690.000-2711.000=-21.000 |
| | mean | 2.992-2.966=0.026 | | σ | 0.142-0.145=-0.002 | | min | 2.774-2.749=0.025 | | max | 3.139-3.100=0.038 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5052.537-5052.443=0.095 | | σ | 1.056-1.048=0.008 | | min | 5051.688-5051.421=0.266 | | max | 5054.370-5054.214=0.156 |
| | mean | 2690.000-2711.000=-21.000 | | σ | 0.000 | | min | 2690.000-2711.000=-21.000 | | max | 2690.000-2711.000=-21.000 |
| | mean | 8.812-8.768=0.045 | | σ | 0.540-0.391=0.149 | | min | 8.189-8.090=0.099 | | max | 9.441-9.099=0.342 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5188.431-5188.355=0.076 | | σ | 0.086-0.127=-0.041 | | min | 5188.359-5188.168=0.192 | | max | 5188.529-5188.524=0.005 |
| | mean | 3219.000-3227.200=-8.200 | | σ | 386.312-379.504=6.808 | | min | 2690.000-2711.000=-21.000 | | max | 3706.000-3710.000=-4.000 |
| | mean | 9.049-8.965=0.084 | | σ | 0.335-0.408=-0.073 | | min | 8.812-8.658=0.154 | | max | 9.627-9.645=-0.018 |
|