iters=5 new-facts=1 prior-facts=1 | | mean | 324.761-324.768=-0.007 | | σ | 0.043-0.047=-0.004 | | min | 324.684-324.685=-0.000 | | max | 324.790-324.801=-0.011 |
| | mean | 2840.000-2844.000=-4.000 | | σ | 0.000 | | min | 2840.000-2844.000=-4.000 | | max | 2840.000-2844.000=-4.000 |
| | mean | 0.417-0.423=-0.006 | | σ | 0.002-0.000=0.001 | | min | 0.416-0.423=-0.007 | | max | 0.420-0.424=-0.004 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.313-1985.313=0.000 | | σ | 0.015-0.015=0.001 | | min | 1985.292-1985.302=-0.010 | | max | 1985.334-1985.331=0.003 |
| | mean | 2840.000-2844.000=-4.000 | | σ | 0.000 | | min | 2840.000-2844.000=-4.000 | | max | 2840.000-2844.000=-4.000 |
| | mean | 2.636-2.620=0.016 | | σ | 0.129-0.187=-0.058 | | min | 2.515-2.373=0.143 | | max | 2.817-2.835=-0.018 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4809.111-4809.084=0.026 | | σ | 7.773-7.685=0.088 | | min | 4805.604-4805.629=-0.025 | | max | 4823.016-4822.832=0.184 |
| | mean | 2840.000-2844.000=-4.000 | | σ | 0.000 | | min | 2840.000-2844.000=-4.000 | | max | 2840.000-2844.000=-4.000 |
| | mean | 9.162-8.926=0.236 | | σ | 0.341-0.119=0.221 | | min | 8.925-8.727=0.198 | | max | 9.755-9.019=0.736 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.552-4996.616=-0.064 | | σ | 0.151-0.018=0.133 | | min | 4996.285-4996.595=-0.311 | | max | 4996.646-4996.643=0.003 |
| | mean | 3047.600-3071.800=-24.200 | | σ | 270.853-302.521=-31.668 | | min | 2840.000-2844.000=-4.000 | | max | 3465.000-3541.000=-76.000 |
| | mean | 8.503-8.528=-0.025 | | σ | 0.114-0.135=-0.022 | | min | 8.444-8.410=0.034 | | max | 8.705-8.724=-0.019 |
|