iters=5 new-facts=1 prior-facts=1 | | mean | 273.499-271.616=1.883 | | σ | 0.017-0.007=0.010 | | min | 273.475-271.609=1.865 | | max | 273.515-271.627=1.889 |
| | mean | 2837.000-2677.000=160.000 | | σ | 0.000 | | min | 2837.000-2677.000=160.000 | | max | 2837.000-2677.000=160.000 |
| | mean | 0.384-0.376=0.009 | | σ | 0.001-0.008=-0.007 | | min | 0.383-0.371=0.012 | | max | 0.386-0.390=-0.004 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.897-1932.040=1.857 | | σ | 0.012-0.006=0.006 | | min | 1933.885-1932.033=1.852 | | max | 1933.912-1932.045=1.867 |
| | mean | 2837.000-2677.000=160.000 | | σ | 0.000 | | min | 2837.000-2677.000=160.000 | | max | 2837.000-2677.000=160.000 |
| | mean | 2.834-3.073=-0.239 | | σ | 0.196-0.085=0.111 | | min | 2.495-2.998=-0.503 | | max | 2.992-3.198=-0.206 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.564-4752.622=1.942 | | σ | 0.983-0.947=0.036 | | min | 4753.781-4751.933=1.848 | | max | 4756.277-4754.249=2.027 |
| | mean | 2837.000-2677.000=160.000 | | σ | 0.000 | | min | 2837.000-2677.000=160.000 | | max | 2837.000-2677.000=160.000 |
| | mean | 8.590-7.917=0.672 | | σ | 0.439-0.266=0.173 | | min | 7.931-7.727=0.204 | | max | 9.072-8.379=0.692 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4945.048-4943.093=1.955 | | σ | 0.167-0.335=-0.168 | | min | 4944.753-4942.495=2.258 | | max | 4945.152-4943.265=1.887 |
| | mean | 3058.600-2985.800=72.800 | | σ | 232.355-331.805=-99.450 | | min | 2837.000-2677.000=160.000 | | max | 3393.000-3438.000=-45.000 |
| | mean | 8.563-8.456=0.107 | | σ | 0.252-0.110=0.143 | | min | 8.323-8.379=-0.056 | | max | 8.983-8.650=0.333 |
|