iters=5 new-facts=1 prior-facts=1 | | mean | 324.704-324.717=-0.013 | | σ | 0.049-0.016=0.033 | | min | 324.616-324.688=-0.071 | | max | 324.733-324.726=0.006 |
| | mean | 2477.000-2820.000=-343.000 | | σ | 0.000 | | min | 2477.000-2820.000=-343.000 | | max | 2477.000-2820.000=-343.000 |
| | mean | 0.428-0.424=0.003 | | σ | 0.005-0.002=0.004 | | min | 0.425-0.423=0.002 | | max | 0.437-0.427=0.010 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.251-1985.262=-0.011 | | σ | 0.019-0.009=0.010 | | min | 1985.233-1985.250=-0.017 | | max | 1985.277-1985.272=0.005 |
| | mean | 2477.000-2820.000=-343.000 | | σ | 0.000 | | min | 2477.000-2820.000=-343.000 | | max | 2477.000-2820.000=-343.000 |
| | mean | 2.643-2.606=0.037 | | σ | 0.157-0.067=0.090 | | min | 2.461-2.555=-0.095 | | max | 2.874-2.716=0.157 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.869-4808.750=0.119 | | σ | 7.680-7.772=-0.092 | | min | 4805.403-4804.820=0.583 | | max | 4822.607-4822.645=-0.038 |
| | mean | 2477.000-2820.000=-343.000 | | σ | 0.000 | | min | 2477.000-2820.000=-343.000 | | max | 2477.000-2820.000=-343.000 |
| | mean | 9.000-8.795=0.205 | | σ | 0.100-0.612=-0.512 | | min | 8.892-7.711=1.181 | | max | 9.129-9.158=-0.029 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.468-4996.458=0.010 | | σ | 0.011-0.018=-0.008 | | min | 4996.452-4996.438=0.014 | | max | 4996.478-4996.478=-0.000 |
| | mean | 2932.200-3065.000=-132.800 | | σ | 406.170-314.426=91.743 | | min | 2477.000-2820.000=-343.000 | | max | 3491.000-3544.000=-53.000 |
| | mean | 8.604-8.551=0.053 | | σ | 0.201-0.120=0.081 | | min | 8.429-8.386=0.043 | | max | 8.900-8.703=0.197 |
|