iters=5 new-facts=1 prior-facts=1 | | mean | 326.628-326.577=0.051 | | σ | 0.058-0.048=0.010 | | min | 326.525-326.492=0.033 | | max | 326.660-326.608=0.052 |
| | mean | 2617.000-2834.000=-217.000 | | σ | 0.000 | | min | 2617.000-2834.000=-217.000 | | max | 2617.000-2834.000=-217.000 |
| | mean | 0.426-0.430=-0.003 | | σ | 0.004-0.005=-0.001 | | min | 0.422-0.426=-0.004 | | max | 0.433-0.437=-0.004 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.799-1848.406=140.393 | | σ | 0.011-313.818=-313.807 | | min | 1988.787-1287.030=701.756 | | max | 1988.813-1988.769=0.044 |
| | mean | 2617.000-2834.000=-217.000 | | σ | 0.000 | | min | 2617.000-2834.000=-217.000 | | max | 2617.000-2834.000=-217.000 |
| | mean | 2.674-2.480=0.194 | | σ | 0.053-0.458=-0.405 | | min | 2.624-1.708=0.916 | | max | 2.745-2.866=-0.121 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.602-4813.617=-0.016 | | σ | 7.773-7.750=0.024 | | min | 4809.734-4810.071=-0.337 | | max | 4827.500-4827.479=0.021 |
| | mean | 2617.000-2834.000=-217.000 | | σ | 0.000 | | min | 2617.000-2834.000=-217.000 | | max | 2617.000-2834.000=-217.000 |
| | mean | 8.252-8.646=-0.394 | | σ | 0.621-0.638=-0.017 | | min | 7.833-7.682=0.151 | | max | 9.314-9.347=-0.033 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.199-5001.141=0.058 | | σ | 0.022-0.028=-0.006 | | min | 5001.173-5001.103=0.070 | | max | 5001.224-5001.171=0.053 |
| | mean | 2970.600-2996.200=-25.600 | | σ | 388.440-167.727=220.713 | | min | 2617.000-2834.000=-217.000 | | max | 3516.000-3233.000=283.000 |
| | mean | 9.550-9.731=-0.181 | | σ | 0.281-0.185=0.096 | | min | 9.279-9.560=-0.281 | | max | 9.956-10.028=-0.072 |
|