iters=5 new-facts=1 prior-facts=1 | | mean | 278.820-278.674=0.146 | | σ | 0.005-0.009=-0.004 | | min | 278.814-278.664=0.151 | | max | 278.826-278.688=0.139 |
| | mean | 2685.000-2858.000=-173.000 | | σ | 0.000 | | min | 2685.000-2858.000=-173.000 | | max | 2685.000-2858.000=-173.000 |
| | mean | 0.412-0.436=-0.024 | | σ | 0.003-0.010=-0.007 | | min | 0.410-0.419=-0.009 | | max | 0.417-0.442=-0.025 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.875-2268.842=0.033 | | σ | 0.011-0.013=-0.003 | | min | 2268.860-2268.820=0.040 | | max | 2268.887-2268.854=0.033 |
| | mean | 2685.000-2858.000=-173.000 | | σ | 0.000 | | min | 2685.000-2858.000=-173.000 | | max | 2685.000-2858.000=-173.000 |
| | mean | 2.908-3.125=-0.217 | | σ | 0.059-0.197=-0.139 | | min | 2.869-2.915=-0.046 | | max | 3.011-3.334=-0.322 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4954.235-4952.364=1.871 | | σ | 0.811-0.767=0.045 | | min | 4953.749-4951.971=1.778 | | max | 4955.668-4953.733=1.935 |
| | mean | 2685.000-2858.000=-173.000 | | σ | 0.000 | | min | 2685.000-2858.000=-173.000 | | max | 2685.000-2858.000=-173.000 |
| | mean | 8.007-7.777=0.230 | | σ | 0.220-0.133=0.087 | | min | 7.725-7.631=0.094 | | max | 8.276-7.931=0.345 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5168.789-5167.058=1.731 | | σ | 0.078-0.014=0.064 | | min | 5168.729-5167.043=1.686 | | max | 5168.881-5167.075=1.806 |
| | mean | 3397.000-3342.800=54.200 | | σ | 460.689-396.707=63.981 | | min | 2813.000-2858.000=-45.000 | | max | 4015.000-3890.000=125.000 |
| | mean | 9.474-9.452=0.022 | | σ | 0.370-0.426=-0.056 | | min | 8.949-9.009=-0.060 | | max | 9.777-10.151=-0.375 |
|