iters=5 new-facts=1 prior-facts=1 | | mean | 326.571-326.575=-0.004 | | σ | 0.035-0.043=-0.008 | | min | 326.515-326.503=0.012 | | max | 326.607-326.616=-0.008 |
| | mean | 2837.000-2630.000=207.000 | | σ | 0.000 | | min | 2837.000-2630.000=207.000 | | max | 2837.000-2630.000=207.000 |
| | mean | 0.424-0.424=0.000 | | σ | 0.004-0.007=-0.003 | | min | 0.421-0.420=0.001 | | max | 0.431-0.436=-0.005 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.732-1988.727=0.005 | | σ | 0.014-0.018=-0.004 | | min | 1988.719-1988.707=0.013 | | max | 1988.751-1988.749=0.002 |
| | mean | 2837.000-2630.000=207.000 | | σ | 0.000 | | min | 2837.000-2630.000=207.000 | | max | 2837.000-2630.000=207.000 |
| | mean | 2.723-2.803=-0.081 | | σ | 0.069-0.283=-0.214 | | min | 2.646-2.632=0.014 | | max | 2.803-3.305=-0.502 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.472-4813.458=0.014 | | σ | 7.472-7.778=-0.306 | | min | 4810.068-4809.613=0.455 | | max | 4826.838-4827.367=-0.529 |
| | mean | 2837.000-2630.000=207.000 | | σ | 0.000 | | min | 2837.000-2630.000=207.000 | | max | 2837.000-2630.000=207.000 |
| | mean | 8.616-8.985=-0.368 | | σ | 0.579-0.192=0.387 | | min | 7.809-8.674=-0.865 | | max | 9.191-9.173=0.018 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.074-5001.146=-0.072 | | σ | 0.175-0.034=0.141 | | min | 5000.763-5001.112=-0.349 | | max | 5001.174-5001.200=-0.025 |
| | mean | 3035.000-2989.800=45.200 | | σ | 269.659-275.427=-5.768 | | min | 2837.000-2630.000=207.000 | | max | 3451.000-3317.000=134.000 |
| | mean | 9.775-9.752=0.022 | | σ | 0.174-0.388=-0.215 | | min | 9.635-9.113=0.522 | | max | 10.059-10.125=-0.066 |
|