iters=5 new-facts=1 prior-facts=1 | | mean | 324.771-324.744=0.027 | | σ | 0.054-0.042=0.012 | | min | 324.675-324.669=0.006 | | max | 324.802-324.769=0.034 |
| | mean | 2683.000-2481.000=202.000 | | σ | 0.000 | | min | 2683.000-2481.000=202.000 | | max | 2683.000-2481.000=202.000 |
| | mean | 0.428-0.427=0.001 | | σ | 0.009-0.009=0.000 | | min | 0.421-0.420=0.001 | | max | 0.439-0.441=-0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.324-1985.327=-0.003 | | σ | 0.017-0.014=0.004 | | min | 1985.293-1985.307=-0.013 | | max | 1985.335-1985.337=-0.002 |
| | mean | 2683.000-2481.000=202.000 | | σ | 0.000 | | min | 2683.000-2481.000=202.000 | | max | 2683.000-2481.000=202.000 |
| | mean | 2.644-2.616=0.028 | | σ | 0.069-0.104=-0.036 | | min | 2.594-2.479=0.114 | | max | 2.740-2.755=-0.015 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4810.082-4810.215=-0.134 | | σ | 7.747-7.675=0.073 | | min | 4806.286-4806.643=-0.358 | | max | 4823.935-4823.943=-0.008 |
| | mean | 2683.000-2481.000=202.000 | | σ | 0.000 | | min | 2683.000-2481.000=202.000 | | max | 2683.000-2481.000=202.000 |
| | mean | 8.383-8.151=0.232 | | σ | 0.637-0.592=0.045 | | min | 7.671-7.497=0.174 | | max | 9.074-9.029=0.045 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4997.696-4997.708=-0.012 | | σ | 0.055-0.028=0.027 | | min | 4997.607-4997.676=-0.070 | | max | 4997.733-4997.734=-0.001 |
| | mean | 3004.200-2966.200=38.000 | | σ | 364.562-410.109=-45.548 | | min | 2683.000-2481.000=202.000 | | max | 3533.000-3468.000=65.000 |
| | mean | 8.553-8.515=0.038 | | σ | 0.152-0.142=0.010 | | min | 8.443-8.436=0.007 | | max | 8.814-8.768=0.047 |
|