iters=5 new-facts=1 prior-facts=1 | | mean | 275.753-275.753=-0.000 | | σ | 0.005-0.013=-0.008 | | min | 275.745-275.738=0.007 | | max | 275.759-275.768=-0.010 |
| | mean | 2862.000-2469.000=393.000 | | σ | 0.000 | | min | 2862.000-2469.000=393.000 | | max | 2862.000-2469.000=393.000 |
| | mean | 0.395-0.391=0.004 | | σ | 0.012-0.008=0.004 | | min | 0.385-0.386=-0.000 | | max | 0.412-0.406=0.006 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.276-2168.281=-0.004 | | σ | 0.015-0.011=0.005 | | min | 2168.262-2168.263=-0.001 | | max | 2168.294-2168.292=0.002 |
| | mean | 2862.000-2469.000=393.000 | | σ | 0.000 | | min | 2862.000-2469.000=393.000 | | max | 2862.000-2469.000=393.000 |
| | mean | 2.877-2.897=-0.021 | | σ | 0.094-0.179=-0.085 | | min | 2.786-2.672=0.113 | | max | 2.981-3.052=-0.071 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5048.135-5047.754=0.381 | | σ | 0.880-1.235=-0.355 | | min | 5047.527-5046.565=0.962 | | max | 5049.690-5049.826=-0.136 |
| | mean | 2862.000-2469.000=393.000 | | σ | 0.000 | | min | 2862.000-2469.000=393.000 | | max | 2862.000-2469.000=393.000 |
| | mean | 8.661-8.915=-0.253 | | σ | 0.493-0.544=-0.051 | | min | 8.115-8.092=0.023 | | max | 9.386-9.543=-0.157 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.148-5179.167=-0.019 | | σ | 0.209-0.207=0.002 | | min | 5178.807-5178.816=-0.009 | | max | 5179.319-5179.342=-0.023 |
| | mean | 3318.000-3244.200=73.800 | | σ | 454.622-368.907=85.714 | | min | 2862.000-2723.000=139.000 | | max | 3969.000-3693.000=276.000 |
| | mean | 9.738-9.822=-0.084 | | σ | 0.373-0.589=-0.216 | | min | 9.077-8.776=0.301 | | max | 9.943-10.194=-0.251 |
|