iters=5 new-facts=1 prior-facts=1 | | mean | 277.196-277.196=-0.000 | | σ | 0.006-0.006=-0.000 | | min | 277.191-277.191=0.001 | | max | 277.206-277.204=0.002 |
| | mean | 2666.000-2653.000=13.000 | | σ | 0.000 | | min | 2666.000-2653.000=13.000 | | max | 2666.000-2653.000=13.000 |
| | mean | 0.406-0.400=0.006 | | σ | 0.010-0.009=0.001 | | min | 0.401-0.393=0.008 | | max | 0.424-0.414=0.010 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2174.428-2174.434=-0.007 | | σ | 0.011-0.033=-0.022 | | min | 2174.409-2174.381=0.028 | | max | 2174.438-2174.471=-0.033 |
| | mean | 2666.000-2653.000=13.000 | | σ | 0.000 | | min | 2666.000-2653.000=13.000 | | max | 2666.000-2653.000=13.000 |
| | mean | 2.950-3.031=-0.081 | | σ | 0.130-0.247=-0.117 | | min | 2.770-2.757=0.013 | | max | 3.125-3.378=-0.253 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5052.406-5052.438=-0.032 | | σ | 0.806-1.016=-0.210 | | min | 5051.652-5051.615=0.038 | | max | 5053.765-5054.206=-0.441 |
| | mean | 2666.000-2653.000=13.000 | | σ | 0.000 | | min | 2666.000-2653.000=13.000 | | max | 2666.000-2653.000=13.000 |
| | mean | 8.760-8.888=-0.129 | | σ | 0.542-0.382=0.160 | | min | 8.136-8.237=-0.101 | | max | 9.460-9.200=0.259 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5188.430-5188.413=0.017 | | σ | 0.087-0.100=-0.013 | | min | 5188.361-5188.281=0.081 | | max | 5188.531-5188.516=0.016 |
| | mean | 3296.200-3226.400=69.800 | | σ | 417.306-383.086=34.220 | | min | 2712.000-2690.000=22.000 | | max | 3682.000-3705.000=-23.000 |
| | mean | 8.929-8.889=0.040 | | σ | 0.303-0.266=0.037 | | min | 8.691-8.668=0.024 | | max | 9.457-9.310=0.147 |
|