iters=5 new-facts=1 prior-facts=1 | | mean | 270.220-270.227=-0.007 | | σ | 0.008-0.005=0.003 | | min | 270.212-270.222=-0.010 | | max | 270.233-270.235=-0.002 |
| | mean | 2822.000-2849.000=-27.000 | | σ | 0.000 | | min | 2822.000-2849.000=-27.000 | | max | 2822.000-2849.000=-27.000 |
| | mean | 0.372-0.383=-0.011 | | σ | 0.003-0.004=-0.001 | | min | 0.371-0.380=-0.009 | | max | 0.377-0.389=-0.012 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.689-1930.676=0.014 | | σ | 0.009-0.018=-0.010 | | min | 1930.676-1930.649=0.027 | | max | 1930.698-1930.694=0.004 |
| | mean | 2822.000-2849.000=-27.000 | | σ | 0.000 | | min | 2822.000-2849.000=-27.000 | | max | 2822.000-2849.000=-27.000 |
| | mean | 2.630-2.555=0.075 | | σ | 0.117-0.127=-0.010 | | min | 2.461-2.428=0.033 | | max | 2.789-2.744=0.045 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.160-4751.186=-0.026 | | σ | 0.838-0.880=-0.042 | | min | 4750.590-4750.707=-0.116 | | max | 4752.645-4752.744=-0.100 |
| | mean | 2822.000-2849.000=-27.000 | | σ | 0.000 | | min | 2822.000-2849.000=-27.000 | | max | 2822.000-2849.000=-27.000 |
| | mean | 8.525-8.460=0.064 | | σ | 0.451-0.465=-0.014 | | min | 7.827-7.843=-0.015 | | max | 9.024-9.088=-0.064 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.552-4941.618=-0.066 | | σ | 0.209-0.078=0.131 | | min | 4941.206-4941.547=-0.341 | | max | 4941.726-4941.704=0.022 |
| | mean | 3088.000-3081.400=6.600 | | σ | 280.510-308.260=-27.750 | | min | 2822.000-2849.000=-27.000 | | max | 3380.000-3560.000=-180.000 |
| | mean | 8.690-8.442=0.248 | | σ | 0.271-0.096=0.175 | | min | 8.412-8.336=0.076 | | max | 8.968-8.584=0.384 |
|