iters=5 new-facts=1 prior-facts=1 | | mean | 324.713-324.705=0.008 | | σ | 0.047-0.056=-0.010 | | min | 324.631-324.605=0.026 | | max | 324.747-324.740=0.006 |
| | mean | 2823.000-2842.000=-19.000 | | σ | 0.000 | | min | 2823.000-2842.000=-19.000 | | max | 2823.000-2842.000=-19.000 |
| | mean | 0.424-0.426=-0.002 | | σ | 0.002-0.012=-0.010 | | min | 0.421-0.420=0.001 | | max | 0.426-0.447=-0.021 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.271-1985.267=0.004 | | σ | 0.006-0.011=-0.005 | | min | 1985.262-1985.248=0.015 | | max | 1985.276-1985.277=-0.001 |
| | mean | 2823.000-2842.000=-19.000 | | σ | 0.000 | | min | 2823.000-2842.000=-19.000 | | max | 2823.000-2842.000=-19.000 |
| | mean | 2.626-2.629=-0.002 | | σ | 0.091-0.211=-0.120 | | min | 2.554-2.437=0.117 | | max | 2.734-2.965=-0.231 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.774-4808.890=-0.116 | | σ | 7.736-7.637=0.098 | | min | 4804.868-4805.448=-0.581 | | max | 4822.604-4822.552=0.052 |
| | mean | 2823.000-2842.000=-19.000 | | σ | 0.000 | | min | 2823.000-2842.000=-19.000 | | max | 2823.000-2842.000=-19.000 |
| | mean | 8.951-9.033=-0.082 | | σ | 0.467-0.235=0.233 | | min | 8.383-8.645=-0.262 | | max | 9.565-9.269=0.295 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.471-4996.325=0.146 | | σ | 0.022-0.182=-0.160 | | min | 4996.446-4996.124=0.323 | | max | 4996.495-4996.481=0.014 |
| | mean | 3088.200-3064.600=23.600 | | σ | 259.371-297.990=-38.619 | | min | 2823.000-2842.000=-19.000 | | max | 3341.000-3528.000=-187.000 |
| | mean | 8.965-8.425=0.540 | | σ | 0.490-0.173=0.317 | | min | 8.521-8.164=0.357 | | max | 9.754-8.651=1.103 |
|