iters=5 new-facts=1 prior-facts=1 | | mean | 278.819-278.820=-0.000 | | σ | 0.006-0.006=-0.000 | | min | 278.810-278.809=0.001 | | max | 278.826-278.826=0.000 |
| | mean | 2696.000-2726.000=-30.000 | | σ | 0.000 | | min | 2696.000-2726.000=-30.000 | | max | 2696.000-2726.000=-30.000 |
| | mean | 0.409-0.407=0.002 | | σ | 0.002-0.007=-0.004 | | min | 0.406-0.403=0.003 | | max | 0.412-0.418=-0.007 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.885-2268.870=0.015 | | σ | 0.016-0.019=-0.003 | | min | 2268.863-2268.841=0.021 | | max | 2268.903-2268.892=0.011 |
| | mean | 2696.000-2726.000=-30.000 | | σ | 0.000 | | min | 2696.000-2726.000=-30.000 | | max | 2696.000-2726.000=-30.000 |
| | mean | 3.044-3.070=-0.026 | | σ | 0.165-0.160=0.005 | | min | 2.852-2.921=-0.069 | | max | 3.208-3.305=-0.096 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4954.002-4954.271=-0.269 | | σ | 1.150-0.808=0.343 | | min | 4952.648-4953.847=-1.199 | | max | 4955.837-4955.710=0.127 |
| | mean | 2696.000-2726.000=-30.000 | | σ | 0.000 | | min | 2696.000-2726.000=-30.000 | | max | 2696.000-2726.000=-30.000 |
| | mean | 8.209-7.855=0.354 | | σ | 0.412-0.274=0.138 | | min | 7.870-7.591=0.279 | | max | 8.866-8.313=0.553 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5168.783-5168.788=-0.005 | | σ | 0.072-0.081=-0.009 | | min | 5168.724-5168.717=0.007 | | max | 5168.870-5168.878=-0.008 |
| | mean | 3468.400-3454.800=13.600 | | σ | 508.551-480.558=27.993 | | min | 2840.000-2874.000=-34.000 | | max | 4184.000-4151.000=33.000 |
| | mean | 9.388-9.255=0.133 | | σ | 0.523-0.303=0.220 | | min | 8.513-8.876=-0.363 | | max | 9.795-9.663=0.131 |
|