iters=5 new-facts=1 prior-facts=1 | | mean | 324.584-321.050=3.535 | | σ | 0.043-0.037=0.006 | | min | 324.507-320.985=3.523 | | max | 324.607-321.073=3.534 |
| | mean | 2733.000-2761.000=-28.000 | | σ | 0.000 | | min | 2733.000-2761.000=-28.000 | | max | 2733.000-2761.000=-28.000 |
| | mean | 0.423-0.421=0.002 | | σ | 0.001-0.001=0.000 | | min | 0.422-0.419=0.003 | | max | 0.425-0.422=0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.137-1981.621=3.517 | | σ | 0.016-0.013=0.004 | | min | 1985.117-1981.601=3.516 | | max | 1985.156-1981.635=3.522 |
| | mean | 2733.000-2761.000=-28.000 | | σ | 0.000 | | min | 2733.000-2761.000=-28.000 | | max | 2733.000-2761.000=-28.000 |
| | mean | 2.686-2.699=-0.013 | | σ | 0.149-0.112=0.037 | | min | 2.564-2.562=0.002 | | max | 2.932-2.847=0.085 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.541-4805.256=3.285 | | σ | 7.784-7.706=0.078 | | min | 4804.670-4801.761=2.909 | | max | 4822.455-4819.040=3.415 |
| | mean | 2733.000-2761.000=-28.000 | | σ | 0.000 | | min | 2733.000-2761.000=-28.000 | | max | 2733.000-2761.000=-28.000 |
| | mean | 8.494-8.888=-0.394 | | σ | 0.676-0.243=0.433 | | min | 7.762-8.508=-0.746 | | max | 9.211-9.151=0.060 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.339-4992.833=3.506 | | σ | 0.019-0.015=0.005 | | min | 4996.313-4992.816=3.498 | | max | 4996.355-4992.845=3.510 |
| | mean | 3026.400-3053.400=-27.000 | | σ | 347.765-298.366=49.399 | | min | 2733.000-2761.000=-28.000 | | max | 3542.000-3358.000=184.000 |
| | mean | 8.500-8.848=-0.348 | | σ | 0.139-0.322=-0.183 | | min | 8.403-8.455=-0.052 | | max | 8.744-9.310=-0.566 |
|