iters=5 new-facts=1 prior-facts=1 | | mean | 275.565-275.570=-0.005 | | σ | 0.006-0.004=0.002 | | min | 275.559-275.566=-0.007 | | max | 275.573-275.575=-0.002 |
| | mean | 2843.000-2775.000=68.000 | | σ | 0.000 | | min | 2843.000-2775.000=68.000 | | max | 2843.000-2775.000=68.000 |
| | mean | 0.387-0.392=-0.005 | | σ | 0.002-0.008=-0.006 | | min | 0.384-0.382=0.003 | | max | 0.389-0.399=-0.010 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.090-2168.089=0.001 | | σ | 0.022-0.020=0.002 | | min | 2168.059-2168.070=-0.011 | | max | 2168.117-2168.114=0.003 |
| | mean | 2843.000-2775.000=68.000 | | σ | 0.000 | | min | 2843.000-2775.000=68.000 | | max | 2843.000-2775.000=68.000 |
| | mean | 2.844-2.980=-0.136 | | σ | 0.129-0.139=-0.010 | | min | 2.673-2.752=-0.079 | | max | 2.995-3.093=-0.098 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5047.949-5047.892=0.057 | | σ | 0.923-0.882=0.041 | | min | 5047.372-5047.340=0.032 | | max | 5049.590-5049.449=0.142 |
| | mean | 2843.000-2775.000=68.000 | | σ | 0.000 | | min | 2843.000-2775.000=68.000 | | max | 2843.000-2775.000=68.000 |
| | mean | 8.872-8.843=0.029 | | σ | 0.641-0.479=0.162 | | min | 8.091-8.083=0.008 | | max | 9.533-9.295=0.238 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.048-5179.055=-0.007 | | σ | 0.095-0.089=0.006 | | min | 5178.958-5178.968=-0.010 | | max | 5179.154-5179.150=0.003 |
| | mean | 3283.000-3326.400=-43.400 | | σ | 392.859-393.420=-0.561 | | min | 2843.000-2775.000=68.000 | | max | 3848.000-3684.000=164.000 |
| | mean | 9.712-10.120=-0.407 | | σ | 0.588-0.331=0.257 | | min | 8.795-9.665=-0.870 | | max | 10.177-10.566=-0.389 |
|