iters=5 new-facts=1 prior-facts=1 | | mean | 277.197-277.199=-0.001 | | σ | 0.008-0.002=0.006 | | min | 277.187-277.196=-0.009 | | max | 277.207-277.201=0.006 |
| | mean | 2657.000-2659.000=-2.000 | | σ | 0.000 | | min | 2657.000-2659.000=-2.000 | | max | 2657.000-2659.000=-2.000 |
| | mean | 0.410-0.413=-0.003 | | σ | 0.010-0.010=0.000 | | min | 0.403-0.403=0.000 | | max | 0.425-0.423=0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2174.431-2174.430=0.001 | | σ | 0.026-0.016=0.010 | | min | 2174.405-2174.402=0.002 | | max | 2174.465-2174.444=0.021 |
| | mean | 2657.000-2659.000=-2.000 | | σ | 0.000 | | min | 2657.000-2659.000=-2.000 | | max | 2657.000-2659.000=-2.000 |
| | mean | 2.897-2.944=-0.047 | | σ | 0.208-0.125=0.083 | | min | 2.713-2.807=-0.093 | | max | 3.159-3.074=0.085 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5052.606-5052.640=-0.034 | | σ | 0.997-0.899=0.097 | | min | 5052.016-5052.150=-0.134 | | max | 5054.377-5054.245=0.132 |
| | mean | 2657.000-2659.000=-2.000 | | σ | 0.000 | | min | 2657.000-2659.000=-2.000 | | max | 2657.000-2659.000=-2.000 |
| | mean | 8.985-8.792=0.192 | | σ | 0.649-0.601=0.047 | | min | 8.042-7.982=0.060 | | max | 9.677-9.653=0.024 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5188.423-5188.406=0.017 | | σ | 0.085-0.098=-0.014 | | min | 5188.352-5188.292=0.060 | | max | 5188.525-5188.517=0.008 |
| | mean | 3214.200-3209.000=5.200 | | σ | 478.812-478.003=0.809 | | min | 2657.000-2659.000=-2.000 | | max | 3864.000-3855.000=9.000 |
| | mean | 8.727-8.959=-0.232 | | σ | 0.120-0.466=-0.346 | | min | 8.630-8.658=-0.028 | | max | 8.930-9.780=-0.850 |
|