iters=5 new-facts=1 prior-facts=1 | | mean | 277.195-277.197=-0.002 | | σ | 0.006-0.004=0.002 | | min | 277.191-277.192=-0.002 | | max | 277.204-277.202=0.003 |
| | mean | 2646.000-2709.000=-63.000 | | σ | 0.000 | | min | 2646.000-2709.000=-63.000 | | max | 2646.000-2709.000=-63.000 |
| | mean | 0.403-0.406=-0.003 | | σ | 0.008-0.007=0.001 | | min | 0.398-0.402=-0.004 | | max | 0.417-0.418=-0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2174.421-2174.427=-0.006 | | σ | 0.018-0.021=-0.003 | | min | 2174.400-2174.391=0.009 | | max | 2174.445-2174.446=-0.002 |
| | mean | 2646.000-2709.000=-63.000 | | σ | 0.000 | | min | 2646.000-2709.000=-63.000 | | max | 2646.000-2709.000=-63.000 |
| | mean | 2.860-2.981=-0.121 | | σ | 0.143-0.175=-0.032 | | min | 2.745-2.776=-0.031 | | max | 3.073-3.168=-0.095 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5052.495-5052.271=0.224 | | σ | 1.048-1.277=-0.229 | | min | 5051.675-5051.037=0.638 | | max | 5054.328-5054.377=-0.049 |
| | mean | 2646.000-2709.000=-63.000 | | σ | 0.000 | | min | 2646.000-2709.000=-63.000 | | max | 2646.000-2709.000=-63.000 |
| | mean | 9.130-9.349=-0.219 | | σ | 0.390-0.291=0.099 | | min | 8.490-8.861=-0.371 | | max | 9.420-9.598=-0.178 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5188.414-5188.213=0.201 | | σ | 0.097-0.382=-0.284 | | min | 5188.314-5187.643=0.671 | | max | 5188.523-5188.527=-0.004 |
| | mean | 3206.800-3252.000=-45.200 | | σ | 477.351-345.453=131.897 | | min | 2646.000-2774.000=-128.000 | | max | 3851.000-3650.000=201.000 |
| | mean | 8.721-9.022=-0.301 | | σ | 0.192-0.414=-0.222 | | min | 8.616-8.648=-0.032 | | max | 9.063-9.611=-0.548 |
|