iters=5 new-facts=1 prior-facts=1 | | mean | 274.368-274.363=0.005 | | σ | 0.009-0.008=0.002 | | min | 274.357-274.353=0.004 | | max | 274.381-274.371=0.010 |
| | mean | 2851.000-2771.000=80.000 | | σ | 0.000 | | min | 2851.000-2771.000=80.000 | | max | 2851.000-2771.000=80.000 |
| | mean | 0.387-0.383=0.004 | | σ | 0.004-0.001=0.004 | | min | 0.384-0.382=0.002 | | max | 0.394-0.384=0.010 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1934.752-1934.751=0.001 | | σ | 0.016-0.017=-0.000 | | min | 1934.725-1934.729=-0.003 | | max | 1934.767-1934.774=-0.008 |
| | mean | 2851.000-2771.000=80.000 | | σ | 0.000 | | min | 2851.000-2771.000=80.000 | | max | 2851.000-2771.000=80.000 |
| | mean | 3.057-3.051=0.006 | | σ | 0.073-0.105=-0.031 | | min | 3.000-2.926=0.074 | | max | 3.176-3.192=-0.016 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4755.509-4755.480=0.029 | | σ | 0.904-0.949=-0.045 | | min | 4754.967-4754.976=-0.009 | | max | 4757.119-4757.174=-0.055 |
| | mean | 2851.000-2771.000=80.000 | | σ | 0.000 | | min | 2851.000-2771.000=80.000 | | max | 2851.000-2771.000=80.000 |
| | mean | 8.751-8.797=-0.046 | | σ | 0.370-0.541=-0.171 | | min | 8.385-7.925=0.460 | | max | 9.268-9.266=0.002 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4945.979-4945.915=0.065 | | σ | 0.020-0.167=-0.147 | | min | 4945.957-4945.619=0.338 | | max | 4946.011-4946.021=-0.011 |
| | mean | 3021.400-2992.400=29.000 | | σ | 191.359-207.535=-16.176 | | min | 2851.000-2771.000=80.000 | | max | 3317.000-3288.000=29.000 |
| | mean | 8.697-8.559=0.138 | | σ | 0.232-0.068=0.164 | | min | 8.459-8.491=-0.033 | | max | 9.063-8.645=0.418 |
|