iters=5 new-facts=1 prior-facts=1 | | mean | 326.509-326.504=0.006 | | σ | 0.054-0.068=-0.014 | | min | 326.415-326.383=0.031 | | max | 326.552-326.550=0.002 |
| | mean | 2829.000-2616.000=213.000 | | σ | 0.000 | | min | 2829.000-2616.000=213.000 | | max | 2829.000-2616.000=213.000 |
| | mean | 0.431-0.441=-0.010 | | σ | 0.007-0.017=-0.010 | | min | 0.423-0.423=-0.000 | | max | 0.439-0.459=-0.019 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.685-1988.680=0.004 | | σ | 0.005-0.007=-0.003 | | min | 1988.679-1988.671=0.009 | | max | 1988.690-1988.688=0.002 |
| | mean | 2829.000-2616.000=213.000 | | σ | 0.000 | | min | 2829.000-2616.000=213.000 | | max | 2829.000-2616.000=213.000 |
| | mean | 2.663-2.686=-0.023 | | σ | 0.135-0.082=0.053 | | min | 2.585-2.587=-0.003 | | max | 2.905-2.815=0.090 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.527-4813.572=-0.046 | | σ | 7.756-7.740=0.016 | | min | 4810.011-4810.002=0.009 | | max | 4827.401-4827.417=-0.017 |
| | mean | 2829.000-2616.000=213.000 | | σ | 0.000 | | min | 2829.000-2616.000=213.000 | | max | 2829.000-2616.000=213.000 |
| | mean | 8.986-8.822=0.164 | | σ | 0.268-0.745=-0.477 | | min | 8.688-7.793=0.895 | | max | 9.364-9.650=-0.287 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.079-5001.005=0.074 | | σ | 0.027-0.178=-0.150 | | min | 5001.055-5000.692=0.364 | | max | 5001.123-5001.123=0.000 |
| | mean | 3050.800-2995.200=55.600 | | σ | 190.585-259.723=-69.138 | | min | 2829.000-2616.000=213.000 | | max | 3317.000-3309.000=8.000 |
| | mean | 9.795-9.662=0.133 | | σ | 0.214-0.690=-0.476 | | min | 9.482-8.452=1.030 | | max | 10.062-10.099=-0.037 |
|