iters=5 new-facts=1 prior-facts=1 | | mean | 277.193-279.506=-2.314 | | σ | 0.007-0.005=0.002 | | min | 277.184-279.498=-2.314 | | max | 277.203-279.511=-2.308 |
| | mean | 2666.000-2751.000=-85.000 | | σ | 0.000 | | min | 2666.000-2751.000=-85.000 | | max | 2666.000-2751.000=-85.000 |
| | mean | 0.402-0.409=-0.007 | | σ | 0.012-0.007=0.005 | | min | 0.392-0.404=-0.012 | | max | 0.422-0.421=0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2169.690-2173.715=-4.025 | | σ | 0.025-0.024=0.000 | | min | 2169.666-2173.692=-4.026 | | max | 2169.730-2173.754=-4.024 |
| | mean | 2666.000-2751.000=-85.000 | | σ | 0.000 | | min | 2666.000-2751.000=-85.000 | | max | 2666.000-2751.000=-85.000 |
| | mean | 2.915-2.956=-0.041 | | σ | 0.135-0.154=-0.019 | | min | 2.803-2.776=0.028 | | max | 3.090-3.135=-0.045 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5049.571-5053.215=-3.644 | | σ | 0.982-1.064=-0.082 | | min | 5049.056-5052.176=-3.121 | | max | 5051.320-5055.009=-3.689 |
| | mean | 2666.000-2751.000=-85.000 | | σ | 0.000 | | min | 2666.000-2751.000=-85.000 | | max | 2666.000-2751.000=-85.000 |
| | mean | 9.056-9.243=-0.187 | | σ | 0.611-0.234=0.377 | | min | 8.107-8.957=-0.850 | | max | 9.597-9.596=0.001 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5180.651-5185.920=-5.269 | | σ | 0.093-0.208=-0.115 | | min | 5180.565-5185.576=-5.011 | | max | 5180.759-5186.091=-5.332 |
| | mean | 3258.400-3285.200=-26.800 | | σ | 445.662-394.485=51.177 | | min | 2666.000-2751.000=-85.000 | | max | 3847.000-3656.000=191.000 |
| | mean | 8.986-8.904=0.082 | | σ | 0.472-0.204=0.268 | | min | 8.695-8.674=0.021 | | max | 9.802-9.230=0.572 |
|