iters=5 new-facts=1 prior-facts=1 | | mean | 273.505-273.505=-0.000 | | σ | 0.008-0.005=0.003 | | min | 273.491-273.500=-0.009 | | max | 273.513-273.512=0.001 |
| | mean | 2863.000-2854.000=9.000 | | σ | 0.000 | | min | 2863.000-2854.000=9.000 | | max | 2863.000-2854.000=9.000 |
| | mean | 0.385-0.388=-0.003 | | σ | 0.004-0.007=-0.003 | | min | 0.383-0.381=0.002 | | max | 0.393-0.399=-0.006 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.896-1933.893=0.003 | | σ | 0.009-0.013=-0.004 | | min | 1933.887-1933.879=0.008 | | max | 1933.909-1933.906=0.004 |
| | mean | 2863.000-2854.000=9.000 | | σ | 0.000 | | min | 2863.000-2854.000=9.000 | | max | 2863.000-2854.000=9.000 |
| | mean | 2.976-2.988=-0.012 | | σ | 0.147-0.144=0.004 | | min | 2.757-2.738=0.019 | | max | 3.152-3.092=0.060 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.704-4754.739=-0.035 | | σ | 0.868-0.807=0.061 | | min | 4754.185-4754.302=-0.118 | | max | 4756.251-4756.181=0.070 |
| | mean | 2863.000-2854.000=9.000 | | σ | 0.000 | | min | 2863.000-2854.000=9.000 | | max | 2863.000-2854.000=9.000 |
| | mean | 8.485-7.918=0.568 | | σ | 0.369-0.373=-0.004 | | min | 7.978-7.652=0.325 | | max | 9.010-8.567=0.443 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4945.048-4765.021=180.027 | | σ | 0.167-402.692=-402.525 | | min | 4944.749-4044.663=900.086 | | max | 4945.135-4945.127=0.008 |
| | mean | 3048.800-3037.600=11.200 | | σ | 193.278-267.201=-73.923 | | min | 2863.000-2854.000=9.000 | | max | 3324.000-3466.000=-142.000 |
| | mean | 8.591-8.327=0.264 | | σ | 0.179-0.641=-0.462 | | min | 8.404-7.278=1.125 | | max | 8.832-8.936=-0.104 |
|