iters=5 new-facts=1 prior-facts=1 | | mean | 285.035-285.036=-0.001 | | σ | 0.039-0.029=0.010 | | min | 284.990-285.004=-0.014 | | max | 285.084-285.072=0.012 |
| | mean | 1640.000-1521.000=119.000 | | σ | 0.000 | | min | 1640.000-1521.000=119.000 | | max | 1640.000-1521.000=119.000 |
| | mean | 0.396-0.395=0.001 | | σ | 0.016-0.012=0.004 | | min | 0.385-0.387=-0.002 | | max | 0.420-0.415=0.006 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1295.411-1295.425=-0.013 | | σ | 0.105-0.059=0.047 | | min | 1295.297-1295.361=-0.065 | | max | 1295.550-1295.482=0.068 |
| | mean | 1640.000-1521.000=119.000 | | σ | 0.000 | | min | 1640.000-1521.000=119.000 | | max | 1640.000-1521.000=119.000 |
| | mean | 1.908-2.051=-0.143 | | σ | 0.099-0.073=0.026 | | min | 1.797-1.985=-0.187 | | max | 2.020-2.139=-0.119 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1539.546-1539.604=-0.058 | | σ | 6.854-6.794=0.060 | | min | 1536.264-1536.411=-0.146 | | max | 1551.803-1551.754=0.049 |
| | mean | 1640.000-1521.000=119.000 | | σ | 0.000 | | min | 1640.000-1521.000=119.000 | | max | 1640.000-1521.000=119.000 |
| | mean | 2.180-2.408=-0.228 | | σ | 0.228-0.196=0.033 | | min | 2.018-2.153=-0.135 | | max | 2.581-2.693=-0.111 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1857.326-1857.309=0.016 | | σ | 0.074-0.076=-0.003 | | min | 1857.233-1857.194=0.039 | | max | 1857.417-1857.385=0.032 |
| | mean | 1774.200-1760.400=13.800 | | σ | 139.414-171.940=-32.526 | | min | 1640.000-1521.000=119.000 | | max | 1918.000-1916.000=2.000 |
| | mean | 2.989-3.237=-0.248 | | σ | 0.178-0.271=-0.094 | | min | 2.697-2.871=-0.174 | | max | 3.142-3.572=-0.430 |
|