iters=5 new-facts=1 prior-facts=1 | | mean | 280.284-278.815=1.468 | | σ | 0.012-0.005=0.007 | | min | 280.266-278.807=1.459 | | max | 280.297-278.819=1.478 |
| | mean | 2740.000-2730.000=10.000 | | σ | 0.000 | | min | 2740.000-2730.000=10.000 | | max | 2740.000-2730.000=10.000 |
| | mean | 0.415-0.411=0.004 | | σ | 0.008-0.005=0.002 | | min | 0.410-0.407=0.003 | | max | 0.428-0.418=0.010 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2270.304-2268.881=1.423 | | σ | 0.028-0.008=0.020 | | min | 2270.281-2268.876=1.405 | | max | 2270.347-2268.894=1.452 |
| | mean | 2740.000-2730.000=10.000 | | σ | 0.000 | | min | 2740.000-2730.000=10.000 | | max | 2740.000-2730.000=10.000 |
| | mean | 3.098-3.043=0.055 | | σ | 0.149-0.099=0.050 | | min | 2.921-2.929=-0.008 | | max | 3.240-3.154=0.086 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5147.452-4954.217=193.236 | | σ | 1.063-0.867=0.196 | | min | 5146.595-4953.681=192.914 | | max | 5149.300-4955.758=193.542 |
| | mean | 2740.000-2730.000=10.000 | | σ | 0.000 | | min | 2740.000-2730.000=10.000 | | max | 2740.000-2730.000=10.000 |
| | mean | 8.704-8.177=0.527 | | σ | 0.505-0.366=0.139 | | min | 8.192-7.837=0.356 | | max | 9.366-8.673=0.693 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5285.582-5168.719=116.864 | | σ | 0.229-0.204=0.025 | | min | 5285.201-5168.377=116.823 | | max | 5285.762-5168.876=116.886 |
| | mean | 3479.200-3378.400=100.800 | | σ | 429.907-535.296=-105.389 | | min | 2851.000-2903.000=-52.000 | | max | 3957.000-4152.000=-195.000 |
| | mean | 10.084-9.111=0.972 | | σ | 0.258-0.326=-0.068 | | min | 9.714-8.570=1.143 | | max | 10.422-9.357=1.065 |
|