iters=5 new-facts=1 prior-facts=1 | | mean | 324.701-324.709=-0.008 | | σ | 0.058-0.039=0.019 | | min | 324.598-324.639=-0.041 | | max | 324.734-324.732=0.002 |
| | mean | 2826.000-2811.000=15.000 | | σ | 0.000 | | min | 2826.000-2811.000=15.000 | | max | 2826.000-2811.000=15.000 |
| | mean | 0.425-0.422=0.003 | | σ | 0.001-0.001=-0.000 | | min | 0.424-0.421=0.003 | | max | 0.426-0.423=0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.256-1985.271=-0.016 | | σ | 0.015-0.007=0.008 | | min | 1985.241-1985.264=-0.022 | | max | 1985.276-1985.282=-0.006 |
| | mean | 2826.000-2811.000=15.000 | | σ | 0.000 | | min | 2826.000-2811.000=15.000 | | max | 2826.000-2811.000=15.000 |
| | mean | 2.622-2.615=0.007 | | σ | 0.069-0.074=-0.005 | | min | 2.546-2.552=-0.007 | | max | 2.711-2.702=0.009 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.867-4808.890=-0.023 | | σ | 7.657-7.653=0.004 | | min | 4805.394-4805.356=0.038 | | max | 4822.564-4822.579=-0.015 |
| | mean | 2826.000-2811.000=15.000 | | σ | 0.000 | | min | 2826.000-2811.000=15.000 | | max | 2826.000-2811.000=15.000 |
| | mean | 8.938-8.705=0.233 | | σ | 0.162-0.572=-0.409 | | min | 8.689-7.712=0.977 | | max | 9.084-9.098=-0.014 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.469-4996.467=0.002 | | σ | 0.017-0.016=0.001 | | min | 4996.451-4996.450=0.002 | | max | 4996.491-4996.485=0.006 |
| | mean | 3047.200-3015.800=31.400 | | σ | 199.608-207.944=-8.336 | | min | 2826.000-2811.000=15.000 | | max | 3335.000-3301.000=34.000 |
| | mean | 8.720-8.667=0.052 | | σ | 0.254-0.104=0.150 | | min | 8.506-8.541=-0.035 | | max | 9.053-8.810=0.243 |
|