iters=5 new-facts=1 prior-facts=1 | | mean | 269.935-269.926=0.009 | | σ | 0.009-0.007=0.002 | | min | 269.925-269.920=0.004 | | max | 269.947-269.936=0.011 |
| | mean | 2845.000-2847.000=-2.000 | | σ | 0.000 | | min | 2845.000-2847.000=-2.000 | | max | 2845.000-2847.000=-2.000 |
| | mean | 0.372-0.373=-0.001 | | σ | 0.007-0.007=0.000 | | min | 0.366-0.369=-0.003 | | max | 0.383-0.385=-0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.407-1930.398=0.009 | | σ | 0.008-0.012=-0.004 | | min | 1930.396-1930.388=0.008 | | max | 1930.418-1930.418=0.000 |
| | mean | 2845.000-2847.000=-2.000 | | σ | 0.000 | | min | 2845.000-2847.000=-2.000 | | max | 2845.000-2847.000=-2.000 |
| | mean | 2.662-2.561=0.100 | | σ | 0.166-0.126=0.039 | | min | 2.448-2.459=-0.010 | | max | 2.909-2.716=0.193 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4750.887-4750.883=0.004 | | σ | 0.795-0.851=-0.056 | | min | 4750.402-4750.271=0.130 | | max | 4752.285-4752.382=-0.097 |
| | mean | 2845.000-2847.000=-2.000 | | σ | 0.000 | | min | 2845.000-2847.000=-2.000 | | max | 2845.000-2847.000=-2.000 |
| | mean | 8.759-8.785=-0.026 | | σ | 0.725-0.627=0.098 | | min | 7.767-7.842=-0.075 | | max | 9.461-9.603=-0.142 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.271-4941.261=0.009 | | σ | 0.131-0.131=0.000 | | min | 4941.071-4941.073=-0.002 | | max | 4941.435-4941.442=-0.006 |
| | mean | 3106.400-3071.000=35.400 | | σ | 312.846-236.079=76.767 | | min | 2845.000-2847.000=-2.000 | | max | 3577.000-3413.000=164.000 |
| | mean | 8.847-8.557=0.290 | | σ | 0.439-0.167=0.272 | | min | 8.542-8.400=0.142 | | max | 9.580-8.815=0.765 |
|