iters=5 new-facts=1 prior-facts=1 | | mean | 275.564-275.569=-0.005 | | σ | 0.007-0.006=0.001 | | min | 275.555-275.561=-0.006 | | max | 275.573-275.575=-0.002 |
| | mean | 2469.000-2779.000=-310.000 | | σ | 0.000 | | min | 2469.000-2779.000=-310.000 | | max | 2469.000-2779.000=-310.000 |
| | mean | 0.393-0.405=-0.012 | | σ | 0.010-0.012=-0.002 | | min | 0.384-0.395=-0.012 | | max | 0.405-0.422=-0.018 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.086-2168.088=-0.001 | | σ | 0.019-0.014=0.005 | | min | 2168.068-2168.068=0.000 | | max | 2168.114-2168.104=0.009 |
| | mean | 2469.000-2779.000=-310.000 | | σ | 0.000 | | min | 2469.000-2779.000=-310.000 | | max | 2469.000-2779.000=-310.000 |
| | mean | 2.835-3.026=-0.191 | | σ | 0.078-0.136=-0.058 | | min | 2.749-2.818=-0.070 | | max | 2.952-3.187=-0.235 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5047.684-5047.934=-0.250 | | σ | 1.157-0.897=0.260 | | min | 5046.329-5047.346=-1.018 | | max | 5049.525-5049.501=0.024 |
| | mean | 2469.000-2779.000=-310.000 | | σ | 0.000 | | min | 2469.000-2779.000=-310.000 | | max | 2469.000-2779.000=-310.000 |
| | mean | 8.931-9.191=-0.261 | | σ | 0.401-0.589=-0.188 | | min | 8.510-8.485=0.025 | | max | 9.464-10.020=-0.556 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.042-5179.055=-0.013 | | σ | 0.073-0.084=-0.011 | | min | 5178.971-5178.969=0.002 | | max | 5179.123-5179.149=-0.026 |
| | mean | 3134.000-3258.000=-124.000 | | σ | 472.701-354.970=117.731 | | min | 2564.000-2779.000=-215.000 | | max | 3741.000-3703.000=38.000 |
| | mean | 9.922-10.000=-0.078 | | σ | 0.356-0.259=0.097 | | min | 9.504-9.577=-0.073 | | max | 10.455-10.226=0.228 |
|