iters=5 new-facts=1 prior-facts=1 | | mean | 277.193-277.197=-0.004 | | σ | 0.004-0.007=-0.002 | | min | 277.187-277.189=-0.002 | | max | 277.199-277.204=-0.005 |
| | mean | 2664.000-2609.000=55.000 | | σ | 0.000 | | min | 2664.000-2609.000=55.000 | | max | 2664.000-2609.000=55.000 |
| | mean | 0.402-0.407=-0.005 | | σ | 0.003-0.009=-0.006 | | min | 0.399-0.401=-0.002 | | max | 0.406-0.418=-0.012 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2174.431-2174.402=0.028 | | σ | 0.023-0.052=-0.030 | | min | 2174.399-2174.310=0.088 | | max | 2174.456-2174.434=0.022 |
| | mean | 2664.000-2609.000=55.000 | | σ | 0.000 | | min | 2664.000-2609.000=55.000 | | max | 2664.000-2609.000=55.000 |
| | mean | 2.936-2.829=0.107 | | σ | 0.129-0.100=0.029 | | min | 2.740-2.740=-0.001 | | max | 3.035-3.000=0.035 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5052.611-5052.652=-0.041 | | σ | 1.006-0.995=0.011 | | min | 5051.994-5052.093=-0.099 | | max | 5054.392-5054.419=-0.027 |
| | mean | 2664.000-2609.000=55.000 | | σ | 0.000 | | min | 2664.000-2609.000=55.000 | | max | 2664.000-2609.000=55.000 |
| | mean | 9.075-8.642=0.434 | | σ | 0.720-0.647=0.072 | | min | 7.854-8.095=-0.241 | | max | 9.689-9.707=-0.018 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5188.354-5188.347=0.008 | | σ | 0.212-0.208=0.005 | | min | 5188.001-5188.005=-0.004 | | max | 5188.525-5188.515=0.010 |
| | mean | 3226.000-3230.800=-4.800 | | σ | 365.849-538.200=-172.351 | | min | 2696.000-2609.000=87.000 | | max | 3682.000-3961.000=-279.000 |
| | mean | 8.987-8.843=0.143 | | σ | 0.445-0.224=0.221 | | min | 8.653-8.625=0.028 | | max | 9.745-9.211=0.534 |
|