iters=5 new-facts=1 prior-facts=1 | | mean | 271.369-278.842=-7.473 | | σ | 18.207-0.009=18.198 | | min | 238.799-278.826=-40.027 | | max | 279.520-278.849=0.671 |
| | mean | 2828.000-2707.000=121.000 | | σ | 0.000 | | min | 2828.000-2707.000=121.000 | | max | 2828.000-2707.000=121.000 |
| | mean | 0.394-0.416=-0.022 | | σ | 0.029-0.006=0.023 | | min | 0.343-0.408=-0.065 | | max | 0.407-0.424=-0.017 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2178.437-2268.906=-90.468 | | σ | 0.010-0.007=0.003 | | min | 2178.426-2268.893=-90.466 | | max | 2178.451-2268.910=-90.459 |
| | mean | 2828.000-2707.000=121.000 | | σ | 0.000 | | min | 2828.000-2707.000=121.000 | | max | 2828.000-2707.000=121.000 |
| | mean | 3.365-2.963=0.402 | | σ | 0.148-0.138=0.011 | | min | 3.169-2.874=0.295 | | max | 3.538-3.207=0.331 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5056.255-4954.151=102.104 | | σ | 1.099-0.941=0.158 | | min | 5055.302-4953.433=101.869 | | max | 5058.150-4955.802=102.348 |
| | mean | 2828.000-2707.000=121.000 | | σ | 0.000 | | min | 2828.000-2707.000=121.000 | | max | 2828.000-2707.000=121.000 |
| | mean | 8.752-8.070=0.681 | | σ | 0.637-0.369=0.269 | | min | 8.091-7.700=0.390 | | max | 9.735-8.604=1.131 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4994.406-5168.813=-174.407 | | σ | 445.732-0.083=445.650 | | min | 4197.056-5168.744=-971.688 | | max | 5193.862-5168.905=24.958 |
| | mean | 3207.000-3421.000=-214.000 | | σ | 275.548-459.802=-184.254 | | min | 2828.000-2778.000=50.000 | | max | 3563.000-3987.000=-424.000 |
| | mean | 8.500-9.279=-0.779 | | σ | 0.539-0.310=0.229 | | min | 7.551-8.917=-1.366 | | max | 8.899-9.770=-0.871 |
|