iters=5 new-facts=1 prior-facts=1 | | mean | 279.509-278.844=0.665 | | σ | 0.006-0.010=-0.004 | | min | 279.501-278.832=0.669 | | max | 279.515-278.857=0.658 |
| | mean | 2753.000-2731.000=22.000 | | σ | 0.000 | | min | 2753.000-2731.000=22.000 | | max | 2753.000-2731.000=22.000 |
| | mean | 0.408-0.409=-0.001 | | σ | 0.007-0.001=0.005 | | min | 0.404-0.407=-0.004 | | max | 0.420-0.410=0.010 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2178.438-2268.900=-90.462 | | σ | 0.014-0.019=-0.004 | | min | 2178.426-2268.873=-90.447 | | max | 2178.462-2268.922=-90.460 |
| | mean | 2753.000-2731.000=22.000 | | σ | 0.000 | | min | 2753.000-2731.000=22.000 | | max | 2753.000-2731.000=22.000 |
| | mean | 3.347-3.207=0.139 | | σ | 0.123-0.168=-0.045 | | min | 3.225-2.919=0.306 | | max | 3.532-3.352=0.180 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5056.368-4954.042=102.326 | | σ | 0.980-1.057=-0.077 | | min | 5055.761-4953.240=102.521 | | max | 5058.104-4955.826=102.279 |
| | mean | 2753.000-2731.000=22.000 | | σ | 0.000 | | min | 2753.000-2731.000=22.000 | | max | 2753.000-2731.000=22.000 |
| | mean | 9.120-8.046=1.074 | | σ | 0.536-0.392=0.144 | | min | 8.210-7.794=0.416 | | max | 9.581-8.739=0.842 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5193.760-5168.748=25.012 | | σ | 0.090-0.210=-0.120 | | min | 5193.686-5168.403=25.283 | | max | 5193.860-5168.935=24.925 |
| | mean | 3241.400-3365.400=-124.000 | | σ | 340.469-410.562=-70.093 | | min | 2753.000-2965.000=-212.000 | | max | 3683.000-3785.000=-102.000 |
| | mean | 9.028-9.201=-0.173 | | σ | 0.390-0.568=-0.178 | | min | 8.747-8.540=0.207 | | max | 9.700-9.813=-0.112 |
|