iters=5 new-facts=1 prior-facts=1 | | mean | 399.354-394.156=5.198 | | σ | 0.089-0.084=0.005 | | min | 399.223-394.028=5.195 | | max | 399.418-394.215=5.203 |
| | mean | 1569.000-1565.000=4.000 | | σ | 0.000 | | min | 1569.000-1565.000=4.000 | | max | 1569.000-1565.000=4.000 |
| | mean | 0.495-0.490=0.005 | | σ | 0.005-0.006=-0.001 | | min | 0.492-0.485=0.007 | | max | 0.503-0.498=0.005 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1400.855-1395.765=5.090 | | σ | 0.031-0.067=-0.036 | | min | 1400.835-1395.726=5.109 | | max | 1400.907-1395.884=5.023 |
| | mean | 1569.000-1565.000=4.000 | | σ | 0.000 | | min | 1569.000-1565.000=4.000 | | max | 1569.000-1565.000=4.000 |
| | mean | 2.178-2.085=0.093 | | σ | 0.235-0.131=0.104 | | min | 2.043-1.992=0.051 | | max | 2.595-2.312=0.283 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1923.095-1917.942=5.153 | | σ | 7.043-7.103=-0.060 | | min | 1919.813-1914.604=5.209 | | max | 1935.687-1930.640=5.047 |
| | mean | 1569.000-1565.000=4.000 | | σ | 0.000 | | min | 1569.000-1565.000=4.000 | | max | 1569.000-1565.000=4.000 |
| | mean | 4.361-4.237=0.124 | | σ | 0.153-0.216=-0.063 | | min | 4.165-4.016=0.149 | | max | 4.567-4.568=-0.001 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2185.756-2180.579=5.177 | | σ | 0.017-0.053=-0.036 | | min | 2185.740-2180.548=5.192 | | max | 2185.785-2180.673=5.112 |
| | mean | 1841.200-1848.200=-7.000 | | σ | 232.977-216.392=16.584 | | min | 1569.000-1575.000=-6.000 | | max | 2131.000-2086.000=45.000 |
| | mean | 4.707-4.671=0.036 | | σ | 0.060-0.060=-0.000 | | min | 4.642-4.576=0.066 | | max | 4.774-4.724=0.050 |
|