iters=5 new-facts=1 prior-facts=1 | | mean | 324.760-324.761=-0.001 | | σ | 0.062-0.055=0.007 | | min | 324.650-324.663=-0.013 | | max | 324.796-324.791=0.005 |
| | mean | 2846.000-2838.000=8.000 | | σ | 0.000 | | min | 2846.000-2838.000=8.000 | | max | 2846.000-2838.000=8.000 |
| | mean | 0.431-0.428=0.003 | | σ | 0.009-0.008=0.001 | | min | 0.423-0.424=-0.001 | | max | 0.441-0.442=-0.000 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.322-1985.319=0.002 | | σ | 0.010-0.022=-0.011 | | min | 1985.306-1985.290=0.016 | | max | 1985.333-1985.340=-0.007 |
| | mean | 2846.000-2838.000=8.000 | | σ | 0.000 | | min | 2846.000-2838.000=8.000 | | max | 2846.000-2838.000=8.000 |
| | mean | 2.758-2.624=0.134 | | σ | 0.138-0.142=-0.005 | | min | 2.536-2.517=0.019 | | max | 2.911-2.864=0.047 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4809.090-4808.991=0.099 | | σ | 7.658-7.752=-0.093 | | min | 4805.589-4805.040=0.549 | | max | 4822.789-4822.848=-0.059 |
| | mean | 2846.000-2838.000=8.000 | | σ | 0.000 | | min | 2846.000-2838.000=8.000 | | max | 2846.000-2838.000=8.000 |
| | mean | 8.925-8.748=0.176 | | σ | 0.344-0.337=0.007 | | min | 8.546-8.155=0.391 | | max | 9.472-8.956=0.516 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.564-4996.487=0.076 | | σ | 0.149-0.196=-0.047 | | min | 4996.297-4996.246=0.051 | | max | 4996.642-4996.655=-0.014 |
| | mean | 3050.800-3061.800=-11.000 | | σ | 217.447-296.069=-78.622 | | min | 2846.000-2838.000=8.000 | | max | 3278.000-3517.000=-239.000 |
| | mean | 8.579-8.502=0.077 | | σ | 0.106-0.109=-0.003 | | min | 8.482-8.416=0.066 | | max | 8.746-8.687=0.059 |
|