iters=5 new-facts=1 prior-facts=1 | | mean | 292.429-292.422=0.007 | | σ | 0.013-0.022=-0.010 | | min | 292.407-292.383=0.023 | | max | 292.441-292.438=0.003 |
| | mean | 2837.000-2832.000=5.000 | | σ | 0.000 | | min | 2837.000-2832.000=5.000 | | max | 2837.000-2832.000=5.000 |
| | mean | 0.398-0.398=-0.000 | | σ | 0.002-0.001=0.001 | | min | 0.395-0.397=-0.002 | | max | 0.401-0.399=0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1952.972-1952.958=0.014 | | σ | 0.019-0.021=-0.002 | | min | 1952.939-1952.933=0.005 | | max | 1952.988-1952.981=0.007 |
| | mean | 2837.000-2832.000=5.000 | | σ | 0.000 | | min | 2837.000-2832.000=5.000 | | max | 2837.000-2832.000=5.000 |
| | mean | 2.633-2.617=0.016 | | σ | 0.088-0.095=-0.007 | | min | 2.561-2.531=0.030 | | max | 2.743-2.763=-0.020 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4778.878-4778.919=-0.041 | | σ | 7.634-7.621=0.013 | | min | 4775.302-4775.299=0.003 | | max | 4792.531-4792.550=-0.018 |
| | mean | 2837.000-2832.000=5.000 | | σ | 0.000 | | min | 2837.000-2832.000=5.000 | | max | 2837.000-2832.000=5.000 |
| | mean | 8.684-8.499=0.185 | | σ | 0.453-0.543=-0.091 | | min | 7.979-7.905=0.074 | | max | 9.234-9.137=0.097 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4966.373-4966.443=-0.070 | | σ | 0.208-0.094=0.114 | | min | 4966.030-4966.371=-0.341 | | max | 4966.543-4966.546=-0.003 |
| | mean | 3038.600-3003.800=34.800 | | σ | 204.071-191.224=12.846 | | min | 2837.000-2832.000=5.000 | | max | 3317.000-3297.000=20.000 |
| | mean | 8.596-8.532=0.065 | | σ | 0.254-0.126=0.127 | | min | 8.369-8.355=0.014 | | max | 9.008-8.697=0.312 |
|