iters=5 new-facts=1 prior-facts=1 | | mean | 324.712-324.705=0.007 | | σ | 0.045-0.055=-0.010 | | min | 324.632-324.606=0.026 | | max | 324.740-324.734=0.007 |
| | mean | 2823.000-2835.000=-12.000 | | σ | 0.000 | | min | 2823.000-2835.000=-12.000 | | max | 2823.000-2835.000=-12.000 |
| | mean | 0.427-0.425=0.002 | | σ | 0.007-0.004=0.003 | | min | 0.421-0.422=-0.001 | | max | 0.438-0.431=0.007 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.265-1985.276=-0.011 | | σ | 0.008-0.005=0.003 | | min | 1985.258-1985.270=-0.012 | | max | 1985.274-1985.283=-0.009 |
| | mean | 2823.000-2835.000=-12.000 | | σ | 0.000 | | min | 2823.000-2835.000=-12.000 | | max | 2823.000-2835.000=-12.000 |
| | mean | 2.726-2.585=0.141 | | σ | 0.133-0.051=0.082 | | min | 2.595-2.538=0.058 | | max | 2.897-2.645=0.252 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.874-4808.877=-0.003 | | σ | 7.718-7.707=0.012 | | min | 4805.389-4805.374=0.015 | | max | 4822.680-4822.663=0.018 |
| | mean | 2823.000-2835.000=-12.000 | | σ | 0.000 | | min | 2823.000-2835.000=-12.000 | | max | 2823.000-2835.000=-12.000 |
| | mean | 8.927-8.930=-0.003 | | σ | 0.152-0.257=-0.105 | | min | 8.745-8.715=0.030 | | max | 9.077-9.324=-0.247 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.401-4996.481=-0.080 | | σ | 0.150-0.015=0.135 | | min | 4996.134-4996.463=-0.329 | | max | 4996.496-4996.504=-0.008 |
| | mean | 3065.200-3048.000=17.200 | | σ | 311.867-201.651=110.217 | | min | 2823.000-2835.000=-12.000 | | max | 3541.000-3343.000=198.000 |
| | mean | 8.558-8.758=-0.200 | | σ | 0.138-0.231=-0.093 | | min | 8.404-8.504=-0.100 | | max | 8.783-9.076=-0.293 |
|