iters=5 new-facts=1 prior-facts=1 | | mean | 324.009-272.794=51.215 | | σ | 0.056-0.006=0.050 | | min | 323.909-272.783=51.126 | | max | 324.038-272.797=51.240 |
| | mean | 2780.000-2773.000=7.000 | | σ | 0.000 | | min | 2780.000-2773.000=7.000 | | max | 2780.000-2773.000=7.000 |
| | mean | 0.427-0.381=0.046 | | σ | 0.006-0.009=-0.003 | | min | 0.423-0.373=0.050 | | max | 0.437-0.394=0.042 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1984.593-1933.229=51.364 | | σ | 0.011-0.009=0.002 | | min | 1984.579-1933.218=51.361 | | max | 1984.603-1933.241=51.362 |
| | mean | 2780.000-2773.000=7.000 | | σ | 0.000 | | min | 2780.000-2773.000=7.000 | | max | 2780.000-2773.000=7.000 |
| | mean | 2.668-2.883=-0.215 | | σ | 0.105-0.276=-0.170 | | min | 2.557-2.416=0.141 | | max | 2.794-3.067=-0.273 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.266-4757.008=51.258 | | σ | 7.755-7.569=0.186 | | min | 4804.680-4753.543=51.136 | | max | 4822.136-4770.547=51.589 |
| | mean | 2780.000-2773.000=7.000 | | σ | 0.000 | | min | 2780.000-2773.000=7.000 | | max | 2780.000-2773.000=7.000 |
| | mean | 8.642-8.159=0.483 | | σ | 0.528-0.477=0.051 | | min | 7.715-7.674=0.041 | | max | 8.973-8.772=0.200 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4995.802-4944.451=51.351 | | σ | 0.026-0.022=0.004 | | min | 4995.763-4944.428=51.335 | | max | 4995.836-4944.484=51.352 |
| | mean | 3026.000-3017.600=8.400 | | σ | 287.281-285.499=1.782 | | min | 2780.000-2773.000=7.000 | | max | 3435.000-3428.000=7.000 |
| | mean | 8.506-8.497=0.009 | | σ | 0.087-0.109=-0.023 | | min | 8.435-8.357=0.078 | | max | 8.655-8.652=0.003 |
|