iters=5 new-facts=1 prior-facts=1 | | mean | 324.692-324.707=-0.016 | | σ | 0.043-0.045=-0.002 | | min | 324.616-324.627=-0.011 | | max | 324.720-324.735=-0.015 |
| | mean | 2824.000-2449.000=375.000 | | σ | 0.000 | | min | 2824.000-2449.000=375.000 | | max | 2824.000-2449.000=375.000 |
| | mean | 0.424-0.428=-0.004 | | σ | 0.005-0.007=-0.003 | | min | 0.420-0.424=-0.003 | | max | 0.432-0.441=-0.009 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.241-1985.258=-0.016 | | σ | 0.017-0.013=0.004 | | min | 1985.217-1985.244=-0.027 | | max | 1985.257-1985.272=-0.015 |
| | mean | 2824.000-2449.000=375.000 | | σ | 0.000 | | min | 2824.000-2449.000=375.000 | | max | 2824.000-2449.000=375.000 |
| | mean | 2.562-2.692=-0.130 | | σ | 0.059-0.136=-0.077 | | min | 2.506-2.547=-0.041 | | max | 2.657-2.876=-0.219 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.846-4808.663=0.183 | | σ | 7.672-7.782=-0.111 | | min | 4805.365-4804.760=0.605 | | max | 4822.569-4822.568=0.000 |
| | mean | 2824.000-2449.000=375.000 | | σ | 0.000 | | min | 2824.000-2449.000=375.000 | | max | 2824.000-2449.000=375.000 |
| | mean | 8.929-8.570=0.359 | | σ | 0.147-0.627=-0.479 | | min | 8.803-7.878=0.925 | | max | 9.154-9.477=-0.323 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.385-4996.456=-0.071 | | σ | 0.161-0.019=0.142 | | min | 4996.099-4996.430=-0.331 | | max | 4996.478-4996.478=0.000 |
| | mean | 3050.200-2943.200=107.000 | | σ | 208.422-446.030=-237.608 | | min | 2824.000-2449.000=375.000 | | max | 3354.000-3546.000=-192.000 |
| | mean | 8.630-8.504=0.126 | | σ | 0.191-0.111=0.080 | | min | 8.437-8.431=0.006 | | max | 8.888-8.700=0.189 |
|