iters=5 new-facts=1 prior-facts=1 | | mean | 278.675-278.674=0.001 | | σ | 0.014-0.014=-0.001 | | min | 278.660-278.659=0.001 | | max | 278.692-278.691=0.001 |
| | mean | 2608.000-2602.000=6.000 | | σ | 0.000 | | min | 2608.000-2602.000=6.000 | | max | 2608.000-2602.000=6.000 |
| | mean | 0.421-0.417=0.005 | | σ | 0.001-0.002=-0.001 | | min | 0.420-0.413=0.007 | | max | 0.422-0.419=0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.847-2268.850=-0.004 | | σ | 0.006-0.005=0.001 | | min | 2268.841-2268.843=-0.002 | | max | 2268.853-2268.855=-0.002 |
| | mean | 2608.000-2602.000=6.000 | | σ | 0.000 | | min | 2608.000-2602.000=6.000 | | max | 2608.000-2602.000=6.000 |
| | mean | 3.094-2.923=0.171 | | σ | 0.195-0.065=0.130 | | min | 2.929-2.875=0.054 | | max | 3.396-3.037=0.359 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4952.233-4952.222=0.011 | | σ | 0.837-0.834=0.003 | | min | 4951.756-4951.717=0.040 | | max | 4953.721-4953.705=0.016 |
| | mean | 2608.000-2602.000=6.000 | | σ | 0.000 | | min | 2608.000-2602.000=6.000 | | max | 2608.000-2602.000=6.000 |
| | mean | 7.996-8.032=-0.036 | | σ | 0.294-0.329=-0.035 | | min | 7.759-7.651=0.108 | | max | 8.475-8.415=0.060 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5166.888-5166.885=0.003 | | σ | 0.196-0.124=0.072 | | min | 5166.563-5166.697=-0.134 | | max | 5167.046-5167.045=0.001 |
| | mean | 3454.200-3421.200=33.000 | | σ | 467.287-451.353=15.933 | | min | 2870.000-2810.000=60.000 | | max | 4117.000-3985.000=132.000 |
| | mean | 9.459-9.456=0.003 | | σ | 0.235-0.306=-0.071 | | min | 9.191-9.011=0.180 | | max | 9.740-9.833=-0.093 |
|