iters=5 new-facts=1 prior-facts=1 | | mean | 278.828-278.827=0.001 | | σ | 0.005-0.005=-0.001 | | min | 278.822-278.818=0.004 | | max | 278.834-278.832=0.002 |
| | mean | 2730.000-2700.000=30.000 | | σ | 0.000 | | min | 2730.000-2700.000=30.000 | | max | 2730.000-2700.000=30.000 |
| | mean | 0.418-0.410=0.008 | | σ | 0.007-0.006=0.001 | | min | 0.408-0.406=0.002 | | max | 0.426-0.418=0.009 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.888-2268.878=0.010 | | σ | 0.011-0.019=-0.007 | | min | 2268.878-2268.846=0.032 | | max | 2268.907-2268.892=0.015 |
| | mean | 2730.000-2700.000=30.000 | | σ | 0.000 | | min | 2730.000-2700.000=30.000 | | max | 2730.000-2700.000=30.000 |
| | mean | 3.125-2.936=0.189 | | σ | 0.132-0.097=0.035 | | min | 2.960-2.842=0.118 | | max | 3.239-3.099=0.140 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4954.173-4954.028=0.145 | | σ | 1.051-1.095=-0.044 | | min | 4953.106-4953.163=-0.057 | | max | 4955.933-4955.881=0.052 |
| | mean | 2730.000-2700.000=30.000 | | σ | 0.000 | | min | 2730.000-2700.000=30.000 | | max | 2730.000-2700.000=30.000 |
| | mean | 8.013-8.077=-0.064 | | σ | 0.334-0.273=0.061 | | min | 7.740-7.671=0.069 | | max | 8.584-8.382=0.202 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5168.759-5168.823=-0.064 | | σ | 0.140-0.086=0.055 | | min | 5168.556-5168.724=-0.168 | | max | 5168.896-5168.893=0.003 |
| | mean | 3429.200-3450.600=-21.400 | | σ | 503.364-482.687=20.677 | | min | 2837.000-2807.000=30.000 | | max | 4171.000-4072.000=99.000 |
| | mean | 9.547-9.177=0.371 | | σ | 0.173-0.262=-0.089 | | min | 9.346-8.848=0.498 | | max | 9.798-9.473=0.324 |
|