iters=5 new-facts=1 prior-facts=1 | | mean | 275.566-275.564=0.002 | | σ | 0.007-0.007=-0.000 | | min | 275.561-275.555=0.007 | | max | 275.578-275.573=0.005 |
| | mean | 2677.000-2469.000=208.000 | | σ | 0.000 | | min | 2677.000-2469.000=208.000 | | max | 2677.000-2469.000=208.000 |
| | mean | 0.391-0.393=-0.002 | | σ | 0.008-0.010=-0.002 | | min | 0.385-0.384=0.002 | | max | 0.405-0.405=0.000 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.087-2168.086=0.001 | | σ | 0.015-0.019=-0.004 | | min | 2168.069-2168.068=0.001 | | max | 2168.103-2168.114=-0.011 |
| | mean | 2677.000-2469.000=208.000 | | σ | 0.000 | | min | 2677.000-2469.000=208.000 | | max | 2677.000-2469.000=208.000 |
| | mean | 2.914-2.835=0.079 | | σ | 0.202-0.078=0.125 | | min | 2.692-2.749=-0.056 | | max | 3.204-2.952=0.252 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5047.906-5047.684=0.222 | | σ | 0.904-1.157=-0.253 | | min | 5047.406-5046.329=1.078 | | max | 5049.517-5049.525=-0.008 |
| | mean | 2677.000-2469.000=208.000 | | σ | 0.000 | | min | 2677.000-2469.000=208.000 | | max | 2677.000-2469.000=208.000 |
| | mean | 8.858-8.931=-0.073 | | σ | 0.503-0.401=0.102 | | min | 8.059-8.510=-0.451 | | max | 9.286-9.464=-0.178 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5178.890-5179.042=-0.152 | | σ | 0.371-0.073=0.298 | | min | 5178.250-5178.971=-0.721 | | max | 5179.160-5179.123=0.037 |
| | mean | 3265.600-3134.000=131.600 | | σ | 453.607-472.701=-19.094 | | min | 2677.000-2564.000=113.000 | | max | 3875.000-3741.000=134.000 |
| | mean | 9.856-9.922=-0.066 | | σ | 0.492-0.356=0.136 | | min | 9.020-9.504=-0.485 | | max | 10.225-10.455=-0.229 |
|