iters=5 new-facts=1 prior-facts=1 | | mean | 275.547-277.176=-1.629 | | σ | 0.011-0.011=-0.000 | | min | 275.533-277.162=-1.628 | | max | 275.561-277.189=-1.628 |
| | mean | 2858.000-2654.000=204.000 | | σ | 0.000 | | min | 2858.000-2654.000=204.000 | | max | 2858.000-2654.000=204.000 |
| | mean | 0.403-0.398=0.005 | | σ | 0.005-0.008=-0.004 | | min | 0.400-0.391=0.009 | | max | 0.411-0.408=0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.102-2169.694=-1.592 | | σ | 0.008-0.022=-0.014 | | min | 2168.094-2169.666=-1.572 | | max | 2168.114-2169.727=-1.613 |
| | mean | 2858.000-2654.000=204.000 | | σ | 0.000 | | min | 2858.000-2654.000=204.000 | | max | 2858.000-2654.000=204.000 |
| | mean | 2.940-2.834=0.106 | | σ | 0.219-0.138=0.081 | | min | 2.660-2.754=-0.094 | | max | 3.235-3.080=0.155 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5047.913-5049.222=-1.310 | | σ | 0.943-1.324=-0.380 | | min | 5047.452-5047.784=-0.332 | | max | 5049.598-5051.358=-1.759 |
| | mean | 2858.000-2654.000=204.000 | | σ | 0.000 | | min | 2858.000-2654.000=204.000 | | max | 2858.000-2654.000=204.000 |
| | mean | 8.885-9.003=-0.119 | | σ | 0.602-0.671=-0.069 | | min | 8.051-8.115=-0.065 | | max | 9.728-9.831=-0.103 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.050-5180.662=-1.612 | | σ | 0.089-0.085=0.005 | | min | 5178.949-5180.599=-1.650 | | max | 5179.150-5180.761=-1.611 |
| | mean | 3258.200-3215.000=43.200 | | σ | 326.164-482.920=-156.756 | | min | 2858.000-2654.000=204.000 | | max | 3701.000-3867.000=-166.000 |
| | mean | 9.787-8.785=1.002 | | σ | 0.639-0.181=0.458 | | min | 8.658-8.656=0.002 | | max | 10.241-9.095=1.146 |
|