iters=5 new-facts=1 prior-facts=1 | | mean | 285.436-285.393=0.043 | | σ | 0.012-0.013=-0.001 | | min | 285.423-285.372=0.051 | | max | 285.451-285.405=0.046 |
| | mean | 1534.000-1639.000=-105.000 | | σ | 0.000 | | min | 1534.000-1639.000=-105.000 | | max | 1534.000-1639.000=-105.000 |
| | mean | 0.379-0.378=0.001 | | σ | 0.005-0.008=-0.003 | | min | 0.375-0.374=0.002 | | max | 0.388-0.392=-0.004 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.465-1285.347=0.118 | | σ | 0.073-0.107=-0.034 | | min | 1285.357-1285.290=0.067 | | max | 1285.537-1285.538=-0.002 |
| | mean | 1534.000-1639.000=-105.000 | | σ | 0.000 | | min | 1534.000-1639.000=-105.000 | | max | 1534.000-1639.000=-105.000 |
| | mean | 1.883-2.002=-0.119 | | σ | 0.181-0.254=-0.074 | | min | 1.687-1.773=-0.085 | | max | 2.170-2.381=-0.210 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1705.829-1807.690=-101.861 | | σ | 6.849-7.001=-0.152 | | min | 1702.644-1804.333=-101.688 | | max | 1718.078-1820.199=-102.121 |
| | mean | 1534.000-1639.000=-105.000 | | σ | 0.000 | | min | 1534.000-1639.000=-105.000 | | max | 1534.000-1639.000=-105.000 |
| | mean | 2.913-4.187=-1.275 | | σ | 0.258-0.200=0.058 | | min | 2.560-3.861=-1.302 | | max | 3.177-4.385=-1.208 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1968.451-2070.176=-101.725 | | σ | 0.015-0.010=0.005 | | min | 1968.436-2070.168=-101.732 | | max | 1968.471-2070.193=-101.722 |
| | mean | 1855.200-1837.000=18.200 | | σ | 233.318-169.663=63.655 | | min | 1567.000-1639.000=-72.000 | | max | 2139.000-2073.000=66.000 |
| | mean | 3.264-4.557=-1.293 | | σ | 0.112-0.127=-0.015 | | min | 3.148-4.459=-1.311 | | max | 3.429-4.776=-1.347 |
|