iters=5 new-facts=1 prior-facts=1 | | mean | 277.719-277.715=0.004 | | σ | 0.010-0.011=-0.001 | | min | 277.703-277.700=0.002 | | max | 277.731-277.727=0.004 |
| | mean | 2638.000-2642.000=-4.000 | | σ | 0.000 | | min | 2638.000-2642.000=-4.000 | | max | 2638.000-2642.000=-4.000 |
| | mean | 0.407-0.407=0.000 | | σ | 0.002-0.001=0.001 | | min | 0.404-0.406=-0.002 | | max | 0.408-0.408=0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2267.891-2267.889=0.002 | | σ | 0.005-0.004=0.001 | | min | 2267.887-2267.883=0.004 | | max | 2267.899-2267.892=0.006 |
| | mean | 2638.000-2642.000=-4.000 | | σ | 0.000 | | min | 2638.000-2642.000=-4.000 | | max | 2638.000-2642.000=-4.000 |
| | mean | 2.894-2.890=0.004 | | σ | 0.071-0.198=-0.128 | | min | 2.801-2.677=0.124 | | max | 2.997-3.193=-0.196 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4954.941-4955.043=-0.102 | | σ | 0.920-0.813=0.106 | | min | 4954.117-4954.627=-0.510 | | max | 4956.514-4956.496=0.018 |
| | mean | 2638.000-2642.000=-4.000 | | σ | 0.000 | | min | 2638.000-2642.000=-4.000 | | max | 2638.000-2642.000=-4.000 |
| | mean | 7.988-8.007=-0.019 | | σ | 0.289-0.267=0.022 | | min | 7.657-7.808=-0.151 | | max | 8.405-8.462=-0.057 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5169.717-5169.720=-0.002 | | σ | 0.137-0.137=0.000 | | min | 5169.513-5169.516=-0.003 | | max | 5169.849-5169.848=0.001 |
| | mean | 3453.600-3434.600=19.000 | | σ | 454.626-467.157=-12.531 | | min | 2800.000-2809.000=-9.000 | | max | 3984.000-4026.000=-42.000 |
| | mean | 9.387-9.207=0.180 | | σ | 0.243-0.200=0.043 | | min | 9.114-8.939=0.175 | | max | 9.710-9.498=0.212 |
|