iters=5 new-facts=1 prior-facts=1 | | mean | 278.702-278.693=0.009 | | σ | 0.006-0.012=-0.006 | | min | 278.695-278.686=0.009 | | max | 278.710-278.714=-0.005 |
| | mean | 2612.000-2607.000=5.000 | | σ | 0.000 | | min | 2612.000-2607.000=5.000 | | max | 2612.000-2607.000=5.000 |
| | mean | 0.424-0.419=0.005 | | σ | 0.009-0.001=0.008 | | min | 0.419-0.417=0.002 | | max | 0.440-0.420=0.019 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.872-2268.870=0.003 | | σ | 0.005-0.006=-0.000 | | min | 2268.864-2268.861=0.003 | | max | 2268.878-2268.876=0.003 |
| | mean | 2612.000-2607.000=5.000 | | σ | 0.000 | | min | 2612.000-2607.000=5.000 | | max | 2612.000-2607.000=5.000 |
| | mean | 2.982-2.908=0.074 | | σ | 0.167-0.086=0.081 | | min | 2.856-2.838=0.018 | | max | 3.275-3.058=0.217 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4952.315-4952.299=0.017 | | σ | 0.894-0.893=0.001 | | min | 4951.837-4951.840=-0.003 | | max | 4953.909-4953.895=0.015 |
| | mean | 2612.000-2607.000=5.000 | | σ | 0.000 | | min | 2612.000-2607.000=5.000 | | max | 2612.000-2607.000=5.000 |
| | mean | 8.200-8.249=-0.048 | | σ | 0.367-0.326=0.041 | | min | 7.741-7.805=-0.064 | | max | 8.636-8.667=-0.032 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5167.076-5167.067=0.009 | | σ | 0.008-0.013=-0.005 | | min | 5167.071-5167.052=0.018 | | max | 5167.090-5167.088=0.002 |
| | mean | 3396.400-3405.000=-8.600 | | σ | 444.408-461.474=-17.066 | | min | 2774.000-2769.000=5.000 | | max | 3944.000-3985.000=-41.000 |
| | mean | 9.513-9.527=-0.014 | | σ | 0.369-0.281=0.088 | | min | 9.049-9.074=-0.025 | | max | 9.976-9.770=0.206 |
|