iters=5 new-facts=1 prior-facts=1 | | mean | 329.775-329.707=0.067 | | σ | 0.059-0.051=0.008 | | min | 329.670-329.617=0.053 | | max | 329.811-329.737=0.074 |
| | mean | 2802.000-2696.000=106.000 | | σ | 0.000 | | min | 2802.000-2696.000=106.000 | | max | 2802.000-2696.000=106.000 |
| | mean | 0.434-0.427=0.006 | | σ | 0.010-0.000=0.009 | | min | 0.426-0.427=-0.001 | | max | 0.449-0.428=0.021 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1991.935-1991.879=0.056 | | σ | 0.017-0.010=0.007 | | min | 1991.916-1991.865=0.051 | | max | 1991.955-1991.891=0.064 |
| | mean | 2802.000-2696.000=106.000 | | σ | 0.000 | | min | 2802.000-2696.000=106.000 | | max | 2802.000-2696.000=106.000 |
| | mean | 2.661-2.665=-0.004 | | σ | 0.055-0.089=-0.033 | | min | 2.625-2.570=0.056 | | max | 2.758-2.767=-0.010 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4816.794-4816.729=0.064 | | σ | 7.728-7.719=0.009 | | min | 4813.243-4813.214=0.029 | | max | 4830.618-4830.538=0.080 |
| | mean | 2802.000-2696.000=106.000 | | σ | 0.000 | | min | 2802.000-2696.000=106.000 | | max | 2802.000-2696.000=106.000 |
| | mean | 8.796-8.856=-0.060 | | σ | 0.437-0.332=0.105 | | min | 8.270-8.371=-0.101 | | max | 9.159-9.173=-0.015 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5004.340-5004.202=0.138 | | σ | 0.017-0.174=-0.157 | | min | 5004.318-5003.893=0.425 | | max | 5004.354-5004.302=0.051 |
| | mean | 3015.600-3027.800=-12.200 | | σ | 220.445-288.567=-68.122 | | min | 2802.000-2696.000=106.000 | | max | 3327.000-3417.000=-90.000 |
| | mean | 9.601-9.808=-0.208 | | σ | 0.522-0.073=0.449 | | min | 8.673-9.721=-1.048 | | max | 9.908-9.912=-0.005 |
|