iters=5 new-facts=1 prior-facts=1 | | mean | 285.250-281.493=3.757 | | σ | 0.042-0.036=0.006 | | min | 285.198-281.453=3.745 | | max | 285.297-281.529=3.768 |
| | mean | 1642.000-1632.000=10.000 | | σ | 0.000 | | min | 1642.000-1632.000=10.000 | | max | 1642.000-1632.000=10.000 |
| | mean | 0.400-0.379=0.021 | | σ | 0.011-0.001=0.010 | | min | 0.388-0.378=0.010 | | max | 0.411-0.380=0.031 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1295.192-1291.479=3.713 | | σ | 0.108-0.117=-0.008 | | min | 1295.067-1291.352=3.716 | | max | 1295.327-1291.646=3.681 |
| | mean | 1642.000-1632.000=10.000 | | σ | 0.000 | | min | 1642.000-1632.000=10.000 | | max | 1642.000-1632.000=10.000 |
| | mean | 1.934-1.928=0.006 | | σ | 0.058-0.109=-0.051 | | min | 1.855-1.788=0.067 | | max | 2.001-2.046=-0.044 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1538.085-1534.344=3.742 | | σ | 4.041-4.031=0.010 | | min | 1536.035-1532.322=3.713 | | max | 1545.303-1541.543=3.760 |
| | mean | 1642.000-1632.000=10.000 | | σ | 0.000 | | min | 1642.000-1632.000=10.000 | | max | 1642.000-1632.000=10.000 |
| | mean | 2.308-2.349=-0.041 | | σ | 0.130-0.263=-0.133 | | min | 2.106-2.093=0.013 | | max | 2.438-2.705=-0.267 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1857.125-1853.374=3.751 | | σ | 0.083-0.078=0.005 | | min | 1857.023-1853.284=3.740 | | max | 1857.223-1853.469=3.755 |
| | mean | 1796.400-1802.800=-6.400 | | σ | 158.765-168.869=-10.104 | | min | 1642.000-1632.000=10.000 | | max | 1959.000-1974.000=-15.000 |
| | mean | 3.220-3.253=-0.033 | | σ | 0.338-0.334=0.004 | | min | 2.895-2.892=0.004 | | max | 3.688-3.656=0.032 |
|