iters=5 new-facts=1 prior-facts=1 | | mean | 286.824-285.035=1.789 | | σ | 0.034-0.035=-0.001 | | min | 286.782-284.989=1.794 | | max | 286.867-285.069=1.798 |
| | mean | 1653.000-1505.000=148.000 | | σ | 0.000 | | min | 1653.000-1505.000=148.000 | | max | 1653.000-1505.000=148.000 |
| | mean | 0.401-0.395=0.006 | | σ | 0.013-0.008=0.005 | | min | 0.390-0.387=0.003 | | max | 0.419-0.405=0.013 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1297.226-1295.411=1.815 | | σ | 0.074-0.115=-0.041 | | min | 1297.143-1295.296=1.847 | | max | 1297.327-1295.579=1.748 |
| | mean | 1653.000-1505.000=148.000 | | σ | 0.000 | | min | 1653.000-1505.000=148.000 | | max | 1653.000-1505.000=148.000 |
| | mean | 2.079-1.895=0.184 | | σ | 0.065-0.078=-0.013 | | min | 2.014-1.805=0.209 | | max | 2.174-1.995=0.180 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1541.396-1539.522=1.874 | | σ | 6.823-6.853=-0.031 | | min | 1538.199-1536.233=1.967 | | max | 1553.598-1551.775=1.822 |
| | mean | 1653.000-1505.000=148.000 | | σ | 0.000 | | min | 1653.000-1505.000=148.000 | | max | 1653.000-1505.000=148.000 |
| | mean | 2.397-2.268=0.129 | | σ | 0.175-0.202=-0.027 | | min | 2.139-2.084=0.054 | | max | 2.542-2.493=0.049 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1859.117-1857.315=1.801 | | σ | 0.063-0.064=-0.002 | | min | 1859.040-1857.236=1.804 | | max | 1859.193-1857.402=1.791 |
| | mean | 1773.000-1748.000=25.000 | | σ | 123.219-171.613=-48.394 | | min | 1653.000-1508.000=145.000 | | max | 1902.000-1909.000=-7.000 |
| | mean | 3.080-3.069=0.011 | | σ | 0.264-0.249=0.015 | | min | 2.789-2.870=-0.081 | | max | 3.420-3.492=-0.071 |
|