iters=5 new-facts=1 prior-facts=1 | | mean | 274.364-273.607=0.757 | | σ | 0.014-0.009=0.005 | | min | 274.349-273.601=0.749 | | max | 274.384-273.622=0.762 |
| | mean | 2849.000-2732.000=117.000 | | σ | 0.000 | | min | 2849.000-2732.000=117.000 | | max | 2849.000-2732.000=117.000 |
| | mean | 0.386-0.385=0.002 | | σ | 0.005-0.006=-0.001 | | min | 0.383-0.380=0.002 | | max | 0.396-0.396=-0.000 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1934.757-1933.993=0.764 | | σ | 0.010-0.006=0.004 | | min | 1934.744-1933.987=0.757 | | max | 1934.770-1933.999=0.771 |
| | mean | 2849.000-2732.000=117.000 | | σ | 0.000 | | min | 2849.000-2732.000=117.000 | | max | 2849.000-2732.000=117.000 |
| | mean | 3.163-2.887=0.275 | | σ | 0.156-0.254=-0.099 | | min | 3.018-2.467=0.551 | | max | 3.392-3.109=0.284 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4755.279-4754.756=0.523 | | σ | 1.043-0.914=0.129 | | min | 4754.536-4754.248=0.288 | | max | 4757.078-4756.373=0.705 |
| | mean | 2849.000-2732.000=117.000 | | σ | 0.000 | | min | 2849.000-2732.000=117.000 | | max | 2849.000-2732.000=117.000 |
| | mean | 8.780-8.982=-0.202 | | σ | 0.243-0.440=-0.198 | | min | 8.508-8.273=0.236 | | max | 9.038-9.481=-0.443 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4945.977-4945.085=0.893 | | σ | 0.014-0.203=-0.189 | | min | 4945.960-4944.861=1.099 | | max | 4945.992-4945.239=0.752 |
| | mean | 3060.000-2972.200=87.800 | | σ | 272.310-219.062=53.248 | | min | 2849.000-2732.000=117.000 | | max | 3479.000-3285.000=194.000 |
| | mean | 8.425-8.514=-0.090 | | σ | 0.116-0.048=0.068 | | min | 8.333-8.454=-0.120 | | max | 8.627-8.555=0.072 |
|