iters=5 new-facts=1 prior-facts=1 | | mean | 297.322-297.316=0.006 | | σ | 0.007-0.003=0.004 | | min | 297.312-297.312=-0.000 | | max | 297.329-297.319=0.010 |
| | mean | 1516.000-1632.000=-116.000 | | σ | 0.000 | | min | 1516.000-1632.000=-116.000 | | max | 1516.000-1632.000=-116.000 |
| | mean | 0.389-0.388=0.000 | | σ | 0.002-0.000=0.001 | | min | 0.387-0.388=-0.001 | | max | 0.391-0.389=0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1299.014-1299.020=-0.005 | | σ | 0.096-0.069=0.028 | | min | 1298.842-1298.902=-0.060 | | max | 1299.066-1299.067=-0.001 |
| | mean | 1516.000-1632.000=-116.000 | | σ | 0.000 | | min | 1516.000-1632.000=-116.000 | | max | 1516.000-1632.000=-116.000 |
| | mean | 2.078-1.916=0.161 | | σ | 0.257-0.118=0.139 | | min | 1.853-1.833=0.019 | | max | 2.494-2.124=0.370 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1719.178-1719.185=-0.007 | | σ | 6.923-6.860=0.062 | | min | 1715.939-1715.996=-0.057 | | max | 1731.558-1731.454=0.104 |
| | mean | 1516.000-1632.000=-116.000 | | σ | 0.000 | | min | 1516.000-1632.000=-116.000 | | max | 1516.000-1632.000=-116.000 |
| | mean | 3.118-2.943=0.175 | | σ | 0.351-0.252=0.099 | | min | 2.753-2.602=0.151 | | max | 3.657-3.214=0.443 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1981.929-1981.915=0.014 | | σ | 0.041-0.029=0.012 | | min | 1981.858-1981.869=-0.011 | | max | 1981.955-1981.941=0.014 |
| | mean | 1799.800-1803.000=-3.200 | | σ | 229.172-200.858=28.314 | | min | 1537.000-1632.000=-95.000 | | max | 2117.000-2101.000=16.000 |
| | mean | 3.291-3.405=-0.114 | | σ | 0.398-0.392=0.006 | | min | 3.014-3.091=-0.077 | | max | 3.992-4.077=-0.085 |
|