iters=5 new-facts=1 prior-facts=1 | | mean | 271.595-271.599=-0.004 | | σ | 0.005-0.008=-0.003 | | min | 271.588-271.590=-0.001 | | max | 271.599-271.608=-0.009 |
| | mean | 2474.000-2495.000=-21.000 | | σ | 0.000 | | min | 2474.000-2495.000=-21.000 | | max | 2474.000-2495.000=-21.000 |
| | mean | 0.380-0.382=-0.001 | | σ | 0.003-0.005=-0.001 | | min | 0.377-0.379=-0.002 | | max | 0.385-0.390=-0.005 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.000-1931.990=0.010 | | σ | 0.011-0.018=-0.007 | | min | 1931.987-1931.962=0.025 | | max | 1932.012-1932.004=0.008 |
| | mean | 2474.000-2495.000=-21.000 | | σ | 0.000 | | min | 2474.000-2495.000=-21.000 | | max | 2474.000-2495.000=-21.000 |
| | mean | 2.496-2.589=-0.093 | | σ | 0.039-0.087=-0.047 | | min | 2.454-2.499=-0.045 | | max | 2.543-2.680=-0.137 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.684-4752.812=-0.128 | | σ | 0.900-0.807=0.092 | | min | 4751.780-4752.360=-0.580 | | max | 4754.198-4754.253=-0.055 |
| | mean | 2474.000-2495.000=-21.000 | | σ | 0.000 | | min | 2474.000-2495.000=-21.000 | | max | 2474.000-2495.000=-21.000 |
| | mean | 8.177-7.961=0.216 | | σ | 0.376-0.283=0.092 | | min | 7.636-7.768=-0.132 | | max | 8.526-8.463=0.063 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.080-4943.206=-0.126 | | σ | 0.174-0.022=0.151 | | min | 4942.882-4943.181=-0.300 | | max | 4943.221-4943.230=-0.009 |
| | mean | 2986.400-2950.600=35.800 | | σ | 275.116-370.370=-95.255 | | min | 2603.000-2495.000=108.000 | | max | 3289.000-3437.000=-148.000 |
| | mean | 8.496-8.424=0.073 | | σ | 0.110-0.104=0.006 | | min | 8.386-8.342=0.043 | | max | 8.629-8.602=0.027 |
|