iters=5 new-facts=1 prior-facts=1 | | mean | 275.568-279.508=-3.939 | | σ | 0.004-0.005=-0.001 | | min | 275.564-279.500=-3.936 | | max | 275.572-279.512=-3.940 |
| | mean | 2771.000-2744.000=27.000 | | σ | 0.000 | | min | 2771.000-2744.000=27.000 | | max | 2771.000-2744.000=27.000 |
| | mean | 0.392-0.408=-0.016 | | σ | 0.010-0.005=0.005 | | min | 0.384-0.403=-0.019 | | max | 0.404-0.416=-0.012 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.092-2178.442=-10.350 | | σ | 0.015-0.009=0.006 | | min | 2168.073-2178.428=-10.355 | | max | 2168.105-2178.449=-10.345 |
| | mean | 2771.000-2744.000=27.000 | | σ | 0.000 | | min | 2771.000-2744.000=27.000 | | max | 2771.000-2744.000=27.000 |
| | mean | 2.952-3.088=-0.137 | | σ | 0.099-0.271=-0.173 | | min | 2.789-2.713=0.076 | | max | 3.026-3.443=-0.418 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5047.811-5056.396=-8.585 | | σ | 0.989-0.870=0.119 | | min | 5047.019-5055.926=-8.907 | | max | 5049.533-5057.948=-8.415 |
| | mean | 2771.000-2744.000=27.000 | | σ | 0.000 | | min | 2771.000-2744.000=27.000 | | max | 2771.000-2744.000=27.000 |
| | mean | 8.640-9.076=-0.436 | | σ | 0.547-0.489=0.058 | | min | 7.982-8.603=-0.621 | | max | 9.218-9.719=-0.501 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5178.906-5193.753=-14.847 | | σ | 0.266-0.090=0.176 | | min | 5178.445-5193.682=-15.236 | | max | 5179.130-5193.859=-14.729 |
| | mean | 3303.600-3268.600=35.000 | | σ | 397.887-454.206=-56.320 | | min | 2771.000-2744.000=27.000 | | max | 3681.000-3851.000=-170.000 |
| | mean | 9.885-8.917=0.969 | | σ | 0.286-0.518=-0.232 | | min | 9.583-8.582=1.001 | | max | 10.206-9.820=0.386 |
|