iters=5 new-facts=1 prior-facts=1 | | mean | 279.555-278.846=0.709 | | σ | 0.008-0.005=0.003 | | min | 279.544-278.837=0.707 | | max | 279.563-278.850=0.714 |
| | mean | 2759.000-2692.000=67.000 | | σ | 0.000 | | min | 2759.000-2692.000=67.000 | | max | 2759.000-2692.000=67.000 |
| | mean | 0.410-0.412=-0.002 | | σ | 0.005-0.007=-0.002 | | min | 0.406-0.406=0.000 | | max | 0.419-0.422=-0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2178.481-2268.909=-90.428 | | σ | 0.015-0.005=0.010 | | min | 2178.461-2268.902=-90.441 | | max | 2178.494-2268.915=-90.421 |
| | mean | 2759.000-2692.000=67.000 | | σ | 0.000 | | min | 2759.000-2692.000=67.000 | | max | 2759.000-2692.000=67.000 |
| | mean | 3.293-3.007=0.286 | | σ | 0.183-0.133=0.050 | | min | 3.014-2.900=0.114 | | max | 3.468-3.169=0.299 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5056.429-4954.038=102.391 | | σ | 0.982-1.005=-0.023 | | min | 5055.810-4953.241=102.570 | | max | 5058.173-4955.744=102.428 |
| | mean | 2759.000-2692.000=67.000 | | σ | 0.000 | | min | 2759.000-2692.000=67.000 | | max | 2759.000-2692.000=67.000 |
| | mean | 9.003-8.047=0.956 | | σ | 0.627-0.176=0.452 | | min | 8.265-7.862=0.403 | | max | 9.703-8.235=1.468 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5193.808-5168.813=24.995 | | σ | 0.088-0.080=0.009 | | min | 5193.737-5168.744=24.993 | | max | 5193.907-5168.902=25.005 |
| | mean | 3291.600-3479.600=-188.000 | | σ | 397.385-475.204=-77.820 | | min | 2759.000-2849.000=-90.000 | | max | 3667.000-4127.000=-460.000 |
| | mean | 9.028-9.215=-0.187 | | σ | 0.289-0.300=-0.011 | | min | 8.752-8.920=-0.168 | | max | 9.496-9.686=-0.190 |
|