iters=5 new-facts=1 prior-facts=1 | | mean | 286.822-286.816=0.006 | | σ | 0.041-0.036=0.006 | | min | 286.765-286.770=-0.005 | | max | 286.865-286.856=0.009 |
| | mean | 1647.000-1640.000=7.000 | | σ | 0.000 | | min | 1647.000-1640.000=7.000 | | max | 1647.000-1640.000=7.000 |
| | mean | 0.396-0.394=0.002 | | σ | 0.011-0.007=0.004 | | min | 0.387-0.387=0.000 | | max | 0.413-0.403=0.010 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1297.271-1297.151=0.120 | | σ | 0.096-0.065=0.032 | | min | 1297.157-1297.086=0.071 | | max | 1297.411-1297.239=0.172 |
| | mean | 1647.000-1640.000=7.000 | | σ | 0.000 | | min | 1647.000-1640.000=7.000 | | max | 1647.000-1640.000=7.000 |
| | mean | 2.285-1.893=0.392 | | σ | 0.081-0.096=-0.015 | | min | 2.154-1.822=0.332 | | max | 2.359-2.056=0.304 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1540.117-1540.166=-0.049 | | σ | 3.983-3.960=0.022 | | min | 1538.179-1538.271=-0.092 | | max | 1547.237-1547.247=-0.010 |
| | mean | 1647.000-1640.000=7.000 | | σ | 0.000 | | min | 1647.000-1640.000=7.000 | | max | 1647.000-1640.000=7.000 |
| | mean | 2.349-2.470=-0.120 | | σ | 0.091-0.229=-0.138 | | min | 2.237-2.157=0.080 | | max | 2.440-2.717=-0.277 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1859.123-1859.124=-0.001 | | σ | 0.064-0.051=0.013 | | min | 1859.037-1859.069=-0.032 | | max | 1859.201-1859.194=0.008 |
| | mean | 1782.000-1775.400=6.600 | | σ | 114.728-133.392=-18.664 | | min | 1647.000-1640.000=7.000 | | max | 1957.000-1911.000=46.000 |
| | mean | 2.983-3.111=-0.128 | | σ | 0.179-0.376=-0.197 | | min | 2.833-2.863=-0.030 | | max | 3.258-3.774=-0.516 |
|