iters=5 new-facts=1 prior-facts=1 | | mean | 280.289-280.287=0.002 | | σ | 0.006-0.004=0.002 | | min | 280.279-280.284=-0.005 | | max | 280.294-280.293=0.000 |
| | mean | 2680.000-2747.000=-67.000 | | σ | 0.000 | | min | 2680.000-2747.000=-67.000 | | max | 2680.000-2747.000=-67.000 |
| | mean | 0.410-0.417=-0.007 | | σ | 0.001-0.009=-0.007 | | min | 0.408-0.412=-0.004 | | max | 0.411-0.432=-0.021 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2270.312-2270.286=0.026 | | σ | 0.029-0.026=0.003 | | min | 2270.277-2270.255=0.022 | | max | 2270.357-2270.311=0.046 |
| | mean | 2680.000-2747.000=-67.000 | | σ | 0.000 | | min | 2680.000-2747.000=-67.000 | | max | 2680.000-2747.000=-67.000 |
| | mean | 3.113-3.039=0.074 | | σ | 0.251-0.181=0.069 | | min | 2.832-2.817=0.015 | | max | 3.428-3.229=0.199 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5147.587-5147.471=0.117 | | σ | 1.014-0.768=0.247 | | min | 5146.973-5146.988=-0.015 | | max | 5149.376-5148.833=0.542 |
| | mean | 2680.000-2747.000=-67.000 | | σ | 0.000 | | min | 2680.000-2747.000=-67.000 | | max | 2680.000-2747.000=-67.000 |
| | mean | 9.030-8.831=0.198 | | σ | 0.660-0.689=-0.030 | | min | 8.254-8.226=0.028 | | max | 9.848-9.960=-0.111 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5285.587-5285.577=0.009 | | σ | 0.152-0.222=-0.070 | | min | 5285.416-5285.212=0.205 | | max | 5285.760-5285.757=0.002 |
| | mean | 3488.400-3442.200=46.200 | | σ | 534.888-435.173=99.715 | | min | 2781.000-2825.000=-44.000 | | max | 3999.000-3976.000=23.000 |
| | mean | 9.961-10.089=-0.128 | | σ | 0.634-0.079=0.555 | | min | 8.861-9.978=-1.116 | | max | 10.366-10.188=0.178 |
|