iters=5 new-facts=1 prior-facts=1 | | mean | 273.529-278.999=-5.470 | | σ | 0.008-0.009=-0.001 | | min | 273.520-278.991=-5.471 | | max | 273.537-279.012=-5.475 |
| | mean | 2847.000-2853.000=-6.000 | | σ | 0.000 | | min | 2847.000-2853.000=-6.000 | | max | 2847.000-2853.000=-6.000 |
| | mean | 0.385-0.382=0.003 | | σ | 0.005-0.001=0.004 | | min | 0.381-0.381=0.000 | | max | 0.394-0.382=0.011 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.919-1939.424=-5.505 | | σ | 0.009-0.024=-0.015 | | min | 1933.908-1939.392=-5.484 | | max | 1933.931-1939.452=-5.521 |
| | mean | 2847.000-2853.000=-6.000 | | σ | 0.000 | | min | 2847.000-2853.000=-6.000 | | max | 2847.000-2853.000=-6.000 |
| | mean | 2.949-2.565=0.384 | | σ | 0.109-0.133=-0.024 | | min | 2.755-2.454=0.300 | | max | 3.012-2.795=0.216 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.757-4760.188=-5.430 | | σ | 0.789-0.890=-0.100 | | min | 4754.344-4759.682=-5.338 | | max | 4756.168-4761.770=-5.602 |
| | mean | 2847.000-2853.000=-6.000 | | σ | 0.000 | | min | 2847.000-2853.000=-6.000 | | max | 2847.000-2853.000=-6.000 |
| | mean | 8.012-8.342=-0.330 | | σ | 0.293-0.536=-0.243 | | min | 7.776-7.718=0.058 | | max | 8.485-9.002=-0.518 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4945.140-4950.631=-5.491 | | σ | 0.014-0.011=0.004 | | min | 4945.120-4950.619=-5.498 | | max | 4945.156-4950.643=-5.487 |
| | mean | 3042.200-3078.000=-35.800 | | σ | 269.553-304.587=-35.035 | | min | 2847.000-2853.000=-6.000 | | max | 3456.000-3550.000=-94.000 |
| | mean | 8.449-8.469=-0.020 | | σ | 0.063-0.139=-0.077 | | min | 8.396-8.382=0.014 | | max | 8.534-8.714=-0.180 |
|