iters=5 new-facts=1 prior-facts=1 | | mean | 262.302-262.594=-0.293 | | σ | 0.008-0.006=0.001 | | min | 262.288-262.585=-0.297 | | max | 262.308-262.599=-0.292 |
| | mean | 1586.000-1623.000=-37.000 | | σ | 0.000 | | min | 1586.000-1623.000=-37.000 | | max | 1586.000-1623.000=-37.000 |
| | mean | 0.352-0.355=-0.003 | | σ | 0.009-0.010=-0.001 | | min | 0.347-0.347=-0.000 | | max | 0.369-0.368=0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1262.379-1262.633=-0.255 | | σ | 0.131-0.049=0.082 | | min | 1262.309-1262.607=-0.298 | | max | 1262.613-1262.721=-0.109 |
| | mean | 1586.000-1623.000=-37.000 | | σ | 0.000 | | min | 1586.000-1623.000=-37.000 | | max | 1586.000-1623.000=-37.000 |
| | mean | 1.853-1.855=-0.002 | | σ | 0.073-0.062=0.011 | | min | 1.777-1.785=-0.008 | | max | 1.966-1.955=0.011 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1784.641-2058.192=-273.551 | | σ | 7.004-7.017=-0.013 | | min | 1781.281-2054.890=-273.609 | | max | 1797.153-2070.735=-273.582 |
| | mean | 1586.000-1623.000=-37.000 | | σ | 0.000 | | min | 1586.000-1623.000=-37.000 | | max | 1586.000-1623.000=-37.000 |
| | mean | 4.211-4.766=-0.556 | | σ | 0.164-0.241=-0.077 | | min | 4.058-4.467=-0.409 | | max | 4.418-5.079=-0.660 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2047.096-2047.385=-0.289 | | σ | 0.014-0.020=-0.006 | | min | 2047.086-2047.353=-0.267 | | max | 2047.119-2047.406=-0.287 |
| | mean | 1829.800-1789.200=40.600 | | σ | 200.494-164.544=35.950 | | min | 1586.000-1623.000=-37.000 | | max | 2077.000-2004.000=73.000 |
| | mean | 4.525-4.436=0.089 | | σ | 0.191-0.188=0.003 | | min | 4.393-4.310=0.082 | | max | 4.860-4.767=0.093 |
|