iters=5 new-facts=1 prior-facts=1 | | mean | 271.728-270.609=1.119 | | σ | 0.008-0.005=0.003 | | min | 271.716-270.602=1.114 | | max | 271.736-270.613=1.123 |
| | mean | 2780.000-2774.000=6.000 | | σ | 0.000 | | min | 2780.000-2774.000=6.000 | | max | 2780.000-2774.000=6.000 |
| | mean | 0.387-0.380=0.007 | | σ | 0.009-0.006=0.003 | | min | 0.378-0.376=0.002 | | max | 0.400-0.390=0.010 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.176-1931.053=1.124 | | σ | 0.019-0.021=-0.002 | | min | 1932.147-1931.030=1.117 | | max | 1932.194-1931.083=1.111 |
| | mean | 2780.000-2774.000=6.000 | | σ | 0.000 | | min | 2780.000-2774.000=6.000 | | max | 2780.000-2774.000=6.000 |
| | mean | 3.001-2.876=0.125 | | σ | 0.091-0.336=-0.245 | | min | 2.857-2.462=0.396 | | max | 3.099-3.200=-0.101 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.666-4751.723=0.943 | | σ | 1.110-0.900=0.210 | | min | 4751.897-4751.300=0.596 | | max | 4754.611-4753.333=1.277 |
| | mean | 2780.000-2774.000=6.000 | | σ | 0.000 | | min | 2780.000-2774.000=6.000 | | max | 2780.000-2774.000=6.000 |
| | mean | 8.817-8.763=0.054 | | σ | 0.325-0.168=0.157 | | min | 8.408-8.524=-0.117 | | max | 9.297-8.930=0.367 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.371-4942.157=1.214 | | σ | 0.015-0.167=-0.152 | | min | 4943.354-4941.861=1.493 | | max | 4943.387-4942.256=1.131 |
| | mean | 2998.200-3042.800=-44.600 | | σ | 290.951-257.083=33.867 | | min | 2780.000-2774.000=6.000 | | max | 3459.000-3405.000=54.000 |
| | mean | 8.472-8.593=-0.121 | | σ | 0.178-0.203=-0.026 | | min | 8.349-8.400=-0.050 | | max | 8.782-8.896=-0.114 |
|