iters=5 new-facts=1 prior-facts=1 | | mean | 270.146-270.140=0.005 | | σ | 0.005-0.006=-0.001 | | min | 270.141-270.136=0.005 | | max | 270.151-270.150=0.001 |
| | mean | 2491.000-2769.000=-278.000 | | σ | 0.000 | | min | 2491.000-2769.000=-278.000 | | max | 2491.000-2769.000=-278.000 |
| | mean | 0.379-0.380=-0.002 | | σ | 0.002-0.002=-0.000 | | min | 0.375-0.378=-0.002 | | max | 0.380-0.382=-0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.596-1930.606=-0.010 | | σ | 0.013-0.004=0.009 | | min | 1930.579-1930.602=-0.022 | | max | 1930.614-1930.611=0.003 |
| | mean | 2491.000-2769.000=-278.000 | | σ | 0.000 | | min | 2491.000-2769.000=-278.000 | | max | 2491.000-2769.000=-278.000 |
| | mean | 2.549-2.532=0.017 | | σ | 0.088-0.088=0.001 | | min | 2.486-2.453=0.033 | | max | 2.694-2.680=0.014 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.209-4751.300=-0.091 | | σ | 1.032-0.915=0.117 | | min | 4750.235-4750.820=-0.585 | | max | 4752.966-4752.929=0.038 |
| | mean | 2491.000-2769.000=-278.000 | | σ | 0.000 | | min | 2491.000-2769.000=-278.000 | | max | 2491.000-2769.000=-278.000 |
| | mean | 8.570-8.489=0.081 | | σ | 0.622-0.588=0.034 | | min | 7.610-7.717=-0.107 | | max | 9.182-9.017=0.165 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.772-4941.702=0.070 | | σ | 0.016-0.143=-0.127 | | min | 4941.757-4941.446=0.310 | | max | 4941.789-4941.779=0.010 |
| | mean | 2935.200-3016.400=-81.200 | | σ | 306.318-231.103=75.215 | | min | 2491.000-2769.000=-278.000 | | max | 3306.000-3320.000=-14.000 |
| | mean | 8.489-8.581=-0.091 | | σ | 0.063-0.204=-0.141 | | min | 8.440-8.408=0.032 | | max | 8.590-8.918=-0.327 |
|