iters=5 new-facts=1 prior-facts=1 | | mean | 273.407-276.025=-2.619 | | σ | 0.009-0.010=-0.001 | | min | 273.392-276.014=-2.622 | | max | 273.414-276.038=-2.624 |
| | mean | 2521.000-2650.000=-129.000 | | σ | 0.000 | | min | 2521.000-2650.000=-129.000 | | max | 2521.000-2650.000=-129.000 |
| | mean | 0.390-0.391=-0.001 | | σ | 0.015-0.008=0.007 | | min | 0.376-0.387=-0.011 | | max | 0.413-0.405=0.008 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.838-2168.563=-234.725 | | σ | 0.011-0.005=0.007 | | min | 1933.826-2168.555=-234.729 | | max | 1933.856-2168.567=-234.710 |
| | mean | 2521.000-2650.000=-129.000 | | σ | 0.000 | | min | 2521.000-2650.000=-129.000 | | max | 2521.000-2650.000=-129.000 |
| | mean | 3.106-2.869=0.237 | | σ | 0.144-0.155=-0.011 | | min | 2.973-2.743=0.230 | | max | 3.303-3.058=0.245 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.351-5048.091=-293.740 | | σ | 0.884-1.216=-0.332 | | min | 4753.768-5046.797=-293.029 | | max | 4755.918-5050.022=-294.104 |
| | mean | 2521.000-2650.000=-129.000 | | σ | 0.000 | | min | 2521.000-2650.000=-129.000 | | max | 2521.000-2650.000=-129.000 |
| | mean | 8.470-8.357=0.113 | | σ | 0.574-0.410=0.165 | | min | 7.632-8.054=-0.423 | | max | 9.031-9.064=-0.033 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.800-5179.499=-234.699 | | σ | 0.080-0.084=-0.004 | | min | 4944.735-5179.422=-234.686 | | max | 4944.903-5179.594=-234.691 |
| | mean | 3009.400-3215.400=-206.000 | | σ | 366.110-493.366=-127.256 | | min | 2521.000-2650.000=-129.000 | | max | 3358.000-3888.000=-530.000 |
| | mean | 8.757-9.959=-1.202 | | σ | 0.439-0.270=0.169 | | min | 8.367-9.526=-1.159 | | max | 9.489-10.262=-0.773 |
|