iters=5 new-facts=1 prior-facts=1 | | mean | 286.824-285.032=1.792 | | σ | 0.034-0.037=-0.003 | | min | 286.782-284.980=1.802 | | max | 286.867-285.066=1.801 |
| | mean | 1653.000-1514.000=139.000 | | σ | 0.000 | | min | 1653.000-1514.000=139.000 | | max | 1653.000-1514.000=139.000 |
| | mean | 0.401-0.396=0.005 | | σ | 0.013-0.008=0.005 | | min | 0.390-0.388=0.002 | | max | 0.419-0.407=0.012 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1297.226-1295.411=1.814 | | σ | 0.074-0.113=-0.039 | | min | 1297.143-1295.286=1.857 | | max | 1297.327-1295.543=1.784 |
| | mean | 1653.000-1514.000=139.000 | | σ | 0.000 | | min | 1653.000-1514.000=139.000 | | max | 1653.000-1514.000=139.000 |
| | mean | 2.079-1.907=0.172 | | σ | 0.065-0.057=0.008 | | min | 2.014-1.850=0.164 | | max | 2.174-1.968=0.207 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1541.396-1539.530=1.866 | | σ | 6.823-6.811=0.011 | | min | 1538.199-1536.235=1.965 | | max | 1553.598-1551.709=1.888 |
| | mean | 1653.000-1514.000=139.000 | | σ | 0.000 | | min | 1653.000-1514.000=139.000 | | max | 1653.000-1514.000=139.000 |
| | mean | 2.397-2.282=0.115 | | σ | 0.175-0.221=-0.046 | | min | 2.139-2.065=0.074 | | max | 2.542-2.635=-0.093 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1859.117-1857.318=1.799 | | σ | 0.063-0.077=-0.014 | | min | 1859.040-1857.221=1.820 | | max | 1859.193-1857.411=1.782 |
| | mean | 1773.000-1753.800=19.200 | | σ | 123.219-173.884=-50.665 | | min | 1653.000-1514.000=139.000 | | max | 1902.000-1913.000=-11.000 |
| | mean | 3.080-3.058=0.022 | | σ | 0.264-0.250=0.014 | | min | 2.789-2.798=-0.009 | | max | 3.420-3.426=-0.006 |
|