iters=5 new-facts=1 prior-facts=1 | | mean | 275.568-275.547=0.021 | | σ | 0.003-0.011=-0.008 | | min | 275.563-275.533=0.030 | | max | 275.572-275.561=0.011 |
| | mean | 2796.000-2858.000=-62.000 | | σ | 0.000 | | min | 2796.000-2858.000=-62.000 | | max | 2796.000-2858.000=-62.000 |
| | mean | 0.393-0.403=-0.010 | | σ | 0.008-0.005=0.004 | | min | 0.386-0.400=-0.014 | | max | 0.403-0.411=-0.008 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.092-2168.102=-0.011 | | σ | 0.021-0.008=0.013 | | min | 2168.056-2168.094=-0.039 | | max | 2168.108-2168.114=-0.006 |
| | mean | 2796.000-2858.000=-62.000 | | σ | 0.000 | | min | 2796.000-2858.000=-62.000 | | max | 2796.000-2858.000=-62.000 |
| | mean | 2.971-2.940=0.031 | | σ | 0.142-0.219=-0.077 | | min | 2.809-2.660=0.148 | | max | 3.118-3.235=-0.117 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5047.892-5047.913=-0.021 | | σ | 0.931-0.943=-0.012 | | min | 5047.364-5047.452=-0.087 | | max | 5049.548-5049.598=-0.051 |
| | mean | 2796.000-2858.000=-62.000 | | σ | 0.000 | | min | 2796.000-2858.000=-62.000 | | max | 2796.000-2858.000=-62.000 |
| | mean | 8.887-8.885=0.003 | | σ | 0.433-0.602=-0.170 | | min | 8.137-8.051=0.087 | | max | 9.203-9.728=-0.525 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.043-5179.050=-0.007 | | σ | 0.084-0.089=-0.005 | | min | 5178.956-5178.949=0.007 | | max | 5179.136-5179.150=-0.014 |
| | mean | 3242.600-3258.200=-15.600 | | σ | 350.794-326.164=24.630 | | min | 2796.000-2858.000=-62.000 | | max | 3704.000-3701.000=3.000 |
| | mean | 9.880-9.787=0.094 | | σ | 0.288-0.639=-0.352 | | min | 9.525-8.658=0.867 | | max | 10.276-10.241=0.036 |
|