iters=5 new-facts=1 prior-facts=1 | | mean | 277.475-272.020=5.455 | | σ | 0.005-0.005=0.000 | | min | 277.471-272.015=5.456 | | max | 277.482-272.027=5.455 |
| | mean | 2900.000-2855.000=45.000 | | σ | 0.000 | | min | 2900.000-2855.000=45.000 | | max | 2900.000-2855.000=45.000 |
| | mean | 0.393-0.392=0.001 | | σ | 0.005-0.009=-0.004 | | min | 0.388-0.380=0.008 | | max | 0.400-0.404=-0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1937.902-1932.443=5.459 | | σ | 0.011-0.005=0.006 | | min | 1937.884-1932.437=5.447 | | max | 1937.912-1932.450=5.462 |
| | mean | 2900.000-2855.000=45.000 | | σ | 0.000 | | min | 2900.000-2855.000=45.000 | | max | 2900.000-2855.000=45.000 |
| | mean | 2.969-2.937=0.033 | | σ | 0.031-0.089=-0.058 | | min | 2.926-2.836=0.090 | | max | 2.999-3.064=-0.065 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4758.610-4752.873=5.737 | | σ | 0.918-0.768=0.150 | | min | 4758.167-4752.108=6.058 | | max | 4760.250-4754.121=6.129 |
| | mean | 2900.000-2855.000=45.000 | | σ | 0.000 | | min | 2900.000-2855.000=45.000 | | max | 2900.000-2855.000=45.000 |
| | mean | 8.703-8.196=0.506 | | σ | 0.222-0.619=-0.397 | | min | 8.394-7.689=0.705 | | max | 8.966-9.139=-0.173 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4949.109-4943.560=5.549 | | σ | 0.024-0.161=-0.138 | | min | 4949.082-4943.273=5.809 | | max | 4949.137-4943.648=5.490 |
| | mean | 3041.000-3067.800=-26.800 | | σ | 169.462-277.793=-108.330 | | min | 2900.000-2855.000=45.000 | | max | 3315.000-3498.000=-183.000 |
| | mean | 8.634-8.495=0.139 | | σ | 0.122-0.191=-0.069 | | min | 8.513-8.381=0.132 | | max | 8.825-8.829=-0.005 |
|