iters=5 new-facts=1 prior-facts=1 | | mean | 273.611-273.612=-0.001 | | σ | 0.005-0.004=0.001 | | min | 273.605-273.606=-0.001 | | max | 273.617-273.616=0.001 |
| | mean | 2840.000-2856.000=-16.000 | | σ | 0.000 | | min | 2840.000-2856.000=-16.000 | | max | 2840.000-2856.000=-16.000 |
| | mean | 0.385-0.384=0.001 | | σ | 0.007-0.006=0.001 | | min | 0.380-0.380=0.000 | | max | 0.398-0.394=0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1934.002-1933.998=0.004 | | σ | 0.007-0.009=-0.001 | | min | 1933.990-1933.986=0.004 | | max | 1934.007-1934.007=-0.000 |
| | mean | 2840.000-2856.000=-16.000 | | σ | 0.000 | | min | 2840.000-2856.000=-16.000 | | max | 2840.000-2856.000=-16.000 |
| | mean | 3.098-3.019=0.078 | | σ | 0.183-0.175=0.007 | | min | 2.927-2.777=0.149 | | max | 3.369-3.207=0.162 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.617-4754.728=-0.111 | | σ | 0.949-0.850=0.098 | | min | 4753.784-4754.288=-0.504 | | max | 4756.254-4756.246=0.008 |
| | mean | 2840.000-2856.000=-16.000 | | σ | 0.000 | | min | 2840.000-2856.000=-16.000 | | max | 2840.000-2856.000=-16.000 |
| | mean | 8.679-8.583=0.095 | | σ | 0.241-0.458=-0.217 | | min | 8.345-7.825=0.520 | | max | 8.901-8.956=-0.055 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4945.226-4945.222=0.004 | | σ | 0.023-0.017=0.007 | | min | 4945.207-4945.206=0.002 | | max | 4945.259-4945.240=0.019 |
| | mean | 3047.600-3068.000=-20.400 | | σ | 223.022-186.821=36.201 | | min | 2840.000-2856.000=-16.000 | | max | 3378.000-3332.000=46.000 |
| | mean | 8.613-8.565=0.048 | | σ | 0.192-0.201=-0.009 | | min | 8.443-8.366=0.077 | | max | 8.905-8.858=0.047 |
|