iters=5 new-facts=1 prior-facts=1 | | mean | 294.673-297.320=-2.647 | | σ | 0.014-0.007=0.007 | | min | 294.656-297.315=-2.658 | | max | 294.695-297.332=-2.637 |
| | mean | 1653.000-1513.000=140.000 | | σ | 0.000 | | min | 1653.000-1513.000=140.000 | | max | 1653.000-1513.000=140.000 |
| | mean | 0.380-0.386=-0.006 | | σ | 0.002-0.001=0.000 | | min | 0.378-0.384=-0.006 | | max | 0.382-0.388=-0.006 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1316.931-1298.981=17.950 | | σ | 0.088-0.087=0.002 | | min | 1316.882-1298.844=18.039 | | max | 1317.089-1299.056=18.033 |
| | mean | 1653.000-1513.000=140.000 | | σ | 0.000 | | min | 1653.000-1513.000=140.000 | | max | 1653.000-1513.000=140.000 |
| | mean | 1.936-1.936=-0.001 | | σ | 0.087-0.034=0.053 | | min | 1.866-1.903=-0.037 | | max | 2.070-1.982=0.088 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1555.326-1719.181=-163.855 | | σ | 6.867-6.916=-0.049 | | min | 1552.051-1715.961=-163.910 | | max | 1567.606-1731.549=-163.944 |
| | mean | 1653.000-1513.000=140.000 | | σ | 0.000 | | min | 1653.000-1513.000=140.000 | | max | 1653.000-1513.000=140.000 |
| | mean | 2.417-3.100=-0.683 | | σ | 0.350-0.415=-0.065 | | min | 2.078-2.586=-0.508 | | max | 2.878-3.642=-0.764 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1884.771-1981.910=-97.139 | | σ | 0.032-0.038=-0.005 | | min | 1884.742-1981.860=-97.119 | | max | 1884.826-1981.943=-97.117 |
| | mean | 1782.600-1777.800=4.800 | | σ | 163.899-203.909=-40.010 | | min | 1653.000-1513.000=140.000 | | max | 2043.000-2033.000=10.000 |
| | mean | 2.964-3.143=-0.178 | | σ | 0.106-0.079=0.027 | | min | 2.871-3.031=-0.160 | | max | 3.102-3.243=-0.141 |
|