iters=5 new-facts=1 prior-facts=1 | | mean | 326.581-326.571=0.009 | | σ | 0.027-0.046=-0.019 | | min | 326.535-326.492=0.043 | | max | 326.606-326.604=0.001 |
| | mean | 2737.000-2591.000=146.000 | | σ | 0.000 | | min | 2737.000-2591.000=146.000 | | max | 2737.000-2591.000=146.000 |
| | mean | 0.421-0.422=-0.001 | | σ | 0.001-0.001=-0.001 | | min | 0.421-0.420=0.000 | | max | 0.423-0.423=-0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.740-1988.726=0.014 | | σ | 0.014-0.019=-0.005 | | min | 1988.723-1988.710=0.013 | | max | 1988.754-1988.748=0.006 |
| | mean | 2737.000-2591.000=146.000 | | σ | 0.000 | | min | 2737.000-2591.000=146.000 | | max | 2737.000-2591.000=146.000 |
| | mean | 2.672-2.671=0.001 | | σ | 0.054-0.100=-0.046 | | min | 2.614-2.551=0.063 | | max | 2.762-2.816=-0.054 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.457-4813.457=-0.000 | | σ | 7.767-7.470=0.297 | | min | 4809.546-4810.091=-0.545 | | max | 4827.344-4826.819=0.524 |
| | mean | 2737.000-2591.000=146.000 | | σ | 0.000 | | min | 2737.000-2591.000=146.000 | | max | 2737.000-2591.000=146.000 |
| | mean | 8.787-8.919=-0.131 | | σ | 0.293-0.194=0.099 | | min | 8.323-8.606=-0.283 | | max | 9.072-9.114=-0.043 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.157-5001.134=0.022 | | σ | 0.035-0.026=0.009 | | min | 5001.113-5001.105=0.008 | | max | 5001.200-5001.168=0.032 |
| | mean | 3014.800-3003.200=11.600 | | σ | 230.554-318.399=-87.845 | | min | 2737.000-2591.000=146.000 | | max | 3288.000-3408.000=-120.000 |
| | mean | 9.993-9.722=0.272 | | σ | 0.189-0.233=-0.044 | | min | 9.674-9.319=0.355 | | max | 10.173-9.882=0.291 |
|