iters=5 new-facts=1 prior-facts=1 | | mean | 285.033-301.485=-16.451 | | σ | 0.035-0.038=-0.003 | | min | 284.985-301.433=-16.448 | | max | 285.071-301.531=-16.460 |
| | mean | 1519.000-1452.000=67.000 | | σ | 0.000 | | min | 1519.000-1452.000=67.000 | | max | 1519.000-1452.000=67.000 |
| | mean | 0.397-0.390=0.007 | | σ | 0.009-0.001=0.008 | | min | 0.388-0.389=-0.001 | | max | 0.410-0.391=0.019 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1295.439-1324.054=-28.615 | | σ | 0.057-0.107=-0.051 | | min | 1295.367-1323.922=-28.555 | | max | 1295.510-1324.191=-28.681 |
| | mean | 1519.000-1452.000=67.000 | | σ | 0.000 | | min | 1519.000-1452.000=67.000 | | max | 1519.000-1452.000=67.000 |
| | mean | 2.131-1.924=0.208 | | σ | 0.177-0.080=0.097 | | min | 1.949-1.857=0.092 | | max | 2.408-2.039=0.369 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1539.567-1562.071=-22.503 | | σ | 6.825-6.893=-0.068 | | min | 1536.374-1558.781=-22.407 | | max | 1551.774-1574.397=-22.622 |
| | mean | 1519.000-1452.000=67.000 | | σ | 0.000 | | min | 1519.000-1452.000=67.000 | | max | 1519.000-1452.000=67.000 |
| | mean | 2.349-2.264=0.085 | | σ | 0.233-0.197=0.036 | | min | 2.111-2.085=0.026 | | max | 2.692-2.498=0.194 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1857.321-1891.948=-34.628 | | σ | 0.066-0.065=0.001 | | min | 1857.238-1891.860=-34.622 | | max | 1857.392-1892.010=-34.618 |
| | mean | 1750.800-1721.000=29.800 | | σ | 172.409-227.185=-54.776 | | min | 1519.000-1452.000=67.000 | | max | 1916.000-2017.000=-101.000 |
| | mean | 3.059-2.941=0.119 | | σ | 0.234-0.129=0.105 | | min | 2.861-2.843=0.018 | | max | 3.391-3.166=0.225 |
|