iters=5 new-facts=1 prior-facts=1 | | mean | 278.701-278.695=0.006 | | σ | 0.010-0.014=-0.004 | | min | 278.690-278.682=0.007 | | max | 278.716-278.719=-0.003 |
| | mean | 2636.000-2857.000=-221.000 | | σ | 0.000 | | min | 2636.000-2857.000=-221.000 | | max | 2636.000-2857.000=-221.000 |
| | mean | 0.418-0.417=0.001 | | σ | 0.001-0.001=-0.000 | | min | 0.417-0.415=0.002 | | max | 0.420-0.418=0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.867-2268.872=-0.006 | | σ | 0.005-0.005=-0.000 | | min | 2268.860-2268.867=-0.007 | | max | 2268.873-2268.880=-0.006 |
| | mean | 2636.000-2857.000=-221.000 | | σ | 0.000 | | min | 2636.000-2857.000=-221.000 | | max | 2636.000-2857.000=-221.000 |
| | mean | 2.928-2.931=-0.003 | | σ | 0.056-0.064=-0.008 | | min | 2.865-2.849=0.015 | | max | 3.007-3.022=-0.015 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4952.226-4952.375=-0.149 | | σ | 0.867-0.747=0.120 | | min | 4951.499-4951.994=-0.494 | | max | 4953.731-4953.708=0.023 |
| | mean | 2636.000-2857.000=-221.000 | | σ | 0.000 | | min | 2636.000-2857.000=-221.000 | | max | 2636.000-2857.000=-221.000 |
| | mean | 8.002-7.661=0.341 | | σ | 0.278-0.129=0.150 | | min | 7.714-7.545=0.169 | | max | 8.404-7.865=0.538 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5167.075-5167.072=0.003 | | σ | 0.009-0.010=-0.001 | | min | 5167.067-5167.063=0.004 | | max | 5167.089-5167.084=0.005 |
| | mean | 3418.000-3404.600=13.400 | | σ | 451.231-434.963=16.268 | | min | 2806.000-2857.000=-51.000 | | max | 3981.000-3979.000=2.000 |
| | mean | 9.146-9.328=-0.182 | | σ | 0.120-0.243=-0.123 | | min | 8.992-8.958=0.034 | | max | 9.265-9.624=-0.359 |
|