iters=5 new-facts=1 prior-facts=1 | | mean | 324.763-324.715=0.047 | | σ | 0.051-0.032=0.019 | | min | 324.672-324.659=0.013 | | max | 324.793-324.739=0.055 |
| | mean | 2850.000-2754.000=96.000 | | σ | 0.000 | | min | 2850.000-2754.000=96.000 | | max | 2850.000-2754.000=96.000 |
| | mean | 0.429-0.423=0.006 | | σ | 0.010-0.002=0.009 | | min | 0.423-0.422=0.001 | | max | 0.447-0.426=0.021 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.313-1985.265=0.048 | | σ | 0.013-0.016=-0.003 | | min | 1985.300-1985.237=0.063 | | max | 1985.330-1985.275=0.054 |
| | mean | 2850.000-2754.000=96.000 | | σ | 0.000 | | min | 2850.000-2754.000=96.000 | | max | 2850.000-2754.000=96.000 |
| | mean | 2.665-2.658=0.006 | | σ | 0.136-0.125=0.012 | | min | 2.536-2.555=-0.019 | | max | 2.867-2.840=0.027 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.873-4808.919=-0.046 | | σ | 7.818-7.616=0.202 | | min | 4804.477-4805.429=-0.952 | | max | 4822.828-4822.543=0.284 |
| | mean | 2850.000-2754.000=96.000 | | σ | 0.000 | | min | 2850.000-2754.000=96.000 | | max | 2850.000-2754.000=96.000 |
| | mean | 8.776-9.130=-0.354 | | σ | 0.538-0.417=0.121 | | min | 7.908-8.582=-0.674 | | max | 9.171-9.688=-0.517 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.545-4996.383=0.162 | | σ | 0.160-0.144=0.015 | | min | 4996.262-4996.127=0.135 | | max | 4996.637-4996.472=0.165 |
| | mean | 3053.200-3033.600=19.600 | | σ | 284.989-336.803=-51.814 | | min | 2850.000-2754.000=96.000 | | max | 3504.000-3538.000=-34.000 |
| | mean | 8.628-8.556=0.072 | | σ | 0.209-0.157=0.052 | | min | 8.436-8.461=-0.024 | | max | 8.940-8.831=0.108 |
|