iters=5 new-facts=1 prior-facts=1 | | mean | 266.781-266.781=0.000 | | σ | 0.005-0.009=-0.004 | | min | 266.775-266.771=0.004 | | max | 266.787-266.793=-0.005 |
| | mean | 2469.000-2859.000=-390.000 | | σ | 0.000 | | min | 2469.000-2859.000=-390.000 | | max | 2469.000-2859.000=-390.000 |
| | mean | 0.368-0.365=0.002 | | σ | 0.004-0.001=0.003 | | min | 0.363-0.364=-0.001 | | max | 0.374-0.367=0.006 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1927.203-1927.208=-0.005 | | σ | 0.011-0.011=-0.001 | | min | 1927.186-1927.193=-0.007 | | max | 1927.215-1927.222=-0.008 |
| | mean | 2469.000-2859.000=-390.000 | | σ | 0.000 | | min | 2469.000-2859.000=-390.000 | | max | 2469.000-2859.000=-390.000 |
| | mean | 3.041-3.015=0.025 | | σ | 0.093-0.097=-0.004 | | min | 2.915-2.924=-0.009 | | max | 3.165-3.163=0.002 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4747.625-4747.722=-0.097 | | σ | 0.506-0.807=-0.301 | | min | 4747.295-4747.295=-0.000 | | max | 4748.519-4749.161=-0.643 |
| | mean | 2469.000-2859.000=-390.000 | | σ | 0.000 | | min | 2469.000-2859.000=-390.000 | | max | 2469.000-2859.000=-390.000 |
| | mean | 8.304-8.363=-0.059 | | σ | 0.587-0.663=-0.076 | | min | 7.749-7.693=0.056 | | max | 9.203-9.194=0.009 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4938.158-4938.162=-0.004 | | σ | 0.080-0.081=-0.001 | | min | 4938.085-4938.094=-0.008 | | max | 4938.247-4938.252=-0.005 |
| | mean | 2939.600-3088.600=-149.000 | | σ | 400.013-308.840=91.173 | | min | 2494.000-2859.000=-365.000 | | max | 3465.000-3570.000=-105.000 |
| | mean | 8.402-8.366=0.036 | | σ | 0.094-0.139=-0.045 | | min | 8.324-8.211=0.112 | | max | 8.560-8.592=-0.031 |
|