iters=5 new-facts=1 prior-facts=1 | | mean | 297.580-297.316=0.264 | | σ | 0.014-0.006=0.009 | | min | 297.557-297.308=0.249 | | max | 297.596-297.323=0.273 |
| | mean | 1622.000-1612.000=10.000 | | σ | 0.000 | | min | 1622.000-1612.000=10.000 | | max | 1622.000-1612.000=10.000 |
| | mean | 0.392-0.386=0.006 | | σ | 0.006-0.001=0.005 | | min | 0.387-0.385=0.003 | | max | 0.400-0.387=0.013 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1320.549-1298.985=21.564 | | σ | 0.099-0.084=0.014 | | min | 1320.373-1298.837=21.536 | | max | 1320.598-1299.048=21.551 |
| | mean | 1622.000-1612.000=10.000 | | σ | 0.000 | | min | 1622.000-1612.000=10.000 | | max | 1622.000-1612.000=10.000 |
| | mean | 1.936-1.941=-0.004 | | σ | 0.046-0.058=-0.012 | | min | 1.872-1.863=0.009 | | max | 1.998-2.017=-0.019 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1740.718-1719.180=21.538 | | σ | 6.930-6.879=0.051 | | min | 1737.488-1715.995=21.493 | | max | 1753.111-1731.482=21.629 |
| | mean | 1622.000-1612.000=10.000 | | σ | 0.000 | | min | 1622.000-1612.000=10.000 | | max | 1622.000-1612.000=10.000 |
| | mean | 3.084-2.911=0.174 | | σ | 0.369-0.263=0.106 | | min | 2.692-2.604=0.088 | | max | 3.687-3.271=0.416 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2003.437-1981.931=21.506 | | σ | 0.055-0.025=0.031 | | min | 2003.364-1981.887=21.477 | | max | 2003.493-1981.945=21.548 |
| | mean | 1818.400-1820.600=-2.200 | | σ | 188.645-154.975=33.669 | | min | 1622.000-1612.000=10.000 | | max | 2004.000-1957.000=47.000 |
| | mean | 3.261-3.143=0.118 | | σ | 0.119-0.129=-0.010 | | min | 3.136-2.941=0.195 | | max | 3.433-3.253=0.180 |
|