iters=5 new-facts=1 prior-facts=1 | | mean | 279.507-278.820=0.687 | | σ | 0.003-0.008=-0.005 | | min | 279.504-278.811=0.693 | | max | 279.512-278.831=0.681 |
| | mean | 2771.000-2729.000=42.000 | | σ | 0.000 | | min | 2771.000-2729.000=42.000 | | max | 2771.000-2729.000=42.000 |
| | mean | 0.413-0.416=-0.003 | | σ | 0.007-0.010=-0.002 | | min | 0.407-0.407=0.000 | | max | 0.423-0.431=-0.008 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2178.426-2268.883=-90.457 | | σ | 0.041-0.013=0.028 | | min | 2178.353-2268.872=-90.520 | | max | 2178.452-2268.905=-90.453 |
| | mean | 2771.000-2729.000=42.000 | | σ | 0.000 | | min | 2771.000-2729.000=42.000 | | max | 2771.000-2729.000=42.000 |
| | mean | 3.343-3.015=0.327 | | σ | 0.066-0.194=-0.127 | | min | 3.245-2.728=0.516 | | max | 3.405-3.233=0.172 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5056.383-4954.252=102.131 | | σ | 0.982-0.860=0.122 | | min | 5055.760-4953.819=101.941 | | max | 5058.124-4955.786=102.339 |
| | mean | 2771.000-2729.000=42.000 | | σ | 0.000 | | min | 2771.000-2729.000=42.000 | | max | 2771.000-2729.000=42.000 |
| | mean | 9.224-8.048=1.175 | | σ | 0.534-0.386=0.148 | | min | 8.279-7.700=0.580 | | max | 9.575-8.702=0.873 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5193.758-5168.717=25.041 | | σ | 0.094-0.201=-0.107 | | min | 5193.685-5168.379=25.306 | | max | 5193.871-5168.874=24.997 |
| | mean | 3287.600-3395.400=-107.800 | | σ | 448.120-493.039=-44.919 | | min | 2771.000-2820.000=-49.000 | | max | 3911.000-4129.000=-218.000 |
| | mean | 8.949-9.282=-0.333 | | σ | 0.066-0.233=-0.167 | | min | 8.859-8.937=-0.079 | | max | 9.043-9.540=-0.497 |
|