iters=5 new-facts=1 prior-facts=1 | | mean | 326.634-326.638=-0.004 | | σ | 0.054-0.050=0.004 | | min | 326.537-326.549=-0.012 | | max | 326.668-326.673=-0.006 |
| | mean | 2836.000-2650.000=186.000 | | σ | 0.000 | | min | 2836.000-2650.000=186.000 | | max | 2836.000-2650.000=186.000 |
| | mean | 0.432-0.428=0.004 | | σ | 0.009-0.006=0.003 | | min | 0.426-0.423=0.003 | | max | 0.446-0.435=0.011 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.810-1988.807=0.003 | | σ | 0.007-0.007=0.000 | | min | 1988.802-1988.796=0.006 | | max | 1988.818-1988.813=0.005 |
| | mean | 2836.000-2650.000=186.000 | | σ | 0.000 | | min | 2836.000-2650.000=186.000 | | max | 2836.000-2650.000=186.000 |
| | mean | 2.682-2.702=-0.019 | | σ | 0.141-0.086=0.054 | | min | 2.558-2.598=-0.039 | | max | 2.901-2.799=0.102 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.635-4813.427=0.208 | | σ | 7.727-7.872=-0.145 | | min | 4810.135-4809.065=1.070 | | max | 4827.457-4827.480=-0.023 |
| | mean | 2836.000-2650.000=186.000 | | σ | 0.000 | | min | 2836.000-2650.000=186.000 | | max | 2836.000-2650.000=186.000 |
| | mean | 8.724-8.737=-0.013 | | σ | 0.471-0.483=-0.012 | | min | 7.929-8.076=-0.147 | | max | 9.096-9.161=-0.065 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.211-5001.207=0.003 | | σ | 0.025-0.046=-0.021 | | min | 5001.183-5001.158=0.025 | | max | 5001.241-5001.271=-0.030 |
| | mean | 3058.400-3011.200=47.200 | | σ | 229.052-266.130=-37.078 | | min | 2836.000-2650.000=186.000 | | max | 3390.000-3353.000=37.000 |
| | mean | 9.846-9.500=0.346 | | σ | 0.215-0.623=-0.409 | | min | 9.649-8.487=1.161 | | max | 10.156-10.165=-0.009 |
|