iters=5 new-facts=1 prior-facts=1 | | mean | 277.714-277.719=-0.005 | | σ | 0.011-0.011=-0.000 | | min | 277.698-277.701=-0.003 | | max | 277.723-277.727=-0.005 |
| | mean | 2650.000-2836.000=-186.000 | | σ | 0.000 | | min | 2650.000-2836.000=-186.000 | | max | 2650.000-2836.000=-186.000 |
| | mean | 0.411-0.409=0.002 | | σ | 0.004-0.005=-0.001 | | min | 0.407-0.405=0.002 | | max | 0.418-0.418=0.000 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2267.888-2267.888=-0.001 | | σ | 0.006-0.011=-0.005 | | min | 2267.878-2267.878=0.000 | | max | 2267.893-2267.901=-0.008 |
| | mean | 2650.000-2836.000=-186.000 | | σ | 0.000 | | min | 2650.000-2836.000=-186.000 | | max | 2650.000-2836.000=-186.000 |
| | mean | 3.035-3.010=0.025 | | σ | 0.176-0.238=-0.061 | | min | 2.804-2.723=0.081 | | max | 3.254-3.249=0.005 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4955.063-4954.861=0.202 | | σ | 0.813-0.693=0.120 | | min | 4954.584-4954.002=0.582 | | max | 4956.510-4955.936=0.574 |
| | mean | 2650.000-2836.000=-186.000 | | σ | 0.000 | | min | 2650.000-2836.000=-186.000 | | max | 2650.000-2836.000=-186.000 |
| | mean | 7.899-7.746=0.153 | | σ | 0.189-0.179=0.010 | | min | 7.610-7.598=0.012 | | max | 8.081-8.007=0.074 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5169.720-5169.788=-0.067 | | σ | 0.146-0.087=0.058 | | min | 5169.498-5169.689=-0.192 | | max | 5169.864-5169.872=-0.009 |
| | mean | 3453.800-3412.000=41.800 | | σ | 473.884-484.142=-10.258 | | min | 2897.000-2837.000=60.000 | | max | 4136.000-4122.000=14.000 |
| | mean | 9.309-9.328=-0.019 | | σ | 0.225-0.373=-0.148 | | min | 9.035-8.971=0.064 | | max | 9.526-9.920=-0.394 |
|