iters=5 new-facts=1 prior-facts=1 | | mean | 273.196-274.828=-1.631 | | σ | 0.011-0.006=0.004 | | min | 273.178-274.822=-1.644 | | max | 273.204-274.835=-1.631 |
| | mean | 2643.000-2632.000=11.000 | | σ | 0.000 | | min | 2643.000-2632.000=11.000 | | max | 2643.000-2632.000=11.000 |
| | mean | 0.388-0.391=-0.004 | | σ | 0.006-0.011=-0.004 | | min | 0.377-0.383=-0.006 | | max | 0.393-0.406=-0.012 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.635-1939.998=-6.363 | | σ | 0.012-0.008=0.005 | | min | 1933.621-1939.987=-6.366 | | max | 1933.650-1940.005=-6.355 |
| | mean | 2643.000-2632.000=11.000 | | σ | 0.000 | | min | 2643.000-2632.000=11.000 | | max | 2643.000-2632.000=11.000 |
| | mean | 3.042-3.077=-0.035 | | σ | 0.172-0.105=0.067 | | min | 2.812-2.950=-0.138 | | max | 3.243-3.203=0.040 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.023-4758.864=-4.841 | | σ | 1.035-0.907=0.128 | | min | 4752.979-4758.333=-5.354 | | max | 4755.762-4760.477=-4.715 |
| | mean | 2643.000-2632.000=11.000 | | σ | 0.000 | | min | 2643.000-2632.000=11.000 | | max | 2643.000-2632.000=11.000 |
| | mean | 8.646-8.169=0.477 | | σ | 0.796-0.671=0.125 | | min | 7.640-7.688=-0.048 | | max | 9.746-9.344=0.403 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.455-4953.836=-9.382 | | σ | 0.280-0.193=0.087 | | min | 4943.969-4953.567=-9.597 | | max | 4944.693-4954.058=-9.365 |
| | mean | 2997.400-2988.800=8.600 | | σ | 309.438-353.616=-44.178 | | min | 2643.000-2632.000=11.000 | | max | 3304.000-3505.000=-201.000 |
| | mean | 8.872-8.476=0.396 | | σ | 0.603-0.126=0.477 | | min | 8.388-8.363=0.025 | | max | 9.879-8.647=1.232 |
|