iters=5 new-facts=1 prior-facts=1 | | mean | 270.145-270.142=0.004 | | σ | 0.008-0.009=-0.000 | | min | 270.131-270.130=0.001 | | max | 270.153-270.153=-0.001 |
| | mean | 2777.000-2778.000=-1.000 | | σ | 0.000 | | min | 2777.000-2778.000=-1.000 | | max | 2777.000-2778.000=-1.000 |
| | mean | 0.379-0.380=-0.002 | | σ | 0.005-0.005=0.000 | | min | 0.371-0.373=-0.002 | | max | 0.385-0.387=-0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.607-1930.606=0.001 | | σ | 0.009-0.010=-0.001 | | min | 1930.593-1930.596=-0.003 | | max | 1930.616-1930.617=-0.000 |
| | mean | 2777.000-2778.000=-1.000 | | σ | 0.000 | | min | 2777.000-2778.000=-1.000 | | max | 2777.000-2778.000=-1.000 |
| | mean | 2.506-2.547=-0.042 | | σ | 0.127-0.116=0.010 | | min | 2.358-2.466=-0.108 | | max | 2.697-2.747=-0.050 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.376-4751.307=0.069 | | σ | 0.813-0.898=-0.085 | | min | 4750.922-4750.788=0.134 | | max | 4752.827-4752.904=-0.078 |
| | mean | 2777.000-2778.000=-1.000 | | σ | 0.000 | | min | 2777.000-2778.000=-1.000 | | max | 2777.000-2778.000=-1.000 |
| | mean | 8.033-8.510=-0.476 | | σ | 0.371-0.538=-0.166 | | min | 7.665-7.692=-0.027 | | max | 8.509-9.099=-0.589 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.764-4941.771=-0.007 | | σ | 0.024-0.020=0.004 | | min | 4941.742-4941.741=0.001 | | max | 4941.792-4941.793=-0.001 |
| | mean | 3055.400-3021.600=33.800 | | σ | 339.447-228.325=111.122 | | min | 2777.000-2778.000=-1.000 | | max | 3566.000-3323.000=243.000 |
| | mean | 8.425-8.581=-0.156 | | σ | 0.114-0.226=-0.112 | | min | 8.354-8.375=-0.021 | | max | 8.626-8.964=-0.338 |
|