iters=5 new-facts=1 prior-facts=1 | | mean | 326.715-326.707=0.008 | | σ | 0.036-0.048=-0.011 | | min | 326.652-326.623=0.029 | | max | 326.744-326.743=0.001 |
| | mean | 2825.000-2832.000=-7.000 | | σ | 0.000 | | min | 2825.000-2832.000=-7.000 | | max | 2825.000-2832.000=-7.000 |
| | mean | 0.423-0.422=0.000 | | σ | 0.001-0.001=0.001 | | min | 0.421-0.422=-0.001 | | max | 0.424-0.424=0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.864-1988.870=-0.005 | | σ | 0.022-0.016=0.006 | | min | 1988.832-1988.847=-0.016 | | max | 1988.881-1988.883=-0.002 |
| | mean | 2825.000-2832.000=-7.000 | | σ | 0.000 | | min | 2825.000-2832.000=-7.000 | | max | 2825.000-2832.000=-7.000 |
| | mean | 2.753-2.652=0.101 | | σ | 0.262-0.084=0.178 | | min | 2.579-2.547=0.032 | | max | 3.216-2.782=0.434 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.602-4813.715=-0.114 | | σ | 7.785-7.726=0.059 | | min | 4809.714-4810.214=-0.501 | | max | 4827.522-4827.536=-0.014 |
| | mean | 2825.000-2832.000=-7.000 | | σ | 0.000 | | min | 2825.000-2832.000=-7.000 | | max | 2825.000-2832.000=-7.000 |
| | mean | 8.580-8.904=-0.324 | | σ | 0.314-0.257=0.057 | | min | 8.125-8.456=-0.331 | | max | 8.998-9.071=-0.074 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.282-5001.197=0.086 | | σ | 0.037-0.165=-0.127 | | min | 5001.247-5000.904=0.343 | | max | 5001.343-5001.296=0.047 |
| | mean | 3037.400-3028.600=8.800 | | σ | 208.233-201.985=6.248 | | min | 2825.000-2832.000=-7.000 | | max | 3303.000-3311.000=-8.000 |
| | mean | 9.737-9.205=0.531 | | σ | 0.400-0.687=-0.287 | | min | 9.165-8.449=0.716 | | max | 10.271-9.884=0.387 |
|