iters=5 new-facts=1 prior-facts=1 | | mean | 303.520-321.042=-17.522 | | σ | 0.051-0.055=-0.005 | | min | 303.446-320.943=-17.497 | | max | 303.571-321.071=-17.501 |
| | mean | 1635.000-2853.000=-1218.000 | | σ | 0.000 | | min | 1635.000-2853.000=-1218.000 | | max | 1635.000-2853.000=-1218.000 |
| | mean | 0.393-0.425=-0.032 | | σ | 0.001-0.004=-0.003 | | min | 0.391-0.421=-0.030 | | max | 0.394-0.431=-0.036 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1326.055-1981.621=-655.565 | | σ | 0.106-0.007=0.099 | | min | 1325.924-1981.609=-655.684 | | max | 1326.199-1981.627=-655.429 |
| | mean | 1635.000-2853.000=-1218.000 | | σ | 0.000 | | min | 1635.000-2853.000=-1218.000 | | max | 1635.000-2853.000=-1218.000 |
| | mean | 1.887-2.576=-0.689 | | σ | 0.066-0.084=-0.018 | | min | 1.815-2.455=-0.641 | | max | 1.985-2.652=-0.668 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1564.114-4805.235=-3241.121 | | σ | 6.920-7.735=-0.815 | | min | 1560.794-4801.734=-3240.941 | | max | 1576.487-4819.072=-3242.585 |
| | mean | 1635.000-2853.000=-1218.000 | | σ | 0.000 | | min | 1635.000-2853.000=-1218.000 | | max | 1635.000-2853.000=-1218.000 |
| | mean | 2.324-8.833=-6.509 | | σ | 0.261-0.130=0.132 | | min | 2.057-8.671=-6.613 | | max | 2.698-9.020=-6.323 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1894.008-4992.825=-3098.817 | | σ | 0.064-0.016=0.048 | | min | 1893.895-4992.808=-3098.913 | | max | 1894.053-4992.846=-3098.793 |
| | mean | 1777.400-3046.200=-1268.800 | | σ | 173.357-198.291=-24.933 | | min | 1635.000-2853.000=-1218.000 | | max | 2039.000-3323.000=-1284.000 |
| | mean | 2.933-8.625=-5.691 | | σ | 0.093-0.110=-0.017 | | min | 2.884-8.492=-5.608 | | max | 3.098-8.757=-5.659 |
|