iters=5 new-facts=1 prior-facts=1 | | mean | 270.128-270.132=-0.003 | | σ | 0.006-0.003=0.003 | | min | 270.119-270.127=-0.008 | | max | 270.136-270.135=0.001 |
| | mean | 2410.000-2423.000=-13.000 | | σ | 0.000 | | min | 2410.000-2423.000=-13.000 | | max | 2410.000-2423.000=-13.000 |
| | mean | 0.381-0.380=0.001 | | σ | 0.003-0.007=-0.004 | | min | 0.379-0.372=0.007 | | max | 0.387-0.391=-0.005 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.594-1930.592=0.002 | | σ | 0.012-0.016=-0.004 | | min | 1930.578-1930.564=0.014 | | max | 1930.609-1930.602=0.007 |
| | mean | 2410.000-2423.000=-13.000 | | σ | 0.000 | | min | 2410.000-2423.000=-13.000 | | max | 2410.000-2423.000=-13.000 |
| | mean | 2.628-2.545=0.084 | | σ | 0.176-0.097=0.078 | | min | 2.446-2.447=-0.001 | | max | 2.860-2.682=0.178 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.072-4751.087=-0.014 | | σ | 0.880-0.855=0.024 | | min | 4750.492-4750.654=-0.161 | | max | 4752.633-4752.615=0.018 |
| | mean | 2410.000-2423.000=-13.000 | | σ | 0.000 | | min | 2410.000-2423.000=-13.000 | | max | 2410.000-2423.000=-13.000 |
| | mean | 8.483-8.407=0.076 | | σ | 0.582-0.601=-0.019 | | min | 7.613-7.712=-0.099 | | max | 9.027-9.048=-0.021 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.532-4941.453=0.079 | | σ | 0.087-0.202=-0.115 | | min | 4941.449-4941.118=0.331 | | max | 4941.637-4941.616=0.021 |
| | mean | 3019.600-2958.600=61.000 | | σ | 374.361-453.411=-79.050 | | min | 2512.000-2423.000=89.000 | | max | 3377.000-3566.000=-189.000 |
| | mean | 8.661-8.386=0.275 | | σ | 0.475-0.141=0.335 | | min | 8.196-8.273=-0.077 | | max | 9.458-8.609=0.850 |
|