iters=5 new-facts=1 prior-facts=1 | | mean | 285.413-286.827=-1.414 | | σ | 0.037-0.040=-0.003 | | min | 285.368-286.773=-1.405 | | max | 285.453-286.866=-1.413 |
| | mean | 1642.000-1644.000=-2.000 | | σ | 0.000 | | min | 1642.000-1644.000=-2.000 | | max | 1642.000-1644.000=-2.000 |
| | mean | 0.387-0.396=-0.009 | | σ | 0.007-0.006=0.001 | | min | 0.380-0.389=-0.009 | | max | 0.396-0.402=-0.006 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1295.794-1297.239=-1.444 | | σ | 0.114-0.058=0.056 | | min | 1295.663-1297.169=-1.506 | | max | 1295.936-1297.300=-1.364 |
| | mean | 1642.000-1644.000=-2.000 | | σ | 0.000 | | min | 1642.000-1644.000=-2.000 | | max | 1642.000-1644.000=-2.000 |
| | mean | 1.988-2.062=-0.075 | | σ | 0.276-0.090=0.186 | | min | 1.797-1.958=-0.161 | | max | 2.467-2.181=0.287 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1539.974-1541.325=-1.351 | | σ | 6.833-6.829=0.004 | | min | 1536.707-1538.099=-1.392 | | max | 1552.192-1553.537=-1.344 |
| | mean | 1642.000-1644.000=-2.000 | | σ | 0.000 | | min | 1642.000-1644.000=-2.000 | | max | 1642.000-1644.000=-2.000 |
| | mean | 2.403-2.230=0.173 | | σ | 0.238-0.177=0.061 | | min | 2.052-2.054=-0.002 | | max | 2.635-2.505=0.130 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1857.706-1859.124=-1.418 | | σ | 0.056-0.059=-0.003 | | min | 1857.654-1859.045=-1.391 | | max | 1857.784-1859.194=-1.409 |
| | mean | 1774.200-1782.200=-8.000 | | σ | 130.550-168.752=-38.202 | | min | 1642.000-1644.000=-2.000 | | max | 1906.000-2033.000=-127.000 |
| | mean | 3.056-2.908=0.148 | | σ | 0.272-0.097=0.175 | | min | 2.842-2.803=0.038 | | max | 3.525-3.047=0.478 |
|