iters=5 new-facts=1 prior-facts=1 | | mean | 278.826-278.818=0.008 | | σ | 0.004-0.019=-0.014 | | min | 278.821-278.785=0.036 | | max | 278.832-278.831=0.001 |
| | mean | 2642.000-2673.000=-31.000 | | σ | 0.000 | | min | 2642.000-2673.000=-31.000 | | max | 2642.000-2673.000=-31.000 |
| | mean | 0.409-0.412=-0.002 | | σ | 0.005-0.002=0.003 | | min | 0.405-0.410=-0.005 | | max | 0.417-0.415=0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.892-2268.886=0.006 | | σ | 0.013-0.015=-0.001 | | min | 2268.877-2268.875=0.002 | | max | 2268.914-2268.911=0.003 |
| | mean | 2642.000-2673.000=-31.000 | | σ | 0.000 | | min | 2642.000-2673.000=-31.000 | | max | 2642.000-2673.000=-31.000 |
| | mean | 2.995-3.146=-0.152 | | σ | 0.111-0.165=-0.055 | | min | 2.871-2.918=-0.047 | | max | 3.114-3.365=-0.251 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4954.264-4954.269=-0.005 | | σ | 0.804-0.951=-0.147 | | min | 4953.813-4953.694=0.119 | | max | 4955.697-4955.952=-0.255 |
| | mean | 2642.000-2673.000=-31.000 | | σ | 0.000 | | min | 2642.000-2673.000=-31.000 | | max | 2642.000-2673.000=-31.000 |
| | mean | 7.922-8.117=-0.195 | | σ | 0.137-0.347=-0.209 | | min | 7.828-7.837=-0.010 | | max | 8.161-8.608=-0.447 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5168.795-5168.822=-0.027 | | σ | 0.076-0.090=-0.014 | | min | 5168.733-5168.719=0.014 | | max | 5168.881-5168.897=-0.016 |
| | mean | 3394.600-3447.400=-52.800 | | σ | 491.430-477.946=13.483 | | min | 2821.000-2890.000=-69.000 | | max | 4126.000-4139.000=-13.000 |
| | mean | 9.273-9.221=0.052 | | σ | 0.280-0.240=0.040 | | min | 8.908-9.015=-0.107 | | max | 9.668-9.597=0.070 |
|