iters=5 new-facts=1 prior-facts=1 | | mean | 277.191-277.193=-0.002 | | σ | 0.001-0.005=-0.003 | | min | 277.189-277.186=0.003 | | max | 277.192-277.197=-0.005 |
| | mean | 2646.000-2651.000=-5.000 | | σ | 0.000 | | min | 2646.000-2651.000=-5.000 | | max | 2646.000-2651.000=-5.000 |
| | mean | 0.401-0.396=0.006 | | σ | 0.008-0.007=0.001 | | min | 0.393-0.391=0.002 | | max | 0.412-0.408=0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2169.697-2169.684=0.013 | | σ | 0.006-0.018=-0.012 | | min | 2169.689-2169.654=0.035 | | max | 2169.705-2169.700=0.004 |
| | mean | 2646.000-2651.000=-5.000 | | σ | 0.000 | | min | 2646.000-2651.000=-5.000 | | max | 2646.000-2651.000=-5.000 |
| | mean | 2.983-2.941=0.042 | | σ | 0.202-0.228=-0.026 | | min | 2.775-2.766=0.009 | | max | 3.240-3.318=-0.078 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5049.442-5049.573=-0.131 | | σ | 1.002-0.975=0.027 | | min | 5048.587-5049.020=-0.433 | | max | 5051.177-5051.307=-0.130 |
| | mean | 2646.000-2651.000=-5.000 | | σ | 0.000 | | min | 2646.000-2651.000=-5.000 | | max | 2646.000-2651.000=-5.000 |
| | mean | 8.673-9.018=-0.345 | | σ | 0.413-0.647=-0.234 | | min | 8.204-8.054=0.150 | | max | 9.154-9.700=-0.546 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5180.663-5180.618=0.045 | | σ | 0.085-0.142=-0.057 | | min | 5180.593-5180.400=0.193 | | max | 5180.775-5180.748=0.027 |
| | mean | 3231.800-3216.600=15.200 | | σ | 425.838-463.084=-37.246 | | min | 2646.000-2651.000=-5.000 | | max | 3626.000-3815.000=-189.000 |
| | mean | 9.076-8.700=0.376 | | σ | 0.289-0.102=0.187 | | min | 8.820-8.620=0.201 | | max | 9.502-8.872=0.630 |
|