iters=5 new-facts=1 prior-facts=1 | | mean | 324.772-324.766=0.006 | | σ | 0.036-0.053=-0.017 | | min | 324.710-324.671=0.039 | | max | 324.804-324.794=0.011 |
| | mean | 2846.000-2822.000=24.000 | | σ | 0.000 | | min | 2846.000-2822.000=24.000 | | max | 2846.000-2822.000=24.000 |
| | mean | 0.426-0.431=-0.005 | | σ | 0.007-0.010=-0.002 | | min | 0.421-0.423=-0.002 | | max | 0.439-0.442=-0.004 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.319-1985.317=0.001 | | σ | 0.013-0.022=-0.008 | | min | 1985.308-1985.297=0.011 | | max | 1985.339-1985.343=-0.004 |
| | mean | 2846.000-2822.000=24.000 | | σ | 0.000 | | min | 2846.000-2822.000=24.000 | | max | 2846.000-2822.000=24.000 |
| | mean | 2.640-2.636=0.004 | | σ | 0.125-0.134=-0.009 | | min | 2.521-2.518=0.003 | | max | 2.824-2.812=0.012 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4809.078-4809.120=-0.042 | | σ | 7.717-7.705=0.012 | | min | 4805.576-4805.573=0.003 | | max | 4822.883-4822.903=-0.020 |
| | mean | 2846.000-2822.000=24.000 | | σ | 0.000 | | min | 2846.000-2822.000=24.000 | | max | 2846.000-2822.000=24.000 |
| | mean | 8.827-8.833=-0.006 | | σ | 0.262-0.473=-0.212 | | min | 8.434-7.993=0.441 | | max | 9.063-9.127=-0.063 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.626-4996.626=-0.001 | | σ | 0.028-0.024=0.004 | | min | 4996.592-4996.593=-0.001 | | max | 4996.655-4996.653=0.002 |
| | mean | 3044.600-3054.400=-9.800 | | σ | 279.267-303.324=-24.057 | | min | 2846.000-2822.000=24.000 | | max | 3486.000-3520.000=-34.000 |
| | mean | 8.516-8.512=0.004 | | σ | 0.143-0.122=0.021 | | min | 8.420-8.410=0.010 | | max | 8.768-8.723=0.045 |
|