iters=5 new-facts=1 prior-facts=1 | | mean | 297.310-297.318=-0.008 | | σ | 0.014-0.007=0.007 | | min | 297.285-297.310=-0.025 | | max | 297.322-297.328=-0.007 |
| | mean | 1520.000-1535.000=-15.000 | | σ | 0.000 | | min | 1520.000-1535.000=-15.000 | | max | 1520.000-1535.000=-15.000 |
| | mean | 0.386-0.387=-0.002 | | σ | 0.006-0.003=0.003 | | min | 0.381-0.385=-0.004 | | max | 0.395-0.391=0.004 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1298.997-1299.036=-0.039 | | σ | 0.086-0.050=0.035 | | min | 1298.845-1298.948=-0.103 | | max | 1299.052-1299.071=-0.019 |
| | mean | 1520.000-1535.000=-15.000 | | σ | 0.000 | | min | 1520.000-1535.000=-15.000 | | max | 1520.000-1535.000=-15.000 |
| | mean | 1.890-1.859=0.031 | | σ | 0.045-0.031=0.014 | | min | 1.816-1.837=-0.021 | | max | 1.936-1.900=0.035 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1719.176-1719.187=-0.011 | | σ | 6.886-6.914=-0.028 | | min | 1715.996-1715.999=-0.003 | | max | 1731.491-1731.553=-0.062 |
| | mean | 1520.000-1535.000=-15.000 | | σ | 0.000 | | min | 1520.000-1535.000=-15.000 | | max | 1520.000-1535.000=-15.000 |
| | mean | 3.024-2.893=0.131 | | σ | 0.194-0.400=-0.206 | | min | 2.855-2.511=0.345 | | max | 3.344-3.566=-0.222 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1981.954-1981.931=0.023 | | σ | 0.011-0.056=-0.045 | | min | 1981.946-1981.878=0.068 | | max | 1981.973-1982.014=-0.041 |
| | mean | 1797.600-1790.800=6.800 | | σ | 242.211-206.649=35.563 | | min | 1520.000-1546.000=-26.000 | | max | 2104.000-2077.000=27.000 |
| | mean | 3.163-3.353=-0.191 | | σ | 0.077-0.363=-0.286 | | min | 3.032-3.113=-0.080 | | max | 3.237-3.995=-0.758 |
|