iters=5 new-facts=1 prior-facts=1 | | mean | 281.493-285.248=-3.755 | | σ | 0.036-0.043=-0.007 | | min | 281.453-285.187=-3.734 | | max | 281.529-285.289=-3.760 |
| | mean | 1632.000-1650.000=-18.000 | | σ | 0.000 | | min | 1632.000-1650.000=-18.000 | | max | 1632.000-1650.000=-18.000 |
| | mean | 0.379-0.403=-0.023 | | σ | 0.001-0.009=-0.008 | | min | 0.378-0.392=-0.014 | | max | 0.380-0.411=-0.031 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1291.479-1295.198=-3.719 | | σ | 0.117-0.112=0.005 | | min | 1291.352-1295.080=-3.728 | | max | 1291.646-1295.338=-3.692 |
| | mean | 1632.000-1650.000=-18.000 | | σ | 0.000 | | min | 1632.000-1650.000=-18.000 | | max | 1632.000-1650.000=-18.000 |
| | mean | 1.928-1.914=0.014 | | σ | 0.109-0.090=0.019 | | min | 1.788-1.816=-0.028 | | max | 2.046-2.015=0.031 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1534.344-1538.078=-3.735 | | σ | 4.031-4.047=-0.016 | | min | 1532.322-1536.047=-3.725 | | max | 1541.543-1545.309=-3.766 |
| | mean | 1632.000-1650.000=-18.000 | | σ | 0.000 | | min | 1632.000-1650.000=-18.000 | | max | 1632.000-1650.000=-18.000 |
| | mean | 2.349-2.257=0.092 | | σ | 0.263-0.208=0.054 | | min | 2.093-2.022=0.071 | | max | 2.705-2.448=0.257 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1853.374-1857.100=-3.726 | | σ | 0.078-0.056=0.021 | | min | 1853.284-1857.040=-3.757 | | max | 1853.469-1857.163=-3.694 |
| | mean | 1802.800-1775.200=27.600 | | σ | 168.869-128.712=40.157 | | min | 1632.000-1650.000=-18.000 | | max | 1974.000-1907.000=67.000 |
| | mean | 3.253-3.016=0.237 | | σ | 0.334-0.122=0.212 | | min | 2.892-2.877=0.014 | | max | 3.656-3.200=0.456 |
|