iters=5 new-facts=1 prior-facts=1 | | mean | 275.566-275.565=0.001 | | σ | 0.004-0.006=-0.002 | | min | 275.559-275.559=-0.000 | | max | 275.569-275.573=-0.004 |
| | mean | 2643.000-2843.000=-200.000 | | σ | 0.000 | | min | 2643.000-2843.000=-200.000 | | max | 2643.000-2843.000=-200.000 |
| | mean | 0.392-0.387=0.006 | | σ | 0.007-0.002=0.005 | | min | 0.387-0.384=0.003 | | max | 0.401-0.389=0.012 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.102-2168.090=0.012 | | σ | 0.009-0.022=-0.013 | | min | 2168.089-2168.059=0.030 | | max | 2168.114-2168.117=-0.003 |
| | mean | 2643.000-2843.000=-200.000 | | σ | 0.000 | | min | 2643.000-2843.000=-200.000 | | max | 2643.000-2843.000=-200.000 |
| | mean | 2.830-2.844=-0.013 | | σ | 0.119-0.129=-0.010 | | min | 2.680-2.673=0.007 | | max | 2.969-2.995=-0.026 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5047.894-5047.949=-0.056 | | σ | 0.908-0.923=-0.015 | | min | 5047.374-5047.372=0.002 | | max | 5049.507-5049.590=-0.083 |
| | mean | 2643.000-2843.000=-200.000 | | σ | 0.000 | | min | 2643.000-2843.000=-200.000 | | max | 2643.000-2843.000=-200.000 |
| | mean | 8.850-8.872=-0.023 | | σ | 0.452-0.641=-0.189 | | min | 8.084-8.091=-0.007 | | max | 9.284-9.533=-0.249 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.027-5179.048=-0.021 | | σ | 0.087-0.095=-0.008 | | min | 5178.942-5178.958=-0.016 | | max | 5179.123-5179.154=-0.030 |
| | mean | 3207.600-3283.000=-75.400 | | σ | 485.494-392.859=92.634 | | min | 2643.000-2843.000=-200.000 | | max | 3864.000-3848.000=16.000 |
| | mean | 9.609-9.712=-0.104 | | σ | 0.610-0.588=0.023 | | min | 8.635-8.795=-0.160 | | max | 10.197-10.177=0.020 |
|