iters=5 new-facts=1 prior-facts=1 | | mean | 324.692-324.583=0.108 | | σ | 0.048-0.054=-0.006 | | min | 324.609-324.487=0.123 | | max | 324.732-324.610=0.123 |
| | mean | 2800.000-2461.000=339.000 | | σ | 0.000 | | min | 2800.000-2461.000=339.000 | | max | 2800.000-2461.000=339.000 |
| | mean | 0.431-0.428=0.003 | | σ | 0.011-0.007=0.004 | | min | 0.423-0.423=0.000 | | max | 0.448-0.440=0.008 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.262-1985.146=0.116 | | σ | 0.009-0.008=0.001 | | min | 1985.247-1985.135=0.113 | | max | 1985.269-1985.153=0.116 |
| | mean | 2800.000-2461.000=339.000 | | σ | 0.000 | | min | 2800.000-2461.000=339.000 | | max | 2800.000-2461.000=339.000 |
| | mean | 2.640-2.592=0.048 | | σ | 0.059-0.102=-0.043 | | min | 2.590-2.456=0.134 | | max | 2.715-2.721=-0.005 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.774-4808.748=0.026 | | σ | 7.783-7.725=0.058 | | min | 4804.838-4805.264=-0.425 | | max | 4822.688-4822.566=0.122 |
| | mean | 2800.000-2461.000=339.000 | | σ | 0.000 | | min | 2800.000-2461.000=339.000 | | max | 2800.000-2461.000=339.000 |
| | mean | 9.114-8.965=0.149 | | σ | 0.179-0.339=-0.160 | | min | 8.900-8.456=0.444 | | max | 9.366-9.374=-0.008 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.437-4996.347=0.090 | | σ | 0.070-0.021=0.050 | | min | 4996.317-4996.326=-0.009 | | max | 4996.492-4996.371=0.121 |
| | mean | 2989.200-3003.200=-14.000 | | σ | 202.097-271.020=-68.923 | | min | 2800.000-2609.000=191.000 | | max | 3291.000-3336.000=-45.000 |
| | mean | 8.687-8.664=0.023 | | σ | 0.157-0.141=0.016 | | min | 8.473-8.472=0.001 | | max | 8.899-8.794=0.106 |
|