iters=5 new-facts=1 prior-facts=1 | | mean | 324.706-272.793=51.913 | | σ | 0.057-0.007=0.050 | | min | 324.605-272.784=51.821 | | max | 324.740-272.802=51.938 |
| | mean | 2780.000-2774.000=6.000 | | σ | 0.000 | | min | 2780.000-2774.000=6.000 | | max | 2780.000-2774.000=6.000 |
| | mean | 0.433-0.378=0.055 | | σ | 0.011-0.001=0.009 | | min | 0.424-0.376=0.048 | | max | 0.445-0.379=0.065 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.259-1933.227=52.032 | | σ | 0.019-0.017=0.002 | | min | 1985.231-1933.198=52.033 | | max | 1985.274-1933.242=52.032 |
| | mean | 2780.000-2774.000=6.000 | | σ | 0.000 | | min | 2780.000-2774.000=6.000 | | max | 2780.000-2774.000=6.000 |
| | mean | 2.662-3.150=-0.488 | | σ | 0.128-0.141=-0.013 | | min | 2.547-3.006=-0.459 | | max | 2.838-3.346=-0.508 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.765-4756.971=51.795 | | σ | 7.455-7.566=-0.111 | | min | 4805.327-4753.545=51.782 | | max | 4822.100-4770.506=51.594 |
| | mean | 2780.000-2774.000=6.000 | | σ | 0.000 | | min | 2780.000-2774.000=6.000 | | max | 2780.000-2774.000=6.000 |
| | mean | 8.928-8.504=0.424 | | σ | 0.410-0.151=0.259 | | min | 8.237-8.309=-0.072 | | max | 9.234-8.689=0.545 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.469-4944.455=52.013 | | σ | 0.014-0.019=-0.004 | | min | 4996.453-4944.432=52.021 | | max | 4996.488-4944.481=52.007 |
| | mean | 3049.800-3041.000=8.800 | | σ | 330.908-325.006=5.902 | | min | 2780.000-2774.000=6.000 | | max | 3545.000-3526.000=19.000 |
| | mean | 8.623-8.444=0.179 | | σ | 0.187-0.103=0.084 | | min | 8.473-8.362=0.111 | | max | 8.871-8.607=0.264 |
|