iters=5 new-facts=1 prior-facts=1 | | mean | 271.600-269.378=2.222 | | σ | 0.003-0.006=-0.003 | | min | 271.596-269.373=2.223 | | max | 271.604-269.387=2.217 |
| | mean | 2773.000-2775.000=-2.000 | | σ | 0.000 | | min | 2773.000-2775.000=-2.000 | | max | 2773.000-2775.000=-2.000 |
| | mean | 0.385-0.377=0.008 | | σ | 0.004-0.005=-0.001 | | min | 0.382-0.374=0.008 | | max | 0.390-0.387=0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1931.983-1929.741=2.242 | | σ | 0.025-0.018=0.007 | | min | 1931.950-1929.723=2.226 | | max | 1932.011-1929.764=2.248 |
| | mean | 2773.000-2775.000=-2.000 | | σ | 0.000 | | min | 2773.000-2775.000=-2.000 | | max | 2773.000-2775.000=-2.000 |
| | mean | 2.523-2.996=-0.473 | | σ | 0.105-0.105=0.000 | | min | 2.376-2.835=-0.459 | | max | 2.646-3.127=-0.482 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.593-4750.503=2.090 | | σ | 0.688-0.845=-0.156 | | min | 4752.242-4750.046=2.196 | | max | 4753.822-4752.009=1.813 |
| | mean | 2773.000-2775.000=-2.000 | | σ | 0.000 | | min | 2773.000-2775.000=-2.000 | | max | 2773.000-2775.000=-2.000 |
| | mean | 8.786-8.451=0.335 | | σ | 0.253-0.439=-0.185 | | min | 8.486-7.834=0.651 | | max | 9.029-8.898=0.131 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.135-4940.853=2.282 | | σ | 0.152-0.181=-0.030 | | min | 4942.864-4940.633=2.231 | | max | 4943.216-4940.997=2.219 |
| | mean | 3025.800-2968.000=57.800 | | σ | 231.467-256.031=-24.564 | | min | 2773.000-2775.000=-2.000 | | max | 3329.000-3375.000=-46.000 |
| | mean | 8.544-8.395=0.148 | | σ | 0.141-0.045=0.096 | | min | 8.406-8.347=0.059 | | max | 8.762-8.463=0.299 |
|