iters=5 new-facts=1 prior-facts=1 | | mean | 326.632-326.571=0.061 | | σ | 0.061-0.046=0.016 | | min | 326.523-326.492=0.031 | | max | 326.671-326.604=0.066 |
| | mean | 2760.000-2591.000=169.000 | | σ | 0.000 | | min | 2760.000-2591.000=169.000 | | max | 2760.000-2591.000=169.000 |
| | mean | 0.429-0.422=0.007 | | σ | 0.006-0.001=0.004 | | min | 0.424-0.420=0.004 | | max | 0.439-0.423=0.015 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.799-1988.726=0.073 | | σ | 0.015-0.019=-0.004 | | min | 1988.782-1988.710=0.072 | | max | 1988.820-1988.748=0.072 |
| | mean | 2760.000-2591.000=169.000 | | σ | 0.000 | | min | 2760.000-2591.000=169.000 | | max | 2760.000-2591.000=169.000 |
| | mean | 2.679-2.671=0.008 | | σ | 0.143-0.100=0.043 | | min | 2.576-2.551=0.024 | | max | 2.926-2.816=0.110 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.553-4813.457=0.096 | | σ | 7.513-7.470=0.043 | | min | 4810.142-4810.091=0.051 | | max | 4826.992-4826.819=0.172 |
| | mean | 2760.000-2591.000=169.000 | | σ | 0.000 | | min | 2760.000-2591.000=169.000 | | max | 2760.000-2591.000=169.000 |
| | mean | 8.923-8.919=0.005 | | σ | 0.444-0.194=0.250 | | min | 8.467-8.606=-0.139 | | max | 9.539-9.114=0.425 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.131-5001.134=-0.003 | | σ | 0.156-0.026=0.131 | | min | 5000.855-5001.105=-0.251 | | max | 5001.231-5001.168=0.063 |
| | mean | 2989.200-3003.200=-14.000 | | σ | 228.327-318.399=-90.072 | | min | 2760.000-2591.000=169.000 | | max | 3322.000-3408.000=-86.000 |
| | mean | 9.645-9.722=-0.076 | | σ | 0.182-0.233=-0.051 | | min | 9.460-9.319=0.141 | | max | 9.901-9.882=0.019 |
|