iters=5 new-facts=1 prior-facts=1 | | mean | 324.012-324.015=-0.003 | | σ | 0.052-0.049=0.003 | | min | 323.919-323.928=-0.009 | | max | 324.044-324.048=-0.004 |
| | mean | 2893.000-2769.000=124.000 | | σ | 0.000 | | min | 2893.000-2769.000=124.000 | | max | 2893.000-2769.000=124.000 |
| | mean | 0.426-0.428=-0.002 | | σ | 0.002-0.006=-0.004 | | min | 0.423-0.423=-0.000 | | max | 0.427-0.437=-0.010 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1984.572-1984.599=-0.026 | | σ | 0.013-0.006=0.007 | | min | 1984.556-1984.588=-0.031 | | max | 1984.591-1984.603=-0.012 |
| | mean | 2893.000-2769.000=124.000 | | σ | 0.000 | | min | 2893.000-2769.000=124.000 | | max | 2893.000-2769.000=124.000 |
| | mean | 2.607-2.671=-0.064 | | σ | 0.159-0.193=-0.035 | | min | 2.488-2.503=-0.015 | | max | 2.874-2.890=-0.016 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.123-4808.076=0.047 | | σ | 7.483-7.859=-0.376 | | min | 4804.701-4804.183=0.518 | | max | 4821.509-4822.125=-0.616 |
| | mean | 2893.000-2769.000=124.000 | | σ | 0.000 | | min | 2893.000-2769.000=124.000 | | max | 2893.000-2769.000=124.000 |
| | mean | 8.779-8.331=0.448 | | σ | 0.224-0.464=-0.240 | | min | 8.410-7.718=0.692 | | max | 9.017-8.874=0.143 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4995.667-4995.802=-0.135 | | σ | 0.202-0.026=0.176 | | min | 4995.431-4995.763=-0.332 | | max | 4995.832-4995.834=-0.002 |
| | mean | 3038.200-3031.400=6.800 | | σ | 175.565-214.351=-38.786 | | min | 2893.000-2769.000=124.000 | | max | 3323.000-3321.000=2.000 |
| | mean | 8.605-8.654=-0.050 | | σ | 0.117-0.170=-0.054 | | min | 8.504-8.451=0.052 | | max | 8.797-8.858=-0.061 |
|