iters=5 new-facts=1 prior-facts=1 | | mean | 326.635-326.629=0.005 | | σ | 0.054-0.060=-0.006 | | min | 326.539-326.523=0.016 | | max | 326.668-326.661=0.007 |
| | mean | 2832.000-2607.000=225.000 | | σ | 0.000 | | min | 2832.000-2607.000=225.000 | | max | 2832.000-2607.000=225.000 |
| | mean | 0.423-0.427=-0.004 | | σ | 0.001-0.004=-0.003 | | min | 0.422-0.425=-0.003 | | max | 0.424-0.434=-0.010 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.804-1988.796=0.008 | | σ | 0.008-0.016=-0.007 | | min | 1988.792-1988.778=0.014 | | max | 1988.814-1988.812=0.002 |
| | mean | 2832.000-2607.000=225.000 | | σ | 0.000 | | min | 2832.000-2607.000=225.000 | | max | 2832.000-2607.000=225.000 |
| | mean | 2.703-2.722=-0.019 | | σ | 0.105-0.103=0.003 | | min | 2.578-2.617=-0.039 | | max | 2.831-2.885=-0.055 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.663-4813.551=0.111 | | σ | 7.776-7.768=0.008 | | min | 4810.133-4809.547=0.587 | | max | 4827.572-4827.434=0.138 |
| | mean | 2832.000-2607.000=225.000 | | σ | 0.000 | | min | 2832.000-2607.000=225.000 | | max | 2832.000-2607.000=225.000 |
| | mean | 8.991-8.685=0.306 | | σ | 0.405-0.583=-0.178 | | min | 8.602-7.711=0.891 | | max | 9.591-9.221=0.370 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.211-5001.201=0.010 | | σ | 0.039-0.027=0.012 | | min | 5001.177-5001.171=0.006 | | max | 5001.274-5001.230=0.044 |
| | mean | 3054.000-2949.600=104.400 | | σ | 216.849-257.357=-40.508 | | min | 2832.000-2607.000=225.000 | | max | 3328.000-3290.000=38.000 |
| | mean | 9.915-9.762=0.152 | | σ | 0.203-0.285=-0.083 | | min | 9.641-9.353=0.289 | | max | 10.195-10.046=0.149 |
|