iters=5 new-facts=1 prior-facts=1 | | mean | 326.571-326.522=0.048 | | σ | 0.035-0.013=0.022 | | min | 326.515-326.502=0.013 | | max | 326.607-326.534=0.074 |
| | mean | 2837.000-2613.000=224.000 | | σ | 0.000 | | min | 2837.000-2613.000=224.000 | | max | 2837.000-2613.000=224.000 |
| | mean | 0.424-0.421=0.004 | | σ | 0.004-0.001=0.002 | | min | 0.421-0.419=0.002 | | max | 0.431-0.423=0.008 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.732-1988.681=0.051 | | σ | 0.014-0.013=0.001 | | min | 1988.719-1988.668=0.052 | | max | 1988.751-1988.697=0.054 |
| | mean | 2837.000-2613.000=224.000 | | σ | 0.000 | | min | 2837.000-2613.000=224.000 | | max | 2837.000-2613.000=224.000 |
| | mean | 2.723-2.673=0.050 | | σ | 0.069-0.084=-0.015 | | min | 2.646-2.560=0.086 | | max | 2.803-2.773=0.030 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.472-4813.415=0.058 | | σ | 7.472-7.817=-0.345 | | min | 4810.068-4809.489=0.579 | | max | 4826.838-4827.391=-0.553 |
| | mean | 2837.000-2613.000=224.000 | | σ | 0.000 | | min | 2837.000-2613.000=224.000 | | max | 2837.000-2613.000=224.000 |
| | mean | 8.616-8.875=-0.259 | | σ | 0.579-0.511=0.068 | | min | 7.809-8.409=-0.600 | | max | 9.191-9.623=-0.432 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.074-5001.073=0.001 | | σ | 0.175-0.027=0.149 | | min | 5000.763-5001.043=-0.280 | | max | 5001.174-5001.106=0.068 |
| | mean | 3035.000-3018.800=16.200 | | σ | 269.659-291.726=-22.067 | | min | 2837.000-2613.000=224.000 | | max | 3451.000-3394.000=57.000 |
| | mean | 9.775-9.660=0.115 | | σ | 0.174-0.287=-0.113 | | min | 9.635-9.198=0.437 | | max | 10.059-9.924=0.135 |
|