iters=5 new-facts=1 prior-facts=1 | | mean | 275.569-275.569=-0.000 | | σ | 0.007-0.006=0.000 | | min | 275.564-275.561=0.003 | | max | 275.578-275.575=0.003 |
| | mean | 2792.000-2779.000=13.000 | | σ | 0.000 | | min | 2792.000-2779.000=13.000 | | max | 2792.000-2779.000=13.000 |
| | mean | 0.406-0.405=0.001 | | σ | 0.010-0.012=-0.003 | | min | 0.398-0.395=0.002 | | max | 0.419-0.422=-0.004 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.097-2168.088=0.009 | | σ | 0.003-0.014=-0.011 | | min | 2168.092-2168.068=0.024 | | max | 2168.099-2168.104=-0.006 |
| | mean | 2792.000-2779.000=13.000 | | σ | 0.000 | | min | 2792.000-2779.000=13.000 | | max | 2792.000-2779.000=13.000 |
| | mean | 2.990-3.026=-0.036 | | σ | 0.154-0.136=0.019 | | min | 2.782-2.818=-0.036 | | max | 3.138-3.187=-0.049 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5047.673-5047.934=-0.262 | | σ | 1.120-0.897=0.224 | | min | 5046.469-5047.346=-0.877 | | max | 5049.523-5049.501=0.022 |
| | mean | 2792.000-2779.000=13.000 | | σ | 0.000 | | min | 2792.000-2779.000=13.000 | | max | 2792.000-2779.000=13.000 |
| | mean | 8.924-9.191=-0.268 | | σ | 0.511-0.589=-0.078 | | min | 8.086-8.485=-0.399 | | max | 9.444-10.020=-0.576 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.045-5179.055=-0.010 | | σ | 0.077-0.084=-0.007 | | min | 5178.970-5178.969=0.001 | | max | 5179.129-5179.149=-0.020 |
| | mean | 3240.000-3258.000=-18.000 | | σ | 353.095-354.970=-1.875 | | min | 2792.000-2779.000=13.000 | | max | 3706.000-3703.000=3.000 |
| | mean | 9.973-10.000=-0.027 | | σ | 0.112-0.259=-0.146 | | min | 9.795-9.577=0.218 | | max | 10.104-10.226=-0.122 |
|