iters=5 new-facts=1 prior-facts=1 | | mean | 279.514-278.838=0.676 | | σ | 0.007-0.018=-0.011 | | min | 279.504-278.807=0.697 | | max | 279.520-278.849=0.671 |
| | mean | 2745.000-2700.000=45.000 | | σ | 0.000 | | min | 2745.000-2700.000=45.000 | | max | 2745.000-2700.000=45.000 |
| | mean | 0.418-0.417=0.002 | | σ | 0.005-0.008=-0.002 | | min | 0.412-0.410=0.002 | | max | 0.425-0.429=-0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2178.399-2268.900=-90.501 | | σ | 0.045-0.019=0.026 | | min | 2178.345-2268.877=-90.532 | | max | 2178.450-2268.921=-90.471 |
| | mean | 2745.000-2700.000=45.000 | | σ | 0.000 | | min | 2745.000-2700.000=45.000 | | max | 2745.000-2700.000=45.000 |
| | mean | 3.386-2.935=0.451 | | σ | 0.208-0.045=0.163 | | min | 3.103-2.897=0.206 | | max | 3.650-3.012=0.638 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5056.384-4954.245=102.140 | | σ | 1.011-0.881=0.130 | | min | 5055.808-4953.689=102.120 | | max | 5058.181-4955.809=102.372 |
| | mean | 2745.000-2700.000=45.000 | | σ | 0.000 | | min | 2745.000-2700.000=45.000 | | max | 2745.000-2700.000=45.000 |
| | mean | 9.111-8.099=1.012 | | σ | 0.570-0.459=0.110 | | min | 8.375-7.722=0.653 | | max | 9.714-8.694=1.019 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5193.742-5168.677=25.065 | | σ | 0.100-0.192=-0.093 | | min | 5193.636-5168.413=25.223 | | max | 5193.852-5168.901=24.951 |
| | mean | 3232.800-3368.200=-135.400 | | σ | 466.038-473.088=-7.050 | | min | 2745.000-2741.000=4.000 | | max | 3873.000-3996.000=-123.000 |
| | mean | 8.754-9.549=-0.795 | | σ | 0.124-0.264=-0.140 | | min | 8.676-9.117=-0.441 | | max | 8.972-9.824=-0.852 |
|