iters=5 new-facts=1 prior-facts=1 | | mean | 272.011-273.504=-1.492 | | σ | 0.012-0.006=0.005 | | min | 271.995-273.493=-1.498 | | max | 272.022-273.510=-1.488 |
| | mean | 2886.000-2874.000=12.000 | | σ | 0.000 | | min | 2886.000-2874.000=12.000 | | max | 2886.000-2874.000=12.000 |
| | mean | 0.390-0.377=0.013 | | σ | 0.006-0.009=-0.003 | | min | 0.384-0.372=0.012 | | max | 0.396-0.392=0.004 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.447-1933.899=-1.452 | | σ | 0.019-0.011=0.008 | | min | 1932.425-1933.881=-1.456 | | max | 1932.473-1933.911=-1.438 |
| | mean | 2886.000-2874.000=12.000 | | σ | 0.000 | | min | 2886.000-2874.000=12.000 | | max | 2886.000-2874.000=12.000 |
| | mean | 2.872-2.929=-0.058 | | σ | 0.271-0.182=0.089 | | min | 2.424-2.738=-0.315 | | max | 3.088-3.152=-0.064 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4753.142-4754.483=-1.341 | | σ | 0.923-0.971=-0.048 | | min | 4752.667-4753.846=-1.178 | | max | 4754.787-4756.178=-1.392 |
| | mean | 2886.000-2874.000=12.000 | | σ | 0.000 | | min | 2886.000-2874.000=12.000 | | max | 2886.000-2874.000=12.000 |
| | mean | 8.820-8.399=0.421 | | σ | 0.291-0.508=-0.217 | | min | 8.478-7.740=0.738 | | max | 9.155-8.867=0.288 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.555-4945.047=-1.492 | | σ | 0.165-0.162=0.003 | | min | 4943.261-4944.757=-1.496 | | max | 4943.646-4945.128=-1.482 |
| | mean | 3067.400-3083.000=-15.600 | | σ | 181.333-284.981=-103.647 | | min | 2886.000-2874.000=12.000 | | max | 3309.000-3530.000=-221.000 |
| | mean | 8.664-8.488=0.175 | | σ | 0.273-0.139=0.133 | | min | 8.404-8.367=0.036 | | max | 9.016-8.674=0.342 |
|