iters=5 new-facts=1 prior-facts=1 | | mean | 285.373-285.396=-0.023 | | σ | 0.034-0.036=-0.002 | | min | 285.326-285.350=-0.024 | | max | 285.404-285.435=-0.032 |
| | mean | 1584.000-1583.000=1.000 | | σ | 0.000 | | min | 1584.000-1583.000=1.000 | | max | 1584.000-1583.000=1.000 |
| | mean | 0.388-0.388=0.000 | | σ | 0.007-0.005=0.002 | | min | 0.383-0.381=0.002 | | max | 0.397-0.392=0.005 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1295.782-1295.777=0.005 | | σ | 0.114-0.114=-0.000 | | min | 1295.665-1295.662=0.003 | | max | 1295.922-1295.919=0.003 |
| | mean | 1584.000-1583.000=1.000 | | σ | 0.000 | | min | 1584.000-1583.000=1.000 | | max | 1584.000-1583.000=1.000 |
| | mean | 1.911-1.905=0.007 | | σ | 0.106-0.086=0.020 | | min | 1.795-1.804=-0.009 | | max | 2.012-2.012=0.001 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1539.904-1539.917=-0.013 | | σ | 6.891-6.860=0.032 | | min | 1536.632-1536.631=0.001 | | max | 1552.227-1552.182=0.044 |
| | mean | 1584.000-1583.000=1.000 | | σ | 0.000 | | min | 1584.000-1583.000=1.000 | | max | 1584.000-1583.000=1.000 |
| | mean | 2.257-2.303=-0.046 | | σ | 0.233-0.207=0.027 | | min | 2.034-2.045=-0.011 | | max | 2.528-2.500=0.028 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1857.680-1857.686=-0.006 | | σ | 0.065-0.063=0.002 | | min | 1857.602-1857.613=-0.011 | | max | 1857.772-1857.771=0.001 |
| | mean | 1761.600-1760.000=1.600 | | σ | 146.145-143.607=2.538 | | min | 1584.000-1583.000=1.000 | | max | 1907.000-1903.000=4.000 |
| | mean | 3.052-3.092=-0.039 | | σ | 0.234-0.332=-0.098 | | min | 2.867-2.893=-0.026 | | max | 3.461-3.669=-0.209 |
|