iters=5 new-facts=1 prior-facts=1 | | mean | 285.032-303.797=-18.765 | | σ | 0.037-0.043=-0.006 | | min | 284.981-303.739=-18.758 | | max | 285.070-303.848=-18.778 |
| | mean | 1520.000-1519.000=1.000 | | σ | 0.000 | | min | 1520.000-1519.000=1.000 | | max | 1520.000-1519.000=1.000 |
| | mean | 0.397-0.390=0.008 | | σ | 0.006-0.002=0.005 | | min | 0.388-0.387=0.001 | | max | 0.404-0.391=0.013 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1295.415-1326.327=-30.912 | | σ | 0.105-0.104=0.001 | | min | 1295.287-1326.202=-30.915 | | max | 1295.550-1326.449=-30.899 |
| | mean | 1520.000-1519.000=1.000 | | σ | 0.000 | | min | 1520.000-1519.000=1.000 | | max | 1520.000-1519.000=1.000 |
| | mean | 1.961-1.960=0.000 | | σ | 0.142-0.138=0.003 | | min | 1.834-1.823=0.011 | | max | 2.159-2.134=0.025 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1539.505-1564.407=-24.901 | | σ | 6.838-6.897=-0.060 | | min | 1536.248-1561.101=-24.853 | | max | 1551.733-1576.741=-25.008 |
| | mean | 1520.000-1519.000=1.000 | | σ | 0.000 | | min | 1520.000-1519.000=1.000 | | max | 1520.000-1519.000=1.000 |
| | mean | 2.223-2.382=-0.159 | | σ | 0.131-0.319=-0.187 | | min | 2.088-2.029=0.059 | | max | 2.375-2.702=-0.327 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1857.311-1894.279=-36.968 | | σ | 0.062-0.076=-0.014 | | min | 1857.263-1894.146=-36.882 | | max | 1857.404-1894.320=-36.917 |
| | mean | 1749.600-1734.600=15.000 | | σ | 172.034-212.581=-40.547 | | min | 1520.000-1519.000=1.000 | | max | 1915.000-2035.000=-120.000 |
| | mean | 3.044-2.933=0.110 | | σ | 0.266-0.112=0.154 | | min | 2.838-2.873=-0.035 | | max | 3.507-3.132=0.375 |
|