iters=5 new-facts=1 prior-facts=1 | | mean | 279.070-279.073=-0.002 | | σ | 0.006-0.009=-0.003 | | min | 279.060-279.062=-0.003 | | max | 279.074-279.083=-0.009 |
| | mean | 2849.000-2513.000=336.000 | | σ | 0.000 | | min | 2849.000-2513.000=336.000 | | max | 2849.000-2513.000=336.000 |
| | mean | 0.390-0.391=-0.000 | | σ | 0.006-0.004=0.001 | | min | 0.385-0.386=-0.001 | | max | 0.398-0.395=0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1939.511-1939.510=0.001 | | σ | 0.009-0.005=0.004 | | min | 1939.502-1939.505=-0.003 | | max | 1939.524-1939.517=0.007 |
| | mean | 2849.000-2513.000=336.000 | | σ | 0.000 | | min | 2849.000-2513.000=336.000 | | max | 2849.000-2513.000=336.000 |
| | mean | 3.027-3.050=-0.024 | | σ | 0.144-0.078=0.066 | | min | 2.790-2.972=-0.182 | | max | 3.146-3.167=-0.021 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4759.950-4759.933=0.017 | | σ | 0.960-0.980=-0.020 | | min | 4759.030-4759.067=-0.037 | | max | 4761.575-4761.621=-0.046 |
| | mean | 2849.000-2513.000=336.000 | | σ | 0.000 | | min | 2849.000-2513.000=336.000 | | max | 2849.000-2513.000=336.000 |
| | mean | 8.161-8.282=-0.121 | | σ | 0.539-0.605=-0.066 | | min | 7.761-7.686=0.075 | | max | 9.062-9.254=-0.192 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4950.472-4950.466=0.006 | | σ | 0.079-0.075=0.004 | | min | 4950.410-4950.405=0.005 | | max | 4950.562-4950.548=0.014 |
| | mean | 3073.000-2976.800=96.200 | | σ | 297.765-420.091=-122.326 | | min | 2849.000-2513.000=336.000 | | max | 3533.000-3550.000=-17.000 |
| | mean | 8.365-8.459=-0.094 | | σ | 0.068-0.129=-0.061 | | min | 8.297-8.355=-0.057 | | max | 8.447-8.684=-0.236 |
|