iters=5 new-facts=1 prior-facts=1 | | mean | 325.327-325.323=0.004 | | σ | 0.036-0.045=-0.009 | | min | 325.264-325.243=0.021 | | max | 325.354-325.350=0.004 |
| | mean | 2865.000-2731.000=134.000 | | σ | 0.000 | | min | 2865.000-2731.000=134.000 | | max | 2865.000-2731.000=134.000 |
| | mean | 0.426-0.431=-0.005 | | σ | 0.002-0.007=-0.005 | | min | 0.423-0.424=-0.001 | | max | 0.430-0.440=-0.010 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.880-1985.878=0.002 | | σ | 0.005-0.009=-0.004 | | min | 1985.874-1985.863=0.011 | | max | 1985.886 |
| | mean | 2865.000-2731.000=134.000 | | σ | 0.000 | | min | 2865.000-2731.000=134.000 | | max | 2865.000-2731.000=134.000 |
| | mean | 2.709-2.682=0.028 | | σ | 0.108-0.052=0.056 | | min | 2.651-2.613=0.038 | | max | 2.901-2.735=0.166 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4809.642-4809.524=0.119 | | σ | 7.688-7.746=-0.058 | | min | 4806.150-4805.668=0.482 | | max | 4823.396-4823.374=0.021 |
| | mean | 2865.000-2731.000=134.000 | | σ | 0.000 | | min | 2865.000-2731.000=134.000 | | max | 2865.000-2731.000=134.000 |
| | mean | 9.008-8.839=0.169 | | σ | 0.302-0.169=0.134 | | min | 8.716-8.637=0.079 | | max | 9.478-8.966=0.512 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4997.044-4997.182=-0.138 | | σ | 0.330-0.021=0.309 | | min | 4996.454-4997.159=-0.705 | | max | 4997.215-4997.210=0.005 |
| | mean | 3100.400-3025.800=74.600 | | σ | 245.939-267.057=-21.118 | | min | 2865.000-2731.000=134.000 | | max | 3355.000-3389.000=-34.000 |
| | mean | 9.038-8.650=0.388 | | σ | 0.534-0.212=0.323 | | min | 8.457-8.474=-0.017 | | max | 9.818-9.001=0.817 |
|