iters=5 new-facts=1 prior-facts=1 | | mean | 304.131-304.122=0.009 | | σ | 0.037-0.054=-0.017 | | min | 304.084-304.041=0.043 | | max | 304.178-304.180=-0.002 |
| | mean | 1522.000-1628.000=-106.000 | | σ | 0.000 | | min | 1522.000-1628.000=-106.000 | | max | 1522.000-1628.000=-106.000 |
| | mean | 0.391-0.391=0.000 | | σ | 0.002-0.002=0.000 | | min | 0.389-0.388=0.000 | | max | 0.393-0.392=0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1326.666-1326.665=0.000 | | σ | 0.103-0.102=0.001 | | min | 1326.541-1326.533=0.007 | | max | 1326.797-1326.784=0.013 |
| | mean | 1522.000-1628.000=-106.000 | | σ | 0.000 | | min | 1522.000-1628.000=-106.000 | | max | 1522.000-1628.000=-106.000 |
| | mean | 1.882-1.923=-0.042 | | σ | 0.048-0.076=-0.028 | | min | 1.822-1.835=-0.013 | | max | 1.946-2.009=-0.063 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1564.724-1564.732=-0.008 | | σ | 6.905-6.900=0.005 | | min | 1561.442-1561.475=-0.033 | | max | 1577.071-1577.072=-0.000 |
| | mean | 1522.000-1628.000=-106.000 | | σ | 0.000 | | min | 1522.000-1628.000=-106.000 | | max | 1522.000-1628.000=-106.000 |
| | mean | 2.335-2.336=-0.001 | | σ | 0.298-0.302=-0.004 | | min | 2.063-2.047=0.015 | | max | 2.672-2.719=-0.047 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1894.611-1894.596=0.015 | | σ | 0.062-0.065=-0.003 | | min | 1894.502-1894.505=-0.003 | | max | 1894.652-1894.654=-0.002 |
| | mean | 1741.000-1770.400=-29.400 | | σ | 218.554-173.290=45.265 | | min | 1522.000-1628.000=-106.000 | | max | 2040.000-2037.000=3.000 |
| | mean | 3.029-2.913=0.116 | | σ | 0.195-0.170=0.025 | | min | 2.878-2.692=0.186 | | max | 3.325-3.170=0.155 |
|