iters=5 new-facts=1 prior-facts=1 | | mean | 324.775-324.769=0.006 | | σ | 0.040-0.046=-0.005 | | min | 324.704-324.690=0.014 | | max | 324.803-324.807=-0.004 |
| | mean | 2846.000-2827.000=19.000 | | σ | 0.000 | | min | 2846.000-2827.000=19.000 | | max | 2846.000-2827.000=19.000 |
| | mean | 0.429-0.429=0.000 | | σ | 0.007-0.010=-0.003 | | min | 0.423-0.420=0.003 | | max | 0.439-0.440=-0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.316-1985.308=0.008 | | σ | 0.015-0.013=0.003 | | min | 1985.299-1985.292=0.007 | | max | 1985.335-1985.328=0.008 |
| | mean | 2846.000-2827.000=19.000 | | σ | 0.000 | | min | 2846.000-2827.000=19.000 | | max | 2846.000-2827.000=19.000 |
| | mean | 2.662-2.705=-0.043 | | σ | 0.137-0.153=-0.016 | | min | 2.554-2.571=-0.018 | | max | 2.875-2.949=-0.074 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4809.089-4808.968=0.121 | | σ | 7.652-7.400=0.253 | | min | 4805.552-4805.630=-0.078 | | max | 4822.777-4822.204=0.573 |
| | mean | 2846.000-2827.000=19.000 | | σ | 0.000 | | min | 2846.000-2827.000=19.000 | | max | 2846.000-2827.000=19.000 |
| | mean | 8.734-8.765=-0.032 | | σ | 0.375-0.199=0.176 | | min | 8.307-8.442=-0.135 | | max | 9.200-8.949=0.251 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.556-4996.630=-0.073 | | σ | 0.165-0.023=0.142 | | min | 4996.264-4996.604=-0.340 | | max | 4996.648-4996.655=-0.006 |
| | mean | 3053.400-3033.400=20.000 | | σ | 286.920-275.928=10.991 | | min | 2846.000-2827.000=19.000 | | max | 3505.000-3466.000=39.000 |
| | mean | 8.521-8.506=0.015 | | σ | 0.147-0.120=0.027 | | min | 8.390-8.415=-0.025 | | max | 8.738-8.714=0.024 |
|