iters=5 new-facts=1 prior-facts=1 | | mean | 277.717-277.718=-0.000 | | σ | 0.007-0.009=-0.002 | | min | 277.708-277.707=0.001 | | max | 277.725-277.729=-0.004 |
| | mean | 2652.000-2740.000=-88.000 | | σ | 0.000 | | min | 2652.000-2740.000=-88.000 | | max | 2652.000-2740.000=-88.000 |
| | mean | 0.409-0.409=-0.000 | | σ | 0.001-0.001=-0.001 | | min | 0.408-0.407=0.001 | | max | 0.409-0.410=-0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2267.888-2267.873=0.015 | | σ | 0.005-0.023=-0.018 | | min | 2267.885-2267.848=0.037 | | max | 2267.896-2267.894=0.002 |
| | mean | 2652.000-2740.000=-88.000 | | σ | 0.000 | | min | 2652.000-2740.000=-88.000 | | max | 2652.000-2740.000=-88.000 |
| | mean | 3.124-3.189=-0.066 | | σ | 0.175-0.178=-0.003 | | min | 2.911-2.933=-0.023 | | max | 3.310-3.388=-0.078 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4954.816-4954.801=0.016 | | σ | 0.962-1.107=-0.145 | | min | 4953.982-4953.395=0.587 | | max | 4956.376-4956.500=-0.124 |
| | mean | 2652.000-2740.000=-88.000 | | σ | 0.000 | | min | 2652.000-2740.000=-88.000 | | max | 2652.000-2740.000=-88.000 |
| | mean | 7.842-8.038=-0.196 | | σ | 0.172-0.281=-0.109 | | min | 7.654-7.675=-0.021 | | max | 8.075-8.320=-0.245 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5169.763-5169.688=0.076 | | σ | 0.085-0.208=-0.122 | | min | 5169.691-5169.344=0.347 | | max | 5169.861-5169.854=0.007 |
| | mean | 3342.200-3369.000=-26.800 | | σ | 427.085-403.762=23.323 | | min | 2919.000-2972.000=-53.000 | | max | 3773.000-3779.000=-6.000 |
| | mean | 9.364-9.352=0.012 | | σ | 0.025-0.195=-0.170 | | min | 9.325-9.074=0.250 | | max | 9.383-9.623=-0.240 |
|