iters=5 new-facts=1 prior-facts=1 | | mean | 273.371-273.403=-0.032 | | σ | 0.007-0.005=0.002 | | min | 273.362-273.395=-0.033 | | max | 273.382-273.408=-0.026 |
| | mean | 2861.000-2853.000=8.000 | | σ | 0.000 | | min | 2861.000-2853.000=8.000 | | max | 2861.000-2853.000=8.000 |
| | mean | 0.382-0.393=-0.011 | | σ | 0.005-0.011=-0.006 | | min | 0.376-0.379=-0.003 | | max | 0.389-0.407=-0.018 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.838-1933.840=-0.002 | | σ | 0.008-0.017=-0.008 | | min | 1933.831-1933.825=0.006 | | max | 1933.851-1933.865=-0.014 |
| | mean | 2861.000-2853.000=8.000 | | σ | 0.000 | | min | 2861.000-2853.000=8.000 | | max | 2861.000-2853.000=8.000 |
| | mean | 3.066-2.935=0.131 | | σ | 0.129-0.196=-0.067 | | min | 2.930-2.636=0.294 | | max | 3.228-3.172=0.056 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.336-4754.340=-0.004 | | σ | 0.819-0.888=-0.069 | | min | 4753.885-4753.837=0.049 | | max | 4755.785-4755.923=-0.138 |
| | mean | 2861.000-2853.000=8.000 | | σ | 0.000 | | min | 2861.000-2853.000=8.000 | | max | 2861.000-2853.000=8.000 |
| | mean | 8.312-8.599=-0.288 | | σ | 0.498-0.427=0.071 | | min | 7.684-8.129=-0.445 | | max | 8.929-9.160=-0.231 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.718-4944.729=-0.012 | | σ | 0.124-0.208=-0.084 | | min | 4944.541-4944.378=0.163 | | max | 4944.886-4944.894=-0.008 |
| | mean | 3085.400-3074.000=11.400 | | σ | 302.216-210.680=91.536 | | min | 2861.000-2853.000=8.000 | | max | 3556.000-3384.000=172.000 |
| | mean | 8.454-8.709=-0.255 | | σ | 0.100-0.403=-0.303 | | min | 8.357-8.419=-0.062 | | max | 8.579-9.380=-0.800 |
|