iters=5 new-facts=1 prior-facts=1 | | mean | 271.598-271.598=0.000 | | σ | 0.006-0.006=-0.000 | | min | 271.591-271.591=0.000 | | max | 271.606-271.606=0.000 |
| | mean | 2614.000-2430.000=184.000 | | σ | 0.000 | | min | 2614.000-2430.000=184.000 | | max | 2614.000-2430.000=184.000 |
| | mean | 0.384-0.388=-0.004 | | σ | 0.004-0.006=-0.002 | | min | 0.381-0.381=-0.000 | | max | 0.391-0.395=-0.005 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.003-1932.000=0.002 | | σ | 0.008-0.012=-0.004 | | min | 1931.990-1931.983=0.007 | | max | 1932.010-1932.014=-0.004 |
| | mean | 2614.000-2430.000=184.000 | | σ | 0.000 | | min | 2614.000-2430.000=184.000 | | max | 2614.000-2430.000=184.000 |
| | mean | 2.489-2.566=-0.077 | | σ | 0.043-0.119=-0.076 | | min | 2.434-2.501=-0.066 | | max | 2.555-2.777=-0.222 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.758-4752.543=0.215 | | σ | 0.917-1.048=-0.131 | | min | 4752.157-4751.806=0.351 | | max | 4754.367-4754.344=0.024 |
| | mean | 2614.000-2430.000=184.000 | | σ | 0.000 | | min | 2614.000-2430.000=184.000 | | max | 2614.000-2430.000=184.000 |
| | mean | 8.528-8.352=0.176 | | σ | 0.679-0.398=0.281 | | min | 7.582-7.888=-0.307 | | max | 9.282-8.804=0.478 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.203-4943.207=-0.005 | | σ | 0.017-0.020=-0.003 | | min | 4943.185-4943.179=0.006 | | max | 4943.227-4943.230=-0.002 |
| | mean | 3011.400-2930.200=81.200 | | σ | 264.603-393.411=-128.808 | | min | 2619.000-2478.000=141.000 | | max | 3326.000-3428.000=-102.000 |
| | mean | 8.518-8.469=0.050 | | σ | 0.179-0.136=0.043 | | min | 8.301-8.301=0.000 | | max | 8.722-8.675=0.047 |
|