iters=5 new-facts=1 prior-facts=1 | | mean | 324.668-324.694=-0.026 | | σ | 0.045-0.053=-0.008 | | min | 324.589-324.601=-0.012 | | max | 324.698-324.724=-0.026 |
| | mean | 2777.000-2843.000=-66.000 | | σ | 0.000 | | min | 2777.000-2843.000=-66.000 | | max | 2777.000-2843.000=-66.000 |
| | mean | 0.431-0.427=0.004 | | σ | 0.009-0.008=0.001 | | min | 0.424-0.422=0.002 | | max | 0.446-0.441=0.005 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.250-1985.251=-0.001 | | σ | 0.013-0.019=-0.007 | | min | 1985.229-1985.229=-0.000 | | max | 1985.262-1985.271=-0.009 |
| | mean | 2777.000-2843.000=-66.000 | | σ | 0.000 | | min | 2777.000-2843.000=-66.000 | | max | 2777.000-2843.000=-66.000 |
| | mean | 2.629-2.631=-0.002 | | σ | 0.095-0.158=-0.063 | | min | 2.544-2.538=0.006 | | max | 2.749-2.912=-0.162 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.872-4808.776=0.096 | | σ | 7.692-7.765=-0.074 | | min | 4805.384-4804.748=0.636 | | max | 4822.631-4822.654=-0.023 |
| | mean | 2777.000-2843.000=-66.000 | | σ | 0.000 | | min | 2777.000-2843.000=-66.000 | | max | 2777.000-2843.000=-66.000 |
| | mean | 9.144-8.781=0.363 | | σ | 0.191-0.568=-0.377 | | min | 8.913-7.933=0.980 | | max | 9.345-9.299=0.046 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.385-4996.384=0.001 | | σ | 0.167-0.160=0.007 | | min | 4996.089-4996.101=-0.012 | | max | 4996.487-4996.477=0.010 |
| | mean | 3036.200-3070.800=-34.600 | | σ | 262.833-309.451=-46.618 | | min | 2777.000-2843.000=-66.000 | | max | 3405.000-3551.000=-146.000 |
| | mean | 8.802-8.557=0.244 | | σ | 0.335-0.129=0.207 | | min | 8.485-8.441=0.044 | | max | 9.241-8.717=0.525 |
|