iters=5 new-facts=1 prior-facts=1 | | mean | 271.601-271.599=0.002 | | σ | 0.005-0.005=-0.000 | | min | 271.595-271.591=0.004 | | max | 271.606-271.604=0.001 |
| | mean | 2778.000-2771.000=7.000 | | σ | 0.000 | | min | 2778.000-2771.000=7.000 | | max | 2778.000-2771.000=7.000 |
| | mean | 0.391-0.385=0.006 | | σ | 0.012-0.004=0.008 | | min | 0.383-0.381=0.001 | | max | 0.410-0.390=0.020 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.001-1932.003=-0.002 | | σ | 0.010-0.010=-0.000 | | min | 1931.988-1931.989=-0.001 | | max | 1932.011-1932.016=-0.005 |
| | mean | 2778.000-2771.000=7.000 | | σ | 0.000 | | min | 2778.000-2771.000=7.000 | | max | 2778.000-2771.000=7.000 |
| | mean | 2.546-2.516=0.030 | | σ | 0.113-0.084=0.029 | | min | 2.468-2.405=0.063 | | max | 2.736-2.603=0.133 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.662-4752.733=-0.071 | | σ | 0.949-0.916=0.033 | | min | 4751.762-4752.222=-0.459 | | max | 4754.279-4754.365=-0.086 |
| | mean | 2778.000-2771.000=7.000 | | σ | 0.000 | | min | 2778.000-2771.000=7.000 | | max | 2778.000-2771.000=7.000 |
| | mean | 8.315-8.852=-0.537 | | σ | 0.384-0.268=0.116 | | min | 7.649-8.551=-0.902 | | max | 8.641-9.230=-0.589 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.134-4943.136=-0.002 | | σ | 0.166-0.151=0.014 | | min | 4942.839-4942.870=-0.030 | | max | 4943.229-4943.233=-0.004 |
| | mean | 3048.400-3018.600=29.800 | | σ | 251.368-224.724=26.644 | | min | 2778.000-2771.000=7.000 | | max | 3397.000-3311.000=86.000 |
| | mean | 8.633-8.541=0.092 | | σ | 0.158-0.088=0.070 | | min | 8.414-8.439=-0.025 | | max | 8.831-8.646=0.184 |
|