iters=5 new-facts=1 prior-facts=1 | | mean | 324.683-324.709=-0.026 | | σ | 0.041-0.048=-0.007 | | min | 324.611-324.624=-0.012 | | max | 324.708-324.739=-0.031 |
| | mean | 2840.000-2824.000=16.000 | | σ | 0.000 | | min | 2840.000-2824.000=16.000 | | max | 2840.000-2824.000=16.000 |
| | mean | 0.430-0.423=0.006 | | σ | 0.007-0.001=0.007 | | min | 0.423-0.423=0.001 | | max | 0.440-0.424=0.016 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.261-1985.262=-0.001 | | σ | 0.015-0.015=-0.000 | | min | 1985.244-1985.238=0.006 | | max | 1985.273-1985.278=-0.005 |
| | mean | 2840.000-2824.000=16.000 | | σ | 0.000 | | min | 2840.000-2824.000=16.000 | | max | 2840.000-2824.000=16.000 |
| | mean | 2.659-2.677=-0.019 | | σ | 0.146-0.113=0.033 | | min | 2.520-2.550=-0.030 | | max | 2.855-2.792=0.064 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.898-4808.861=0.037 | | σ | 7.688-7.669=0.019 | | min | 4805.396-4805.404=-0.008 | | max | 4822.651-4822.580=0.071 |
| | mean | 2840.000-2824.000=16.000 | | σ | 0.000 | | min | 2840.000-2824.000=16.000 | | max | 2840.000-2824.000=16.000 |
| | mean | 9.109-8.799=0.310 | | σ | 0.292-0.141=0.151 | | min | 8.673-8.614=0.059 | | max | 9.362-8.931=0.431 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.469-4996.466=0.002 | | σ | 0.009-0.021=-0.012 | | min | 4996.458-4996.431=0.027 | | max | 4996.480-4996.482=-0.003 |
| | mean | 3041.800-3059.000=-17.200 | | σ | 203.884-306.841=-102.957 | | min | 2840.000-2824.000=16.000 | | max | 3319.000-3533.000=-214.000 |
| | mean | 8.806-8.561=0.246 | | σ | 0.247-0.296=-0.049 | | min | 8.501-8.406=0.095 | | max | 9.144-9.089=0.055 |
|