iters=5 new-facts=1 prior-facts=1 | | mean | 278.700-278.701=-0.001 | | σ | 0.014-0.009=0.005 | | min | 278.687-278.691=-0.004 | | max | 278.724-278.713=0.011 |
| | mean | 2860.000-2667.000=193.000 | | σ | 0.000 | | min | 2860.000-2667.000=193.000 | | max | 2860.000-2667.000=193.000 |
| | mean | 0.419-0.419=0.000 | | σ | 0.000-0.001=-0.001 | | min | 0.418-0.417=0.001 | | max | 0.419-0.420=-0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.871-2268.874=-0.003 | | σ | 0.006-0.016=-0.011 | | min | 2268.863-2268.852=0.011 | | max | 2268.878-2268.897=-0.019 |
| | mean | 2860.000-2667.000=193.000 | | σ | 0.000 | | min | 2860.000-2667.000=193.000 | | max | 2860.000-2667.000=193.000 |
| | mean | 3.000-3.081=-0.081 | | σ | 0.133-0.208=-0.075 | | min | 2.870-2.863=0.008 | | max | 3.167-3.390=-0.223 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4952.385-4952.238=0.147 | | σ | 0.766-0.895=-0.128 | | min | 4951.996-4951.362=0.634 | | max | 4953.755-4953.753=0.001 |
| | mean | 2860.000-2667.000=193.000 | | σ | 0.000 | | min | 2860.000-2667.000=193.000 | | max | 2860.000-2667.000=193.000 |
| | mean | 7.758-7.819=-0.061 | | σ | 0.147-0.194=-0.046 | | min | 7.615-7.631=-0.016 | | max | 7.923-8.063=-0.140 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5167.075-5167.085=-0.010 | | σ | 0.010-0.010=0.000 | | min | 5167.065-5167.075=-0.011 | | max | 5167.091-5167.099=-0.008 |
| | mean | 3425.000-3434.200=-9.200 | | σ | 433.445-481.083=-47.638 | | min | 2860.000-2887.000=-27.000 | | max | 3997.000-4153.000=-156.000 |
| | mean | 9.298-9.302=-0.003 | | σ | 0.381-0.264=0.117 | | min | 9.010-9.050=-0.040 | | max | 9.921-9.742=0.179 |
|