iters=5 new-facts=1 prior-facts=1 | | mean | 303.790-303.784=0.006 | | σ | 0.053-0.062=-0.010 | | min | 303.717-303.684=0.033 | | max | 303.846-303.843=0.003 |
| | mean | 1625.000-1576.000=49.000 | | σ | 0.000 | | min | 1625.000-1576.000=49.000 | | max | 1625.000-1576.000=49.000 |
| | mean | 0.395-0.394=0.001 | | σ | 0.008-0.009=-0.000 | | min | 0.390-0.389=0.001 | | max | 0.410-0.409=0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1326.335-1326.332=0.003 | | σ | 0.108-0.106=0.002 | | min | 1326.197-1326.198=-0.001 | | max | 1326.465-1326.466=-0.001 |
| | mean | 1625.000-1576.000=49.000 | | σ | 0.000 | | min | 1625.000-1576.000=49.000 | | max | 1625.000-1576.000=49.000 |
| | mean | 1.954-1.882=0.072 | | σ | 0.113-0.110=0.003 | | min | 1.831-1.718=0.113 | | max | 2.067-1.997=0.070 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1564.432-1564.377=0.055 | | σ | 6.857-6.919=-0.062 | | min | 1561.188-1561.060=0.128 | | max | 1576.693-1576.749=-0.055 |
| | mean | 1625.000-1576.000=49.000 | | σ | 0.000 | | min | 1625.000-1576.000=49.000 | | max | 1625.000-1576.000=49.000 |
| | mean | 2.365-2.264=0.101 | | σ | 0.247-0.255=-0.008 | | min | 2.039-2.077=-0.038 | | max | 2.642-2.710=-0.068 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1894.281-1894.277=0.004 | | σ | 0.069-0.062=0.008 | | min | 1894.159-1894.167=-0.008 | | max | 1894.323-1894.309=0.014 |
| | mean | 1789.200-1753.000=36.200 | | σ | 179.458-186.834=-7.376 | | min | 1625.000-1576.000=49.000 | | max | 2036.000-2014.000=22.000 |
| | mean | 3.049-3.038=0.011 | | σ | 0.130-0.185=-0.055 | | min | 2.874-2.875=-0.000 | | max | 3.218-3.356=-0.138 |
|