iters=5 new-facts=1 prior-facts=1 | | mean | 278.818-278.693=0.125 | | σ | 0.005-0.012=-0.007 | | min | 278.812-278.683=0.129 | | max | 278.823-278.713=0.110 |
| | mean | 2697.000-2606.000=91.000 | | σ | 0.000 | | min | 2697.000-2606.000=91.000 | | max | 2697.000-2606.000=91.000 |
| | mean | 0.412-0.424=-0.012 | | σ | 0.004-0.009=-0.005 | | min | 0.409-0.417=-0.009 | | max | 0.417-0.437=-0.020 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.880-2268.862=0.019 | | σ | 0.010-0.010=-0.000 | | min | 2268.873-2268.846=0.026 | | max | 2268.897-2268.871=0.025 |
| | mean | 2697.000-2606.000=91.000 | | σ | 0.000 | | min | 2697.000-2606.000=91.000 | | max | 2697.000-2606.000=91.000 |
| | mean | 3.080-3.004=0.075 | | σ | 0.193-0.169=0.024 | | min | 2.886-2.900=-0.014 | | max | 3.309-3.296=0.013 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4954.265-4952.127=2.138 | | σ | 0.837-0.738=0.099 | | min | 4953.856-4951.272=2.584 | | max | 4955.760-4953.314=2.446 |
| | mean | 2697.000-2606.000=91.000 | | σ | 0.000 | | min | 2697.000-2606.000=91.000 | | max | 2697.000-2606.000=91.000 |
| | mean | 7.945-7.885=0.060 | | σ | 0.358-0.337=0.021 | | min | 7.573-7.634=-0.061 | | max | 8.532-8.475=0.057 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5168.789-5167.003=1.786 | | σ | 0.076-0.141=-0.066 | | min | 5168.718-5166.750=1.967 | | max | 5168.872-5167.077=1.795 |
| | mean | 3301.800-3396.800=-95.000 | | σ | 389.066-459.413=-70.347 | | min | 2916.000-2808.000=108.000 | | max | 3694.000-4049.000=-355.000 |
| | mean | 9.166-9.425=-0.259 | | σ | 0.394-0.381=0.012 | | min | 8.726-8.997=-0.271 | | max | 9.751-9.955=-0.204 |
|