iters=5 new-facts=1 prior-facts=1 | | mean | 285.411-286.816=-1.405 | | σ | 0.031-0.041=-0.010 | | min | 285.370-286.767=-1.398 | | max | 285.444-286.860=-1.416 |
| | mean | 1626.000-1643.000=-17.000 | | σ | 0.000 | | min | 1626.000-1643.000=-17.000 | | max | 1626.000-1643.000=-17.000 |
| | mean | 0.403-0.396=0.007 | | σ | 0.014-0.006=0.008 | | min | 0.383-0.390=-0.006 | | max | 0.423-0.404=0.018 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1295.766-1297.263=-1.497 | | σ | 0.117-0.093=0.025 | | min | 1295.677-1297.136=-1.458 | | max | 1295.961-1297.381=-1.420 |
| | mean | 1626.000-1643.000=-17.000 | | σ | 0.000 | | min | 1626.000-1643.000=-17.000 | | max | 1626.000-1643.000=-17.000 |
| | mean | 2.017-2.223=-0.206 | | σ | 0.198-0.092=0.106 | | min | 1.832-2.119=-0.287 | | max | 2.318-2.328=-0.011 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1540.011-1541.370=-1.360 | | σ | 6.904-6.804=0.100 | | min | 1536.805-1538.217=-1.412 | | max | 1552.359-1553.541=-1.181 |
| | mean | 1626.000-1643.000=-17.000 | | σ | 0.000 | | min | 1626.000-1643.000=-17.000 | | max | 1626.000-1643.000=-17.000 |
| | mean | 2.431-2.303=0.128 | | σ | 0.342-0.197=0.145 | | min | 2.112-2.156=-0.043 | | max | 2.865-2.614=0.251 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1857.707-1859.119=-1.412 | | σ | 0.049-0.072=-0.023 | | min | 1857.652-1859.031=-1.379 | | max | 1857.771-1859.200=-1.428 |
| | mean | 1771.200-1791.400=-20.200 | | σ | 176.844-170.754=6.090 | | min | 1626.000-1643.000=-17.000 | | max | 2031.000-2037.000=-6.000 |
| | mean | 2.859-3.082=-0.224 | | σ | 0.122-0.225=-0.103 | | min | 2.667-2.844=-0.177 | | max | 2.972-3.454=-0.482 |
|