iters=5 new-facts=1 prior-facts=1 | | mean | 324.705-324.710=-0.005 | | σ | 0.055-0.059=-0.004 | | min | 324.606-324.605=0.001 | | max | 324.734-324.743=-0.009 |
| | mean | 2835.000-2829.000=6.000 | | σ | 0.000 | | min | 2835.000-2829.000=6.000 | | max | 2835.000-2829.000=6.000 |
| | mean | 0.425-0.439=-0.014 | | σ | 0.004-0.010=-0.007 | | min | 0.422-0.423=-0.001 | | max | 0.431-0.448=-0.017 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.276-1985.273=0.004 | | σ | 0.005-0.007=-0.002 | | min | 1985.270-1985.266=0.004 | | max | 1985.283-1985.286=-0.002 |
| | mean | 2835.000-2829.000=6.000 | | σ | 0.000 | | min | 2835.000-2829.000=6.000 | | max | 2835.000-2829.000=6.000 |
| | mean | 2.585-2.551=0.034 | | σ | 0.051-0.100=-0.050 | | min | 2.538-2.416=0.121 | | max | 2.645-2.655=-0.010 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.877-4808.883=-0.007 | | σ | 7.707-7.738=-0.031 | | min | 4805.374-4805.375=-0.001 | | max | 4822.663-4822.724=-0.062 |
| | mean | 2835.000-2829.000=6.000 | | σ | 0.000 | | min | 2835.000-2829.000=6.000 | | max | 2835.000-2829.000=6.000 |
| | mean | 8.930-8.961=-0.031 | | σ | 0.257-0.212=0.045 | | min | 8.715-8.687=0.028 | | max | 9.324-9.270=0.055 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.481-4996.336=0.145 | | σ | 0.015-0.193=-0.178 | | min | 4996.463-4996.105=0.358 | | max | 4996.504-4996.485=0.019 |
| | mean | 3048.000-3056.800=-8.800 | | σ | 201.651-212.334=-10.683 | | min | 2835.000-2829.000=6.000 | | max | 3343.000-3367.000=-24.000 |
| | mean | 8.758-8.707=0.051 | | σ | 0.231-0.197=0.034 | | min | 8.504-8.473=0.032 | | max | 9.076-8.918=0.158 |
|