iters=5 new-facts=1 prior-facts=1 | | mean | 301.486-301.471=0.015 | | σ | 0.034-0.057=-0.023 | | min | 301.445-301.382=0.063 | | max | 301.525-301.528=-0.003 |
| | mean | 1628.000-1673.000=-45.000 | | σ | 0.000 | | min | 1628.000-1673.000=-45.000 | | max | 1628.000-1673.000=-45.000 |
| | mean | 0.392-0.394=-0.002 | | σ | 0.006-0.011=-0.005 | | min | 0.388-0.387=0.000 | | max | 0.403-0.413=-0.011 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1324.061-1324.063=-0.002 | | σ | 0.113-0.111=0.002 | | min | 1323.922-1323.927=-0.005 | | max | 1324.199-1324.184=0.015 |
| | mean | 1628.000-1673.000=-45.000 | | σ | 0.000 | | min | 1628.000-1673.000=-45.000 | | max | 1628.000-1673.000=-45.000 |
| | mean | 1.872-1.905=-0.033 | | σ | 0.065-0.094=-0.029 | | min | 1.815-1.833=-0.018 | | max | 1.976-2.053=-0.077 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1562.082-1562.068=0.015 | | σ | 6.898-6.899=-0.001 | | min | 1558.778-1558.762=0.016 | | max | 1574.417-1574.404=0.013 |
| | mean | 1628.000-1673.000=-45.000 | | σ | 0.000 | | min | 1628.000-1673.000=-45.000 | | max | 1628.000-1673.000=-45.000 |
| | mean | 2.300-2.233=0.067 | | σ | 0.253-0.242=0.010 | | min | 2.003-2.020=-0.017 | | max | 2.563-2.580=-0.017 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1891.969-1891.968=0.001 | | σ | 0.065-0.068=-0.003 | | min | 1891.854-1891.849=0.005 | | max | 1892.006-1892.006=-0.001 |
| | mean | 1770.000-1788.400=-18.400 | | σ | 169.090-158.740=10.350 | | min | 1628.000-1673.000=-45.000 | | max | 2016.000-2046.000=-30.000 |
| | mean | 2.939-2.973=-0.033 | | σ | 0.101-0.138=-0.037 | | min | 2.880-2.876=0.004 | | max | 3.118-3.199=-0.081 |
|