iters=5 new-facts=1 prior-facts=1 | | mean | 271.953-271.955=-0.002 | | σ | 0.004-0.005=-0.001 | | min | 271.949-271.950=-0.001 | | max | 271.959-271.961=-0.002 |
| | mean | 2780.000-2423.000=357.000 | | σ | 0.000 | | min | 2780.000-2423.000=357.000 | | max | 2780.000-2423.000=357.000 |
| | mean | 0.383-0.379=0.004 | | σ | 0.008-0.001=0.007 | | min | 0.377-0.378=-0.000 | | max | 0.396-0.380=0.016 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.329-1932.327=0.002 | | σ | 0.015-0.019=-0.005 | | min | 1932.313-1932.309=0.004 | | max | 1932.353-1932.359=-0.007 |
| | mean | 2780.000-2423.000=357.000 | | σ | 0.000 | | min | 2780.000-2423.000=357.000 | | max | 2780.000-2423.000=357.000 |
| | mean | 2.968-2.927=0.041 | | σ | 0.191-0.254=-0.063 | | min | 2.657-2.483=0.174 | | max | 3.182-3.114=0.067 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4753.107-4753.080=0.027 | | σ | 0.894-0.909=-0.014 | | min | 4752.570-4752.585=-0.016 | | max | 4754.688-4754.693=-0.005 |
| | mean | 2780.000-2423.000=357.000 | | σ | 0.000 | | min | 2780.000-2423.000=357.000 | | max | 2780.000-2423.000=357.000 |
| | mean | 8.411-8.647=-0.237 | | σ | 0.541-0.449=0.092 | | min | 7.701-7.938=-0.237 | | max | 8.931-9.012=-0.081 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.492-4943.487=0.005 | | σ | 0.147-0.155=-0.008 | | min | 4943.229-4943.211=0.018 | | max | 4943.562-4943.575=-0.013 |
| | mean | 3024.200-2964.600=59.600 | | σ | 227.928-249.500=-21.572 | | min | 2780.000-2645.000=135.000 | | max | 3330.000-3299.000=31.000 |
| | mean | 8.615-8.483=0.132 | | σ | 0.230-0.060=0.170 | | min | 8.411-8.405=0.006 | | max | 8.879-8.546=0.332 |
|