iters=5 new-facts=1 prior-facts=1 | | mean | 271.599-271.599=-0.000 | | σ | 0.006-0.006=-0.000 | | min | 271.590-271.593=-0.003 | | max | 271.604-271.608=-0.004 |
| | mean | 2649.000-2471.000=178.000 | | σ | 0.000 | | min | 2649.000-2471.000=178.000 | | max | 2649.000-2471.000=178.000 |
| | mean | 0.385-0.386=-0.002 | | σ | 0.004-0.005=-0.001 | | min | 0.381-0.382=-0.000 | | max | 0.391-0.394=-0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1931.982-1932.000=-0.018 | | σ | 0.019-0.016=0.003 | | min | 1931.957-1931.976=-0.019 | | max | 1932.006-1932.018=-0.012 |
| | mean | 2649.000-2471.000=178.000 | | σ | 0.000 | | min | 2649.000-2471.000=178.000 | | max | 2649.000-2471.000=178.000 |
| | mean | 2.536-2.520=0.016 | | σ | 0.112-0.071=0.041 | | min | 2.412-2.458=-0.046 | | max | 2.699-2.633=0.067 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.724-4752.502=0.222 | | σ | 0.912-1.177=-0.265 | | min | 4752.245-4751.106=1.138 | | max | 4754.350-4754.367=-0.017 |
| | mean | 2649.000-2471.000=178.000 | | σ | 0.000 | | min | 2649.000-2471.000=178.000 | | max | 2649.000-2471.000=178.000 |
| | mean | 8.722-8.594=0.128 | | σ | 0.338-0.584=-0.247 | | min | 8.287-7.698=0.589 | | max | 9.097-9.056=0.042 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.210-4943.138=0.072 | | σ | 0.015-0.157=-0.142 | | min | 4943.192-4942.858=0.334 | | max | 4943.222-4943.224=-0.003 |
| | mean | 2953.800-2996.200=-42.400 | | σ | 334.478-299.547=34.931 | | min | 2649.000-2589.000=60.000 | | max | 3430.000-3363.000=67.000 |
| | mean | 8.496-8.624=-0.127 | | σ | 0.117-0.296=-0.179 | | min | 8.394-8.354=0.040 | | max | 8.690-9.084=-0.394 |
|