iters=5 new-facts=1 prior-facts=1 | | mean | 286.807-285.031=1.776 | | σ | 0.036-0.037=-0.001 | | min | 286.764-284.981=1.783 | | max | 286.854-285.075=1.780 |
| | mean | 1647.000-1516.000=131.000 | | σ | 0.000 | | min | 1647.000-1516.000=131.000 | | max | 1647.000-1516.000=131.000 |
| | mean | 0.396-0.394=0.002 | | σ | 0.006-0.010=-0.004 | | min | 0.392-0.385=0.006 | | max | 0.403-0.408=-0.005 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1297.259-1295.409=1.849 | | σ | 0.125-0.108=0.017 | | min | 1297.074-1295.299=1.775 | | max | 1297.411-1295.561=1.850 |
| | mean | 1647.000-1516.000=131.000 | | σ | 0.000 | | min | 1647.000-1516.000=131.000 | | max | 1647.000-1516.000=131.000 |
| | mean | 2.195-1.926=0.268 | | σ | 0.097-0.098=-0.001 | | min | 2.053-1.819=0.233 | | max | 2.318-2.042=0.276 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1541.381-1539.545=1.836 | | σ | 6.806-6.825=-0.019 | | min | 1538.238-1536.303=1.935 | | max | 1553.555-1551.752=1.803 |
| | mean | 1647.000-1516.000=131.000 | | σ | 0.000 | | min | 1647.000-1516.000=131.000 | | max | 1647.000-1516.000=131.000 |
| | mean | 2.348-2.137=0.211 | | σ | 0.271-0.141=0.130 | | min | 2.143-2.014=0.130 | | max | 2.800-2.377=0.424 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1859.110-1857.321=1.789 | | σ | 0.067-0.065=0.002 | | min | 1859.030-1857.236=1.794 | | max | 1859.191-1857.396=1.795 |
| | mean | 1796.400-1756.200=40.200 | | σ | 156.097-171.530=-15.433 | | min | 1647.000-1516.000=131.000 | | max | 1958.000-1911.000=47.000 |
| | mean | 2.990-3.090=-0.100 | | σ | 0.157-0.255=-0.098 | | min | 2.830-2.879=-0.049 | | max | 3.221-3.519=-0.298 |
|