iters=5 new-facts=1 prior-facts=1 | | mean | 275.753-275.755=-0.002 | | σ | 0.007-0.009=-0.002 | | min | 275.746-275.744=0.002 | | max | 275.764-275.765=-0.000 |
| | mean | 2649.000-2638.000=11.000 | | σ | 0.000 | | min | 2649.000-2638.000=11.000 | | max | 2649.000-2638.000=11.000 |
| | mean | 0.405-0.401=0.004 | | σ | 0.010-0.003=0.007 | | min | 0.396-0.398=-0.003 | | max | 0.421-0.406=0.015 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.282-2168.277=0.005 | | σ | 0.010-0.012=-0.003 | | min | 2168.272-2168.264=0.008 | | max | 2168.294-2168.297=-0.003 |
| | mean | 2649.000-2638.000=11.000 | | σ | 0.000 | | min | 2649.000-2638.000=11.000 | | max | 2649.000-2638.000=11.000 |
| | mean | 2.906-3.026=-0.120 | | σ | 0.113-0.210=-0.097 | | min | 2.741-2.781=-0.040 | | max | 3.027-3.320=-0.293 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5048.092-5048.109=-0.017 | | σ | 0.928-0.978=-0.050 | | min | 5047.586-5047.578=0.008 | | max | 5049.747-5049.851=-0.104 |
| | mean | 2649.000-2638.000=11.000 | | σ | 0.000 | | min | 2649.000-2638.000=11.000 | | max | 2649.000-2638.000=11.000 |
| | mean | 8.938-9.073=-0.134 | | σ | 0.471-0.535=-0.064 | | min | 8.134-8.249=-0.115 | | max | 9.317-9.722=-0.405 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.238-5179.099=0.139 | | σ | 0.081-0.209=-0.128 | | min | 5179.165-5178.811=0.354 | | max | 5179.338-5179.341=-0.003 |
| | mean | 3274.000-3228.000=46.000 | | σ | 380.699-371.032=9.667 | | min | 2736.000-2695.000=41.000 | | max | 3733.000-3692.000=41.000 |
| | mean | 9.916-9.956=-0.040 | | σ | 0.328-0.222=0.106 | | min | 9.560-9.628=-0.068 | | max | 10.205-10.197=0.007 |
|