iters=5 new-facts=1 prior-facts=1 | | mean | 325.888-325.889=-0.001 | | σ | 0.060-0.052=0.009 | | min | 325.781-325.799=-0.017 | | max | 325.924-325.927=-0.003 |
| | mean | 2830.000-2835.000=-5.000 | | σ | 0.000 | | min | 2830.000-2835.000=-5.000 | | max | 2830.000-2835.000=-5.000 |
| | mean | 0.430-0.426=0.004 | | σ | 0.012-0.007=0.005 | | min | 0.424-0.419=0.005 | | max | 0.451-0.437=0.014 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.061-1988.065=-0.004 | | σ | 0.016-0.010=0.006 | | min | 1988.039-1988.054=-0.015 | | max | 1988.074-1988.079=-0.006 |
| | mean | 2830.000-2835.000=-5.000 | | σ | 0.000 | | min | 2830.000-2835.000=-5.000 | | max | 2830.000-2835.000=-5.000 |
| | mean | 2.635-2.650=-0.015 | | σ | 0.152-0.099=0.053 | | min | 2.408-2.563=-0.155 | | max | 2.823-2.816=0.007 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4811.745-4811.883=-0.138 | | σ | 7.815-7.711=0.104 | | min | 4807.748-4808.273=-0.526 | | max | 4825.714-4825.674=0.040 |
| | mean | 2830.000-2835.000=-5.000 | | σ | 0.000 | | min | 2830.000-2835.000=-5.000 | | max | 2830.000-2835.000=-5.000 |
| | mean | 8.473-8.329=0.144 | | σ | 0.710-0.744=-0.035 | | min | 7.700-7.698=0.002 | | max | 9.296-9.231=0.065 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4999.390-4999.169=0.221 | | σ | 0.043-0.202=-0.159 | | min | 4999.337-4998.998=0.339 | | max | 4999.450-4999.399=0.051 |
| | mean | 3039.400-3038.000=1.400 | | σ | 284.527-253.026=31.502 | | min | 2830.000-2835.000=-5.000 | | max | 3480.000-3412.000=68.000 |
| | mean | 9.626-9.695=-0.070 | | σ | 0.754-0.263=0.491 | | min | 8.519-9.270=-0.751 | | max | 10.524-9.987=0.537 |
|