iters=5 new-facts=1 prior-facts=1 | | mean | 270.144-270.124=0.020 | | σ | 0.006-0.004=0.002 | | min | 270.139-270.120=0.019 | | max | 270.151-270.130=0.021 |
| | mean | 2491.000-2768.000=-277.000 | | σ | 0.000 | | min | 2491.000-2768.000=-277.000 | | max | 2491.000-2768.000=-277.000 |
| | mean | 0.381-0.374=0.008 | | σ | 0.006-0.003=0.003 | | min | 0.374-0.371=0.002 | | max | 0.390-0.379=0.011 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.608-1930.593=0.015 | | σ | 0.004-0.010=-0.006 | | min | 1930.605-1930.579=0.026 | | max | 1930.615-1930.606=0.008 |
| | mean | 2491.000-2768.000=-277.000 | | σ | 0.000 | | min | 2491.000-2768.000=-277.000 | | max | 2491.000-2768.000=-277.000 |
| | mean | 2.567-2.457=0.110 | | σ | 0.165-0.049=0.116 | | min | 2.444-2.387=0.058 | | max | 2.855-2.503=0.353 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.273-4751.055=0.218 | | σ | 0.958-0.865=0.093 | | min | 4750.750-4750.534=0.217 | | max | 4752.983-4752.595=0.388 |
| | mean | 2491.000-2768.000=-277.000 | | σ | 0.000 | | min | 2491.000-2768.000=-277.000 | | max | 2491.000-2768.000=-277.000 |
| | mean | 8.849-8.647=0.202 | | σ | 0.270-0.581=-0.311 | | min | 8.565-7.639=0.926 | | max | 9.279-9.012=0.268 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.564-4941.524=0.041 | | σ | 0.308-0.098=0.210 | | min | 4941.092-4941.422=-0.330 | | max | 4941.781-4941.631=0.150 |
| | mean | 3034.000 | | σ | 324.895-248.925=75.971 | | min | 2589.000-2768.000=-179.000 | | max | 3341.000-3373.000=-32.000 |
| | mean | 8.691-8.460=0.231 | | σ | 0.163-0.151=0.012 | | min | 8.447-8.320=0.127 | | max | 8.895-8.686=0.209 |
|