iters=5 new-facts=1 prior-facts=1 | | mean | 273.499-273.503=-0.004 | | σ | 0.006-0.007=-0.001 | | min | 273.491-273.495=-0.004 | | max | 273.506-273.514=-0.008 |
| | mean | 2666.000-2863.000=-197.000 | | σ | 0.000 | | min | 2666.000-2863.000=-197.000 | | max | 2666.000-2863.000=-197.000 |
| | mean | 0.375-0.375=0.000 | | σ | 0.004-0.005=-0.001 | | min | 0.372-0.371=0.001 | | max | 0.382-0.383=-0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.902-1933.892=0.010 | | σ | 0.016-0.011=0.005 | | min | 1933.886-1933.878=0.009 | | max | 1933.927-1933.909=0.018 |
| | mean | 2666.000-2863.000=-197.000 | | σ | 0.000 | | min | 2666.000-2863.000=-197.000 | | max | 2666.000-2863.000=-197.000 |
| | mean | 2.980-2.950=0.030 | | σ | 0.148-0.118=0.029 | | min | 2.813-2.760=0.053 | | max | 3.136-3.085=0.051 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.671-4754.556=0.115 | | σ | 0.822-0.872=-0.050 | | min | 4754.136-4753.860=0.276 | | max | 4756.129-4756.074=0.055 |
| | mean | 2666.000-2863.000=-197.000 | | σ | 0.000 | | min | 2666.000-2863.000=-197.000 | | max | 2666.000-2863.000=-197.000 |
| | mean | 8.446-8.327=0.119 | | σ | 0.536-0.516=0.019 | | min | 7.618-7.615=0.003 | | max | 9.111-9.018=0.094 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4945.052-4945.046=0.006 | | σ | 0.150-0.164=-0.014 | | min | 4944.784-4944.754=0.031 | | max | 4945.142-4945.145=-0.003 |
| | mean | 3050.600-3026.600=24.000 | | σ | 304.327-184.653=119.674 | | min | 2666.000-2863.000=-197.000 | | max | 3340.000-3313.000=27.000 |
| | mean | 8.701-8.437=0.264 | | σ | 0.235-0.104=0.131 | | min | 8.402-8.331=0.071 | | max | 9.032-8.572=0.460 |
|