iters=5 new-facts=1 prior-facts=1 | | mean | 273.403-273.401=0.002 | | σ | 0.010-0.011=-0.001 | | min | 273.393-273.392=0.001 | | max | 273.414-273.418=-0.005 |
| | mean | 2478.000-2466.000=12.000 | | σ | 0.000 | | min | 2478.000-2466.000=12.000 | | max | 2478.000-2466.000=12.000 |
| | mean | 0.384-0.389=-0.005 | | σ | 0.008-0.017=-0.009 | | min | 0.376-0.375=0.001 | | max | 0.397-0.415=-0.019 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.843-1933.841=0.003 | | σ | 0.009-0.006=0.003 | | min | 1933.833-1933.834=-0.001 | | max | 1933.856-1933.850=0.006 |
| | mean | 2478.000-2466.000=12.000 | | σ | 0.000 | | min | 2478.000-2466.000=12.000 | | max | 2478.000-2466.000=12.000 |
| | mean | 3.194-3.085=0.110 | | σ | 0.216-0.099=0.117 | | min | 2.891-3.000=-0.109 | | max | 3.469-3.219=0.250 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.340-4754.340=-0.001 | | σ | 0.872-0.900=-0.028 | | min | 4753.866-4753.741=0.124 | | max | 4755.896-4755.937=-0.041 |
| | mean | 2478.000-2466.000=12.000 | | σ | 0.000 | | min | 2478.000-2466.000=12.000 | | max | 2478.000-2466.000=12.000 |
| | mean | 8.680-8.590=0.090 | | σ | 0.514-0.630=-0.115 | | min | 7.783-7.661=0.122 | | max | 9.077-9.157=-0.081 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.663-4944.798=-0.135 | | σ | 0.193-0.075=0.118 | | min | 4944.394-4944.741=-0.346 | | max | 4944.889-4944.881=0.008 |
| | mean | 3028.600-3034.200=-5.600 | | σ | 415.514-358.411=57.103 | | min | 2478.000-2558.000=-80.000 | | max | 3558.000-3368.000=190.000 |
| | mean | 8.641-8.752=-0.111 | | σ | 0.079-0.224=-0.145 | | min | 8.548-8.509=0.039 | | max | 8.745-9.077=-0.332 |
|