iters=5 new-facts=1 prior-facts=1 | | mean | 297.316-297.306=0.010 | | σ | 0.003-0.017=-0.013 | | min | 297.312-297.280=0.031 | | max | 297.319-297.326=-0.007 |
| | mean | 1632.000-1628.000=4.000 | | σ | 0.000 | | min | 1632.000-1628.000=4.000 | | max | 1632.000-1628.000=4.000 |
| | mean | 0.388-0.395=-0.007 | | σ | 0.000-0.006=-0.005 | | min | 0.388-0.388=-0.000 | | max | 0.389-0.401=-0.012 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1299.020-1298.657=0.363 | | σ | 0.069-0.087=-0.018 | | min | 1298.902-1298.503=0.400 | | max | 1299.067-1298.709=0.358 |
| | mean | 1632.000-1628.000=4.000 | | σ | 0.000 | | min | 1632.000-1628.000=4.000 | | max | 1632.000-1628.000=4.000 |
| | mean | 1.916-1.958=-0.041 | | σ | 0.118-0.054=0.064 | | min | 1.833-1.887=-0.053 | | max | 2.124-2.009=0.115 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1719.185-1718.871=0.314 | | σ | 6.860-6.915=-0.055 | | min | 1715.996-1715.619=0.378 | | max | 1731.454-1731.236=0.218 |
| | mean | 1632.000-1628.000=4.000 | | σ | 0.000 | | min | 1632.000-1628.000=4.000 | | max | 1632.000-1628.000=4.000 |
| | mean | 2.943-3.068=-0.124 | | σ | 0.252-0.326=-0.074 | | min | 2.602-2.660=-0.058 | | max | 3.214-3.510=-0.296 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1981.915-1981.597=0.318 | | σ | 0.029-0.019=0.010 | | min | 1981.869-1981.565=0.304 | | max | 1981.941-1981.612=0.329 |
| | mean | 1803.000-1843.800=-40.800 | | σ | 200.858-203.486=-2.628 | | min | 1632.000-1628.000=4.000 | | max | 2101.000-2123.000=-22.000 |
| | mean | 3.405-3.133=0.272 | | σ | 0.392-0.083=0.309 | | min | 3.091-2.987=0.104 | | max | 4.077-3.195=0.882 |
|