iters=5 new-facts=1 prior-facts=1 | | mean | 279.511-279.513=-0.002 | | σ | 0.009-0.007=0.001 | | min | 279.501-279.504=-0.003 | | max | 279.520-279.519=0.001 |
| | mean | 2776.000-2791.000=-15.000 | | σ | 0.000 | | min | 2776.000-2791.000=-15.000 | | max | 2776.000-2791.000=-15.000 |
| | mean | 0.410-0.409=0.001 | | σ | 0.008-0.007=0.002 | | min | 0.406-0.404=0.002 | | max | 0.425-0.420=0.004 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2178.448-2178.451=-0.003 | | σ | 0.009-0.018=-0.009 | | min | 2178.440-2178.422=0.018 | | max | 2178.461-2178.467=-0.006 |
| | mean | 2776.000-2791.000=-15.000 | | σ | 0.000 | | min | 2776.000-2791.000=-15.000 | | max | 2776.000-2791.000=-15.000 |
| | mean | 3.320-3.242=0.077 | | σ | 0.118-0.171=-0.053 | | min | 3.207-3.039=0.168 | | max | 3.521-3.491=0.030 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5056.357-5056.360=-0.003 | | σ | 1.001-0.983=0.018 | | min | 5055.808-5055.806=0.003 | | max | 5058.144-5058.108=0.037 |
| | mean | 2776.000-2791.000=-15.000 | | σ | 0.000 | | min | 2776.000-2791.000=-15.000 | | max | 2776.000-2791.000=-15.000 |
| | mean | 8.859-8.980=-0.120 | | σ | 0.544-0.516=0.028 | | min | 8.148-8.176=-0.028 | | max | 9.577-9.440=0.137 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5193.661-5193.680=-0.020 | | σ | 0.254-0.223=0.031 | | min | 5193.234-5193.308=-0.074 | | max | 5193.859-5193.856=0.003 |
| | mean | 3194.400-3221.600=-27.200 | | σ | 429.827-341.190=88.638 | | min | 2776.000-2829.000=-53.000 | | max | 3800.000-3722.000=78.000 |
| | mean | 8.762-8.789=-0.027 | | σ | 0.153-0.168=-0.015 | | min | 8.658-8.550=0.109 | | max | 9.030-9.004=0.026 |
|