iters=5 new-facts=1 prior-facts=1 | | mean | 272.792-273.610=-0.818 | | σ | 0.003-0.005=-0.003 | | min | 272.788-273.602=-0.814 | | max | 272.794-273.615=-0.821 |
| | mean | 2784.000-2870.000=-86.000 | | σ | 0.000 | | min | 2784.000-2870.000=-86.000 | | max | 2784.000-2870.000=-86.000 |
| | mean | 0.377-0.384=-0.007 | | σ | 0.001-0.004=-0.003 | | min | 0.376-0.381=-0.005 | | max | 0.379-0.391=-0.012 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.229-1933.997=-0.768 | | σ | 0.012-0.012=-0.000 | | min | 1933.215-1933.975=-0.760 | | max | 1933.243-1934.006=-0.762 |
| | mean | 2784.000-2870.000=-86.000 | | σ | 0.000 | | min | 2784.000-2870.000=-86.000 | | max | 2784.000-2870.000=-86.000 |
| | mean | 2.987-3.025=-0.038 | | σ | 0.101-0.070=0.031 | | min | 2.878-2.955=-0.077 | | max | 3.143-3.118=0.024 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4756.832-4754.758=2.074 | | σ | 7.638-0.843=6.795 | | min | 4752.915-4754.211=-1.296 | | max | 4770.484-4756.249=14.236 |
| | mean | 2784.000-2870.000=-86.000 | | σ | 0.000 | | min | 2784.000-2870.000=-86.000 | | max | 2784.000-2870.000=-86.000 |
| | mean | 8.755-8.694=0.061 | | σ | 0.252-0.396=-0.144 | | min | 8.483-8.401=0.082 | | max | 9.064-9.374=-0.309 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.381-4945.224=-0.843 | | σ | 0.168-0.019=0.150 | | min | 4944.082-4945.207=-1.125 | | max | 4944.480-4945.246=-0.766 |
| | mean | 3001.000-3049.600=-48.600 | | σ | 225.536-188.130=37.406 | | min | 2784.000-2870.000=-86.000 | | max | 3334.000-3320.000=14.000 |
| | mean | 8.522-8.478=0.044 | | σ | 0.089-0.098=-0.009 | | min | 8.421-8.376=0.045 | | max | 8.620-8.616=0.004 |
|