iters=5 new-facts=1 prior-facts=1 | | mean | 272.018-272.016=0.002 | | σ | 0.008-0.008=0.000 | | min | 272.009-272.003=0.006 | | max | 272.029-272.024=0.005 |
| | mean | 2852.000-2775.000=77.000 | | σ | 0.000 | | min | 2852.000-2775.000=77.000 | | max | 2852.000-2775.000=77.000 |
| | mean | 0.390-0.389=0.000 | | σ | 0.012-0.006=0.006 | | min | 0.376-0.379=-0.003 | | max | 0.406-0.393=0.013 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.436-1932.435=0.000 | | σ | 0.006-0.009=-0.002 | | min | 1932.429-1932.422=0.007 | | max | 1932.444-1932.443=0.000 |
| | mean | 2852.000-2775.000=77.000 | | σ | 0.000 | | min | 2852.000-2775.000=77.000 | | max | 2852.000-2775.000=77.000 |
| | mean | 3.077-2.989=0.088 | | σ | 0.177-0.141=0.036 | | min | 2.951-2.752=0.199 | | max | 3.369-3.131=0.238 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4753.167-4753.021=0.146 | | σ | 0.865-0.647=0.219 | | min | 4752.691-4752.618=0.072 | | max | 4754.708-4754.170=0.538 |
| | mean | 2852.000-2775.000=77.000 | | σ | 0.000 | | min | 2852.000-2775.000=77.000 | | max | 2852.000-2775.000=77.000 |
| | mean | 8.522-8.757=-0.235 | | σ | 0.465-0.266=0.200 | | min | 7.859-8.463=-0.604 | | max | 8.949-9.107=-0.158 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.623-4943.489=0.134 | | σ | 0.024-0.171=-0.147 | | min | 4943.590-4943.297=0.294 | | max | 4943.656-4943.625=0.032 |
| | mean | 3083.600-2993.600=90.000 | | σ | 238.367-225.975=12.392 | | min | 2852.000-2775.000=77.000 | | max | 3428.000-3326.000=102.000 |
| | mean | 8.588-8.486=0.101 | | σ | 0.187-0.092=0.095 | | min | 8.368-8.401=-0.032 | | max | 8.850-8.635=0.214 |
|