iters=5 new-facts=1 prior-facts=1 | | mean | 278.264-278.280=-0.015 | | σ | 0.007-0.006=0.001 | | min | 278.258-278.274=-0.015 | | max | 278.277-278.288=-0.011 |
| | mean | 2731.000-2797.000=-66.000 | | σ | 0.000 | | min | 2731.000-2797.000=-66.000 | | max | 2731.000-2797.000=-66.000 |
| | mean | 0.414-0.409=0.005 | | σ | 0.011-0.007=0.004 | | min | 0.404-0.403=0.001 | | max | 0.428-0.419=0.009 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2175.522-2175.528=-0.006 | | σ | 0.011-0.011=0.000 | | min | 2175.510-2175.514=-0.005 | | max | 2175.537-2175.538=-0.001 |
| | mean | 2731.000-2797.000=-66.000 | | σ | 0.000 | | min | 2731.000-2797.000=-66.000 | | max | 2731.000-2797.000=-66.000 |
| | mean | 2.886-2.916=-0.030 | | σ | 0.230-0.129=0.101 | | min | 2.687-2.796=-0.110 | | max | 3.277-3.107=0.170 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5134.468-5134.486=-0.018 | | σ | 1.061-1.016=0.045 | | min | 5133.600-5133.724=-0.124 | | max | 5136.317-5136.275=0.043 |
| | mean | 2731.000-2797.000=-66.000 | | σ | 0.000 | | min | 2731.000-2797.000=-66.000 | | max | 2731.000-2797.000=-66.000 |
| | mean | 9.075-9.289=-0.214 | | σ | 0.323-0.271=0.052 | | min | 8.617-8.965=-0.347 | | max | 9.528-9.587=-0.058 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5238.359-5238.301=0.058 | | σ | 0.102-0.198=-0.096 | | min | 5238.265-5237.971=0.294 | | max | 5238.470-5238.463=0.007 |
| | mean | 3205.600-3280.000=-74.400 | | σ | 448.846-454.073=-5.227 | | min | 2731.000-2797.000=-66.000 | | max | 3841.000-3899.000=-58.000 |
| | mean | 8.829-9.035=-0.206 | | σ | 0.101-0.427=-0.326 | | min | 8.732-8.744=-0.012 | | max | 8.987-9.785=-0.798 |
|