iters=5 new-facts=1 prior-facts=1 | | mean | 324.581-321.047=3.533 | | σ | 0.055-0.048=0.008 | | min | 324.482-320.963=3.520 | | max | 324.611-321.080=3.531 |
| | mean | 2845.000-2753.000=92.000 | | σ | 0.000 | | min | 2845.000-2753.000=92.000 | | max | 2845.000-2753.000=92.000 |
| | mean | 0.426-0.421=0.005 | | σ | 0.002-0.002=0.000 | | min | 0.423-0.419=0.004 | | max | 0.427-0.423=0.004 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.135-1981.620=3.515 | | σ | 0.011-0.017=-0.006 | | min | 1985.123-1981.590=3.532 | | max | 1985.145-1981.629=3.516 |
| | mean | 2845.000-2753.000=92.000 | | σ | 0.000 | | min | 2845.000-2753.000=92.000 | | max | 2845.000-2753.000=92.000 |
| | mean | 2.651-2.584=0.068 | | σ | 0.100-0.096=0.004 | | min | 2.570-2.453=0.116 | | max | 2.789-2.712=0.077 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.667-4805.012=3.655 | | σ | 7.717-7.880=-0.163 | | min | 4804.668-4800.602=4.066 | | max | 4822.460-4819.078=3.382 |
| | mean | 2845.000-2753.000=92.000 | | σ | 0.000 | | min | 2845.000-2753.000=92.000 | | max | 2845.000-2753.000=92.000 |
| | mean | 8.725-8.875=-0.150 | | σ | 0.595-0.277=0.317 | | min | 7.719-8.492=-0.773 | | max | 9.260-9.242=0.018 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.274-4992.827=3.447 | | σ | 0.150-0.028=0.123 | | min | 4996.008-4992.791=3.216 | | max | 4996.375-4992.859=3.516 |
| | mean | 3018.600-3012.000=6.600 | | σ | 260.301-230.861=29.440 | | min | 2845.000-2753.000=92.000 | | max | 3429.000-3316.000=113.000 |
| | mean | 8.604-8.707=-0.103 | | σ | 0.163-0.228=-0.064 | | min | 8.461-8.455=0.006 | | max | 8.835-8.983=-0.148 |
|