iters=5 new-facts=1 prior-facts=1 | | mean | 326.638-326.642=-0.003 | | σ | 0.060-0.061=-0.001 | | min | 326.532-326.534=-0.002 | | max | 326.681-326.683=-0.002 |
| | mean | 2833.000-2824.000=9.000 | | σ | 0.000 | | min | 2833.000-2824.000=9.000 | | max | 2833.000-2824.000=9.000 |
| | mean | 0.432-0.427=0.005 | | σ | 0.010-0.023=-0.013 | | min | 0.425-0.389=0.035 | | max | 0.449-0.448=0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.803-1988.809=-0.006 | | σ | 0.011-0.005=0.006 | | min | 1988.790-1988.800=-0.010 | | max | 1988.815-1988.815=0.000 |
| | mean | 2833.000-2824.000=9.000 | | σ | 0.000 | | min | 2833.000-2824.000=9.000 | | max | 2833.000-2824.000=9.000 |
| | mean | 2.727-2.687=0.040 | | σ | 0.076-0.076=0.001 | | min | 2.636-2.628=0.008 | | max | 2.841-2.818=0.023 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.702-4813.696=0.006 | | σ | 7.753-7.729=0.023 | | min | 4810.122-4810.099=0.023 | | max | 4827.569-4827.520=0.049 |
| | mean | 2833.000-2824.000=9.000 | | σ | 0.000 | | min | 2833.000-2824.000=9.000 | | max | 2833.000-2824.000=9.000 |
| | mean | 8.761-8.539=0.222 | | σ | 0.642-0.602=0.040 | | min | 7.727-7.720=0.006 | | max | 9.358-9.240=0.118 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.203-5001.136=0.068 | | σ | 0.015-0.170=-0.155 | | min | 5001.189-5000.836=0.353 | | max | 5001.224-5001.248=-0.024 |
| | mean | 3007.400-3037.200=-29.800 | | σ | 237.126-208.617=28.509 | | min | 2833.000-2824.000=9.000 | | max | 3381.000-3302.000=79.000 |
| | mean | 9.736-9.909=-0.173 | | σ | 0.233-0.119=0.114 | | min | 9.386-9.779=-0.393 | | max | 10.005-10.098=-0.093 |
|