iters=5 new-facts=1 prior-facts=1 | | mean | 271.996-272.019=-0.024 | | σ | 0.011-0.008=0.003 | | min | 271.983-272.006=-0.023 | | max | 272.013-272.028=-0.015 |
| | mean | 2762.000-2760.000=2.000 | | σ | 0.000 | | min | 2762.000-2760.000=2.000 | | max | 2762.000-2760.000=2.000 |
| | mean | 0.384-0.401=-0.017 | | σ | 0.011-0.010=0.001 | | min | 0.370-0.391=-0.021 | | max | 0.401-0.414=-0.013 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.443-1932.431=0.012 | | σ | 0.016-0.008=0.008 | | min | 1932.423-1932.423=0.001 | | max | 1932.464-1932.441=0.023 |
| | mean | 2762.000-2760.000=2.000 | | σ | 0.000 | | min | 2762.000-2760.000=2.000 | | max | 2762.000-2760.000=2.000 |
| | mean | 2.850-3.073=-0.223 | | σ | 0.248-0.179=0.069 | | min | 2.456-2.916=-0.460 | | max | 3.061-3.370=-0.308 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4753.047-4753.064=-0.018 | | σ | 0.946-0.940=0.007 | | min | 4752.094-4752.281=-0.187 | | max | 4754.636-4754.700=-0.063 |
| | mean | 2762.000-2760.000=2.000 | | σ | 0.000 | | min | 2762.000-2760.000=2.000 | | max | 2762.000-2760.000=2.000 |
| | mean | 8.499-8.502=-0.003 | | σ | 0.485-0.193=0.292 | | min | 7.700-8.200=-0.500 | | max | 8.988-8.670=0.318 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.631-4943.492=0.140 | | σ | 0.015-0.189=-0.174 | | min | 4943.613-4943.272=0.341 | | max | 4943.647-4943.646=0.001 |
| | mean | 3052.600-3037.600=15.000 | | σ | 236.635-235.161=1.474 | | min | 2762.000-2760.000=2.000 | | max | 3382.000-3322.000=60.000 |
| | mean | 8.616-8.616=0.000 | | σ | 0.169-0.128=0.041 | | min | 8.436-8.416=0.020 | | max | 8.839-8.761=0.079 |
|