iters=5 new-facts=1 prior-facts=1 | | mean | 271.901-271.903=-0.002 | | σ | 0.003-0.003=0.000 | | min | 271.897-271.901=-0.004 | | max | 271.904-271.907=-0.003 |
| | mean | 2645.000-2868.000=-223.000 | | σ | 0.000 | | min | 2645.000-2868.000=-223.000 | | max | 2645.000-2868.000=-223.000 |
| | mean | 0.371-0.374=-0.003 | | σ | 0.005-0.009=-0.005 | | min | 0.368-0.369=-0.001 | | max | 0.380-0.391=-0.011 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.302-1932.292=0.010 | | σ | 0.012-0.009=0.003 | | min | 1932.288-1932.277=0.012 | | max | 1932.319-1932.299=0.020 |
| | mean | 2645.000-2868.000=-223.000 | | σ | 0.000 | | min | 2645.000-2868.000=-223.000 | | max | 2645.000-2868.000=-223.000 |
| | mean | 3.087-2.990=0.097 | | σ | 0.234-0.130=0.104 | | min | 2.747-2.795=-0.048 | | max | 3.389-3.156=0.233 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4753.102-4752.997=0.105 | | σ | 0.809-0.908=-0.100 | | min | 4752.531-4752.147=0.383 | | max | 4754.524-4754.549=-0.025 |
| | mean | 2645.000-2868.000=-223.000 | | σ | 0.000 | | min | 2645.000-2868.000=-223.000 | | max | 2645.000-2868.000=-223.000 |
| | mean | 8.191-8.136=0.054 | | σ | 0.762-0.352=0.410 | | min | 7.610-7.703=-0.094 | | max | 9.425-8.514=0.911 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.516-4943.518=-0.002 | | σ | 0.011-0.011=0.000 | | min | 4943.497-4943.505=-0.008 | | max | 4943.526-4943.533=-0.007 |
| | mean | 2971.200-3063.400=-92.200 | | σ | 353.368-197.732=155.637 | | min | 2645.000-2868.000=-223.000 | | max | 3461.000-3333.000=128.000 |
| | mean | 8.531-8.613=-0.082 | | σ | 0.355-0.217=0.138 | | min | 8.357-8.414=-0.057 | | max | 9.165-8.872=0.293 |
|