iters=5 new-facts=1 prior-facts=1 | | mean | 324.683-275.565=49.118 | | σ | 0.041-0.006=0.035 | | min | 324.611-275.559=49.053 | | max | 324.708-275.573=49.135 |
| | mean | 2840.000-2843.000=-3.000 | | σ | 0.000 | | min | 2840.000-2843.000=-3.000 | | max | 2840.000-2843.000=-3.000 |
| | mean | 0.430-0.387=0.043 | | σ | 0.007-0.002=0.006 | | min | 0.423-0.384=0.039 | | max | 0.440-0.389=0.051 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.261-2168.090=-182.829 | | σ | 0.015-0.022=-0.008 | | min | 1985.244-2168.059=-182.815 | | max | 1985.273-2168.117=-182.844 |
| | mean | 2840.000-2843.000=-3.000 | | σ | 0.000 | | min | 2840.000-2843.000=-3.000 | | max | 2840.000-2843.000=-3.000 |
| | mean | 2.659-2.844=-0.185 | | σ | 0.146-0.129=0.017 | | min | 2.520-2.673=-0.153 | | max | 2.855-2.995=-0.139 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.898-5047.949=-239.051 | | σ | 7.688-0.923=6.766 | | min | 4805.396-5047.372=-241.976 | | max | 4822.651-5049.590=-226.939 |
| | mean | 2840.000-2843.000=-3.000 | | σ | 0.000 | | min | 2840.000-2843.000=-3.000 | | max | 2840.000-2843.000=-3.000 |
| | mean | 9.109-8.872=0.236 | | σ | 0.292-0.641=-0.349 | | min | 8.673-8.091=0.582 | | max | 9.362-9.533=-0.171 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.469-5179.048=-182.579 | | σ | 0.009-0.095=-0.087 | | min | 4996.458-5178.958=-182.500 | | max | 4996.480-5179.154=-182.674 |
| | mean | 3041.800-3283.000=-241.200 | | σ | 203.884-392.859=-188.975 | | min | 2840.000-2843.000=-3.000 | | max | 3319.000-3848.000=-529.000 |
| | mean | 8.806-9.712=-0.906 | | σ | 0.247-0.588=-0.340 | | min | 8.501-8.795=-0.294 | | max | 9.144-10.177=-1.033 |
|