iters=5 new-facts=1 prior-facts=1 | | mean | 266.780-266.786=-0.005 | | σ | 0.006-0.008=-0.003 | | min | 266.774-266.773=0.001 | | max | 266.788-266.794=-0.006 |
| | mean | 2812.000-2479.000=333.000 | | σ | 0.000 | | min | 2812.000-2479.000=333.000 | | max | 2812.000-2479.000=333.000 |
| | mean | 0.365-0.378=-0.013 | | σ | 0.009-0.008=0.002 | | min | 0.356-0.374=-0.019 | | max | 0.380-0.392=-0.011 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1927.209-1927.210=-0.001 | | σ | 0.012-0.007=0.005 | | min | 1927.197-1927.201=-0.003 | | max | 1927.230-1927.220=0.010 |
| | mean | 2812.000-2479.000=333.000 | | σ | 0.000 | | min | 2812.000-2479.000=333.000 | | max | 2812.000-2479.000=333.000 |
| | mean | 2.988-3.095=-0.107 | | σ | 0.064-0.166=-0.102 | | min | 2.927-3.001=-0.074 | | max | 3.088-3.390=-0.301 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4747.668-4747.665=0.003 | | σ | 0.861-0.499=0.362 | | min | 4747.170-4747.381=-0.211 | | max | 4749.197-4748.549=0.648 |
| | mean | 2812.000-2479.000=333.000 | | σ | 0.000 | | min | 2812.000-2479.000=333.000 | | max | 2812.000-2479.000=333.000 |
| | mean | 8.685-7.928=0.757 | | σ | 0.478-0.363=0.115 | | min | 7.910-7.689=0.221 | | max | 9.127-8.566=0.561 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4938.167-4938.095=0.072 | | σ | 0.091-0.124=-0.033 | | min | 4938.097-4937.902=0.195 | | max | 4938.270-4938.247=0.022 |
| | mean | 3034.000-2940.600=93.400 | | σ | 221.011-402.633=-181.622 | | min | 2812.000-2479.000=333.000 | | max | 3326.000-3463.000=-137.000 |
| | mean | 8.562-8.536=0.026 | | σ | 0.187-0.335=-0.148 | | min | 8.367-8.339=0.027 | | max | 8.815-9.131=-0.316 |
|