iters=5 new-facts=1 prior-facts=1 | | mean | 286.821-286.823=-0.002 | | σ | 0.039-0.036=0.003 | | min | 286.776-286.773=0.002 | | max | 286.870-286.857=0.013 |
| | mean | 1647.000-1581.000=66.000 | | σ | 0.000 | | min | 1647.000-1581.000=66.000 | | max | 1647.000-1581.000=66.000 |
| | mean | 0.404-0.395=0.009 | | σ | 0.012-0.007=0.006 | | min | 0.392-0.389=0.003 | | max | 0.422-0.402=0.020 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1297.264-1297.272=-0.008 | | σ | 0.108-0.109=-0.001 | | min | 1297.110-1297.113=-0.002 | | max | 1297.402-1297.408=-0.005 |
| | mean | 1647.000-1581.000=66.000 | | σ | 0.000 | | min | 1647.000-1581.000=66.000 | | max | 1647.000-1581.000=66.000 |
| | mean | 2.204-2.252=-0.047 | | σ | 0.025-0.065=-0.040 | | min | 2.179-2.144=0.034 | | max | 2.237-2.312=-0.075 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1541.375-1541.365=0.010 | | σ | 6.826-6.797=0.029 | | min | 1538.205-1538.205=0.001 | | max | 1553.584-1553.523=0.061 |
| | mean | 1647.000-1581.000=66.000 | | σ | 0.000 | | min | 1647.000-1581.000=66.000 | | max | 1647.000-1581.000=66.000 |
| | mean | 2.311-2.293=0.018 | | σ | 0.185-0.257=-0.072 | | min | 2.166-2.064=0.102 | | max | 2.610-2.720=-0.110 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1859.118-1859.115=0.003 | | σ | 0.066-0.064=0.002 | | min | 1859.036-1859.033=0.003 | | max | 1859.184-1859.176=0.008 |
| | mean | 1786.200-1769.800=16.400 | | σ | 146.180-173.223=-27.043 | | min | 1647.000-1581.000=66.000 | | max | 1938.000-1944.000=-6.000 |
| | mean | 2.979-3.059=-0.080 | | σ | 0.189-0.399=-0.210 | | min | 2.825-2.702=0.123 | | max | 3.268-3.737=-0.469 |
|