iters=5 new-facts=1 prior-facts=1 | | mean | 324.761-324.760=0.001 | | σ | 0.055-0.057=-0.001 | | min | 324.662-324.660=0.002 | | max | 324.791-324.797=-0.006 |
| | mean | 2832.000-2837.000=-5.000 | | σ | 0.000 | | min | 2832.000-2837.000=-5.000 | | max | 2832.000-2837.000=-5.000 |
| | mean | 0.426-0.426=-0.000 | | σ | 0.008-0.007=0.001 | | min | 0.421-0.422=-0.001 | | max | 0.440-0.439=0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.289-1985.330=-0.041 | | σ | 0.078-0.007=0.071 | | min | 1985.152-1985.322=-0.170 | | max | 1985.338-1985.338=0.000 |
| | mean | 2832.000-2837.000=-5.000 | | σ | 0.000 | | min | 2832.000-2837.000=-5.000 | | max | 2832.000-2837.000=-5.000 |
| | mean | 2.565-2.559=0.006 | | σ | 0.096-0.111=-0.015 | | min | 2.441-2.428=0.012 | | max | 2.682-2.685=-0.002 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4809.085-4809.093=-0.009 | | σ | 7.717-7.713=0.004 | | min | 4805.613-4805.594=0.019 | | max | 4822.890-4822.890=-0.001 |
| | mean | 2832.000-2837.000=-5.000 | | σ | 0.000 | | min | 2832.000-2837.000=-5.000 | | max | 2832.000-2837.000=-5.000 |
| | mean | 9.008-9.051=-0.043 | | σ | 0.148-0.281=-0.133 | | min | 8.861-8.798=0.064 | | max | 9.249-9.477=-0.228 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.629-4996.488=0.141 | | σ | 0.026-0.183=-0.158 | | min | 4996.601-4996.280=0.321 | | max | 4996.658-4996.643=0.014 |
| | mean | 3049.400-3062.200=-12.800 | | σ | 289.074-218.149=70.925 | | min | 2832.000-2837.000=-5.000 | | max | 3503.000-3385.000=118.000 |
| | mean | 8.511-8.681=-0.170 | | σ | 0.093-0.226=-0.133 | | min | 8.414-8.464=-0.050 | | max | 8.665-9.032=-0.367 |
|