iters=5 new-facts=1 prior-facts=1 | | mean | 278.847-278.844=0.003 | | σ | 0.004-0.008=-0.004 | | min | 278.840-278.832=0.008 | | max | 278.851-278.853=-0.002 |
| | mean | 2739.000-2688.000=51.000 | | σ | 0.000 | | min | 2739.000-2688.000=51.000 | | max | 2739.000-2688.000=51.000 |
| | mean | 0.410-0.412=-0.001 | | σ | 0.006-0.004=0.002 | | min | 0.406-0.408=-0.002 | | max | 0.417-0.417=-0.000 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.899-2268.899=0.000 | | σ | 0.017-0.008=0.009 | | min | 2268.881-2268.889=-0.009 | | max | 2268.919-2268.908=0.011 |
| | mean | 2739.000-2688.000=51.000 | | σ | 0.000 | | min | 2739.000-2688.000=51.000 | | max | 2739.000-2688.000=51.000 |
| | mean | 2.964-2.985=-0.021 | | σ | 0.100-0.122=-0.022 | | min | 2.903-2.880=0.023 | | max | 3.141-3.163=-0.023 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4954.262-4954.257=0.005 | | σ | 0.795-0.841=-0.047 | | min | 4953.781-4953.818=-0.037 | | max | 4955.671-4955.759=-0.088 |
| | mean | 2739.000-2688.000=51.000 | | σ | 0.000 | | min | 2739.000-2688.000=51.000 | | max | 2739.000-2688.000=51.000 |
| | mean | 7.952-8.094=-0.142 | | σ | 0.090-0.196=-0.106 | | min | 7.835-7.884=-0.049 | | max | 8.086-8.356=-0.270 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5168.817-5168.743=0.074 | | σ | 0.082-0.190=-0.108 | | min | 5168.746-5168.427=0.319 | | max | 5168.906-5168.895=0.012 |
| | mean | 3423.000-3436.400=-13.400 | | σ | 469.866-474.718=-4.852 | | min | 2827.000-2843.000=-16.000 | | max | 4060.000-4118.000=-58.000 |
| | mean | 9.202-9.228=-0.026 | | σ | 0.436-0.309=0.127 | | min | 8.496-8.986=-0.490 | | max | 9.697-9.743=-0.046 |
|