iters=5 new-facts=1 prior-facts=1 | | mean | 326.633-326.645=-0.012 | | σ | 0.050-0.045=0.005 | | min | 326.546-326.565=-0.019 | | max | 326.673-326.672=0.000 |
| | mean | 2639.000-2833.000=-194.000 | | σ | 0.000 | | min | 2639.000-2833.000=-194.000 | | max | 2639.000-2833.000=-194.000 |
| | mean | 0.424-0.424=0.001 | | σ | 0.002-0.001=0.001 | | min | 0.422-0.423=-0.001 | | max | 0.425-0.425=0.000 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.809-1988.806=0.003 | | σ | 0.003-0.007=-0.004 | | min | 1988.803-1988.795=0.009 | | max | 1988.811-1988.813=-0.002 |
| | mean | 2639.000-2833.000=-194.000 | | σ | 0.000 | | min | 2639.000-2833.000=-194.000 | | max | 2639.000-2833.000=-194.000 |
| | mean | 2.672-2.697=-0.025 | | σ | 0.056-0.102=-0.046 | | min | 2.615-2.604=0.011 | | max | 2.756-2.865=-0.110 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.572-4813.667=-0.095 | | σ | 7.756-7.684=0.072 | | min | 4809.828-4810.099=-0.271 | | max | 4827.442-4827.411=0.031 |
| | mean | 2639.000-2833.000=-194.000 | | σ | 0.000 | | min | 2639.000-2833.000=-194.000 | | max | 2639.000-2833.000=-194.000 |
| | mean | 8.705-8.639=0.066 | | σ | 0.658-0.487=0.172 | | min | 7.736-7.831=-0.095 | | max | 9.303-9.010=0.293 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.068-5001.065=0.003 | | σ | 0.206-0.317=-0.111 | | min | 5000.828-5000.499=0.329 | | max | 5001.268-5001.232=0.036 |
| | mean | 3016.000-3062.400=-46.400 | | σ | 285.606-228.242=57.365 | | min | 2639.000-2833.000=-194.000 | | max | 3388.000-3398.000=-10.000 |
| | mean | 9.848-9.906=-0.059 | | σ | 0.268-0.083=0.184 | | min | 9.481-9.816=-0.335 | | max | 10.219-10.021=0.198 |
|