iters=5 new-facts=1 prior-facts=1 | | mean | 321.055-321.064=-0.009 | | σ | 0.042-0.012=0.031 | | min | 320.981-321.045=-0.064 | | max | 321.083-321.077=0.007 |
| | mean | 2784.000-2850.000=-66.000 | | σ | 0.000 | | min | 2784.000-2850.000=-66.000 | | max | 2784.000-2850.000=-66.000 |
| | mean | 0.424-0.420=0.005 | | σ | 0.012-0.001=0.011 | | min | 0.418-0.418=0.000 | | max | 0.446-0.421=0.025 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1981.631-1981.628=0.004 | | σ | 0.008-0.008=-0.001 | | min | 1981.622-1981.615=0.008 | | max | 1981.640-1981.635=0.005 |
| | mean | 2784.000-2850.000=-66.000 | | σ | 0.000 | | min | 2784.000-2850.000=-66.000 | | max | 2784.000-2850.000=-66.000 |
| | mean | 2.626-2.599=0.027 | | σ | 0.154-0.071=0.083 | | min | 2.442-2.531=-0.089 | | max | 2.838-2.698=0.140 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4805.172-4805.237=-0.066 | | σ | 7.782-7.708=0.074 | | min | 4801.230-4801.726=-0.496 | | max | 4819.083-4819.025=0.058 |
| | mean | 2784.000-2850.000=-66.000 | | σ | 0.000 | | min | 2784.000-2850.000=-66.000 | | max | 2784.000-2850.000=-66.000 |
| | mean | 8.474-8.703=-0.229 | | σ | 0.409-0.214=0.195 | | min | 7.781-8.402=-0.621 | | max | 8.781-8.882=-0.101 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4992.832-4992.832=0.000 | | σ | 0.026-0.020=0.006 | | min | 4992.800-4992.813=-0.013 | | max | 4992.865-4992.862=0.003 |
| | mean | 3050.600-3066.400=-15.800 | | σ | 239.738-225.820=13.918 | | min | 2784.000-2850.000=-66.000 | | max | 3387.000-3300.000=87.000 |
| | mean | 8.621-8.703=-0.082 | | σ | 0.196-0.259=-0.063 | | min | 8.422-8.441=-0.019 | | max | 8.871-9.094=-0.224 |
|