iters=5 new-facts=1 prior-facts=1 | | mean | 323.986-272.794=51.192 | | σ | 0.045-0.006=0.039 | | min | 323.905-272.783=51.122 | | max | 324.013-272.797=51.216 |
| | mean | 2770.000-2773.000=-3.000 | | σ | 0.000 | | min | 2770.000-2773.000=-3.000 | | max | 2770.000-2773.000=-3.000 |
| | mean | 0.429-0.381=0.047 | | σ | 0.006-0.009=-0.002 | | min | 0.425-0.373=0.051 | | max | 0.439-0.394=0.045 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1984.585-1933.229=51.356 | | σ | 0.018-0.009=0.009 | | min | 1984.553-1933.218=51.335 | | max | 1984.600-1933.241=51.359 |
| | mean | 2770.000-2773.000=-3.000 | | σ | 0.000 | | min | 2770.000-2773.000=-3.000 | | max | 2770.000-2773.000=-3.000 |
| | mean | 2.583-2.883=-0.301 | | σ | 0.076-0.276=-0.200 | | min | 2.471-2.416=0.055 | | max | 2.653-3.067=-0.414 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.238-4757.008=51.231 | | σ | 7.778-7.569=0.209 | | min | 4804.739-4753.543=51.196 | | max | 4822.152-4770.547=51.605 |
| | mean | 2770.000-2773.000=-3.000 | | σ | 0.000 | | min | 2770.000-2773.000=-3.000 | | max | 2770.000-2773.000=-3.000 |
| | mean | 9.006-8.159=0.847 | | σ | 0.086-0.477=-0.392 | | min | 8.918-7.674=1.244 | | max | 9.137-8.772=0.365 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4995.809-4944.451=51.358 | | σ | 0.019-0.022=-0.003 | | min | 4995.788-4944.428=51.360 | | max | 4995.835-4944.484=51.351 |
| | mean | 2988.800-3017.600=-28.800 | | σ | 214.749-285.499=-70.750 | | min | 2770.000-2773.000=-3.000 | | max | 3305.000-3428.000=-123.000 |
| | mean | 8.670-8.497=0.173 | | σ | 0.166-0.109=0.056 | | min | 8.495-8.357=0.138 | | max | 8.910-8.652=0.258 |
|