iters=5 new-facts=1 prior-facts=1 | | mean | 266.785-266.788=-0.002 | | σ | 0.009-0.007=0.002 | | min | 266.775-266.779=-0.005 | | max | 266.796-266.798=-0.002 |
| | mean | 2834.000-2491.000=343.000 | | σ | 0.000 | | min | 2834.000-2491.000=343.000 | | max | 2834.000-2491.000=343.000 |
| | mean | 0.378-0.374=0.003 | | σ | 0.010-0.003=0.007 | | min | 0.371-0.372=-0.001 | | max | 0.394-0.379=0.015 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1927.210-1927.213=-0.003 | | σ | 0.008-0.012=-0.004 | | min | 1927.201-1927.198=0.003 | | max | 1927.223-1927.231=-0.009 |
| | mean | 2834.000-2491.000=343.000 | | σ | 0.000 | | min | 2834.000-2491.000=343.000 | | max | 2834.000-2491.000=343.000 |
| | mean | 3.088-3.058=0.029 | | σ | 0.132-0.115=0.017 | | min | 2.984-2.970=0.014 | | max | 3.294-3.257=0.037 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4747.593-4747.728=-0.135 | | σ | 0.949-0.796=0.153 | | min | 4746.791-4747.356=-0.566 | | max | 4749.240-4749.153=0.087 |
| | mean | 2834.000-2491.000=343.000 | | σ | 0.000 | | min | 2834.000-2491.000=343.000 | | max | 2834.000-2491.000=343.000 |
| | mean | 8.525-8.222=0.303 | | σ | 0.653-0.604=0.050 | | min | 7.596-7.691=-0.095 | | max | 9.287-8.925=0.361 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4938.169-4938.164=0.005 | | σ | 0.087-0.078=0.009 | | min | 4938.101-4938.105=-0.003 | | max | 4938.271-4938.252=0.018 |
| | mean | 3072.800-2968.000=104.800 | | σ | 224.318-438.647=-214.329 | | min | 2834.000-2491.000=343.000 | | max | 3402.000-3559.000=-157.000 |
| | mean | 8.556-8.530=0.026 | | σ | 0.188-0.219=-0.031 | | min | 8.384-8.358=0.026 | | max | 8.764-8.887=-0.123 |
|