iters=5 new-facts=1 prior-facts=1 | | mean | 273.609-271.753=1.856 | | σ | 0.007-0.007=0.000 | | min | 273.599-271.742=1.858 | | max | 273.617-271.759=1.858 |
| | mean | 2837.000-2768.000=69.000 | | σ | 0.000 | | min | 2837.000-2768.000=69.000 | | max | 2837.000-2768.000=69.000 |
| | mean | 0.389-0.379=0.010 | | σ | 0.009-0.004=0.006 | | min | 0.380-0.375=0.005 | | max | 0.401-0.385=0.016 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.995-1932.181=1.814 | | σ | 0.006-0.009=-0.003 | | min | 1933.987-1932.173=1.814 | | max | 1934.003-1932.193=1.810 |
| | mean | 2837.000-2768.000=69.000 | | σ | 0.000 | | min | 2837.000-2768.000=69.000 | | max | 2837.000-2768.000=69.000 |
| | mean | 2.992-3.045=-0.053 | | σ | 0.099-0.228=-0.130 | | min | 2.848-2.738=0.110 | | max | 3.084-3.361=-0.277 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.780-4752.907=1.873 | | σ | 0.832-0.841=-0.009 | | min | 4754.284-4752.430=1.854 | | max | 4756.261-4754.400=1.860 |
| | mean | 2837.000-2768.000=69.000 | | σ | 0.000 | | min | 2837.000-2768.000=69.000 | | max | 2837.000-2768.000=69.000 |
| | mean | 8.388-8.463=-0.075 | | σ | 0.540-0.506=0.034 | | min | 7.629-7.655=-0.026 | | max | 9.113-8.906=0.207 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4945.224-4943.310=1.914 | | σ | 0.024-0.147=-0.123 | | min | 4945.192-4943.049=2.143 | | max | 4945.254-4943.394=1.860 |
| | mean | 3083.000-3052.200=30.800 | | σ | 247.010-250.361=-3.351 | | min | 2837.000-2768.000=69.000 | | max | 3331.000-3403.000=-72.000 |
| | mean | 8.781-8.643=0.138 | | σ | 0.396-0.167=0.229 | | min | 8.418-8.487=-0.069 | | max | 9.453-8.872=0.581 |
|