iters=5 new-facts=1 prior-facts=1 | | mean | 278.697-278.696=0.001 | | σ | 0.012-0.012=0.000 | | min | 278.687-278.687=-0.000 | | max | 278.718-278.718=0.001 |
| | mean | 2641.000-2659.000=-18.000 | | σ | 0.000 | | min | 2641.000-2659.000=-18.000 | | max | 2641.000-2659.000=-18.000 |
| | mean | 0.418-0.415=0.003 | | σ | 0.001-0.001=-0.000 | | min | 0.416-0.414=0.002 | | max | 0.419-0.417=0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.865-2268.872=-0.008 | | σ | 0.010-0.003=0.007 | | min | 2268.847-2268.869=-0.022 | | max | 2268.871-2268.876=-0.006 |
| | mean | 2641.000-2659.000=-18.000 | | σ | 0.000 | | min | 2641.000-2659.000=-18.000 | | max | 2641.000-2659.000=-18.000 |
| | mean | 3.024-2.891=0.133 | | σ | 0.134-0.027=0.107 | | min | 2.928-2.868=0.059 | | max | 3.245-2.934=0.311 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4951.955-4952.218=-0.263 | | σ | 0.639-0.762=-0.123 | | min | 4951.316-4951.859=-0.543 | | max | 4953.025-4953.580=-0.555 |
| | mean | 2641.000-2659.000=-18.000 | | σ | 0.000 | | min | 2641.000-2659.000=-18.000 | | max | 2641.000-2659.000=-18.000 |
| | mean | 7.947-7.745=0.202 | | σ | 0.369-0.090=0.279 | | min | 7.690-7.605=0.086 | | max | 8.596-7.841=0.755 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5166.920-5166.920=-0.000 | | σ | 0.011-0.009=0.002 | | min | 5166.912-5166.909=0.003 | | max | 5166.939-5166.933=0.005 |
| | mean | 3454.400-3399.400=55.000 | | σ | 462.553-459.749=2.804 | | min | 2871.000-2782.000=89.000 | | max | 4116.000-3987.000=129.000 |
| | mean | 9.362-9.464=-0.103 | | σ | 0.198-0.363=-0.165 | | min | 9.179-8.976=0.202 | | max | 9.654-9.968=-0.314 |
|