iters=5 new-facts=1 prior-facts=1 | | mean | 273.609-273.501=0.108 | | σ | 0.006-0.005=0.001 | | min | 273.599-273.493=0.107 | | max | 273.615-273.506=0.109 |
| | mean | 2839.000-2620.000=219.000 | | σ | 0.000 | | min | 2839.000-2620.000=219.000 | | max | 2839.000-2620.000=219.000 |
| | mean | 0.385-0.378=0.007 | | σ | 0.009-0.004=0.005 | | min | 0.379-0.376=0.003 | | max | 0.402-0.386=0.016 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1934.007-1933.892=0.115 | | σ | 0.013-0.005=0.008 | | min | 1933.989-1933.883=0.105 | | max | 1934.021-1933.896=0.125 |
| | mean | 2839.000-2620.000=219.000 | | σ | 0.000 | | min | 2839.000-2620.000=219.000 | | max | 2839.000-2620.000=219.000 |
| | mean | 2.994-3.035=-0.041 | | σ | 0.343-0.137=0.205 | | min | 2.632-2.820=-0.188 | | max | 3.446-3.158=0.288 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.664-4613.988=140.676 | | σ | 0.907-314.468=-313.561 | | min | 4753.950-4051.453=702.497 | | max | 4756.249-4756.134=0.115 |
| | mean | 2839.000-2620.000=219.000 | | σ | 0.000 | | min | 2839.000-2620.000=219.000 | | max | 2839.000-2620.000=219.000 |
| | mean | 8.509-8.081=0.429 | | σ | 0.541-0.725=-0.184 | | min | 7.617-7.000=0.617 | | max | 8.960-8.942=0.019 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4945.224-4945.056=0.168 | | σ | 0.017-0.173=-0.156 | | min | 4945.208-4944.747=0.461 | | max | 4945.244-4945.160=0.084 |
| | mean | 3059.600-3014.000=45.600 | | σ | 189.629-378.325=-188.695 | | min | 2839.000-2620.000=219.000 | | max | 3325.000-3543.000=-218.000 |
| | mean | 8.605-8.815=-0.210 | | σ | 0.209-0.366=-0.157 | | min | 8.430-8.538=-0.108 | | max | 8.923-9.448=-0.525 |
|