iters=5 new-facts=1 prior-facts=1 | | mean | 350.631-345.007=5.624 | | σ | 0.068-0.070=-0.002 | | min | 350.512-344.883=5.630 | | max | 350.678-345.052=5.627 |
| | mean | 2504.000-2758.000=-254.000 | | σ | 0.000 | | min | 2504.000-2758.000=-254.000 | | max | 2504.000-2758.000=-254.000 |
| | mean | 0.456-0.449=0.007 | | σ | 0.006-0.006=0.000 | | min | 0.452-0.444=0.008 | | max | 0.466-0.459=0.008 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2012.702-2007.179=5.522 | | σ | 0.024-0.011=0.013 | | min | 2012.662-2007.169=5.493 | | max | 2012.722-2007.196=5.526 |
| | mean | 2504.000-2758.000=-254.000 | | σ | 0.000 | | min | 2504.000-2758.000=-254.000 | | max | 2504.000-2758.000=-254.000 |
| | mean | 2.754-2.683=0.071 | | σ | 0.087-0.096=-0.010 | | min | 2.677-2.530=0.147 | | max | 2.893-2.782=0.111 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4837.590-4831.942=5.648 | | σ | 7.775-7.789=-0.014 | | min | 4833.748-4828.166=5.583 | | max | 4851.493-4845.873=5.620 |
| | mean | 2504.000-2758.000=-254.000 | | σ | 0.000 | | min | 2504.000-2758.000=-254.000 | | max | 2504.000-2758.000=-254.000 |
| | mean | 8.221-8.583=-0.362 | | σ | 0.421-0.573=-0.152 | | min | 7.881-7.915=-0.033 | | max | 8.955-9.086=-0.131 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5025.193-5019.579=5.615 | | σ | 0.025-0.011=0.014 | | min | 5025.157-5019.567=5.590 | | max | 5025.218-5019.593=5.624 |
| | mean | 2963.400-3028.400=-65.000 | | σ | 420.862-264.542=156.320 | | min | 2504.000-2758.000=-254.000 | | max | 3539.000-3400.000=139.000 |
| | mean | 9.299-9.805=-0.506 | | σ | 0.588-0.127=0.461 | | min | 8.658-9.662=-1.005 | | max | 9.862-9.988=-0.126 |
|