iters=5 new-facts=1 prior-facts=1 | | mean | 271.756-271.758=-0.002 | | σ | 0.007-0.006=0.001 | | min | 271.745-271.751=-0.006 | | max | 271.761-271.767=-0.006 |
| | mean | 2882.000-2898.000=-16.000 | | σ | 0.000 | | min | 2882.000-2898.000=-16.000 | | max | 2882.000-2898.000=-16.000 |
| | mean | 0.381-0.380=0.001 | | σ | 0.005-0.004=0.001 | | min | 0.375-0.378=-0.002 | | max | 0.388-0.387=0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.179-1932.180=-0.001 | | σ | 0.009-0.012=-0.003 | | min | 1932.171-1932.163=0.008 | | max | 1932.194-1932.197=-0.002 |
| | mean | 2882.000-2898.000=-16.000 | | σ | 0.000 | | min | 2882.000-2898.000=-16.000 | | max | 2882.000-2898.000=-16.000 |
| | mean | 3.035-3.068=-0.033 | | σ | 0.092-0.132=-0.040 | | min | 2.945-2.919=0.025 | | max | 3.190-3.215=-0.026 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.990-4752.839=0.150 | | σ | 0.805-0.960=-0.155 | | min | 4752.542-4751.809=0.733 | | max | 4754.426-4754.418=0.008 |
| | mean | 2882.000-2898.000=-16.000 | | σ | 0.000 | | min | 2882.000-2898.000=-16.000 | | max | 2882.000-2898.000=-16.000 |
| | mean | 7.931-8.286=-0.356 | | σ | 0.322-0.624=-0.302 | | min | 7.697-7.676=0.021 | | max | 8.490-9.176=-0.686 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.380-4943.385=-0.005 | | σ | 0.029-0.017=0.012 | | min | 4943.342-4943.364=-0.021 | | max | 4943.406-4943.404=0.002 |
| | mean | 3097.800-3063.200=34.600 | | σ | 304.842-246.640=58.202 | | min | 2882.000-2898.000=-16.000 | | max | 3571.000-3450.000=121.000 |
| | mean | 8.595-8.528=0.067 | | σ | 0.320-0.143=0.177 | | min | 8.367-8.396=-0.028 | | max | 9.134-8.745=0.390 |
|