iters=5 new-facts=1 prior-facts=1 | | mean | 326.443-326.453=-0.010 | | σ | 0.062-0.037=0.024 | | min | 326.335-326.389=-0.054 | | max | 326.483-326.483=0.000 |
| | mean | 2710.000-2827.000=-117.000 | | σ | 0.000 | | min | 2710.000-2827.000=-117.000 | | max | 2710.000-2827.000=-117.000 |
| | mean | 0.435-0.424=0.011 | | σ | 0.016-0.001=0.015 | | min | 0.421-0.423=-0.002 | | max | 0.456-0.425=0.031 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.611-1988.604=0.007 | | σ | 0.010-0.012=-0.003 | | min | 1988.595-1988.588=0.007 | | max | 1988.618-1988.619=-0.000 |
| | mean | 2710.000-2827.000=-117.000 | | σ | 0.000 | | min | 2710.000-2827.000=-117.000 | | max | 2710.000-2827.000=-117.000 |
| | mean | 2.732-2.688=0.044 | | σ | 0.187-0.117=0.070 | | min | 2.610-2.512=0.098 | | max | 3.063-2.822=0.241 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.502-4813.490=0.012 | | σ | 7.691-7.760=-0.070 | | min | 4809.907-4809.944=-0.038 | | max | 4827.257-4827.372=-0.115 |
| | mean | 2710.000-2827.000=-117.000 | | σ | 0.000 | | min | 2710.000-2827.000=-117.000 | | max | 2710.000-2827.000=-117.000 |
| | mean | 8.407-8.735=-0.329 | | σ | 0.695-0.598=0.098 | | min | 7.743-7.999=-0.256 | | max | 9.307-9.522=-0.215 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.010-5001.014=-0.004 | | σ | 0.034-0.019=0.015 | | min | 5000.970-5000.998=-0.028 | | max | 5001.059-5001.046=0.013 |
| | mean | 2988.000-3000.000=-12.000 | | σ | 315.048-192.124=122.925 | | min | 2710.000-2827.000=-117.000 | | max | 3439.000-3294.000=145.000 |
| | mean | 9.666-9.666=-0.000 | | σ | 0.364-0.532=-0.168 | | min | 9.062-8.733=0.330 | | max | 10.051-10.038=0.012 |
|