iters=5 new-facts=1 prior-facts=1 | | mean | 275.567-275.566=0.001 | | σ | 0.007-0.003=0.004 | | min | 275.558-275.563=-0.005 | | max | 275.576-275.571=0.005 |
| | mean | 2856.000-2699.000=157.000 | | σ | 0.000 | | min | 2856.000-2699.000=157.000 | | max | 2856.000-2699.000=157.000 |
| | mean | 0.405-0.392=0.013 | | σ | 0.010-0.009=0.001 | | min | 0.396-0.385=0.011 | | max | 0.418-0.404=0.014 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.094-2168.086=0.008 | | σ | 0.014-0.026=-0.012 | | min | 2168.077-2168.043=0.035 | | max | 2168.114-2168.111=0.003 |
| | mean | 2856.000-2699.000=157.000 | | σ | 0.000 | | min | 2856.000-2699.000=157.000 | | max | 2856.000-2699.000=157.000 |
| | mean | 2.945-3.014=-0.069 | | σ | 0.135-0.161=-0.026 | | min | 2.792-2.804=-0.012 | | max | 3.118-3.198=-0.081 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5047.904-5047.673=0.232 | | σ | 0.911-1.065=-0.154 | | min | 5047.403-5046.565=0.838 | | max | 5049.525-5049.449=0.077 |
| | mean | 2856.000-2699.000=157.000 | | σ | 0.000 | | min | 2856.000-2699.000=157.000 | | max | 2856.000-2699.000=157.000 |
| | mean | 9.034-8.812=0.222 | | σ | 0.408-0.521=-0.113 | | min | 8.378-8.076=0.302 | | max | 9.464-9.478=-0.014 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.044-5179.049=-0.004 | | σ | 0.078-0.107=-0.029 | | min | 5178.966-5178.965=0.001 | | max | 5179.127-5179.177=-0.051 |
| | mean | 3320.000-3230.400=89.600 | | σ | 365.580-386.896=-21.316 | | min | 2856.000-2699.000=157.000 | | max | 3675.000-3718.000=-43.000 |
| | mean | 9.746-10.101=-0.356 | | σ | 0.278-0.351=-0.073 | | min | 9.516-9.764=-0.249 | | max | 10.214-10.687=-0.473 |
|