iters=5 new-facts=1 prior-facts=1 | | mean | 271.928-271.956=-0.028 | | σ | 0.006-0.007=-0.001 | | min | 271.920-271.947=-0.027 | | max | 271.935-271.966=-0.031 |
| | mean | 2705.000-2734.000=-29.000 | | σ | 0.000 | | min | 2705.000-2734.000=-29.000 | | max | 2705.000-2734.000=-29.000 |
| | mean | 0.378-0.385=-0.007 | | σ | 0.001-0.007=-0.006 | | min | 0.376-0.381=-0.005 | | max | 0.380-0.398=-0.019 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.324-1932.331=-0.007 | | σ | 0.006-0.013=-0.007 | | min | 1932.317-1932.313=0.004 | | max | 1932.332-1932.347=-0.016 |
| | mean | 2705.000-2734.000=-29.000 | | σ | 0.000 | | min | 2705.000-2734.000=-29.000 | | max | 2705.000-2734.000=-29.000 |
| | mean | 3.060-2.946=0.114 | | σ | 0.065-0.286=-0.221 | | min | 3.005-2.449=0.557 | | max | 3.152-3.173=-0.021 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.988-4752.979=0.009 | | σ | 0.923-1.009=-0.086 | | min | 4752.150-4752.048=0.101 | | max | 4754.569-4754.701=-0.132 |
| | mean | 2705.000-2734.000=-29.000 | | σ | 0.000 | | min | 2705.000-2734.000=-29.000 | | max | 2705.000-2734.000=-29.000 |
| | mean | 8.386-8.621=-0.235 | | σ | 0.466-0.369=0.097 | | min | 7.608-8.013=-0.406 | | max | 8.848-8.926=-0.077 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.489-4943.556=-0.067 | | σ | 0.172-0.014=0.158 | | min | 4943.182-4943.537=-0.355 | | max | 4943.578-4943.570=0.008 |
| | mean | 3007.400-3041.200=-33.800 | | σ | 241.663-224.355=17.307 | | min | 2705.000-2734.000=-29.000 | | max | 3291.000-3328.000=-37.000 |
| | mean | 8.537-8.486=0.051 | | σ | 0.154-0.126=0.028 | | min | 8.385-8.338=0.047 | | max | 8.722-8.631=0.091 |
|