iters=5 new-facts=1 prior-facts=1 | | mean | 324.578-324.560=0.018 | | σ | 0.040-0.048=-0.008 | | min | 324.507-324.477=0.030 | | max | 324.604-324.596=0.008 |
| | mean | 2840.000-2825.000=15.000 | | σ | 0.000 | | min | 2840.000-2825.000=15.000 | | max | 2840.000-2825.000=15.000 |
| | mean | 0.427-0.432=-0.005 | | σ | 0.008-0.009=-0.001 | | min | 0.421-0.425=-0.004 | | max | 0.441-0.444=-0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.131-1985.127=0.005 | | σ | 0.014-0.025=-0.011 | | min | 1985.112-1985.090=0.022 | | max | 1985.147-1985.149=-0.002 |
| | mean | 2840.000-2825.000=15.000 | | σ | 0.000 | | min | 2840.000-2825.000=15.000 | | max | 2840.000-2825.000=15.000 |
| | mean | 2.587-2.600=-0.013 | | σ | 0.099-0.136=-0.037 | | min | 2.486-2.432=0.054 | | max | 2.750-2.772=-0.023 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.761-4808.657=0.104 | | σ | 7.713-7.720=-0.007 | | min | 4805.251-4804.715=0.537 | | max | 4822.559-4822.458=0.101 |
| | mean | 2840.000-2825.000=15.000 | | σ | 0.000 | | min | 2840.000-2825.000=15.000 | | max | 2840.000-2825.000=15.000 |
| | mean | 9.087-8.522=0.566 | | σ | 0.296-0.417=-0.121 | | min | 8.670-7.897=0.774 | | max | 9.428-8.939=0.489 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.189-4996.264=-0.074 | | σ | 0.321-0.163=0.159 | | min | 4995.615-4995.975=-0.360 | | max | 4996.353-4996.355=-0.002 |
| | mean | 3019.600-3046.200=-26.600 | | σ | 254.909-196.248=58.662 | | min | 2840.000-2825.000=15.000 | | max | 3418.000-3327.000=91.000 |
| | mean | 8.471-8.599=-0.128 | | σ | 0.023-0.147=-0.125 | | min | 8.453-8.455=-0.002 | | max | 8.505-8.831=-0.326 |
|