iters=5 new-facts=1 prior-facts=1 | | mean | 326.569-326.575=-0.007 | | σ | 0.065-0.047=0.018 | | min | 326.454-326.492=-0.039 | | max | 326.614-326.608=0.006 |
| | mean | 2840.000-2789.000=51.000 | | σ | 0.000 | | min | 2840.000-2789.000=51.000 | | max | 2840.000-2789.000=51.000 |
| | mean | 0.429-0.423=0.006 | | σ | 0.011-0.001=0.010 | | min | 0.421-0.421=-0.000 | | max | 0.447-0.424=0.024 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.736-1988.742=-0.006 | | σ | 0.009-0.010=-0.001 | | min | 1988.726-1988.726=0.001 | | max | 1988.747-1988.752=-0.005 |
| | mean | 2840.000-2789.000=51.000 | | σ | 0.000 | | min | 2840.000-2789.000=51.000 | | max | 2840.000-2789.000=51.000 |
| | mean | 2.803-2.704=0.099 | | σ | 0.190-0.082=0.109 | | min | 2.636-2.618=0.018 | | max | 3.039-2.836=0.203 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.549-4813.525=0.025 | | σ | 7.454-7.763=-0.310 | | min | 4810.033-4809.677=0.356 | | max | 4826.878-4827.406=-0.528 |
| | mean | 2840.000-2789.000=51.000 | | σ | 0.000 | | min | 2840.000-2789.000=51.000 | | max | 2840.000-2789.000=51.000 |
| | mean | 8.431-8.253=0.178 | | σ | 0.881-0.555=0.326 | | min | 7.746-7.851=-0.104 | | max | 9.579-9.218=0.361 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.059-5001.138=-0.079 | | σ | 0.152-0.021=0.131 | | min | 5000.788-5001.115=-0.326 | | max | 5001.151-5001.162=-0.012 |
| | mean | 3066.200-3028.600=37.600 | | σ | 307.189-295.535=11.654 | | min | 2840.000-2789.000=51.000 | | max | 3544.000-3473.000=71.000 |
| | mean | 9.496-9.747=-0.251 | | σ | 0.568-0.072=0.496 | | min | 8.498-9.622=-1.124 | | max | 9.856-9.804=0.052 |
|