iters=5 new-facts=1 prior-facts=1 | | mean | 271.752-271.756=-0.004 | | σ | 0.005-0.011=-0.006 | | min | 271.747-271.737=0.010 | | max | 271.759-271.767=-0.007 |
| | mean | 2812.000-2851.000=-39.000 | | σ | 0.000 | | min | 2812.000-2851.000=-39.000 | | max | 2812.000-2851.000=-39.000 |
| | mean | 0.378-0.383=-0.004 | | σ | 0.008-0.005=0.003 | | min | 0.368-0.376=-0.008 | | max | 0.391-0.389=0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.180-1932.175=0.005 | | σ | 0.016-0.012=0.004 | | min | 1932.160-1932.162=-0.002 | | max | 1932.194-1932.189=0.005 |
| | mean | 2812.000-2851.000=-39.000 | | σ | 0.000 | | min | 2812.000-2851.000=-39.000 | | max | 2812.000-2851.000=-39.000 |
| | mean | 2.969-2.932=0.037 | | σ | 0.128-0.124=0.004 | | min | 2.767-2.782=-0.015 | | max | 3.090-3.096=-0.007 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.659-4752.874=-0.215 | | σ | 1.078-0.912=0.167 | | min | 4751.892-4752.441=-0.549 | | max | 4754.530-4754.505=0.025 |
| | mean | 2812.000-2851.000=-39.000 | | σ | 0.000 | | min | 2812.000-2851.000=-39.000 | | max | 2812.000-2851.000=-39.000 |
| | mean | 8.665-8.794=-0.128 | | σ | 0.364-0.153=0.211 | | min | 8.100-8.619=-0.519 | | max | 9.015-8.999=0.016 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.375-4943.295=0.080 | | σ | 0.021-0.163=-0.142 | | min | 4943.349-4943.004=0.346 | | max | 4943.399-4943.374=0.025 |
| | mean | 3019.200-3024.200=-5.000 | | σ | 277.497-261.296=16.201 | | min | 2812.000-2851.000=-39.000 | | max | 3455.000-3448.000=7.000 |
| | mean | 8.453-8.394=0.060 | | σ | 0.130-0.113=0.016 | | min | 8.352-8.250=0.102 | | max | 8.668-8.564=0.104 |
|