iters=5 new-facts=1 prior-facts=1 | | mean | 282.193-282.191=0.001 | | σ | 0.010-0.008=0.002 | | min | 282.185-282.185=-0.000 | | max | 282.206-282.205=0.001 |
| | mean | 2719.000-2646.000=73.000 | | σ | 0.000 | | min | 2719.000-2646.000=73.000 | | max | 2719.000-2646.000=73.000 |
| | mean | 0.397-0.408=-0.011 | | σ | 0.001-0.004=-0.002 | | min | 0.395-0.405=-0.010 | | max | 0.399-0.414=-0.015 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2174.711-2174.720=-0.009 | | σ | 0.013-0.007=0.006 | | min | 2174.693-2174.709=-0.016 | | max | 2174.728-2174.727=0.001 |
| | mean | 2719.000-2646.000=73.000 | | σ | 0.000 | | min | 2719.000-2646.000=73.000 | | max | 2719.000-2646.000=73.000 |
| | mean | 2.969-3.004=-0.035 | | σ | 0.100-0.154=-0.055 | | min | 2.809-2.814=-0.005 | | max | 3.067-3.128=-0.062 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5054.549-5054.551=-0.001 | | σ | 0.979-0.941=0.037 | | min | 5053.962-5053.978=-0.016 | | max | 5056.292-5056.226=0.066 |
| | mean | 2719.000-2646.000=73.000 | | σ | 0.000 | | min | 2719.000-2646.000=73.000 | | max | 2719.000-2646.000=73.000 |
| | mean | 8.928-8.680=0.248 | | σ | 0.628-0.567=0.061 | | min | 8.063-7.928=0.134 | | max | 9.688-9.391=0.297 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5185.681-5185.598=0.083 | | σ | 0.078-0.213=-0.135 | | min | 5185.616-5185.235=0.381 | | max | 5185.781-5185.753=0.029 |
| | mean | 3304.200-3224.200=80.000 | | σ | 443.498-389.390=54.108 | | min | 2719.000-2688.000=31.000 | | max | 3730.000-3711.000=19.000 |
| | mean | 10.079-9.799=0.280 | | σ | 0.289-0.236=0.053 | | min | 9.700-9.610=0.090 | | max | 10.451-10.140=0.311 |
|