iters=5 new-facts=1 prior-facts=1 | | mean | 274.363-274.367=-0.004 | | σ | 0.008-0.006=0.001 | | min | 274.353-274.359=-0.006 | | max | 274.371-274.373=-0.002 |
| | mean | 2771.000-2421.000=350.000 | | σ | 0.000 | | min | 2771.000-2421.000=350.000 | | max | 2771.000-2421.000=350.000 |
| | mean | 0.383-0.385=-0.001 | | σ | 0.001-0.004=-0.003 | | min | 0.382-0.382=0.001 | | max | 0.384-0.392=-0.007 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1934.751-1934.758=-0.007 | | σ | 0.017-0.015=0.002 | | min | 1934.729-1934.737=-0.009 | | max | 1934.774-1934.777=-0.002 |
| | mean | 2771.000-2421.000=350.000 | | σ | 0.000 | | min | 2771.000-2421.000=350.000 | | max | 2771.000-2421.000=350.000 |
| | mean | 3.051-2.954=0.097 | | σ | 0.105-0.091=0.014 | | min | 2.926-2.827=0.099 | | max | 3.192-3.057=0.135 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4755.480-4755.393=0.087 | | σ | 0.949-0.997=-0.048 | | min | 4754.976-4754.443=0.533 | | max | 4757.174-4757.091=0.083 |
| | mean | 2771.000-2421.000=350.000 | | σ | 0.000 | | min | 2771.000-2421.000=350.000 | | max | 2771.000-2421.000=350.000 |
| | mean | 8.797-8.653=0.144 | | σ | 0.541-0.321=0.219 | | min | 7.925-8.320=-0.395 | | max | 9.266-9.082=0.184 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4945.915-4945.981=-0.066 | | σ | 0.167-0.019=0.149 | | min | 4945.619-4945.961=-0.342 | | max | 4946.021-4946.003=0.018 |
| | mean | 2992.400-2918.000=74.400 | | σ | 207.535-332.282=-124.747 | | min | 2771.000-2421.000=350.000 | | max | 3288.000-3308.000=-20.000 |
| | mean | 8.559-8.502=0.056 | | σ | 0.068-0.123=-0.056 | | min | 8.491-8.361=0.131 | | max | 8.645-8.686=-0.041 |
|