iters=5 new-facts=1 prior-facts=1 | | mean | 271.757-271.755=0.002 | | σ | 0.007-0.005=0.002 | | min | 271.750-271.750=0.001 | | max | 271.768-271.762=0.006 |
| | mean | 2849.000-2808.000=41.000 | | σ | 0.000 | | min | 2849.000-2808.000=41.000 | | max | 2849.000-2808.000=41.000 |
| | mean | 0.381-0.381=-0.001 | | σ | 0.004-0.004=0.001 | | min | 0.378-0.378=0.001 | | max | 0.389-0.387=0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.177-1932.186=-0.009 | | σ | 0.005-0.009=-0.004 | | min | 1932.170-1932.177=-0.007 | | max | 1932.184-1932.201=-0.017 |
| | mean | 2849.000-2808.000=41.000 | | σ | 0.000 | | min | 2849.000-2808.000=41.000 | | max | 2849.000-2808.000=41.000 |
| | mean | 3.053-2.932=0.121 | | σ | 0.075-0.133=-0.058 | | min | 2.986-2.725=0.261 | | max | 3.171-3.084=0.087 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.950-4752.909=0.041 | | σ | 0.853-0.951=-0.098 | | min | 4752.459-4752.393=0.066 | | max | 4754.470-4754.599=-0.129 |
| | mean | 2849.000-2808.000=41.000 | | σ | 0.000 | | min | 2849.000-2808.000=41.000 | | max | 2849.000-2808.000=41.000 |
| | mean | 8.267-8.669=-0.402 | | σ | 0.414-0.525=-0.111 | | min | 7.835-8.014=-0.178 | | max | 8.780-9.252=-0.471 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.304-4943.378=-0.074 | | σ | 0.156-0.015=0.141 | | min | 4943.028-4943.362=-0.333 | | max | 4943.400-4943.395=0.005 |
| | mean | 3070.400-3007.200=63.200 | | σ | 290.069-204.051=86.018 | | min | 2849.000-2808.000=41.000 | | max | 3519.000-3312.000=207.000 |
| | mean | 8.440-8.540=-0.100 | | σ | 0.104-0.101=0.003 | | min | 8.347-8.427=-0.080 | | max | 8.602-8.647=-0.045 |
|