iters=5 new-facts=1 prior-facts=1 | | mean | 279.511-279.511=0.000 | | σ | 0.009-0.005=0.003 | | min | 279.500-279.505=-0.005 | | max | 279.520-279.515=0.005 |
| | mean | 2746.000-2734.000=12.000 | | σ | 0.000 | | min | 2746.000-2734.000=12.000 | | max | 2746.000-2734.000=12.000 |
| | mean | 0.411-0.405=0.005 | | σ | 0.007-0.001=0.005 | | min | 0.404-0.404=0.000 | | max | 0.419-0.407=0.012 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2178.441-2178.438=0.003 | | σ | 0.014-0.020=-0.005 | | min | 2178.419-2178.414=0.005 | | max | 2178.453-2178.468=-0.015 |
| | mean | 2746.000-2734.000=12.000 | | σ | 0.000 | | min | 2746.000-2734.000=12.000 | | max | 2746.000-2734.000=12.000 |
| | mean | 3.141-3.400=-0.259 | | σ | 0.552-0.227=0.325 | | min | 2.671-3.167=-0.495 | | max | 4.041-3.770=0.271 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5056.403-5056.386=0.017 | | σ | 0.979-0.990=-0.011 | | min | 5055.873-5055.779=0.094 | | max | 5058.138-5058.147=-0.009 |
| | mean | 2746.000-2734.000=12.000 | | σ | 0.000 | | min | 2746.000-2734.000=12.000 | | max | 2746.000-2734.000=12.000 |
| | mean | 9.171-8.880=0.292 | | σ | 0.750-0.708=0.042 | | min | 8.162-8.096=0.067 | | max | 10.125-9.724=0.401 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5193.607-5193.754=-0.147 | | σ | 0.255-0.087=0.167 | | min | 5193.337-5193.685=-0.347 | | max | 5193.856-5193.853=0.002 |
| | mean | 3193.000-3279.400=-86.400 | | σ | 443.104-405.250=37.854 | | min | 2746.000-2734.000=12.000 | | max | 3814.000-3666.000=148.000 |
| | mean | 8.651-8.847=-0.196 | | σ | 0.126-0.169=-0.043 | | min | 8.535-8.672=-0.137 | | max | 8.864-9.086=-0.221 |
|