iters=5 new-facts=1 prior-facts=1 | | mean | 266.782-266.786=-0.004 | | σ | 0.008-0.010=-0.001 | | min | 266.776-266.777=-0.002 | | max | 266.796-266.797=-0.000 |
| | mean | 2846.000-2774.000=72.000 | | σ | 0.000 | | min | 2846.000-2774.000=72.000 | | max | 2846.000-2774.000=72.000 |
| | mean | 0.363-0.368=-0.004 | | σ | 0.001-0.008=-0.007 | | min | 0.362-0.363=-0.002 | | max | 0.364-0.382=-0.018 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1927.213-1927.222=-0.009 | | σ | 0.007-0.020=-0.013 | | min | 1927.201-1927.198=0.002 | | max | 1927.217-1927.246=-0.029 |
| | mean | 2846.000-2774.000=72.000 | | σ | 0.000 | | min | 2846.000-2774.000=72.000 | | max | 2846.000-2774.000=72.000 |
| | mean | 2.995-2.813=0.182 | | σ | 0.088-0.268=-0.180 | | min | 2.892-2.451=0.441 | | max | 3.132-3.045=0.087 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4747.747-4747.463=0.285 | | σ | 0.779-1.114=-0.335 | | min | 4747.383-4746.110=1.273 | | max | 4749.140-4749.215=-0.075 |
| | mean | 2846.000-2774.000=72.000 | | σ | 0.000 | | min | 2846.000-2774.000=72.000 | | max | 2846.000-2774.000=72.000 |
| | mean | 8.134-8.696=-0.562 | | σ | 0.491-0.286=0.205 | | min | 7.679-8.458=-0.779 | | max | 8.748-9.170=-0.421 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4938.095-4938.168=-0.073 | | σ | 0.123-0.088=0.035 | | min | 4937.905-4938.095=-0.190 | | max | 4938.249-4938.264=-0.015 |
| | mean | 3072.600-3041.200=31.400 | | σ | 300.910-210.209=90.701 | | min | 2846.000-2774.000=72.000 | | max | 3536.000-3323.000=213.000 |
| | mean | 8.411-8.549=-0.138 | | σ | 0.200-0.226=-0.026 | | min | 8.295-8.313=-0.018 | | max | 8.765-8.869=-0.104 |
|