iters=5 new-facts=1 prior-facts=1 | | mean | 278.792-278.791=0.001 | | σ | 0.007-0.005=0.002 | | min | 278.785-278.787=-0.001 | | max | 278.802-278.799=0.003 |
| | mean | 2732.000-2705.000=27.000 | | σ | 0.000 | | min | 2732.000-2705.000=27.000 | | max | 2732.000-2705.000=27.000 |
| | mean | 0.411-0.408=0.003 | | σ | 0.006-0.005=0.001 | | min | 0.406-0.404=0.002 | | max | 0.419-0.417=0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.856-2268.857=-0.001 | | σ | 0.009-0.008=0.001 | | min | 2268.849-2268.848=0.001 | | max | 2268.871-2268.867=0.004 |
| | mean | 2732.000-2705.000=27.000 | | σ | 0.000 | | min | 2732.000-2705.000=27.000 | | max | 2732.000-2705.000=27.000 |
| | mean | 3.061-3.053=0.008 | | σ | 0.216-0.154=0.061 | | min | 2.853-2.901=-0.048 | | max | 3.339-3.234=0.105 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4954.015-4954.248=-0.233 | | σ | 1.125-0.915=0.210 | | min | 4952.796-4953.632=-0.836 | | max | 4955.859-4955.864=-0.005 |
| | mean | 2732.000-2705.000=27.000 | | σ | 0.000 | | min | 2732.000-2705.000=27.000 | | max | 2732.000-2705.000=27.000 |
| | mean | 8.009-8.013=-0.004 | | σ | 0.383-0.411=-0.027 | | min | 7.678-7.730=-0.052 | | max | 8.666-8.728=-0.062 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5168.801-5168.795=0.006 | | σ | 0.095-0.096=-0.001 | | min | 5168.697-5168.689=0.008 | | max | 5168.913-5168.894=0.019 |
| | mean | 3480.200-3324.800=155.400 | | σ | 507.847-400.169=107.678 | | min | 2851.000-2930.000=-79.000 | | max | 4181.000-3730.000=451.000 |
| | mean | 9.521-9.168=0.354 | | σ | 0.578-0.611=-0.033 | | min | 9.112-8.584=0.528 | | max | 10.540-10.039=0.501 |
|