iters=5 new-facts=1 prior-facts=1 | | mean | 281.492-297.304=-15.812 | | σ | 0.034-0.013=0.021 | | min | 281.444-297.292=-15.848 | | max | 281.525-297.325=-15.800 |
| | mean | 1631.000-1513.000=118.000 | | σ | 0.000 | | min | 1631.000-1513.000=118.000 | | max | 1631.000-1513.000=118.000 |
| | mean | 0.387-0.392=-0.005 | | σ | 0.006-0.004=0.003 | | min | 0.378-0.389=-0.012 | | max | 0.394-0.398=-0.005 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1291.478-1299.016=-7.538 | | σ | 0.110-0.056=0.054 | | min | 1291.355-1298.928=-7.574 | | max | 1291.606-1299.064=-7.458 |
| | mean | 1631.000-1513.000=118.000 | | σ | 0.000 | | min | 1631.000-1513.000=118.000 | | max | 1631.000-1513.000=118.000 |
| | mean | 1.921-2.081=-0.160 | | σ | 0.111-0.224=-0.113 | | min | 1.794-1.848=-0.054 | | max | 2.065-2.368=-0.303 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1534.331-1719.188=-184.856 | | σ | 4.059-6.894=-2.835 | | min | 1532.294-1716.007=-183.713 | | max | 1541.582-1731.517=-189.936 |
| | mean | 1631.000-1513.000=118.000 | | σ | 0.000 | | min | 1631.000-1513.000=118.000 | | max | 1631.000-1513.000=118.000 |
| | mean | 2.365-2.996=-0.631 | | σ | 0.343-0.283=0.060 | | min | 2.019-2.630=-0.611 | | max | 2.852-3.343=-0.491 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1853.357-1981.921=-128.564 | | σ | 0.049-0.035=0.014 | | min | 1853.303-1981.860=-128.557 | | max | 1853.424-1981.947=-128.523 |
| | mean | 1782.400-1795.600=-13.200 | | σ | 177.765-229.598=-51.833 | | min | 1631.000-1534.000=97.000 | | max | 2038.000-2110.000=-72.000 |
| | mean | 2.878-3.351=-0.472 | | σ | 0.049-0.368=-0.319 | | min | 2.841-3.091=-0.250 | | max | 2.962-4.000=-1.039 |
|