iters=5 new-facts=1 prior-facts=1 | | mean | 273.500-273.506=-0.006 | | σ | 0.009-0.007=0.002 | | min | 273.489-273.498=-0.009 | | max | 273.512-273.513=-0.001 |
| | mean | 2854.000-2839.000=15.000 | | σ | 0.000 | | min | 2854.000-2839.000=15.000 | | max | 2854.000-2839.000=15.000 |
| | mean | 0.377-0.382=-0.005 | | σ | 0.005-0.005=0.000 | | min | 0.373-0.379=-0.006 | | max | 0.386-0.391=-0.005 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.896-1933.886=0.010 | | σ | 0.014-0.013=0.000 | | min | 1933.880-1933.869=0.011 | | max | 1933.914-1933.900=0.015 |
| | mean | 2854.000-2839.000=15.000 | | σ | 0.000 | | min | 2854.000-2839.000=15.000 | | max | 2854.000-2839.000=15.000 |
| | mean | 2.937-2.953=-0.016 | | σ | 0.142-0.144=-0.002 | | min | 2.717-2.735=-0.018 | | max | 3.067-3.089=-0.022 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.713-4754.665=0.049 | | σ | 0.812-0.907=-0.094 | | min | 4754.252-4754.158=0.094 | | max | 4756.161-4756.278=-0.117 |
| | mean | 2854.000-2839.000=15.000 | | σ | 0.000 | | min | 2854.000-2839.000=15.000 | | max | 2854.000-2839.000=15.000 |
| | mean | 8.263-8.597=-0.335 | | σ | 0.392-0.390=0.002 | | min | 7.822-8.244=-0.423 | | max | 8.704-9.141=-0.437 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4945.042-4945.044=-0.001 | | σ | 0.166-0.147=0.019 | | min | 4944.745-4944.781=-0.036 | | max | 4945.124-4945.113=0.010 |
| | mean | 3063.400-3054.000=9.400 | | σ | 285.895-211.039=74.856 | | min | 2854.000-2839.000=15.000 | | max | 3509.000-3324.000=185.000 |
| | mean | 8.446-8.615=-0.169 | | σ | 0.136-0.153=-0.017 | | min | 8.362-8.468=-0.106 | | max | 8.680-8.838=-0.158 |
|