iters=5 new-facts=1 prior-facts=1 | | mean | 272.768-272.767=0.001 | | σ | 0.006-0.011=-0.005 | | min | 272.758-272.756=0.002 | | max | 272.774-272.781=-0.006 |
| | mean | 2728.000-2845.000=-117.000 | | σ | 0.000 | | min | 2728.000-2845.000=-117.000 | | max | 2728.000-2845.000=-117.000 |
| | mean | 0.385-0.389=-0.003 | | σ | 0.004-0.008=-0.004 | | min | 0.381-0.380=0.001 | | max | 0.391-0.400=-0.009 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.165-1933.156=0.009 | | σ | 0.012-0.015=-0.003 | | min | 1933.147-1933.133=0.014 | | max | 1933.176-1933.172=0.004 |
| | mean | 2728.000-2845.000=-117.000 | | σ | 0.000 | | min | 2728.000-2845.000=-117.000 | | max | 2728.000-2845.000=-117.000 |
| | mean | 3.051-2.958=0.093 | | σ | 0.070-0.141=-0.072 | | min | 2.971-2.723=0.248 | | max | 3.154-3.100=0.054 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4753.444-4753.666=-0.222 | | σ | 1.155-1.012=0.143 | | min | 4752.481-4752.901=-0.420 | | max | 4755.411-4755.400=0.010 |
| | mean | 2728.000-2845.000=-117.000 | | σ | 0.000 | | min | 2728.000-2845.000=-117.000 | | max | 2728.000-2845.000=-117.000 |
| | mean | 8.529-8.540=-0.010 | | σ | 0.485-0.441=0.044 | | min | 7.841-7.872=-0.031 | | max | 9.097-9.036=0.061 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.312-4944.380=-0.068 | | σ | 0.144-0.016=0.128 | | min | 4944.056-4944.360=-0.304 | | max | 4944.405-4944.404=0.002 |
| | mean | 2985.400-3027.600=-42.200 | | σ | 307.288-263.509=43.779 | | min | 2728.000-2845.000=-117.000 | | max | 3434.000-3456.000=-22.000 |
| | mean | 8.350-8.469=-0.119 | | σ | 0.071-0.124=-0.053 | | min | 8.244-8.313=-0.069 | | max | 8.440-8.659=-0.219 |
|