iters=5 new-facts=1 prior-facts=1 | | mean | 303.791-303.800=-0.009 | | σ | 0.046-0.035=0.011 | | min | 303.722-303.757=-0.035 | | max | 303.843-303.845=-0.003 |
| | mean | 1516.000-1511.000=5.000 | | σ | 0.000 | | min | 1516.000-1511.000=5.000 | | max | 1516.000-1511.000=5.000 |
| | mean | 0.391-0.390=0.001 | | σ | 0.002-0.001=0.001 | | min | 0.388-0.389=-0.001 | | max | 0.392-0.391=0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1326.333-1326.332=0.002 | | σ | 0.106-0.106=-0.001 | | min | 1326.199-1326.199=-0.000 | | max | 1326.450-1326.465=-0.015 |
| | mean | 1516.000-1511.000=5.000 | | σ | 0.000 | | min | 1516.000-1511.000=5.000 | | max | 1516.000-1511.000=5.000 |
| | mean | 1.925-1.934=-0.009 | | σ | 0.114-0.084=0.030 | | min | 1.828-1.840=-0.011 | | max | 2.103-2.042=0.061 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1564.411-1564.421=-0.010 | | σ | 6.902-6.877=0.026 | | min | 1561.140-1561.151=-0.011 | | max | 1576.754-1576.718=0.036 |
| | mean | 1516.000-1511.000=5.000 | | σ | 0.000 | | min | 1516.000-1511.000=5.000 | | max | 1516.000-1511.000=5.000 |
| | mean | 2.366-2.350=0.016 | | σ | 0.320-0.237=0.083 | | min | 2.042-2.050=-0.008 | | max | 2.724-2.654=0.070 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1894.282-1894.284=-0.002 | | σ | 0.076-0.075=0.000 | | min | 1894.149-1894.154=-0.005 | | max | 1894.333-1894.346=-0.013 |
| | mean | 1747.400-1752.200=-4.800 | | σ | 220.987-208.561=12.426 | | min | 1516.000-1511.000=5.000 | | max | 2067.000-2019.000=48.000 |
| | mean | 2.929-3.076=-0.147 | | σ | 0.197-0.132=0.065 | | min | 2.740-2.879=-0.140 | | max | 3.263-3.220=0.042 |
|