iters=5 new-facts=1 prior-facts=1 | | mean | 271.952-271.956=-0.004 | | σ | 0.008-0.006=0.001 | | min | 271.942-271.949=-0.007 | | max | 271.964-271.966=-0.002 |
| | mean | 2771.000-2711.000=60.000 | | σ | 0.000 | | min | 2771.000-2711.000=60.000 | | max | 2771.000-2711.000=60.000 |
| | mean | 0.381-0.382=-0.001 | | σ | 0.007-0.009=-0.002 | | min | 0.377-0.377=0.000 | | max | 0.394-0.397=-0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.320-1932.339=-0.019 | | σ | 0.005-0.011=-0.006 | | min | 1932.314-1932.329=-0.015 | | max | 1932.326-1932.354=-0.028 |
| | mean | 2771.000-2711.000=60.000 | | σ | 0.000 | | min | 2771.000-2711.000=60.000 | | max | 2771.000-2711.000=60.000 |
| | mean | 3.094-2.775=0.319 | | σ | 0.075-0.248=-0.173 | | min | 3.029-2.485=0.544 | | max | 3.191-3.013=0.178 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.961-4753.078=-0.117 | | σ | 1.013-0.926=0.087 | | min | 4752.068-4752.549=-0.481 | | max | 4754.698-4754.707=-0.008 |
| | mean | 2771.000-2711.000=60.000 | | σ | 0.000 | | min | 2771.000-2711.000=60.000 | | max | 2771.000-2711.000=60.000 |
| | mean | 8.648-8.660=-0.012 | | σ | 0.621-0.644=-0.023 | | min | 7.611-7.946=-0.335 | | max | 9.147-9.317=-0.170 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.493-4943.556=-0.063 | | σ | 0.168-0.019=0.150 | | min | 4943.193-4943.530=-0.338 | | max | 4943.576-4943.571=0.005 |
| | mean | 2998.000-3018.000=-20.000 | | σ | 224.980-247.547=-22.567 | | min | 2771.000-2711.000=60.000 | | max | 3325.000-3324.000=1.000 |
| | mean | 8.518-8.588=-0.070 | | σ | 0.112-0.179=-0.067 | | min | 8.409-8.443=-0.033 | | max | 8.646-8.811=-0.165 |
|