iters=5 new-facts=1 prior-facts=1 | | mean | 324.712-272.758=51.954 | | σ | 0.040-0.002=0.038 | | min | 324.643-272.755=51.887 | | max | 324.745-272.760=51.985 |
| | mean | 2826.000-2771.000=55.000 | | σ | 0.000 | | min | 2826.000-2771.000=55.000 | | max | 2826.000-2771.000=55.000 |
| | mean | 0.426-0.386=0.040 | | σ | 0.006-0.006=0.001 | | min | 0.423-0.381=0.042 | | max | 0.438-0.394=0.043 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.262-1933.131=52.131 | | σ | 0.017-0.012=0.005 | | min | 1985.245-1933.115=52.130 | | max | 1985.278-1933.143=52.135 |
| | mean | 2826.000-2771.000=55.000 | | σ | 0.000 | | min | 2826.000-2771.000=55.000 | | max | 2826.000-2771.000=55.000 |
| | mean | 2.574-3.036=-0.462 | | σ | 0.083-0.040=0.042 | | min | 2.452-2.993=-0.541 | | max | 2.653-3.089=-0.436 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4809.008-4754.098=54.910 | | σ | 7.701-0.891=6.810 | | min | 4805.484-4753.523=51.961 | | max | 4822.784-4755.678=67.106 |
| | mean | 2826.000-2771.000=55.000 | | σ | 0.000 | | min | 2826.000-2771.000=55.000 | | max | 2826.000-2771.000=55.000 |
| | mean | 8.867-8.289=0.578 | | σ | 0.365-0.507=-0.142 | | min | 8.280-7.779=0.501 | | max | 9.118-9.039=0.079 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.569-4944.463=52.106 | | σ | 0.016-0.011=0.006 | | min | 4996.553-4944.449=52.105 | | max | 4996.591-4944.477=52.114 |
| | mean | 3050.600-2987.600=63.000 | | σ | 204.462-211.214=-6.752 | | min | 2826.000-2771.000=55.000 | | max | 3347.000-3294.000=53.000 |
| | mean | 8.665-8.531=0.134 | | σ | 0.168-0.096=0.072 | | min | 8.497-8.430=0.067 | | max | 8.861-8.655=0.206 |
|