iters=5 new-facts=1 prior-facts=1 | | mean | 326.453-272.794=53.659 | | σ | 0.039-0.006=0.033 | | min | 326.385-272.787=53.598 | | max | 326.481-272.803=53.678 |
| | mean | 2830.000-2511.000=319.000 | | σ | 0.000 | | min | 2830.000-2511.000=319.000 | | max | 2830.000-2511.000=319.000 |
| | mean | 0.427-0.382=0.045 | | σ | 0.004-0.007=-0.003 | | min | 0.423-0.376=0.047 | | max | 0.433-0.395=0.038 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.617-1933.226=55.391 | | σ | 0.007-0.014=-0.007 | | min | 1988.610-1933.204=55.406 | | max | 1988.626-1933.239=55.387 |
| | mean | 2830.000-2511.000=319.000 | | σ | 0.000 | | min | 2830.000-2511.000=319.000 | | max | 2830.000-2511.000=319.000 |
| | mean | 2.674-3.055=-0.381 | | σ | 0.121-0.072=0.049 | | min | 2.528-2.974=-0.445 | | max | 2.856-3.137=-0.280 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.457-4756.932=56.524 | | σ | 7.642-7.546=0.096 | | min | 4809.965-4753.459=56.507 | | max | 4827.127-4770.431=56.696 |
| | mean | 2830.000-2511.000=319.000 | | σ | 0.000 | | min | 2830.000-2511.000=319.000 | | max | 2830.000-2511.000=319.000 |
| | mean | 8.835-8.626=0.209 | | σ | 0.312-0.322=-0.010 | | min | 8.383-8.260=0.123 | | max | 9.142-8.964=0.177 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5000.945-4944.376=56.569 | | σ | 0.166-0.140=0.026 | | min | 5000.649-4944.126=56.523 | | max | 5001.035-4944.454=56.581 |
| | mean | 3084.000-2963.800=120.200 | | σ | 253.010-387.649=-134.639 | | min | 2830.000-2511.000=319.000 | | max | 3336.000-3507.000=-171.000 |
| | mean | 9.714-8.406=1.307 | | σ | 0.376-0.124=0.252 | | min | 9.081-8.289=0.792 | | max | 10.023-8.605=1.418 |
|