iters=5 new-facts=1 prior-facts=1 | | mean | 278.826-278.818=0.008 | | σ | 0.004-0.005=-0.001 | | min | 278.821-278.812=0.009 | | max | 278.832-278.823=0.009 |
| | mean | 2642.000-2697.000=-55.000 | | σ | 0.000 | | min | 2642.000-2697.000=-55.000 | | max | 2642.000-2697.000=-55.000 |
| | mean | 0.409-0.412=-0.003 | | σ | 0.005-0.004=0.001 | | min | 0.405-0.409=-0.004 | | max | 0.417-0.417=-0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.892-2268.880=0.012 | | σ | 0.013-0.010=0.004 | | min | 2268.877-2268.873=0.005 | | max | 2268.914-2268.897=0.017 |
| | mean | 2642.000-2697.000=-55.000 | | σ | 0.000 | | min | 2642.000-2697.000=-55.000 | | max | 2642.000-2697.000=-55.000 |
| | mean | 2.995-3.080=-0.085 | | σ | 0.111-0.193=-0.082 | | min | 2.871-2.886=-0.015 | | max | 3.114-3.309=-0.195 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4954.264-4954.265=-0.001 | | σ | 0.804-0.837=-0.033 | | min | 4953.813-4953.856=-0.042 | | max | 4955.697-4955.760=-0.063 |
| | mean | 2642.000-2697.000=-55.000 | | σ | 0.000 | | min | 2642.000-2697.000=-55.000 | | max | 2642.000-2697.000=-55.000 |
| | mean | 7.922-7.945=-0.023 | | σ | 0.137-0.358=-0.220 | | min | 7.828-7.573=0.255 | | max | 8.161-8.532=-0.371 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5168.795-5168.789=0.006 | | σ | 0.076-0.076=0.000 | | min | 5168.733-5168.718=0.015 | | max | 5168.881-5168.872=0.009 |
| | mean | 3394.600-3301.800=92.800 | | σ | 491.430-389.066=102.364 | | min | 2821.000-2916.000=-95.000 | | max | 4126.000-3694.000=432.000 |
| | mean | 9.273-9.166=0.107 | | σ | 0.280-0.394=-0.113 | | min | 8.908-8.726=0.182 | | max | 9.668-9.751=-0.083 |
|