iters=5 new-facts=1 prior-facts=1 | | mean | 280.899-280.902=-0.003 | | σ | 0.021-0.006=0.014 | | min | 280.864-280.893=-0.028 | | max | 280.919-280.910=0.009 |
| | mean | 2595.000-2745.000=-150.000 | | σ | 0.000 | | min | 2595.000-2745.000=-150.000 | | max | 2595.000-2745.000=-150.000 |
| | mean | 0.421-0.418=0.003 | | σ | 0.012-0.008=0.004 | | min | 0.412-0.414=-0.002 | | max | 0.436-0.431=0.005 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2270.925-2270.900=0.025 | | σ | 0.019-0.026=-0.008 | | min | 2270.899-2270.862=0.037 | | max | 2270.945-2270.929=0.016 |
| | mean | 2595.000-2745.000=-150.000 | | σ | 0.000 | | min | 2595.000-2745.000=-150.000 | | max | 2595.000-2745.000=-150.000 |
| | mean | 3.120-3.197=-0.077 | | σ | 0.192-0.351=-0.159 | | min | 2.954-2.831=0.123 | | max | 3.422-3.738=-0.316 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5148.156-5148.202=-0.046 | | σ | 1.014-0.984=0.031 | | min | 5147.404-5147.675=-0.271 | | max | 5149.927-5149.957=-0.031 |
| | mean | 2595.000-2745.000=-150.000 | | σ | 0.000 | | min | 2595.000-2745.000=-150.000 | | max | 2595.000-2745.000=-150.000 |
| | mean | 9.391-8.638=0.752 | | σ | 0.732-0.500=0.232 | | min | 8.372-8.151=0.221 | | max | 10.306-9.470=0.836 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5286.121-5286.128=-0.007 | | σ | 0.176-0.198=-0.022 | | min | 5285.866-5285.860=0.006 | | max | 5286.316-5286.371=-0.054 |
| | mean | 3494.400-3451.000=43.400 | | σ | 532.863-436.431=96.432 | | min | 2789.000-2829.000=-40.000 | | max | 4004.000-3977.000=27.000 |
| | mean | 10.179-10.125=0.054 | | σ | 0.235-0.123=0.112 | | min | 9.936-9.913=0.023 | | max | 10.432-10.209=0.223 |
|