iters=5 new-facts=1 prior-facts=1 | | mean | 275.569-275.561=0.008 | | σ | 0.008-0.013=-0.005 | | min | 275.561-275.539=0.022 | | max | 275.579-275.572=0.007 |
| | mean | 2704.000-2464.000=240.000 | | σ | 0.000 | | min | 2704.000-2464.000=240.000 | | max | 2704.000-2464.000=240.000 |
| | mean | 0.401-0.394=0.007 | | σ | 0.015-0.008=0.007 | | min | 0.385-0.385=-0.001 | | max | 0.421-0.404=0.016 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.088-2168.083=0.004 | | σ | 0.026-0.011=0.015 | | min | 2168.045-2168.073=-0.029 | | max | 2168.113-2168.101=0.012 |
| | mean | 2704.000-2464.000=240.000 | | σ | 0.000 | | min | 2704.000-2464.000=240.000 | | max | 2704.000-2464.000=240.000 |
| | mean | 2.985-3.011=-0.026 | | σ | 0.167-0.155=0.013 | | min | 2.806-2.796=0.010 | | max | 3.168-3.135=0.033 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5047.782-5047.901=-0.119 | | σ | 0.651-0.911=-0.260 | | min | 5047.368-5047.364=0.004 | | max | 5048.937-5049.523=-0.586 |
| | mean | 2704.000-2464.000=240.000 | | σ | 0.000 | | min | 2704.000-2464.000=240.000 | | max | 2704.000-2464.000=240.000 |
| | mean | 8.789-8.803=-0.014 | | σ | 0.371-0.384=-0.012 | | min | 8.203-8.217=-0.014 | | max | 9.104-9.151=-0.047 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5178.905-5179.048=-0.144 | | σ | 0.236-0.090=0.145 | | min | 5178.636-5178.962=-0.325 | | max | 5179.126-5179.156=-0.030 |
| | mean | 3217.800-3224.800=-7.000 | | σ | 379.377-359.297=20.081 | | min | 2704.000-2719.000=-15.000 | | max | 3699.000-3667.000=32.000 |
| | mean | 9.841-9.716=0.125 | | σ | 0.208-0.502=-0.294 | | min | 9.594-8.996=0.598 | | max | 10.072-10.197=-0.125 |
|