iters=5 new-facts=1 prior-facts=1 | | mean | 277.715-277.717=-0.002 | | σ | 0.011-0.007=0.004 | | min | 277.700-277.708=-0.007 | | max | 277.727-277.725=0.002 |
| | mean | 2642.000-2652.000=-10.000 | | σ | 0.000 | | min | 2642.000-2652.000=-10.000 | | max | 2642.000-2652.000=-10.000 |
| | mean | 0.407-0.409=-0.002 | | σ | 0.001-0.001=0.000 | | min | 0.406-0.408=-0.002 | | max | 0.408-0.409=-0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2267.889-2267.888=0.002 | | σ | 0.004-0.005=-0.001 | | min | 2267.883-2267.885=-0.001 | | max | 2267.892-2267.896=-0.004 |
| | mean | 2642.000-2652.000=-10.000 | | σ | 0.000 | | min | 2642.000-2652.000=-10.000 | | max | 2642.000-2652.000=-10.000 |
| | mean | 2.890-3.124=-0.234 | | σ | 0.198-0.175=0.024 | | min | 2.677-2.911=-0.234 | | max | 3.193-3.310=-0.117 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4955.043-4954.816=0.226 | | σ | 0.813-0.962=-0.149 | | min | 4954.627-4953.982=0.645 | | max | 4956.496-4956.376=0.120 |
| | mean | 2642.000-2652.000=-10.000 | | σ | 0.000 | | min | 2642.000-2652.000=-10.000 | | max | 2642.000-2652.000=-10.000 |
| | mean | 8.007-7.842=0.164 | | σ | 0.267-0.172=0.095 | | min | 7.808-7.654=0.154 | | max | 8.462-8.075=0.388 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5169.720-5169.763=-0.044 | | σ | 0.137-0.085=0.052 | | min | 5169.516-5169.691=-0.175 | | max | 5169.848-5169.861=-0.014 |
| | mean | 3434.600-3342.200=92.400 | | σ | 467.157-427.085=40.073 | | min | 2809.000-2919.000=-110.000 | | max | 4026.000-3773.000=253.000 |
| | mean | 9.207-9.364=-0.157 | | σ | 0.200-0.025=0.175 | | min | 8.939-9.325=-0.386 | | max | 9.498-9.383=0.115 |
|