iters=5 new-facts=1 prior-facts=1 | | mean | 277.199-277.193=0.006 | | σ | 0.006-0.005=0.002 | | min | 277.192-277.189=0.003 | | max | 277.207-277.200=0.007 |
| | mean | 2660.000-2632.000=28.000 | | σ | 0.000 | | min | 2660.000-2632.000=28.000 | | max | 2660.000-2632.000=28.000 |
| | mean | 0.416-0.396=0.020 | | σ | 0.013-0.009=0.004 | | min | 0.402-0.391=0.011 | | max | 0.432-0.411=0.021 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2174.437-2174.445=-0.008 | | σ | 0.023-0.022=0.001 | | min | 2174.418-2174.421=-0.003 | | max | 2174.477-2174.471=0.005 |
| | mean | 2660.000-2632.000=28.000 | | σ | 0.000 | | min | 2660.000-2632.000=28.000 | | max | 2660.000-2632.000=28.000 |
| | mean | 2.950-2.931=0.019 | | σ | 0.143-0.125=0.018 | | min | 2.785-2.779=0.006 | | max | 3.093-3.105=-0.012 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5052.471-5052.479=-0.008 | | σ | 1.076-1.077=-0.001 | | min | 5051.681-5051.514=0.167 | | max | 5054.359-5054.334=0.024 |
| | mean | 2660.000-2632.000=28.000 | | σ | 0.000 | | min | 2660.000-2632.000=28.000 | | max | 2660.000-2632.000=28.000 |
| | mean | 9.029-8.802=0.226 | | σ | 0.606-0.557=0.048 | | min | 7.991-8.125=-0.134 | | max | 9.522-9.451=0.071 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5188.431-5188.333=0.098 | | σ | 0.087-0.131=-0.044 | | min | 5188.353-5188.180=0.174 | | max | 5188.528-5188.516=0.012 |
| | mean | 3232.200-3293.000=-60.800 | | σ | 371.091-417.447=-46.356 | | min | 2709.000 | | max | 3687.000-3679.000=8.000 |
| | mean | 9.105-8.986=0.118 | | σ | 0.729-0.409=0.320 | | min | 8.693-8.676=0.017 | | max | 10.399-9.704=0.696 |
|