iters=5 new-facts=1 prior-facts=1 | | mean | 271.757-271.752=0.006 | | σ | 0.007-0.007=0.001 | | min | 271.747-271.744=0.003 | | max | 271.766-271.758=0.008 |
| | mean | 2881.000-2811.000=70.000 | | σ | 0.000 | | min | 2881.000-2811.000=70.000 | | max | 2881.000-2811.000=70.000 |
| | mean | 0.381-0.382=-0.001 | | σ | 0.003-0.004=-0.002 | | min | 0.379-0.379=-0.000 | | max | 0.386-0.390=-0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.176-1932.180=-0.003 | | σ | 0.006-0.017=-0.011 | | min | 1932.171-1932.156=0.015 | | max | 1932.184-1932.201=-0.017 |
| | mean | 2881.000-2811.000=70.000 | | σ | 0.000 | | min | 2881.000-2811.000=70.000 | | max | 2881.000-2811.000=70.000 |
| | mean | 2.941-2.939=0.003 | | σ | 0.113-0.049=0.064 | | min | 2.751-2.852=-0.101 | | max | 3.051-2.974=0.077 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.898-4752.797=0.101 | | σ | 0.916-1.014=-0.098 | | min | 4752.392-4751.992=0.400 | | max | 4754.534-4754.567=-0.033 |
| | mean | 2881.000-2811.000=70.000 | | σ | 0.000 | | min | 2881.000-2811.000=70.000 | | max | 2881.000-2811.000=70.000 |
| | mean | 8.696-8.672=0.024 | | σ | 0.238-0.297=-0.059 | | min | 8.507-8.374=0.133 | | max | 9.070-9.094=-0.024 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.297-4943.372=-0.074 | | σ | 0.161-0.019=0.142 | | min | 4943.012-4943.347=-0.335 | | max | 4943.391-4943.388=0.003 |
| | mean | 3030.400-3019.800=10.600 | | σ | 176.130-266.401=-90.271 | | min | 2881.000-2811.000=70.000 | | max | 3312.000-3428.000=-116.000 |
| | mean | 8.502-8.427=0.075 | | σ | 0.131-0.030=0.101 | | min | 8.373-8.404=-0.031 | | max | 8.644-8.474=0.170 |
|