iters=5 new-facts=1 prior-facts=1 | | mean | 190.724-190.715=0.009 | | σ | 0.011-0.012=-0.001 | | min | 190.715-190.702=0.012 | | max | 190.738-190.733=0.005 |
| | mean | 2618.000-2634.000=-16.000 | | σ | 0.000 | | min | 2618.000-2634.000=-16.000 | | max | 2618.000-2634.000=-16.000 |
| | mean | 0.280-0.281=-0.001 | | σ | 0.001-0.000=0.000 | | min | 0.280-0.281=-0.001 | | max | 0.281-0.282=-0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1989.504-1989.493=0.011 | | σ | 0.023-0.020=0.004 | | min | 1989.465-1989.478=-0.013 | | max | 1989.523-1989.521=0.002 |
| | mean | 2618.000-2634.000=-16.000 | | σ | 0.000 | | min | 2618.000-2634.000=-16.000 | | max | 2618.000-2634.000=-16.000 |
| | mean | 2.616-2.399=0.217 | | σ | 0.259-0.089=0.170 | | min | 2.376-2.303=0.073 | | max | 3.019-2.544=0.475 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4880.053-4879.965=0.088 | | σ | 0.598-0.318=0.280 | | min | 4879.613-4879.729=-0.115 | | max | 4881.099-4880.504=0.595 |
| | mean | 2618.000-2634.000=-16.000 | | σ | 0.000 | | min | 2618.000-2634.000=-16.000 | | max | 2618.000-2634.000=-16.000 |
| | mean | 8.242-8.216=0.026 | | σ | 0.447-0.142=0.305 | | min | 7.734-8.028=-0.294 | | max | 8.951-8.378=0.573 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4891.697-4891.698=-0.001 | | σ | 0.086-0.077=0.008 | | min | 4891.624-4891.637=-0.014 | | max | 4891.796-4891.789=0.007 |
| | mean | 3316.200-3351.800=-35.600 | | σ | 531.571-462.921=68.650 | | min | 2618.000-2771.000=-153.000 | | max | 3822.000-4008.000=-186.000 |
| | mean | 8.166-8.326=-0.160 | | σ | 0.233-0.411=-0.178 | | min | 7.925-7.987=-0.062 | | max | 8.526-9.030=-0.505 |
|