iters=5 new-facts=1 prior-facts=1 | | mean | 273.505-270.125=3.380 | | σ | 0.007-0.006=0.001 | | min | 273.499-270.117=3.382 | | max | 273.517-270.133=3.383 |
| | mean | 2837.000-2771.000=66.000 | | σ | 0.000 | | min | 2837.000-2771.000=66.000 | | max | 2837.000-2771.000=66.000 |
| | mean | 0.385-0.382=0.003 | | σ | 0.005-0.007=-0.002 | | min | 0.380-0.377=0.003 | | max | 0.393-0.394=-0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.898-1930.595=3.303 | | σ | 0.007-0.009=-0.001 | | min | 1933.889-1930.585=3.304 | | max | 1933.908-1930.605=3.304 |
| | mean | 2837.000-2771.000=66.000 | | σ | 0.000 | | min | 2837.000-2771.000=66.000 | | max | 2837.000-2771.000=66.000 |
| | mean | 2.972-2.525=0.447 | | σ | 0.069-0.135=-0.066 | | min | 2.890-2.384=0.507 | | max | 3.065-2.733=0.332 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.578-4751.104=3.475 | | σ | 0.911-0.802=0.108 | | min | 4753.853-4750.724=3.128 | | max | 4756.165-4752.539=3.626 |
| | mean | 2837.000-2771.000=66.000 | | σ | 0.000 | | min | 2837.000-2771.000=66.000 | | max | 2837.000-2771.000=66.000 |
| | mean | 8.300-8.219=0.081 | | σ | 0.536-0.450=0.087 | | min | 7.806-7.698=0.108 | | max | 9.087-8.829=0.258 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4945.118-4941.461=3.657 | | σ | 0.013-0.209=-0.196 | | min | 4945.099-4941.114=3.985 | | max | 4945.131-4941.627=3.504 |
| | mean | 3073.200-3047.000=26.200 | | σ | 305.995-209.892=96.104 | | min | 2837.000-2771.000=66.000 | | max | 3541.000-3324.000=217.000 |
| | mean | 8.570-8.904=-0.334 | | σ | 0.322-0.260=0.062 | | min | 8.408-8.574=-0.165 | | max | 9.145-9.218=-0.072 |
|