iters=5 new-facts=1 prior-facts=1 | | mean | 300.687-285.663=15.024 | | σ | 0.042-0.017=0.024 | | min | 300.615-285.646=14.969 | | max | 300.720-285.690=15.030 |
| | mean | 1514.000-1591.000=-77.000 | | σ | 0.000 | | min | 1514.000-1591.000=-77.000 | | max | 1514.000-1591.000=-77.000 |
| | mean | 0.397-0.377=0.020 | | σ | 0.006-0.003=0.004 | | min | 0.390-0.375=0.015 | | max | 0.404-0.381=0.023 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1322.879-1285.644=37.235 | | σ | 0.077-0.137=-0.061 | | min | 1322.812-1285.576=37.236 | | max | 1322.964-1285.889=37.075 |
| | mean | 1514.000-1591.000=-77.000 | | σ | 0.000 | | min | 1514.000-1591.000=-77.000 | | max | 1514.000-1591.000=-77.000 |
| | mean | 2.067-1.950=0.117 | | σ | 0.214-0.148=0.067 | | min | 1.831-1.838=-0.007 | | max | 2.236-2.189=0.047 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1561.377-1807.992=-246.615 | | σ | 6.842-7.001=-0.159 | | min | 1558.203-1804.651=-246.448 | | max | 1573.614-1820.501=-246.887 |
| | mean | 1514.000-1591.000=-77.000 | | σ | 0.000 | | min | 1514.000-1591.000=-77.000 | | max | 1514.000-1591.000=-77.000 |
| | mean | 2.381-4.235=-1.854 | | σ | 0.286-0.200=0.086 | | min | 2.149-3.971=-1.823 | | max | 2.715-4.533=-1.818 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1890.783-2070.466=-179.683 | | σ | 0.026-0.011=0.015 | | min | 1890.747-2070.452=-179.706 | | max | 1890.816-2070.482=-179.666 |
| | mean | 1731.000-1827.400=-96.400 | | σ | 211.258-183.360=27.898 | | min | 1514.000-1603.000=-89.000 | | max | 2026.000-2070.000=-44.000 |
| | mean | 2.915-4.526=-1.611 | | σ | 0.103-0.050=0.054 | | min | 2.857-4.457=-1.600 | | max | 3.099-4.574=-1.475 |
|