iters=5 new-facts=1 prior-facts=1 | | mean | 278.828-278.822=0.006 | | σ | 0.004-0.008=-0.003 | | min | 278.822-278.814=0.009 | | max | 278.833-278.835=-0.001 |
| | mean | 2694.000-2847.000=-153.000 | | σ | 0.000 | | min | 2694.000-2847.000=-153.000 | | max | 2694.000-2847.000=-153.000 |
| | mean | 0.411-0.413=-0.001 | | σ | 0.006-0.004=0.002 | | min | 0.407-0.408=-0.001 | | max | 0.418-0.417=0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.868-2268.879=-0.011 | | σ | 0.059-0.006=0.052 | | min | 2268.766-2268.870=-0.104 | | max | 2268.910-2268.886=0.024 |
| | mean | 2694.000-2847.000=-153.000 | | σ | 0.000 | | min | 2694.000-2847.000=-153.000 | | max | 2694.000-2847.000=-153.000 |
| | mean | 3.067-2.924=0.143 | | σ | 0.171-0.104=0.066 | | min | 2.892-2.852=0.040 | | max | 3.310-3.108=0.202 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4954.186-4954.303=-0.117 | | σ | 1.039-0.902=0.138 | | min | 4953.258-4953.751=-0.493 | | max | 4955.958-4955.903=0.055 |
| | mean | 2694.000-2847.000=-153.000 | | σ | 0.000 | | min | 2694.000-2847.000=-153.000 | | max | 2694.000-2847.000=-153.000 |
| | mean | 7.994-7.916=0.078 | | σ | 0.422-0.282=0.140 | | min | 7.645-7.705=-0.060 | | max | 8.711-8.405=0.306 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5168.827-5168.752=0.075 | | σ | 0.090-0.135=-0.045 | | min | 5168.728-5168.550=0.178 | | max | 5168.906-5168.877=0.029 |
| | mean | 3436.800-3392.400=44.400 | | σ | 473.191-439.040=34.151 | | min | 2885.000-2847.000=38.000 | | max | 4123.000-3998.000=125.000 |
| | mean | 9.369-9.237=0.132 | | σ | 0.355-0.203=0.151 | | min | 9.081-9.007=0.073 | | max | 9.844-9.545=0.299 |
|