iters=5 new-facts=1 prior-facts=1 | | mean | 325.320-325.311=0.009 | | σ | 0.047-0.058=-0.010 | | min | 325.235-325.208=0.027 | | max | 325.346-325.343=0.003 |
| | mean | 2838.000-2687.000=151.000 | | σ | 0.000 | | min | 2838.000-2687.000=151.000 | | max | 2838.000-2687.000=151.000 |
| | mean | 0.425-0.428=-0.003 | | σ | 0.001-0.008=-0.006 | | min | 0.423-0.422=0.001 | | max | 0.427-0.442=-0.015 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.869-1985.868=0.001 | | σ | 0.019-0.015=0.004 | | min | 1985.841-1985.859=-0.018 | | max | 1985.891-1985.894=-0.003 |
| | mean | 2838.000-2687.000=151.000 | | σ | 0.000 | | min | 2838.000-2687.000=151.000 | | max | 2838.000-2687.000=151.000 |
| | mean | 2.755-2.803=-0.048 | | σ | 0.127-0.111=0.015 | | min | 2.667-2.641=0.026 | | max | 2.961-2.922=0.038 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4809.652-4809.629=0.023 | | σ | 7.688-7.702=-0.014 | | min | 4806.121-4806.150=-0.029 | | max | 4823.403-4823.407=-0.004 |
| | mean | 2838.000-2687.000=151.000 | | σ | 0.000 | | min | 2838.000-2687.000=151.000 | | max | 2838.000-2687.000=151.000 |
| | mean | 8.544-8.933=-0.389 | | σ | 0.492-0.102=0.390 | | min | 7.979-8.832=-0.853 | | max | 8.921-9.086=-0.165 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4997.107-4997.193=-0.087 | | σ | 0.169-0.023=0.147 | | min | 4996.808-4997.166=-0.358 | | max | 4997.211-4997.226=-0.015 |
| | mean | 3073.600-3015.600=58.000 | | σ | 311.286-277.304=33.982 | | min | 2838.000-2687.000=151.000 | | max | 3556.000-3274.000=282.000 |
| | mean | 8.579-9.006=-0.427 | | σ | 0.130-0.328=-0.198 | | min | 8.489-8.643=-0.154 | | max | 8.808-9.455=-0.647 |
|