iters=5 new-facts=1 prior-facts=1 | | mean | 270.241-270.240=0.001 | | σ | 0.007-0.007=-0.000 | | min | 270.231-270.232=-0.000 | | max | 270.250-270.250=-0.000 |
| | mean | 2772.000-2452.000=320.000 | | σ | 0.000 | | min | 2772.000-2452.000=320.000 | | max | 2772.000-2452.000=320.000 |
| | mean | 0.386-0.383=0.003 | | σ | 0.011-0.008=0.003 | | min | 0.376-0.374=0.002 | | max | 0.401-0.395=0.005 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.704-1930.703=0.001 | | σ | 0.009-0.006=0.004 | | min | 1930.692-1930.697=-0.005 | | max | 1930.713-1930.712=0.001 |
| | mean | 2772.000-2452.000=320.000 | | σ | 0.000 | | min | 2772.000-2452.000=320.000 | | max | 2772.000-2452.000=320.000 |
| | mean | 2.511-2.526=-0.015 | | σ | 0.107-0.077=0.031 | | min | 2.387-2.430=-0.042 | | max | 2.665-2.621=0.044 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.444-4751.414=0.030 | | σ | 0.834-0.843=-0.009 | | min | 4750.847-4750.980=-0.133 | | max | 4752.910-4752.916=-0.006 |
| | mean | 2772.000-2452.000=320.000 | | σ | 0.000 | | min | 2772.000-2452.000=320.000 | | max | 2772.000-2452.000=320.000 |
| | mean | 8.202-8.460=-0.258 | | σ | 0.607-0.427=0.180 | | min | 7.797-7.743=0.054 | | max | 9.209-8.832=0.377 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.866-4941.870=-0.003 | | σ | 0.032-0.018=0.013 | | min | 4941.828-4941.845=-0.017 | | max | 4941.898-4941.886=0.011 |
| | mean | 3043.800-3015.000=28.800 | | σ | 329.698-314.308=15.390 | | min | 2772.000-2599.000=173.000 | | max | 3535.000-3421.000=114.000 |
| | mean | 8.432-8.540=-0.107 | | σ | 0.148-0.080=0.068 | | min | 8.303-8.450=-0.147 | | max | 8.683-8.635=0.048 |
|